Title here
Summary here
正規直交基底（2）
正規直交基底が与えられているとき、計量ベクトル空間の内積は、正規直交基底に関する座標ベクトルの標準的内積に一致します。
このことと 前項の定理と合わせて考えると、任意のベクトル空間において、与えられた基底が正規直交基底となるような内積が一意に存在することが導かれます。
正規直交基底の基本的性質
定理 7.10（正規直交基底による内積）
$V$ を $K$ 上のベクトル空間として、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ を $V$ の正規直交基底とする。任意の $\bm{v}, \bm{w} \in V$ に対して $\bm{v}_{1}, \cdots, \bm{v}_{n}$ に関する座標ベクトルを、それぞれ
$$
\begin{gather*}
\bm{x} = \begin{pmatrix}
\, x_{1} \, \\ \vdots \\ \, x_{n} \,
\end{pmatrix}, &
\bm{y} = \begin{pmatrix}
\, y_{1} \, \\ \vdots \\ \, y_{n} \,
\end{pmatrix}
\end{gather*}
$$
とすると、$V$ の内積は、次の式により表せる。
$$
\begin{align*}
\bm{v} \cdot \bm{w}
&= \bm{x} \cdot \bm{y} \\
% &= \displaystyle \sum_{i} \, \bm{x}_{i} \, \overline{\bm{y}_{i} \vphantom{i}}
\end{align*} \tag{7.2.4}
$$
解説
正規直交基底による内積
定理 7.10（正規直交基底による内積）は、正規直交基底が与えられているとき、計量ベクトル空間の内積が、正規直交基底に関する座標ベクトルの 標準的内積に等しいことを示しています。
定理 7.9（正規直交基底の存在）の逆
定理 7.10（正規直交基底による内積）は、 前項の 定理 7.9（正規直交基底の存在）の逆に相当します。
定理 7.9（正規直交基底の存在）では、計量ベクトル空間 $V$ において、 （7.2.4）式により内積を定義することで、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ が正規直交基底であることが導かれました。これに対して、 定理 7.10（正規直交基底による内積）では、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ が正規直交基底であるとき、$V$ の内積が （7.2.4）式により与えられることを示しています。
正規直交基底による内積の一意性
したがって、 定理 7.9（正規直交基底の存在）と 定理 7.10（正規直交基底による内積）を合わせて考えると、任意のベクトル空間において、与えられた基底が正規直交基底となるような内積が一意に存在する、ということがわかります。
証明
$\bm{x}, \bm{y} \in K^{n}$ は、$V$ の基底 $\bm{v}_{1}, \cdots, \bm{v}_{n}$ に関する、$\bm{v}, \bm{w} \in V$ の座標ベクトルである。したがって、$\bm{v}, \bm{w}$ は $\bm{v}_{1}, \cdots, \bm{v}_{n}$ の線型結合として、一意に表すことができる。
$$
\begin{align*}
\bm{v} &= x_{1} \bm{v}_{1} + \cdots + x_{n} \bm{v}_{n} \\
\bm{w} &= y_{1} \bm{v}_{1} + \cdots + y_{n} \bm{v}_{n} \\
\end{align*}
$$
いま、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ は正規直交系であるから、$1 \leqslant i, j \leqslant n$ について次が成り立つ。
$$
\begin{gather*}
\bm{v}_{i} \cdot \bm{v}_{j}
= \left\{ \begin{array} {cc}
1 & (\, i = j \,) \\
0 & (\, i \neq j \,) \\
\end{array} \right.
\end{gather*}
$$
したがって、任意の $\bm{v}, \bm{w} \in V$ について、その内積は次のように表せる。
$$
\begin{align*}
\bm{v} \cdot \bm{w}
&= (\, x_{1} \bm{v}_{1} + \cdots + x_{n} \bm{v}_{n} \,) \cdot (\, y_{1} \bm{v}_{1} + \cdots + y_{n} \bm{v}_{n} \,) \\
&= x_{1} \overline{\bm{y}_{1} \vphantom{i}} + \cdots + x_{n} \overline{\bm{y}_{n} \vphantom{i}} \\
&= \displaystyle \sum_{i} \, \bm{x}_{i} \, \overline{\bm{y}_{i} \vphantom{i}} \tag*{$\square$}
\end{align*}
$$
証明の考え方
（$1$）$V$ のベクトルとその座標ベクトルの対応関係を整理し、（$2$） 内積の定義と 正規直交系の性質を踏まえて $\bm{v} \cdot \bm{w}$ を計算することで、$V$ の内積が標準的内積に一致することが確かめられます。
（1）ベクトルと座標ベクトルの対応関係
$\bm{x}, \bm{y} \in K^{n}$ は、$V$ の基底 $\bm{v}_{1}, \cdots, \bm{v}_{n}$ に関する、$\bm{v}, \bm{w} \in V$ の座標ベクトルです。
したがって、$\bm{v}, \bm{w}$ は、$V$ の基底 $\bm{v}_{1}, \cdots, \bm{v}_{n}$ の線型結合として、次のように表すことができます。 定理 4.28（基底であることと同値な条件）より、この表し方は一意的です。
$$ \begin{align*} \begin{split} \bm{v} &= x_{1} \bm{v}_{1} + \cdots + x_{n} \bm{v}_{n} \\ \bm{w} &= y_{1} \bm{v}_{1} + \cdots + y_{n} \bm{v}_{n} \\ \end{split} \tag{$\ast$} \end{align*} $$いま、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ は 正規直交系であるから、$1 \leqslant i, j \leqslant n$ について、次が成り立ちます。
$$ \begin{gather*} \bm{v}_{i} \cdot \bm{v}_{j} = \left\{ \begin{array} {cc} 1 & (\, i = j \,) \\ 0 & (\, i \neq j \,) \\ \end{array} \right. \tag{$\ast \ast$} \end{gather*} $$- すなわち、 正規直交系において、どの $2$ つのベクトルも直交し、どのベクトルのノルムも $1$ に等しくなります。
（2）$V$ の内積の計算
定義にしたがって、$\bm{v}$ と $\bm{w}$ の内積を計算すると、次のようになります。
$$ \begin{align*} \bm{v} \cdot \bm{w} &\overset{(\text{i})}{=} (\, x_{1} \bm{v}_{1} + \cdots + x_{n} \bm{v}_{n} \,) \cdot (\, y_{1} \bm{v}_{1} + \cdots + y_{n} \bm{v}_{n} \,) \\ &\overset{(\text{ii})}{=} x_{1} \overline{\bm{y}_{1} \vphantom{i}} + \cdots + x_{n} \overline{\bm{y}_{n} \vphantom{i}} \\ &\overset{(\text{iii})}{=} \displaystyle \sum_{i} \, \bm{x}_{i} \, \overline{\bm{y}_{i} \vphantom{i}} \end{align*} $$- （$\text{i}$） （$\ast$）式より、$\bm{v}, \bm{w}$ は $\bm{v}_{1}, \cdots, \bm{v}_{n}$ の線型結合として一意に表せます。
- （$\text{ii}$）
内積の定義によります。
- 内積の 共役線型性と 分配法則により、括弧を外して展開できます。
- しかしながら、 （$\ast \ast$）式より、異なる基底どうしの内積は $0$ に等しくなり、結局、同じ基底どうしの内積が残ります。
- （$\text{iii}$）和の記号を用いて表し直します。
以上から、任意の $2$ つの元 $\bm{v}, \bm{w} \in V$ の内積は、その座標ベクトル $\bm{x}, \bm{y} \in K^{n}$ の標準的内積に等しいことが示されました。
まとめ
- $V$ を $K$ 上のベクトル空間とする。任意の $\bm{v}, \bm{w} \in V$ に対して、$V$ の正規直交基底 $\bm{v}_{1}, \cdots, \bm{v}_{n}$ に関する座標ベクトルを $\bm{x}, \bm{y} \in K^{n}$ とすると、$V$ の内積は $\bm{v} \cdot \bm{w} = \bm{x} \cdot \bm{y}$ と表せる。
- 前項の 定理 7.9（正規直交基底の存在）と 定理 7.10（正規直交基底による内積）より、任意のベクトル空間において、与えられた基底が正規直交基底となるような内積が一意に存在する、といえる。
参考文献
[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.
初版：2023-11-09 | 改訂：2025-03-08