現代数学の系譜11 ガロア理論を読む16 [転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む16 [転載禁止]©2ch.net (683ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されているため､ｷｬｯｼｭを表示しています｡過去ﾛｸﾞﾒﾆｭｰ

1(2): 現代数学の系譜11 ガロア理論を読む 2015/10/11(日)20:22 ID:RDXEzJ3O(1/6) AAS
旧スレが500KBオーバーに近づいたので、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む15
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む14
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む13
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む12
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む11
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む10
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む9
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む8
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む7
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む6
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む5
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む(4)
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む3
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む2 2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む 2chｽﾚ:math
（古いものは、そのままクリックで過去ログが読める。また、ネットで検索すると、無料の過去ログ倉庫やキャッシュがヒットして過去ログ結構読めます。）

654: 2015/11/27(金)17:39 ID:qRNBmtTR(5/5) AAS
>>556
あ、>>650の最初に
>任意のε＞0に対して定まる開区間(-ε,ε)を、I(ε)＝(-ε,ε) で表わす。
を書くの忘れた。第１段はその後に続く。

655(2): 2015/11/27(金)22:13 ID:+cGpPCmW(1) AAS
>超越基底Sは上下に有界と仮定しているから、0＜m(K)＜m(R)＝+∞。
なぜm(K)＜m(R)とできるのか説明してもらえますか。

656: 現代数学の系譜11 ガロア理論を読む 2015/11/27(金)23:16 ID:Hwv6wXgh(1/4) AAS
おっちゃん、どうも。スレ主です。
いつも、力作ありがとう

ところで、>>650の[第１段]って、何を証明しようとしているのか、不明確なんだよね。良い線言っている気もするし、とんちんかんを言っている気もするし
命題の定立がね、不明確。証明読まないと、どういう命題を証明しようとしているのか、何を証明したのか、分からんような書き方はどうだかねー

普通の論文や教科書は
＜命題（or 定理ないし補題）＞xxxxxxxx
＜証明＞xxxxxxxxxxxxxxxxxxxxxxxxx
というスタイルだろ？　そう書いて貰えないかね？

[第１段]に限らず・・・

657(2): 現代数学の系譜11 ガロア理論を読む 2015/11/27(金)23:26 ID:Hwv6wXgh(2/4) AAS
>>653
どうも。スレ主です。

揚げ足取りみたいで悪いが
「Q(S)は零集合」って・・・
結論が可笑しくないかね？（＾＾；

そういうおれの直感に反する証明を、平気でするところが、おっちゃんらしいと言えばらしいけど
そこらのセンスは、働かないのかねー？
Sが、実数の超越基底として、Q(S)は超越数全体⊂Rでしょ？それが、零集合？

658(4): 現代数学の系譜11 ガロア理論を読む 2015/11/27(金)23:31 ID:Hwv6wXgh(3/4) AAS
もっとはっきり書けば、
R=Q＋A＋Q（S)
Aは、代数的数の集合で、可算。Qも可算。だから、AとQは、零集合
Q（S）は、超越的数の集合で、非加算

もし、Q(S)は零集合だったら、Rは？零集合？

659(2): 現代数学の系譜11 ガロア理論を読む 2015/11/27(金)23:40 ID:Hwv6wXgh(4/4) AAS
>>568
>私が終わったら、スレ主に証明してもらう。

ギブアップするなら、いつでも言ってくれ
おれの証明は難しくないよ
ほとんど高校数学で終わりだよ

>>562
>そもそもスレ主は証明できるのか？

証明出来ているつもり

>スレ主の方針はどういうものだ？書いてくれ。

おっちゃんの>>650 [第１段]に近い気がする。もっとも、 [第１段]が何を意味するのか、いまいちすっきりしないがね（＾＾；

660(1): 2015/11/28(土)05:13 ID:9GY4dyn5(1/2) AAS
スレ違いかもしれないけどすごく気になったので
ある問題（証明問題、計算問題、（あるならば、その他）の問題に関わらず）に解法が存在する事は、実際にその問題を解くことによって示せますが
もし解法が存在しない場合、"解法が存在しない"という事はどのように証明されるのでしょうか。
解法が存在しない⇒解けない、解かれていない　なのでしょうが、
"解法が存在しない"事を証明する方法が存在しない」場合、
"（能力などの都合で）解けない、解かれていない"のと"解法が存在しない"の間に明確な区別は無くなり、解法が存在しない⇔解けない、解かれていない　が成り立ってしまうと考えています。
この疑問が数学者諸氏にとって実に馬鹿らしいものであることは僕のちっぽけな頭でもわかります。
解けない問題が沢山ある事の言い訳に書いているだけです。悪しからず。

661(1): 2015/11/28(土)05:17 ID:9GY4dyn5(2/2) AAS
訂正
証明問題、計算問題、（あるならば、その他）の問題に関わらず
↓
証明問題、計算問題、（あるならば、その他の問題）に関わらず

662(6): 2015/11/28(土)07:24 ID:V49WFVhA(1/9) AAS
>>657-658
>Sが、実数の超越基底として、Q(S)は超越数全体⊂Rでしょ？
間違い。スレ主はQ(S)を勘違いしている。>>658も勘違いを引きずっている。

663(1): 2015/11/28(土)07:31 ID:V49WFVhA(2/9) AAS
> もし解法が存在しない場合、"解法が存在しない"という事はどのように証明されるのでしょうか。

ガロア理論を読め。

というかそれを期待してこのスレに迷い込んだのであれば申し訳ない。
ここはガロアのガの字も出ないスレなんだｗ
スレ主に代わって謝っておきます。

664: 562 2015/11/28(土)07:38 ID:V49WFVhA(3/9) AAS
>>659
> おれの証明は難しくないよ
> ほとんど高校数学で終わりだよ
それは恐れ入りました。

665(2): 2015/11/28(土)07:44 ID:gImjm0uw(1/7) AAS
>>655
体 K＝(Q(S))(k) (kは Q(S) 上代数的な元) について、m(K)＝+∞ とする。
仮に上下に有界な超越基底Sに含まれる、或る開区間 I＝(-x,x) (∃x＞0) を
完備とすると、I⊂S⊂(-ε,ε) (∃ε＞x) から、或る a＞0 (ε＞a＞x) が存在して、
Iは閉区間 [-a,a] の真部分集合。だから、或る b＞0 が存在して、[-b,b]⊂S から [0,b]⊂S。
体 Q(S) は通常の加減乗除について閉じているから、加減乗除を任意に可算無限回繰り返すと、
[0,b]⊂S から実数体Rが構成出来て、Q(S)＝R。従って、Q(S) は完備な順序体Rになる。
しかし、Q(S) はRの真部分集合でRとは異なるから、Q(S) が完備順序体Rになることはなく、
矛盾が生じる。従って、超越基底Sに含まれるような、如何なる開区間 I＝(-x,x) (∀x＞0) も
完備とはならない。ところが、card(S)＝c で、超越基底Sは完全集合だから、Sは自己稠密集合。
従って、体 Q(S) は自己稠密集合で、Q(S)∩[0,1] も自己稠密な集合。m(K)＝+∞ としたから、
Rに真に含まれる自己稠密な順序体Kに対し、或る完備な区間 I' が存在して、I'⊂K＝(Q(S))(k)。
しかし、体Kの任意の逆元もKの点だから、I' のすべての元に対して何れも或る加減乗除の操作
を有限回施すと、或る ε＞0 に対して、すべての点がSに属するような、完備な
開区間 (-ε,ε)⊂S を構成出来る。従って、上下に有界な超越基底Sは或る完備な
区間を含む。これは、矛盾する。従って、m(K)＞0 から 0＜m(K)＜m(R)＝+∞ となる。

666(1): 2015/11/28(土)07:55 ID:V49WFVhA(4/9) AAS
>>665
>超越基底Sは完全集合だから
超越基底Sは完全集合ではないと何回言ったら・・

667: 2015/11/28(土)07:59 ID:gImjm0uw(2/7) AAS
>>666
そのこと忘れてた。第５段では「(Q(S)は完全集合」を示したんだな。
>>665は取り消し。

668: 2015/11/28(土)08:54 ID:gImjm0uw(3/7) AAS
>>655
体 K＝(Q(S))(k) (kは Q(S) 上代数的な元) について、m(K)＝+∞ とする。
仮に或る開区間 I＝(-x,x) (∃x＞0) に対して、(Q(S))(k) と (-x,x) の共通部分 K∩I を
完備とすると、体Kは通常の加減乗除について閉じているから、K∩I のすべての元に対して
何れも或る加減乗除の操作を有限回施すと、或る ε＞0 に対して、すべての点がSに属する
ような、完備な閉区間 [-ε,ε]⊂S を構成出来る。従って、加減乗除の操作を任意に
可算無限回施すと、[-ε,ε] から実数体Rが構成出来る。従って、Kの点に対して加減乗除を
任意に可算無限回施すとKからRが構成出来て、K＝R。従って、Kは完備な順序体Rになる。
しかし、KはRの真部分集合でRとは異なるから、Kが完備順序体Rになることはなく、
矛盾が生じる。従って、如何なる開区間 I＝(-x,x) (∀x＞0) に対しても、
(Q(S))(k) と (-x,x) の共通部分 K∩I は完備とはならない。ところが、card(S)＝c で、
体 Q(S) は完全集合だから、Q(S) は自己稠密集合。従って、体 K＝(Q(S))(k) は
自己稠密集合で、K∩[0,1] も自己稠密な集合。m(K)＝+∞ としたから、Rに真に含まれる
自己稠密な順序体Kに対し、或る完備な区間 I' が存在して、I'⊃K＝(Q(S))(k)。
しかし、体Kは直線R上至る所完備ではなく自己稠密で、Kの任意の点xは触点でxの閉包
は{x}。従って、KはR上稠密で、m(K)＝+∞ のときは、m(K)＝0、Q(S)⊂K から m(Q(S))＝0 となる。
これは、はじめに m(Q(S))＞0 と仮定したことに反する。

669(3): 現代数学の系譜11 ガロア理論を読む 2015/11/28(土)09:00 ID:novsUjda(1/6) AAS
>>662
おっちゃん、どうも。スレ主です。
実に面白いね、おっちゃんって（＾＾；

>>Sが、実数の超越基底として、Q(S)は超越数全体⊂Rでしょ？
>間違い。スレ主はQ(S)を勘違いしている。>>658も勘違いを引きずっている。

超越基底の「基底」の意味を考えていない？
というか、なんというか・・・

命題：Sが、実数の超越基底として、Q(S)は超越数全体⊂Rである
証明：超越基底の「基底」の定義そのもの
QED

附言すれば、超越数全体をTとする（当然T⊂Rだが）
もし、ある超越数t∈Tで、tがQ(S)が含まれないとすれば、Sは t を含むように拡張されるべき(例えばそれをS'とする)
この操作を、超越数全体に達するまで繰り返すべし
プログラミング的には、そういうこと
そして、その実現を保証するのが選択公理だろ？

で、これは、「基底」の定義そのもの！
「基底」の意味が分かってないと、証明は暴走するわな（＾＾；

670: 662 2015/11/28(土)09:10 ID:V49WFVhA(5/9) AAS
>>669
口ぶりがおっちゃんに似てるようで2度スレ主に間違えられたｗ
まあそれはいいとして。

>>669でスレ主の勘違いが証明された。ハメル基底と超越基底をごっちゃにしてないか？

671(2): 2015/11/28(土)09:10 ID:gImjm0uw(4/7) AAS
>>669
＞おっちゃん、どうも。スレ主です。
＞実に面白いね、おっちゃんって（＾＾；
＞
＞>>Sが、実数の超越基底として、Q(S)は超越数全体⊂Rでしょ？
＞>間違い。スレ主はQ(S)を勘違いしている。>>658も勘違いを引きずっている。
＞
＞超越基底の「基底」の意味を考えていない？
＞というか、なんというか・・・
＞
＞命題：Sが、実数の超越基底として、Q(S)は超越数全体⊂Rである
＞証明：超越基底の「基底」の定義そのもの
＞QED
これ、超越拡大体 Q(S) の定義の捉え方が間違っている。
一体、何のために私が恥かいて証明したんだよ。包含関係は Q⊂Q(S) も成り立っているぞ。
すべての有理数も Q(S) は含む。

672(1): 現代数学の系譜11 ガロア理論を読む 2015/11/28(土)09:31 ID:novsUjda(2/6) AAS
>>660-661 &>>663

>ある問題（証明問題、計算問題、（あるならば、その他の問題）に関わらず）に解法が存在する事は、実際にその問題を解くことによって示せますが
>もし解法が存在しない場合、"解法が存在しない"という事はどのように証明されるのでしょうか。

確かに、ガロア理論はそうだけど
解法＝べき根と四則による解
に限定したときに、「解けない」ということを、示すのがガロア理論

で、解法の範囲を、「べき根と四則による解」を超えて、どうなんだ？と
べき根を取る操作を一種の関数と見たときに、超越関数などを考えたら解けるんじゃないかと考えたのが、エルミートだったかな？
楕円関数だったっけ
外部ﾘﾝｸ:ja.wikipedia.org
ガロアが楕円モジュラー関数を用いる超越的方法では一般的解法が存在することを予言し、その遺書に書き残している。ガロアの死後、エルミートは、楕円モジュラー関数による五次方程式の解の公式を導いた。

なお、アーベルもモジュラー方程式の研究を行っていたことから、彼にも解の公式のアイディアがあったであろうと考えられている。エルミートから現在まで、5 次より高次の方程式の解の公式は様々に提案されている。

工学的見地からは、これらの解の公式に拠る解法は計算量的な実用性があまりないため、3 次より高次の方程式は数値計算による解法が一般的である。中には、固有値問題へ帰着して行列の固有値計算のアルゴリズムが用いられることもある。

673(1): 662 2015/11/28(土)09:38 ID:V49WFVhA(6/9) AAS
>>671
>超越拡大体 Q(S)
おっちゃんが理解しているのか不安になったので確認させてくれ。
Q(S)は単にQにSを添加した体のことだよな？
QにSを添加した体Q(S)の代数拡大体を同じ記号"Q(S)"で表してしまったわけではないよな？

674(1): 現代数学の系譜11 ガロア理論を読む 2015/11/28(土)09:45 ID:novsUjda(3/6) AAS
>>671
どうも。スレ主です。
ご指摘ありがとう（＾＾；

では修正します
>>669 修正

命題：Sが、実数の超越基底として、Q(S)は｛超越数全体＋Q}⊂Rである
証明：超越基底の「基底」の定義そのもの
（後のプログラミングの話は、修正なしでいいだろう）

>>658 修正
R=A∪Q（S)
Q（S）＝｛超越数全体T＋Q}で、超越数全体Tを含み、非加算
Aは、代数的数の集合で、可算。Qも可算。だから、AとQは、零集合

もし、Q(S)は零集合だったら、Rは？零集合？
（修正おわり）

これでどうだい？（＾＾；
ともかく、「Q(S)は零集合」という命題がおかしいだろうと

675(1): 662 2015/11/28(土)09:54 ID:V49WFVhA(7/9) AAS
>>674
>命題：Sが、実数の超越基底として、Q(S)は｛超越数全体＋Q}⊂Rである
それも間違いだよ。Sが超越基底のとき、Q(S)は一般にすべての超越数を含むとは限らない。
Q(S)に含まれないQ(S)上代数的な超越数が存在しうる。Sをハメル基底としたならQ(S)=Rとなり命題は正しいが。
代数拡大がわかってないのか、ハメル基底と超越基底の違いがわかってないのか、どちらかだ。

676(3): 2015/11/28(土)09:57 ID:gImjm0uw(5/7) AAS
>>673
>Q(S)は単にQにSを添加した体のことだよな？
そう。Sは非可算集合なる基底でQの超越的な元ではないから、
Q(e)やQ(π)と混同出来ない。Q(e)とかはQ(e)上超越的なRの点があって
代数的独立の概念を考えることが出来るが、体Q(S)では、
Q(S)上超越的なRの点はなく、任意の実数はQ(S)上代数的従属になる。
そのため、体の拡大 R/Q(S) では、代数的独立な実数は存在しない。

677(1): 662 2015/11/28(土)09:58 ID:V49WFVhA(8/9) AAS
>>676
OK、レスありがとう。おっちゃんが理解していることは分かった。

678(3): 662 2015/11/28(土)10:01 ID:V49WFVhA(9/9) AAS
>>676
>Sは非可算集合なる基底でQの超越的な元ではないから、
ここは書き間違いだな？Sの元はQ上超越的だからね。

679: 現代数学の系譜11 ガロア理論を読む 2015/11/28(土)10:04 ID:novsUjda(4/6) AAS
>>672 つづき
で、本来のスレタイの「現代数学の系譜11 ガロア理論を読む」が想定しているのは、ここまで

現代数学から見たときに、「ガロア理論の核心は、”数体の拡大と、その自己同型群との対応だ”」ととらえ直したんだね
これが、デデキント～アルティン流で、いまの学部数学の主流だ
さらに、グロタン先生は、「ガロア理論の圏論化だ～！」と言ったらしい（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
X への作用の推移性を外すことは K の分離拡大体の代わりに K 上のエタール代数を考えることに対応し、こうして K 上のエタール代数のなす圏と GK が連続に作用する離散有限空間のなす圏との間の圏同値が得られる。これを出発点としてアレクサンドル・グロタンディークによるガロア理論の圏論的定式化が得られる。

グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。K上のエタール代数はアフィンスキーム・・・
略　

エタール代数も圏論もわかりません（＾＾；
まあ、スレタイの外ですが、それもかまわんよ。ここなんでもありだから（＾＾；

680: 2015/11/28(土)10:08 ID:gImjm0uw(6/7) AAS
>>678
Sは、体Q上の線型空間の、濃度が連続体濃度cに等しい基底だな。
Sは1つの集合で、Q上超越的な実数ではない。

681: 2015/11/28(土)10:12 ID:gImjm0uw(7/7) AAS
>>678
まあ、「1つの」は余計かな。実数体Rの有理数体Q上の超越基底は複数個する。
だから、Sはその中の1つとして扱うことになる。

682: 現代数学の系譜11 ガロア理論を読む 2015/11/28(土)10:19 ID:novsUjda(5/6) AAS
>>675-678
了解！（＾＾；
超越基底が分かってなかったんだ

外部ﾘﾝｸ:ja.wikipedia.org
複素数体 C の部分体で（体として）C と同型であるような真の部分体が（たくさん）存在することを示す。
証明のために、C/Q の超越基底 S をとる。
S は無限（非可算）集合であるので、単射だが全射でないような写像 f: S → S が（たくさん）存在する。
任意のそのような写像は全射でない体準同型 Q(S) → Q(S) に拡張できる。
そのような体準同型はそれぞれ代数的閉包 C に拡張することができ、得られる体準同型 C → C は全射でない。
（引用おわり）

多分、ハメル基底も分かってないかな？（＾＾；
が、>>659の私の証明には影響しないと思う

683: 現代数学の系譜11 ガロア理論を読む 2015/11/28(土)10:25 ID:novsUjda(6/6) AAS
新スレ立てた
あとは、こちらで（このスレはもうすぐ容量オーバーだ）

現代数学の系譜11 ガロア理論を読む17
2chｽﾚ:math

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 4.252s