[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
215: 01/13(月)06:43 ID:TxxvswZ2(5/15) AAS
>>214
「もしある順序数OからRへの全単射が存在するならばそのOはω(=N)ではない」
もし、選択公理を仮定しないならば
そもそもいかなる順序数OからRへの全単射も存在しない場合もあり得る
216(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)07:53 ID:xSRlEtRO(2/17) AAS
ふっふ、ほっほ
ご苦労さまです
>>209
>>・答え N
>大間違い
>Tの元を余すことなく並べたことが否定されればよいので、並べ方は任意でよい
並べ方に、自由度があることは認めるが
しかし、完全な任意ではない！
そのことを、>>207で示した！！ｗ
>いや並べ方はTのだよｗ 何の話してんだよｗ
省19
217(1): 01/13(月)08:07 ID:TxxvswZ2(6/15) AAS
> もし、整列可能定理を認めないとき
> 冒頭有限個の元の整列 s1,s2,・・ を 明示できないならば
> 対角線論法の簡明さ（もっと言えば シロウト分かりする）が、失われるだろう
シロウトの嘘分かりが失われると何が困るの
ああ、おサルの君が５ｃｈでマウントできないってこと？
そんなのしらんがな（バッサリ）
218(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)09:49 ID:xSRlEtRO(3/17) AAS
>>217
おサルさんさ
可算選択公理を認めれば、対角線論法がスッキリと簡明になるって話よ
そんなに 必死に 可算選択公理を否定することもないと思うよ ｗ
『カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている』
それだけの話なのだからｗ ；ｐ）
(参考)
ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
可算選択公理
省1
219: 01/13(月)10:02 ID:TxxvswZ2(7/15) AAS
>>218
> おサルさんさ
おサルさんは君
> 可算選択公理を認めれば、対角線論法がスッキリと簡明になる
対角線論法に、可算選択公理は全く必要ないけど
> 必死に 可算選択公理を否定することもない
誰も可算選択公理を否定してない 肯定もしてないが
無関係だから肯定しようが否定しようが結果は同じ
わかる？おサルさん
220: 01/13(月)10:04 ID:TxxvswZ2(8/15) AAS
>>218
>『カントール、ラッセル、ボレル、ルベーグなどは、
> 無意識のうちに可算選択公理を使ってしまっている』
対角線論法では全く使ってないけどな
何を勝手に妄想してるのかな？
大学数学が全く分からんおサルさん
221(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:24 ID:xSRlEtRO(4/17) AAS
>>214
うん
有名な資料で、旧ガロアすれでも取り上げたが
下記の ”自己言及の論理と計算∗長谷川真人”
”自己言及と対角線論法”
”停止性問題”
”対角線論法から不動点へ”
ここらが、重要キーワードだな （＾＾
(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
省13
222(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:44 ID:xSRlEtRO(5/17) AAS
>>221
>”自己言及と対角線論法”
対角線論法より以前に、カントールの最初の実数の非可算を証明した話が下記にある
しかし、繰り返すが >>218『カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている』
ので、下記で 可算選択公理の役割は、定かではない（多分使っていると推測しています）
(参考)
en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
Cantor's diagonal argument
（google訳）
実数
省13
223: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:44 ID:xSRlEtRO(6/17) AAS
つづき
カントールの不可算定理の証明[見せる]
カントルは彼の不可算定理を述べるだけで、いかなる証明にもそれを使用していない。[ 3 ]
The proofs
First theorem
略す
Second theorem
略す
Cantor's 1879 uncountability proof
Everywhere dense
省11
224(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:51 ID:xSRlEtRO(7/17) AAS
>>221-222 補足
”自己言及の論理と計算∗長谷川真人”
の受け売りだが
”自己言及と対角線論法”などにあるように
対角線論法は、集合論の 実数の非可算を越えて
いろんな分野で、使われるようになった
その意味で、対角線論法は
超重要キーワードってことです！（＾＾
225(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:58 ID:xSRlEtRO(8/17) AAS
>>100
(引用開始)
なんらかの
例えば、可算選択公理や、従属選択公理がないと
有理コーシー列は出来ても
そこで”詰みます”ってことでいい？
(引用終り)
戻るよ
・可算選択公理や、従属選択公理 なしで
有理コーシー列は出来る
省4
226(1): 01/13(月)12:07 ID:2LyGh2G/(3/10) AAS
>>207
>・この場合において、中央[1/3,2/3)の有理数の全てを含む部分で
> 自然数Nとの一対一対応が 通常の ＜ では うまくいかない
Q∩TとNとの一対一対応を取る必要がまったく無い。よって反論になってない。
繰り返すが、Tの元を余す事無く並べ切れてないことが言えればよいのだから並べ方は任意でよい。
227: 01/13(月)12:11 ID:2LyGh2G/(4/10) AAS
>>216
>並べ方に、自由度があることは認めるが
>しかし、完全な任意ではない！
完全に任意
>そのことを、>>207で示した！！ｗ
示せてないことを>>226で示した
>この主張は、>>203に例示のように 対角線論法で冒頭
>有限個の元の整列 s1,s2,・・ を具体的に書き下すことの
>数学的な根拠を与える定理で、トリビアな定理だが
無意味
228: 01/13(月)12:31 ID:2LyGh2G/(5/10) AAS
>>218
>可算選択公理を認めれば、対角線論法がスッキリと簡明になるって話よ
複雑になるだけでなく、余計な前提が必要になるから間違い
>そんなに 必死に 可算選択公理を否定することもないと思うよ ｗ
道理を理解できない馬鹿が頑なに間違いを認めないだけの話
>>『カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている』
>それだけの話なのだからｗ ；ｐ）
「それだけ」が謎だが、選択公理の必要性が認識される前の時代の話を持ち出したところで君の間違いが正当化されることは無い。
229(1): 01/13(月)12:47 ID:2LyGh2G/(6/10) AAS
>>225
「ZFで実数は存在しない」
という君の主張が間違いであることは認めるの？
>それ以上、何か言えますか？ｗ ；ｐ）
愚問
選択公理の必要性は命題ごとの個別論。
230: 01/13(月)12:52 ID:2LyGh2G/(7/10) AAS
>>224
>その意味で、対角線論法は
>超重要キーワードってことです！（＾＾
君はその超重要な対角線論法をまったく理解できていないけどなｗ
可算選択公理が必要などと抜かす馬鹿は君以外いないだろう
231: 01/13(月)15:40 ID:TxxvswZ2(9/15) AAS
>>222
Rの非可算性＝RとNとの一対一対応が存在しない という意味なら
対角線論法で証明でき、その場合、可算選択公理など全く必要ない
ただ
Rの非可算性＝RはNより大きい順序数と一対一対応する という意味なら
当然ながらRの整列可能性を主張するわけなので、例えば
Ｒの全ての部分集合からその中の要素１つを選ぶ選択関数の存在を認める
選択公理が必要である
（上記の関数があれば、Ｒから１つずつ要素を取り除くことによって
Ｒの整列を作ることが可能である
省1
232: 01/13(月)15:47 ID:TxxvswZ2(10/15) AAS
Ｒが整列不可能、ということは
Ｒの全ての部分集合からその中の要素１つを選ぶ選択関数なんて存在しない
ということ
まあ、一見驚きだが、よく考えてみれば
Ｒの全ての要素すらわからんのに、
さらにＲの全ての部分集合なんかわかりようもなく
そこから１つの要素を取りだすなんてのも見当がつかないので
まあ、なくても矛盾は導けないかもな、とは思う
233: 01/13(月)15:51 ID:TxxvswZ2(11/15) AAS
コーエンのフォーシングによる結果以降、
集合論からフィールズ賞が出ないのは
もっともと思えることもある
連続体仮説のような基本的な問題について決定不能というんじゃ
他のもっと込み入った問題でなんか結果が出たところで全然インパクトがない
いかなる学問分野でも、主要な問題で何等かの成果がでると
そのあと、いかほど難しい問題が解けても、だから何なの？
といわれてしまうように思う
234: 01/13(月)17:40 ID:2LyGh2G/(8/10) AAS
ところで雑談くん
>>177はお得意のスルー芸ですかな？
整列定理で実数の整列順序の具体化は可能なんでしょ？ 早く具体化してよ
上下前次1-新書関写板覧索設栞歴
あと 768 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s