2022年8月21日日曜日

117: ファイナイト(有限)ディメンショナル(次元)ベクトルたちスペース(空間)のリニア(線形)レンジ(値域)はベクトルたちスペース(空間)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ファイナイト(有限)ディメンショナル(次元)ベクトルたちスペース(空間)のリニア(線形)レンジ(値域)はベクトルたちスペース(空間)であることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 任意のファイナイト(有限)ディメンショナル(次元)ベクトルたちスペース(空間)の任意のリニア(線形)マップ(写像)下のレンジ(値域)はベクトルたちスペース(空間)であるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
F: { 全てのフィールド(体)たち }
V1: { 全てのファイナイト(有限)ディメンショナル(次元) F ベクトルたちスペース(空間)たち }
V2: { 全ての F ベクトルたちスペース(空間)たち }
f: V1V2, { 全てのリニア(線形)マップ(写像)たち }
//

ステートメント(言明)たち:
f(V1){ 全ての F ベクトルたちスペース(空間)たち }
//


2: 自然言語記述


任意のフィールド(体)F、任意のファイナイト(有限)ディメンショナル(次元)Fベクトルたちスペース(空間)V1、任意のFベクトルたちスペース(空間)V2 、任意のリニア(線形)マップ(写像)f:V1V2に対して、fのレンジ(値域)f(V1)Fベクトルたちスペース(空間)である。


3: 証明


全体戦略: ステップ1: V1に対する任意のベーシス(基底){b1,b2,...,bd}を取る; ステップ2: {f(b1),f(b2),...,f(bd)}の任意のマキシマル(極大)リニア(線形)にインディペンデント(独立)サブセット(部分集合){f(b1),f(b2),...,f(br)}を、V1に対するベーシス(基底)のインデックスを付け替えて、取る; ステップ3: {f(b1),f(b2),...,f(br)}によってスパンされる(張られる)スペース(空間)はf(V1)であることを見る。

ステップ1:

Let us take any basis for V1, {b1,b2,...,bd}. V1に対する任意のベーシス(基底){b1,b2,...,bd}を取る。

Step 2: ステップ2:

{f(b1),f(b2),...,f(bd)}の任意のマキシマル(極大)リニア(線形)にインディペンデント(独立)サブセット(部分集合)を取ろう。

それが意味するのは以下の通り: もしも、{f(b1),f(b2),...,f(bd)}がリニア(線形)にインディペンデント(独立)であれば、それが求めるもの; もしも、そうでなければ、あるf(bj)は残りのあるリニアコンビネーション(線形結合)である、f(bj)を取り除き、もしも、残されたものたちがリニア(線形)にインディペンデント(独立)であれば、それが求めるもの; もしも、そうでなければ、あるf(bk)は残りのあるリニアコンビネーション(線形結合)である、f(bk)を取り除き、もしも、残されたものたちがリニア(線形)にインディペンデント(独立)であれば、それが求めるもの; 等々と続く。もしも、何も残らなければ、f(V1)は0ベクトルたちスペース(空間)である、それは、一種のベクトルたちスペース(空間)であり、完了である。これ以降は、そうでないと仮定しよう。

私たちは、あるリニア(線形)にインディペンデント(独立)なサブセット(部分集合)を持っている、しかし、{b1,b2,...,bd}のインデックスを付け替えることにより、私たちは、{f(b1),f(b2),...,f(br)}がそのリニア(線形)にインディペンデント(独立)なサブセット(部分集合)であると言える。

ステップ3:

{f(b1),f(b2),...,f(br)}によってスパンされるスペース(空間)Vf(V1)であることを見よう。

f(j{1,...,d}cjbj)f(V1)は任意のものであるとしよう。f(j{1,...,d}cjbj)=j{1,...,d}cjf(bj)、しかし、各r<jに対するf(bj){f(b1),f(b2),...,f(br)}のリニアコンビネーション(線形結合)であるから、それは、j{1,...,r}cjf(bj)V。したがって、f(V1)V

j{1,...,r}cjf(bj)Vは任意のものであるとしよう。j{1,...,r}cjbjV1を取ろう。すると、f(j{1,...,r}cjbj)=j{1,...,r}cjf(bj)。したがって、Vf(V1)

したがって、f(V1)=V


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>