#!style
.grad {
background: border-box linear-gradient(to right, #4c0182, 10%, #560193 50%, 90%, #4c0182);
border: 2px solid transparent;
}
.grad tr:nth-of-type(2) > td {
background: padding-box var(--article-background-color);
overflow: hidden;
}
@theseed-dark-mode {
.grad {
background: border-box linear-gradient(to right, #4c0182, 10%, #560193 50%, 90%, #4c0182);
}
}
| <tableclass=grad> '''함수해석학 Functional Analysis ''' | |||
| {{{#!wiki style="min-height: calc(1.5em + 5px); margin: 0 -10px -5px" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | <colbgcolor=#560193,#560193><colcolor=#fff,#fff> 공간 | <colbgcolor=#4c0182,#4c0182><colcolor=#fff,#fff> 위상·거리 | 위상 벡터 공간 · 국소 볼록 공간 · 프레셰 공간 · 거리공간 · 노름 공간 · 바나흐 공간 |
| 내적 | 내적공간 · 힐베르트 공간 · 정규직교기저 · 직합 · 텐서곱 | ||
| 함수공간 | [math(L^p)] 공간 · 연속함수공간 | ||
| 작용소 | 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소 | ||
| 대수 | 바나흐 대수 · [math(C^*)]-대수 · 폰 노이만 대수 | ||
| 정리 | 베르 범주 정리 · 균등 유계성 원리 · 한-바나흐 정리 · 리스 표현 정리 · 바나흐-앨러오글루 정리 · 스펙트럼 정리 · 겔판트-마주르 정리 | ||
| 이론 | 범함수 미적분학 · 디랙 델타 함수(분포이론) | ||
| 응용 | 양자역학 · 푸리에 해석 · 편미분방정식 · 비가환 기하학 | ||
| 인물 | 다비트 힐베르트 · 스테판 바나흐 · 존 폰 노이만 · 노버트 위너 | ||
| 기타 | 함수해석학/교재 | ||
1. 개요
위상 벡터 공간(topological vector space, TVS)은 벡터의 덧셈 및 스칼라 곱과 호환되는 위상을 갖춘 벡터 공간이다.2. 정의
2.1. 위상 벡터 공간
실수 또는 복소수 체 위의 벡터 공간 [math(V)]가 벡터의 덧셈 [math(+:V\times V \to V)] 및 스칼라 곱 [math(\cdot:\mathbb K \times V \to V)] ([math(\mathbb{K\in\{R,C\}})])이 연속 사상인 위상 [math(\cal T)]를 갖추었을 때, [math(V=(V,\cal T))]를 위상 벡터 공간이라고 한다.2.2. 동형 사상
두 [math(\mathbb K)]-위상 벡터 공간 [math(X,Y)] 사이의 사상 [math(\tau:X\to Y)]가 벡터 동형 사상이며 동시에 위상 동형 사상일 때, [math(\tau)]를 [math(X, Y)]의 (위상 벡터)동형 사상이라고 한다. 즉, 동형 사상은 전단사, 선형, 연속, 역연속인 사상이다.3. 연산
3.1. 부분 선형 공간
[math(\mathbb K)]-위상 벡터 공간 [math(X)]의 부분 선형 공간 [math(Y)]는 [math(\mathbb K)]-위상 벡터 공간이다.3.2. 위상족으로 생성된 공간
벡터 공간 [math(V)]가 위상 벡터 공간이 되도록 하는 [math(V)] 위의 위상들의 족 [math(\{\cal T\}_{\alpha\in A})]에 대하여 [math(\mathcal T =\bigvee _{\alpha\in A}\mathcal T_\alpha)]라 하자. 즉, [math(\mathcal T)]는 [math(\bigcup_{\alpha\in A}\mathcal T_\alpha)]으로 생성된 [math(V)]의 위상으로, 모든 [math(\mathcal T_\alpha)]를 포함하는 최소 위상이다. 이때 [math((V, \mathcal T))]는 위상 벡터 공간이다.3.3. 몫 공간
4. 성질
4.1. 이동과 확대의 성질
위상 벡터 공간 [math(X)]에서 이동(translation)은 위상 동형 사상, 확대(dilation)은 자기 동형 사상이다. 즉, 임의의 [math(x_0\in X)]에 대하여 사상 [math(x\mapsto x+x_0)]은 [math(X)]에서 [math(X)]로의 위상 동형 사상이고 임의의 [math(\lambda(\ne0)\in\mathbb{K})]에 대하여 사상 [math(x\mapsto \lambda x)]는 [math(X)]의 연속, 선형, 열린, 전단사 사상이다.따라서 [math(X)]의 열린(닫힌, 컴팩트 등) 집합은 이동 또는 확대 후에도 [math(X)]의 열린(닫힌, 컴팩트 등)집합이다.