[開設 07/03/23=MM/DD/YY]

空集合は存在する．

空集合には要素は存在しないが，空集合自身は集合として存在する．
空集合 ∅ は何もないことを表す便宜的なものなのではない．

空集合は，例えて言うなら，中が空っぽのの箱，空き箱である．
中が空でも，箱は存在しているのである．

このことは，モノを数える場合 0（ゼロ）がモノがないことを表すのにも関わらず，0（ゼロ）が数として存在することと同様である．

例えば， { ∅ } ≠ ∅ である．
{ ∅ } は 空集合 ∅ を要素として持つので，空集合ではない．中括弧の中の ∅ の存在を無視してはいけない．空集合 ∅ の要素数は 0（ゼロ）だが，{ ∅ } の要素数は 1 である．
空集合 ∅ が何もないことを表す便宜的なものだと考えると，
{ ∅ } = { } （∵ ∅ は何もないのと同じだから ← これは誤り）
= ∅ （∵ 要素がない集合は空集合だから）
と 間違えてしまう．
今まで空集合は便宜的なウソッコの集合と思っていて，このページで初めて空集合をホンモノの集合として認識・発見した諸君，自分の勘違いを嘆く必要はありません．これは貴重な経験でもあるのです． → 「空集合の発見から零の発見をおもう」
離散構造（室伏）のホーム
murofusi "at mark" c "dot" titech "dot" ac "dot" jp ("at mark" -> @ / "dot" -> .)