341: リニア（線形）バイジェクション（全単射）によって関連付けられる有限次元ベクトルスペース（空間）たちは同一次元のものである|T.B.P.日本語版

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

リニア（線形）バイジェクション（全単射）によって関連付けられる有限次元ベクトルスペース（空間）たちは同一次元のものであることの記述/証明

話題

About: ベクトルスペース（空間）

この記事の目次

開始コンテキスト
ターゲットコンテキスト
オリエンテーション
本体
1: 記述
2: 証明

開始コンテキスト

読者は、ベクトルスペース（空間）の定義を知っている。
読者は、バイジェクション（全単射）の定義を知っている。
読者は、クラメールの定理を認めている。

ターゲットコンテキスト

読者は、以下を満たす2つの有限次元ベクトルスペース（空間）たち、つまり、それらの内の一方から他方へリニア（線形）バイジェクション（全単射）がある、は同一次元のものであるという命題の記述および証明を得る。

オリエンテーション

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

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

本体

1: 記述

以下を満たす任意の有限次元ベクトルスペース（空間）たち

V_{1}

および

V_{2}

、つまり、任意のリニア（線形）バイジェクション（全単射）

f : V_{1} \to V_{2}

がある、に対して、

V_{1}

および

V_{2}

の次元たちは同一である。

2: 証明

V_{1}

に対するあるベーシス（基底）

(b_{11}, b_{12}, . . ., b_{1 d_{1}})

および

V_{2}

に対するあるベーシス（基底）

(b_{21}, b_{22}, . . ., b_{2 d_{2}})

がある。.任意の

v_{1} \in V_{1}

は

v_{1} = {v_{1}}^{i} b_{1 i}

。

f (v_{1}) = {v_{1}}^{i} f (b_{1 i})

。

f (b_{1 i}) = {f^{j}}_{i} b_{2 j}

。

f (v_{1}) = {v_{1}}^{i} {f^{j}}_{i} b_{2 j} = {v_{2}}^{i} b_{2 i}

。

(\begin{matrix} {f^{1}}_{1} & . . . & {f^{1}}_{d_{1}} \\ . . . & . . . & . . . \\ {f^{d_{2}}}_{1} & . . . & {f^{d_{2}}}_{d_{1}} \end{matrix}) (\begin{matrix} {v_{1}}^{1} \\ . . . \\ {v_{1}}^{d_{1}} \end{matrix}) = (\begin{matrix} {v_{2}}^{1} \\ . . . \\ {v_{2}}^{d_{2}} \end{matrix})

。クラメールの定理によって、もしも、

(\begin{matrix} {f^{j}}_{i} \end{matrix})

のランクkが

k < d_{1}

だったら、同定理の

v_{1}

の解の存在条件が満足されていると仮定して（それは実際満足されていなければならない）、

v_{1}

の解が

{v_{1}}^{k + 1}, . . ., {v_{1}}^{d_{1}}

を恣意的としてあることになるが、それは

f

はインジェクティブ（単射）でなかったことを意味する、したがって、

k = d_{1}

、したがって、

d_{1} \leq d_{2}

。クラメールの定理によって、もしも、

d_{1} < d_{2}

であったら、一部の行および一部の列が同定理にしたがって既に並べ替えられてあると仮定して、

d e t (\begin{matrix} {f^{1}}_{1} & . . . & {f^{1}}_{d_{1}} & {v_{2}}^{1} \\ . . . & . . . & . . . & . . . \\ {f^{d_{1}}}_{1} & . . . & {f^{d_{1}}}_{d_{1}} & {v_{2}}^{d_{1}} \\ {f^{d_{1} + 1}}_{1} & . . . & {f^{d_{1} + 1}}_{d_{1}} & {v_{2}}^{d_{1} + 1} \end{matrix}) = 0

、

v_{1}

の何らかの解が存在するためには、しかし、それは可能な

v_{2}

全てに対して可能ではないだろう、なぜなら、

{v_{2}}^{d_{1} + 1}

についての代数的余因子は0でなく、したがって、その行列式はある

{v_{2}}^{d_{1} + 1}

を選ぶ）ことで0からそらすことが出来る、そしてそれは、

f

はサージェクティブではなかったことを意味する、したがって、

d_{1} = d_{2}

。

参考資料

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

バイアス惑星
定義たちと命題たち
学校数学をより高い視点から
わかりにくい用語や説明をひもとく
情報テーブル群
LibreOfficeまたはOpenOfficeを活用する
Javaプログラミング言語を暴く
C++を暴く
Pythonを暴く
C#を暴く
Gradleを暴く
Gitを暴く
UNOディスパッチコマンドたち

2022年8月28日日曜日