722: ベクトルたちスペース(空間)および2つの同一ファイナイト(有限)ディメンショナル(次元)ベクトルたちサブスペース(部分空間)たちに対して、共通のコンプリメンタリーサブスペース(補部分空間)がある
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)および2つの同一ファイナイト(有限)ディメンショナル(次元)ベクトルたちサブスペース(部分空間)たちに対して、共通のコンプリメンタリーサブスペース(補部分空間)があることの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のベクトルたちスペース(空間)および任意の2つの同一ファイナイト(有限)ディメンショナル(次元)ベクトルたちサブスペース(部分空間)たちに対して、ある共通のコンプリメンタリーサブスペース(補部分空間)があるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
:
:
:
:
//
ステートメント(言明)たち:
//
2: 自然言語記述
任意のフィールド(体)、任意のベクトルたちスペース(空間)、任意のディメンショナル(次元)サブスペース(部分空間)たちに対して、およびのある共通コンプリメンタリーサブスペース(補部分空間)がある。
3: 証明
全体戦略: あるを明示的に構築する; ステップ1: の任意のベーシス(基底)をとして取る; ステップ2: へのいくつかの要素たちを追加して、のあるベーシス(基底)を形成する; ステップ3: はリニア(線形)にインディペンデント(独立)であることを見る; ステップ4: およびのベーシス(基底)たちにを追加し、結果たちがリニア(線形)にインディペンデント(独立)であり、によってスパン(張る)される同一のサブスペース(部分空間)をスパン(張る)ことを見る; ステップ5: へのいくつかの要素たちを追加して、のあるベーシス(基底)を形成する; ステップ6: を、によってスパン(張る)されるスペース(空間)として定義する; ステップ7: は本当におよびのある共通コンプリメンタリーサブスペース(補部分空間)であることを見る。
ある共通コンプリメンタリーサブスペース(補部分空間)を構築しよう。
ステップ1:
はサブスペース(部分空間)であり、あるディメンション( 次元)を持つ、任意のベクトルたちスペース(空間)に対して、任意のアンカウンタブル(不可算)かもしれない数のファイナイト(有限)ディメンショナル(次元)サブスペース(部分空間)たちのインターセクション(共通集合)は、サブスペース(部分空間)で、ディメンション(次元)は当該サブスペース(部分空間)たちのミニマム(最小)ディメンション(次元)に等しいかそれより小さいという命題によって。の任意のベーシス(基底)を取ろう。はであるかもしれないが、そのケースでは、それは空集合になる。
ステップ2:
は上でリニア(線形)にインディペンデント(独立)である、なぜなら、そうでなければ、は、全てはゼロでないあるを持つことになる、それが意味するのは、は上でリニア(線形)にディペンデント(依存)であったということ。同様に、は上でリニア(線形)にインディペンデント(独立)である。
の何らかの個要素たちをへ追加して、に対するあるベーシス(基底)を形成し、 and add some elements of の何らかの個要素たちをへ追加して、に対するあるベーシス(基底)を形成する、それは可能である、任意のファイナイト(有限)ディメンショナル(次元)ベクトルたちスペース(空間)に対して、任意のリニア(線形)にインディペンデント(独立)サブセット(部分集合)は、拡張してベーシス(基底)にできる、ファイナイト(有限)数要素たちを加えることによって、という命題によって。
ステップ3:
は上でリニア(線形)にインディペンデント(独立)である。なぜなら、もしも、あるが他の要素たちのあるリニアコンビネーション(線形結合)であったら、、しかし、左辺はではないことになる、なぜなら、はリニア(線形)にインディペンデント(独立)である、そして、右辺は上のベクトルであることになる、したがって、は内にいることになる、それが含意するのは、それはのリニアコンビネーション(線形結合)であるということ、がリニア(線形)にインディペンデント(独立)であることに反する矛盾。
ステップ4:
を当該両ベーシス(基底)たちへ追加しよう。すると、両結果たちはリニア(線形)にインディペンデント(独立)である、なぜなら、に対して、はリニア(線形)にインディペンデント(独立)である、全段落の結果から(に対して、および、したがって、、そして、他の全てのコエフィシェント(係数)たちはである)、そして、に対して同様。
次に、を前段落の両結果たちへ追加しよう。すると、両結果たちはリニア(線形)にインディペンデント(独立)である、なぜなら、に対して、はリニア(線形)にインディペンデント(独立)である(に対して、および、したがって、、そして、他の全てのコエフィシェント(係数)たちはである)、そして、に対して同様。
等々と続け、を追加した。すると、両方の結果たちは同一のサブスペース(部分空間)をスパン(張る)し、そのスペース(空間)はによってスパン(張る)されるものであり、と記す。その理由は、の各要素はのリニアコンビネーション(線形結合)である一方、の各要素はのリニアコンビネーション(線形結合)であること: 、そして、に対して同様。、、たちはのベーシス(基底)たちである。
ステップ5:
いくつかのベクトルたち(ここでは表現の利便のためにそのようにインデックス付けられているが、それらはアンカウンタブル(不可算)数のベクトルたちであるかもしれない)をの第1ベーシス(基底)に追加して、のあるベーシス(基底)を形成しよう、それは可能である、任意のベクトルたちスペース(空間)、任意のリニア(線形)にインディペンデント(独立)なサブセット(部分集合)に対して、当該サブセット(部分集合)は拡張してベーシス(基底)にできるという命題によって。実のところ、明らかに、およびものベーシス(基底)たちである。
ステップ6:
次に、をによってスパン(張る)されるスペース(空間)として定義する。
ステップ7:
は本当にのコンプリメンタリーサブスペース(補部分空間)であることを見よう。
であることを見よう。はによってスパン(張る)される。はによってスパン(張る)される。はによってスパン(張る)される。
であることを見よう。の任意の非ゼロ要素に対して、それは、のベーシス(基底)のリニアコンビネーション(線形結合)ではあり得ない、なぜなら、の第2ベーシス(基底)はリニア(線形)にインディペンデント(独立)である、それが意味するのは、それは、の要素ではないということ。
同様に、は本当にのコンプリメンタリーサブスペース(補部分空間)である。
明らかであるが、もしも、であるかであるかがかのディメンション(次元)に等しいかしても、問題はない。実のところ、もしも、であれば、無しにすればよいだけである; もしも、であれば、2つのサブスペース(部分空間)たちは同じである、そして、いずれにせよ、ある共通コンプリメンタリーサブスペース(補部分空間)がある; もしも、であれば、2つのサブスペース(部分空間)たちは同じであり、全体が共通コンプリメンタリーサブスペース(補部分空間)である; もしも、がのディメンション(次元)に等しいならば、2つのサブスペース(部分空間)たちは同じであり、が共通コンプリメンタリーサブスペース(補部分空間)である。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>