基底の変換（1）

ベクトル空間の基底は正則行列によって関係付けられます。すなわち、（$\text{i}$）基底の線型結合で表されるベクトルが基底であることと（$\text{ii}$）線型結合を表す行列が正則であることは同値です。

この定理は、基底の間の関係を線型結合の行列表記を用いて表現したものであり、基底の変換を定式化するために必要な準備でもあります。

基底の間の関係と正則行列#

定理 4.48（基底の間の関係）#

$V$ をベクトル空間、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ を $V$ の基底とする。$n$ 個のベクトル $\bm{w}_{1}, \cdots, \bm{w}_{n} \in V$ が $V$ の基底であるためには、次の式を満たす行列 $A$ が正則であることが必要にして十分である。

解説#

基底の間の関係#

基底であることと同値な条件#

定理 4.48（基底の間の関係）は、線型結合の行列表記を用いて（$\text{i}$）基底の線型結合で表されるベクトルの組が基底であることと（$\text{ii}$）線型結合を表す行列が正則であることが同値であることを表しています。

具体的には、ベクトル空間 $V$ の基底 $\bm{v}_{1}, \cdots, \bm{v}_{n}$ の線型結合として表されるベクトルの組（$\text{i}$）$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底であることと（$\text{ii}$）（4.6.3）式の行列 $A$ が正則であることは同値です。

また、端的に、「基底の線型結合の行列表示が正則であることは、線型結合で表されるベクトルが基底であるための必要十分条件である」ともいえます。

基底の間の関係は正則行列により表せる#

このように考えると、定理 4.48（基底の間の関係）は、ベクトル空間の $2$ つの基底の間の関係が正則行列により表せることを示していると捉えられます。

すなわち、定理 4.48の条件（$\text{i}$）$\Rightarrow$（$\text{ii}$）は、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ と $\bm{w}_{1}, \cdots, \bm{w}_{n}$ という $2$ つのベクトルの組がともに $V$ の基底であれば、$2$ つの基底の間の関係を表す正則行列が存在することを示している一方で、条件（$\text{ii}$）$\Rightarrow$（$\text{i}$）は、$V$ の $1$ つの基底 $\bm{v}_{1}, \cdots, \bm{v}_{n}$ があったとき、ある正則行列に対応してもう $1$ つの基底 $\bm{w}_{1}, \cdots, \bm{w}_{n}$ が存在しうることを示している、と理解できます。

基底であるための前提条件#

ベクトル空間の次元とベクトルの個数#

定理 4.48（基底の間の関係）において、仮定より $\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $V$ の基底の $1$ つであるとわかっていますので、$\dim V = n$ は前提条件といえます。つまり、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ とは別のベクトルの組が $V$ の基底であるためには、まずそのベクトルの組が $n$ 個のベクトルからなる必要があります。

定理 4.48の主張において、はじめから $\bm{w}_{1}, \cdots, \bm{w}_{n}$ を $n$ 個のベクトルとしていますが、これは $V$ の基底であるための必要条件（$n$ 個のベクトルからなること）を満たすためといえます。

ここで、より一般に $\bm{w}_{1}, \cdots, \bm{w}_{m}$（ $m = n$ と限らない）として検討を始めてもよいですが、$\dim V = n$ であることより、$m \gt n$ であれば $\bm{w}_{1}, \cdots, \bm{w}_{m}$ は線型従属となり、$n \gt m$ であれば $\bm{w}_{1}, \cdots, \bm{w}_{m}$ は $V$ を生成できないことになります。つまり、結局 $m = n$ の場合のみ $\bm{w}_{1}, \cdots, \bm{w}_{m}$ が $V$ の基底となる可能性があることなります。

したがって、$\bm{w}_{1}, \cdots, \bm{w}_{m}$ として検討を始めることにはあまり意味がありません。このような理由から、定理 4.48の主張において、はじめから $\bm{w}_{1}, \cdots, \bm{w}_{n}$ を $n$ 個のベクトルとすることは妥当であるといえます。

線型結合を表す行列の存在#

定理 4.48（基底の間の関係）において、（4.6.3）式を満たすような行列 $A$ が存在することは前提となっていますが、これも、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $V$ の基底であることから明らか（妥当な前提条件）といえます。

いま、定理の仮定より $\bm{v}_{1}, \cdots, \bm{v}_{n}$ は $V$ の基底であるので、任意の $V$ の元をその線型結合として表すことができます（定理 4.28（基底であることと同値な条件））。よって、（当然ながら）$\bm{w}_{1}, \cdots, \bm{w}_{n} \in V$ は $\bm{v}_{1}, \cdots, \bm{v}_{n}$ の線型結合として表すことができ、これを線型結合の行列表記を用いて表せば、対応する $(n, n)$ 型の行列 $A$ が得られます。

したがって、定理 4.48の主張において、（4.6.3）式を満たすような行列 $A$ が存在することは前提として扱って問題ないといえます。

証明#

$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底であるとすると、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は $V$ を生成するから、$V$ の元である $\bm{v}_{1}, \cdots, \bm{v}_{n}$ は $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せる。$B = (\, b_{ij} \,)$ を $(n, n)$ 型行列として、これをまとめて表せば、次のようになる。

このとき、（4.6.3）式より、次が成り立つ。

ここで、$B A = C = (\, c_{ij} \,)$ とすれば、$C$ は $(n ,n)$ 型行列であり、$1 \leqslant j \leqslant n$ について、次が成り立つ。

いま、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は $V$ の基底であるので、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は線型独立であり、よって $c_{ij} = \delta_{ij}$ となる。したがって、$C = (\, \delta_{ij} \,) = E$ であり、$B A = E$ が成り立つ。同様にして、$(\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) = (\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) \, A B$ とすると、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $V$ の基底であることから $A B = E$ が得られる。したがって、$A$ は正則である。

逆に、（4.6.3）式において $A$ が正則であると仮定すると、$A B = B A = E$ となる行列 $B = (\, b_{ij} \,)$ が存在し、次が成り立つ。

すなわち、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ は、次のように $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せる。

ここで、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ は $V$ の基底であるから、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せるということは、任意の $V$ の元が $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せるということに他ならない。したがって、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は $V$ を生成する。また、仮に $\bm{w}_{1}, \cdots, \bm{w}_{n}$ が線型従属であるとすると $\dim V \lt n$ となるが、これは $\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $V$ の基底であることに矛盾する。したがって $\bm{w}_{1}, \cdots, \bm{w}_{n}$ は線型独立である。よって、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は $V$ の基底である。

以上から、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底であることと $A$ が正則であることは同値である。$\quad \square$

証明の考え方#

（$\text{i}$）「$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底である」ことと（$\text{ii}$）「$A$ が正則である」ことの同値性を示します。

（$\text{i}$）$\Rightarrow$（$\text{ii}$）と（$\text{ii}$）$\Rightarrow$（$\text{i}$）それぞれ、線型結合の行列表記と基底の定義にしたがって証明することができます。

（$\text{i}$）$\Rightarrow$（$\text{ii}$）の証明#

• （$\text{i}$）「$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底である」ことを仮定して、（$\text{ii}$）「$A$ が正則である」ことを導きます。
  • $A$ が正則であることは、正則行列の定義にしたがって $A B = B A = E$ となる行列 $B$ が存在することにより示します。

前提条件の整理#

• $\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底であるとすると、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は $V$ を生成します。すなわち、$\bm{v} \in V$ ならば $\bm{v} \in \langle \, \bm{w}_{1}, \cdots, \bm{w}_{n} \, \rangle$ が成り立つといえます。
• したがって、$V$ の元である $\bm{v}_{1}, \cdots, \bm{v}_{n}$ は $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せることになります。
• これを、線型結合の行列表記を用いてまとめて表すと、次のようになります。ここで $B = (\, b_{ij} \,)$ は $(n, n)$ 型行列となります。
  $$\begin{align*} \tag{$$$\ast$} (\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) = (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) \, B \end{align*}

正則性の証明#

• $A B = B A = E$ が成り立つことを示し、$A$ が正則であることを示します。

• まず $B A = E$ を示します。

• 上記の（$\ast$）式と（4.6.3）式より、次が成り立ちます。

  $$\begin{split} (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) &= (\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) \, A \\ &= (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) \, B A \\ \end{split}$$

• ここで、$B A = C = (\, c_{ij} \,)$ とすれば $C$ は $(n ,n)$ 型行列であり、上式は次のようになります。

  $$\begin{gather*} (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) = (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) \, C \end{gather*}$$
  • すなわち、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ をまとめて $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表したとき、対応する行列が $C$ であると捉えることができます。
  • したがって、$1 \leqslant j \leqslant n$ について次のことが成り立つといえます。
    $$\begin{array} {cc} \bm{w}_{j} = \displaystyle \sum_{i}^{n} \, \bm{w}_{i} \, c_{ij} & (\, 1 \leqslant j \leqslant n \,) \end{array}$$

• $\bm{w}_{j}$ に関する上式は、次のようにも表せます。すなわち $\bm{w}_{j}$ が $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せるということであり、左辺の $\bm{w}_{j}$ は右辺の $j$ 番目の項にも現れます。

  $$\begin{gather*} \bm{w}_{j} = c_{1j} \, \bm{w}_{1} + \cdots + c_{jj} \, \bm{w}_{j} + \cdots + c_{nj} \, \bm{w}_{n} \end{gather*}$$

• この式は、次のように変形すると $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型関係としてみることができます。

  $$\begin{gather*} & \bm{w}_{j} = c_{1j} \, \bm{w}_{1} + \cdots + c_{jj} \, \bm{w}_{j} + \cdots + c_{nj} \, \bm{w}_{n} \\ \Leftrightarrow & c_{1j} \, \bm{w}_{1} + \cdots + (c_{jj} - 1) \, \bm{w}_{j} + \cdots + c_{nj} \, \bm{w}_{n} = \bm{0} \end{gather*}$$

• いま、仮定より $\bm{w}_{1}, \cdots, \bm{w}_{n}$ は $V$ の基底であり、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は線型独立であるので、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は自明でない線型関係を持ちません（線形独立の定義）。

• したがって、上式において $c_{1j} = c_{2j} = \cdots = (c_{jj} - 1) = \cdots = c_{nj} = 0$ であり、$i \neq j$ ならば $c_{ij} = 0$、$i = j$ ならば $c_{jj} = 1$ となります。

• 仮に $j$ を固定して（$1$ つの $\bm{w}_{j}$ について）考えましたが、同様の考察が $1 \leqslant j \leqslant n$ について成り立ちます。したがって $c_{ij} = \delta_{ij}$ が成り立ちます。（$\delta_{ij}$ はクロネッカーのデルタです。）

  $$\begin{align*} \delta_{ij} = \left\{ \begin{array} {cc} 1 & (i = j) \\ 0 & (i \neq j) \end{array} \right. \end{align*}$$

• 以上から、$C = (\, \delta_{ij} \,) = E$ となり、$B A = E$ が示されました。

• 同様に、$A B = E$ を示すことができます。

  • $B A = E$ の場合とまったく同じように考えることで $A B = E$ が示せます。
  • すなわち、（4.6.3）式と（$\ast$）式より、$(\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) = (\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) \, A B$ が得られ、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $V$ の基底であることから、$A B = E$ が導かれます。

• 以上から、（$\text{i}$）「$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底である」という仮定から、$A B = B A = E$ となる行列 $B$ が存在すること、すなわち（$\text{ii}$）「$A$ が正則である」ことが導かれました。

（$\text{i}$）$\Leftarrow$（$\text{ii}$）の証明#

• （$\text{ii}$）「$A$ が正則である」ことを仮定して、（$\text{i}$）「$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底である」ことを導きます。
  • $\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底であることは、定義にしたがって、（$1$）$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ を生成し、かつ（$2$）$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が線型独立であることにより示します。

（1）$V$ を生成することの証明#

• （4.6.3）式において $A$ が正則であると仮定すると、$A B = B A = E$ となる行列 $B = (\, b_{ij} \,)$ が存在し、次が成り立します。

  $$\begin{alignat*} {2} && (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) \, B &= (\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) \, A B\\ & \Leftrightarrow & (\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) &= (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) \, B \tag{$$$\ast$} \end{alignat*}

• すなわち、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ は、次のように $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せるということです。

  $$\begin{array} {cc} \bm{v}_{j} = \displaystyle \sum_{i}^{n} \, \bm{w}_{i} \, b_{ij} & (\, 1 \leqslant j \leqslant n \,) \end{array}$$

• いま、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ は $V$ の基底であるので、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せるということは、任意の $V$ の元が $\bm{w}_{1}, \cdots, \bm{w}_{n}$ の線型結合として表せるということに他なりません。

• したがって、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ は $V$ を生成するといえます。

（2）線形独立性の証明#

• 仮に、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が線型従属であるとすると、$V$ を生成し、線型独立である $n$ 個より少ないベクトルが存在することになりますので、$\dim V \lt n$ となりますが、これは $\bm{v}_{1}, \cdots, \bm{v}_{n}$ が $V$ の基底であることに矛盾します。

  • $\bm{w}_{1}, \cdots, \bm{w}_{n}$ から、他のベクトルの線型結合として表せるベクトルを除いて、これを $\bm{w}^{\prime}_{1}, \cdots, \bm{w}^{\prime}_{m}$ とすると、$m \lt n$ となります。
  • $\bm{w}^{\prime}_{1}, \cdots, \bm{w}^{\prime}_{m}$ は（$1$）$V$ を生成し（$2$）かつ線型独立であるので $V$ の基底であり、$\dim V = m \lt n$ が成り立ちます。
  • 一方で、定理の前提より $\bm{v}_{1}, \cdots, \bm{v}_{n}$ も $V$ の基底であり、$\dim V = n$ が成り立ちますが、これは $\dim V \lt n$ と矛盾します。

• したがって $\bm{w}_{1}, \cdots, \bm{w}_{n}$ は線型独立であるといえます。

  • $\bm{w}_{1}, \cdots, \bm{w}_{n}$ が線型独立であることを証明する方法は他にも考えられます。
  • 例えば、次元の基本的性質（定理 4.32（次元が明らかな場合の基底の条件））により、$\dim V = n$ という条件の下、$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ を生成することと $\bm{w}_{1}, \cdots, \bm{w}_{n}$ が線型独立であることは同値であることを利用する方法などです。
  • 上記の証明は、あくまで次元の定義（または定理 4.29（次元の一意性））に則ったものですが、定理 4.32を利用した方が証明は簡潔になります。

• 以上から、（$\text{ii}$）「$A$ が正則である」という仮定から、（$\text{i}$）「$\bm{w}_{1}, \cdots, \bm{w}_{n}$ が $V$ の基底である」ことが導かれました。

まとめ#

• $V$ をベクトル空間、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ を $V$ の基底とする。$n$ 個のベクトル $\bm{w}_{1}, \cdots, \bm{w}_{n} \in V$ が $V$ の基底であるためには、次の式を満たす行列 $A$ が正則であることが必要にして十分である。
  $$\begin{align*} (\, \bm{w}_{1}, \cdots, \bm{w}_{n} \,) = (\, \bm{v}_{1}, \cdots, \bm{v}_{n} \,) \, A \end{align*}$$

参考文献#

[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.