正規直交基底の性質と計算方法

こんにちはコーヤです。

このページでは正規直交基底の性質とグラムシュミットの正規直交化法について勉強します。どんな基底でも正規直交基底に変換できるようになります。

正規直交基底の条件1つ
正規直交基底の意味
正規直交基底の判定方法
グラム・シュミットの正規直交化法
まとめ

正規直交基底の条件1つ

内積空間である3次元列ベクトル空間 $R^{3}$ として $⟨ e_{1}, e_{2}, e_{3} ⟩$ と $⟨ f_{1}, f_{2}, f_{3} ⟩$ の2組を考えてみます。

正規直交基底は線形空間の基底の応用編です。基底が不安な方はまず基底のページをご覧ください。

線形空間の基底と次元

線形空間を生成する基底とその次元について勉強します。基底と次元は今後出てくる様々な空間で必要になる知識です。

$\begin{array}{ccc} e_{1} = (\begin{matrix} 1 \\ 0 \\ 0 \end{matrix}) & e_{2} = (\begin{matrix} 0 \\ 1 \\ 0 \end{matrix}) & e_{3} = (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix}) \end{array}$

$\begin{array}{ccc} f_{1} = (\begin{matrix} 1 \\ 1 \\ 0 \end{matrix}) & f_{2} = (\begin{matrix} 0 \\ 2 \\ 1 \end{matrix}) & f_{3} = (\begin{matrix} 2 \\ 2 \\ 3 \end{matrix}) \end{array}$

線形空間の基底は2つの条件を満たせばどんな定め方をしてもOKでした。

線形独立であること
線形結合で任意の元を表せること

内積空間の基底もこの2つを満たせばどんな定め方をしてもOKですが、さらに1つ条件を追加してみます。

内積空間の基底 $⟨ u_{1}, u_{2} \dots u_{n} ⟩$ が

$\begin{array}{cc} u_{i} \cdot u_{j} = δ_{i j} & (i, j = 1, 2, \dots n) \end{array}$

を満たす時、基底 $⟨ u_{1}, u_{2} \dots u_{n} ⟩$ を正規直交基底と言います。

$δ_{i j}$ はクロネッカーのデルタと呼ばれる数です。以下のように0か1かどちらかになります。

$δ_{i j} = {\begin{cases} 1 & (i = j) \\ 0 & (i \neq j) \end{cases}$

正規直交基底の意味

正規直交基底の条件がどういう意味か考えてみます。

$δ_{i j} = 1$ のパターンは

$u_{i} \cdot u_{i} = ‖ u_{i} ‖^{2} = 1$

となります。ノルムの性質より $‖ u_{i} ‖ ≧ 0$ なので

$‖ u_{i} ‖ = 1$

です。つまり、基底のノルムが1になるという条件を表しています。そして、ノルムを1にすることを「正規化する」といいます。

次に $δ_{i j} = 0$ のパターンについて、直交の性質より

$\begin{array}{ccc} u_{i} \cdot u_{j} = 0 & \Leftrightarrow & u_{i} ⊥ u_{j} \end{array}$

となります。つまり、異なる基底同士は直交しているという条件を表しています。

まとめると正規直交基底は

基底が正規化されている
異なる基底同士が直交する

この2つの条件を満たす内積空間の基底のことです。

正規直交基底の判定方法

冒頭の $⟨ e_{1}, e_{2}, e_{3} ⟩$ と $⟨ f_{1}, f_{2}, f_{3} ⟩$ が正規直交基底かどうか判定してみます。

お察しの通り $⟨ e_{1}, e_{2}, e_{3} ⟩$ は $R^{3}$ の正規直交基底です。

$\begin{array}{r} e_{1} \cdot e_{1} = e_{2} \cdot e_{2} = e_{3} \cdot e_{3} = 1 \\ e_{1} \cdot e_{2} = e_{2} \cdot e_{3} = e_{3} \cdot e_{1} = 0 \end{array}$

計算してみるとたしかに正規直交基底の条件を満たします。

見た目的にもノルムが1ですし、お互い直交してそうな感じがします。

次は $⟨ f_{1}, f_{2}, f_{3} ⟩$ を調べてみます。

$f_{1} \cdot f_{1} = 2$

この時点でアウトです。残念ながら $⟨ f_{1}, f_{2}, f_{3} ⟩$ は $R^{3}$ の正規直交基底ではありません。

でもこれで終わりではありません。内積空間はどんな意地悪な基底で作られていても、グラム・シュミットの正規直交化法という計算で正規直交基底に変換することができます。

グラム・シュミットの正規直交化法

グラム・シュミットの正規直交化法で意地悪なの基底が作っている内積空間を正規直交基底で表現することができます。

３次元内積空間 $R^{3}$ の基底として画像左側の $⟨ x^{'}, y^{'}, z^{'} ⟩$ と画像右側の $⟨ x, y, z ⟩$ があります。

どちらも基底としてはOKですが右側の $⟨ x, y, z ⟩$ の方が分かりやすいです。

グラム・シュミットの正規直交化法を使うと $⟨ x^{'}, y^{'}, z^{'} ⟩$ で与えられた内積空間の空間の形はそのままに、基底を $⟨ x, y, z ⟩$ に変換できます。

それでは具体的な計算方法を見ていきます。上の例で使った $⟨ f_{1}, f_{2}, f_{3} ⟩$ を正規直交基底 $⟨ u_{1}, u_{2}, u_{3} ⟩$ に変換します。

計算の流れは

他の変換済み基底 $u_{1}, u_{2} \dots u_{i - 1}$ と直交する $g_{i}$ をつくる
$g_{i}$ を正規化して $u_{i}$ をつくる

を $f_{1}, f_{2}, f_{3}$ の順にやっていきます。

$f_{1}$ を変換

まずは1つ目の基底 $f_{1}$ を正規直交基底 $u_{1}$ に変換します。 $f_{2}, f_{3}$ は無視します。

まずは他の変換済み基底と直交する $g_{1}$ を作る段階ですが、まだ他の変換済み基底がありません。なので

$g_{1} = f_{1}$

とします。

次に $g_{1}$ を正規化したものを $u_{1}$ とします。

$g_{1}$ と同じ方向の正規化されたベクトル $u_{1}$ は以下のように計算すると求まります。

$u_{1} = \frac{1}{‖ g_{1} ‖} g_{1}$

数値をいれて計算すると

$\begin{aligned} u_{1} & = \frac{1}{‖ g_{1} ‖} g_{1} \\ = \frac{1}{\sqrt{2}} (\begin{array}{c} 1 \\ 1 \\ 0 \end{array}) \end{aligned}$

となります。

$f_{2}$ を変換

次は2つ目の基底 $f_{2}$ を正規直交基底 $u_{2}$ に変換します。 $f_{3}$ は無視します。

まずは他の変換済み基底 $u_{1}$ と直交する $g_{2}$ を作る段階です。画像のように $g_{2}$ を作ります。

画像より $g_{2}$ は

$g_{2} = f_{2} - a u_{1}$

となります。

ここで画像の長さ $a$ は

$\begin{aligned} a & = ‖ f_{2} ‖ \cos α \\ = ‖ u_{1} ‖ ‖ f_{2} ‖ \cos α \\ = u_{1} \cdot f_{2} \end{aligned}$

です。2行目で $‖ u_{1} ‖$ がいきなり出現していますが、 $‖ u_{1} ‖ = 1$ なので勝手にかけ算してもOKという発想です。

数値をいれて計算すると

$\begin{aligned} a & = u_{1} \cdot f_{2} \\ = \frac{1}{\sqrt{2}} (\begin{array}{c} 1 \\ 1 \\ 0 \end{array}) \cdot (\begin{array}{c} 0 \\ 2 \\ 1 \end{array}) \\ = \sqrt{2} \end{aligned}$

$\begin{aligned} g_{2} & = f_{2} - a u_{1} \\ = (\begin{array}{c} 0 \\ 2 \\ 1 \end{array}) - \frac{\sqrt{2}}{\sqrt{2}} (\begin{array}{c} 1 \\ 1 \\ 0 \end{array}) \\ = (\begin{array}{c} - 1 \\ 1 \\ 1 \end{array}) \end{aligned}$

です。

$g_{2}$ と同じ方向の正規化されたベクトル $u_{2}$ は

$\begin{aligned} u_{2} & = \frac{1}{‖ g_{2} ‖} g_{2} \\ = \frac{1}{\sqrt{3}} (\begin{array}{c} - 1 \\ 1 \\ 1 \end{array}) \end{aligned}$

と求まります。

$f_{3}$ を変換

最後3つ目の基底 $f_{3}$ を正規直交基底 $u_{3}$ に変換します。

まずは他の変換済み基底 $u_{1}, u_{2}$ と直交する $g_{3}$ を作る段階です。画像のように $g_{3}$ を作ります。

画像より $g_{3}$ は

$g_{3} = f_{3} - b u_{1} - c u_{2}$

となります。

ここで画像の長さ $b, c$ は $a$ を求めたときと同様に

$\begin{aligned} b & = u_{1} \cdot f_{3} \\ c & = u_{2} \cdot f_{3} \end{aligned}$

です。

数値をいれて計算すると

$\begin{aligned} b & = u_{1} \cdot f_{3} \\ = \frac{1}{\sqrt{2}} (\begin{array}{c} 1 \\ 1 \\ 0 \end{array}) \cdot (\begin{array}{c} 2 \\ 2 \\ 3 \end{array}) \\ = 2 \sqrt{2} \end{aligned}$

$\begin{aligned} c & = u_{2} \cdot f_{3} \\ = \frac{1}{\sqrt{3}} (\begin{array}{c} - 1 \\ 1 \\ 1 \end{array}) \cdot (\begin{array}{c} 2 \\ 2 \\ 3 \end{array}) \\ = \sqrt{3} \end{aligned}$

$\begin{aligned} g_{3} & = f_{3} - b u_{1} - c u_{2} \\ = (\begin{array}{c} 2 \\ 2 \\ 3 \end{array}) - \frac{2 \sqrt{2}}{\sqrt{2}} (\begin{array}{c} 1 \\ 1 \\ 0 \end{array}) - \frac{\sqrt{3}}{\sqrt{3}} (\begin{array}{c} - 1 \\ 1 \\ 1 \end{array}) \\ = (\begin{array}{c} 1 \\ - 1 \\ 2 \end{array}) \end{aligned}$

です。

$g_{3}$ と同じ方向の正規化されたベクトル $u_{3}$ は

$\begin{aligned} u_{3} & = \frac{1}{‖ g_{3} ‖} g_{3} \\ = \frac{1}{\sqrt{6}} (\begin{array}{c} 1 \\ - 1 \\ 2 \end{array}) \end{aligned}$

と求まります。

これで $u_{1}, u_{2}, u_{3}$ が求まりました。

$\begin{array}{ccc} u_{1} = \frac{1}{\sqrt{2}} (\begin{matrix} 1 \\ 1 \\ 0 \end{matrix}) & u_{2} = \frac{1}{\sqrt{3}} (\begin{matrix} - 1 \\ 1 \\ 1 \end{matrix}) & u_{3} = \frac{1}{\sqrt{6}} (\begin{matrix} 1 \\ - 1 \\ 2 \end{matrix}) \end{array}$

実際に正規直交基底の条件を計算してみると

$\begin{array}{r} u_{1} \cdot u_{1} = u_{2} \cdot u_{2} = u_{3} \cdot u_{3} = 1 \\ u_{1} \cdot u_{2} = u_{2} \cdot u_{3} = u_{3} \cdot u_{1} = 0 \end{array}$

を満たしています。 $⟨ f_{1}, f_{2}, f_{3} ⟩$ が基底の内積空間 $R^{3}$ から正規直交基底 $⟨ u_{1}, u_{2}, u_{3} ⟩$ の $R^{3}$ に変換できました。

まとめ

正規直交基底は以下2つの条件を満たす内積空間の基底のことです。

基底が正規化されている
異なる基底同士が直交する

内積空間の基底はグラム・シュミットの正規直交化法で正規直交基底に変換できます。

固有値と固有ベクトルの計算方法

固有値と固有ベクトルの計算方法を勉強します。行列の重要な値なので必ず計算できるようになっておきましょう。

内積空間と直交補空間の性質

内積空間と直交補空間の性質を勉強します。線形空間に演算を定義を追加します。

正規直交基底の性質と計算方法

正規直交基底の条件1つ

正規直交基底の意味

正規直交基底の判定方法

グラム・シュミットの正規直交化法

$f_{1}$ を変換

$f_{2}$ を変換

$f_{3}$ を変換

まとめ

次のページ

前のページ

目次

コメント欄

正規直交基底の条件1つ

正規直交基底の意味

正規直交基底の判定方法

グラム・シュミットの正規直交化法

f1を変換

f2を変換

f3を変換

まとめ

次のページ

前のページ

目次

コメント欄

$f_{1}$ を変換

$f_{2}$ を変換

$f_{3}$ を変換