ノルム空間における無限級数スパン全体列
📂バナッハ空間ノルム空間における無限級数スパン全体列
無限級数
定義
(X,∥⋅∥)をノルム空間とする。Xの数列{xk}k∈Nに対して、部分和を以下のように定義しよう。
SN:=k=1∑Nxk
部分和SNの極限がx∈Xである場合、つまり下の式
N→∞limx−k=1∑Nxk=0
を満たしているならば、無限級数∑k=1∞xkはxに収束すると言い、以下のように記される。
x=k=1∑∞xk
説明
有限次元を越えて無限次元ベクトル空間の基底について話すために必要な過程だ。収束について話すためには、Xはノルム空間である必要がある。無限次元ベクトル空間の生成も有限次元ベクトル空間の生成と似て定義される。
生成
定義
ノルム空間Xの数列{xk}k∈Nが与えられているとしよう。この時{xk}k∈Nの生成を次のように定義する。
span{xk}k∈N:={c1x1+⋯+cNxN:N∈N, c1,…,cN∈C}
説明
つまり、全てのN∈Nに対して可能な全ての線形結合の集合である。
級数の収束とスパンについて、次の性質が成り立つ。
性質
それぞれのx∈Xに対して
x=k=1∑∞ckxk
と表せる場合、次の式が成立する。
span{xk}k∈N=X
説明
(2)が成立するならば、{xk}k∈NはXの完全な数列またはトータルな数列と呼ばれる。また、トータルな数列を持つノルム空間Xは分離可能であると言われる。
一方で、(1)⟹(2)は成立するが、逆は成立しない。つまり、(1)⟸(2)である。