2015年1月6日

選択公理bot成長のキセキ

選択公理botは未完成です ※ツイートに出てくる番号は、『Consequences of the Axiom of Choice』に載っている命題番号です。
12
選択公理 @AxiomderAuswahl

【選択公理】任意の集合に選択関数が存在する.

2011-06-21 03:05:00
選択公理 @AxiomderAuswahl

[⇔]【Zornの補題】空でない帰納的な順序集合は極大元を持つ.

2011-06-21 03:07:11
選択公理 @AxiomderAuswahl

[⇔] 任意の線型空間に基底が存在する.

2011-06-21 04:11:37
選択公理 @AxiomderAuswahl

[⇔] 全射f:A→Bに対し,fg=id_Bとなるような写像g:B→Aが存在する.

2011-06-21 04:14:57
選択公理 @AxiomderAuswahl

[⇔] 非空集合の任意個の直積は空でない.

2011-06-21 04:15:02
選択公理 @AxiomderAuswahl

[⇒] Lubesgue非可測集合が存在する.

2011-06-21 04:15:16
サショー☆シロカミ @sasho1223

@AxiomderAuswahl シャベッタアアアアアアアアアアアア!

2011-07-09 19:57:28
選択公理 @AxiomderAuswahl

@alg_d Form 43 から Form 8 は証明可能です

2013-11-10 16:11:01
選択公理 @AxiomderAuswahl

@alg_d Form 101 から Form 100 は証明可能です

2013-11-10 16:13:53
選択公理 @AxiomderAuswahl

@alg_d Form 100 から証明可能: 0 9 93 100 347 369

2013-11-10 16:34:02
残りを読む(133)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?