集合の等しさ
2つの集合AとBが持っている要素が同じとき，かつ，そのときに限って，AとBは等しいと定めます.(p.3)
$ A = \{1,2,3\}と$ B= \{1,2,3\}の2つの集合がある場合、これは等しい
どっちも要素がおんなじだからだcFQ2f7LRuLYP.icon
発展：$ \{1,2,2\}と$ \{1,2\}は等しい？
おっと問題が生えてきたぞcFQ2f7LRuLYP.icon 持っている要素が同じかどうかで考えればよさそう。個数は上の定義(?)では言及されてない
どちらも1と2を要素に持ってる。でそれ以外の要素はない。
要素はおんなじだと言える
こたえ：$ \{1,2,2\}と$ \{1,2\}は等しいcFQ2f7LRuLYP.icon
現実の感覚とは異なるが
「現実の感覚とは異なる」というのがヒジョーに大事だと思う
数学だと鶴亀算で鶴と亀の鶴亀要素を捨象して足のみで考える(?)
めちゃくちゃな字面になった
鶴亀という具体から、数という抽象へ移動している
定義の中で是か非かを考える
「現実世界」の物差しを捨てる必要がある
オセロの世界で囲碁はできないみたいなtakker.icon
つまらない言い回しになるけど、この辺はいわば「定義ゲー」だと思っているtakker.icon ルール通りに展開するだけ
ちゃんと定義にそって考えている点がすごいtakker.icon*2
takker.iconだったら確実に引っかかっていた
あってます！takker.icon
$ A = \{2,4,6,8,10,\cdots\}と$ B= \{2,4,6,8,10\}の2つの集合がある場合、これは等しくない
Aに属している要素{12, 14, ...}がBには属していないからcFQ2f7LRuLYP.icon
この場合、Bの要素全部がAの要素でもあるので、BはAの部分集合だといえる