線形代数II/抽象線形空間 のバックアップ差分(No.5)
更新- バックアップ一覧
- 現在との差分 を表示
- ソース を表示
- バックアップ を表示
- 線形代数II/抽象線形空間 へ行く。
- 追加された行はこの色です。
- 削除された行はこの色です。
[[線形代数Ⅱ]] #contents * 「線形代数学」の意味 [#zb5eb4b1] 1年生の線形代数Iにおいて、「線形」の意味を教わった。 >関数 &math(f(\bm x)); が線形とは &math(f(a \bm x+b \bm y)=a f(\bm x)+b f(\bm y)); が成り立つこと では「代数学」とは何だろうか? 小学生から大学1年生まで、様々な「数」を学んだ。 - &math(\mathbb N); 自然数 = 加算・乗算について閉じている - &math(\mathbb Z); 整数 = 減算についても閉じている - &math(\mathbb Q); 有理数 = 除算について「ほぼ」閉じている - &math(\mathbb R); 実数 = 収束する有理数列の極限演算について閉じている - &math(\mathbb C); 複素数 = 関数の求根操作について閉じている - &math(\mathbb N); 自然数 = 加算・乗算について閉じている &math(a+b, a\times b); - &math(\mathbb Z); 整数 = 減算についても閉じている &math(a-b); - &math(\mathbb Q); 有理数 = 除算について「ほぼ」閉じている &math(a/b);(ゼロは例外) - &math(\mathbb R); 実数 = 収束する有理数列の極限演算について閉じている &math(\lim_{n\rightarrow\infty}a_n); - &math(\mathbb C); 複素数 = 負数の開根操作について閉じている &math(\sqrt{-1}); 知っての通り &math(\mathbb N \subset \mathbb Z \subset \mathbb Q \subset \mathbb R \subset \mathbb C); であり、これまでの数学では新しい「演算」の導入により「数の集合」を拡大する方向で学んできた。 - 解析学は主に &math(\mathbb C); の上(あるいは &math(\mathbb C^n); の上)で 極限や微積分を扱う数学である 代数学は &math(\mathbb N, \mathbb Z, \mathbb Q, \mathbb R, \mathbb C); の系列から外れて、~ 例えば、 >乗算は定義されるが加算は定義されない数の集合 などというように、「何らかの演算」が定義された「数の集合」を定め、 そこに現れる「構造」を研究する学問である。 これから学ぶ「ベクトル」も上で言う「数」の一員である。 * 代数学的構造の例:群 [#i1c86368] * 代数学的構造の例: 群 [#i1c86368] ある「数」の集合 &math(\mathbb U); には演算 &math(*); が定義され、 &math(\mathbb U); は &math(*); について閉じているものとする。~ &math(\mathbb U); は &math(*); について「閉じている」ものとする。~ すなわち &math(x,y \in \mathbb U\rightarrow x*y\in \mathbb U); である。 さらにこの演算が次の性質を持つ時、 + 結合法則 &math((a*b)*c=a*(b*c)); を満たす + &math(\mathbb U); には単位元 &math(1\in \mathbb U); が存在して、すべての &math(x \in \mathbb U); に対して &math(1*x=x*1=x); を満たす + すべての &math(x \in \mathbb U); に対して逆元 &math(y\in \mathbb U); が存在し、&math(x*y=y*x=1); を満たす + &math(\mathbb U); には単位元 &math(1\in \mathbb U); が存在して、任意の &math(x \in \mathbb U); に対して &math(1*x=x*1=x); を満たす + 任意の &math(x \in \mathbb U); に対して、対応する「逆元」 &math(y\in \mathbb U); が存在し、&math(x*y=y*x=1); を満たす このような集合 &math(\mathbb U); は代数学において「群」と呼ばれる。 この時、&math(\mathbb U); は演算 &math(*); について「群」を為す、と呼ばれる。 あるいは簡単に、&math(\mathbb U); は群である、とも。 ** 群の例 [#we500591] 一見すると、&math(\mathbb U); を有理数 &math(\mathbb Q);、&math(*); を通常の乗算 &math(\times); と考えれば 「群の公理」を満たしそうに思えるが、&math(0\in \mathbb Q); が逆元を持たないため、 有理数 &math(\mathbb Q); は乗算 &math(\times); に対して群とはならない。 &math(\mathbb U); を有理数 &math(\mathbb Q); からゼロを除いた集合 &math(\mathbb Q-\{0\});、&math(*); を通常の乗算 &math(\times);、単位元を &math(1); とすれば、この集合は群を為す。 また、&math(\mathbb U); を整数 &math(\mathbb Z);、&math(*); を通常の加算 &math(+);、単位元を &math(0); と考えると、この場合も上記3つすべての条件を満たし、群を為す。 また、&math(\mathbb U); をゼロ以上の &math(k); の倍数 &math(\{\,nk\,|\,n\in \mathbb Z\ \wedge\ n\ge0\,\});、&math(*); を通常の加算 &math(+);、単位元を &math(0); と考えると、この場合も上記3つすべての条件を満たし、群を為す。 群の要素数が有限である場合もある。 自明な群: &math(\mathbb U={1}); に対して、&math(1*1=1); と定義すれば、&math(\mathbb U); は群である。 &math(\mathbb U={a,b,c}); に対して、演算 &math(*); を |*|a|b|c| |a|a|b|c| |b|b|c|a| |c|c|a|b| と定義すれば、&math(\mathbb U); は群である。~ ただし上の表は、左に書かれた数と上に書かれた数との &math(*); の演算結果を示した物である。 もし表が、 |*|a|b|c| |a|a|b|c| |b|b|c|b| |c|c|b|a| であれば、&math((c*b)*b=b*b=c\ne c*(b*c)=c*b=b); となって、群ではなくなる。 「群」の定義は上記の通り非常に単純であるが、 その数学的構造は非常に奥深く、群論だけで数学の1分野となる。~ 応用理工では結晶学や分子振動における点群や、ゲージ理論などにおける対称性に関する議論に重要な応用がある。 * その他の代数的構造 [#udbe5ccb] - 半群 = 群の公理の 1. のみを公理とする - 群 = 上記参照 - 半群 = 群の公理から 2., 3. を除いて 1. のみを公理とする - 群 = 上記 - 可換群 = 群の公理に交換律 &math(a*b=b*a); を加える - 環 = 2つの演算 &math(+,*); を持ち、&math(+); に対して可換群、&math(*); に対して半群であり、分配法則 &math(a*(b+c)=a*b+a*c); が成立する - 体 = 環でありかつ &math(*); に対しても、可換で、単位元を持ち、0 以外に対して逆元を持つ これ以外にも数多くの代数的構造が研究されている。 このように、代数的構造は「数の集合」と「そこで定義される演算」の組み合わせに対して定義される。 以上のように、代数的構造は「数の集合」と「そこで定義される演算」の組み合わせに対して定義される。 例えば 有理数 &math(\mathbb Q); や実数 &math(\mathbb R);、複素数 &math(\mathbb C); は &math(+); に対して可換群であり、 &math(*); に対しても 0 を除いて可換群である。したがって上記の定義より、 例えば 有理数 &math(\mathbb Q); や実数 &math(\mathbb R);、複素数 &math(\mathbb C); は ~ &math(+); に対して可換群であり、~ &math(*); に対しても 0 を除いて可換群である。~ したがって上記の定義より、 &math(\mathbb Q, \mathbb R, \mathbb C); はこれらの演算に対して 体 を為す。~ そこでしばしば「有理体」などとも呼ばれる。 * 代数的構造の意味 [#i732e7d6] 「代数的構造」の優れた点は数学的に類似の構造を持つ対象を抜き出して、 それらをまとめて議論できる点にある。 「類似点」を公理の形で記し、公理のみを基に定理を導くことにより、 実際に適用される対象に依存せず、その対象の性質のみから結論を導ける。 * 線形空間 (あるいは ベクトル空間) [#ld04da61] 線形空間は「代数的構造」を表わしており、定義は次の通り。 「線形空間」は 線形代数I で学んだ数ベクトルに類似した「代数的構造」を表わす概念。 定義は次の通り。 まず、ある既知の「体」&math(K); を想定する。~ 通常、&math(K); は実数 &math(\mathbb R); あるいは 複素数 &math(\mathbb C); に取られるが、必ずしもそうでなくても、ゼロ以外に対して自由に加減乗除が可能であるよう定義されていれば良い。ゼロによる除算は定義されない。 >この授業では &math(K); は実数 &math(\mathbb R); あるいは 複素数 &math(\mathbb C); に取られるが、加減乗除が可能であれば他の体でも良い。 - 線形空間 &math(V); は集合であり、その元をベクトルと呼ぶ~ すなわち、&math(\bm x,\bm y\in V); の時 &math(\bm x,\bm y); はベクトル - 2つのベクトルの間に「和」が定義され、&math(V); はベクトルの和に対して閉じている~ すなわち、任意の &math(\bm x,\bm y\in V); に対して &math(\bm x+\bm y\in V); - &math(K); の元とベクトルとの間に「スカラー倍」が定義され、&math(V); はスカラー倍に対して閉じている~ すなわち、任意の &math(\bm x\in V); 任意の &math(a\in K); に対して &math(a\bm x\in V); さらに、これらの「和」と「スカラー倍」に対して次の公理が成立する。~ + 任意の &math(\bm x,\bm y,\bm z\in V); について &math((\bm x+\bm y)+\bm z=\bm x+(\bm y+\bm z)); → ベクトルの和に対する結合律 + 任意の &math(\bm x,\bm y\in V); について &math(\bm x+\bm y=\bm y+\bm x); → ベクトルの和に対する交換律 + ある &math(\bm 0\in V); があって、任意の &math(\bm x\in V); について &math(\bm x+\bm 0=\bm x); → ゼロ元の存在 + &math(1\in K); について、任意の &math(\bm x\in V); について、&math(1\bm x=\bm x); → スカラーの単位元 + 任意の &math(a,b\in K);、任意の &math(\bm x\in V); について、&math((a+b)\bm x=a\bm x+b\bm x); → 分配法則(1) + 任意の &math(a\in K);、任意の &math(\bm x,\bm y\in V); について、&math(a(\bm x+\bm y)=a\bm x+a\bm y); → 分配法則(2) + 任意の &math(\bm x,\bm y,\bm z\in V); について &math((\bm x+\bm y)+\bm z=\bm x+(\bm y+\bm z)); → ベクトルの和に対する結合律 + ある &math(\bm 0\in V); があって、任意の &math(\bm x\in V); について &math(\bm x+\bm 0=\bm x); → ゼロ元の存在 + 任意の &math(\bm x,\bm y\in V); について &math(\bm x+\bm y=\bm y+\bm x); → ベクトルの和に対する交換律 + &math(1\in K); について、任意の &math(\bm x\in V); について、&math(1\bm x=\bm x); → スカラーの単位元 + 任意の &math(a,b\in K);、任意の &math(\bm x\in V); について、&math((a+b)\bm x=a\bm x+b\bm x); → 分配法則(1) + 任意の &math(a\in K);、任意の &math(\bm x,\bm y\in V); について、&math(a(\bm x+\bm y)=a\bm x+a\bm y); → 分配法則(2) 線形代数I で学んだ &math(n); 次元数ベクトル &math(\mathbb R^n); がこれらの公理を満たすことはほぼ自明である。 * 線形空間の例 [#v00e3d9f] ある自然数 &math(n); を1つ決めたとき、「&math(n); 次元数ベクトル &math(\mathbb R^n);」がこれらの公理を満たすことはほぼ自明である。→ たとえば &math(\mathbb R^8); は線形空間である 逆に、これらの公理を満たす集合 &math(V); を考えた時に、その構造がどこまで &math(\mathbb R^n); と似てくるかを考えるのが以下の目標となる。 &math(V=\set{(3a+b,-c)\in \mathbb R^2|a,b,c\in \mathbb R}); は &math(\mathbb R^2); に定義される和と実数倍に対して線形空間となる。 &math(V=\set{a\sin(\omega t)+b\cos(\omega t)|a,b\in \mathbb R}); は、自然に定義される和と実数倍に対して線形空間となる。 &math(V=\set{ax^3+bx+c|a,b,c\in \mathbb R}); は、自然に定義される和と実数倍に対して線形空間となる。 * 線形空間の公理の使い方 [#k9a81d1b] ** ベクトルの差 [#u41dc56a] 上の線形空間の定義にはベクトルの和は定義されているが、差は定義されていない。 そこで、ベクトルの差を &math(\bm x-\bm y=\bm x+(-1)\bm y); と定義する。 問:任意の &math(\bm x\in V); に対して &math(\bm x-\bm x=\bm 0); を満たすことを証明せよ。~ 答:&math(\bm x-\bm x=1\bm x+(-1)\bm x=(1-1)\bm x=0\bm x=\bm 0); ** 一次独立・従属 [#n644d790] &math(\bm v_1,\bm v_2,\dots,\bm v_m\in V); に対して、 &math(\sum_{i=1}^m c_i\bm v_i=c_1\bm v_1+c_2\bm v_2+\dots+c_m\bm v_m=\bm 0); から &math(c_1=c_2=\dots=c_m=0); を導けるとき、&math(\bm v_1,\bm v_2,\dots,\bm v_m\in V); は 一次独立であると言う。 &math(\bm v_1,\bm v_2,\dots,\bm v_m\in V); が一次独立では無いとき、一次従属であると言う。 問:実数を係数とする3次以下の &math(x); の多項式を考える → &math(V=\set{ax^3+bx+c|a,b,c\in \mathbb R});~ &math(x^2+3x-2, -x^2+2x, 3x^2); は線形独立か? 答:&math(a(x^2+3x-2)+b(-x^2+2x)+c(3x^2)=0); とすると、 &math((a-b+3c)x^2+(3a+2b)x+(-2a)=0);~ すなわち、&math(a-b+3c=0,3a+2b=0,-2a=0); となり、これを満たす &math(a,b,c); は &math(\{a,b,c\}=\{0,0,0\}); しか存在しない。~ したがって、線形独立である。 * 同型 [#hb28464c] |実数を係数とする3次以下の &math(x); の多項式|3次実数ベクトル| |&math(V=\set{ax^3+bx+c\|a,b,c\in \mathbb R}); |&math(\mathbb R^3=\set{(a,b,c)\|a,b,c\in \mathbb R});| |&math((a_1x^3+b_1x+c_1)+(a_2x^3+b_2x+c_2)\\=(a_1+a_2)x^3+(b_1+b_2)x+(c_1+c_2));|&math((a_1,b_1,c_1)+(a_2,b_2,c_2)=(a_1+a_2,b_1+b_2,c_1+c_2));| |&math(k(ax^3+bx+c)=(ka)x^3+(kb)x+(kc));|&math(k(a,b,c)=(ka,kb,kc));| すごく似ている。 こういう時、&math(V); と &math(\mathbb R^3); は「同型である」、と言う。 以下で同型を定義する。 &math(T); は線形空間 &math(V); から &math(V'); への写像であるとする。~ すなわち &math(T); は、任意の &math(\bm v\in(V)); に対して、ただ1つの &math(\bm v'\in V'); を &math(\bm v'=T(\bm v)); として定める。 &math(T); が次の2つの条件を満たすとき、&math(T); は線形である、と言う。 - &math(T(\bm x+\bm y)=T(\bm x)+T(\bm y)); - &math(T(c\bm x)=cT(\bm x)); ここで、 左辺の和やスカラー倍が &math(V); で定義された演算であるのに対して、~ 右辺の和やスカラー倍は &math(V'); で定義された演算であることに注意せよ。 (すなわち &math(V); と &math(V'); は同じスカラーの上に定義されている) 上の例で言えば、 &math(T(ax^2+bx+c)=(a,b,c)); は &math(V\rightarrow\mathbb R^3); の線形写像である。 ** 1対1写像(単写) [#f9291c06] &math(T(ax^2+bx+c)=(a,b,0)); も &math(V\rightarrow\mathbb R^3); の線形写像である、 が、&math(T(ax^2+bx+c)=T(ax^2+bx+c')=(a,b,0)); となる。 このように、一般の線形写像では異なるベクトルが同じ値に移される場合がある。 &math(\bm x\ne \bm y); であれば必ず &math(T(\bm x)\ne T(\bm y)); であるとき、 &math(T); は1対1写像である、あるいは、単写である、と言う。 &attachref(写像.png,,50%); 1対nはそもそも写像ではないが、n対1になっていないことを示している。 ** 上への写像(全写) [#u804c5ca] 任意の &math(v'\in V'); に対して、そこに移ってくる &math(V); の元が存在する時、 上への写像、あるいは、全写であるという。 例えば、&math(T(ax^2+bx+c)=(a,b,c)); は &math(V\rightarrow\mathbb R^3); への全写であるが、~ &math(T(ax^2+bx+c)=(0,a,b,c)); は &math(V\rightarrow\mathbb R^4); への全写ではない。 ** 上への1対1写像(全単写) [#x5e3aeb2] 単写かつ全写であることを言う。 このとき、「逆写像」が定義できる。 - 1対1でないと、ある &math(v'\in V'); に複数の &math(v\in V); が対応してしまう - 上への写像でないと、ある &math(v'\in V'); に対応する &math(v\in V); が存在しない場合がある ** 同型 [#j11499b9] &math(V); と &math(V'); との間に上への1対1写像 &math(T); が存在する時、 &math(V); と &math(V'); は同型であるといい、~ &math(V\simeq V'); と書く。 またこのとき、&math(T); を同型写像と呼ぶ。 これは上で述べた2つの写像が「似ている」ことを数学的に表わした物。~ 同型写像によって、2つの空間はすべて1対1に対応することになる。 &math(T(ax^2+bx+c)=(a,c,b)); とか、~ &math(T(ax^2+bx+c)=(a+b,a-b,c)); とかも同型写像になる。 同型である2つの線形空間の間の同型写像は一意には決まらないことに注意が必要。 線形空間の「同型」は同値関係の公理を満たす。すなわち、 + &math(V\simeq V); : 反射律 + &math(V\simeq V'\to V'\simeq V); : 対称律 + &math(V\simeq V' \wedge V'\simeq V''\to V\simeq V''); : 推移律
Counter: 23884 (from 2010/06/03),
today: 1,
yesterday: 0