Với số nguyên dương , tập hợp tất cả các ma trận kích thước đượ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.
Transpose Matrix
Nế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à
Có thể chứng minh được rằng:
Determinant
Cho là một ma trận vuông kích thước . Ma trận con (submatrix) của tương ứng với phần tử , ký hiệu là được suy ra bằng cách bỏ hàng và cột trong ma trận . Định thức của ma trận này gọi là định thức con (minor).
Định thức của , ký hiệu được định nghĩa đệ quy như sau:
- Nếu ,
- Nếu ,
(tự chọn dòng bất kỳ).
Biểu thức còn được gọi là phụ đại số (cofactor) của phần tử , ký hiệu . Như vậy, công thức tính định thức ma trận có thể phát biểu gọn: "Định thức ma trận 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
- . Hệ quả: nếu một tính chất đã đúng với hàng của định thức thì nó cũng đúng với cột.
- Đổi chỗ hai dòng (hoặc hai cột) làm đổi dấu định thức.
- Một định thức có dòng toàn số 0 thì bằng 0.
- Nhân các phần tử của một hàng hoặc một cột với một hằng số thì được định thức mới có giá trị bằng định thức cũ nhân với . Tips: Khi một dòng / cột có ước chung, ta có thể đưa ước chung đó ra ngoài dấu định thức.
- Cộng bội của một hàng vào một hàng khác giữ nguyên giá trị định thức.
- Nếu và là hai ma trận vuông cùng cấp, thì
Nếu có dạng sau:
- Ma trận tam giác trên:
- Ma trận tam giác dưới:
Thì (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 Matrix
Identity Matrix
Ma trận đơn vị (thường ký hiệu là , 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 là một ma trận cùng cấp với , ta luôn có:
Invertible Matrix
Xét là một ma trận vuông cấp , nếu tồn tại một ma trận cùng cấp sao cho thì được gọi là ma trận nghịch đảo của . Lúc đó ta nói khả đảo (inversible) và không suy biến (non-degenerate)
Adjugate Matrix
Ma trận phụ đại số:
với là phụ đại số tương ứng với phần tử trong ma trận .
Ma trận (ma trận chuyển vị của ) gọi là ma trận liên hợp (adjoint matrix).
Inverse Matrix
Ma trận nghịch đảo của , ký hiệu , được tính như sau:
Điều kiện cần và đủ để tồn tại là
Tính chất
Giả sử và là hai ma trận vuông cùng cấp và khả đảo. Khi đó:
- Tích cũng khả đảo, và .
- cũng khả đảo, và .
- cũng khả đảo, và .
- cũng khả đảo (), và
Linear System
Hệ phương trình tuyến tính là một hệ phương trình đại số bậc nhất và ẩn số:
- Nếu ta có hệ vuông (square system) với phương trình ẩn.
- Khi tất cả ta có hệ phương trình thuần nhất (homogeneous system).
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: , với:
Nếu một hệ vuông có thì hệ đó được gọi là hệ Cramer. Nghiệm duy nhất của hệ Cramer bằng:
Gauss-Jordan Elimination
Augmented Matrix
Ma trận bổ sung (augmented matrix) được hình thành bằng cách ghép và thành một ma trận mới có dạng:
Elementary Row Operations
Khi thực hiện các phép biến đổi sau lên ma trận 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:
- Đổi chỗ hai hàng
- Nhân một hàng với một số khác 0
- Cộng bội của một hàng vào một hàng khác
Giải hệ vuông
Phương pháp Gauss là phương pháp giải hệ vuông bằng cách đưa về dạng tam giác trên. Khi đó, hệ có thể giải một cách đơn giản từ dần về .
Phương pháp Gauss-Jordan có sự khác biệt nhỏ: sau khi đưa 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 ví dụ.
Tìm ma trận nghịch đảo
Phương pháp tìm ma trận nghịch đảo của :
- Gọi là ma trận khối (aka block matrix) bằng cách ghép và với nhau.
- Áp dụng phép biến đổi sơ cấp hàng lên để đưa ma trận bên trái về .
- Lúc này, ma trận bên phải là .
Xem thêm ví dụ.
Hệ thuần nhất
Hệ thuần nhất luôn có nghiệm . 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à . Vì nếu thì hệ đã có nghiệm duy nhất, và đó chỉ là nghiệm tầm thường.
Rank
Ma trận vuông cấp suy từ bằng cách bỏ đi hàng và cột gọi là ma trận con cấp của . Định thức của ma trận này gọi là định thức con cấp của . Theo định nghĩa, hạng của , ký hiệu hoặc , là cấp cao nhất của một định thức con khác 0 trong .
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 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:
- Các hàng khác 0 luôn nằm trên hàng 0
- Giữa hai hàng khác 0, phần tử đầu tiên khác 0 của hàng (gọi là pivot) trên phải nằm bên trái so với phần tử đầu tiên khác 0 của hàng dưới.
- Các cột có chứa pivot được gọi là pivot column
Ví dụ:
là một ma trận bậc thang
Tính chất:
- Hạng của ma trận bậc thang bằng số dòng khác 0 của nó
- Mỗi hàng (khác hàng 0) đều có một pivot
Kronecker - Capelli Theorem
Xét ma trận bổ sung và hệ tuyến tính phương trình ẩn, viết gọn là . Điều kiện cần và đủ để hệ có nghiệm là:
Khi đó, nếu thì hệ có vô số nghiệm. Nếu thì hệ có nghiệm duy nhất. Không có trường hợp .
Minh họa (giả sử đã được đưa về row echelon form):
- , hệ đã cho tương đương với hệ sau:
Do số phương trình ít hơn số ẩn nên hệ có vô số nghiệm. Tức là, sẽ có:
- ẩn phụ, hay còn gọi là biến độc lập (independent/free variable): chúng đóng vai trò như tham số, mang giá trị tự do, và
- ẩn chính, hay còn gọi là biến phụ thuộc (dependent variable): giá trị của chúng sẽ được tìm theo ẩn phụ.
Gọi là các pivot column, khi đó 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 phương trình chính.
- , hệ đã cho tương đương với hệ sau:
- không xảy ra vì hạng của một ma trận không lớn hơn số dòng và số cột của nó.
Chú ý: Khi tìm hạng của , 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 về dạng bậc thang, kết luận hạng của , 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.