TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
オススメ大学
Inter-universal geometry と ABC予想 (応援スレ) 47
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
山口大学理学部数理科学科
フェルマーの最終定理の簡単な証明3
□□□□□□□□□□□□ 朝日生命 ２
≪★☆★天才能力判定数学基礎テスト★☆★≫
あしたのために（その１）
ゲーム理論について
偶数である素数はただひとつであることを証明せよ
- 149 ：
- >>144
>・位相空間が離散であるための必要十分条件は、その一元集合が必ず開になることであり、あるいはそれが集積点を一切含まないことである。
https://ja.wikipedia.org/wiki/%E5%8D%98%E9%9B%86%E5%90%88
単集合 （一元集合から転送）
(抜粋)
数学における単集合（たんしゅうごう、英: singleton; 単元集合、単項集合、一元集合）あるいは単位集合（unit set[1]）は、唯一の元からなる集合である。一つ組 (1-tuple) や単項列 (a sequence with one element) と言うこともできる。
例えば、{0} という集合は単集合である。
性質
ツェルメロ・フレンケル集合論の枠組みの中では正則性の公理が「自身を元とする集合」が存在しないことを保証するから、単元集合とその単元集合を含む集合とは必然的に異なる数学的対象を意味するものとなる[1]。
つまり、1 と {1} とは同じものではないし、空集合のみからなる単項集合 {?} は 空集合 ? ではない。また、例えば、{{1, 2, 3}} のような集合も唯一の集合（それ自体は単集合ではないが）を元として持つ単集合である。
単集合であることと、その集合の濃度が 1 であることは同値である。自然数の集合論的構成において、自然数の 1 とは単集合 {0} のことと定義される。
公理的集合論において、対の公理からの帰結として単元集合の存在が導かれる。
即ち、任意の集合 A に対して、A と A に対して対の公理を適用すれば {A, A} なる集合の存在が保証されるが、これは A のみを元に持ちそれ以外の元は持たないから、単元集合 {A} に他ならない。
ここで A は任意の集合でよい、といっても集合がそもそもまったく存在しない場合には意味がないが、空集合の公理があれば少なくとも空集合 ? は集合になるから、A = ? ととって先の議論は正当化できる。
任意の集合 A と単集合 S に対し、A から S への写像はちょうど一つだけ存在する（それは A の各元を S の唯一の元へ写すものである）。従って任意の単元集合は集合の圏にける終対象である。
つづく
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
Inter-universal geometry と ABC 予想 45
問題文一行の超難問を出し合うスレ
不等式への招待 第９章
【有効数字】9=9.0ってどうなの？【数学】
【Coq】コンピューターで証明しよう【コック】
座標系の選び方や基底の選び方に依存しないこと
Inter-universal geometry と ABC 予想 44
巨大数探索スレッド15
理系への数学 ２
--------------------
【マレーシア】 「新型ウイルス感染でゾンビ化しない」マレーシア保健省がデマ否定 2020/02/03
【ひんやり】夏みかんゼリー【ひんやり】
ナッチャンRera(麗娜輪)/ナッチャンWorld Part10
【チャーター機】第2便、搭乗前の中国当局の検査で、2人の出国が認められず 政府関係者
【受信料で生計】林遣都の噂286【好感度UPが急務】
【MORE】本田翼(ばっさー)part45【CHEAT】
【バーチャルYoutuber】にじさんじ有ンチスレ14308【除湿大福】
これは良い音だと感心したときの組み合わせ
【違法】ライトを点滅させてる人 89人目【犯罪】
【平和】CR不二子〜Lupin The End〜 Part12
ビーガンとベジタリアンとは天と地との差がある
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
俺達の男衾駅 ３人目
++ zabadakとかその辺を語れ！ vol.28 ++
【話題】 Eカップ＝巨乳じゃない。自称Bカップが実はEカップの可能性も
※ドビュッシー・ファンの集うスレ※その9
新・グレッグ・イーガンを語る PART01
【毎日】ツイ４スレ part.58【４コマ】
グランブルーファンタジー総合雑談スレpart128
真・女神転生 DEEP STRANGE JOURNEY 調査179日目
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼