直交基底

$$\newcommand{AA}[0]{\mathscr{A}} \newcommand{abs}[1]{\left\lvert#1\right\rvert} \newcommand{angleb}[1]{\left\langle #1 \right\rangle} \newcommand{Arg}[0]{\operatorname{Arg}} \newcommand{Ba}[0]{\mathbf{a}} \newcommand{BB}[0]{\mathscr{B}} \newcommand{Bb}[0]{\mathbf{b}} \newcommand{Be}[0]{\mathbf{e}} \newcommand{Bu}[0]{\mathbf{u}} \newcommand{Bv}[0]{\mathbf{v}} \newcommand{Bw}[0]{\mathbf{w}} \newcommand{Bx}[0]{\mathbf{x}} \newcommand{By}[0]{\mathbf{y}} \newcommand{Bzr}[0]{\mathbf{0}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathscr{C}} \newcommand{F}[0]{\mathbb{F}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{im}[0]{\operatorname{Im}} \newcommand{ind}[0]{\mathrm{ind}} \newcommand{K}[0]{\mathbb{K}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{L}[0]{\mathbb{L}} \newcommand{mmod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{Mod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{N}[0]{\mathbf{N}} \newcommand{ord}[0]{\mathrm{ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{\operatorname{rank}} \newcommand{span}[0]{\operatorname{span}} \newcommand{SS}[0]{\mathscr{S}} \newcommand{TT}[0]{\mathscr{T}} \newcommand{UU}[0]{\mathscr{U}} \newcommand{wenvert}[1]{\left\lvert\left\lvert#1\right\rvert\right\rvert} \newcommand{Z}[0]{\mathbb{Z}} $$

直交基底

ベクトル空間 $V$ の基底 $\Bu_1, \ldots, \Bu_n$ が、どの$2$つも互いに直交するベクトルであるとき、$\Bu_1, \ldots, \Bu_n$$V$直交基底 (orthogonal basis) という。さらに、どの $\Bu_i$ も単位ベクトルであるとき、$\Bu_1, \ldots, \Bu_n$$V$正規直交基底 (orthonormal basis) という。

有限次元のベクトル空間は直交基底をもつ。さらに強く、つぎの定理が成り立つ。

$V$ が有限次元ベクトル空間で、 $\langle \Bu, \Bv \rangle$$V$ の内積とする。$W$$V$ の部分空間で、$\Bw_1, \ldots, \Bw_m$$W$ の直交基底であるとき、$\Bw_1, \ldots, \Bw_m$ を含む $V$ の直交基底 $\Bw_1, \ldots, \Bw_n$ が存在する。

つまり、$V$ の任意の部分空間 $W$ の直交基底は、$V$ の直交基底に拡張できる。

$m\leq k\leq n$ となる整数 $k$ について、$V$ の部分空間の列 $W_k$ で、

一般的に、$m\leq k\leq n-1$ となる整数 $k$ について、$\Bw_1, \ldots, \Bw_k$ が、$V$ の部分空間 $W_k$ の直交基底であるとして、$V$ の部分空間で $W_k$ を含む $W_{k+1}$ と、その直交基底 $\Bw_1, \ldots, \Bw_{k+1}$ を構成する。

$W_k=V$ のとき、$\Bw_1, \ldots, \Bw_k$$V$ の直交基底となる。$W_k\neq V$ のとき、$W_k$ に属さない $V$ のベクトル $\Bv$ がとれる。
$$W_{k+1}=\span\{\Bw_1, \ldots, \Bw_k, \Bv\}$$
とおくと、$W_{k+1}$$W_k$ のベクトルと $\Bv$ から生成される、$V$ の部分空間となる。$\Bv\not\in W_k$ だから、$W_k\subsetneq W_{k+1}$ となる。

$i=1, \ldots, k$ について
$$c_i=\frac{\langle \Bv, \Bw_i \rangle}{\wenvert{\Bw_i}^2}$$
とおいて、
$$\Bw_{k+1}=\Bv-\sum_{i=1}^k c_i \Bw_i$$
とおくと、$i=1, \ldots, k$ について $\langle \Bw_i, \Bw_{k+1}\rangle=0$ である。よって、$\Bw_1, \ldots, \Bw_{k+1}$ は、どの$2$つも互いに直交する。

$$\Bv=\Bw_{k+1}+\sum_{i=1}^k c_i \Bw_i$$
より、
$$W_{k+1}=\span \{\Bw_1, \ldots, \Bw_k, \Bw_{k+1}\}$$
となる。
$\Bw_{k+1}\in W_k$ ならば、$\Bv\in W_k$ となってしまうから、
$\Bw_{k+1}\not\in W_k$ となる。よって、$\Bw_1, \ldots, \Bw_k, \Bw_{k+1}$$W_{k+1}$ の基底となる。先に記したように、$\Bw_1, \ldots, \Bw_{k+1}$ は、どの$2$つも互いに直交するので、$\Bw_1, \ldots, \Bw_{k+1}$$W_{k+1}$ の直交基底である。

$n=\dim V$ とおく。先の議論を $k=m$ から繰り返すことで、$n$ 次元空間 $W_n\subset V$ と、$W_n$ の直交基底$\Bw_1, \ldots, \Bw_n$ がとれる。$\dim W_n=n=\dim V$ より、$V=W_n$ となる。よって $\Bw_1, \ldots, \Bw_n$$V$ の直交基底となる。

この証明は、有限次元のベクトル空間の直交基底を構成する方法を与えている。この方法をGram-Schmidtの直交化法 (Gram-Schmidt orthogonalization process) という。

$V$ の直交基底
$$\Bw_1, \ldots, \Bw_n$$
に対して
$$\Bv_i=\frac{\Bw_i}{\wenvert{\Bw_i}}$$
とおくと、$\Bv_1, \ldots ,\Bv_n$$V$ の正規直交基底となる。よって、有限次元のベクトル空間は正規直交基底をもつことがわかる。たとえば、 ベクトルの直交:例1 において、$f_n$$V$ の正規直交基底となる。

スカラー積あるいはエルミート積が正定値でない場合は、Gram-Schmidtの直交化法により、$V$ の部分空間 $W$ の直交基底を $V$ の直交基底に拡張することができるとは限らない。

$\R^2$ において、
$$\langle (x, y), (z, w)\rangle=xz-yw$$
によりスカラー積が定義されている場合、$U=\{(x, x): x\in\R\}$$\R^2$ の部分空間で、$(1, 1)$ を基底にもつが、この基底は、先のスカラー積に関する $\R^2$ の直交基底には拡張できない。実際、$(x, y)\not\in U$ ならば、$x\neq y$ より
$$\langle (1, 1), (x, y)\rangle=x-y\neq 0$$
となり、$(x, y)$$(1, 1)$ とは直交しない。

しかし、後に示すように、スカラー積あるいはエルミート積が正定値でない場合でも、直交基底を構成することはできる(Lang, Chapter V, Theorem 5.1)。

直交補空間

$S$$V$ の部分集合(部分空間でなくてもよい)とする。このとき $S$ のすべてのベクトルと直交するベクトルからなる集合
$$S^\perp=\{\Bu: (\forall\Bv\in S) ~ [\langle \Bu, \Bv \rangle=0]\}$$
$V$ の部分空間となる。実際、$\langle \Bu, \Bv \rangle=0 ~ (\forall\Bv\in S)$ ならば、任意の $\Bv\in S$ について
$$\langle k\Bu, \Bv \rangle=k\langle \Bu, \Bv\rangle=0$$
より、$k\Bu\in S^\perp$ となるし、$\langle \Bu, \Bv \rangle=\langle \Bw, \Bv \rangle=0 ~ (\forall\Bv\in S)$ ならば、任意の $\Bv\in S$ について
$$\langle \Bu+\Bw, \Bv\rangle=\langle \Bu, \Bv\rangle + \langle \Bw, \Bv\rangle=0$$
より、$\Bu+\Bw\in S^\perp$ となる。それで、$S^\perp$$S$直交補空間 (orthogonal complement) という。

つぎのことがすぐにわかる。

$U$$S$ により生成される空間であるとき、
$$S^\perp=U^\perp$$
となる。

$U$ のベクトルを $\Bu_1, \ldots, \Bu_n\in S$$a_1, \ldots, a_n\in\K$ により
$a_1\Bu_1+\cdots +a_n\Bu_n\in U$ とあらわすと、$\Bv\in S^\perp$ ならば
$$\langle a_1\Bu_1+\cdots +a_n\Bu_n, \Bv\rangle=a_1\langle \Bu_1, \Bv\rangle + \cdots + a_n\langle \Bu_n, \Bv\rangle=0$$
となるから、$\Bv$$U$ の任意のベクトルと直交する。つまり $\Bv \in U^\perp$ となる。
当然ながら $\Bv\in U^\perp$ ならば、$\Bv$$S$ のベクトルとも直交するから、$\Bv\in S^\perp$ となる。よって
$$S^\perp=U^\perp$$
となる。

$U$$V$ の部分空間で、すべての $\Bv\in U$ について $\langle \Bv, \Bv\rangle=0$ となるとき、$U$ のどの $2$ つのベクトルも互いに直交する。実際、$\Bu, \Bv\in U$ について
$$\langle \Bu, \Bv\rangle=\frac{\langle \Bu+\Bv, \Bu+\Bv\rangle-\langle \Bu, \Bu\rangle-\langle \Bv, \Bv\rangle}{2}=0$$
となる。任意の $\Bv\in U$ について $\langle \Bv, \Bv\rangle=0$ となる空間 $U$零空間 (null space) という。

$U$$V$ の部分空間で、$V$ に内積 $\langle, \rangle$ が定義されているとき、$U^\perp$ をこの内積に関する $U$ の直交補空間とすると、$V$$U$$U^\perp$ の直和となる。

$\Bu_i\in U ~ (i\in I)$$U$ の直交基底とし、$S=\{\Bu_i: i\in I\}$ とおく。$\Bv\in U^\perp$ ならば、$\Bv$ は各 $\Bu_i$ と直交するから、$\Bv\in U\cap U^\perp$ ならば、 ベクトルの直交:命題3 より $\Bv=\Bzr$ となる。よって、$U\cap U^\perp=\{\Bzr\}$ となる。

つぎに、任意の $\Bv\in V$ について、 $c_i=\langle \Bv, \Bu_i \rangle/\wenvert{\Bu_i}^2$ とおいて、
$$\Bu=\sum_{i\in I}c_i \Bu_i, \Bw=\Bv-\Bu$$
とおく。$\Bu\in U$ かつ、各 $k\in I$ について
$$\langle \Bw, \Bu_k\rangle=\langle \Bv, \Bu_k\rangle-\sum_{i\in I}c_i \langle \Bu_i, \Bu_k\rangle =\langle \Bv, \Bu_k\rangle-c_k \wenvert{\Bu_k}^2=0$$
となるので、$\Bw\in S^\perp$, 命題2 より $\Bw\in U^\perp$ となる。よって、
$$\Bv=\Bu+\Bw, \Bu\in U, \Bw\in U^\perp$$
とあらわせる。つまり、$V=U+U^\perp$ となる。

これらのことから、$V$$U$$U^\perp$ の直和となる。

この定理は、スカラー積あるいはエルミート積 $\langle, \rangle$ が正定値でない場合は、一般には成り立たない。たとえば $\R^2$ において、
$$\langle (x, y), (z, w)\rangle=xz-yw$$
によりスカラー積が定義されている場合、$U=\{(x, x): x\in\R\}$ とおくと、$U^\perp=U=U+U^\perp$ となってしまう( 例1 を参照)。

参考文献

[1]
Serge Lang, Linear Algebra, 3rd ed., Undergraduate Texts in Mathematics, Springer, 1987
Mathpediaを支援する

現在のページ

直交基底
前のページへ
23 / 33
次のページへ
前ページへ
入門テキスト「抽象線形代数学」の表紙
次ページへ