Đến nội dung


Chú ý

Nếu các bạn đăng kí thành viên mà không nhận được email kích hoạt thì hãy kiểm tra thùng thư rác (spam). Nếu không biết cách truy cập vào thùng thư rác thì các bạn chịu khó Google hoặc đăng câu hỏi vào mục Hướng dẫn - Trợ giúp để thành viên khác có thể hỗ trợ.


Hình ảnh

Bài toán chéo hóa


  • Please log in to reply
Chủ đề này có 9 trả lời

#1 sinh vien

sinh vien

    Thượng sĩ

  • Thành viên
  • 261 Bài viết
  • Giới tính:Nam
  • Đến từ:Bạc Liêu, ĐH Cần Thơ
  • Sở thích:toán học

Đã gửi 13-05-2018 - 20:08

File gửi kèm  Bài toán chéo hóa.pdf   464.85K   197 Số lần tải

File gửi kèm  Điều kiện cần và đủ để tam giác hóa một tự đồng cấu.pdf   217.8K   90 Số lần tải



#2 vutuanhien

vutuanhien

    Thiếu úy

  • Điều hành viên Đại học
  • 612 Bài viết
  • Giới tính:Nam
  • Đến từ:Khoa Toán, Trường Đại học Khoa học Tự nhiên, ĐHQGHN

Đã gửi 14-05-2018 - 19:26

Thứ nhất, mình đã nhắc nhở bạn/anh rằng làm thế này rất loãng box mà không có nhiều tác dụng. Không mấy ai học Toán ở đại học mà lại cần đến vài file lẻ tẻ như thế này cả. Những thứ như thế anh nên tự đăng lên blog của riêng anh, chứ Diễn đàn không phải nơi để chứa tài liệu. Còn nếu muốn đăng trên Diễn đàn, tại sao anh không đăng vào các box tương ứng, chẳng hạn đăng đề bài vào mục Đại số tuyến tính để cho người khác có thể vào thảo luận, như thế còn có ích hơn.

 

Thứ hai, việc nói $P_{f}$ tách được là hoàn toàn không chính xác, vì các giá trị riêng của $f$ hoàn toàn có thể có bội. Nếu $P_{f}$ là đa thức tách được, thì bản thân $f$ chéo hóa được luôn chứ không cần tam giác hóa. Điều kiện đúng ở đây chỉ cần $P_{f}$ có đủ nghiệm trong trường $\mathbb{K}$ là đủ. 

 

Thứ ba, nhân tiện bài này, mình cũng nêu ra một mệnh đề về tam giác hóa được để cho bạn/anh thử sức: Một tự đồng cấu $f:V\to V$ của không gian vector $n$ chiều $V$ là tam giác hóa được khi và chỉ khi tồn tại các không gian con $f$-ổn định $V_{1}\subseteq V_{2}\subseteq \dots \subseteq V_{n}$ sao cho $\dim(V_{i})=i$ với mọi $i=1,2,\dots, n$. 


Bài viết đã được chỉnh sửa nội dung bởi vutuanhien: 14-05-2018 - 19:29

$\sum_{P} I(P, F\cap G)=mn$

 

"The first analogy that came to my mind is of immersing the nut in some softening liquid, and why not simply water? From time to time you rub so the liquid penetrates better, and otherwise you let time pass. The shell becomes more flexible through weeks and months—when the time is ripe, hand pressure is enough, the shell opens like a perfectly ripened avocado!" - Grothendieck


#3 sinh vien

sinh vien

    Thượng sĩ

  • Thành viên
  • 261 Bài viết
  • Giới tính:Nam
  • Đến từ:Bạc Liêu, ĐH Cần Thơ
  • Sở thích:toán học

Đã gửi 15-05-2018 - 08:05

Điểm thứ nhất, thứ ba thì mình rất vui lòng lắng nghe sự đóng góp ý kiến tận tình của bạn, đặc biệt là điều thứ ba rất thú vị bởi vì nó là hướng tiếp cận trên ngôn ngữ thuần túy của không gian vector cho bài toán chéo hóa ma trận và khá kinh điển tìm đọc được ở nhiều tài liệu. Nhưng còn về điểm thứ nhì thì bạn có vẻ hơi hiểu sai về mặt thuật ngữ với vấn đề một chút, xin chỉnh lại tí xíu thôi. Vì mình xét trên một trường K tổng quát nên một đa thức có thể không phải lúc nào cũng tách được và khi tách được thì cũng không chắc gì là  số chiều của các không gian con riêng sẽ bằng với số bội của trị riêng tương ứng, cái này thì từng cái cụ thể mình mới có thể tính được số chiều của từng không gian con chỉ duy nhất khi các nghiệm đều có bội 1 thì hai thứ này luôn luôn trùng nhau mình có chỉ ra rồi. Tách được ở đây muốn chỉ rằng ta có thể phân tích đa thức đó thành tích các nhân tử bậc nhất đó bạn, Nói tóm lại là dùng tính tách thôi là ok trong vụ tam giác hóa rồi chứ cần quan tâm gì đến ba cái bội làm gì cho rắc rối, nếu mà có thêm được số chiều của không gian con riêng số bội của trị riêng tương ứng thì mới ok chéo hóa được. 



#4 vutuanhien

vutuanhien

    Thiếu úy

  • Điều hành viên Đại học
  • 612 Bài viết
  • Giới tính:Nam
  • Đến từ:Khoa Toán, Trường Đại học Khoa học Tự nhiên, ĐHQGHN

Đã gửi 15-05-2018 - 17:03

Điểm thứ nhất, thứ ba thì mình rất vui lòng lắng nghe sự đóng góp ý kiến tận tình của bạn, đặc biệt là điều thứ ba rất thú vị bởi vì nó là hướng tiếp cận trên ngôn ngữ thuần túy của không gian vector cho bài toán chéo hóa ma trận và khá kinh điển tìm đọc được ở nhiều tài liệu. Nhưng còn về điểm thứ nhì thì bạn có vẻ hơi hiểu sai về mặt thuật ngữ với vấn đề một chút, xin chỉnh lại tí xíu thôi. Vì mình xét trên một trường K tổng quát nên một đa thức có thể không phải lúc nào cũng tách được và khi tách được thì cũng không chắc gì là  số chiều của các không gian con riêng sẽ bằng với số bội của trị riêng tương ứng, cái này thì từng cái cụ thể mình mới có thể tính được số chiều của từng không gian con chỉ duy nhất khi các nghiệm đều có bội 1 thì hai thứ này luôn luôn trùng nhau mình có chỉ ra rồi. Tách được ở đây muốn chỉ rằng ta có thể phân tích đa thức đó thành tích các nhân tử bậc nhất đó bạn, Nói tóm lại là dùng tính tách thôi là ok trong vụ tam giác hóa rồi chứ cần quan tâm gì đến ba cái bội làm gì cho rắc rối, nếu mà có thêm được số chiều của không gian con riêng số bội của trị riêng tương ứng thì mới ok chéo hóa được. 

Mình cho là có sự bất đồng về thuật ngữ ở đây. Khái niệm đa thức tách được mà bạn dùng, mình chỉ gọi là đa thức có đủ nghiệm.

 

Mình dùng thuật ngữ "đa thức tách được" với ý nghĩa rằng tất cả các nghiệm của đa thức đều là nghiệm đơn. Ngoài ra còn một định nghĩa khác cho "đa thức tách được" là các nhân tử bất khả quy của đa thức đó chỉ có nghiệm đơn. Trong hai định nghĩa này, không có định nghĩa nào phù hợp với mệnh đề bạn đang xét. Ngoài ra, mình không đề cập gì đến số bội hay số chiều, bởi chỉ cần $P_{f}(X)$ có đủ nghiệm trên $\mathbb{K}$ là được.

https://en.wikipedia...able_polynomial


Bài viết đã được chỉnh sửa nội dung bởi vutuanhien: 15-05-2018 - 17:04

$\sum_{P} I(P, F\cap G)=mn$

 

"The first analogy that came to my mind is of immersing the nut in some softening liquid, and why not simply water? From time to time you rub so the liquid penetrates better, and otherwise you let time pass. The shell becomes more flexible through weeks and months—when the time is ripe, hand pressure is enough, the shell opens like a perfectly ripened avocado!" - Grothendieck


#5 sinh vien

sinh vien

    Thượng sĩ

  • Thành viên
  • 261 Bài viết
  • Giới tính:Nam
  • Đến từ:Bạc Liêu, ĐH Cần Thơ
  • Sở thích:toán học

Đã gửi 16-05-2018 - 11:27

nếu bạn hiểu một đa thức là tách được khi tât cả các nghiệm đều là nghiệm đơn thì đã kể đến số bội của đa thức đó rồi chứ ! Mà đặc biệt là số bội bằng 1 hết nên thành ra số chiều cũng vậy. Mình sử dụng định nghĩa về tính tách được theo lối thứ hai: mọi nhân tử bất khả quy đều có nghiệm đơn, còn mình viết cụ thể ra chứ không xài lối diễn đạt bằng ngôn ngữ. Bởi vì dùng theo lối này ta có thể khảo sát bài toán trong phạm vi tổng quát hơn chứ !



#6 vutuanhien

vutuanhien

    Thiếu úy

  • Điều hành viên Đại học
  • 612 Bài viết
  • Giới tính:Nam
  • Đến từ:Khoa Toán, Trường Đại học Khoa học Tự nhiên, ĐHQGHN

Đã gửi 16-05-2018 - 22:38

nếu bạn hiểu một đa thức là tách được khi tât cả các nghiệm đều là nghiệm đơn thì đã kể đến số bội của đa thức đó rồi chứ ! Mà đặc biệt là số bội bằng 1 hết nên thành ra số chiều cũng vậy. Mình sử dụng định nghĩa về tính tách được theo lối thứ hai: mọi nhân tử bất khả quy đều có nghiệm đơn, còn mình viết cụ thể ra chứ không xài lối diễn đạt bằng ngôn ngữ. Bởi vì dùng theo lối này ta có thể khảo sát bài toán trong phạm vi tổng quát hơn chứ !

Nếu bạn sử dụng định nghĩa thứ hai, thì chưa chắc các nhân tử bất khả quy đã có bậc 1 trừ phi $\mathbb{K}$ là đóng đại số, chẳng hạn nếu  $P_{f}(X)=X^{2}+X+1$ trên $\mathbb{R}[X]$ thì $P_{f}$ là tách được trên $\mathbb{R}$ nhưng $f$ không tam giác hóa được. Tóm lại ý mình nói ở đây chỉ là sự bất đồng về thuật ngữ thôi, còn mệnh đề của bạn không có gì sai. 


Bài viết đã được chỉnh sửa nội dung bởi vutuanhien: 16-05-2018 - 22:39

$\sum_{P} I(P, F\cap G)=mn$

 

"The first analogy that came to my mind is of immersing the nut in some softening liquid, and why not simply water? From time to time you rub so the liquid penetrates better, and otherwise you let time pass. The shell becomes more flexible through weeks and months—when the time is ripe, hand pressure is enough, the shell opens like a perfectly ripened avocado!" - Grothendieck


#7 nmlinh16

nmlinh16

    Binh nhì

  • Thành viên mới
  • 19 Bài viết
  • Giới tính:Nam
  • Đến từ:Hạ Long
  • Sở thích:Algebraic invariant theory, Algebraic topology, Analytic number theory

Đã gửi 05-06-2018 - 20:05

cho mình hỏi bạn có hiểu khái niệm đa thức đặc trưng của một tự đồng cấu là gì không?


$$x - \sum_{\rho} \frac{x^\rho}{\rho} - \log 2\pi - \frac{1}{2}\log(1-x^{-2}) = \frac{\psi(x+0) + \psi(x - 0)}{2}, \qquad \psi(x) = \sum_{\substack{p^n \le x \\  n \ge 1}} \log p.$$

 

"Ce que nous savons est peu de chose, ce que nous ignorons est immense." - P.S. Laplace


#8 sinh vien

sinh vien

    Thượng sĩ

  • Thành viên
  • 261 Bài viết
  • Giới tính:Nam
  • Đến từ:Bạc Liêu, ĐH Cần Thơ
  • Sở thích:toán học

Đã gửi 09-07-2018 - 17:29

 dien

cho mình hỏi bạn có hiểu khái niệm đa thức đặc trưng của một tự đồng cấu là gì không?

đa thức đặc trưng của một tự đồng cấu là đa thức đặc trưng của ma trận biểu diễn của tự đồng cấu đó trên một cơ sở xác định



#9 nmlinh16

nmlinh16

    Binh nhì

  • Thành viên mới
  • 19 Bài viết
  • Giới tính:Nam
  • Đến từ:Hạ Long
  • Sở thích:Algebraic invariant theory, Algebraic topology, Analytic number theory

Đã gửi 10-07-2018 - 15:22

Vậy bạn cho mình hỏi khi viết $f - \lambda \text{id}_X$ ở đây thì $\lambda$ được hiểu như một vô hướng hay một ẩn không xác định?

 

Chú ý nếu $\lambda$ được hiểu như một vô hướng thì việc nói $\det(f - \lambda \text{id}_X)$ là một đa thức bậc $n$ theo $\lambda$ là vô nghĩa, chẳng hạn khi trường cơ sở là trường $\mathbb{F}_p$, khi đó $\lambda^p = \lambda$, nên ta cũng có thể nói, chẳng hạn, $\det(f - \lambda \text{id}_X)$ là một đa thức bậc $n+p-1$.

 

Untitled.png


Bài viết đã được chỉnh sửa nội dung bởi nmlinh16: 10-07-2018 - 15:24

$$x - \sum_{\rho} \frac{x^\rho}{\rho} - \log 2\pi - \frac{1}{2}\log(1-x^{-2}) = \frac{\psi(x+0) + \psi(x - 0)}{2}, \qquad \psi(x) = \sum_{\substack{p^n \le x \\  n \ge 1}} \log p.$$

 

"Ce que nous savons est peu de chose, ce que nous ignorons est immense." - P.S. Laplace


#10 sinh vien

sinh vien

    Thượng sĩ

  • Thành viên
  • 261 Bài viết
  • Giới tính:Nam
  • Đến từ:Bạc Liêu, ĐH Cần Thơ
  • Sở thích:toán học

Đã gửi 31-07-2018 - 23:15

Ok, bạn đã phát hiện dùm mình một lỗi đánh máy quan trọng.




2 người đang xem chủ đề

0 thành viên, 2 khách, 0 thành viên ẩn danh