1 基本概念
グラム・シュミットの直交化法は、一次独立なベクトルの組から、同じ線形空間を張る直交ベクトルの組を作る手法である。さらに各ベクトルの長さを1にそろえると、正規直交基底が得られる。線形代数では、基底の整理や計算の安定化に役立つ基本的な操作として扱われる。
1.1 直交化と正規直交化
直交化は、互いに直交するようにベクトルを作り直す過程を指す。これに対し、正規直交化は直交性に加えて各ベクトルを単位長に調整する操作である。前者は空間の構造を見やすくし、後者は内積計算を簡潔にする。
1.2 一次独立性と基底
一次独立なベクトルの組は、不要な重複を含まず、空間の各方向を区別できる。基底は、その空間のすべての要素を表せる最小限の生成系である。グラム・シュミット法は、与えられた一次独立な組を、同じ張る空間を保ったまま、扱いやすい基底へ変換する。
1.3 内積空間における位置づけ
この方法は、内積が定義された空間で自然に働く。ユークリッド空間だけでなく、関数空間などでも内積が与えられれば適用できる。距離や角度の概念と結びつくため、幾何学的な意味が明確である。
2 グラム・シュミットの直交化法の手順
方法の核心は、各ベクトルから、それ以前に得られた直交ベクトルへの重なりを順に取り除く点にある。残った成分は、先行するベクトルすべてに直交するように設計される。これを繰り返すことで、直交系が構成される。
2.1 直交ベクトルの構成
最初のベクトルをそのまま用い、次のベクトルからは既に得たベクトル群への射影を差し引く。こうして得られる新しいベクトルは、以前のものと直交する。以後も同じ考え方を順番に適用する。
2.1.1 射影の考え方
射影は、あるベクトルが別のベクトル方向にどれだけ含まれているかを表す。内積を用いると、その量を定量的に求められる。グラム・シュミット法では、この成分を取り除くことが直交化の中心となる。
2.1.2 成分の差し引き
新しいベクトルから、既知の直交ベクトル方向の成分を引き去ると、残りはそれらと直交する。差し引く対象が増えても、手順は同じである。これにより、元の情報を保ちながら、相互干渉の少ない組へ変換できる。
2.2 正規化
直交ベクトルの長さを各々1に整える操作が正規化である。内積を自分自身に取って長さを求め、その値で割ることで実現する。正規化後のベクトル群は、正規直交系と呼ばれる。
2.3 計算手順の例
たとえば、二つの一次独立なベクトルがあるとする。まず一方を基準ベクトルとし、他方からその方向への射影を引くと、残りは直交する。必要ならそれぞれを単位長にそろえることで、正規直交基底が完成する。
3 性質と理論的背景
この方法の重要な性質は、元の張る空間を変えずに、より整った表現へ移せる点にある。理論的には、内積空間の構造と深く結びつき、幾何と代数の両面から理解できる。
3.1 生成される空間の保存
各段階で射影成分だけを除くため、残されたベクトル群は元のベクトル群と同じ空間を生成する。つまり、表現可能な範囲は変わらない。違いは、基底が互いに直交しているかどうかにある。
3.2 直交性の証明
新しいベクトルは、先行するすべてのベクトル方向の寄与を打ち消すように作られる。そのため、内積を取ると0になる。帰納的に見れば、各段階で直交条件が保たれることが確認できる。
3.3 正規直交基底の存在
有限次元の内積空間では、一次独立な集合から正規直交基底を構成できる。これは、任意の基底を整然とした形に変えられることを意味する。したがって、正規直交基底は抽象空間でも非常に基本的な道具である。
3.4 順序依存性
結果として得られる直交ベクトルは、入力の順番に影響される。先に置かれたベクトルが後続の調整に作用するため、異なる順序では別の直交系になることがある。もっとも、どの場合も張る空間自体は一致する。
4 応用
グラム・シュミット法は、理論的な存在証明だけでなく、計算の基盤として広く使われる。特に、近似、分解、数値解法において、直交性が持つ利点が生きる。
4.1 数値線形代数
数値線形代数では、行列やベクトルの扱いを安定かつ効率的にするために、この手法が利用される。直交系は条件の読み取りがしやすく、誤差の解析にも向く。多くのアルゴリズムの前処理としても重要である。
4.1.1 行列分解
列ベクトルにグラム・シュミット法を適用すると、行列を直交成分と上三角成分に分ける分解に結びつく。これは線形方程式の解析や固有値計算の前段として有用である。直交行列を含む分解は、数値計算で扱いやすい。
4.1.2 最小二乗法
観測値に完全には一致しない近似を求める場面では、最小二乗法が使われる。ここでは、誤差を直交成分として分離できると扱いが容易になる。グラム・シュミット法は、近似空間を整えるための基礎として機能する。
4.2 多項式近似
多項式の族を直交化すると、近似や補間の計算が簡潔になる。たとえば、異なる次数の成分が互いに干渉しにくくなるため、係数の解釈が明瞭になる。これは、実用的な近似式の構成に役立つ。
4.3 関数空間での利用
関数にも内積を定めれば、ベクトルと同様に直交化できる。三角関数系や多項式系の整理、級数展開の準備などに応用される。無限次元の文脈でも、直交系は解析を見通しよくする。
4.4 物理学・工学への応用
物理学では、状態やモードを独立な成分に分ける際に有用である。工学では、信号処理や制御、構造解析などで、互いに重ならない基底を作る目的に用いられる。いずれも、成分分離と計算の簡略化が主な利点である。
5 計算上の注意
理論上は明快でも、実装では丸め誤差の影響を受ける。特に高次元やほぼ一次従属なデータでは、結果の精度に注意が必要である。数値計算では、理想的な式と実際の挙動が一致しないことがある。
5.1 丸め誤差
浮動小数点演算では、無限精度の計算は行えない。小さな誤差が積み重なると、直交性がわずかに崩れる場合がある。したがって、結果の評価には許容誤差の設定が重要となる。
5.2 数値的不安定性
入力ベクトルがほぼ同じ方向を向いていると、差し引きの過程で有効桁が失われやすい。これにより、理論上は直交であるはずのベクトルが、計算上は十分に直交しないことがある。長い列を扱うほど、この問題は目立ちやすい。
5.3 修正グラム・シュミット法
修正された手順では、誤差の蓄積を抑えるように射影の処理順を工夫する。これにより、通常の方法よりも安定した結果が得られやすい。実務では、こちらが好まれることが多い。
6 関連項目
6.1 直交射影
直交射影は、あるベクトルを指定した部分空間へ最も近い形で写す操作である。グラム・シュミット法の各段階は、この概念を繰り返し用いている。
6.2 正規直交基底
正規直交基底は、互いに直交し、かつ各ベクトルの長さが1である基底である。内積計算や座標表示を簡潔にするため、多くの分野で重視される。
6.3 ヤコビ法
ヤコビ法は、固有値や連立方程式の解法に関わる反復的な数値手法である。直交変換を利用する点で、グラム・シュミット法と近い数値代数の文脈に位置づけられる。