したらばTOP ■掲示板に戻る■ 全部 1-100 最新50 | メール | |

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

35：Мечислав(☆9) </b><font color=#FF0000>（DTxrDxh6）</font><b>：2005/03/20(日) 03:23:13
>>28
集合Xの部分集合に関する性質Cが有限的な性質であることの定義は
{Y∈2^X|Yが性質Cを持つ}={Y∈2^X|∀Z∈2^Y(Zが有限集合⇒Zは性質Cを持つ}
と言い換えられるので,
{Y∈2^X|Yが性質Cを持つ}=A,
{Y∈2^X|∀Z∈2^Y(Zが有限集合⇒Zは性質Cを持つ}=Bとおくと
「あるY⊂Xについて(*)が成り立つが別のY'⊂Xについて(*)が成り立たないとき」
というのはA=B≠2^Xってことですから, Cは有限的な性質では？

えと、例を挙げよってのを演習スレに投下しときましょう。
新着レスの表示

名前： E-mail（省略可）：

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）
掲示板管理者へ連絡 無料レンタル掲示板