Ma trận vuông

Trong toán học, ma trận vuông là một ma trận có số hàng bằng số cột. Một ma trận "n x n" được biết đến như một ma trận vuông bậc formula_1. Bất kỳ hai ma trận vuông có cùng một bậc có thể được cộng và nhân với nhau.

Ma trận vuông thường được sử dụng để biểu diễn các phép biến đổi tuyến tính đơn giản, chẳng hạn như cắt hoặc xoay. Ví dụ, nếu formula_2 là một ma trận vuông biểu thị một phép quay (ma trận quay) và formula_3 là một vectơ cột mô tả vị trí của một điểm trong không gian, tích formula_4 là một vectơ cột khác mô tả vị trí của điểm đó sau phép quay đó. Nếu formula_3 là một vectơ hàng, có thể thu được phép biến đổi tương tự bằng cách sử dụng formula_6, với formula_7 là ma trận chuyển vị của formula_2.

== Các loại ma trận đặc biệt ==
=== Ma trận tam giác và ma trận đường chéo ===
Nếu mọi phần tử của A ở bên dưới đường chéo chính bằng 0, thì A được gọi là "ma trận tam giác trên". Tương tự, nếu mọi phần tử của "A" ở bên trên đường chéo chính bằng 0, thì A được gọi là "ma trận tam giác dưới". Nếu mọi phần tử nằm bên ngoài đường chéo chính đều bằng 0, thì A được gọi là ma trận đường chéo.

=== Ma trận đơn vị ===
Ma trận đơn vị I có số chiều "n" là một ma trận "n"x"n" trong đó mọi phần tử trên đường chéo chính bằng 1 và tất cả những phần tử khác đều bằng 0, ví dụ
Nó là một ma trận vuông bậc "n", và cũng là trường hợp đặc biệt của ma trận đường chéo. Nó được gọi là ma trận đơn vị bởi vì khi thực hiện nhân một ma trận với nó thì vẫn thu được kết quả của chính ma trận đó: 

Một bội số vô hướng khác không của ma trận đơn vị được gọi là ma trận "vô hướng" ("scalar" matrix). Nếu các mục nhập ma trận đến từ một trường thì ma trận vô hướng tạo thành một nhóm, dưới phép nhân ma trận, là đẳng cấu với nhóm nhân các phần tử khác không của trường.

=== Ma trận đối xứng hoặc phản đối xứng ===
Ma trận vuông A bằng với ma trận chuyển vị của nó, tức là A = A, là ma trận đối xứng. Nếu A là bằng với phần trừ của chuyển vị của nó, i.e., A = −A, thì A được gọi là ma trận phản đối xứng (skew-symmetric matrix). Đối với ma trận phức, ma trận đối xứng thường được thay bằng khái niệm ma trận Hermite, mà thỏa mãn A = A, với dấu sao ký hiệu cho liên hợp của ma trận chuyển vị, tức là lấy chuyển vị của A sau đó lấy liên hợp phức các phần tử của ma trận chuyển vị.

Theo định lý phổ (spectral theorem), ma trận đối xứng phần tử thực và ma trận Hermite phần tử phức có một cơ sở riêng; nghĩa là mỗi vectơ có thể biểu diễn thành tổ hợp tuyến tính của các vectơ riêng. Trong cả hai trường hợp, mọi trị riêng của ma trận đều có giá trị thực. Định lý này có thể tổng quát hóa cho trường hợp ma trận vô hạn chiều, xem bên dưới.

=== Ma trận khả nghịch và nghịch đảo của nó ===
Ma trận vuông A gọi là "khả nghịch" hay "không suy biến" nếu tồn tại một ma trận B sao cho
Nếu B tồn tại, thì nó là duy nhất và được gọi là "ma trận nghịch đảo" của A, ký hiệu bằng A.

Ma trận nghịch đảo có những tính chất sau:

=== Ma trận xác định ===
Ma trận đối xứng "n"×"n" được gọi là "xác định dương" (tương ứng xác định âm; không xác định), nếu với mọi vectơ khác 0 x ∈ R dạng toàn phương xác định bởi
chỉ nhận các giá trị dương (tương ứng chỉ nhận các giá trị âm; nhận cả giá trị âm và giá trị dương). Nếu dạng toàn phương chỉ nhận giá trị không âm (tương ứng chỉ nhận giá trị không dương), ma trận đối xứng được gọi là bán xác định dương (tương ứng bán xác định âm); và ma trận không xác định chính xác khi nó không là ma trận bán xác định dương hoặc ma trận bán xác định âm.

Ma trận đối xứng là xác định dương nếu và chỉ nếu mọi trị riêng của nó có giá trị dương, hay ma trận là bán xác định dương và khả nghịch. Bảng bên phải chỉ ra hai khả năng cho ma trận 2x2.

Ma trận xác định A cho phép thu được dạng song tuyến tính khi nó kết hợp hai vectơ khác nhau:

=== Ma trận trực giao ===
"Ma trận trực giao" là ma trận vuông với các phần tử thực sao cho các cột và hàng là những vectơ đơn vị trực giao (nghĩa là vectơ trực chuẩn). Hay nói tương đương, ma trận "A" trực giao nếu và chỉ nếu ma trận chuyển vị của nó bằng ma trận nghịch đảo của nó:
mà
với I là ma trận đơn vị.

Ma trận trực giao A cần thiết phải khả nghịch (do định nghĩa ), unita (), và chuẩn tắc (). Định thức của ma trận trực giao bất kỳ luôn bằng hoặc . "Ma trận trực giao đặc biệt" là ma trận có định thức bằng . Đối với một biến đổi tuyến tính, mỗi ma trận trực giao với định thức bằng là một phép quay thuần túy không có phản chiếu, tức là, phép biến đổi bảo toàn định hướng của cấu trúc đã biến đổi, trong khi mỗi ma trận trực giao có định thức bằng là phép phản xạ thuần túy hoặc là tổ hợp của phép phản xạ và phép quay. Ma trận đơn vị có định thức bằng và là phép quay thuần túy theo một góc bằng 0.

Tương tự số phức của ma trận trực giao là một ma trận unita.

== Các tính toán chủ yếu ==
=== Vết ===
Vết của ma trận, tr(A) của một ma trận vuông A là tổng các phần tử trên đường chéo chính của nó. Trong khi phép nhân ma trận không có tính giao hoán, thì vết của tích hai ma trận là độc lập với thứ tự nhân của hai ma trận: 
Điều này có thể rút ngay ra được từ định nghĩa nhân hai ma trận:
Theo đó, vết của kết quả của nhiều hơn hai ma trận là độc lập với hoán vị vòng của các ma trận, tuy nhiên, điều này nói chung không áp dụng cho các hoán vị tùy ý (ví dụ trong thực tế, tr(ABC) ≠ tr(BAC)). Ngoài ra, vết của ma trận bằng vết của ma trận chuyển vị, hay

=== Định thức ===
"Định thức" của ma trận vuông (ký hiệu là det(A) hay |A|) là một số chứa đựng những tính chất nhất định của ma trận này. Ma trận là khả nghịch nếu và chỉ nếu định thức của nó khác 0. Giá trị tuyệt đối của định thức ma trận trực giao bằng diện tích (trong R) hoặc thể tích (trong R) của ảnh của hình vuông đơn vị (hay hình lập phương đơn vị), trong khi dấu của nó tương ứng với hướng của ánh xạ tuyến tính tương ứng: định thức là dương nếu và chỉ nếu hướng được bảo toàn.

Định thức của ma trận 2 x 2 cho bởi công thức
Định thức của ma trận 3 x 3 bao gồm 6 số hạng (hay quy tắc Sarrus). Công thức Leibniz tổng quát hai công thức này cho mọi số chiều của ma trận.

Định thức của tích hai ma trận vuông bằng tích các định thức ma trận: 

Khi cộng bội một số lần của một hàng bất kỳ vào một hàng khác, hoặc cộng bội một số lần của một cột bất kỳ vào một cột khác, sẽ không làm thay đổi định thức. Hoán vị hai hàng hoặc hai cột làm ảnh hưởng tới định thức bằng cách nhân nó với −1. Sử dụng những quy tắc này, ma trận vuông bất kỳ có thể chuyển thành một ma trận tam giác dưới (hoặc trên), mà đối với các ma trận tam giác, định thức của nó bằng tích của các phần tử trên đường chéo chính; phương pháp này mang lại một cách tính định thức của ma trận vuông bất kỳ.

Cuối cùng, khai triển Laplace biểu diễn định thức trong số hạng của các phần phụ đại số, nghĩa là định thức của các ma trận nhỏ hơn. Khai triển này có thể dùng để đưa ra định nghĩa theo phương pháp đệ quy đối với định thức (mà bắt đầu bằng định thức của ma trận 1 x 1, mà nó có một phần tử duy nhất, hay thậm chí định thức của ma trận 0 x 0, định nghĩa bằng 1), mà có thể coi như tương đương với công thức Leibniz. Ứng dụng của định thức bao gồm việc giải hệ phương trình tuyến tính sử dụng quy tắc Cramer, với thương của hai định thức của hai ma trận liên quan bằng giá trị của biến cần tìm trong hệ phương trình. Khai triển Laplace cho ma trận bất kỳ như sau:

=== Ma trận nghịch đảo ===
Ma trận nghịch đảo A chỉ tồn tại khi và chỉ khi |A| ≠ 0. Công thức tính ma trận nghịch đảo như sau:

=== Vectơ riêng và giá trị riêng ===
Một số λ và một vectơ khác 0 v thỏa mãn
được gọi lần lượt là "giá trị riêng" và "vectơ riêng" của A. Số λ là một trị riêng của một ma trận "n"×"n" A nếu và chỉ nếu A−λI là không khả nghịch, mà tương đương với
Đa thức "p" trong biến vô định (indeterminate variable) "X" cho bằng cách khai triển định thức det("X"I−A) được gọi là đa thức đặc trưng của A. Nó là một đa thức lồi (monic polynomial) có bậc "n". Do vậy phương trình đa thức "p"(λ) = 0 có nhiều nhất "n" nghiệm khác nhau, hay là các giá trị riêng của ma trận. Chúng có thể nhận giá trị phức ngay cả khi các phần tử trong A là thực. Theo định lý Cayley–Hamilton, "p"(A) = 0, tức là, kết quả của sự thay thế chính ma trận vào đa thức đặc trưng của chính nó sẽ thu được ma trận rỗng.