単集合のソースを表示

{{Otheruses|数学の集合|ソフトウェアのデザインパターン|Singleton パターン}}
[[数学]]における'''単集合'''（たんしゅうごう、{{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} という集合は単集合である。

== 性質 ==
[[ツェルメロ・フレンケル集合論]]の枠組みの中では[[正則性の公理]]が「自身を元とする集合」が存在しないことを保証するから、単元集合とその単元集合を含む集合とは必然的に異なる数学的対象を意味するものとなる<ref name="Stoll"/>。つまり、1 と {1} とは同じものではないし、空集合のみからなる単項集合 {&empty;} は [[空集合]] &empty; ではない。また、例えば、<nowiki>{{1, 2, 3}}</nowiki> のような集合も、ただ一つの集合を元（その元自身は単集合ではない）として持つ単集合である。

単集合であることと、その集合の[[濃度 (数学)|濃度]]が 1 であることは[[同値]]である。[[自然数の集合論的構成]]において、自然数の 1 とは単集合 {0} のことと定義される。

[[公理的集合論]]において、[[対の公理]]からの帰結として単元集合の存在が導かれる。即ち、任意の集合 ''A'' に対して、''A'' と ''A'' に対して対の公理を適用すれば {''A'', ''A''} なる集合の存在が保証されるが、これは ''A'' のみを元に持ちそれ以外の元は持たないから、単元集合 {''A''} に他ならない。ここで ''A'' は任意の集合でよい、といっても集合がそもそもまったく存在しない場合には意味がないが、空集合の公理があれば少なくとも空集合 &empty; は集合になるから、''A'' = &empty; ととって先の議論は正当化できる。

任意の集合 ''A'' と単集合 ''S'' に対し、''A'' から ''S'' への[[写像]]はちょうど一つだけ存在する（それは ''A'' の各元を ''S'' の唯一の元へ写すものである）。従って任意の単元集合は[[集合の圏]]にける[[終対象]]である。

== 応用 ==
[[位相空間論]]において、ある空間の全ての単集合が[[閉集合]]であることと、その空間が [[T1空間|''T''<sub>1</sub>-空間]]であることは同値である。

単集合を台として構築される構造が、様々な[[圏 (数学)|圏]]における[[終対象]]や[[零対象]]を与えることがしばしばある。例えば、
* [[#性質|既に述べたように]]、単集合はちょうど[[集合の圏]] '''Set''' における終対象になっており、他の集合で '''Set''' の終対象となるものは存在しない。
* 任意の単集合は、唯 1通りの（全ての部分集合を開集合とする位相を考える）方法で[[位相空間]]にすることができる。このような一元位相空間は位相空間と連続写像の圏 '''Top''' における終対象である。他にこの圏 '''Top''' の終対象となる位相空間は存在しない。
* 任意の単集合は、唯 1通りの（唯一の元を[[単位元]]とする）方法で[[群 (数学)|群]]にすることができる。このような一元群（[[自明な群|単位群]]）は、群と群準同形の圏 '''Grp''' における零対象である。他にこの圏 '''Grp''' の終対象となる群は存在しない。

== 定義函数による定式化 ==
[[類 (数学)|クラス]] ''S'' を[[指示関数]] '''1'''<sub>''S''</sub>: ''X'' &rarr; {0, 1} が定義するものとすると、''S'' が単集合であるための必要十分条件は、その指示関数 '''1'''<sub>''S''</sub>  が適当な ''y'' &isin; ''X'' に対して
: '''1'''<sub>''S''</sub>(''x'') = (''x'' = ''y'')　　(∀ ''x'' ∈ ''X'')
（右辺は[[アイバーソンの記法|アイバーソン括弧]]）を満たすことである。

歴史的には、この定義は[[アルフレッド・ノース・ホワイトヘッド|ホワイトヘッド]]と[[バートランド・ラッセル|ラッセル]]が自然数 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>。

== 脚注 ==
{{Reflist}}

== 関連項目 ==
*[[類 (数学)]]

{{DEFAULTSORT:たんしゆうこう}}
[[Category:集合の基本概念]]
[[Category:数学に関する記事]]
[[Category:1]]