[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
313: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/12(土) 22:33:16.85 ID:0oc9Ztsl >>293 (引用開始) Ω=x1∋x2∋‥‥∋xm X[m]={(x1,x2,‥,xm) | x1=Ω, x[i]∋x[i+1]} (引用終り) ？ xmをいくらでも小さく取れるということですか？ それこそ、正則性公理で禁止されていることですよ つまり、ZFCで空集合Φに、ノイマン型で後者関数を使って、自然数を作る 最小値（集合） 0＝Φで、これが最小値（集合） ノイマン型で 0∈1∈2∈・・∈n・・ となって 最小値（集合） 0＝Φより、小さい値（集合）は存在しません！ 一方、大きな値（集合）は、可能です 無限大も可能です（もちろんアレフ1もアレフ2も可能です） なお、正則性公理の規定によって、∈関係において、∈は等号の意味は含みません つまり、「X∈X」は禁止されていますので、「・・X∈X∈X∈X」という等号型の無限ループは許されていません さて、そろそろ宜しいでしょうか？ 私は、(>>257)『おっさんずラブ』ならぬ、おっさんずゼミ(゜ロ゜; （どこのだれとも知れぬ”名無しさん”＝おっさんたちと、ゼミやる気ないです（＾＾； 大学教員だとかいうなら、話は別ですがね） そんな趣味ないので、あしからずご了承ください ｗ（＾＾； （たまに冷やかしで書くかも知れませんが、そのときはよろしく） http://rio2016.5ch.net/test/read.cgi/math/1570237031/313
315: １３２人目の素数さん [sage] 2019/10/12(土) 22:50:41.54 ID:Vy+smElV >>313 いえ違いますよ。 とりあえず>>308で書いた事が認められないという立場なのですね？ では>>308のどの主張が認められないのか指摘して下さい。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/315
317: １３２人目の素数さん [sage] 2019/10/12(土) 23:03:28.11 ID:Vy+smElV >>313 いえ違いますよ。 とりあえず>>308で書いた事が認められないという立場なのですね？ では>>308のどの主張が認められないのか指摘して下さい。 >>308の主張はたった一つです。 hypothesis(h)の元にness. cond. 1が導かれる。 という主張です。 証明にギャップがあって認められないのはどこですか。 指摘して下さい。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/317
319: １３２人目の素数さん [sage] 2019/10/13(日) 00:01:32.64 ID:m8dyiQfg >>313 > xmをいくらでも小さく取れるということですか？ やっぱりF(Ω)とNを混同してませんか？ そもそも>>308の主張では一切F(Ω)に順序など入れてませんよね？ xmはF(Ω)の元ですよ？ 順序集合ですらないのにいくらでも小さくとれるも何もないでしょ？ >>308のclaimのSの最大値といってるSを含んでいるNの持っている整列順序ですよ？ SはNの部分集合なのでNの順序を制限したものを持ってます。 xmをいくらでも小さく取れるなんて主張はxmの入っているF(Ω)に順序が入ってないと言えませんが、>>308のどこにもF(Ω)の順序を定義などしてませんよ？ そして>>308の主張のどこをどう読んでもxmに最小値があると読める部分はないはずですが？ >>308の議論ではF(Ω)とNの部分集合が出てきてますけど区別できていますか？ http://rio2016.5ch.net/test/read.cgi/math/1570237031/319
321: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/13(日) 07:09:07.19 ID:sXrN/kYa （>>313より） おっさんずゼミ＝「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」やる気ないです 但し、好きなときに好きなことを書かせてもらいます（＾＾ ちょっと思いついたので、下記をば >>314 ＞ωの一番右のΦってなんだよ？ｗ じゃ、 ノイマン後者関数（左右入れ替え）；suc(a) := {a}∪a（= a∪{a}） とでもしておけば良い ωの一番左のΦだよ 等号（＝）に一番近いやつ これは動かないから 探さなくて良いぜ(゜ロ゜; http://rio2016.5ch.net/test/read.cgi/math/1570237031/321
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s