More Related Content
What's hot (20)
Similar to 【第34回数学カフェの予习会#1】微分と代数学のつながり (20)
Recently uploaded (8)
【第34回数学カフェの予习会#1】微分と代数学のつながり
- 3. 数学カフェ 本日の内容 ? 代数学イントロ ? 群?環?体 ? 具体例色々 ? 微分と代数学のつながり 3
- 6. 数学カフェ 数学徒は一般化したい ? 同様の構造を持つ漢字はあるか？ （同じ記号2つ重ねる漢字を理義字というらしい） ? 3つ重ねる文字は？4つでは？と拡張したくなる ? 文字と文字とのつながり方にはバリエーションがあるのでは？ 人という漢字を構成するようなつながり方の特徴は何なのか？ 6
- 9. 数学カフェ 代数学でよく登場するもの ? ものの集まり（集合） ? 集合に入る構造（演算） ? 集合の間の写像（の集まり） 9
- 10. 数学カフェ 今日のはなし ? ものの集まりに構造を入れる ? 同じ構造を持つ別のものとの類似を見る ? ものの集まり同士のつながりを見る ? 微分を↑の視点から見る ? （次回は、ある特別なつながり方を持ったものに注目する） 10
- 12. 数学カフェ 12 集合とその構造 集合の要素同士に様々な関係性（構造と呼ぶ）を入れると、その 関係性に特有の性質が現れる 要素のラベルではなく構造に注目して一般化できる 1, 2, 3 ? ? 文字列あいう 代数的構造とは、集合の上に定まる演算によって生まれる 要素同士の関係性のこと 2021/3/21 数学カフェ 5
- 13. 数学カフェ 13 様々な数の集合と代数的構造 ? 整数 ：＋, ?, × 1÷2=1/2は整数に含まれない ? 有理数：＋, ?, ×, ÷ ? 実数 ：＋, ?, ×, ÷ 実数の集合を?と書くとする ? 複素数：＋, ?, ×, ÷ ? 有限体：＋, ?, ×, ÷ 例）集合の要素の数が有限個で {1, p, p2, …, pn-1}, pn=1 集合 X に(二項※)演算 ° が定められていて、その演算の結果も Xに含まれるとする。このと き(X, °)は代数系であるという。このセミナーでは、演算とは二項演算を指すものとする ※二項演算とは、2つの値を入れて、1つの値を返す計算の規則のことをさす 2021/3/21 数学カフェ 6
- 14. 数学カフェ 14 群（ぐん） 代数系(X, °)が以下を満たすとき群という※ 1. その演算に対して結合法則が成り立つ※2 任意の x, y, z∈X に対し、x ° (y ° z) = (x ° y) ° z が成り立つ 2. 単位元が存在する 任意の x ∈X に対し、e ° x = x ° e となる共通の元 e ∈X が存在する 3. 逆元が存在する 任意の x ∈X に対し、x-1 ° x = x ° x-1となる元 x-1 ∈X が存在する 4. さらに演算が可換であるとき、可換群（またはアーベル群）という 任意の x,y ∈X に対し、x °y = y ° x を満たす ※ 集合が同じでも演算が異なると振る舞いが変わるので集合と演算の組をに対して考える整数は加法（足し算）という演算を考えると群になる ※2この演算は二項演算なので一度に2つの値しか計算することができない。結合法則は、どの２つから計算を始めても結果が同じ値になることを保証する 2021/3/21 数学カフェ 7 =x?(誤植でした) =1?(誤植でした)
- 16. 数学カフェ 例）実数の集合で考えてみる 条件2）単位元があるか？ xを任意の実数とする 足し算：0+x = x+0 = x??…… 0が足し算の単位元 掛け算：1×x = x×1 = x …… 1が掛け算の単位元 考える演算によって、同じ集合でも単位元になるものが異なる 16
- 17. 数学カフェ 例）実数の集合で考えてみる 条件3）逆元があるか？ xを任意の実数とする 足し算：(-x)+x = x+(-x) = 0(加法の単位元)…… -xがxの足し算における逆元 掛け算：xが0でないときは ????(1/x)×x = x×(1/x) = 1(乗法の単位元)… 1/xが掛け算における逆元 掛け算を考えると0の逆元を実数の範囲で取ることが出来ないので、実数と掛け算の組み合わせでは群に ならない。同じ集合でも考える演算が違うと群になるかどうかが変わる。 （引き算、割り算はそれぞれ足し算、掛け算の逆元という位置づけになる。） 17
- 18. 数学カフェ 例）実数の集合で考えてみる 条件4）演算は可換か？ a, bを任意の実数とする 足し算はa+b = b+a を満たすので、実数は加法によって可換な群（アーベル 群）となる 加法について群になるものを加群と呼ぶ（今回の講演のテーマ） 18
- 19. 数学カフェ 19 環（かん） (X, °)は代数系とする。二項演算として加法+と乗法×が定義され、以下を満たすとき環という※ 1. 加法について：可換な群 任意の x, y, z∈X に対し、x + (y + z) = (x + y) + z が成り立つ 2. 乗法について：半群（前のページで結合法則のみを満たすもの） 3. 分配法則を満たす 任意の x, y, z ∈X に対し、x $ (y + z) = (x $ y)+(x $ z) (x + y) $ z = (x $ z)+(y $ z) 4. 更に乗法が可換であるとき、可換環という 5. 乗法の単位元(≠ 0)が存在するとき、単位的環という 整数は演算として加法（足し算）と乗法（掛け算）を考えると環になる 2021/3/21 数学カフェ 8
- 20. 数学カフェ 例）整数の集合で考えてみる 環には2つの演算足し算（引き算）と掛け算（割り算）を考える 条件１）加法について群になる 足し算の結合則：1+(2+3)=(1+2)+3??……OK 足し算の単位元：0+x = x+0 = x ??……OK 足し算の逆元?：(-x)+x = x+(-x) = 0 ??……OK 20
- 21. 数学カフェ 例）整数の集合で考えてみる 条件2）乗法について半群（結合法則だけ満たす） ??? x, y, zを任意の整数とする x×(y×z) = (x×y)×z 条件3）分配法則を満たす??例）2×(3+4) = 2×3 + 2×4 条件4）掛け算の順序は可換?例）2×3 = 3×2 条件5）1は整数に含まれ、乗法の単位元 元々、整数や有理数などに共通する構造を見出そうとして生み出されたのが代数 21
- 22. 数学カフェ 例）整数係数の多項式も環になる 整数係数の多項式の例 一般化して書くと こんな風に書けるような多項式の全体の集合を考える x2 , 3x3 + x + 1, 100x100 , . . . a1xm + a2xm?1 + ? + am+1x0 = m ∑ i=1 ai+1xi , (ai ∈ ?, a1 ≠ 0, i = 1,?, m) 22
- 23. 数学カフェ 例）整数係数の多項式も環になる 整数係数の多項式の加法 例） ( m ∑ i=0 ai+1xi ) + m′ ∑ j=0 bj+1xj = ( Max(m, m′) ∑ i=0 (ai+1 + bi+1)xi ) (x2 + 2x + 1) + (x3 + 3x2 + 3x + 1) = x3 + 4x2 + 5x + 2 23
- 24. 数学カフェ 重要な例）整数係数の多項式も環になる 整数係数の多項式の乗法 例） 1も整数係数の多項式とみなせる。これが整数係数の多項式環の単位元になる ( m ∑ i=0 ai+1xi ) m′ ∑ j=0 bj+1xj = m+m′ ∑ i+j=0 (ai+1bj+1)xi+j (x + 1)(x2 + 2x + 1) = x3 + 3x2 + 3x + 1 24
- 25. 数学カフェ 25 体（たい） (X, °)は代数系とする。二項演算として加法+と乗法×が定義され、以下を満たすとき体と いう 1. 単位的環であり、0以外の元に乗法の逆元が存在する 2. 分配法則が成立する 3. 乗法が可換である これ以降、体をKと表す Kとしては実数??複素数?有限体などが考えられるが、今回扱う具体例は?に限る※ ※このセミナーでは体の標数は0とし、それ以外の場合の議論はここでは扱わない 2021/3/21 数学カフェ 9
- 26. 数学カフェ ここまでのまとめ ? ものの集まり（集合）を考える ? 集合と演算の組み合わせを考える ? 群：（実数と＋）で加法群など ? 環：（整数と＋, ×）, （整数係数の多項式全体と＋, ×）など ? 体：（実数と＋, ×）, （複素数と＋, ×）など 26
- 27. 数学カフェ このあとのはなし ? 集合と集合の間のつながり（写像）を考える ? 高校で扱った「関数」も写像の一種 ? 良い性質を持つ写像：準同型 ? 微分も準同型写像と思うことができる 27
- 28. 数学カフェ 28 写像 二つの集合が与えられたときに、一方の集合（定義域）の各元に 対し、他方の集合（終域）のただひとつの元を指定して結びつけ る対応のこと 2021/3/21 数学カフェ 19 定義域 終域 終域のすべての元が定義域の元と対応付けられているわけではない 定義域の元と対応付けられている元からなる集合を像という
- 29. 数学カフェ 29 全射と単射 ? 全射 終域の全ての元に、対応する定義域の元がある ?y∈Bに対し、f(x)=yとなるx ∈Aが存在する ? 単射 Aの元とBの元が１：１に対応している ?x, y∈Aに対し、 f(x)=f(y)?x=y Aと対応付けられないBの元があることもあるが Bの全ての元がAと対応付けられるときはその写像は 全射かつ単射で、全単射と呼ばれる 2021/3/21 数学カフェ 20 A B A B
- 30. 数学カフェ 準同型写像 2つの集合X, X’の間の写像であって、それらの代数的な構造を保つものを 準同型写像という ? 群の準同型：? ? 環の準同型：? f(a °X b) = f(a) °X′ f(b) f(a +X b) = f(a) +X′ f(b), f(a ×X b) = f(a) ×X′ f(b) 30
- 31. 数学カフェ 31 K-準同型写像とK-線形写像 ? 2つの集合 X, X’ の写像であって、それらの（代数的な）構造を保つもの を準同型写像という ? X, X’ がK-線形空間で以下のように線形性(和とスカラー倍)を保つものを K-線形写像という※ a, b∈V, λ ∈Kとして f(a+b) = f(a)+f(b) f(λa) = λf(a) ※ 線形空間の間の準同型写像であることが文脈から明らかなときにはK-準 同型写像と書いてK-線形写像を表すこともある 2021/3/21 数学カフェ 21
- 32. 数学カフェ 32 K-線形写像の例 2021/3/21 数学カフェ 22 y=x x y 0 a b a+b ? ?2 ? f : ? → ?2 # ? # # ∈ ∈ f(a) f(b) f(a+b)
- 34. 数学カフェ 整数係数の多項式の微分の公式 ?という記号は を で微分したものと表すとする ?? とする ?? とする（aは整数） ?? とする （a, b整数, nとmは0以上の整数） (xn )′ xn x (xn )′ = nxn?1 (axn )′ = a(xn )′ = anxn?1 (axn + bxm )′ = (axn )′+ (bxm )′ = anxn?1 + bmxm?1 34
- 35. 数学カフェ 微分の性質とは? を可換環(ひとまず多項式環を考えればよい)とする。 が以下を満たすとき における微分という 1. は加群の準同型、すなわち任意の に対して 2. 任意の に対して (ライプニッツ則) が成り立つ R d : R → R R d a, b ∈ R d(a + b) = d(a) + d(b) a, b ∈ R d(ab) = d(a)b + ad(b) 35 ?? 整数係数の多項式環から元を2つ取る 例えば、 上の多項式の微分について1を満たすか? 一方、 となり1を満たす 2を満たすか？ 一方、 となり２を満たす (x2 + 1), (x + 1) ((x2 + 1) + (x + 1)) ′ = (x2 + x + 1) ′ = 2x + 1 (x2 + 1)′+ (x + 1)′ = 2x + 1 ((x2 + 1)(x + 1)) ′ = (x3 + x2 + x + 1) ′ = 3x2 + 2x + 1 (x2 + 1)′(x + 1) + (x2 + 1)(x + 1)′ = 2x(x + 1) + (x2 + 1) = 3x2 + 2x + 1
- 36. 数学カフェ 微分方程式と代数 ところで , ( は定数、 は を独立変数とする未知函数) なる微分方程式を考える。ただし、 微分する、という操作 を作用素と考えて、 とおくと上の微分方程式は と書ける。更に形式的に の二次式とみて と思える。 の解は共に上の微分方程式の解になる。 u′′+ au′+ bu = 0 a, b u t u′ = du dt , u′′ = d2 u dt2 d dt ? = d dt ?2 u + a?u + bu = (?2 + a? + b)u = 0 ? (? ? α)(? ? β)u = 0 (? ? α)u = 0, (? ? β)u = 0 36
- 38. 数学カフェ まとめ ? ものの集まり（集合）に様々な構造を入れると多様な理論が生まれる ? 群?環?体 ? 集合と集合の間の写像のうち定義域の構造を保つものを準同型写像という ? 微分という操作も（環を加群と見て）加群の準同型写像と捉えられる ? 写像の集まり自体を集合と思うと、（性質の良いものは）代数的な構造を考えることができる ? D加群（微分作用素のなす非可換な環） 38
- 39. 数学カフェ 次回 ? 完全列 ? 写像をいくつか連ねたものの中で、よい繋がり方をしたものを考える ? 複素関数 ? 関数を考える時に定義域?終域を複素数とするといいことがある 39
- 40. 数学カフェ 参考文献 ? 加群十話（堀田良之） ? 線型代数学（佐武一郎） ? D加群超入門（池祐一）https://mathlog.info/articles/610 ? 微分加群！～その定義と応用～（ラスクさん） https://mathforeveryone.hatenablog.com/entry/2019/12/17/070000 40