Chéo hóa ma trận tiếng anh và ứng dụng năm 2024
Với số nguyên dương \(n\), tập hợp tất cả các ma trận kích thước \(n\times n\) được đóng kín dưới phép toán cộng và nhân, tạo thành một vành không giao hoán. Định nghĩa phép toán và nhân ma trận không được đề cập ở đây. Show Transpose MatrixNếu đổi hàng thành cột, cột thành hàng của ma trận A ta được ma trận chuyển vị (aka transpose matrix), ký hiệu là \(A^T\) Có thể chứng minh được rằng: \[(AB)^T = B^TA^T\] DeterminantCho \(A\) là một ma trận vuông kích thước \(n\times n\). Ma trận con (submatrix) của \(A\) tương ứng với phần tử \(a_{i,j}\), ký hiệu là \(M_{i,j}\) được suy ra bằng cách bỏ hàng \(i\) và cột \(j\) trong ma trận \(A\). Định thức của ma trận này gọi là định thức con (minor). Định thức của \(A\), ký hiệu \(\vert A\vert\) được định nghĩa đệ quy như sau:
(tự chọn dòng \(i\) bất kỳ). Biểu thức \((-1)^{i+j}\vert M_{i,j}\vert\) còn được gọi là phụ đại số (cofactor) của phần tử \(a_{i,j}\), ký hiệu \(C_{i,j}\). Như vậy, công thức tính định thức ma trận \(A\) có thể phát biểu gọn: “Định thức ma trận \(A\) bằng tổng các ‘tích phụ đại số với phần tử tương ứng’ trên một hàng hoặc một cột bất kỳ.” Tính chất
Nếu \(A\) có dạng sau:
Thì \(\vert A\vert = \prod^n_{i=1} a_{i,i}\) (tích các số trên đường chéo chính) Như vậy, thông thường để tính định thức ta dùng các tính chất để biến đổi sang các định thức tương đương và đưa về ma trận tam giác rồi tính cho dễ. Inverse MatrixIdentity MatrixMa trận đơn vị (thường ký hiệu là \(I\), aka identity matrix) là một ma trận vuông trong đó tất cả các số trên đường chéo chính bằng 1, các phần tử còn lại bằng 0. Cho \(A\) là một ma trận cùng cấp với \(I\), ta luôn có: \[AI = IA = A\] Invertible MatrixXét \(A\) là một ma trận vuông cấp \(n\), nếu tồn tại một ma trận \(B\) cùng cấp sao cho \(AB = BA = I\) thì \(B\) được gọi là ma trận nghịch đảo của \(A\). Lúc đó ta nói \(A\) khả đảo (inversible) và không suy biến (non-degenerate) Adjugate MatrixMa trận phụ đại số: \[C = \begin{bmatrix} C_{1,1} & C_{1,2} & \dots & C_{1,n}\\ C_{2,1} & C_{2,2} & \dots & C_{2,n} \\ \vdots & \vdots & \ddots & \vdots \\ C_{n,1} & C_{n,2} & \dots & C_{n,n} \\ \end{bmatrix}\] với \(C_{i,j}\) là phụ đại số tương ứng với phần tử \(a_{i,j}\) trong ma trận \(A\). Ma trận \(C^T\) (ma trận chuyển vị của \(C\)) gọi là ma trận liên hợp (adjoint matrix). Inverse MatrixMa trận nghịch đảo của \(A\), ký hiệu \(A^{-1}\), được tính như sau: \[A^{-1} = \frac{1}{\vert A\vert }C^T\] Điều kiện cần và đủ để tồn tại \(A^{-1}\) là \(\vert A\vert \neq 0\) Tính chấtGiả sử \(A\) và \(B\) là hai ma trận vuông cùng cấp \(n\) và khả đảo. Khi đó:
Linear SystemHệ phương trình tuyến tính là một hệ \(m\) phương trình đại số bậc nhất và \(n\) ẩn số: \[\left\{\begin{matrix} a_{1,1}x_1 & + & a_{1,2}x_2 & + & \dots & + & a_{1,n}x_n & = & b_1\\ a_{2,1}x_1 & + & a_{2,2}x_2 & + & \dots & + & a_{2,n}x_n & = & b_2\\ \dots & \dots & \dots & \dots & \dots & \dots & \dots & \dots & \dots\\ a_{m,1}x_1 & + & a_{m,2}x_2 & + & \dots & + & a_{m,n}x_n & = & b_m\\ \end{matrix}\right.\]
Hệ phương trình trên có thể được viết lại thành một phương trình giữa các ma trận: \(Ax = b\), với: \[A = \begin{bmatrix} a_{1,1} & a_{1,2} & \dots & a_{1,n}\\ a_{2,1} & a_{2,2} & \dots & a_{2,n}\\ \vdots & \vdots & \ddots & \vdots\\ a_{m,1} & a_{m,2} & \dots & a_{m,n} \end{bmatrix}\] \[x = \begin{bmatrix} x_1 & x_2 & \dots & x_n \end{bmatrix}^T\] \[b = \begin{bmatrix} b_1 & b_2 & \dots & b_m \end{bmatrix}^T\] Nếu một hệ vuông có \(\vert A\vert \neq 0\) thì hệ đó được gọi là hệ Cramer. Nghiệm duy nhất của hệ Cramer bằng: \[x = A^{-1}b\] Gauss-Jordan EliminationAugmented MatrixMa trận bổ sung (augmented matrix) được hình thành bằng cách ghép \(A\) và \(b\) thành một ma trận mới có dạng: \[M = \left[\begin{array}{cccc|c} a_{1,1} & a_{1,2} & \dots & a_{1,n} & b_1\\ a_{2,1} & a_{2,2} & \dots & a_{2,n} & b_2\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ a_{n,1} & a_{n,2} & \dots & a_{n,n} & b_n\\ \end{array}\right]\] Elementary Row OperationsKhi thực hiện các phép biến đổi sau lên ma trận \(M\) sẽ không làm thay đổi kết quả của hệ, gọi là phép biến đổi hàng sơ cấp:
Giải hệ vuôngPhương pháp Gauss là phương pháp giải hệ vuông bằng cách đưa \(M\) về dạng tam giác trên. Khi đó, hệ có thể giải một cách đơn giản từ \(x_n\) dần về \(x_1\). Phương pháp Gauss-Jordan có sự khác biệt nhỏ: sau khi đưa \(M\) về dạng tam giác trên, ta tiếp tục đưa nó về dạng ma trận đơn vị. Xem thêm . Tìm ma trận nghịch đảoPhương pháp tìm ma trận nghịch đảo của \(A\):
Xem thêm . Hệ thuần nhấtHệ thuần nhất luôn có nghiệm \(x = [0\ 0\ \dots\ 0]^T\). Nghiệm này gọi là nghiệm tầm thường (trivial solution). Tuy nhiên chúng ta thường quan tâm đến nghiệm không tầm thường (non-trivial). Điều kiện cần và đủ để hệ thuần nhất có nghiệm không tầm thường là \(\vert A\vert =0\). Vì nếu \(\vert A\vert \neq 0\) thì hệ đã có nghiệm duy nhất, và đó chỉ là nghiệm tầm thường. RankMa trận vuông cấp \(k\) suy từ \(A\) bằng cách bỏ đi \(m-k\) hàng và \(n-k\) cột gọi là ma trận con cấp \(k\) của \(A\). Định thức của ma trận này gọi là định thức con cấp \(k\) của \(A\). Theo định nghĩa, hạng của \(A\), ký hiệu \(\mathrm{rank}(A)\) hoặc \(\rho(A)\), là cấp cao nhất của một định thức con khác 0 trong \(A\). Tuy nhiên trong thực hành chúng ta hiếm khi sử dụng định nghĩa này để tính hạng của ma trận. Thay vào đó, ta dùng các phép biến đổi hàng sơ cấp lên \(A\) để đưa nó về dạng bậc thang. Các phép biến đổi này không làm thay đổi hạng của ma trận. Ma trận bậc thang theo hàng (row echelon form) được định nghĩa như sau:
Ví dụ: \[\begin{bmatrix} \textbf{1} & 3 & 0 & 5 & -1\\ 0 & \textbf{-4} & 2 & 3 & -1\\ 0 & 0 & 0 & \textbf{8} & -6 \end{bmatrix}\] là một ma trận bậc thang Tính chất:
Kronecker - Capelli TheoremXét ma trận bổ sung \(M = [A\vert b]\) và hệ tuyến tính \(m\) phương trình \(n\) ẩn, viết gọn là \(Ax=b\). Điều kiện cần và đủ để hệ có nghiệm là: \[\rho(A) = \rho(M) = k\] Khi đó, nếu \(k < n\) thì hệ có vô số nghiệm. Nếu \(k = n\) thì hệ có nghiệm duy nhất. Không có trường hợp \(k > n\). Minh họa (giả sử \(M\) đã được đưa về row echelon form):
Do số phương trình ít hơn số ẩn nên hệ có vô số nghiệm. Tức là, sẽ có:
Gọi \(\{j_1, \dots, j_n\}\) là các pivot column, khi đó \(\{x_{j_1}, \dots, x_{j_n}\}\) là các ẩn chính, và những biến còn lại là ẩn phụ. Nếu ta chuyển các ẩn phụ sang vế phải và giữ các ẩn chính vế trái, ta sẽ có một hệ con chính với \(k\) phương trình chính.
Chú ý: Khi tìm hạng của \(M\), mặc dù các phép biến đổi cột cũng cho ra kết quả mong muốn, song ma trận bậc thang cuối cùng có thể không sử dụng được cho hệ phương trình. Chính vì thế, cách tốt nhất là chỉ dùng phép biến đổi sơ cấp hàng để đưa \(M\) về dạng bậc thang, kết luận hạng của \(M\), kết luận số nghiệm, sử dụng ma trận bậc thang tìm được để hình thành hệ phương trình mới (minh họa ở trên), và giải tìm nghiệm. Làm như vậy sẽ không có động tác thừa trong quá trình làm bài. |