こんにちは、本日は前回につづきヒルベルト空間についてふわっと解説していきます。
さて、線型空間\(V\)は、ベクトル同士の足し算は定義されていましたが、ベクトル同士の掛け算は定義されていませんでした。ここではベクトル同士の掛け算を１つ定義していきます。いわゆる「内積」です。
DEF.4 内積空間
\(V\)を体\(F\)上の線型空間とする。写像\( \left \langle \cdot,\cdot \right \rangle: V\times V \ni u\times v \rightarrow \langle u,v\rangle \in F \)が以下の性質を満たす時、\(V\)上の内積という：
1) \(\langle v,v \rangle \geq 0\)かつ\(\langle v,v \rangle = 0 \Leftrightarrow v =0\)
2)\(\forall a\in F\)に対して、\( \langle au,v \rangle = a\langle u,v \rangle \)
3)\(\langle u+v,w \rangle = \langle u,w \rangle + \langle v,w \rangle \)
4)\(\langle u, v \rangle = \overline{\langle v, u \rangle}\)
また線型空間\(V\)と内積\(\langle \cdot,\cdot \rangle\)の組み\( (V,\langle \cdot,\cdot \rangle ) \)を内積空間という。
なお\(\overline{x}\)は、\(\overline{\cdot}:\mathbb{C}\ni x \rightarrow \overline{x} \in \mathbb{C}\)となる複素共役をとる写像で、\(\mathbb{R}\)上では恒等写像、つまり何も変化しない写像になります。
こちらもノルムと同様かなり数学的ですが、例えば、\(u=(u_1,…,u_n),v= (v_1,…,v_n),u,v\in\mathbb{C}^n\)とすると
\[
\langle u,v \rangle = \sum_{i=1}^n u_i \overline{v_i}
\]
となります。成分同士掛け算して足し合わせるという、お馴染みのものですね。
内積が定義されると、その内積を使って自然にノルムをもつことになります。というのは
\[
\|u\| \equiv \sqrt{\langle u,u \rangle }
\]
とすれば、これはノルムの公理を満たすので、ノルムになります。つまり、内積空間は内積から誘導されるノルムに関してノルム空間にもなります。
これでヒルベルト空間を定義できます。
DEF.5 ヒルベルト空間
\((V,\langle\cdot , \cdot\rangle)\)を内積空間とする。内積から誘導されるノルム
\[
\|v\|\equiv \sqrt{\langle v,v\rangle},\ v \in V
\]
で完備になるとき、内積空間\(V\)をヒルベルト空間と呼ぶ。
端的に言えば、完備な内積空間をヒルベルト空間といいます。
いくつか例をあげてみます。
・\( \mathbb{R}^n \)は内積\(\langle u,v \rangle =\sqrt{u_1v_1+….+u_nv_n}\)が定義され、内積から誘導されるノルム\(\|v\|=\sqrt{v_1^2+…+v_n^2} \)が完備なので、ヒルベルト空間となります。
・\(L^p\)空間\(L^p(X)\)において\(p=2\)の空間\(L^2(X)\)は、内積
\[
\langle f,g\rangle = \int f(x)\overline{g(x)} \mu(dx)
\]
が定義でき、ノルムは
\[
\|f\| =\sqrt{ \int \left| f(x)\right |^2\mu(dx) }
\]
となる、無限次元ヒルベルト空間になります。
さて、内積が定義されると線形代数同様、「直交」という概念が定義できます。
ヒルベルト空間を\(V\)とすると\(u,v\in V\)に対して\(\langle u,v \rangle = 0\)となるとき、\(u,v\)は直交するといいます。
\(V\)の部分集合\(E\)が直交系とは\(\forall u,v \in E\)に対して、\(\langle u,v \rangle = 0\)となるときをいい、さらに\(\forall v \in E\)に対して、\(\|v\| = 1\)となるとき正規直交系といいます。以上から完全正規直交系を定義することができます。
DEF.6 完全正規直交系
\(V\)をヒルベルト空間とする。\(V\)の正規直交系\(\{v_n\}\)が以下を満たす時、完全正規直交系という。
\(\forall v \in V\)に対して、
\[
v = \sum_n \langle v,v_n\rangle v_n
\]
がなりたつ。
直交という概念から直交補空間というものが考えられます。
これはヒルベルト空間\(X\)の部分空間を\(V\)とすると、\( \forall v \in V\)に対して、\(\langle v,w\rangle = 0\)となる\(w\)全体の集合を考えることができます。これを直交補空間といいます。
DEF.7 直交補空間
\(X\)をヒルベルト空間とする。Xの部分集合を\(V\)とすると、
\[
V^{\perp }\equiv \{x \in X \mid \langle x,v \rangle = 0,v\in V \}
\]
を\(V\)の直交補空間という。
ヒルベルト空間\( X \)の任意の元\( x\in X\)は、ある部分集合の元\( v \in V\)とその直交補空間の元\(w\in V^{\perp}\)の直和で一意に表すことができます：
\[
x= v+w,\ X = V\oplus V^{\perp}\ \mathrm{。}
\]
さて、いままでの内容を見るとバナッハ空間もヒルベルト空間も\(\mathbb{C}^n\)と同じノリの話ばかりでした。ではこれらはの違う部分は何でしょうか。
それは、バナッハ空間やヒルベルト空間は無限次元である、ということです。一言で言うなれば、一般的に「コンパクト性」を満たさなくなり、いろいろめんどくさいことになります。次回以降少しみていきます。
本日はここまでにします。
最後まで読んでいただきありがとうございます。
質問等はコメント欄かお問い合わせにておねがいいたします。