選択公理と同値な命題できるだけ挙げろ

1 ：11/11/05 〜 最終レス ：12/01/03

極大イデアルでもいいし、環構造入れられるのでもいい

2 ：

ZFにおいて同値ならいいんですか？それとももっと弱い仮定の下で同値でないといけないの？

3 ：

どっちでもいい
さもないとすぐにネタがきれるかもしれない

4 ：

もっと強い仮定で同値なのはどうでしょ？

5 ：

いいですよ
どんどんあげてくれ
まあ、仮定をある程度書いてくれるとありがたい

6 ：

ZFC上で、選択公理と三平方の定理は同値！

7 ：

ちなみに、証明をつけられたらつけてね！

8 ：

ルベーグ非可測な集合の存在は選択公理より強い？弱い？？

9 ：

>>6
一瞬アレっと思ってよく見たら、ＺＦ「Ｃ」なんだなｗｗ

10 ：

>>6
ZFC上では非ユークリッド幾何は不可能ですかｗｗｗｗｗｗｗ

11 ：

ZFC上で、選択公理とシローの定理は同値！

12 ：

チコノフの定理

13 ：

@AxiomderAuswahl

14 ：

>>10
三平方の定理を現代的に定式化するなら、
当然ユークリッド幾何の公理に当たるものが定理の仮定部分に来る訳だが。

15 ：

基底公理を使うけど、ベクトル空間の基底の存在

16 ：

電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250〜700台数中国工作員3〜7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性を害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>><宗教<<<公安<<魂複<<官憲>日本終Googl検索

17 ：

魂は幾何学
誰か(アメリカ)気づいた
ソウルコピー機器
無差別で猥褻、日本は危険
知ったかブッタの日本人
失敗作

18 ：

このスレも随分と過疎っちまったな。

19 ：

>>14がイミフな件。

20 ：

整列可能定理とZornの補題しか思い出せん。

21 ：

チコノフの定理
極大原理
極小原理
整列原理
Zornの補題
ベクトル空間の基底の存在

22 ：

ここまで直積定理（原理？）なしか

23 ：

>>19
そのおつむで一生懸命考えることだな

24 ：

>>23
やなこった。

25 ：

ベクトル空間の基底の存在
から
選択公理、を証明してください

26 ：

自分で論文嫁。
http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf

27 ：

>26
みなで嫁〜

28 ：

25は26の論文読めたのかな？

29 ：

有限個の選択しか分から〜ん。
こっからどうやって選択公理だすの？

30 ：

その論文に書いてあるように、Jech の The axiom of choice を見てみるしかないだろう。
WZF には含まれない ZF の公理（正則性公理と外延性公理）が、そこで必要になる、らしい。

31 ：

必要かはまだわかっていない。それらを使う証明以外知られていないだけ。

32 ：

>31
>それらを使う証明以外知られていないだけ。
知られていない　…
1. その証明は、31さんだけが知っている
２．その証明は得られていない
３．その証明は専門家は知っている、もちろん
Jech の The axiom of choice は読んでいるヒトである。
どれ？

33 ：

その本かは知らんが20年以上昔にAMCからACが導かれる証明なら確認している。正則性公理を使って証明はしている。ただし、絶対に使わなければ証明できないという事実は証明されていない。
もっとも、ここ数年の間に証明できないと証明されていたらごめんなさいだけどね。そっちの専門じゃないから最近の結果までは知らんので。

34 ：

ちなみに五年くらい前にこの板で同じ話題があって、その時にはまだ証明されていないと言った人がいた。

35 ：

すべての集合に、線型順序が付けられればいい、何故なら有限個の中からなら最小のものを選べるから。
ちなみに選択公理と同値な整列可能定理は、すべての集合に整列順序が付けられる、という主張。
線型順序が付けられるというのはこれより弱い主張だが、外延性公理と正則性公理があれば証明できる。

36 ：

数学的帰納法は同値ですか？必要ですか？十分ですか？

37 ：

ZFから整列可能定理が導かれるならACはいらないなｗ

38 ：

>>37
で、ZFから整列可能定理が導かれるのかい？

39 ：

もちろん無理でしょ。今さら。

40 ：

無理なら、37の発言の意味がさっぱり分からんね。
偽なる仮定を持つ含意型の主張は、空虚でしょ？

41 ：

37は、線型順序と整列順序の違いが分からなかったんだよ、きっと。
そんで>>35の最後の一行が「整列可能定理は、外延性公理と正則性公理があれば証明できる」と読んでしまった。
に一票。

42 ：

>>36
形容動詞「同値だ」には主語が二つ必要だ。主語が数学的帰納法だけじゃ意味不明。
それと、数学的帰納法と言っても色々なものがあるわけで、どれなのかを特定した方がいい。

43 ：

スレタイ読めよ

44 ：

その程度のスレだし

45 ：

>>41
んなやつはいねえよ

46 ：

ベルンシュタインの双対から選択公理が導かれるかは未解決らしい。

47 ：

>>45
わざわざ否定するってことは、図星だなｗ

48 ：

普通はそんな間違いをするという発想すらないだろ
冬休みだねえ

49 ：

平常運転だろ
まともな時期なんてねーよ

50 ：

>>35
だれか証明へのリンク教えてくれないかな。

51 ：

集合論で正則性公理使うのは別にいいけど、
こういう普通の数学の定理の証明に正則性公理を使うのはなんかね。
違和感と言ったらいいのかなんかうまく言えないけど。

52 ：

圏論が集合論の代わりに数学の基礎になるらしいけど、
圏論を基礎にしても選択公理とベクトル空間の基底の存在は同値なの？

53 ：

>>48
ほんじゃ37の意図を解説してくれや。

54 ：

選択公理以外に、証明中に無意識に密輸入されがちな公理としては
どのようなものがあるでしょうか？

55 ：

無限公理

56 ：

>>26
>>30
良スレ〜♯

57 ：

>>54
公理を使わなきゃそもそも証明ができない。
公理を使うことを密輸入というのなら証明のすべてのステップで公理を密輸入していることになる。

58 ：

選択公理の次に話題に上るのは置換公理かな。
ゲームの決定性に必要らしいけど、普通の数学では滅多に必要になることはない。

59 ：

置換公理と同値な命題って例えば何？

60 ：

段々話題が基礎論スレになってきてるな。

61 ：

痴漢公理に関しては基礎論スレでも話題になってる↓
http://uni.2ch.net/test/read.cgi/math/1325513069/

62 ：12/01/03

選択公理
に、話しを戻しましょ〜♪