線形代数学II No.4要約

今日のテーマ: 直交補空間

定義 4.1   計量ベクトル空間 $ V$ の部分空間 $ U$ に対して、

% latex2html id marker 840
$\displaystyle \{ \mathbbm x \in V;
\mathbbm x \cdot \mathbbm u =0 \qquad (\forall \mathbbm u \in U)\}
$

のことを $ U^\perp$ と書き、$ U$直交補空間と呼ぶ。

補題 4.2  

計量ベクトル空間 $ V$ の部分空間 $ U$ に対して、

  1. $ U^\perp$$ V$ の部分空間である。

  2. $ U\cap U^\perp=\{{\bf0}\} $.
  3. $ (U^\perp)^\perp \supset U$.
  4. $ U$ が有限次元なら、 $ U+ U^\perp=V$. したがって(上のことと併せて) $ V=U\oplus U^{\perp}$ である。

問題 4.1   計量ベクトル空間 $ V$ の部分空間 $ U$ に対して、$ U^\perp$ が 有限次元であれば、 $ V=U\oplus U^{\perp}$ であることを示しなさい。

補題 4.3   計量ベクトル空間 $ V$ の部分空間 $ U$ が、 $ V=U\oplus U^\perp$ をみたすと仮定する。このとき、 任意の $ \mathbbm v$ は一意的に

% latex2html id marker 895
$\displaystyle \mathbbm v^! + \mathbbm v ^\perp
\qquad(\mathbbm v^! \in U, \mathbbm v^\perp \in U^\perp)
$

と書ける。

定義 4.4   補題 4.3 の状況のもとで、 写像

$\displaystyle V \ni \mathbbm v \mapsto \mathbbm v^! \in V
$

のことを $ U$ への 直交射影と呼ぶ。

4.1   計量ベクトル空間 $ V$ とそのベクトル $ \mathbbm v$ に対して、 $ U$ $ \mathbbm v$ で生成される一次元ベクトル空間に採ると

$\displaystyle \mathbbm x
=
\frac{(\mathbbm x \cdot \mathbbm v)}{\vert\vert\mat...
...hbbm x \cdot \mathbbm v)}{\vert\vert\mathbbm v\vert\vert^2} \mathbbm v
\right)
$

が対応する分解である。言い換えると

% latex2html id marker 921
$\displaystyle \mathbbm x^!
=
\frac{(\mathbbm x \cdo...
...bbm x \cdot \mathbbm v)}{\vert\vert\mathbbm v\vert\vert^2} \mathbbm v
\right).
$

一次独立なベクトルの有限列 $ \{
\mathbbm v_1,
\mathbbm v_2,\dots,
\mathbbm v_n
\}$ からはじめて、 $ \mathbbm v_1$ を上記の $ \mathbbm v$ として上記操作を行い、 $ \{
\frac{1}{\vert\vert\mathbbm v_1\vert\vert}\mathbbm v_1,
\mathbbm v_2^\perp
,\dots,
\mathbbm v_n ^\perp
\}
$ を考えると一番目のベクトルに関して「きれいな」ベクトルの列を得る。 これを繰り返すことにより正規直交系を得るのがシュミットの直交化法である。

定義 4.5   計量ベクトル空間の部分集合 $ A,B$ について、$ A$ のどの元も $ B$ の 各元と直交する時、$ A\perp B$ と書く。 すなわち、

% latex2html id marker 944
$\displaystyle A\perp B \ {\Leftrightarrow}\
(\math...
...\cdot \mathbbm b=0
\quad(\forall \mathbbm a \in A
\forall \mathbbm b \in B) )
$

補題 4.6   $ V$ は有限次元の計量ベクトル空間であるとする。このとき、 $ V$ の部分空間 $ U_1,U_2$ にたいして、つぎは同値である。
  1. $ U_1 + U_2=V$ かつ $ U_1 \perp U_2$.
  2. $ U_2 = U_1^{\perp}$