잔글 (문자열 찾아 바꾸기 - "{{학술}}" 문자열을 "" 문자열로) |
편집 요약 없음 |
||
(같은 사용자의 중간 판 하나는 보이지 않습니다) | |||
17번째 줄: | 17번째 줄: | ||
* 에르미트 행렬의 대각선 성분은 항상 [[실수]]이다. | * 에르미트 행렬의 대각선 성분은 항상 [[실수]]이다. | ||
* 에르미트 행렬의 [[고윳값]]은 실수이다. | * 에르미트 행렬의 [[고윳값]]은 실수이다. | ||
{{글 숨김|제목=Proof | {{글 숨김 시작|제목=Proof}} | ||
에르미트 행렬 <math>A</math>의 고윳값을 <math>\lambda</math>라 하고, <math>\lambda</math>에 연관된 고유벡터 하나를 골라 <math>\mathbf{x}</math>라 하자. 그러면 | |||
: <math>\begin{align} | : <math>\begin{align} | ||
\lambda \mathbf{x}^\dagger \mathbf{x} &= \mathbf{x}^\dagger (\lambda \mathbf{x})\\ | \lambda \mathbf{x}^\dagger \mathbf{x} &= \mathbf{x}^\dagger (\lambda \mathbf{x})\\ | ||
27번째 줄: | 28번째 줄: | ||
&=\overline{\lambda}\mathbf{x}^\dagger \mathbf{x} | &=\overline{\lambda}\mathbf{x}^\dagger \mathbf{x} | ||
\end{align}</math> | \end{align}</math> | ||
이므로 <math>(\lambda - \overline\lambda)\mathbf{x}^\dagger \mathbf{x}=\mathbf{0}</math>을 얻는다. 이때 고유벡터의 정의에 의해 <math>\mathbf{x}\ne \mathbf{0}</math>이므로 <math>\mathbf{x}^\dagger \mathbf{x}\ne 0</math>이고, 따라서 <math>\lambda-\overline{\lambda}=0</math>이므로 원하는 결론을 얻는다.}} | 이므로 <math>(\lambda - \overline\lambda)\mathbf{x}^\dagger \mathbf{x}=\mathbf{0}</math>을 얻는다. 이때 고유벡터의 정의에 의해 <math>\mathbf{x}\ne \mathbf{0}</math>이므로 <math>\mathbf{x}^\dagger \mathbf{x}\ne 0</math>이고, 따라서 <math>\lambda-\overline{\lambda}=0</math>이므로 원하는 결론을 얻는다. | ||
{{글 숨김 끝}} | |||
* 에르미트 행렬의 서로 다른 고윳값을 <math>\lambda_1,\lambda_2</math>라고 하고 <math>\mathbf{x},\mathbf{y}\in\mathbb{C}^n</math>가 각각 <math>\lambda_1</math>과 <math>\lambda_2</math>에 연관된 고유벡터라고 하자. 그러면 <math>\mathbf{x}</math>와 <math>\mathbf{y}</math>는 [[직교]]한다. | * 에르미트 행렬의 서로 다른 고윳값을 <math>\lambda_1,\lambda_2</math>라고 하고 <math>\mathbf{x},\mathbf{y}\in\mathbb{C}^n</math>가 각각 <math>\lambda_1</math>과 <math>\lambda_2</math>에 연관된 고유벡터라고 하자. 그러면 <math>\mathbf{x}</math>와 <math>\mathbf{y}</math>는 [[직교]]한다. | ||
* 모든 에르미트 행렬은 [[대각화]]할 수 있다. | * 모든 에르미트 행렬은 [[대각화]]할 수 있다. |
2022년 8월 13일 (토) 12:02 기준 최신판
정의[편집 | 원본 편집]
정사각행렬 [math]\displaystyle{ A\in M_n(\mathbb{C}) }[/math]에 대해
- [math]\displaystyle{ A^\dagger=A }[/math]
이면 [math]\displaystyle{ A }[/math]를 에르미트 행렬(Hermitian matrix), 또는 자기수반행렬(self-adjoint matrix)이라고 한다. 이때 [math]\displaystyle{ A^\dagger }[/math]는 [math]\displaystyle{ A }[/math]의 켤레전치이다.
즉, 에르미트 행렬은 실수 성분 대칭행렬의 복소수 버전이라고 볼 수 있다.
예시[편집 | 원본 편집]
- [math]\displaystyle{ \begin{bmatrix} 1 & 1-2i\\ 1+2i & 2 \end{bmatrix} }[/math]
성질[편집 | 원본 편집]
Proof 에르미트 행렬 [math]\displaystyle{ A }[/math]의 고윳값을 [math]\displaystyle{ \lambda }[/math]라 하고, [math]\displaystyle{ \lambda }[/math]에 연관된 고유벡터 하나를 골라 [math]\displaystyle{ \mathbf{x} }[/math]라 하자. 그러면
이므로 [math]\displaystyle{ (\lambda - \overline\lambda)\mathbf{x}^\dagger \mathbf{x}=\mathbf{0} }[/math]을 얻는다. 이때 고유벡터의 정의에 의해 [math]\displaystyle{ \mathbf{x}\ne \mathbf{0} }[/math]이므로 [math]\displaystyle{ \mathbf{x}^\dagger \mathbf{x}\ne 0 }[/math]이고, 따라서 [math]\displaystyle{ \lambda-\overline{\lambda}=0 }[/math]이므로 원하는 결론을 얻는다. |
- 에르미트 행렬의 서로 다른 고윳값을 [math]\displaystyle{ \lambda_1,\lambda_2 }[/math]라고 하고 [math]\displaystyle{ \mathbf{x},\mathbf{y}\in\mathbb{C}^n }[/math]가 각각 [math]\displaystyle{ \lambda_1 }[/math]과 [math]\displaystyle{ \lambda_2 }[/math]에 연관된 고유벡터라고 하자. 그러면 [math]\displaystyle{ \mathbf{x} }[/math]와 [math]\displaystyle{ \mathbf{y} }[/math]는 직교한다.
- 모든 에르미트 행렬은 대각화할 수 있다.
- 모든 에르미트 행렬은 정규행렬이다.