id:witchmakersと読むなどした。第一章の最初から、P20の(2.17)付近まで。来週は(2.17)の解読くらいからやるなどしたい。
空集合は任意の集合の部分集合
であるということ。
- なんだか不思議な感じがするよねー
- 集合だけじゃなくて、集合系(P18)についても成立するのかな
という付近について議論した。不思議な感じがするところは論理命題のところに秘密がかくされていたりした。p、qを命題として、pを偽とする。するとp'は真ということになって、qの真偽によらずは真である(P10の(b)を(a)により導いた)。これを利用して、任意の集合Aに対してであることを示していた。
で、「集合だけじゃなくて、集合系(P18)についても成立するのかな」というところ(P18の最終段落)。空集合は任意の集合系の部分集合であるか否か、という問題。集合系も集合であることを考えると成り立ちそうなんだけど、本当に?とした時、というのが考えられるが(べき集合(power set))、これの部分集合を考えたものが「部分集合系」ということになる。例えばである。この時、のようなものも部分集合系となるんだろうか?というような疑問。ってならなくないか?とおいらが勝手に思ってしまっていた。が、差しているものが違うのだった。部分集合であるとを言っているだけで、要素であるとは言っていない。そういうわけで、というのは成立して、空集合は任意の集合の部分集合というのは集合系についても成立しそうだということが分かった。
集合系の和集合、共通部分
ちょい苦手っぽい部分だな、ここは。みたいなの*1は測度論の時に山のように出てきたんだけど、これではない。というような感じのもの。集合系の和集合とか言うらしい。が、これだけじゃ意味分からねー。と言ってたところにid:witchmakersが例を出してくれた。
にたいしてというようなのが集合系の和集合。なるほどー。共通部分はですね。
で、これを厳密にやろうということで論理記号を持って集合系の和集合とかを定義してあったりした。という感じ。共通集合については、分かりやすいからいいんだけど、和集合についてがちょっと分かりづらい。あと(2.17)から(2.18)'くらいまでが分かってない。なんだけど、眠くなってきたので後日復習。
*1:P13とかの