Ma trận chéo hóa được

Trong đại số tuyến tính, một ma trận vuông được gọi là chéo hóa được hay không khiếm khuyết nếu nó đồng dạng với một ma trận đường chéo, tức là tồn tại một ma trận khả nghịch và một ma trận đường chéo sao cho , hay tương đương là . (Các như vậy không phải duy nhất.) Cho một không gian vectơ hữu hạn chiều , biến đổi tuyến tính được gọi là chéo hóa được nếu tồn tại một cơ sở có thứ tự của gồm các vectơ riêng của . Các định nghĩa trên là tương đương: nếu có biểu diễn ma trận như trên thì các vectơ cột của tạo thành một cơ sở cho tất cả vectơ riêng của , và các phần tử trên đường chéo của ma trận là các giá trị riêng tương ứng của ; hay đối với cơ sở vectơ riêng này, ma trận được biểu diễn bởi .

Nói một cách hình học, một ma trận chéo hóa được là một phép giãn không đồng nhất (hay phép co giãn dị hướng) vì nó co giãn từng vectơ trong không gian giống như phép giãn đồng nhất nhưng với hệ số khác theo mỗi trục vectơ riêng, hệ số đó được cho bởi giá trị riêng tương ứng.

Chéo hóa là quá trình tìm các ma trận trên. Các ma trận và biến đổi chéo hóa được rất dễ tính toán, sau khi đã tìm được các giá trị riêng và vectơ riêng của chúng. Ta có thể đưa một ma trận chéo nâng lên lũy thừa bậc bất kỳ bằng cách lấy lũy thừa bậc đó trên từng phần tử trên đường chéo, và định thức của một ma trận chéo đơn giản là bằng tích của các phần tử trên đường chéo, những tính toán như vậy cũng dễ dàng được thực hiện tổng quát với .

Một ma trận vuông mà không chéo hóa được thì được gọi là khiếm khuyết. Có thể xảy ra trường hợp một ma trận có các phần tử số thực khiếm khuyết trên trường số thực, nghĩa là không thể có ma trận khả nghịch và chéo với các phần tử số thực sao cho , nhưng lại có thể có với các phần tử số phức, sao cho là chéo hóa được trên trường số phức. Chẳng hạn, đây là trường hợp của ma trận phép quay thông thường.

Định nghĩaSửa đổi

Một ma trận vuông   cỡ   trên một trường   được gọi là chéo hóa được hay không khiếm khuyết nếu tồn tại một ma trận khả nghịch   sao cho   là một ma trận đường chéo. Một cách chính tắc,

 

Đặc tínhSửa đổi

Một kết quả cơ bản về các ma trận và biến đổi chéo hóa được được trình bày sau đây:

  • Một ma trận   cỡ   trên trường   là chéo hóa được khi và chỉ khi tổng số chiều của các không gian con riêng của nó bằng  , tức là khi và chỉ khi tồn tại một cơ sở của   gồm các vectơ riêng của  . Nếu một cơ sở như vậy đã được tìm ra, ta có thể lập ma trận   có các vectơ cơ sở này là các cột, và ma trận   sẽ là một ma trận đường chéo mà các phần tử trên đường chéo chính là các giá trị riêng của  . Ma trận   có vai trò chuyển cơ sở và gọi là ma trận modal của  .
  • Một biến đổi tuyến tính   là chéo hóa được khi và chỉ khi tổng số chiều của các không gian con riêng của nó bằng  , tức là khi và chỉ khi tồn tại một cơ sở của   gồm các vectơ riêng của  . Với một cơ sở như vậy,   sẽ được biểu diễn bằng một ma trận đường chéo. Các phần tử trên đường chéo của ma trận này chính là các giá trị riêng của  .

Một đặc tính nâng cao khác: Một ma trận hay biến đổi tuyến tính chéo hóa được trên trường   khi và chỉ khi đa thức tối tiểu của nó là một tích của các nhân tử tuyến tính phân biệt trên  . (Nói cách khác, một ma trận là chéo hóa được khi và chỉ khi tất cả các ước nguyên sơ của nó là tuyến tính.)

Điều kiện đủ (nhưng chưa cần) sau đây rất hữu dụng.

  • Một ma trận   cỡ   là chéo hóa được trên trường   nếu nó có   giá trị riêng phân biệt trong  , tức là nếu đa thức đặc trưng của nó có   nghiệm phân biệt trong  ; tuy nhiên, mệnh đề đảo có thể không đúng. Xét ma trận
     

    có các giá trị riêng 1, 2, 2 (không phân biệt hết) và là ma trận chéo hóa được với dạng đường chéo (đồng dạng với  )

     

    ma trận chuyển cơ sở  

     
    Mệnh đề đảo không đúng khi   có không gian con riêng có số chiều lớn hơn 1. Trong ví dụ này, không gian con riêng của   tương ứng với giá trị riêng 2 có số chiều 2.
  • Một biến đổi tuyến tính   với   chéo hóa được nếu nó có   giá trị riêng phân biệt, tức là nếu đa thức đặc trưng của nó có   nghiệm phân biệt trong  .

Cho   là một ma trận trên  . Nếu   chéo hóa được thì các lũy thừa bậc bất kỳ của nó cũng vậy.

Nhiều kết quả cho các ma trận chéo hóa được chỉ đúng trên một trường đại số đóng (ví dụ như trường số phức). Trong trường hợp này, tập các ma trận chéo hóa được là trù mật trong không gian các ma trận, nghĩa là mỗi ma trận khiếm khuyết có thể biến thành ma trận chéo hóa được do một nhiễu loạn nhỏ; và định lý dạng chuẩn tắc Jordan phát biểu rằng mỗi ma trận là tổng duy nhất của một ma trận chéo hóa được và một ma trận lũy linh. Trên một trường đại số đóng, các ma trận chéo hóa được tương đương với các ma trận nửa đơn.[1]

Chéo hóaSửa đổi

 
Chéo hóa một ma trận có thể được hiểu là việc quay các trục tọa độ để cho chúng thẳng hàng với các vectơ riêng.

Nếu một ma trận   chéo hóa được, tức là

 

thì:

 

Viết   dưới dạng ma trận khối gồm các vectơ cột của nó  

 

phương trình trên có thể được viết lại dưới dạng

 

Vì vậy các vectơ cột của   là các vectơ riêng bên phải của   (còn các vectơ hàng của   là các vectơ riêng bên trái), và các giá trị trên đường chéo tương ứng với các giá trị riêng của chúng. Từ sự khả nghịch của   cũng có thể thấy rằng các vectơ riêng là độc lập tuyến tính và tạo thành một cơ sở của  . Đây là điều kiện cần và đủ cho sự chéo hóa được và là cách tiếp cận chính tắc của việc chéo hóa: tức là ta biểu diễn   đối với cơ sở riêng của nó.

Khi một ma trận phức  ma trận Hermite (hay tổng quát hơn, là ma trận chuẩn tắc), các vectơ riêng của   có thể được chọn để tạo ra một cơ sở trực chuẩn của  , khi đó   có thể được chọn là ma trận unita. Ngoài ra nếu   là một ma trận đối xứng thực thì các vectơ riêng của nó có thể được chọn là một cơ sở trực chuẩn của    có thể được chọn là ma trận trực giao.

Đối với hầu hết các mục đích thực tiễn, các ma trận được chéo hóa bằng số nhờ sử dụng các phần mềm máy tính. Nhiều thuật toán đã ra đời để thực hiện điều này.

Chéo hóa đồng thờiSửa đổi

Một tập hợp các ma trận được gọi là chéo hóa được đồng thời nếu tồn tại duy nhất một ma trận khả nghịch   sao cho   là ma trận chéo đối với mọi ma trận   trong tập. Định lý sau đây đặc trưng cho các ma trận chéo hóa được đồng thời: Một tập hợp các ma trận chéo hóa được giao hoán khi và chỉ khi tập hợp ma trận đó chéo hóa được đồng thời.[2]:pp. 61-63

Tập hợp các ma trận   chéo hóa được (trên  ) với   không chéo hóa được đồng thời. Lấy ví dụ, hai ma trận

 

đều chéo hóa được nhưng không chéo hóa được đồng thời vì chúng không giao hoán.

Một tập hợp chứa các ma trận chuẩn tắc giao hoán khi và chỉ khi nó chéo hóa được đồng thời bởi một ma trận unita; tức là tồn tại một ma trận unita   sao cho   là ma trận chéo với mọi   trong tập hợp.

Ví dụSửa đổi

Ma trận chéo hóa đượcSửa đổi

  • Các phép chiếu là chéo hóa được, với đường chéo gồm các số 0 và 1.
  • Các ma trận đối xứng thực là chéo hóa được bởi các ma trận trực giao; tức là cho   là ma trận đối xứng thực, ta có   là ma trận đường chéo với   trực giao. Tổng quát hơn, các ma trận chéo hóa được bởi ma trận unita khi và chỉ khi chúng là chuẩn tắc. Trong trường hợp ma trận đối xứng thực, ta thấy rằng  , nên   tất nhiên đúng. Các ví dụ của ma trận chuẩn tắc gồm các ma trận thực đối xứng hoặc đối xứng chéo (ví dụ ma trận phương sai), các ma trận Hermite và Hermite chéo. Xem thêm điều này tại bài định lý phổ.

Ma trận không chéo hóa đượcSửa đổi

Ma trận của phép quay nói chung là không chéo hóa được trên trường số thực nhưng có thể trên trường số phức.

Một số ma trận không thể chéo hóa được trên bất kỳ trường nào, đáng chú ý nhất là các ma trận lũy linh khác không. Điều này thường xảy ra hơn nếu số bội đại số và số bội hình học của một giá trị riêng không bằng nhau.

Tuy nhiên, ngay cả khi một ma trận không chéo hóa được, ta vẫn luôn có thể thay vào đó tìm dạng chuẩn tắc Jordan của nó.

Một vài ma trận thực không chéo hóa được trên trường số thực. Xét ví dụ ma trận đối xứng chéo sau

 

Ma trận   không có giá trị riêng thực, vì vậy không tồn tại ma trận khả nghịch thực   sao cho   là ma trận đường chéo. Tuy nhiên, ta có thể chéo hóa   nếu cho phép dùng số phức. Thật vậy nếu ta chọn

 

thì   là ma trận đường chéo. Dễ tìm ra rằng B là ma trận của phép quay ngược chiều kim đồng hồ một góc  .

Cách chéo hóa một ma trậnSửa đổi

Chéo hóa ma trận là quá trình tương tự việc tìm các giá trị riêng và vectơ riêng của nó, trong trường hợp các vectơ riêng tạo thành cơ sở. Ví dụ, xét ma trận

 

Các nghiệm của đa thức đặc trưng   là các giá trị riêng  . Giải hệ tuyến tính   ta có các vectơ riêng   , trong khi hệ   cho  ; tức là   với  . Các vectơ trên tạo thành một cơ sở của  , vì vậy ta có thể đặt chúng vào các vectơ cột của một ma trận chuyển cơ sở   để có:

 

Ta có thể hiểu phương trình này theo các biến đổi tuyến tính:   chuyển cơ sở chuẩn tắc sang cơ sở riêng:  , vì thế ta có:

 

sao cho ma trận   nhận các vectơ cơ sở chuẩn tắc là các vectơ riêng của nó, đây là tính chất định nghĩa của ma trận  .

Chú ý rằng không có thứ tự ưu tiên nào đối với các cột vectơ riêng trong  ; việc đổi chỗ các vectơ riêng trong   chỉ làm thay đổi thứ tự của các giá trị riêng trong dạng chéo của  .[1]

Áp dụng vào hàm ma trậnSửa đổi

Chéo hóa có thể được sử dụng để tính toán hiệu quả lũy thừa của một ma trận  :

 

dạng này rất dễ tính toán bởi nó chỉ liên quan đến việc tính lũy thừa của một ma trận chéo. Ví dụ với ma trận   với các giá trị riêng   ở ví dụ trên ta tính:

 

Tiếp cận này có thể được tổng quát hóa lên với hàm mũ ma trận và các hàm ma trận khác mà có thể được định nghĩa theo chuỗi lũy thừa. Ví dụ, định nghĩa hàm  , ta có:

 

Điều này đặc biệt hữu ích trong việc tìm tường minh biểu thức dạng đóng cho các số hạng của các dãy số đệ quy tuyến tính, ví dụ như các số Fibonacci.

Một áp dụng cụ thểSửa đổi

Ví dụ, xét ma trận sau:

 

Tính các lũy thừa của   cho thấy một quy luật thú vị:

 

Hiện tượng trên có thể được giải thích bằng cách việc chéo hóa  . Để thực hiện điều này, ta cần một cơ sở của   gồm các vectơ riêng của  . Một cơ sở vectơ riêng như vậy được cho bởi

 

trong đó ei ký hiệu cho cơ sở chuẩn tắc của Rn. Phép chuyển cơ sở nghịch đảo được cho bởi

 

Tính toán trực tiếp cho thấy

 

Vì vậy, ab là các giá trị riêng tương ứng với uv. Bởi tính tuyến tính của phép nhân ma trận ta có

 

Chuyển trở lại cơ sở chuẩn tắc ta có

 

Các liên hệ trên được thể hiện dưới dạng ma trận là

 

vì thế ta đã giải thích được hiện tượng trên.

Chéo hóa trong cơ học lượng tửSửa đổi

Trong các tính toán của cơ học lượng tửhóa lượng tử, chéo hóa ma trận là một trong những quy trình số thường được áp dụng nhất. Lý do cơ bản là do phương trình không phụ thuộc thời gian Schrödinger là một phương trình giá trị riêng, mặc dù nó là trên một không gian vô hạn chiều (một không gian Hilbert) trong hầu hết các tình huống vật lý.

Một phép xấp xỉ phổ biến là hiệu chỉnh không gian Hilbert về số chiều hữu hạn, sau đó phương trình Schrödinger có thể được trình bày dưới dạng một bài toán giá trị riêng của một ma trận thực đối xứng hoặc một ma trận phức Hermite. Về mặt hình thức, xấp xỉ này được thiết lập dựa trên nguyên lý biến phân, phù hợp với các Hamiltonian bị chặn dưới.

Lý thuyết nhiễu loạn bậc một cũng dẫn đến một bài toán giá trị riêng ma trận cho các trạng thái suy biến.

Xem thêmSửa đổi

Chú thíchSửa đổi

Tham khảoSửa đổi

  1. ^ a b Anton, H.; Rorres, C. (22 tháng 2 năm 2000). Elementary Linear Algebra (Applications Version) (ấn bản 8). John Wiley & Sons. ISBN 978-0-471-17052-5.
  2. ^ Horn, Roger A.; Johnson, Charles R. (2013). Matrix Analysis, second edition. Cambridge University Press. ISBN 9780521839402.