[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
726: 2019/12/14(土)08:22 ID:CsbquFhS(1/18) AAS
>>724
>降順はダメで、上昇はOK
なぜだかわかるかい?
上昇列のどの項から下降しても有限ステップで{}に至るからだよ
つまり上昇列には無限重の{…}は現れない
これ豆な
727: 2019/12/14(土)08:29 ID:CsbquFhS(2/18) AAS
>>725
ノイマン構成のωはいかなる集合aのa∪{a}にもならないし
ツェルメロ構成のΩはいかなる集合aの{a}にもならない
つまりどちらも次者関数でつくられるものではない
Ωが全ての有限重{…}より大きく、
Ωから{}への降下列が有限長である
ようにするには、Ωが全ての有限重{…}を
省1
728(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:37 ID:s6Tab8iq(6/15) AAS
>>725 つづき
<ノイマン構成>にしろ、<Zermelo構成>にしろ
0,1,2,3,・・・たちを集合として見たら
上昇列:0∈1∈2∈3∈4∈…
が構成される
これは、可算無限長の上昇列
で、<ノイマン構成>と<Zermelo構成>とは、一対一対応がつくのです
省16
729(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:50 ID:s6Tab8iq(7/15) AAS
>>728 補足
ノイマン構成で、下記のカントールの順序数が構成できる
具体的には、ノイマン構成で順序数ωが構成できる
(当たり前だが)
ノイマン構成とZermelo構成とは、その構成法から、一対一対応がつく
(∵ 後者関数が少し違うだけなので、順序列としては当然同型になる(∈列として同型))
よって、Zermelo構成で順序数ωが構成できる
省12
730: 2019/12/14(土)09:03 ID:CsbquFhS(3/18) AAS
>>720
>…が不成立だとか、
成立するね
無限列に最後尾の項が存在しないから
731(1): 2019/12/14(土)09:14 ID:CsbquFhS(4/18) AAS
>>729
>無限集合の公理によりできる集合 M には、自然数Nに余分な(過剰)要素が存在する
「存在する」と言い切った瞬間、トンデモになる
無限集合の公理を満たすいかなる集合にも存在する「過剰」要素があるなら
共通部分をとったところで排除できないから
つまり、「過剰」要素を全くもたないものがある
>過剰要素は、有限の要素ではありえない
省15
732: 2019/12/14(土)09:19 ID:CsbquFhS(5/18) AAS
>>729
>Zermelo構成で順序数ωが構成できる
然り
>順序数ωを簡便に表現すれば、例えば {{…}} ってことです
否
>(この簡便化した表現をいくら攻撃しても、
> Zermelo構成の順序数ωの存在は否定できないよ)
省2
733: 2019/12/14(土)09:21 ID:CsbquFhS(6/18) AAS
無限=超準的な有限、というのは全くの誤解である
なぜなら超準的な自然数には前者が存在するが
例えば最初の超限順序数ωには前者が存在しない
734: 2019/12/14(土)09:40 ID:CsbquFhS(7/18) AAS
>>731
例えばノイマン型の無限公理を満たす集合の要素に
{{{}}}が入っていてもかまわない
ただその場合
{{{}}}∪{{{{}}}}={{{}},{{{}}}}
も要素として入っている必要はある
「過剰」要素とはそういう程度の他愛ない話
735(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)10:04 ID:s6Tab8iq(8/15) AAS
おサル、必死の言い繕い
墓穴を大きくするおサルw(^^;
736: 2019/12/14(土)10:11 ID:CsbquFhS(8/18) AAS
>>735
縁なき衆生は度し難し
737: 2019/12/14(土)10:56 ID:CsbquFhS(9/18) AAS
2chスレ:math
◆e.a0E5TtKE君は、まず∞がZの元でないことを理解したほうがいいな
ついでにいうと、f(z)=z+1で、z=∞は不動点
738: 2019/12/14(土)14:58 ID:4Uy77aKd(1/2) AAS
>>729
>順序数ωを簡便に表現すれば、例えば {{…}} ってことです
{{…}} が正則性公理に反することすら理解できないアホに数学は無理
739(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:14 ID:s6Tab8iq(9/15) AAS
(^^;
「∈列 有限長」ww
おサル=ID:uZFmzNJe は、恥かき
”「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから”ww
(>>636より)
Inter-universal geometry と ABC予想 42
省24
740(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:31 ID:s6Tab8iq(10/15) AAS
>>739
>”「集合のいかなる∈列も有限長で終わる」
じゃ、>>728の
<ノイマン構成>
0,1,2,3,・・・たちを集合として見て
可算無限長の上昇列
0∈1∈2∈3∈4∈…
省3
741: 2019/12/14(土)16:03 ID:4Uy77aKd(2/2) AAS
誰も上昇列が有限でなきゃならないなんて言ってないがなw
しかし{{…}}は∈無限降下列ができるから正則性公理違反
バカはいまだに分からないようだが
742: 2019/12/14(土)16:49 ID:CsbquFhS(10/18) AAS
>>739
「∈列といえば∈降下列だ」と分からない白痴には困ったもんだ
743(2): 2019/12/14(土)16:55 ID:CsbquFhS(11/18) AAS
>>740
>0∈1∈2∈3∈4∈…
>当然この列は、ωを超えて延長可能
白痴が何も考えずに漫然と嘘書き流してるね
ωがいつどうやって出てくる、と思ってるのかな
「ω-1∈ω」という形で現れると思ってるなら大馬鹿野郎w
ω-1なんて存在しないから
省10
744(1): 2019/12/14(土)17:10 ID:CsbquFhS(12/18) AAS
◆e.a0E5TtKEがいまだに全く理解できていない基本的概念w
外部リンク:ja.wikipedia.org
「極限順序数(きょくげんじゅんじょすう、英: limit ordinal)は
0でも後続順序数でもない順序数を言う。」
後続順序数でない=前者が存在しない、ということ
0も前者が存在しないが、
0は始まりとして定義されているので
省15
745: 2019/12/14(土)17:45 ID:CsbquFhS(13/18) AAS
2chスレ:math
◆e.a0E5TtKEって・・・横辺君だったんだな( ^ω^)
746: 2019/12/14(土)17:58 ID:CsbquFhS(14/18) AAS
今日の動画
動画リンク[YouTube]
一番好きだとみんなに言っていた
定理のステートメントを全然思い出せないのは
本当はそんな好きじゃないから( ^ω^)
747(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)21:58 ID:s6Tab8iq(11/15) AAS
>>743
>ωから降下していく場合、いきなり何かある自然数nに降下するから
おサルの墓穴は、笑えるわw
下記の
”定義 2.2
( X, =< )を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
省30
748(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)22:07 ID:s6Tab8iq(12/15) AAS
>>747 補足
”定義 2.2
( X, =< )を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)”
は、列の長さを言っているんだろ?(^^
勝手に、
(>>743)
省8
749: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)22:09 ID:s6Tab8iq(13/15) AAS
>>748 タイポ訂正
列 ・・・<an <an-1 <・・・ で
例えば、an-1 <・・・ を飛ばすのか?
↓
列 ・・・<an <an+1 <・・・ で
例えば、an+1 <・・・ を飛ばすのか?
おサルを笑っていたら
省1
750: 2019/12/14(土)22:14 ID:CsbquFhS(15/18) AAS
>>ωから降下していく場合、いきなり何かある自然数nに降下するから
>ってさ、勝手に途中の要素いくつか
>列 ・・・<an <an-1 <・・・ で
>例えば、an-1 <・・・ を飛ばすのか?
ああ その通りだよ
飛ばしたらいけない!なんてどこに書いてある?
お前が勝手に幻聴を聴いたんだろう(嘲) この●違い野郎
省1
751: 2019/12/14(土)22:16 ID:CsbquFhS(16/18) AAS
ゴキブリ◆e.a0E5TtKEは
降下列すら正しく理解できない
正真正銘の白痴野郎wwwwwww
752(1): 2019/12/14(土)22:20 ID:CsbquFhS(17/18) AAS
>>748
>例えば、an+1 <・・・ を飛ばすのか?
>それが許されるなら
>無限列は常に有限列になるぞw
ああ、その通りだよ
いかなる超限順序数からの降下列も有限列
これが超限帰納法
省1
753: 2019/12/14(土)22:25 ID:CsbquFhS(18/18) AAS
ゴキブリ◆e.a0E5TtKEは
定義を読まずに自分勝手にデッチ上げるから
初歩で必ずみっともない間違いをしでかす
馬鹿も馬鹿 大馬鹿野郎wwwwwww
754: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)23:25 ID:s6Tab8iq(14/15) AAS
>>747 補足
”定義 2.2
( X, =< )を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
が存在しないとき、( X, =< )を整列順序という。
別の言い方をすれば、整列順序とは空でないどんな部分集合 Y ⊆ X も最小元を持つよう
な全順序のことである。”
省15
755: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)23:30 ID:s6Tab8iq(15/15) AAS
>>752
「いかなる超限順序数からの降下列も有限列
これが超限帰納法」
おサル
哀れななんとかさんと、良い勝負だな、おまえw(^^
756: 2019/12/15(日)00:33 ID:shQE/MNw(1/4) AAS
分かってなさ過ぎ
757: 2019/12/15(日)00:50 ID:WYNNIsFE(1/12) AAS
∩∩ ∧ ∧
(・×・) (×∀×)
(∋○∈)◌ (⊃⊂)
758: 2019/12/15(日)00:52 ID:WYNNIsFE(2/12) AAS
∧ ∧
(>×<)∩
(・・)
∪)ω∪
759: 2019/12/15(日)00:55 ID:WYNNIsFE(3/12) AAS
∧ ∧
(・×・)
∪・・∪
( × )
∪ω∪
760: 2019/12/15(日)00:57 ID:WYNNIsFE(4/12) AAS
AA省
761: 2019/12/15(日)01:00 ID:WYNNIsFE(5/12) AAS
『鬼才』と『キチガイ』
○ ○ ○
うん、似てる!
762: 2019/12/15(日)01:01 ID:1xZAPqJd(1/2) AAS
そもそも
X={…{∅}…}
なんて集合を考えたら
F(X)={Y|∃x1∈ x2∈ x3∈‥xn Y=x1, X=xn}
とおくときF(X)には単元集合(singleton)しか許してもらえないんでは?
表記的に?
どこまで行っても単元集合しか出てこないとしか解釈できない希ガス。
省5
763(1): 2019/12/15(日)01:04 ID:WYNNIsFE(6/12) AAS
>>744
やっぱり!
0
なんかこの世界に無いんでしょ❗
∞
↑
こいつも存在しないんだよね♪
764(1): 2019/12/15(日)01:07 ID:WYNNIsFE(7/12) AAS
AA省
765: 2019/12/15(日)01:08 ID:WYNNIsFE(8/12) AAS
AA省
766: 2019/12/15(日)01:09 ID:WYNNIsFE(9/12) AAS
キティも時々呟くスレ。。。
767: 2019/12/15(日)01:12 ID:WYNNIsFE(10/12) AAS
∧∧
(・×・)∩)) Ψナラ〜♪
768: 2019/12/15(日)01:27 ID:WYNNIsFE(11/12) AAS
マッスーずがタヒんじゃったよ〰!💧
769(1): 2019/12/15(日)01:28 ID:WYNNIsFE(12/12) AAS
AA省
770: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)07:39 ID:BvQtIPz4(1/5) AAS
>>769
ありがとう
ご苦労さま
771: 2019/12/15(日)08:30 ID:PRdnkv5o(1/16) AAS
S(x)={x}でいえるのは
”後続順序数がシングルトン”
というだけだね
0={}は空集合だからシングルトンじゃない
そしてωも
772: 2019/12/15(日)08:31 ID:PRdnkv5o(2/16) AAS
◆e.a0E5TtKE の誤り
「0以外の順序数は全部後続順序数だと思ってた」
馬鹿だねぇ…(「男はつらいよ」のおいちゃん風)
773: 2019/12/15(日)08:34 ID:PRdnkv5o(3/16) AAS
2chスレ:math
>欠点を見ないように、長所を見るように
◆e.a0E5TtKEは数学的には長所ゼロだから見るとこないな(バッサリ)
774: 2019/12/15(日)08:51 ID:PRdnkv5o(4/16) AAS
0 {} 濃度0
1 {{}} 濃度1
2 {{{}}} 濃度1
…
ω {{},{{}},{{{}}},…} 濃度aleph0
ω+1 {ω} 濃度1
ω+2 {ω+1} 濃度1
省1
775(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)09:08 ID:BvQtIPz4(2/5) AAS
>>763-764
>限り無く∞に近いが決して∞では無い 有限数
いいね。その考えは、
コンパクト化という考えだね
1)数学セミナー 2019年12月号に記事がある
2)拡張実数を考え、∞を導入すると、実数をコンパクト化できる
3)1/∞=0と定めることができる
省25
776: 2019/12/15(日)09:27 ID:PRdnkv5o(5/16) AAS
>>775
>7)ノイマンの自然数構成で、ωが構成できた
次者関数S(x)=x∪{x}だけではできないよ
無限公理
{}∈ω∧(x∈ω⇒x∪{x}∈ω)
を認めることではじめて構成できる
>8)この無限長の列は、当然正則性公理には反しない
省13
777: 2019/12/15(日)10:33 ID:pulS0MYz(1/6) AAS
>>775
ω→∞→1/∞≒ほぼ0=特異点。。。?
結局やっぱり ω≒∞ キャン玉なんですね♪
心のキャン玉は∞!!!
778: 2019/12/15(日)10:36 ID:pulS0MYz(2/6) AAS
ヤればデキる!Can玉!!
進化し続けるω∞!!!
779(1): 2019/12/15(日)10:38 ID:pulS0MYz(3/6) AAS
知らない1/∞を教えて頂いて嬉しくて、つい、大興奮してしまいました。。。
ありがとうございました。。。
780: 2019/12/15(日)10:43 ID:pulS0MYz(4/6) AAS
AA省
781: 2019/12/15(日)10:47 ID:pulS0MYz(5/6) AAS
僕がクイズ 君がマッスー
クイズの旅人
Viva La マティマティカーズ
782: 2019/12/15(日)10:48 ID:pulS0MYz(6/6) AAS
Ψナラ。。。
783(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)11:03 ID:BvQtIPz4(3/5) AAS
>>775 補足
(>>725より)
<ノイマン構成>
0 := {}, suc(a) :=a∪{a} と定義する
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
省31
784(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)11:10 ID:BvQtIPz4(4/5) AAS
>>779
どうも、レスありがとう
>知らない1/∞を教えて頂いて嬉しくて、つい、大興奮してしまいました。。。
うん、高校では、「∞は数じゃない」とかいうんだよね。教育的観点から
1/∞=0 は、可なんだけど
1/0 =∞ は、不可なんだ
で、大学入試対策上、
省4
785: [sage ] 2019/12/15(日)11:27 ID:sLZ5XGlu(1/2) AAS
>>784
ニクイ0のインチキですよ
トリッキーな奴です。。。
数学の信頼性をぐらつかせましたよ。。。
0とか∞とか、インチキ過ぎて。。。
はじめからカチッと教えて欲しかったですよね
公立小でちゃんととことん基礎的な理解を培っておかないと。。。
省1
786: 2019/12/15(日)11:29 ID:sLZ5XGlu(2/2) AAS
教えてくれてありがとう
787(1): 2019/12/15(日)13:19 ID:shQE/MNw(2/4) AAS
>>783
><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
アウト〜
{{…}}は正則性公理に反するので集合ですらない
そもそもωがシングルトンでなければならない道理がまるで無い
バカの妄想に過ぎない
788(1): 2019/12/15(日)13:31 ID:shQE/MNw(3/4) AAS
バカは正則性公理だけじゃなく無限公理も分かってないね
無限公理無しで無限集合が構成できると思ってる
だったら無限公理なんて要らんって話じゃん バカ過ぎw
789(1): 2019/12/15(日)13:32 ID:shQE/MNw(4/4) AAS
そういえばバカは選択公理も分かってなかったなw
結局何一つ分かってないw
バカに数学は無理w
790: 2019/12/15(日)14:42 ID:PRdnkv5o(6/16) AAS
>>787
>><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
>アウト〜
>そもそもωがシングルトンでなければならない道理がまるで無い
その通り
S(x)={x}とすれば、後続順序数の場合、シングルトンになる
し・か・し、ωは後続順序数ではない
省3
791(1): 2019/12/15(日)14:47 ID:PRdnkv5o(7/16) AAS
>>784
>1/∞=0 は、可なんだけど
アウトw
そもそも∞が数じゃないから、1/∞は不可w
リーマン球面上の写像1/zとしては
1/∞=0 で 1/0=∞ である
しかし、リーマン球面上の点=数 ではない
省3
792: 2019/12/15(日)14:55 ID:PRdnkv5o(8/16) AAS
>>788-789
◆e.a0E5TtKEは集合論の公理はもとより、
実数の公理すら分かってないだろうな
大学1年4月の解析学の最初の講義で
落ちこぼれた可能性大
デデキントは、実数rを有理数全体のデデキント切断として定義した
有理数のデデキント切断全体に対して
省5
793(1): 2019/12/15(日)15:17 ID:PRdnkv5o(9/16) AAS
◆e.a0E5TtKEは「定義から考える」という基本が全然できてない
だから「降下列」といわれても全然理解できず、
漫然と「順序数全体の順序の列」を想像したりする
両者は全然異なる
だから「0からωにいたる順序数全体の列は無限列だ!」と
いくら絶叫しても無意味
ωから降りるとき、ωより小さいある順序数を決めなければならない
省7
794(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)15:20 ID:BvQtIPz4(5/5) AAS
>>783 補足
(>>420より)
<Zermelo構成>
外部リンク:ja.wikipedia.org
自然数
(抜粋)
形式的な定義
省23
795: 2019/12/15(日)15:26 ID:PRdnkv5o(10/16) AAS
>>794
>シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れない
>だから、ωに相当するシングルトンの存在は、正則性公理には反しない
「だから」以降は云えない
まず、ωは自然数ではない
自然数の後続順序数は自然数である
省8
796: 2019/12/15(日)15:37 ID:PRdnkv5o(11/16) AAS
>ωに相当するシングルトンの存在を否定したければ、
>別の理論を持ってこい w!!w
>(そんな理論はありませんww)
ωがシングルトンだと主張したければ
ωが後続順序数であること、すなわち
{x}=ωとなるxを持ってこいw!!w
(そんな順序数はありませんww)
797: 2019/12/15(日)15:40 ID:PRdnkv5o(12/16) AAS
◆e.a0E5TtKE の トンデモ集合論www
1){}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}
2)ω={x}となるxが存在する
あと一つトンデモ発言したらトンデモ殿堂入りwwwwwww
798: 2019/12/15(日)16:16 ID:PRdnkv5o(13/16) AAS
◆e.a0E5TtKEが愚かにも
「ωは超準自然数!」
とかほざきそうなので
先にいっとくけど
ωは超準自然数ではありません(キッパリ)
したがってω−1はありません!!!
799(2): 2019/12/15(日)17:17 ID:1xZAPqJd(2/2) AAS
そもそも "反しない" などという言葉を軽々と使える時点で数学の一丁目一番地がわかってない。
反する事の証明を与えることはできても反しない事の証明は一般にできる場合でも容易ではない。
一般にはモデル構成すればいいんだけど。
しかし今回はそもそも反してるし反してる事の証明も与えられてるのにまだこんなこと言ってる。
800: 2019/12/15(日)17:21 ID:PRdnkv5o(14/16) AAS
>>799
そもそも◆e.a0E5TtKEの主張
「Zermeloのωはシングルトン!」は
「ωが極限順序数であって後続順序数ではない」
という定義に反してる時点でトンデモ
801(1): 2019/12/15(日)17:28 ID:PRdnkv5o(15/16) AAS
>>799
>(◆e.a0E5TtKE)数学の一丁目一番地がわかってない。
しょうがないよ
あいつは数学番外地の住人だから
番外地
外部リンク:ja.wikipedia.org
「番外地(ばんがいち)とは日本の住所の表記のひとつであり、
省23
802: 2019/12/15(日)17:29 ID:PRdnkv5o(16/16) AAS
Gスレは今後「数学板の番外地スレ」と呼んだほうがいいな
803: 2019/12/16(月)06:54 ID:mnsYSGUS(1/9) AAS
2chスレ:math
番外地スレはIUTスレになったようだ
804: 2019/12/16(月)06:57 ID:mnsYSGUS(2/9) AAS
カントルスレ 今後の注目点
1){}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}
2)ω=s(x)となるxが存在する
に続く集合論に関する第三のトンデモ発言は何か?
805: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/16(月)07:15 ID:IdN2Nyfe(1) AAS
(>>747より)
外部リンク[pdf]:www.kurims.kyoto-u.ac.jp
第7回
日時: 2018年6月1日(金)
16:30−18:00
場所: 数理解析研究所 420号室
講師: 照井 一成 准教授
省17
806(1): 2019/12/16(月)07:39 ID:mnsYSGUS(3/9) AAS
>「集合のいかなる∈列も有限長で終わる」
>というのが正則性公理ですから
∈列=∈降下列 だから 正しい
馬鹿のいう列は ∈列ではない
例えばωの直前の元が存在しない
もし馬鹿が「s(x)=ωとなるxは存在する!」というなら
それは正真正銘のトンデモ発言wwwwwww
上下前次1-新書関写板覧索設栞歴
あと 196 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.032s