現代数学はインチキだらけ

[過去ﾛｸﾞ] 現代数学はインチキだらけ (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

927: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/03(木) 21:06:35.10 ID:yjiqL8Jw

>>921
おれも分かってないけど
お前も、分かってないね～ｗ
良い勝負だぜｗｗ(゜ロ゜;

下記
「ZFではクラスの概念を定式化することはできない
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない」
とあるよｗｗ（＾＾
（参考）
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
「クラス」の正確な定義は、議論の基礎となる文脈に依存する。
ツエルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、
他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、
「クラス」の概念は公理化されている
（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。

公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできない
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。
しかし、到達不能基数 κ の存在を仮定すれば「それよりランクの小さな集合全体」は ZF のモデル（グロタンディーク宇宙）になり、その部分集合を「クラス」として考えることができる。

ノイマン-ベルナイス-ゲーデルの公理系 (NBG) を例に挙げよう。
この理論ではクラスは基本的な対象であり、集合は別のクラスの要素であるクラスとして定義される。
しかしながら、NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。
これにより、NBG は ZF の保存拡大となる。

モース-ケリー集合論 (MK) は（NBG のように）真クラスを基礎的な対象として認めるものだが、集合の存在公理の中で全ての真クラスを走る量化をも許す。これにより、MKはZFやNBGより真に強い。

http://rio2016.5ch.net/test/read.cgi/math/1567930973/927

967: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/04(金) 07:24:01.79 ID:/jHGImgR

>>940
>ツェルメロの自然数構成法を、正則性公理否定するだとぉー？！ ｗ(゜ロ゜;
>お笑いおサルの集合論ですね～ｗｗ

＜まとめ＞
1)下記のように、ZF集合論ではクラスを厳密に扱うことができない。ZF の公理系をそのままクラスに関する言明に適用することはできない
2)”X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。”とある
3)なので、同様に、正則性公理は、一つのクラスの中での、無限降下列が存在しないことを主張する公理なのである
4)極限順序数ωは、順序位相で極限点であり、任意の近傍が S の点を無限に含む
5)ωの近傍に有限順序数の点を無限に含むが、正則性公理には反しない
6)これを説明しているのが、>>882-883の整礎関係におけるωの記述だ！(゜ロ゜;

（>>927より）
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできない
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。

（>>905より）
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数
(抜粋)
定義
基数の厳密な定義
（カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた）基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。
つまり X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される。
これは、ZFCや関連する集合論の公理系ではうまく機能しない。
実際、X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考える事によって、宇宙から｜X｜ への単射が存在し、サイズの限界(en:Limitation of size)より、｜X｜ は真のクラスである。
フォン・ノイマンの割り当て

つづく

http://rio2016.5ch.net/test/read.cgi/math/1567930973/967

969: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/04(金) 07:31:18.93 ID:/jHGImgR

>>965
>圏論を集合論だと思う馬鹿がいるとはな

おサルさん、
圏論と集合論とは、グロタンディーク宇宙 Uで繋がっているんだよ(゜ロ゜;
知らなかったらしいな（＾＾；

https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。
同様に、共通部分、順序対、冪集合などもまた U の内部にある。これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって固有類ではないことである。

最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる。すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。
対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている。
すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。すると通常の集合論の独立変数が、すべての圏の圏に適用される。
さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ。

グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。" この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。
つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1567930973/969

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.022s