線形独立、基底及び次元/次元の一意性 のバックアップソース(No.1)

更新

[[線形代数Ⅱ/線形独立、基底及び次元]]

* 次元の一意性を証明する [#a90cc8f1]

基底を構成するベクトルの数を線形空間の「次元」と呼ぶ。

ある空間 &math(V); について、基底の取り方には任意性があるが、「次元」は一意に決まる。

これは、

- &math(n); 個のベクトルにより張られる空間から、&math(n); 個以上の線形独立なベクトルを取り出すことはできない。

ことからの帰結である。ここから、

- &math(n); 次元空間を &math(n); 個以下のベクトルで張ることはできない。
- &math(n); 次元空間に &math(n); 個以上の線形独立なベクトルの組を見つけることはできない。

が導けて、これがすなわち次元の一意性を表わす。

* $n$ 個のベクトルにより張られる空間から、$n$ 個以上の線形独立なベクトルを取り出すことはできない [#af812613]

&math(m>n); として、&math(\bm a_1,\bm a_2,\dots,\bm a_m); がすべて 
&math(\bm b_1,\bm b_2,\dots,\bm b_n); の線形結合で表せるとする。

すなわち、

&math(\bm a_i=\sum_{j=1}^n c_{ij}\bm b_j);

である。

&math(\sum_{i=1}^m d_i \bm a_i=\bm 0);

に上式を代入すると、

&math(
\sum_{i=1}^m d_i \sum_{j=1}^n c_{ij}\bm b_j=\bm 0\\
\sum_{j=1}^n\left(\sum_{i=1}^m d_i c_{ij}\right)\bm b_j=\bm 0\\
);

この式は、すべての &math(j); について、

&math(
\sum_{i=1}^m d_i c_{ij}=
\begin{pmatrix}c_{1j}&&c_{2j}&&\dots&&c_{mj}\end{pmatrix}
\begin{pmatrix}d_1\\d_2\\\vdots\\d_m\end{pmatrix}=0
);

を満たせば必ず成り立つ。それらの条件をまとめて書けば、

&math(
\begin{pmatrix}
c_{11}&&c_{21}&&\dots&&c_{m1}\\
c_{12}&&c_{22}&&     &&\vdots\\
\vdots&&      &&\ddots&&\vdots\\
c_{1n}&&\dots&&\dots&&c_{mn}\\
\end{pmatrix}
\begin{pmatrix}d_1\\d_2\\\vdots\\d_m\end{pmatrix}=
\begin{pmatrix}0\\0\\\vdots\\0\end{pmatrix}
);

Counter: 27010 (from 2010/06/03), today: 2, yesterday: 6