シュミットの正規直交化法

シュミット（$\text{Schmidt}$）の正規直交化法により、線型独立なベクトルの組から正規直交系を作る手順を示します。

また、具体的に与えられた計量ベクトル空間における、シュミットの正規直交化法の適用例を示します。

シュミットの正規直交化法#

まず、シュミット（$\text{Schmidt}$）の正規直交化法の手順について整理します。

正規直交化の手順#

$V$ を計量ベクトル空間とすると、線型独立なベクトルの組 $\bm{v}_{1}, \cdots, \bm{v}_{r} \in V$ に対して、次の手順を施すことで、正規直交系 $\bm{u}_{1}, \cdots, \bm{u}_{r}$ が得られる。

解説#

ベクトルの直交化と正規化#

手順（$2$）では、手順（$1$）で選んだベクトル $\bm{v}_{i}$ に対して、次の操作を行います。

$\,$（$\text{i}$）直交化（$\text{orthogonalize}$）
（$\text{ii}$）正規化（$\text{normalize}$）

（$\text{i}$）ベクトルの直交化#

ベクトルの直交化とは、対象のベクトル $\bm{v}_{i}$ から、$\bm{u}_{1}, \cdots, \bm{u}_{i-1}$ と直交するようなベクトル $\bm{v}^{\prime}_{i}$ を作る操作です。

この操作により、$(i-1)$ 個のベクトルからなる正規直交系 $\bm{u}_{1}, \cdots, \bm{u}_{i-1}$ に $\bm{v}^{\prime}_{i}$ を加えた、$i$ 個のベクトルからなる直交系（$\bm{u}_{1}, \cdots, \bm{u}_{i-1}, \bm{v}^{\prime}_{i}$）が得られます。

（$\text{ii}$）ベクトルの正規化#

ベクトルの正規化とは、対象のベクトルのノルムが $1$ となるようにする操作です。

いま、$\bm{v}^{\prime}_{i}$ を正規化したベクトルを $\bm{u}_{i}$ とすると、この操作により、$i$ 個のベクトルからなる正規直交系 $\bm{u}_{1}, \cdots, \bm{u}_{i}$ が得られます。

正規直交化されたベクトル#

もとのベクトル $\bm{v}_{i}$ を（$\text{i}$）直交化（$\text{orthogonalize}$）した $\bm{v}^{\prime}_{i}$ と（$\text{ii}$）正規化（$\text{normalize}$）した $\bm{u}_{i}$ は、それぞれ次のようになります。

シュミットの正規直交化法の根拠#

シュミットの正規直交化法は、定理 7.11（正規直交化）および定理 7.12（正規直交基底の構築）により根拠づけられています。

すなわち、定理 7.11（正規直交化）より、線型独立な $\bm{v}_{1}, \cdots, \bm{v}_{r}$ に対して、順番に（$\text{i}$）直交化（$\text{orthogonalize}$）と（$\text{ii}$）正規化（$\text{normalize}$）の操作を繰り返すことで、正規直交系 $\bm{u}_{1}, \cdots, \bm{u}_{r}$ が得られるといえます。

また、定理 7.12（正規直交基底の構築）より、特に、計量ベクトル空間の基底に対してシュミットの正規直交化法を適用することで、任意の計量ベクトル空間に正規直交基底が存在するといえます。

シュミットの正規直交化法（例）#

次に、シュミットの正規直交化法の適用例を示します。

例題（シュミットの正規直交化法）#

$V$ を $\mathbb{R}$ 上の計量ベクトル空間とする。次の $\bm{v}_{1}, \bm{v}_{2}, \bm{v}_{3} \in V$ を正規直交化せよ。

解答#

まず、$\bm{v}^{\prime}_{1} = \bm{v}_{1}$ とすると、$\lVert \, \bm{v}^{\prime}_{1} \, \rVert = \sqrt{\, 1^{2} + 1^{2} + 1^{2} \vphantom{} \,} = \sqrt{\, 3 \,}$ であるから、

次に、$\bm{v}^{\prime}_{2} = \bm{v}_{2} - (\bm{v}_{2} \cdot \bm{u}_{1}) \, \bm{u}_{1}$ とすると、$\bm{v}_{2} \cdot \bm{u}_{1} = \displaystyle \frac{\, 2 \,}{\, \sqrt{\, 3 \,} \,}$ であるから、

また、$\lVert \, \bm{v}^{\prime}_{2} \, \rVert = \displaystyle \frac{\, \sqrt{\, 6 \,} \,}{\, 3 \,}$ であるから、

最後に、$\bm{v}^{\prime}_{3} = \bm{v}_{3} - (\bm{v}_{3} \cdot \bm{u}_{1}) \, \bm{u}_{1} - (\bm{v}_{3} \cdot \bm{u}_{2}) \, \bm{u}_{2}$ とすると、$\bm{v}_{3} \cdot \bm{u}_{1} = \displaystyle \frac{\, 1 \,}{\, \sqrt{\, 3 \,} \,} \cdot 3 = \sqrt{\, 3 \,}$ 、$\bm{v}_{3} \cdot \bm{u}_{2} = - \displaystyle \frac{\, 3 \,}{\, \sqrt{\, 6 \,} \,}$ であるから、

また、$\lVert \, \bm{v}^{\prime}_{3} \, \rVert = \displaystyle \frac{\, \sqrt{\, 2 \,} \,}{\, 2 \,}$ であるから、

以上から、次のような正規直交系 $\bm{u}_{1}, \bm{u}_{2}, \bm{u}_{3}$ が得られる。

解答の考え方#

上記の正規直交化の手順にしたがって、$\bm{v}_{1}, \bm{v}_{2}, \bm{v}_{3}$ に対して、順番に（$1$）直交化（$2$）正規化の操作を行うことで、正規直交系 $\bm{u}_{1}, \cdots, \bm{u}_{r}$ が得られます。

ここでは、$\bm{v}_{1}, \bm{v}_{2}, \bm{v}_{3}$ の順に正規直交化の操作を行いましたが、操作の対象とするベクトルを選ぶ順序は任意です。例えば、$\bm{v}_{3}, \bm{v}_{2}, \bm{v}_{1}$ のような順に正規直交化の操作を行っても正規直交系が得られます。ただし、操作対象のベクトルの順序により、最終的に得られる正規直交系は異なる場合があります。

すなわち、与えられたベクトルに対して、シュミットの正規直交化法により得られる正規直交系は、必ずしも一意に定まらないということです。

まとめ#

• $V$ を計量ベクトル空間とすると、線型独立なベクトルの組 $\bm{v}_{1}, \cdots, \bm{v}_{r} \in V$ に対して、次の手順を施すことで、正規直交系 $\bm{u}_{1}, \cdots, \bm{u}_{r}$ が得られる。

  （$1$）$\bm{v}_{1}, \cdots, \bm{v}_{r}$ から $1$ つのベクトル $\bm{v}_{i}$ を選ぶ。
  （$2$）$\bm{v}_{i}$ に対して、（$\text{i}$）直交化および（$\text{ii}$）正規化の操作を行い、$\bm{u}_{i}$ を得る。
  （$3$）この操作を $1 \sim r$ まで繰り返し、$\bm{u}_{1}, \cdots, \bm{u}_{r}$ を得る。
  • 直交化とは、対象のベクトル $\bm{v}_{i}$ から、$\bm{u}_{1}, \cdots, \bm{u}_{i-1}$ と直交するようなベクトル $\bm{v}^{\prime}_{i}$ を作る操作。
  • 正規化とは、対象のベクトルのノルムが $1$ となるようにする操作。
  • 与えられたベクトルに対して、シュミットの正規直交化法により得られる正規直交系は、必ずしも一意に定まらない。

参考文献#