有限次元ノルム空間の完備性の証明
定理 1
有限次元のノルム空間は完備性を持つ。
説明
それにより、有限次元のベクトル空間はノルムが定義されるだけでバナッハ空間になる。特に、$\mathbb{R}^{n}$や$\mathbb{C}^{n}$がよく使われるため、特に便利な事実だ。
証明
戦略:有限次元のベクトル空間であるという点を利用して、全てのベクトルを基底単位に分けた後、扱いやすいノルムを定義する。ノルムの同値関係を利用し、抽象的な計算を直接的な計算に変換する。
有限次元のノルム空間 $(X, \| \cdot \|_{0} )$ には、基底 $\left\{ e_{1} , \cdots , e_{n} \right\}$ が存在する。
パート 1
$X$のコーシー数列$\left\{ x_{k} \right\}_{k \in \mathbb{N} }$を以下のように定義しよう。
$$ x_{1} = \lambda_{1}^{(1)} e_{1} + \cdots + \lambda_{n}^{(1)} e_{n} $$
$$ x_{2} = \lambda_{1}^{(2)} e_{1} + \cdots + \lambda_{n}^{(2)} e_{n} $$
$$ \vdots $$
$$ x_{k} = \lambda_{1}^{(k)} e_{1} + \cdots + \lambda_{n}^{(k)} e_{n} $$
パート 2
$$ \| \lambda_{1} e_{1} + \cdots + \lambda_{n} e_{n} \| : = \sum_{k=1}^{n} | \lambda_{k} | $$
ノルム$\| \cdot \|$を、線形結合の係数の絶対値をすべて足した値として定義してみよう。
$X$ は 有限次元のノルム空間なので $\| \cdot \|_{0} \sim \| \cdot \|$ であり、ある$m , M > 0$に対して
$$ m \| x_{k} - x_{m} \| \le \| x_{k} - x_{m} \|_{0} \le M \| x_{k} - x_{m} \| $$
パート 3
$\| \cdot \|$の定義により
$$ m \| x_{k} - x_{m} \| \le \| x_{k} - x_{m} \|_{0} $$
$$ \implies m \left( \left| \lambda_{1}^{(k)} - \lambda_{1}^{(m)} \right| + \cdots + \left| \lambda_{n}^{(k)} - \lambda_{n}^{(m)} \right| \right) \le \| x_{k} - x_{m} \|_{0} $$
$\left\{ x_{k} \right\}_{k \in \mathbb{N} }$はコーシー数列なので、$k,m \to \infty$のとき$\| x_{k} - x_{m} \|_{0} \to 0$である。すると、全ての$1 \le i \le n$に対して
$$ \lim_{k,m \to \infty } m \left( \left| \lambda_{i}^{(k)} - \lambda_{i}^{(m)} \right| \right) \to 0 $$
したがって、$\left\{ \lambda_{i}^{(k)} \right\}_{k \in \mathbb{N}}$はコーシー数列であり、$\mathbb{C}$は完備空間なので、何らかの$\lambda_{i} \in \mathbb{C}$に収束する。
パート 4
$x := \lambda_{1} e_{1} + \cdots + \lambda_{n} e_{n}$とすると
$$ \| x_{k} - x \|_{0} \le M \| x_{k} - x \| $$
$$ \implies \| x_{k} - x \|_{0} \le M \left( \left| \lambda_{1}^{(k)} - \lambda_{1} \right| + \cdots + \left| \lambda_{n}^{(k)} - \lambda_{n} \right| \right) $$
$$ \implies 0 \le \lim_{k \to \infty} \| x_{k} - x \|_{0} \le \lim_{k \to \infty} M \left( \left| \lambda_{1}^{(k)} - \lambda_{1} \right| + \cdots + \left| \lambda_{n}^{(k)} - \lambda_{n} \right| \right) $$
$$ \implies \lim_{k \to \infty} \| x_{k} - x \|_{0} = 0 $$
したがって、$X$のコーシー数列$\left\{ x_{k} \right\}_{k \in \mathbb{N} }$は$x \in X$に収束する。
■
Kreyszig. (1989). Introductory Functional Analysis with Applications: p73. ↩︎