レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。

「集合・位相入門」輪読会

121：Ενταξει(☆4) </b><font color=#FF0000>（DTxrDxh6）</font><b>：2004/03/05(金) 02:46: >>120
1つ目は

A⊂X,A^ｃ⊂XよりA∪A^c⊂X,
x∈X∧(￢(x∈A∪A^c))とすると
x∈X∧(￢(x∈A)∧￢(x∈A^c))
即ちx∈X∧(￢(x∈A)∧(x∈A)).
これは常に偽.よって
x∈X⇒x∈A∪A^c
即ちX⊂A∪A^c

って感じでいいんじゃないでしょうか。

掲示板管理者へ連絡無料レンタル掲示板