[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
35(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/22(日)08:13 ID:jNutOcAm(3/6) AAS
>>34 補足
これは、下記の極限順序数の定義
「順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)」
と同じかな（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
極限順序数
(抜粋)
特徴付け
極限順序数は他にもいろいろなやり方で定義できる:
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
(引用終り)
37(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/22(日)08:22 ID:jNutOcAm(5/6) AAS
>>35 補足
＞極限順序数
＞極限順序数は他にもいろいろなやり方で定義できる:
＞・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
順序位相（英語版）に関する極限点だから、極限順序数と呼ぶのかな？（＾＾
40(1): 2019/12/22(日)09:01 ID:dWgKJ6XY(8/14) AAS
>>35 >>37
順序位相を持ち出しても
「（Zermeloの自然数ｎがシングルトンだから）
ZermeloのΩがシングルトン」
というナイーブな主張は正当化できませんね
シングルトン＝前者の存在、となりますから
数学はナイーブな直感だけで分かるほど
甘っちょろいもんじゃありませんよ
47(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/22(日)20:19 ID:jNutOcAm(6/6) AAS
>>40
何を訳の分からんことを
言っているのかね？
ノイマン構成によるωだって
結局は、極限なんだよ
いかなる前者の存在もありえず、よってωは後者関数による生成ではない
その極限の存在を認めるのが、無限公理ですよ
Zermelo構成に同じ
結局は、極限なんだよ
Zermelo構成による後者関数の極限
lim ｎ→∞ suc(n) が存在する
それを、可算多重シングルトンωと名付ける（数学的には定義するだな）
あのさ
Zermelo構成対する批判は
ノイマン構成についても当てはまるんだぜ
よく覚えておけよｗ（＾＾
（>>35より再録）
外部ﾘﾝｸ:ja.wikipedia.org
極限順序数
(抜粋)
特徴付け
極限順序数は他にもいろいろなやり方で定義できる:
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
(引用終り)
63(6): 2019/12/25(水)12:08 ID:xYwdBxRF(1/3) AAS
>>58
>では位相空間はなにに設定するのですか？
>近傍族はなんですか？
ほいよ（＾＾
（>>35より再録）
外部ﾘﾝｸ:ja.wikipedia.org
極限順序数
(抜粋)
特徴付け
極限順序数は他にもいろいろなやり方で定義できる:
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
(引用終り)
"順序位相（英語版）"
より、下記
まあ、確かに、 (a,∞)とか”∞”が定義されていないと、
循環論法になるけど、
”∞”が先に別の仕方で定義されていれば、これで良いだろ
外部ﾘﾝｸ:en.wikipedia.org
Order topology
(抜粋)
In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets.
If X is a totally ordered set, the order topology on X is generated by the subbase of "open rays"
(a,∞)={x ｜ a<x}}
(-∞,b)={x ｜ x<b}}(
for all a, b in X. Provided X has at least two elements, this is equivalent to saying that the open intervals
(a,b)={x ｜ a<x<b}}
together with the above rays form a base for the order topology. The open sets in X are the sets that are a union of (possibly infinitely many) such open intervals and rays.
A topological space X is called orderable if there exists a total order on its elements such that the order topology induced by that order and the given topology on X coincide. The order topology makes X into a completely normal Hausdorff space.
The standard topologies on R, Q, Z, and N are the order topologies.
Contents
1 Induced order topology
2 An example of a subspace of a linearly ordered space whose topology is not an order topology
3 Left and right order topologies
4 Ordinal space
5 Topology and ordinals
5.1 Ordinals as topological spaces
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s