空集合
出典: フリー百科事典『ウィキペディア(Wikipedia)』
集合とは、素朴には一定の決まりに従って数学的対象を集めた集まりのことである。しかし、集合論の議論をする上で、「何も含まない集まり」「何も集めていない集まり」を集合の一種と考えた方が自然である。この何も含まない集合 {} のことを空集合(くうしゅうごう、英:empty set)と呼び、通常は記号 ∅ または で表す。この記号法はブルバキによる。実体参照では∅で記述し、Ø (Ø:ノルウェー語またはデンマーク語のアルファベット)と区別されている。この記号は、タイプライターにおいて0(ゼロ)の上から/(スラッシュ)を重ね打ちしたものが起源である。UnicodeではU+2205、JIS X 0213では1-2-39のコードが定まっているが、という文字の活字が無い場合もあるので、組版の都合上、見た目が似ているギリシャ文字のφで代用する習慣もある。
[編集] 性質
- 全ての集合は空集合を部分集合として含む。
- どんなものであれ、空集合に元として含まれることはない。
- 空集合の部分集合は空集合自身のみである。
- 空集合の元の数は0である。つまり、