「空集合」の版間の差分

削除された内容 追加された内容
自伝の記述を追加。参考文献を追加。
6行目:
 
== 性質 ==
* 全ての集合は空集合を[[部分集合]]として含む。つまり、任意の集合を ''A'' とすると、<math>&empty; \varnothing \subseteq ''A \, </math>''
* どんなものであれ、空集合に元として含まれることはない。
* 空集合の部分集合は空集合自身のみである。
* 空集合の元の数は0である。つまり、<math>|\varnothing&empty;| = 0</math>
* どんな集合 ''A'' についても、''A'' と空集合 &empty; の[[和集合]]は ''A'' に等しく、''A'' と &empty; の[[積集合]]は &empty; に等しい。すなわち、
: A ∪ &empty; = 0, A ∩ &empty; = &empty;
:<math> A \cup \varnothing = A , \quad A \cap \varnothing = \varnothing \, </math>
これらは[[実数]] ''a'' と 0 の[[加法|和]]と[[乗法|積]]についての
:<math> ''a'' + 0 = ''a''. , \quad ''a'' \times× 0 = 0 \,</math>
に対応している。