第 9 章 置換の符号について 64
22.5 無限次元の空間も含めた一般論 ( 発展 )
次は22.4節で述べた命題に対応する主張である. これらの証明も余力ある読者への演習として残そう. 命題 22.5.9 (命題22.4.4参照). 線形空間U, V の基底をそれぞれA, Bとすれば次が成り立つ.
(1) f :A→Bが単射ならば,その拡張である線形単射fe:U →V が存在する. (2) f :A→Bが全射ならば,その拡張である線形全射fe:U →V が存在する. 命題 22.5.10 (命題22.4.5参照). 線形空間U, V の基底をそれぞれA, Bとする.
(1) 線形単射f :U →V が存在するならば,単射p:A→Bが存在する. (2) 線形全射f :U →V が存在するならば,全射p:A→Bが存在する.
発展(R[x]とRNは線形同型か)
本章において,無限次元空間の例としてR[x]とRNを挙げたが,これらが線形同型か否かについて は言及しなかった. 結論を先に述べればこれらは同型ではない. この事実を示すには,定理22.5.8を 念頭に, R[x]の基底とRNの基底が対等でないことを示す戦略が考えられよう. 例18.4.4で述べた ようにR[x]の基底{xn|n∈Z≥0}は非負整数と1対1の対応がつき,とくにNと対等である. した がって,RNの基底がNと対等でないことをいかに導くかがこの問題の鍵となる. RNに基底が存在 することは定理18.4.7によって保証されているものの, その具体像が不明であることが問題を難し くしており,解決の糸口は極限操作を導入することにある.
RNのベクトルの間に距離を定めれば,ベクトルの列の収束発散が定まり,これを用いてRN上の 写像の連続性を定義できる. 距離には様々な定め方があるものの, 線形空間の構造と相性のよい距 離ということであれば和やスカラー倍の演算を写像とみなしたときにこれらが連続写像となるよう な距離を導入することが望ましい. このような距離が入った線形空間を線形距離空間という. 線形 距離空間の理論を進めると,Nと対等な基底をもつ線形距離空間は完備ではないことが示される. こ こで,コーシー点列が必ず収束するような空間を完備であるという(微積分学でもRnの完備性を学 ぶだろう). 一方,RNを完備な線形距離空間にできることが知られており,以上の事実を総合すると, RNの基底はNと対等でないことが分かる.
このように,無限次元の線形空間の理論においては,極限概念を導入することで対象を解析する手 段を広げている. 線形空間への極限概念の導入の仕方も一通りではなく,その一端として大学初年級 の線形代数学においても内積空間(計量ベクトル空間)やノルム空間を学ぶことになる.
第 23 章 次元公式と商空間
連立1次方程式と斉次形方程式の解の間の関係,および線形常微分方程式とその斉次方程式の解の間 の関係には類似性が認められていた(6.4節). これら類似する性質が線形写像に関する命題として一般的 な立場から証明できることを本章で述べる. また,この性質を通して線形写像の次元公式を示す. 次元公 式とは,線形写像による空間の分解を次元の視点から述べた式のことである.
一方,線形空間の分解それ自体を記述するための概念として,商空間を定める. これは, 次のような要 請に応じて導入されるものである: ある線形空間において, いくつかのベクトル方向があまり重要では ないと判断されたとしよう. このとき,これらの方向を捨象した空間概念をいかに与えればよいか. この 要請に満足する空間が,不要と思われる方向と平行な直線を集めた集合(つまり直線を要素とする集合), あるいは,与えられた平面と平行な平面を集めた集合(つまり平面を要素とする集合)のような形で実現 されることを本章の後半で見る.
ところで,本章および次章において,u−vと表記すればよいところをわざわざ読みにくい表記で−v+u と書いた箇所がいくつかある. これは, 可換性を満たさない代数構造においても同様の主張が成り立ち, その際の証明を見越したことによるものである. 後に群論を学ぶ際の助けになるだろう.
23.1 空間の平行移動
連立1次方程式の解の集合の表示において集合の平行移動について言及していた. ここで改めて,平行 移動の正確な定義を与える.
定義 23.1.1. 線形空間U の部分集合A⊂Uおよびベクトルu∈Uに対して,Aをu方向に平行移動し た集合をA+uあるいはu+Aとかく(図23.1). すなわち,
A+u:={a+u|a∈A}, u+A:={u+a|a∈A}.
0
u A
u+A
図23.1: 図形Aのu方向への平行移動
明らかにA+u=u+Aであり,この事実は和の演算の可換性(a+u=u+a)に由来するものである. 以降ではu+Aという表記を主に用いることにする1.
命題 23.1.2. Aとu+Aは対等である. すなわち,これらの元の個数は等しい.
1実は,A+uのほうを採用していれば,冒頭で述べた−v+uという表記は必要でなくなる. しかしながら,ここでは慣例 に従いu+Aと書くことにしたい.
170
Proof. 写像f :A→U をf(a) :=u+aで定めれば,f(A) =u+Aが成り立つ. fの単射性は明らかで あり,したがってAとf(A)は対等である.
本論では,上の集合AとしてUの部分空間を主に考える.
練習 23.1.3. 部分空間W ⊂U およびu∈W において,u+W =W を示せ.
解答例: W が和の演算について閉じていることから, u+W ⊂W を得る. また,各v ∈W に対して w:=−u+vとおけばw∈W であり,v=u+w∈u+W. つまりW ⊂u+W である.
次に述べる命題は, 6.4節で論じたことを線形写像の言葉で統一的に述べなおした主張に相当している
(例23.1.5). したがって,読者も直ちに証明方針を予想できることと思う.
命題 23.1.4. f :U →V を線形写像とし,b∈Imf とする. 更にf(a) =bを満たすa ∈Uを一つ取っ て固定しよう(すなわちa∈f−1(b)). このとき次が成り立つ:
(1) 任意のz ∈Kerf に対し,a+z ∈f−1(b)である.
(2) 任意のy∈f−1(b)は,あるz∈Kerfを用いてy=a+zと表せる. (3) f−1(b) =a+ Kerf.
x y
z
R3 R
a
Kerf
a+ Kerf
f f
0V b
図23.2: 線形写像の核とその平行移動
図23.2は線形写像f :R3 →R(f(x, y, z) :=y)について命題23.1.4(3)を模式的に説明したものである. Kerfはx-z平面に一致する. また,a:= (x1, b, z1)とすればf(a) =bである(つまりa∈f−1(b)). Kerf をa方向にずらしたものがa+ Kerf であり, 図では平行四辺形が右斜め上にずれたように見えている が, 実際にはx-z平面と平行な方向に無限に広がる平面である. つまり, Kerf を真上に持ち上げたもの ((0, b,0)方向に平行移動させた平面)とも一致する. 命題23.1.4(3)によればf−1(b) =a+ Kerfであり,
a+ Kerf に属する各元をf に代入すれば,その値はすべてbとなる.
命題23.1.4の証明. (1) : z ∈ Kerf とすると, f(a +z) = f(a) +f(z) = b+0 = b. ゆえに a+z∈f−1(b)である.
(2) : y ∈ f−1(b)とする. z := −a+yとおこう. このときf(z) = f(−a+y) = −f(a) +f(y) =
−b+b=0よりz ∈Kerf である. また,zの定め方からy=a+zであり,我々は主張を得た.
(3) : 両方の包含関係f−1(b)⊂a+ Kerf およびf−1(b)⊃a+ Kerf を示せばよい. しかし,これら は(2)および(1)の主張をそれぞれ言い換えたものに過ぎない.
例23.1.5. 次の線形写像および固定されたベクトルbについて上の命題を適用することで, 6.4節におけ る三つの命題がそれぞれ得られる.
• 命題6.4.1: TA:Rn→Rm,b∈Rm.
• 命題6.4.2: α d2
+β d
+γI:C∞(R)→C∞(R), b=b(x).
• 命題6.4.3: S−rI :RN→RN(ただしSはシフト作用素), b= (b, b, b,· · ·).
【備考】(S−rI)(x1, x2, x3,· · ·) = (x2−rx1, x3−rx2, x4−rx3,· · ·)である.
命題23.1.2および23.1.4(3)より,f−1(b)̸=∅であるときf−1(b)とKerfは対等である. とくに,線形 写像の空でない逆像は互いに元の個数が等しい2:
系 23.1.6. 線形写像f :U →V および各b1,b2∈Imfについて,f−1(b1)とf−1(b2)は対等である. Proof. f−1(b1)とf−1(b2)はそれぞれKerf と対等であり, したがってf−1(b1)とf−1(b2)も対等であ る.