Ma trận xác định

Ma trận đối xứng M chỉ gồm các số thực là **xác định dương** nếu giá trị của \mathbf{x}^T M \mathbf{x} là một số thực dương với mọi véct-tơ cột \mathbf{x} khác véc-tơ không và \mathbf{x}^T là véc-tơ hàng chuyển vị của \mathbf{x}.

Tổng quát, một ma trận Hermitian, là ma trận phức bằng với ma trận chuyển vị liên hợp của chính nó), được cọi là **xác định dương** nếu giá trị của \mathbf{z}^*M\mathbf{z} là dương với mọi véct-tơ cột \mathbf{z} khác véc-tơ không và \mathbf{z}^* là véc-tơ hàng ma trận chuyển vị liên hợp của \mathbf{z}.

Ma trận **nửa xác định dương** được định nghĩa tương tự, ngoại trừ yêu cầu là \mathbf{x}^T M \mathbf{x} và \mathbf{z}^* M \mathbf{z} có thể dương hoặc *bằng không* (nghĩa là *không âm*).
Các ma trận **xác định âm** và **nửa xác định âm** được định nghĩa tương tự. Một ma trận mà không nửa xác định âm và cũng không nửa xác định dương đôi khi được gọi là *không xác định*.

Nếu ma trận M là xác định dương (nửa xác định dương) thì -M xác định âm (nửa xác định âm).

## Liên hệ
Hệ quả rút ra từ các định nghĩa là ma trận xác định dương khi và chỉ khi ma trận có dạng xác định dương bậc hai hoặc dạng Hermitian.

Ma trận xác định đương hoặc nửa xác định dương có thể nhận biết bằng nhiều dấu hiệu.
Điều này chứng tỏ tầm quan trọng của khái niệm này trong nhiều lĩnh vực toán học khác nhau.
Ma trận M xác định dương nếu và chỉ nếu một trong số những điều kiện sau thoả mãn.
* M ma trận tương đẳng với một ma trận đường chéo chỉ gồm các thực dương trên đường chéo.
* M đối xứng (ma trận Hermitian), và tất cả các giá trị riêng đều là số thực dương.
* M đối xứng (ma trận Hermitian), và tất cả các định thức con chính tắc (ma trận con cấp k) đều dương.
* Tồn tại ma trận nghịch đảo B cùng với ma trận chuyển vị liên hợp B^* sao cho M=B^*B.
Ma trận là nửa xác định dương nếu nó thoả mãn các điều kiện tương tự nhưng thay "dưong" bằng "không âm", "ma trận nghịch đảo" thay bằng "ma trận".

Ma trận thực xác định dương và nửa xác định dương là nền tảng cho tối ưu lồi vì mỗi hàm đa biến mà đạo hàm được hai lần thì ma trận Hessian của nó (ma trận của các đạo hàm riêng bậc hai) là xác định dương tại điểm p, thì hàm đó lồi trong lân cận của p; Ngược lại, nếu hàm lồi trong lân cận quanh p thì ma trận Hessian là nửa xác định dương tại p.

Tập các ma trận xác định dương là tập nón tập mở, trong khi tập các ma trận nửa xác định dương là tập nón tập đóng.

Một số tác giả sử dụng khái niệm tổng quát hơn khi xét cả những ma trận thực không đối xứng, hoặc ma trận phức không-Hermitian.

## Định nghĩa
### Kí hiệu
Ma trận Hermitan M nửa xác định dương còn được kí hiệu là \ M \succeq 0\ .
Còn nếu nó xác định dương thì kí hiệu là \ M \succ 0 ~..

## Ví dụ
* Tất cả Ma trận đơn vị, chẳng hạn I_2 = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} xác định dương (như vậy cũng là nửa xác định dương). Trong trường hợp 2 chiều, với véc-tơ cột khác không bất kì
 \mathbf{z}^\top I\mathbf{z} = \begin{bmatrix} a & b \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} a \\ b \end{bmatrix} = a^2 + b^2.
* Ma trận đối xứng sau cũng là xác định dương
M = \begin{bmatrix} 2 & -1 & 0 \\ -1 & 2 & -1 \\ 0 & -1 & 2 \end{bmatrix}
Ta chứng minh điều đó với mọi véc-tơ cột \mathbf{z} như sau
\begin{align}
  \mathbf{z}^\top M \mathbf{z} = \left( \mathbf{z}^\top M \right) \mathbf{z}
    &= \begin{bmatrix} (2a - b) & (-a + 2b - c) & (-b + 2c) \end{bmatrix}
       \begin{bmatrix} a \\ b \\ c \end{bmatrix} \\
    &= (2a - b)a + (-a + 2b - c)b + (-b + 2c)c \\
    &= 2a^2 - ba - ab + 2b^2 - cb - bc + 2c^2 \\
    &= 2a^2 - 2ab + 2b^2 - 2bc + 2c^2 \\
    &=  a^2 + a^2 - 2ab + b^2 + b^2- 2bc + c^2 + c^2 \\
    &=  a^2 + (a - b)^2 + (b - c)^2 + c^2
\end{align}
* Với mọi ma trận khả nghịch thực A thì A^TA là ma trận xác định dương. Điều này chứng minh như sau, với mọi véc-tơ thực khác không \mathbf z thì:
\mathbf z^T A^T A \mathbf z = (A\mathbf z)^T (A\mathbf z) = \| A\mathbf z\|^2 > 0.

## Phân rã
Cho ma trận Hermitan M. M nửa xác định dương nếu nó có thể phân rã (phân tích) dưới dạng tích của một ma trận với chuyển vị liên hợp của chính nó
M=B^*B

Nếu M là ma trận thực và B cũng thực thì tích trên có thể viết thành
M=B^TB

### Tính duy nhất xét theo toán tử đơn vị
Phân rã trên không duy nhất: nếu M=B^*B với ma trận B kích thước k \times n; Khi đó với mọi ma trận đơn vị Q kích thước k \times k, cụ thể là Q^*Q=QQ^*=I, thì M=B^*B=B^*Q^*QB=A^*A với A=QB.

Tuy vậy, đó là khác biệt duy nhất giữa hai phân rã, nghĩa là phân rã là duy nhất xét theo toán tử đơn vị.
Cụ thể, nếu A và B có kích thước lần lượt là k \times n và l \times n thoả mãn A^*A=B^*B, thì tồn tại ma trận Q trực giao chuẩn, nghĩa là Q^*Q=I_k sao cho B=QA.

### Căn bậc hai
Ma trận Hermitan M nửa xác định dương nếu và chỉ nếu tồn tại một ma trận nửa xác định dương B thoả mãn M=BB.
Ma trận B là duy nhất và được gọi là căn bậc hai *không âm* của M kí hiệu là B=M^{\frac{1}{2}}.
Ma trận căn bậc hai vốn là Hermitan nên nó thoả mãn B=B^*.

### Phân rã Cholesky
Ma trận nửa xác định dương Hermitan M có thể biểu diễn dưới dạng M=LL^*, với L là ma trận tam giác dưới với đường chéo không âm.
Đây được gọi là phân rã Cholesky.
Nếu M xác định dương thì các phần tử trên đường chéo của L dương.
Ngược lại, nếu L là ma trận tam giác dưới với đường chéo không âm (dương) thì LL^* nửa xác định dương (xác định dương).

Một dạng phân rã gần gũi với phân rã Cholesky là phân rã LDL M=LDL^* trong đó L là ma trận tam giác đơn vị dưới .

## Định thức bậc hai

Định thức thuần bậc hai \ Q : \mathbb{R}^n \to \mathbb{R}\  có thể xác định bằng ma trận M thực n \times n như sau: \ Q(\mathbf{x}) = \mathbf{x}^\top M \mathbf{x}\  với mọi \ \mathbf{x} ~. Không mất tính tổng quát, có thể giả sử rằng ma trận M đối xứng do thay M bằng \ \tfrac{1}{2} \left(M + M^\top \right) thì kết quả không thay đổi, nghĩa là \mathbf{x}^\top M \mathbf{x} = \mathbf{x}^\top \tfrac{1}{2} \left(M + M^\top \right) \mathbf{x}.

Ma trận đối xứng M xác định dương nếu và chỉ nếu định thức bậc hai của nó là hàm lồi nghiêm ngặt.

Chính vì vậy, các ma trận xác định dương đóng vai trò quan trọng trong các bài toán tối ưu.
## Tham khảo