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

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

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

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

>>882
つづき

（英語版）
https://en.wikipedia.org/wiki/Well-founded_relation
Well-founded relation
(抜粋)
Other properties
If (X, <) is a well-founded relation and x is an element of X, then the descending chains starting at x are all finite, but this does not mean that their lengths are necessarily bounded.
Consider the following example: Let X be the union of the positive integers and a new element ω, which is bigger than any integer.
Then X is a well-founded set, but there are descending chains starting at ω of arbitrary great (finite) length; the chain ω, n - 1, n - 2, ..., 2, 1 has length n for any n.

The Mostowski collapse lemma implies that set membership is a universal among the extensional well-founded relations: for any set-like well-founded relation R on a class X which is extensional, there exists a class C such that (X, R) is isomorphic to (C, ∈).
(引用終り)
以上

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

905: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/10/03(木) 17:18:35.44 ID:x+DVmNvw

>>904 追加
ネタバレ書いておくと
”カントール 古い定義 X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される”
”これは、ZFCや関連する集合論の公理系ではうまく機能しない”
”スコットのからくり
正則性公理の元、任意のクラスにたいし画一的に（そのクラスの部分クラスとなるような）集合を割り当てる方法”
辺りかなｗ（＾＾
（参考）
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数
(抜粋)
数学において基数(きすう、cardinal number又はcardinal)とは、集合の濃度（ cardinality ）を測るために定義された自然数の一般化である。
動機
有限集合の要素の個数は自然数を使って数えることが出来る。
有限集合の場合の自然数の一般化として無限集合の濃度についてもそれを表す「指標」として基数を定義したい。
カントールは基数を濃度が等しい集合からなる同値類として素朴に定義した。しかし（ZFCなどの標準的な集合論では）この方法では基数を集合として扱うことは出来ず、また基数からなる集合やクラスを考えることは本質的に困難である。これを回避する方法はフォン・ノイマンやデイナ・スコットによって提示された。

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

フォン・ノイマンの割り当て
略

スコットのからくり
正則性公理の元、任意のクラスにたいし画一的に（そのクラスの部分クラスとなるような）集合を割り当てる方法であるスコットのからくりを使うと、 整列可能とは限らない集合 X に濃度として [X] の代わりに集合を以下のように割り当てることが出来る（詳しくはスコットのからくり（英語版）を参照）。
略

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

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

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

ぬこの手ぬこTOP 0.033s