線形代数II/抽象線形空間 のバックアップの現在との差分(No.5)
更新- バックアップ一覧
- 差分 を表示
- ソース を表示
- バックアップ を表示
- 線形代数II/抽象線形空間 へ行く。
- 追加された行はこの色です。
- 削除された行はこの色です。
[[線形代数Ⅱ]] [[前の単元 <<<>線形代数II/代数学的構造]] [[線形代数II]] [[>>> 次の単元>線形代数II/線形独立、基底及び次元]] * 目次 [#k8eed96a] #contents &katex(); * 「線形代数学」の意味 [#zb5eb4b1] * 4-1 線形空間 (あるいは ベクトル空間) [#ld04da61] 1年生の線形代数Iにおいて、「線形」の意味を教わった。 線形代数I では主に数ベクトルについて学んだ。 >関数 &math(f(\bm x)); が線形とは &math(f(a \bm x+b \bm y)=a f(\bm x)+b f(\bm y)); が成り立つこと 「線形空間」は数ベクトルに___類似した___代数的構造を表わす概念である。 では「代数学」とは何だろうか? 線形代数は「線形空間」について学ぶ学問である。 小学生から大学1年生まで、様々な「数」を学んだ。 ** 定義 [#kd0f1115] - &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}); まず、ある既知の「体」$K$ を想定する。((体は英語では field だが、ドイツ語の Körper の頭文字を取って $K$ で表すことが多い))~ >線形代数では $K=\mathbb R\ \mathrm{or}\ \mathbb C$ であることが多いが、四則演算(加減乗除)が可能であれば他の体でも良い >$K$ の元はスカラーと呼ばれる 知っての通り &math(\mathbb N \subset \mathbb Z \subset \mathbb Q \subset \mathbb R \subset \mathbb C); であり、これまでの数学では新しい「演算」の導入により「数の集合」を拡大する方向で学んできた。 - 「$K$ 上の線形空間」 $V$ は集合であり、その元をベクトルと呼ぶ~ すなわち、$\bm x,\bm y\in V$ なら $\bm x,\bm y$ はベクトル - 2つのベクトルの間に「和」が定義され、$V$ はベクトルの和に対して閉じている~ すなわち、$\forall\bm x,\forall\bm y\in V$ に対して $\bm x+\bm y\in V$ - $K$ の元とベクトルとの間に「スカラー倍」が定義され、$V$ はスカラー倍に対して閉じている~ すなわち、$\forall a\in K$、$\forall\bm x\in V$ に対して $a\bm x\in V$ - 解析学は主に &math(\mathbb C); の上(あるいは &math(\mathbb C^n); の上)で 極限や微積分を扱う数学である 代数学は &math(\mathbb N, \mathbb Z, \mathbb Q, \mathbb R, \mathbb C); の系列から外れて、~ 例えば、 >乗算は定義されるが加算は定義されない数の集合 などというように、「何らかの演算」が定義された「数の集合」を定め、 そこに現れる「構造」を研究する学問である。 これから学ぶ「ベクトル」も上で言う「数」の一員である。 * 代数学的構造の例: 群 [#i1c86368] ある「数」の集合 &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(*); について「群」を為す、と呼ばれる。 あるいは簡単に、&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] - 半群 = 群の公理から 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, \mathbb R, \mathbb C); はこれらの演算に対して 体 を為す。~ そこでしばしば「有理体」などとも呼ばれる。 * 代数的構造の意味 [#i732e7d6] 「代数的構造」の優れた点は数学的に類似の構造を持つ対象を抜き出して、 それらをまとめて議論できる点にある。 「類似点」を公理の形で記し、公理のみを基に定理を導くことにより、 実際に適用される対象に依存せず、その対象の性質のみから結論を導ける。 * 線形空間 (あるいは ベクトル空間) [#ld04da61] 「線形空間」は 線形代数I で学んだ数ベクトルに類似した「代数的構造」を表わす概念。 定義は次の通り。 まず、ある既知の「体」&math(K); を想定する。~ >この授業では &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 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) + ベクトル和の交換則: $\forall \bm x,\forall \bm y\in V$ について $\bm x+\bm y=\bm y+\bm x$ + ベクトル和の結合則: $\forall \bm x,\forall \bm y,\forall \bm z\in V$ について $(\bm x+\bm y)+\bm z=\bm x+(\bm y+\bm z)$ + ゼロ元の存在: ある元 $\bm 0\in V$ が存在し、$\forall \bm x\in V$ について $\bm x+\bm 0=\bm x$ を満たす + スカラーの単位元: $1\in K$ について、$\forall \bm x\in V$ について、$1\bm x=\bm x$ + 逆元の存在: $\forall \bm x\in V$ について $\bm x+(-\bm x)=\bm 0$ を満たす元 $-\bm x\in V$ が存在する + 分配法則(1): $\forall a,\forall b\in K$、$\forall \bm x\in V$ について、$(a+b)\bm x=a\bm x+b\bm x$ + 分配法則(2): $\forall a\in K$、$\forall \bm x,\forall \bm y\in V$ について、$a(\bm x+\bm y)=a\bm x+a\bm y$ + スカラー倍の結合法則: $\forall a,\forall b\in K$、$\forall \bm x\in V$ について、$a(b\bm x)=(ab)\bm x$ * 線形空間の例 [#v00e3d9f] このとき、$V$ を $K$ 上の線形空間と呼ぶ。 ある自然数 &math(n); を1つ決めたとき、「&math(n); 次元数ベクトル &math(\mathbb R^n);」がこれらの公理を満たすことはほぼ自明である。→ たとえば &math(\mathbb R^8); は線形空間である 「集合」について復習が必要な学生はこちらを参照 → [[線形代数I/ベクトル空間と線形写像#xe9fe451]] 逆に、これらの公理を満たす集合 &math(V); を考えた時に、その構造がどこまで &math(\mathbb R^n); と似てくるかを考えるのが以下の目標となる。 ** 細かいことは置いておいて [#jd9c7299] &math(V=\set{(3a+b,-c)\in \mathbb R^2|a,b,c\in \mathbb R}); は &math(\mathbb R^2); に定義される和と実数倍に対して線形空間となる。 線形空間の定義では、一見すると重要そうな 1. ~ 8. の公理よりも、 その前の「ベクトル和とスカラー倍に対して閉じた集合である」という部分が本質である。 &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}); は、自然に定義される和と実数倍に対して線形空間となる。 ** 線形空間の例 [#v00e3d9f] * 線形空間の公理の使い方 [#k9a81d1b] $V=\mathbb R^3,K=\mathbb R$ は線形空間である($\mathbb R^3$ は3次元実数ベクトルの集合) ** ベクトルの差 [#u41dc56a] $V=\mathbb R^3,K=\mathbb C$ は線形空間ではない! 上の線形空間の定義にはベクトルの和は定義されているが、差は定義されていない。 $x$の2次以下の実係数多項式の集合 ( $P^2[x]=\set{ax^2+bx+c|a,b,c\in \mathbb R}, K=\mathbb R$ ) は、自然に定義される和と実数倍に対して線形空間となる(線形空間が「ベクトル同士の積」に対して閉じている必要がないことに注意せよ) そこで、ベクトルの差を &math(\bm x-\bm y=\bm x+(-1)\bm y); と定義する。 $V=\set{(3a,-a)\in \mathbb R^2|a\in \mathbb R}$ は $\mathbb R^2$ に定義される和と実数倍に対して線形空間となる 問:任意の &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); 2x2 行列全体は、自然に定義される和と定数倍に対して線形空間となる ** 一次独立・従属 [#n644d790] *** 演習 [#v1a2eade] &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); は 一次独立であると言う。 $x$の2次以下の実係数多項式の集合 $P^2[x]$ が「実数上の線形空間」の公理を満たすことを確かめよ。 → [[解答例>@線形代数II/抽象線形空間/メモ]] &math(\bm v_1,\bm v_2,\dots,\bm v_m\in V); が一次独立では無いとき、一次従属であると言う。 ** 部分空間 [#t973d6bf] 問:実数を係数とする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); は線形独立か? 線形空間 $U$ の空でない部分集合 $V$($V\subset U, V\ne\set{}$)が $U$ に定義されるベクトル和やスカラー倍に対して閉じているとき、 $V$ も線形空間となる。 答:&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] このとき、$V$ を $U$ の部分空間という。 |実数を係数とする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));| ** 線形空間の性質 [#yedd6e56] すごく似ている。 上のような一般の線形空間 $V$ がどこまで $\mathbb R^n$ と似ているかを考えるのが 当面の目標となる。 こういう時、&math(V); と &math(\mathbb R^3); は「同型である」、と言う。 たとえば [[線形代数II/抽象線形空間/性質]] で見るように、 上記の公理を満たすすべての線形空間は、 以下で同型を定義する。 - ゼロ元はただ1つだけ存在する - 逆元はただ1つだけ存在する - 引き算を定義できる $\bm x-\bm y\equiv\bm x+(\bm yの逆元)$ - $\bm x-\bm x=\bm 0$ - $\bm a+\bm b=\bm a+\bm c → \bm b=\bm c$ - $-\bm 0=\bm 0$ - $-(-\bm x)=\bm x$ - $(-\bm x)=(-1)\bm x$ - $0\bm x = \bm 0$ &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'); は同じスカラーの上に定義されている) [[前の単元 <<<>線形代数II/代数学的構造]] [[線形代数II]] [[>>> 次の単元>線形代数II/線形独立、基底及び次元]] * 質問・コメント [#x915949d] 上の例で言えば、 #article_kcaptcha &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: 23987 (from 2010/06/03),
today: 1,
yesterday: 0