レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。
「集合・位相入門」輪読会
-
>>335
＞(∃a∈(P_1∪P_2))(f(a)=b) ⇔ {∃a∈P_1(f(a)=b)}∨{∃a∈P_2(f(a)=b)}
これは、a∈(P_1∪P_2) ⇔ a∈P_1∨a∈P_2 より自明ではないでしょうか。
この同値変形をあえて日本語で解釈するのなら、
左側は「P_1またはP_2に属するaが存在して、f(a)=bとできる」
右側は「P_1に属するaが存在して、f(a)=bとできるか、または
P_2に属するaが存在して、f(a)=bとできる」
となると思います。
＞{b| (∃a∈A∩P^c)(f(a)=b)}＝{b| ∃a∈A(f(a)=b)}∩{b| ∃a∈P^c(f(a)=b)}
これマズいですね…すいません。
たぶん (左辺)⊂(右辺) になりますね。うーん。
＞上のやつは∪を∩に、∨を∧にしても成り立つのでしょうか？だとすれば(4.3)は=になるような気がするんですが。
うーん。「または」「和集合」のときだけ成り立つような気がします。
ちょっと考える時間をください。
掲示板管理者へ連絡
無料レンタル掲示板
