ﾚｽ書き込み

現代数学の系譜　カントル　超限集合論

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>165
> >>164 追加
> （参考）
> 現代数学はインチキだらけ より
> https://rio2016.5ch.net/test/read.cgi/math/1567930973/882-
> https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
> 整礎関係
> (抜粋)
> その他の性質
> (X, <) が整礎関係で x が X の元ならば、x から始まる降鎖列は必ず長さ有限だが、これはこのような降鎖の長さが有界であるということを意味しない。
> 以下のような例を考えよう。X は正の整数全体の成す集合に、どの整数よりも大きな 整数ではない新しい元 ω を付け加えた集合とする。
> このとき X は整礎だが、ω から始まる長さ有限の降鎖列でいくらでも長いものが取れる。なんとなれば、任意の正整数 n に対して
> ω, n - 1, n - 2, ..., 2, 1
> という鎖は長さ n を持つ。
> モストウスキーの崩壊補題 (Mostowski collapse lemma) によれば、集合要素関係 (set membership) は普遍的な整礎関係である。つまり、クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる。
> (引用終り)
> （英語版）
> 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, ∈).
> (引用終り)

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.020s