「数学講義」のまとめ - Togetter

[科学・教養] [数学] 1ヶ月前 210 view 0 2

alg_d 氏のまとめへの補足 あとこのくらいが関係ありそう。 続きを読む

[科学・教養] [数学] 12ヶ月前 1679 view 0 25

素数ツイートは、元をたどるとキリが無いので、Googleリアルタイム検索で2011年最初に呟いた人を探しました。 詳しい証明は、代数学の本であれば載っている本が多いのではないかと思います.. 続きを読む

[科学・教養] [数学] 2ヶ月前 359 view 0 1

今後の展開に期待しつつ。 続きを読む

[科学・教養] [数学] 3ヶ月前 1169 view 0 16

ZF: Zermelo-Fraenkelの公理系 Inf: 無限公理「 ∃x( 0∈x∧∀y∈x(S(y)∈x) ) 」 要は「無限集合が存在する」 ￢Inf: 無限公理の否定 ZF-Inf+￢Inf: ZFからInfを抜いて￢Infを加えた公理系 ZF-Inf.. 続きを読む

[科学・教養] [数学] 4ヶ月前 924 view 0 5

【命題】 Fermatの最終定理がZFCで証明可能 ⇒Fermatの最終定理はZFでも証明可能 絶対性ってそう使うんですね。勉強になりました。 続きを読む

[科学・教養] [数学] 4ヶ月前 814 view 0 11

よく分からないが為になった。 続きを読む

[科学・教養] [数学] 6ヶ月前 1701 view 0 48

問題: 次の命題と選択公理との関係は? 【1】T: 距離空間とする．S⊂Tに対し次は同値． 　　(1)a∈(Sの閉包) 　　(2)Sのある点列 {z_n} が存在して lim z_n = a 【2】任意の集合X, Yについて 「.. 続きを読む

[科学・教養] [数学] 8ヶ月前 1085 view 0 16

「位相空間全体」は本当に「集合」なのか？ 位相空間の同相類全体を考えると、これは集合でないことが分かります。 他にも、色々な同相類についての同様な考察や、そこから派生した 集合のラ.. 続きを読む

[科学・教養] [数学] 8ヶ月前 583 view 0 3

新井『数学基礎論』 補題 1.4.11 の証明に関する話。（主に選択公理） 続きを読む

[トップ] 21ヶ月前 1795 view 0 30

Cf. 0は自然数！ ～～「ゼロは自然数の人」と愉快な仲間達～～ 　http://togetter.com/li/24095  続きを読む

[科学・教養] [数学] 8ヶ月前 1208 view 0 11

いつものように #0は自然数 してたらついにホモ呼ばわりされた、辛いぜろ。 続きを読む

[科学・教養] [数学] 9ヶ月前 1600 view 0 20

後半は暇を持て余した数学クラスタによる高度なダジャレまとめみたいな感じになってますが。閉包について。 続きを読む

[科学・教養] 13ヶ月前 889 view 0 14

一応この前の稠密 TL （http://togetter.com/li/117775）の続き。 今度も実数のお話で、 Suslin Hypothesis についてです。 続きを読む

[科学・教養] 13ヶ月前 1190 view 0 19

稠密とは何か。そもそも実数とは何か。 ※2つの話題が同時進行していたので、時系列とは関係なく 　分かりやすいように並べ替えています。 ※話題の区切り代わりに「0は自然数」置きましたが深.. 続きを読む

[ログ・日記] 12ヶ月前 503 view 0 0

@evinlatie さんによる「可算全順序集合が有理数体の通常の順序の部分順序になること」の証明です。 続きを読む

[科学・教養] [数学] 16ヶ月前 1596 view 0 5

多分↓この辺(もしくはその先)リスペクト http://togetter.com/li/82014 こういうのを自分でまとめるのは結構恥ずかしい事がわかった。 続きを読む