したらばTOP ■掲示板に戻る■ 全部 1-100 最新50 | メール | |
レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。

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

144LAR-men </b><font color=#FF0000>(lBLdA0dk)</font><b>:2004/03/06(土) 20:20
【(2.17) ∀A∈&Atilde;[A⊂(∪&Atilde;)] の証明】
A∈&Atilde; ⇒ A⊂(∪&Atilde;) を示せばよい。
A∈&Atilde; のとき、(&Atilde;の和集合の定義 ∪&Atilde;={x| ∃A∈A(x∈A)} より)
任意の x∈A に対して x∈(∪&Atilde;). ←(ここもっと詳しくお願いします。①)
∴ A⊂(∪&Atilde;). (終)
【(2.18) [∀A∈&Atilde;(A⊂C)] ⇒ (∪&Atilde;)⊂C の証明】
 (A∈&Atilde; ⇒ A⊂C)⇒ (A⊂(∪&Atilde;) ⇒ A⊂C) ←(X⇒Yのとき、(X⇒Z)⇒(Y⇒Z)?②)
 ⇔ (∪&Atilde;)⊂C. ←((P⊂Q⇒P⊂R)⇔Q⊂Rは、正しいと思うけど、どっかで証明したっけ?③)




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