[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(8): 02/01(土)08:43 ID:lDxwqd7y(1/16) AAS
前スレが1000近く又は1000超えになったので、新スレを立てる
2chｽﾚ:math
前スレ ガロア第一論文と乗数イデアル他関連資料スレ12
このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）
資料としては、まずはこれ
外部ﾘﾝｸ:sites.google.com
ガロアの第一論文を読む
渡部 一己 著 （2018.1.28）
PDF
外部ﾘﾝｸ[pdf]:sites.google.com
＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
2chｽﾚ:math 以降ご参照
外部ﾘﾝｸ:en.wikipedia.org Multiplier ideal
外部ﾘﾝｸ:mathoverflow.net motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik
＜層について＞
外部ﾘﾝｸ:ja.wikipedia.org
層 (数学)
外部ﾘﾝｸ:en.wikipedia.org
Sheaf (mathematics)
外部ﾘﾝｸ:fr.wikipedia.org
Faisceau (mathématiques)
あと、テンプレ順次
つづく
973: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)17:37 ID:XknlDm4+(8/10) AAS
>>972 タイポ訂正と補足
＜タイポ訂正＞（他にも文字化けなどあると思うが 原文PDFご参照）
(AC2) Ωを空でない集合族とする．もし鵬Ωであれば,写像f:Ω→UΩ
↓
(AC2) Ωを空でない集合族とする．もしΦ not∈ Ωであれば,写像f:Ω→UΩ
＜補足＞（3(Zornの補題) ⇒ 1(選択公理)のステートメントを押えておこう；ｐ）
外部ﾘﾝｸ[html]:alg-d.com
順序集合Xが「任意の部分全順序集合は上界を持つ」を満たすならば，Xの極大元が存在する．(Zornの補題)
外部ﾘﾝｸ:alg-d.com
alg-d 壱大整域
選択公理と同値な命題とその証明
外部ﾘﾝｸ[html]:alg-d.com
選択公理について
2019年09月17日更新
定義
Xを集合とするとき，次の条件を満たす写像 f: X＼{∅} → ∪x∈X x を集合 X の選択関数という．
任意の非空集合 x∈X に対して f(x)∈x
次の命題を選択公理と呼ぶ．
選択公理 任意の集合は選択関数を持つ．
定義
全射 g: Λ→A をΛを添え字集合とする集合族という．Xλ := g(λ) と置いて，この集合族を{X_λ}_{λ∈Λ}で表すことが多い．
また，次の条件を満たす写像f: Λ→∪_{λ∈Λ}X_λを集合族{X_λ}_{λ∈Λ}の選択関数という．
任意のλ∈Λに対して f(λ)∈Xλ
集合族{X_λ}_{λ∈Λ}の選択関数全体からなる集合をΠ_{λ∈Λ}X_λで表す．f∈Π_{λ∈Λ}X_λに対して xλ := f(λ) と置くとき，f = ( xλ )λ∈Λ 等と表すことがある．
974: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)17:40 ID:36YscTpw(22/27) AAS
自分の言葉では何一つ書けないサル、こと、神戸のセタは哀れである
975(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)18:10 ID:XknlDm4+(9/10) AAS
所詮、数学科といえども
学部や修士レベルでは
どうせ 講義やゼミのタネ本ありの 他人の受け売りにすぎない！ｗ ；ｐ）
それを、”自分の言葉”だと錯覚する
オチコボレさんのおサル>>7-10
あわれｗｗｗ ；ｐ）
976: 02/15(土)18:31 ID:36YscTpw(23/27) AAS
>>975
自分がわからんからって
みんなわかってないと思うのが
神戸のセタとか言う三歳児
池沼か
977: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)18:40 ID:36YscTpw(24/27) AAS
>>975
タネ本を丸写しするのは馬鹿のすること
しかし馬鹿はそれが分からない
だから馬鹿から抜け出せない
978: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)18:42 ID:36YscTpw(25/27) AAS
自分の言葉がないのは
ヒトの知性を持たぬサル
979(1): 02/15(土)19:50 ID:XknlDm4+(10/10) AAS
院試の口頭試問ならば、話は別だが
ここ 5ｃｈのカキコで 自分の言葉とかｗｗｗｗｗ
自分何さまだ？ 数学科修士卒だ？ 卒業証書さらせよｗｗｗｗ
幼稚園児か小学生みたいなカキコしかできないやつがよ
数学科修士卒だ？ わらかすな！！ｗｗｗｗ
980: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)20:08 ID:36YscTpw(26/27) AAS
>>979
大学１年の数学で落第した奴が
院試の口頭試問とかぬかすなよ
神戸のセタは大学数学の負け犬
981(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)20:51 ID:36YscTpw(27/27) AAS
神戸のセタは数学系大学院の
口頭試問を受けたことがないみたいなので
ここで過去に口頭試問を受けた人から聞いた
楽勝問題を出してあげる
Q 行列同士の同値関係の例を２つ示し、それぞれの同値類での不変量を示せ
これ大学１年の線形代数がわかっていれば、即座に答えられるけど
神戸のセタは答えられるかな？
982: 02/15(土)22:51 ID:tNB6oeTf(13/13) AAS
>>965 自己レス
>、選択関数を元として持つ集合を持ち出した時点で
勘違いしていたが、Aの定義からはAに選択関数が属しているとは言えないな。
証明が正しいことが理解できた。
983: 02/16(日)09:52 ID:XssMUT1p(1/17) AAS
>>981
>Q 行列同士の同値関係の例を２つ示し、それぞれの同値類での不変量を示せ
いい問題 このくらい 即答してほしいね
984: 02/16(日)15:30 ID:189U+xhH(1) AAS
一所懸命検索中
985: 02/16(日)16:03 ID:XssMUT1p(2/17) AA×
986: 02/16(日)21:02 ID:XssMUT1p(3/17) AAS
一般次数の n次正方行列についてのケイリー・ハミルトンの定理の証明には、いくつかの方法がある。
987: 02/16(日)21:04 ID:XssMUT1p(4/17) AAS
A の固有多項式を pA(t)=det(tIn−A), 固有値を λ1, …, λn とする。
pA(t)=(t−λ1)⋯(t−λn)
988: 02/16(日)21:10 ID:XssMUT1p(5/17) AAS
A を上三角化した行列を B とする。このとき対角成分に固有値 λ1, …, λn が並ぶ：
pA(A)=(A−λ1I)⋯(A−λnI)=(PBP^−1−λ1I)⋯(PBP^−1−λnI)=P{(B−λ1I)⋯(B−λnI)}P^−1⋯(1)
ここで
pB(B)=(B−λ1I)⋯(B−λnI)
を計算する。
989: 02/16(日)21:13 ID:XssMUT1p(6/17) AAS
Ck:=B-λkI (k=1,2,…,n)とおく。
Ck は上三角行列で、(k, k) 成分は 0 である。
C1C2を計算すると、第2列までは成分が全て 0 になる。
同様にして、帰納的に、Ckを掛けると、第k列までの成分は全て 0 になる。
これを n番目まで繰り返すことにより
C1…Cn=O
990: 02/16(日)21:14 ID:XssMUT1p(7/17) AAS
故に (1) は
P(C1⋯Cn)P^−1=O
（証明終）
991: 02/16(日)21:16 ID:XssMUT1p(8/17) AAS
n次正方行列の固有多項式において、
i次の係数 ci は A の固有値たちのなす (n − i)次基本対称式に等しい。
特に、定数項（0次の係数）c0 は固有値の総乗ゆえ
A の行列式 detA に等しい。
992: 02/16(日)21:20 ID:XssMUT1p(9/17) AAS
ニュートンの公式（英語版）を用いると、基本対称式は冪和対称式で書き表せるから、
上記の ci は固有値の冪和対称式
sk=?(i=1〜n)λi^k
たちで表されると分かるが、
sk=Σ(i=1〜n)λi^k=tr(A^k)
である。
したがって、ci は Ak のトレースたちで書き表せる。
特に c(n-1)=tr(A) である。
993: 02/16(日)21:21 ID:XssMUT1p(10/17) AAS
ケイリー・ハミルトンの定理により、
一般の n次正則行列 A（つまり A の行列式は 0 でない）に対し、
その逆行列 A−1 は A の n − 1次以下の行列多項式で表せる。
994: 02/16(日)21:22 ID:XssMUT1p(11/17) AAS
ケイリー・ハミルトンの定理は A の冪の間に成り立つ
（最も とは限らないが）関係を記述するものであるから、
それにより A の十分大きな指数の冪を含む式の計算において、
式を簡単化して A の（n 以上の指数が大きな）冪を
直接計算することなく値を評価することができるようになる。
995: 02/16(日)21:24 ID:XssMUT1p(12/17) AAS
ケイリー・ハミルトンの定理により p(A) = O だから、
ある種の剰余の定理：f(A)=r(A)が成り立つ。
ゆえに、行列変数の解析函数は各行列 A ごとに
n 次以下の行列多項式として書き表される。
996: 02/16(日)21:36 ID:XssMUT1p(13/17) AAS
f(A)=e^At
(A
=(0 1)
(−1 0))
を考える。
997: 02/16(日)21:37 ID:XssMUT1p(14/17) AAS
A の固有多項式は p(x) = x2 + 1, 固有値は λ = ±i である。
998: 02/16(日)21:38 ID:XssMUT1p(15/17) AAS
固有値における値に関する連立方程式
e^ it = c0 + ic1
e^−it = c0 − ic1
を解いて、
c0 = (e^it + e^−it)/2 = cos(t)
c1 = (e^it − e^−it)/2i = sin(t)
を得る。
999: 02/16(日)21:40 ID:XssMUT1p(16/17) AAS
この場合の
e^At=(cos t)I2+(sin t)A
=
(cost sint)
(−sint cost)
は回転行列である。
1000: 02/16(日)21:41 ID:XssMUT1p(17/17) AAS
完
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 15日 12時間 58分 11秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
▼ UPLIFT会員登録はこちら ▼
外部ﾘﾝｸ:uplift.5ch.net
▼ UPLIFTログインはこちら ▼
2ch板:login
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s