• Tidak ada hasil yang ditemukan

代数学 I (第3回)

N/A
N/A
Protected

Academic year: 2024

Membagikan "代数学 I (第3回)"

Copied!
4
0
0

Teks penuh

(1)

代数学 I ( 3 )

都築 暢夫

4月 28 日(金) 3・4時限 今回は、線形写像とその行列表示について復習する。

1. 線形写像

線形空間の線形写像の定義は教科書 116 - 117ページを見よ。2つの線形写像の合成は 線形写像になり、結合性(h◦g)◦f =h◦(g◦f) が成り立つ。

以下、例をあげる。

1.1. 零写像. V, WF 線形空間とする。零写像 n :V →W (n(x) = 0 (∀x∈V))は 線形写像である。

1.2. 恒等写像. VF 線形空間とする。恒等写像idV :V →V (idV(x) = x(∀x∈V)) は線形写像である。

1.3. 行列が定める線形写像. AF 係数のnm 列行列とする。写像 fA:Fm →Fn fA(x) =Ax

は線形写像である。A= 0 (零行列) のとき零写像、m =n かつA =En のとき恒等写像 になる。

1.4. 微分. F[x] 上の微分 dxdd dx

à n X

i=0

aixi

!

= Xn

i=1

iaixi−1

と定めると、dxdF 線形写像になる。また、任意の自然数nに対して dxd(F[x]n)⊂F[x]n−1 となる。ただし、F[x]1 ={0} とする。

線形写像 f :V →W に関して、次のことが成り立つ(教科書 118 - 128 ページ)。 (1) f の核 Kerf ={x∈V |f(x) = 0}V の部分空間になる。f が単射である必要

十分条件はKerf ={0} である。

(2) f の像 Imf ={y∈ W| ∃x∈V s.tf(x) = y}W の部分空間になる。f が全射 である必要十分条件はImf =W である。

(3) f が同型であるとは、ある線形写像 g : W V が存在してg ◦f = idV かつ f◦g = idW が成り立つことをいう (教科書 127ページの定義と少し違うが、次の 同値性より一致する)。f が同型写像であるための必要十分条件は f が全単射であ ることである。

(2)

2

2. 行列表示 (教科書 128 - 137 ページ)

VWF 線形空間、v1,· · · , vmw1,· · ·, wnをそれぞれの基底とする。f :V →W を線形写像とする。このとき、

f(vi) =a1iw1+a2iw2+· · ·+aniwn とし、nm 列行列 AA=

a11 · · · a1m ... ...

an1 · · · anm

 と定める。(行列表示すると

f(v1,· · · , vm) = (w1,· · · , wn)A

ということで、以下は単にこのように書く。) V の任意の元c1v1+· · ·+cmvm に対して

f(c1v1+· · ·+cmvm) = f

(v1,· · · , vm)

c1

...

cm

=f(v1,· · ·, vm)

c1

...

cm

= (w1,· · · , wn)A

c1

...

cm

となる。したがって、次の定理が成り立つ。

定理 2.1. 次の図式

V −→f W

= ↓∼=

Fm −→

fA

Fn

は可換である。ただし、縦方向の写像は、基底を決めると決まる同型で、fA は例 1.3 の写像である。(可換とは、左上から右下に行く 2通りの写像が一致するということ。)

定理2.1 の図式のことを、線形写像の行列表示という。行列 A のことを表現行列とい う。行列表示は、VW の基底を取り方により決まる。

2.2. 写像 f :F[x]→F[x] をf = (x2 + 2x+ 1)dxd で定める。fF 線形写像になる ことは容易に確かめられる。f(F[x]2) F[x]3 となるので、制限写像g : F[x]2 F[x]3 に対して、基底 1, x, x2 と 1, x, x2, x3 に関する表現行列を求める。

g(1) = 0

g(x) = 1 + 2x+x2

g(x2) = (x2+ 2x+ 1)×2x= 2x+ 4x2+ 2x3 となるので、表現行列A

A =



0 1 0 0 2 2 0 1 4 0 0 2



(3)

3

となる。

さて、基底を変えたら行列表示はどうなるだろうか。前節の状況で、v10,· · · , vm0w10,· · · , wn0 をそれぞれ VW のもう一つの基底とする。すると、ある m 次および n 次の可逆行 列 PQ が存在して

(v01,· · · , vm0 ) = (v1,· · · , vm)P (w01,· · · , wn0) = (w1,· · · , wn)Q

となる(前回 4節)。線形写像 f :V →W の基底v10,· · · , vm0w10,· · · , w0n に関する行列 表示は、

f(v10,· · · , vm0 ) = f((v1,· · · , vm)P) = f(v1,· · ·, vm)P

= (w1,· · · , wn)AP = (w01,· · ·, w0n)Q1AP となるので、表現行列は

A0 =Q1AP となる。以上より、次の定理が成り立つ。

定理 2.3. f : V W の基底 v01,· · · , vm0w10,· · · , w0n に関する表現行列は、A0 = Q1AP となる。さらに、次の図式は可換である。

V −→f W

=&(v) =&(w)

=(v0) Fm −→fA Fn

=%fP =(w0) =%fQ

Fm −→

fA0 Fn

ただし、矢印の右下の太字の意味は基底に関する数線形空間との同一視を表す。

2.4. 例 2.2 の線形写像 g :F[x]2 →F[x]3 の基底1,(x+ 1),(x+ 1)2 と 1,(x+ 1),(x+ 1)2,(x+ 1)3 に関する表現行列B

B =



0 0 0 0 0 0 0 1 0 0 0 2



となる。前回の例4.3から、基底の変換行列はそれぞれP =

1 1 1 0 1 2 0 0 1

とQ=



1 1 1 1 0 1 2 3 0 0 1 3 0 0 0 1



となるから

B =Q1AP となる。

(4)

4

3. 階数と次元公式

線形写像の像の次元と表現行列の階数の関係を教科書(定理 5.2, 5.3) とは少し異なる 方法で証明する。

定理 3.1. f :V →W を有限次元 F 線形空間の間の線形写像で、VW のある基底 に関する表現行列を A とする。このとき、

dimF Imf = rankA

dimF Kerf = dimF V rankA が成り立つ。特に、次元公式

dimF V = dimFKerf+ dimF Imf が成り立つ。

証明. rankA=r とすると、掃き出し法(教科書定理3.1) から、ある可逆行列PQが 存在して

A0 =Q1AP =





 1

. ..

1 0

. ..







とできる(対角上方r 成分のみが 1で残りは0)。v1,· · · , vmw1,· · · , wn を元の基底と すると、(v10,· · · , vm0 ) = (v1,· · · , vm)P と(w01,· · · , wn0) = (w1,· · · , wn)Q に関するf の表 現行列がA0 となる。f(v0i) =w0i(1≤i≤r)かつf(vi0) = 0 (i > r)となので

Imf = hw10,· · · , wr0i Kerf = hvr+10 ,· · · , vm0 i

となる。よって、定理が成り立つ。 ¤

3.2. 例 2.2 の線形写像 g : F[x]2 F[x]3 の像は、(x+ 1)2,(x+ 1)3 で生成されてい て、その次元は 2である。

6. VWF 線形空間でそれぞれの基底を一組ずつとる。V から W への線形写 像全体から (n, m)行列全体への表現行列をとる写像

ρ: HomF(V, W)Mat(n, m;F)

F 線形空間の同型になることを証明せよ。また、写像の合成と ρ は適合していること を示せ。

Referensi

Dokumen terkait

予)シラバスを読む(2 時間) 線形代数学の概要 復)高校数学の復習(2 時間) 予)行基本変形の予習(2 時間) 行列の定義と行基本変形の応用 復)行列と基本変形の復習(2 時間) 掃き出し法による連立 1 次方程式 予)掃き出し法と階数の予習(2 時間) の解法と階数 復)掃き出し法と階数の復習(2 時間) 予)行列式の計算法の予習(2 時間)

r次元トーリック多様体の記述には互いに双対な実空間MR≃Rr とNR≃Rr を用いる.それぞれ格子点集合として M ≃Zr とN ≃Zr を含む.射影的トーリック多 様体とその上のアンプル直線束の組には,MR のあるr 次元凸多面体ですべての頂点が格 子点となるものが対応する.この講演ではMR の有界とは限らない有理凸多面体を定義し

基礎となる数理の予備知識 代表的には、例えば次のような事柄 基礎編 初級編 情報理論 微分積分・線型代数・確率論 符号理論 有限体上の 線型代数 整数論・群論・ 暗号理論 初等整数論 代数幾何の初歩 素数の話 他に、計算の理論計算可能性・計算量など... 情報の符号化 アナログデータ 連続データ ⇓ サンプリングなど ディジタルデータ 離散・有限データ

授業概要 今までの代数系科目(代数学基礎・代数学I(群論)・ 代数学II(環と加群))を踏まえて、体論およびガ ロア理論について講義する。 体論の基礎事項として、体の構成・代数拡大・超越 拡大・代数閉体・拡大次数・共役・正規拡大・分離 拡大などの概念を導入した後、 ガロア理論の基本定理を紹介し、基本的な例として 有限体・円分体・クンマー拡大などに触れる。

授業概要 今までの代数系科目(代数学基礎・代数学I(群論)・ 代数学II(環と加群))を踏まえて、体論およびガ ロア理論について講義する。 体論の基礎事項として、体の構成・代数拡大・超越 拡大・代数閉体・拡大次数・共役・正規拡大・分離 拡大などの概念を導入した後、 ガロア理論の基本定理を紹介し、基本的な例として 有限体・円分体・クンマー拡大などに触れる。

授業概要 今までの代数系科目(代数学基礎・代数学I(群論)・ 代数学II(環と加群))を踏まえて、体論およびガ ロア理論について講義する。 体論の基礎事項として、体の構成・代数拡大・超越 拡大・代数閉体・拡大次数・共役・正規拡大・分離 拡大などの概念を導入した後、 ガロア理論の基本定理を紹介し、基本的な例として 有限体・円分体・クンマー拡大などに触れる。

授業概要 今までの代数系科目(代数学基礎・代数学I(群論)・ 代数学II(環と加群))を踏まえて、体論およびガ ロア理論について講義する。 体論の基礎事項として、体の構成・代数拡大・超越 拡大・代数閉体・拡大次数・共役・正規拡大・分離 拡大などの概念を導入した後、 ガロア理論の基本定理を紹介し、基本的な例として 有限体・円分体・クンマー拡大などに触れる。

基礎となる数理の予備知識 代表的には、例えば次のような事柄 基礎編 初級編 情報理論 微分積分・線型代数・確率論 符号理論 有限体上の 線型代数 整数論・群論・ 暗号理論 初等整数論 代数幾何の初歩 素数の話 他に、計算の理論計算可能性・計算量など... 情報の符号化 アナログデータ 連続データ ⇓ サンプリングなど ディジタルデータ 離散・有限データ