[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
545: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/11/30(土) 21:01:38.15 ID:4Ujjq2jv >>544 つづき 私たちが知っているように、すべてのオブジェクトのセット（存在する場合）は逆説的な特性を享受します。サブアセンブリ。 すべてのセットで構成されるクラスと同じです 単一の要素を含む;したがって、Kクラスはチェックしません、カントールの定理。 ?この事実を考慮して、クラスKの存在そのものに疑問を投げかけることができます。 その欠点を取り除くために、シェルピンスキー氏の定義を修正することで、次の定義が得られます。 すべてのサブセットのクラスが （空ではない）が条件を満たす唯一のクラスです： 1.その要素は、Mのサブセット（空ではない）です。 2. Mの単一要素を含むセットは、このクラスに属します。 3. AとBがこのクラスに属する2つのセットである場合、それらのセット-sorn A + Bもそれに属します。 つづく http://rio2016.5ch.net/test/read.cgi/math/1570237031/545
546: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/11/30(土) 21:02:27.12 ID:4Ujjq2jv >>545 つづき この定義に従った有限集合も通常の意味で相互に関係していることを示すことができます。 言い換えれば、提案された定義に従ってセットが有限であるためには、その要素の数を自然数で表現できることが必要かつ十分です（自然数の概念は既知であると想定されています）。 ?実際、Mを要素の数を自然数で表現できるセットとします。 Zを条件1-3を満たす任意のクラスとします。 MのすべてのサブセットがZに属することを示します。 これは-条件2で-単一の要素で構成されるサブセットです。同時に、これがn個の要素を含むサブセットである場合、n + 1を含むものの3つによると同じです。 Mの各サブセットの要素の数は自然数で表されるため、ZにはMのすべてのサブセットが含まれることが帰納法に従います。 したがって、クラスZは必然的にMのすべてのサブセットのクラスと同一であるため、条件1?3を満たす唯一のクラスです。 したがって、要素の数が自然数で表現できるセットは、私たちの意味では有限のセットです。 一方、集合の要素数がMを与える場合、それ自体を自然数で表現しないと仮定します。 Zを、要素の数を自然数で表現できるMのすべてのサブセットのクラスとします。 このクラスは明らかに条件1?3を満たします。同時に、仮説によれば、MはZに属しておらず、その結果、ZはMのすべてのサブセットのクラスと同一ではありません。したがって、Mのすべてのサブセットのクラスは条件1?3を満たす唯一のクラスではなく、Mは私たちの意味では有限ではありません。 Q。 F。 D。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1570237031/546
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
3.167s