켤레 전치 문서 원본 보기

{{위키데이터 속성 추적}}
{{다른 뜻 넘어옴|수반 행렬|여인자 행렬의 전치 행렬|고전적 수반 행렬}}

[[선형대수학]]에서, 어떤 [[복소수]] [[행렬]]의 '''켤레 전치'''(-轉置, {{llang|en|conjugate transpose}}) 또는 '''에르미트 전치'''(-轉置, {{llang|en|Hermitian transpose}}) 또는 '''에르미트 수반'''(-隨伴, {{llang|en|Hermitian adjoint}}) 또는 '''수반 행렬'''(隨伴行列, {{llang|en|adjoint matrix}}) 또는 '''딸림 행렬'''(-行列)은 그 행렬의 [[전치 행렬]]을 취한 뒤 성분별 [[켤레 복소수]]를 취하여 얻는 행렬이다. [[실수]] 행렬의 전치 행렬과 [[복소수]]의 켤레 복소수의 공통적인 일반화이다. 기호는 <math>A^*</math> 또는 <math>A^\operatorname H</math> 또는 <math>A^\dagger</math>.

== 정의 ==
[[복소수]] <math>m\times n</math> [[행렬]] <math>A</math>의 '''켤레 전치'''는 다음과 같은 <math>n\times m</math> 행렬 <math>A^*</math>이다.
:<math>A^*=\overline{A^\operatorname T}=\overline A^\operatorname T</math>
즉, 각 위치의 성분은 다음과 같다.
:<math>A^*_{ij}=\overline{A_{ji}}</math>
보다 일반적으로, [[복소수 내적 공간]] <math>V,W</math> 사이의 선형 변환 <math>T\colon V\to W</math>의 '''켤레 전치 선형 변환'''({{llang|en|adjoint linear transformation}})은 다음 조건을 만족시키는 선형 변환 <math>T^*\colon W\to V</math>이다. (이는 많아야 하나 존재하며, 유한 차원 내적 공간의 경우 항상 존재한다.)
* 임의의 <math>v\in V</math> 및 <math>w\in W</math>에 대하여, <math>\langle Tv,w\rangle=\langle v,T^*w\rangle</math>

== 만들어지게 된 동기 ==
복소수를 실수로 이루어진 2×2 행렬과 동치라고 하면 행렬의 덧셈과 곱셈이 복소수를 계산한 것과 같은 결과를 보인다는 것이 켤레 전치가 나타나게 된 동기가 되었을 수 있다.
:<math>a + ib \equiv \begin{pmatrix} a & -b \\ b & a \end{pmatrix}.</math>
:<math>\left( a + ib \right) \pm \left( c + id \right) \equiv \begin{pmatrix} a & -b \\ b & a \end{pmatrix} \pm \begin{pmatrix} c & -d \\ d & c \end{pmatrix} = \begin{pmatrix} a \pm c & - \left( b \pm d \right) \\ b \pm d & a \pm c \end{pmatrix} \equiv \left( \left( a \pm c \right) + i \left( b \pm d \right) \right).</math>
:<math>\left( a + ib \right) \left( c + id \right) \equiv \begin{pmatrix} a & -b \\ b & a \end{pmatrix} \begin{pmatrix} c & -d \\ d & c \end{pmatrix} = \begin{pmatrix} ac - bd & - \left( ad + cb \right) \\ ad + cb & ac - bd \end{pmatrix} \equiv \left( \left( ac - bd \right) + i \left( ad + cb \right) \right).</math>

이것은 아르강 도표에서의 선형 변환을 나타내는 2&times;2 실행렬으로 복소수 ''z''를 표현할 수 있음을 의미한다.

''m''&times;''n''의 복소수 행렬은 이와 같은 방식으로 2''m''&times;2''n''의 실행렬으로 표현될 수 있다. 켤레 전치는 이 실행렬을 전치하여 ''n''&times;''m''의 복소행렬으로 표현하는 과정에서 자연스럽게 등장했다.

== 성질 ==
켤레 전치는 2차 반쌍선형 반대 동형이다. 즉, 다음과 같은 항등식이 성립한다.
:<math>(A+B)^*=A^*+B^*</math>
:<math>(cA)^*=\bar cA^*\qquad c\in\mathbb C</math>
:<math>(AB)^*=B^*A^*</math>
:<math>(A^*)^*=A</math>
유한 차원 내적 공간의 경우, 켤레 전치 선형 변환은 켤레 전치 행렬의 개념과 일치한다. 즉, 서로 켤레 전치 선형 변환은 서로 켤레 전치 행렬을 갖는다. 반대로, 행렬의 왼쪽 곱셈 선형 변환의 켤레 전치 선형 변환은 그 켤레 전치 행렬의 왼쪽 곱셈 선형 변환이다. 즉, 행렬 <math>A\in\operatorname{Mat}(m,n;\mathbb C)</math> 및 벡터 <math>x\in\mathbb C^n</math> 및 <math>y\in\mathbb C^m</math>에 대하여 다음이 성립한다. (여기서 좌변은 <math>\mathbb C^m</math>, 우변은 <math>\mathbb C^n</math>의 표준적인 내적이다.)
:<math>\langle Ax,y\rangle=\langle x,A^*y\rangle</math>

==예==
만약
:<math>A=\begin{pmatrix}1&-2-i\\1+i&i\end{pmatrix}</math>
이라면,
:<math>A^*=\begin{pmatrix}1&1-i\\-2+i&-i\end{pmatrix}</math>
이다.

== 관련 개념 ==
켤레 전치 행렬을 사용하여 정의할 수 있는, 복소수 행렬의 성질들은 다음과 같다.
* [[에르미트 행렬]]: <math>A=A^*</math>
* [[반에르미트 행렬]]: <math>A=-A^*</math>
* [[유니터리 행렬]]: <math>A^*=A^{-1}</math>
* [[정규 행렬]]: <math>AA^*=A^*A</math>

== 같이 보기 ==
* [[해밀턴 행렬]]
* [[그람 행렬]]

== 참고 문헌 ==
* {{서적 인용|성1=Hoffman|이름1=Kenneth|성2=Kunze|이름2=Ray|제목=Linear algebra|url=https://archive.org/details/linearalgebra00hoff_0|언어=en|판=2|출판사=Prentice-Hall|위치=Englewood Cliffs, N. J.|날짜=1971|isbn=0-13-536797-2|mr=0276251|zbl=0212.36601|id=[[인터넷 아카이브|Internet Archive]] [https://archive.org/details/LinearAlgebraHoffmanAndKunze LinearAlge(…)]}}

== 외부 링크 ==
* {{매스월드|id=ConjugateTranspose|title=Conjugate transpose}}

[[분류:행렬]]