「単集合」の版間の差分
削除された内容 追加された内容
編集の要約なし |
Super-real dance (会話 | 投稿記録) m en:Singleton (mathematics) 17:35, 15 July 2012 に追従 |
||
1行目:
{{Otheruses|数学の集合
[[数学]]における'''単集合'''(たんしゅうごう、{{lang-en-short|singleton}}; '''単元集合'''、'''単項集合'''、'''一元集合''')あるいは'''単位集合'''({{en|''unit set''}}<ref name="Stoll">{{Cite book | last = Stoll | first = Robert | authorlink = | coauthors = | title = Sets, Logic and Axiomatic Theories | publisher = W. H. Freeman and Company | series = | volume = | edition = | year = 1961 | location = | pages = 5–6 | language = | url = | doi = | id = | isbn = | mr = | zbl = | jfm = }}</ref>)は、唯一の元からなる[[集合]]である。[[タプル|一つ組]] (1-tuple) や[[列 (数学)|単項列]] (a sequence with one element) と言うこともできる。
例えば、{0} という集合は単集合である。
== 属性 ==▼
単集合であることと、その集合の[[濃度 (数学)|濃度]]が 1 であることは[[同値]]である。[[自然数]]を集合論的に構築する場合、1 は単集合 {0} として定義される。▼
[[ツェルメロ・フレンケル集合論]]の枠組みの中では[[正則性の公理]]が「自身を元とする集合」が存在しないことを保証するから、単元集合とその単元集合を含む集合とは必然的に異なる数学的対象を意味するものとなる<ref name="Stoll"/>。つまり、1 と {1} とは同じものではないし、空集合のみからなる単項集合 {∅} は [[空集合]] ∅ ではない。また、例えば、<nowiki>{{1, 2, 3}}</nowiki> のような集合も唯一の集合(それ自体は単集合ではないが)を元として持つ単集合である。
▲単集合であることと、その集合の[[濃度 (数学)|濃度]]が 1 であることは[[同値]]である。[[自然数
[[公理的集合論]]において、[[対の公理]]からの帰結として単元集合の存在が導かれる。即ち、任意の集合 ''A'' に対して、''A'' と ''A'' に対して対の公理を適用すれば {''A'', ''A''} なる集合の存在が保証されるが、これは ''A'' のみを元に持ちそれ以外の元は持たないから、単元集合 {''A''} に他ならない。ここで ''A'' は任意の集合でよい、といっても集合がそもそもまったく存在しない場合には意味がないが、空集合の公理があれば少なくとも空集合 ∅ は集合になるから、''A'' = ∅ ととって先の議論は正当化できる。
任意の集合 ''A'' と単集合 ''S'' があるとき、''A'' から ''S'' への[[関数 (数学)|関数]]はただ1つ存在し、''A'' のあらゆる元から ''S'' の唯一の元への写像である。▼
▲任意の集合 ''A'' と単集合 ''S''
== 応用 ==
[[位相幾何学]]において、ある空間の全ての単集合が閉集合であることと、その空間が[[
単集合
* 既に述べたように単集合は
* 任意の単集合は
* 任意の単集合は、ただ一通りの(唯一の元を[[単位元]]とする)方法で[[群 (数学)|群]]に
==
[[類 (数学)|クラス]] ''S'' を[[指示函数]] '''1'''<sub>''S''</sub>: ''X'' → {0, 1} が定義するものとすると、''S'' が単集合であるための必要十分条件は、その指示函数 '''1'''<sub>''S''</sub> が適当な ''y'' ∈ ''X'' に対して
: <math>{\boldsymbol 1}_S(x) = (x = y)\quad (\forall x\in X)</math>
(右辺は[[アイバーソンの記法|アイバーソン括弧]])を満たすことである。
歴史的には、この定義は[[アルフレッド・ノース・ホワイトヘッド|ホワイトヘッド]]と[[バートランド・ラッセル|ラッセル]]が自然数 1 を
: <math>1 \stackrel{\text{def}}{{}={}} \hat{\alpha}\{(\exists x) . \alpha = \iota \jmath x\}\quad\text{where }\iota \jmath x \stackrel{\text{def}}{{}={}} \hat{y}(y = x)</math>
と定義するために導入したものである<ref>{{cite book | first=Alfred North | last=Whitehead | coauthors=Bertrand Russell | date=1861年 | title=Principia Mathematica | pages=37 }}</ref>。
== 脚注 ==
28 ⟶ 34行目:
== 関連項目 ==
*[[
{{DEFAULTSORT:たんしゆうこう}}
[[Category:集合
[[Category:数学に関する記事]]
|