logo

ノルム空間における無限級数スパン全体列 📂バナッハ空間

ノルム空間における無限級数スパン全体列

無限級数1

定義

(X,)(X, \left\| \cdot \right\|)ノルム空間とする。XXの数列{xk}kN\left\{ \mathbf{x}_{k}\right\}_{k\in \mathbb{N}}に対して、部分和を以下のように定義しよう。

SN:=k=1Nxk \mathbf{S}_{N} := \sum \limits_{k=1}^{N}\mathbf{x}_{k}

部分和SN\mathbf{S}_{N}の極限がxX\mathbf{x} \in Xである場合、つまり下の式

limNxk=1Nxk=0 \lim \limits_{N\to \infty}\left\| \mathbf{x}-\sum \limits_{k=1}^{N}\mathbf{x}_{k} \right\|=0

を満たしているならば、無限級数k=1xk\sum_{k=1}^{\infty}\mathbf{x}_{k}x\mathbf{x}に収束すると言い、以下のように記される。

x=k=1xk \mathbf{x}=\sum \limits_{k=1}^{\infty}\mathbf{x}_{k}

説明

有限次元を越えて無限次元ベクトル空間の基底について話すために必要な過程だ。収束について話すためには、XXはノルム空間である必要がある。無限次元ベクトル空間の生成も有限次元ベクトル空間の生成と似て定義される。

生成

定義

ノルム空間XXの数列{xk}kN\left\{ \mathbf{x}_{k} \right\}_{k \in \mathbb{N}}が与えられているとしよう。この時{xk}kN\left\{ \mathbf{x}_{k} \right\}_{k\in \mathbb{N}}生成を次のように定義する。

span{xk}kN:={c1x1++cNxN:NN, c1,,cNC} \text{span}\left\{ \mathbf{x}_{k} \right\}_{k\in \mathbb{N}}:= \left\{ c_{1}\mathbf{x}_{1}+\cdots+c_{N}\mathbf{x}_{N} : N\in \mathbb{N},\ c_{1},\dots,c_{N}\in \mathbb{C} \right\}

説明

つまり、全てのNNN\in \mathbb{N}に対して可能な全ての線形結合の集合である。

級数の収束とスパンについて、次の性質が成り立つ。

性質

それぞれのxX\mathbf{x} \in Xに対して

x=k=1ckxk \begin{equation} \mathbf{x}= \sum \limits_{k=1}^{\infty} c_{k} \mathbf{x}_{k}\end{equation}

と表せる場合、次の式が成立する。

span{xk}kN=X \begin{equation} \overline{\text{span}} \left\{ \mathbf{x}_{k} \right\}_{k\in \mathbb{N}} =X \end{equation}

説明

(2)(2)が成立するならば、{xk}kN\left\{ \mathbf{x}_{k} \right\}_{k\in \mathbb{N}}XX完全な数列またはトータルな数列と呼ばれる。また、トータルな数列を持つノルム空間XX分離可能であると言われる。

一方で、(1)    (2)(1) \implies (2)は成立するが、逆は成立しない。つまり、(1) ⁣ ⁣̸ ⁣ ⁣ ⁣ ⁣    (2)(1)\quad \!\! \not \!\!\!\! \impliedby (2)である。


  1. Ole Christensen, Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering (2010), p40-41 ↩︎