샤우데르 기저(Schauder basis)는 함수해석학 및 선형대수학에서 Banach 공간(또는 일반적인 위상선형 공간) 위의 일종의 기저 개념이다. 일반적인 벡터공간의 기저와 달리, 샤우데르 기저는 각 원소를 수렴하는 선형 조합으로 표현할 수 있다는 추가적인 위상적 조건을 만족한다.
정의
$X$를 실수 혹은 복소수 위의 Banach 공간이라 하자. ${e_n}_{n=1}^{\infty}$가 $X$의 샤우데르 기저가 되려면 다음 두 조건을 만족해야 한다.
- 선형 독립성: $\sum_{n=1}^{N} a_n e_n = 0$ (유한합)일 때 모든 계수 $a_n = 0$.
- 완비성(전개 가능성): 임의의 $x \in X$에 대하여 일련의 계수 ${a_n(x)}{n=1}^{\infty}$가 존재하여
$$ x = \sum{n=1}^{\infty} a_n(x) e_n $$ 이며, 위 무한급수가 $X$의 노름에 대하여 수렴한다.
즉, 어떤 원소 $x$도 ${e_n}$의 무한 선형 조합으로 유일하게 표현될 수 있고, 그 급수는 Norm에 대해 수렴한다.
주요 성질
- 유일성: 위 정의에 따라 얻어지는 전개 계수 ${a_n(x)}$는 유일하다.
- 연속성: 전개 연산 $x \mapsto (a_n(x))_{n\ge1}$는 연속선형 연산이며, 이는 Banach 공간 구조와 일치한다.
- 유한 차원 공간: 모든 유한 차원 Banach 공간은 자동적으로 샤우데르 기저를 가진다(그 자체가 표준 기저와 동일).
- Hilbert 공간과의 관계: Hilbert 공간에서는 정규 직교 기저(orthonormal basis)가 존재한다면 이는 자동적으로 샤우데르 기저가 된다. 하지만 Banach 공간에서는 정규 직교 기저가 존재하지 않을 수도 있다.
예시
| 공간 | 샤우데르 기저의 예 | 비고 |
|---|---|---|
| $C[0,1]$ (연속 실함수 공간, 최대 노름) | Faber–Schauder 함수계열 | 각 함수는 계단형 형태로, 무한 급수는 균등수렴한다. |
| $\ell^p$ ($1 \le p < \infty$) | 표준 단위벡터 ${e_n}$ | $\ell^p$는 순서대로 정의된 표준 기저가 샤우데르 기저가 된다. |
| $L^p[0,1]$ ($1 \le p < \infty$) | Haar 기저 (특히 $p=2$에서 정규 직교) | Haar 함수는 실제로 샤우데르 기저를 형성한다. |
| $c_0$ (수열이 0으로 수렴) | 표준 단위벡터 | $\ell^\infty$와 달리 샤우데르 기저를 가질 수 있다. |
존재와 비존재
- 존재: 모든 separable Banach 공간은 샤우데르 기저를 가진다(바나흐-베크슬라프 정리).
- 비존재: 비가산 차원의 Banach 공간(예: $\ell^\infty$)은 일반적으로 샤우데르 기저를 갖지 않는다.
역사적 배경
샤우데르 기저는 1930년대 체코 수학자 요시프 샤우더(Josef Schauder, 1899‑1941)에 의해 처음 제시되었다. 그는 연속 함수 공간 $C[0,1]$에서 특정 함수계열이 위 정의를 만족함을 증명함으로써, 무한 차원 공간에서도 “기저” 개념을 확장할 수 있음을 보였다. 이후 이 개념은 함수해석학 전반에 걸쳐 다양한 일반화와 응용을 낳았다.
참고 문헌
- J. Schauder, Über lineare Operatoren in einem Funktionalraum, 1930.
- J. B. Conway, A Course in Functional Analysis, 2nd ed., Springer, 1990.
- R. E. Megginson, An Introduction to Banach Space Theory, Springer, 1998.
- K. Yosida, Functional Analysis, 6th ed., Springer, 1980.
위 내용은 기존 수학 교과서 및 학술 서적에 기초한 일반적인 정의와 성질을 요약한 것이다.