샤우데르 기저

틀:위키데이터 속성 추적 함수해석학에서 샤우데르 기저(Schauder基底, 틀:Llang)는 위상 벡터 공간에 대하여 정의되는, 벡터 공간의 기저와 유사한 개념이다.틀:Rp 그러나 벡터 공간의 기저에서는 모든 원소가 유한 개의 기저 벡터의 합으로 나타내어지는 반면, 샤우데르 기저의 경우 모든 원소는 샤우데르 기저 벡터들의 무한 급수로 나타내어진다.

정의

$N\in \{0,1,2,\dots ,\mathrm{\infty }\}$라고 하자. 위상체 $K$ 위의 위상 벡터 공간 $V$ 위의 샤우데르 기저 $\{e_i{\}}_{i=1}^N\subset V$는 다음 조건을 만족시키는 원소들의 열이다.

• 임의의 원소 $v\in V$에 대하여, $v={\sum }_{i=1}^N{a}_i{e}_i$가 되는 수열 $\{a_i{\}}_{i=1}^N\subset K$이 유일하게 존재한다.

여기서 $N=\mathrm{\infty }$일 경우 급수의 수렴은 $V$의 위상으로 정의된다.

$N=\mathrm{\infty }$일 경우, 샤우데르 기저의 순서가 중요한데, 이는 위 급수의 수렴이 절대 수렴이 아닐 수 있기 때문이다. 반면, $N<\mathrm{\infty }$일 경우 샤우데르 기저의 순서는 중요하지 않으며, 이 경우 벡터 공간의 일반적 기저의 개념와 일치한다.

바나흐 공간 $(V,\Vert -\Vert )$ 위의 샤우데르 기저 $\{e_i{\}}_{i=1}^N$가 다음 조건을 만족시킨다면, 정규 샤우데르 기저(正規Schauder基底, 틀:Llang)라고 한다.

• 모든 $i=1,\dots ,N$에 대하여, $\Vert e_i\Vert =1$

무조건 샤우데르 기저

$N\in \{0,1,2,\dots ,\mathrm{\infty }\}$라고 하자. 위상체 $K$ 위의 위상 벡터 공간 $V$ 위의 샤우데르 기저 $\{e_i{\}}_{i=1}^N\subset V$가 다음 조건을 만족시킨다면, 무조건 샤우데르 기저(無條件Schauder基底, 틀:Llang)라고 한다.

• 임의의 $v\in V$ 및 $\{1,2,\dots ,N\}$의 임의의 순열 $\sigma \in \mathrm{Sym}(\{1,2,\dots ,N\})$에 대하여, $v={\sum }_{i=1}^N{a}_i{e}_i$라고 하면, ${\sum }_{i=1}^N{a}_{\sigma (i)}{e}_{\sigma (i)}$ 역시 수렴한다.

무조건 샤우데르 기저는 전순서를 무시할 수 있다. $N<\mathrm{\infty }$인 샤우데르 기저는 무조건 샤우데르 기저이다.

성질

균등 유계성

$K\in \{ℝ,ℂ\}$ 위의 바나흐 공간 $V$의 샤우데르 기저 $\{e_i{\}}_{i=1}^N$이 주어졌다고 하자. 그렇다면

$T_i:\sum _{i=1}^N{a}_i{e}_i\mapsto a_i$

는 모두 유계 작용소이다. 사실, 만약 $\{e_i{\}}_{i=1}^N$가 정규 샤우데르 기저라면, 균등 유계성 원리에 따라

$\sup \{\Vert T_i\Vert {\}}_{i=1}^N<\mathrm{\infty }$

이다. (여기서 $\Vert -\Vert$는 작용소 노름)

존재

샤우데르 기저를 가지는 바나흐 공간은 항상 분해 가능 공간이다.

증명:

$K\in \{ℝ,ℂ\}$이며, $K$-바나흐 공간 $V$의 샤우데르 기저 $\{e_i{\}}_{i=1}^N$이 주어졌다고 하자 ($N\in \{0,1,\dots ,\mathrm{\infty }\}$). 그렇다면,

$\tilde{K}=\{\begin{array}{cc}\mathbb{Q}& K=ℝ\\ \mathbb{Q}+\mathrm{i}\mathbb{Q}& K=ℂ\end{array}$

를 정의하고,

$\tilde{V}=\{a_1{e}_1+a_2{e}_2+\cdots +a_n{e}_n:n\in \mathbb{N},a_1,a_2,\dots ,a_n\in \tilde{K}\}\subset V$

를 생각하자. $\tilde{V}$는 가산 집합이므로, $\tilde{V}$가 조밀 집합임을 보이면 족하다.

임의의 원소

$V\ni v=\sum _{i=1}^N{b}_i{e}_i(b_i\in K\mathrm{\forall }i=1,\dots ,N)$

및 임의의 양의 실수 $ϵ\in {ℝ}^{+}$가 주어졌다고 하자. 이제, $\Vert v-\tilde{v}\Vert <ϵ$인 $\tilde{v}\in D$를 찾으면 족하다.

$\tilde{K}\subset K$의 조밀성으로 인하여,

$|b_i-{\tilde{b}}_i|<\frac{ϵ}{2^i\Vert e_i\Vert }$

인 ${\tilde{b}}_i\in \tilde{K}$를 고를 수 있다. 그렇다면

$\tilde{v}=\sum _{i=1}^N{\tilde{b}}_i{e}_i$

로 놓으면, 삼각 부등식으로 인하여

$\Vert v-\tilde{v}\Vert \le \sum _{i=1}^N|b_i-{\tilde{b}}_i|\cdot \Vert e_i\Vert <ϵ\sum _{i=1}^N{2}^{-i}\le ϵ$

이다.

그러나 샤우데르 기저를 갖지 않는 분해 가능 바나흐 공간이 존재한다.

기본열

바나흐 공간 $V$의 원소의 열 $\{v_i{\}}_{i=1}^{\mathrm{\infty }}\subseteq V$가 선형 생성

$\mathrm{Span}\{v_i{\}}_{i=1}^{\mathrm{\infty }}=\{a_1{v}_1+a_2{v}_2+\cdots +a_k{v}_k:k\in {\mathbb{Z}}^{+},a_1,\dots ,a_k\in K\}$

의 폐포의 샤우데르 기저를 이룬다면, 이를 기본열(基本列, 틀:Llang)이라고 한다. 만약 기본열이 그 선형 생성의 폐포의 무조건 샤우데르 기저를 이룬다면, 이를 무조건 기본열(無條件基本列, 틀:Llang)라고 한다.

모든 무한 차원 바나흐 공간은 기본열을 가진다. 그러나 무조건 기본열을 갖지 않는 무한 차원 바나흐 공간이 존재한다.

예

분해 가능 힐베르트 공간의 정규 직교 기저는 항상 무조건 샤우데르 기저이다.

L^p 공간 ${\ell }^p={\mathrm{L}}^p(\mathbb{N})$이 주어졌다고 하자. 그렇다면 표준 기저

$\{(e_n{)}_i={\delta }_{ni}{\}}_{n\in \mathbb{N}}$

은 $1\le p<\mathrm{\infty }$에 대하여 샤우데르 기저를 이룬다.

역사

페르 엔플로에게 거위를 증정하는 스타니스와프 마주르

율리우시 샤우데르가 1927년에 도입하였다.

스타니스와프 마주르는 1936년 11월 6일에 모든 분해 가능 바나흐 공간이 샤우데르 기저를 가지는지에 대한 문제를 제기하였고, 이를 증명하는 이에게 살아있는 거위를 포상하겠다고 공언하였다. 1973년에 스웨덴의 페르 엔플로가 이 문제를 부정적으로 해결하였고, 마주르는 엔플로에게 살아있는 거위를 선물하였다. 이 장면은 전 폴란드에 텔레비전으로 중계되었다.

같이 보기

• 바나흐 공간

각주

• 틀:서적 인용
• 틀:서적 인용
• 틀:저널 인용

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용