1. 개요
함수해석학과 선형대수학에서 수반 작용소(adjoint operator)는 한 작용소에 대하여 대합 *에 의한 켤레를 이루는 작용소이다.2. 정의
2.1. 바나흐 공간의 수반 작용소
자세한 내용은 바나흐 공간 문서의 수반 작용소 부분을
참고하십시오.체 [math(\mathbb{K\in\{R,C\}})] 위의 두 바나흐 공간 [math(X, Y)]의 유계 작용소 [math(T\in\mathcal{B}(X, Y))]의 수반 작용소는 다음을 만족시키는, 쌍대 공간 [math(Y^*, X^*)] 사이의 유계 작용소 [math(T^*\in\mathcal{B}(Y^*, X^*))]이다.
[math(y^*(Tx)=(T^*y^*)(x)\quad\forall x\in X\ \text{and } y^*\in Y^*)]
바나흐 공간 [math(X)]의 원소 [math(x)]와 그 쌍대공간 [math(X^*)]의 선형 범함수 [math(x^*)]에 대하여[math(x^*(x):=\left<x,x^*\right>=\left<x^*,x\right>)]
로 표기하면 위 조건은 다음과 같이 나타낼 수 있다.[math(\left<T(x),y^*\right>=\left<x,T^*(y^*)\right>\quad\forall x\in X\ \text{and } y^*\in Y^*)]
2.2. 힐베르트 공간의 수반 작용소
자세한 내용은 힐베르트 공간 문서의 수반 작용소 부분을
참고하십시오.체 [math(\mathbb{K})] 위의 두 힐베르트 공간 [math(H, K)]의 유계 작용소 [math(T\in\mathcal{B}(H, K))]의 수반 작용소는 다음을 만족시키는, 유계 작용소 [math(T^*\in\mathcal{B}(K, H))]이다.
[math(\left<T(x),y\right>_K=\left<x,T^*(y)\right>_H\quad\forall x\in H \text{ and }y\in K)]
2.3. 유한 차원 내적 공간의 수반 작용소
자세한 내용은 수반 행렬 문서 참고하십시오.체 [math(\mathbb{K})] 위의 유한 차원 벡터 공간 [math(V)]가 내적 [math(\left<\cdot,\cdot\right>)]을 갖춘 내적 공간일 때, [math(V)] 위의 작용소 [math(T:V\to V)]의 수반 작용소는 다음을 만족시키는, [math(V)] 위의 작용소 [math(T^*:V\to V)]이다.
[math(\left<Ax,y\right>=\left<x,A^*y\right>\quad \forall x,y\in V)]
작용소 [math(T)]의 수반 작용소는 유일하다. [math(\beta)]가 내적공간 [math(V)]의 정규직교기저일 때, 작용소 [math(T)]와 수반 작용소 [math(T^*)]의 정규직교기저 [math(\beta)]에 대한 행렬 표현 사이에는 다음과 같은 관계가 성립한다.[math([T^*]_\beta=([T]_\beta)^*)]
즉, 수반 작용소의 행렬 표현은 작용소의 행렬 표현의 켤레 전치이다.3. 성질
4. 둘러보기
선형대수학 Linear Algebra | |||
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | <colbgcolor=#006ab8> 기본 대상 | 일차함수 · 벡터 · 행렬 · 선형 변환 | |
대수적 구조 | 가군(모듈) · 벡터 공간 · 내적 공간 · 노름 공간 | ||
선형 연산자 | <colbgcolor=#006ab8> 기본 개념 | 연립방정식(1차 · 2차) · 행렬곱 · 단위행렬 · 역행렬과 크라메르 공식 · 가역행렬 · 전치행렬 · 행렬식(라플라스 전개) · 주대각합 | |
선형 시스템 | 기본행연산과 기본행렬 · 가우스-조르당 소거법 · 행사다리꼴 · 행렬표현 · 라그랑주 보간법 | ||
주요 정리 | 선형대수학의 기본정리 · 차원 정리 · 가역행렬의 기본정리 · 스펙트럼 정리 | ||
기타 | 제곱근행렬 · 멱등행렬 · 멱영행렬 · 에르미트 행렬 · 야코비 행렬 · 방데르몽드 행렬 · 아다마르 행렬 변환 · 노름(수학) | ||
벡터공간의 분해 | 상사 · 고유치 문제 · 케일리-해밀턴 정리 · 대각화(대각행렬) · 삼각화 · 조르당 분해 | ||
벡터의 연산 | 노름 · 거리함수 · 내적 · 외적(신발끈 공식) · 다중선형형식 · ∇ · 크로네커 델타 | ||
내적공간 | 그람-슈미트 과정 · 수반 연산자(에르미트 내적) | ||
다중선형대수 | 텐서 · 텐서곱 · 레비치비타 기호 | }}}}}}}}} |