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  và  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ĩa 
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ính 
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.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.

Chéo hóa 

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  là 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  và  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ờ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.

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ụ

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

 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 được 
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ận 
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  và , 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 .

Áp dụng vào hàm ma trận 
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ể 
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, a và b là các giá trị riêng tương ứng với u và v. 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ử 
Trong các tính toán của cơ học lượng tử và 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êm 

 Ma trận khiếm khuyết
 Ma trận tam giác
 Dạng chuẩn tắc Jordan
Định lý phổ
Phân tích riêng của ma trận

Chú thích

Tham khảo 

Ma trận