【線形空間編】正規直交基底と直交行列

こんにちは、おぐえもん(@oguemon_com)です。

前回の記事では、線形空間における内積・ベクトルの大きさなどが今までの概念と大きく異なる話をしました。

今回は、「正規直交基底」と呼ばれる特別な基底を取り上げ、どんなものなのか、そしてどうやって作るのかなどについて解説します！

正規直交基底

正規直交系と正規直交基底

線形空間$V$の中にある$r$個のベクトル$\boldsymbol{a_1}$〜$\boldsymbol{a_r}$が、それぞれ長さ 1 で、かつどのような異なる 2 ベクトルを選んでもその内積がゼロになる（つまり直交する）とき、これらのベクトルを正規直交系といいます。

ちなみに、これを数式を用いて表現するとこんな感じ。

ここで、$\delta_{ij}$は、クロネッカーのデルタと呼ばれるもので、$i=j$ならば「1」を、$i \neq j$ならば「0」を取ります（まさに単位行列の$i$行$j$列成分です）。上の式は、同じベクトルの内積ならば、「1」を返し（長さが 1）、異なるベクトルの内積ならば「0」を返す（直交する）というウマい構造になっています。

さて、次に「正規直交基底」とは何かって話ですが、これは簡単で、「正規直交系」かつ「基底」であるベクトルの組のことです。読んで字のごとくって感じですね。

正規直交基底の作り方

さて、そんな正規直交基底ですが、内積が定義されている線形空間（計量線形空間）ならば、絶対に正規直交基底を作ることができます。なぜそんなことが言えるのかと言うと、計量線形空間の基底を使って正規直交基底を作る方法が存在するからなんですね。そんな夢の方法の 1 つがグラム・シュミットの正規直交化法と呼ばれるものです。

$\boldsymbol{x_1}$〜$\boldsymbol{x_n}$のどれかが零ベクトルになる（つまり長さで割れない）ことってないの？って疑問に思う人がいるかもしれません。Step1 の式を見ればわかる通り、ベクトル$\boldsymbol{x_1}$〜$\boldsymbol{x_n}$を生み出す式は、結局のところベクトル$\boldsymbol{a_1}$〜$\boldsymbol{a_n}$の 1 次結合の形に過ぎません。$\boldsymbol{a_1}$〜$\boldsymbol{a_n}$は基底であり 1 次独立である前提があります。$\boldsymbol{x_i}$が零ベクトルになるということは、$\boldsymbol{a_1}$〜$\boldsymbol{a_n}$の 1 次独立と矛盾するためあり得ません。

正規直交基底の成分と「自然な内積」

正規直交基底の1次結合で内積を取るとスッキリ

正規直交基底を用いた成分表示について考えます。次元$n$の計量線形空間$V$について、ある正規直交基底に基づいて、2 つのベクトル$\boldsymbol{a}$と$\boldsymbol{b}$を次の通り成分表記するとします。

$$\begin{aligned} \boldsymbol{a}&=(a_1,a_2,...,a_n) \\ \boldsymbol{b}&=(b_1,b_2,...,b_n) \end{aligned}$$

このとき、両者の内積$(\boldsymbol{a},\boldsymbol{b})$は次式のようになります。

実際に内積を計算すると、基底をなすベクトル同士の内積がたくさん出てきてカオスな式となります。しかし、正規直交基底では異なるベクトルの内積が 0 に、同じベクトルの内積（つまり長さの 2 乗）が 1 になるので、最終的に上のようなスッキリとした形に落ち着くのです。

計量線形空間は「自然な内積」に通じる

さて、この内積の形、どこかで見たことがあると思います。そう、前の記事で扱った、$n$個の実数を並べて作る「$n$次元数線形空間$R^n$」における「自然な内積」と同じですよね。

実は、どんな$n$次元の線形空間であっても、内積さえ定義されていれば、正規直交基底を取ってこれの成分表記で捉えることで、実質的に「$n$次元数線形空間$R^n$」と同じものとして扱うことができるんです！全ての計量線形空間は、$R^n$に帰着するんですね。

正規直交基底を変換する

以前の記事で述べた通り、線形空間の基底は、「変換の行列」というものを用いた演算を通じて、異なる基底を生み出すことができます。

ここでは、正規直交基底から別の正規直交基底に変換するときに使う変換の行列の性質について考えます。

まず、線形空間$V$の次元は$n$で、2 つのベクトルの組「$\boldsymbol{a_1}$〜$\boldsymbol{a_n}$」と「$\boldsymbol{b_1}$〜$\boldsymbol{b_n}$」は共に$V$の正規直交基底とします。

変換の行列を$P=[p_{ij}]$として$\boldsymbol{a_1}$〜$\boldsymbol{a_n}$から$\boldsymbol{b_1}$〜$\boldsymbol{b_n}$を生み出せるとします。つまり、前の記事みたく、次式の関係があります。

$$\begin{aligned} \boldsymbol{b_j} &=p_{1j}\boldsymbol{a_1}+p_{2j}\boldsymbol{a_2}+...+p_{nj}\boldsymbol{a_n}\\ &=\sum_{k=1}^{n}p_{kj}\boldsymbol{a_k} \end{aligned}$$

さて、行列$P$はどんな行列なんでしょうか。

$\boldsymbol{a_1}$〜$\boldsymbol{a_n}$が正規直交基底であることを利用すると、次のような式を導き出せます。

$$\begin{aligned} (\boldsymbol{b_i},\boldsymbol{b_j}) &=(\sum_{k=1}^{n}p_{ki}\boldsymbol{a_k},\sum_{l=1}^{n}p_{lj}\boldsymbol{a_l}) \\ &=\sum_{k=1}^{n}\sum_{l=1}^{n}p_{ki}p_{lj}(\boldsymbol{a_k},\boldsymbol{a_l}) \\ &=\sum_{k=1}^{n}p_{ki}p_{kj} \end{aligned}$$

1 段目から 2 段目の変形は、内積がもつ分配法則の性質に基づいて愚直に展開しただけです。そして、$\boldsymbol{a_1}$〜$\boldsymbol{a_n}$が正規直交基底であることを利用して、2 段目の中から異なるベクトルの内積を 0 として消し去り、同じベクトルの内積を 1 として成分のみを残した結果、3 段目の式が得られます。

ところで、3 段目の式って、ある 2 行列の積の成分を表してそうじゃないですか？

実際、$P$の転置行列$^{t}P$の成分を$p'_{ij}(=p_{ji})$とすると、当たり前な話

$$\sum_{k=1}^{n}p_{ki}p_{kj}=\sum_{k=1}^{n}p'_{ik}p_{kj}$$

が成立します。これの右辺って積$^{t}PP$の$i$行$j$列成分そのものですよね？

さて、正規直交基底の定義から、基底$\boldsymbol{b_1}$〜$\boldsymbol{b_n}$が正規直交系であること（つまり正規直交基底である）と、次の式の成立は同値でした。

$$(\boldsymbol{b_i},\boldsymbol{b_j})=\delta_{ij}$$

つまり、これらから次の等式が成り立ちます。

$$\sum_{k=1}^{n}p'_{ik}p_{kj}=\delta_{ij}$$

クロネッカーのデルタ$\delta_{ij}$は単位行列$i$行$j$列成分に相当すると言いました。つまり、この式は積$^{t}PP$が単位行列に等しいことを表しているのです。

以上をまとめると次のようになります。

ちなみに、$^{t}PP=E$を満たす行列$P$のことを直交行列と呼びます。さらに、直交行列$P$の中でも、その行列式$|P|$が 1 であるようなもののことを特に回転行列と呼びます。

おわり

今回は、正規直交基底の定義やその作り方、そして正規直交基底から別の正規直交基底に変換するときの変換の行列の性質について学習しました。

次回は、グラム・シュミットの正規直交化法についてもう少し解説して見たいと思います。