集合論について

[0001 １３２人目の素数さん 2013/11/18(月) 04:05:17.08]

いくらなんでも数学板に集合論全般を扱うスレがないのはおかしいだろ

[0068 １３２人目の素数さん 2014/01/05(日) 06:53:32.25]

空集合は元を含まないので、空集合が空集合の部分集合であっても矛盾しない。

[0069 １３２人目の素数さん 2014/01/05(日) 06:57:37.64]

|A|=|B|=0 のとき、A=B だから、A⊆B、B⊆A はどちらも真

[0070 １３２人目の素数さん 2014/01/05(日) 15:20:39.47]

>>66 集合をビニール袋だと思え。
空集合は何も中身が入っていないビニール袋だ。

x∈A はAという集合にxが含まれている。
A⊂B は集合Bが集合Aを覆う。（含む含まないという言葉を使わない方が理解しやすい）
BがAを覆うというのは、Bの袋から要素を取り除くという操作をしたかもしくは何も操作しないときに
Aにできるということ。

空集合は空集合を覆う。（φ⊂φ）
これは、何もないビニール袋に何も操作しなければなにもないビニール袋のままであるということ。