Chuyển vị liên hợp

Trong toán học, chuyển vị liên hợp (conjugate transpose) của một ma trận phức \boldsymbol{A} cỡ m \times n là một ma trận thu được bằng cách chuyển vị \boldsymbol{A} và lấy liên hợp phức của từng hệ số trong ma trận \boldsymbol{A} (liên hợp phức của số phức a+ib là a-ib, với hai số thực a và b). Chuyển vị liên hợp có kích cỡ n \times m và thường được ký hiệu là \boldsymbol{A}^\mathrm{H} hay \boldsymbol{A}^ hay \boldsymbol{A}', hoặc một ký hiệu rất thường gặp trong vật lý là \boldsymbol{A}^{\dagger}. Nó còn được gọi là chuyển vị Hermite, theo tên của nhà toán học Pháp Charles Hermite, hoặc chỉ đơn giản là liên hợp (adjoint).

Đối với các ma trận thực, chuyển vị liên hợp chỉ đơn giản là chuyển vị, \boldsymbol{A}^\mathrm{H} = \boldsymbol{A}^\mathsf{T}.

Định nghĩa
Chuyển vị liên hợp của một ma trận \boldsymbol{A} cỡ m \times n được định nghĩa chính tắc là:{{Equation box 1|border|indent=|title=|equation={{NumBlk||\left(\boldsymbol{A}^\mathrm{H}\right)_{ij} = \overline{\boldsymbol{A}_{ji}}|}}|cellpadding=6|border colour=0073CF|background colour=F5FFFA}}trong đó chỉ số ij ký hiệu cho hệ số thứ (i,j) trong ma trận, với 1 \le i \le n và 1 \le j \le m, và gạch ngang trên ký hiệu liên hợp phức vô hướng.

Định nghĩa trên còn có thể được viết dưới dạng

: \boldsymbol{A}^\mathrm{H} = \left(\overline{\boldsymbol{A}}\right)^\mathsf{T} = \overline{\boldsymbol{A}^\mathsf{T}}

trong đó \boldsymbol{A}^\mathsf{T} ký hiệu cho chuyển vị và \overline{\boldsymbol{A}} ký hiệu cho ma trận với các số hạng được lấy liên hợp phức.

Một số tên gọi khác cho chuyển vị liên hợp của một ma trận bao gồm chuyển vị Hermite, ma trận liên hợp hay chuyển hợp. Chuyển vị liên hợp của ma trận \boldsymbol{A} có thể được ký hiệu bởi một trong các cách sau:

\boldsymbol{A}^, thường được dùng trong đại số tuyến tính
\boldsymbol{A}^\mathrm{H}, thường được dùng trong đại số tuyến tính
\boldsymbol{A}^\dagger (đôi khi còn được đọc là A đao), thường được dùng trong cơ học lượng tử
\boldsymbol{A}^+, mặc dù ký hiệu này thường được sử dụng hơn để chỉ giả nghịch đảo Moore–Penrose

Trong một số ngữ cảnh, \boldsymbol{A}^ ký hiệu cho ma trận chỉ với các hệ số được liên hợp phức và không có chuyển vị.

Ví dụ
Giả sử chúng ta muốn tính toán chuyển vị liên hợp của ma trận \boldsymbol{A} sau.

: \boldsymbol{A} = \begin{bmatrix} 1 & -2 - i & 5 \\ 1 + i & i & 4-2i \end{bmatrix}

Đầu tiên ta chuyển vị ma trận:

: \boldsymbol{A}^\mathsf{T} = \begin{bmatrix} 1 & 1 + i \\ -2 - i & i \\ 5 & 4-2i\end{bmatrix}

Sau đó ta lấy liên hợp từng hệ số của ma trận:

: \boldsymbol{A}^\mathrm{H} = \begin{bmatrix} 1 & 1 - i \\ -2 + i & -i \\ 5 & 4+2i\end{bmatrix}

Một số liên hệ cơ bản
Một ma trận vuông \boldsymbol{A} với các hệ số a_{ij} được gọi là

Hermite hay tự liên hợp nếu \boldsymbol{A}=\boldsymbol{A}^\mathrm{H}; tức là a_{ij} = \overline{a_{ji}}.
Hermite chéo hay phản hermite nếu \boldsymbol{A}=-\boldsymbol{A}^\mathrm{H}; tức là a_{ij} = -\overline{a_{ji}}.
Chuẩn tắc nếu \boldsymbol{A}^\mathrm{H} \boldsymbol{A} = \boldsymbol{A} \boldsymbol{A}^\mathrm{H}.
Unita nếu \boldsymbol{A}^\mathrm{H} = \boldsymbol{A}^{-1}, hay \boldsymbol{A}\boldsymbol{A}^\mathrm{H} = \boldsymbol{I}, hay \boldsymbol{A}^\mathrm{H}\boldsymbol{A} = \boldsymbol{I}.

Ngay cả nếu \boldsymbol{A} không là ma trận vuông, hai ma trận \boldsymbol{A}^\mathrm{H}\boldsymbol{A} và \boldsymbol{A}\boldsymbol{A}^\mathrm{H} đều là hermite và chính là các ma trận nửa xác định dương.

Khái niệm a trận chuyển vị "liên hợp" \boldsymbol{A}^\mathrm{H} không được nhầm lẫn với ma trận phụ hợp (adjugate), \operatorname{adj}(\boldsymbol{A}), đôi khi cũng được gọi là adjoint.

Chuyển vị liên hợp \boldsymbol{A}^\mathrm{H} của ma trận \boldsymbol{A} với các hệ số thực đơn giản về chuyển vị \boldsymbol{A}^\mathsf{T} của \boldsymbol{A}, bởi liên hợp của một số thực là chính nó.

Đặt vấn đề
Chuyển vị liên hợp được nảy sinh từ cách mà các số phức có thể được biểu diễn hữu ích bằng các ma trận thực 2 \times 2, thỏa mãn các phép toán cộng và nhân:

: a + ib \equiv \begin{bmatrix} a & -b \\ b & a \end{bmatrix}.

Điều này nghĩa là, ký hiệu mỗi số phức z bằng một ma trận thực 2 \times 2 biểu diễn biến đổi tuyến tính trên sơ đồ Argand (được coi là không gian vectơ thực \mathbb{R}^2), chịu ảnh hưởng của phép nhân phức với z trên \mathbb{C}.

Do đó, một ma trận phức m \times n cũng được biểu diễn hiệu quả bởi một ma trận 2m \times 2n gồm các số thực. Chuyển vị liên hợp do đó được nảy sinh một cách tự nhiên từ kết quả của việc chuyển vị một ma trận như vậy—khi được xem lại là một ma trận n \times m gồm các số phức.

Tính chất của chuyển vị liên hợp

(\boldsymbol{A} + \boldsymbol{B})^\mathrm{H} = \boldsymbol{A}^\mathrm{H} + \boldsymbol{B}^\mathrm{H} đối với hai ma trận phức bất kỳ \boldsymbol{A} và \boldsymbol{B} cùng số chiều.
(z\boldsymbol{A})^\mathrm{H} = \overline{z} \boldsymbol{A}^\mathrm{H} với một số phức z bất kỳ và một ma trận \boldsymbol{A} cỡ m \times n bất kỳ.
(\boldsymbol{A}\boldsymbol{B})^\mathrm{H} = \boldsymbol{B}^\mathrm{H} \boldsymbol{A}^\mathrm{H} với một ma trận \boldsymbol{A} cỡ m \times n bất kỳ và một ma trận \boldsymbol{B} cỡ n \times p bất kỳ. Chú ý rằng thứ tự của các thừa số bị đảo ngược.
\left(\boldsymbol{A}^\mathrm{H}\right)^\mathrm{H} = \boldsymbol{A} đối với một ma trận \boldsymbol{A} cỡ m \times n, một cách tương đương chuyển vị Hermite là một đối hợp.
Nếu \boldsymbol{A} là một ma trận vuông thì \det\left(\boldsymbol{A}^\mathrm{H}\right) = \overline{\det\left(\boldsymbol{A}\right)} trong đó \operatorname{det}(A) là định thức của \boldsymbol{A} .
Nếu \boldsymbol{A} là một ma trận vuông thì \operatorname{tr}\left(\boldsymbol{A}^\mathrm{H}\right) = \overline{\operatorname{tr}(\boldsymbol{A})} trong đó \operatorname{tr}(A) là vết của \boldsymbol{A}.
\boldsymbol{A} là khả nghịch khi và chỉ khi \boldsymbol{A}^\mathrm{H} khả nghịch, và trong trường hợp đó \left(\boldsymbol{A}^\mathrm{H}\right)^{-1} = \left(\boldsymbol{A}^{-1}\right)^{\mathrm{H}}.
Các giá trị riêng của \boldsymbol{A}^\mathrm{H} là liên hợp phức của các giá trị riêng của \boldsymbol{A}.
\left\langle \boldsymbol{A} x,y \right\rangle_m = \left\langle x, \boldsymbol{A}^\mathrm{H} y\right\rangle_n với bất kỳ một ma trận \boldsymbol{A} cỡ m \times n, một vectơ x \in \mathbb{C}^n và một vectơ y \in \mathbb{C}^m . Ở đây \langle\cdot,\cdot\rangle_m ký hiệu cho tích trong phức tiêu chuẩn trên \mathbb{C}^m và tương tự cho \langle\cdot,\cdot\rangle_n.

Tổng quát hóa
Tính chất cuối cùng bên trên cho thấy rằng nếu ta coi rằng \boldsymbol{A} là một biến đổi tuyến tính từ không gian Hilbert \mathbb{C}^n vào \mathbb{C}^m , thì ma trận \boldsymbol{A}^\mathrm{H} tương ứng với toán tử liên hợp của \boldsymbol A. Khái niệm toán tử liên hợp giữa các không gian Hilbert do đó có thể được xem là tổng quát hóa của khái niệm chuyển vị liên hợp của các ma trận đối với một cơ sở trực chuẩn.

Còn có một cách tổng quát hóa khác: giả sử A là một ánh xạ tuyến tính từ một không gian vectơ V vào một không gian khác, W thì ánh xạ tuyến tính liên hợp phức và ánh xạ tuyến tính chuyển vị được xác định, và do đó ta có thể lấy chuyển vị liên hợp của A là liên hợp phức của ánh xạ chuyển vị của A. Nó ánh xạ đối ngẫu liên hợp của W vào đối ngẫu liên hợp của V.

Xem thêm

Tích vô hướng phức
Liên hợp Hermite
Ma trận phụ hợp

Tham khảo

Liên kết ngoài