トップページ数学
1002コメント829KB
現代数学の系譜 カントル 超限集合論
レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん
垢版 |
2019/10/05(土) 09:57:11.15ID:JrhjRl4x
関連スレ
1)現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き

2) 1)の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-

3) 2)の中の正則性公理に関する議論の前のスレ(^^
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-
0952現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/20(金) 23:34:31.36ID:ZaXFXilg
>>951
おつです
おサルの相手、ご苦労様です

おサルの友達、いなくなったみたいw(^^;
慰めてやって下さいw
0954現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/20(金) 23:38:39.03ID:ZaXFXilg
おサルが、IUTスレとか外で暴れて

皆さんのご迷惑にならないように

おサルの調教及び、

おサルとの遊び場として、活用してください

ここは、もうすぐ1000に達します
0955132人目の素数さん
垢版 |
2019/12/20(金) 23:39:15.35ID:TR6+oSjG
自演はもっと上手にやろうね
見てるこっちが恥ずかしくなるから
0956132人目の素数さん
垢版 |
2019/12/20(金) 23:40:19.96ID:TR6+oSjG
バカのくせにプライドだけは人一倍高いんだよなあ
0957132人目の素数さん
垢版 |
2019/12/20(金) 23:49:29.86ID:1Ng84qNO
>>953
乙ありです

乙ちゃんさん降臨ですね??
♪( ´∀`)σ«>>955
 
0958◆jPpg5.obl6
垢版 |
2019/12/20(金) 23:50:34.52ID:1Ng84qNO
主の自演じゃないですよ〜!
0959◆jPpg5.obl6
垢版 |
2019/12/20(金) 23:53:32.18ID:1Ng84qNO
♪(σ´∀`)σ«乙ちゃんさん。。。♪
ばかだね〜〜〜♪♪♪
'`,、('∀`)♪'`,、( ´∀`)♪'`,、
('∀`)♪'`,、( ´∀`)'`,、('∀`) '`,、
0960◆jPpg5.obl6
垢版 |
2019/12/20(金) 23:57:10.48ID:1Ng84qNO
主様とおっちゃんさんと
乙ちゃんさんとサルルちゃんと
Qしかいないのかな。。。?

    解を得よ

なんちゃって。。。
( ´∀`)'`,、('∀`)'`,、
'`,、('∀`)'`,、( ´∀`)
お休ミレニアムなψ〜〜〜っ♪♪♪
0961現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 00:23:37.19ID:AVt64yFu
>>945 補足
>>783
<ノイマン構成>
0,1,2,・・,n-1,n,・・,ω,ω+1,ω+2,・・
後者関数を、suc (a):=a∪{a}とする
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
例えば、ω+1:=ω∪{ω}

<Zermelo構成>では、後者関数を、suc (a):={a}とする
ω+1:={ω}

で、確かに<ノイマン構成>綺麗ですよね。ω=Nとなって、順序と濃度が対応している
それは、<Zermelo構成>では、実現できていない。
けれども、<Zermelo構成>によるωの構成はだれも否定していない
<ノイマン構成>からぱくって、ω=Nも出来なくは無い
ω=N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい
だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。
だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、自然であり理論的にも綺麗
<Zermelo構成>でのωが、シングルトンであることを否定する理屈なし
(おサルの「正則性公理に反する」とか、アホ発言はあったけどね(^^; )

(参考)
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
<ノイマン構成>
・任意の集合 a の後者は a と {a} の合併集合として定義される。
 suc (a):=a∪{a}
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。

<Zermelo構成>(>>725より)
他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}

つづく
0962現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 00:24:10.69ID:AVt64yFu
>>961
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
順序数(じゅんじょすう、英: ordinal number)とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。
S(α) を α の後続者(successor of α)と呼ぶ
順序数の並び方を次のように図示することができる:
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数(自然数)が通常の順序で並んでいる。
そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく。
その後、それらの最小上界(後に ω + ω と呼ばれる)が並び、その後続者たちが無限に続く。
だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は"永遠に"続いていくのである。
(引用終り)
以上
0963現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 00:25:05.29ID:AVt64yFu
>>960
カラオケ絶唱ありがとう〜!(^^;
0964現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 00:31:31.29ID:AVt64yFu
>>930-931
おっちゃん、どうも、スレ主です。
レスありがとう(^^;
0965132人目の素数さん
垢版 |
2019/12/21(土) 08:01:07.19ID:RiKZpZyq
>>961
>ω=Nも出来なくは無い
>ω=N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい

Ω={{},{{}},{{{}}},…}とするしかない 「も出来なくは無い」は馬鹿
Ω+1={Ω}、Ω+2={{Ω}}となるしかない 「としてもいい」は馬鹿

>だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。

なぜかわかるか?馬鹿にはわからんか(嘲)
0以外の自然数はみな後続順序数、
Ωの後者以降も2Ωになる前はみな後続順序数
s(o)={o}なんだから後続順序数はシングルトン
これが理由 覚えとけ 馬鹿(嘲)

>だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、
>自然であり理論的にも綺麗

馬鹿丸出し 後続順序数がシングルトンだからといって
極限順序数もシングルトンだというのは
何の理論もない 
違いも何も考えないのは
自然というよりただの馬鹿
綺麗というより空虚

><Zermelo構成>でのωが、シングルトンであることを否定する理屈なし

極限順序数であるZermeloのΩが
後続順序数の場合と同様にシングルトンだと
主張する理由はない ゼロ!ゼロだ!!

大阪の朝鮮学校卒の朝鮮人◆e.a0E5TtKEは正真正銘の白痴
数学語るのは朝鮮大学校入ってから云えwwwwwww
0966現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 08:07:09.03ID:AVt64yFu
>>961 補足

(引用開始)
けれども、<Zermelo構成>によるωの構成はだれも否定していない
<ノイマン構成>からぱくって、ω=Nも出来なくは無い
ω=N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい
だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。
だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、自然であり理論的にも綺麗
<Zermelo構成>でのωが、シングルトンであることを否定する理屈なし
(引用終り)

・確かに、ωは、それ以前の何者の後者でもない
・しかしながら、後者関数として定義された性質
 それは、
 <ノイマン構成>では、それ以前の全てを要素からなる集合
 <Zermelo構成>では、シングルトン
 という性質を持つ集合と考えるのが、理論として一番整合している
・この根拠として、1つの考え方として、
 極限として理解することもできる
 有限の集合の列の極限としてね
・それは、もちろん、公理的な自然数の構成の筋からは外れるとしても
 (極限が定義されるのは、公理的構成のずっと後だろうから。自然数などが構成された後の話として極限が出てくるのだろうけれど)
・ただ、後者関数は必ずしも、<ノイマン構成>の後者関数に限定されないという意味では、上記のように解釈するのが自然と思うよ
0967132人目の素数さん
垢版 |
2019/12/21(土) 08:08:10.93ID:RiKZpZyq
馬鹿◆e.a0E5TtKEが理解できないこと

順序数は3つに分類できる


後続順序数 1,2,3,・・・等、ある順序数の次者となる順序数
https://ja.wikipedia.org/wiki/%E5%BE%8C%E7%B6%9A%E9%A0%86%E5%BA%8F%E6%95%B0
極限順序数 ω、2ω、ω^2、ω^ω、・・・等、順序数列の極限として表される順序数
https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0

◆e.a0E5TtKEは
「Zermelo構成では0={}は空集合だが
 1={{}},2={{{}}},3={{{{}}}},・・・はみなシングルトンだ
 だ・か・ら、Ωもシングルトンだ」
というが、これは
「Zermelo構成では後続順序数はシングルトン
 だ・か・ら、極限順序数もシングルトン」
というくらい理論ぬきの馬鹿発言であるwwwwwww
0968現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 08:11:54.71ID:AVt64yFu
>>966 補足の補足

順序数の<ノイマン構成>と<Zermelo構成>
この2つ以外もあるだろうが

後者関数が違っても
順序同型になって

同型の意味で、
一意でしょ
0969132人目の素数さん
垢版 |
2019/12/21(土) 08:18:53.69ID:RiKZpZyq
>>966
>・確かに、ωは、それ以前の何者の後者でもない

この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった

な・ぜ・な・ら
Zermelo構成の次者関数s(x)={x}は、あくまで
後続順序数がシングルトンであることを決めただけ
であるから

> <Neumann構成>では、それ以前の全てを要素からなる集合
> <Zermelo構成>では、シングルトン
> という性質を持つ集合と考えるのが、理論として一番整合している

馬鹿丸出し
たしかに、Neumann構成では、
後続順序数であろうが、極限順序数であろうが
自分より小さい順序数を要素とする
しかし、後続の作り方と、極限の作り方は全然異なる
馬鹿は、そのことが全然わかってない

Zermelo構成では後続の作り方を定めただけ
それだけでは極限の作り方は何も決まらない
極限の作り方は別に考える必要がある

Ωを極限とするとされる順序列の項を要素とする集合として
Ωを構成するしかない
したがってシングルトンにはなり得ない

いい加減分かれ ゴキブリ◆e.a0E5TtKE
0970132人目の素数さん
垢版 |
2019/12/21(土) 08:36:17.34ID:RiKZpZyq
Zermelo構成
 後続順序数o+1はoのみを要素とするシングルトン

一方極限順序数ではその前者は存在しない

したがって
 極限順序数Ωを”前者”Ωー1を要素とするシングルトンとする
のは完全にアタマがオカシイ馬鹿の戯言だとわかる

結論 ◆e.a0E5TtKEの完敗 
   朝鮮馬鹿は朝鮮へ帰れw
0971132人目の素数さん
垢版 |
2019/12/21(土) 08:47:32.37ID:RiKZpZyq
内容:
さてMセンセイもご覧になってると評判の紅白歌合戦だが

今年の曲目

AKB48 恋するフォーチュンクッキー (2013)

乃木坂46 シンクロニシティ (2018) 

欅坂46 不協和音 (2017)

日向坂46 キュン (2019)

どれもこれもぬるっちい曲ばっかだなw
0972132人目の素数さん
垢版 |
2019/12/21(土) 08:49:17.28ID:pc7JmFyr
      „    
サルルちゃん「ψ(ザイ)じゃ無い!」アピール???がスゴイですね。。。
もしかして、
必死になってますか・・・?

        ゜°(。ノA`)゜。
サルルちゃんがカワウソ〰!ダョ〰!
0973132人目の素数さん
垢版 |
2019/12/21(土) 08:50:07.78ID:RiKZpZyq
紅白歌合戦で全日本国民に是非聞かせてやりたい名曲w

https://www.youtube.com/watch?v=qMKlj_1zbYc

日本人ならIUTよりDA DA DANCE!
0974132人目の素数さん
垢版 |
2019/12/21(土) 08:53:13.14ID:pc7JmFyr
おまけにいい歳してアイドルヲタク。。。


  。。。(;ω;`*)サルル。。。
0975132人目の素数さん
垢版 |
2019/12/21(土) 08:54:53.86ID:pc7JmFyr
激しい日本人アピ・・・


もうアラフォーなのに、、、
アイドルヲタク。。。

お母さんが心配してるね・・・
0976132人目の素数さん
垢版 |
2019/12/21(土) 08:57:45.76ID:pc7JmFyr
サルルちゃんが絶滅しちゃうよ・・・

もうアラフォーなのに・・・


 。°。°゜°。°゜(。ノA<)゜°゜。
0978132人目の素数さん
垢版 |
2019/12/21(土) 09:00:27.92ID:pc7JmFyr
もう関節も固まっちゃってんのに。。。
激しいヲタダンスで靭帯断裂。。。


。°゜。°゜*゜°。°゜(;つД`)゜°。
        惨スギル...
0979132人目の素数さん
垢版 |
2019/12/21(土) 09:03:03.57ID:pc7JmFyr
サルルちゃんがカワウソだよ〰〰!!!

(´д`;||)゜°。°゜°。。°゜
0981132人目の素数さん
垢版 |
2019/12/21(土) 09:18:42.14ID:RiKZpZyq
>>978
>もう関節も固まっちゃってんのに。。。
ええ、年相応に50肩ですがw

メイト(BABYMETALのファン)はヲタダンスはしないな 邪魔だしw
0982132人目の素数さん
垢版 |
2019/12/21(土) 09:21:01.65ID:pc7JmFyr
ちなみにQ爺は
ハズレの男性と全女性に性的興味が有りません♪
黒人男性ボーカル曲しか受付け無い体質です♪
ゆく年くる年〜♪もいつも通り、、、
ニッガボーカルずをへびロテしてると思います♪
'`,、('∀`)♪'`,、( ´∀`)'`,、
独りでいつものナンバー聴いて
いつもの   
    X’ボッチ
      アンド
 bochy☆new☆year
♪♪楽しいね〜〜〜♪
♪(σ´∀`)σ««🙊サルルぴょ〜〜ん♪
'`,、('∀`)♪'`,、( ´∀`)'`,、
♪ばかだね〜〜〜♪♪( ´∀`)
('∀`)♪'`,、( ´∀`)'`,、('∀`)
'`,、( ´∀`)'`,、('∀`)♪'`,、
♪おばかさんがいっぱいいるね〜♪
♪♪楽しいね〜〜〜♪♪♪
♪(○´∀`人´∀`○)♪♪♪
0983132人目の素数さん
垢版 |
2019/12/21(土) 09:24:11.29ID:pc7JmFyr
>>980-981

。°゜*°。°゜(。つд⊂)゜°。°゜*°。
0984132人目の素数さん
垢版 |
2019/12/21(土) 09:37:00.88ID:RiKZpZyq
>>982
・・・もしかしてホモセクシュアル?
ま、いいけど 人それぞれだから
0985132人目の素数さん
垢版 |
2019/12/21(土) 09:43:25.28ID:uGB58l1z
>>984
アジアン男性には
♂ピクリともした事無いんで
安心して下さい♪
0986132人目の素数さん
垢版 |
2019/12/21(土) 10:00:27.93ID:RiKZpZyq
>>985
をを・・・
0987現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 10:15:30.15ID:AVt64yFu
>>969
>この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった

話は、全く逆
Ωがシングルトンであっては行けないと主張する根拠は無いんじゃね?

だったら、選択肢は2つAとB
A.Ω=N
B.Ω=シングルトンの可算無限版で最小のもの

この後は、Zermelo構成の後者関数を適用して
ω、ω+1:={ω}、ω+2:={{ω}}、・・ と続いていく

この話は、Zermelo構成以外の後者関数でも同じだ
ある適当な後者関数 suc(a) が定義できて
それが、超限順序数に対しても適用できるならば

つまり
ω、ω+1:=suc{ω}、ω+2:=suc{ω+1}・・ と続けられるならば
ωについても、後者関数の性質を継承したものとして
例えば、極限を使うとかで
ω:=lim n→∞ suc{n}
と定義すれば良い

これは、公理的な順序数の構成から、外れているかも知れないが
いろんな後者関数による順序数の構成例としては、ありでしょ
(数学的に、正則性公理などに反するとか、矛盾を生じるとか無ければ)
(先にも書いたが、極限を使ってωを定義すると循環論法になりかねないが、極限が定義された後でならありだろう)
0988現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 10:19:32.75ID:AVt64yFu
>>981-982
次スレあるので
続けて、楽しく踊って下さい

その方がIUTスレの方々にとっては
平穏でしょう(^^

現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/
0989現代数学の系譜 雑談 ◆e.a0E5TtKE
垢版 |
2019/12/21(土) 10:27:03.60ID:AVt64yFu
>>987 補足

まあ、素朴集合論の感覚では
最小の可算無限集合は、自然数Nに限定されない

いろんな、自然数Nに相当する最小の可算無限集合が構成可能でしょ
だから、ノイマン構成でω=Nだとしても、それが確かに理論的に綺麗だとしても

別の後者関数で、
類似のことが可能でしょ
(特に、”公理的な順序数の構成”という枠を外してしまえば、極限とかいろいろ使えて自由度が上がるし)
0990132人目の素数さん
垢版 |
2019/12/21(土) 10:33:01.73ID:F38HrLhN
>綺麗というより空虚
バカの脳は空虚そのもの

> <Neumann構成>では、それ以前の全てを要素からなる集合
> <Zermelo構成>では、シングルトン
> という性質を持つ集合と考えるのが、理論として一番整合している
バカは数学ができない
バカは積み木遊びをしているだけ
「このブロックはここが収まりが良い」とやっているだけの白痴
0991132人目の素数さん
垢版 |
2019/12/21(土) 10:34:35.57ID:F38HrLhN
バカは数学ができないので {{…}} が正則性公理に反することすら理解できない
まさに白痴
0992132人目の素数さん
垢版 |
2019/12/21(土) 10:38:59.14ID:rvw1sGKR
>>988
♪ぅわ〰い!♪+.゚(´▽`人)゚+.゚*♪
主様乙ありで〜す!サルル良かったね〜♪
イエェ〰ィ!(((*゚∀゚人🐵»♪♪
Q爺、心の♂がちょっとふっくらしちゃいましたよ♪♪
0993132人目の素数さん
垢版 |
2019/12/21(土) 10:54:16.38ID:RiKZpZyq
>>987
おまえ、>>970読んだか?

 Ωがシングルトン
=唯一の要素はΩー1
=Ωには前者Ωー1が存在する
=Ωは極限順序数ではなく後続順序数

となる

◆e.a0E5TtKE、自爆死wwwwwww
0994132人目の素数さん
垢版 |
2019/12/21(土) 10:58:50.05ID:RiKZpZyq
>>991
確かに{{…(無限回)…}}は、正則性公理に反する
し・か・し、それ以前にそもそも前者が存在する時点でオカシイ

Ωが無限個の要素を持つのは、要素中の極大値が存在しないから
0995132人目の素数さん
垢版 |
2019/12/21(土) 16:19:12.33ID:RiKZpZyq
https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0
”順序数 λ が極限順序数であるための必要十分条件は
 「λ より小さい順序数が存在して、
  順序数 β が λ より小さい限り
  別の順序数 γ が存在して
  β < γ < λ とできることである」”

つまり、λより小さい順序数の最大値となる”前者”が存在しない
したがって、”前者”だけを唯一の要素とすることはできない

◆e.a0E5TtKE 12/21 焼死・・・
0996132人目の素数さん
垢版 |
2019/12/21(土) 16:24:16.26ID:RiKZpZyq
次スレのテンプレ

◆e.a0E5TtKE トンデモ発言

1.{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}
2.Zermelo構成では 0={},1={{}},2={{{}}},…
  だから Ω={{…(無限重)…}}

次スレでは第3のトンデモ発言に期待wwwwwww
0997132人目の素数さん
垢版 |
2019/12/21(土) 16:55:33.96ID:sDHAtJ3L
マンコ
0998132人目の素数さん
垢版 |
2019/12/21(土) 16:55:43.41ID:sDHAtJ3L
マンコ
0999132人目の素数さん
垢版 |
2019/12/21(土) 16:55:53.33ID:sDHAtJ3L
マンコ
1000132人目の素数さん
垢版 |
2019/12/21(土) 16:56:57.87ID:sDHAtJ3L
チンコ
10011001
垢版 |
Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 77日 6時間 59分 47秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
レス数が1000を超えています。これ以上書き込みはできません。

ニューススポーツなんでも実況