✨Ma trận đối xứng

Trong đại số tuyến tính, một ma trận đối xứng là một ma trận vuông, A, bằng chính ma trận chuyển vị của nó.

:$A\; =\; A^\{\backslash top\}.\; \backslash ,!$

Mỗi phần tử của một ma trận đối xứng thì đối xứng qua đường chéo. Do vậy, nếu các phần tử được viết dưới dạng A = (a_ij), thì :$a${ij} = a{ji} \,! cho mọi i và j. Ví dụ, ma trận 3×3 dưới đây đối xứng:

:

Mọi ma trận chéo đều đối xứng, bởi vì mọi phần tử không nằm trên đường chéo đều có giá trị 0.

Một ma trận đối xứng thực biểu diễn một toán tử tự liên hợp trên một không gian tích trong thực. Khái niệm tương tự trong không gian tích trong phức là ma trận Hermite với các phần tử số phức, ma trận Hermite bằng chính chuyển vị liên hợp của nó.

Tính chất

Tính chất cơ bản

• Tổng và hiệu của hai ma trận đối xứng là ma trận đối xứng.
• Đối với tích hai ma trận đối xứng, nếu $A$, $B$ là ma trận đối xứng thì tích $AB$ đối xứng khi và chỉ khi $A$,$B$ giao hoán (có nghĩa là $AB$ = $BA$).
• Cho số nguyên dương $n$, $A^n$ đối xứng khi và chỉ khi $A$ đối xứng.
• Nếu $A^\{-1\}$ tồn tại, thì nó đối xứng khi và chỉ khi $A$ đối xứng.

  Phân tích thành ma trận đối xứng và ma trận phản đối xứng

  Mọi ma trận vuông đều có thể viết thành tổng của ma trận đối xứng và ma trận phản đối xứng.Cách viết này là duy nhất. Phép phân tích này được gọi là phép phân tích Toeplitz. Nếu $\backslash mbox\{Mat\}\_n$ là không gian của các ma trận vuông $n\; \backslash times\; n$, $\backslash mbox\{Sym\}\_n$ là không gian của các ma trận đối xứng $n\; \backslash times\; n$ và $\backslash mbox\{Skew\}\_n$ là không gian của các ma trận phản đối xứng $n\; \backslash times\; n$ thì $\backslash mbox\{Mat\}\_n\; =\; \backslash mbox\{Sym\}\_n\; +\; \backslash mbox\{Skew\}\_n$ và $\backslash mbox\{Sym\}\_n\; \backslash cap\; \backslash mbox\{Skew\}\_n\; =\; \{0\}$, hay: :$\backslash mbox\{Mat\}\_n\; =\; \backslash mbox\{Sym\}\_n\; \backslash oplus\; \backslash mbox\{Skew\}\_n,$

với $\backslash oplus$ kí hiệu phép tính tổng trực tiếp. Nếu $\backslash mbox\{X\}\; \backslash in\; \backslash mbox\{Mat\}\_n$ thì :$X\; =\; \backslash frac\{1\}\{2\}\backslash left(X\; +\; X^\backslash textsf\{T\}\backslash right)\; +\; \backslash frac\{1\}\{2\}\backslash left(X\; -\; X^\backslash textsf\{T\}\backslash right)$.

Quan sát rằng $\backslash frac\{1\}\{2\}\backslash left(X\; +\; X^\backslash textsf\{T\}\backslash right)\; \backslash in\; \backslash mbox\{Sym\}\_n$ và $\backslash frac\{1\}\{2\}\backslash left(X\; -\; X^\backslash textsf\{T\}\backslash right)\; \backslash in\; \backslash mathrm\{Skew\}\_n$. Điều này đúng với mọi ma trận vuông có các phần tử nhập từ các trường có độ đặc trưng khác 2.

Ma trận tương đẳng với ma trận đối xứng

Ma trận chuẩn tắc

Ma trận đối xứng thực

Ma trận đối xứng phức