現代数学の系譜 カントル 超限集合論at MATH
現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch966:132人目の素数さん
19/12/19 10:42:12.85 ewL+VwLw.net
此処があって良かったね♪
サルルの書き込み見てくれる
主達がいるからね♪♪♪
(σ´∀`)σ«🙈

967:現代数学の系譜 雑談
19/12/19 17:33:38.56 NsYAj7SX.net
>>888
>Zが順序<で整列集合でない、といわれて逆上し
>「別の二項関係 R を考えれば」と言い訳してまで
1.? 言い訳? Wikipediaのコピーだけどww(^^;
2.ZFC下で、もし集合が存在しさえすれば、Zermeloの整列定理(それは選択公理と同値だが)で、整列可能であり、正則性公理には反しない
3.逆に、正則性公理に反する集合(特に無限集合)は、最初から存在しえない
その根本が分かってないんじゃね?
だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小限の存在で捉えた方が良いと思うぜ(^^
そうしないと、既にZFC下で存在する集合に対して、「これは無限降下列を構成するから、正則性公理に反する」なんて、アホなおサルの議論になってしまうよww

968:現代数学の系譜 雑談
19/12/19 17:35:30.07 NsYAj7SX.net
>>894 タイポ訂正
だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小限の存在で捉えた方が良いと思うぜ(^^
 ↓
だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小元の存在で捉えた方が良いと思うぜ(^^

969:132人目の素数さん
19/12/19 17:56:03.71 irY5twgB.net
マンコにチンコを挿入する
これがセックス

970:132人目の素数さん
19/12/19 19:14:04 vUsZDapA.net
>>895
>だから正則性公理は、無限降下列で捉えるよりも、
>∈に関する最小元の存在で捉えた方が良いと思うぜ(^^

なんで◆e.a0E5TtKEは正確に整礎の定義を覚えられないのかな 
記憶能力もない白痴かな?www

「集合X 上の二項関係 R が整礎であるとは、
 X の空でない任意の部分集合 S が
  R に関する極小元を持つことをいう。」

◆e.a0E5TtKEは「空でない任意の部分集合」が抜けたね
しかも「最小元」じゃなく「極小元」だね

なんで肝心な言葉を覚えずしかも単語を間違えるかね?

0…1/3,1/2,1 の場合

0を抜いた部分集合には極小元はあるかな?

ないね あるといったらウソツキ野郎だねw

だからいってるだろう

◆e.a0E5TtKEは数学のスの字も分からん白痴だとwwwwwww

971:132人目の素数さん
19/12/19 19:14:42 vUsZDapA.net
>>895
>だから正則性公理は、無限降下列で捉えるよりも、
>∈に関する最小元の存在で捉えた方が良いと思うぜ(^^

なんで◆e.a0E5TtKEは正確に整礎の定義を覚えられないのかな 
記憶能力もない白痴かな?www

「集合X 上の二項関係 R が整礎であるとは、
 X の空でない任意の部分集合 S が
  R に関する極小元を持つことをいう。」

◆e.a0E5TtKEは「空でない任意の部分集合」が抜けたね
しかも「最小元」じゃなく「極小元」だね

なんで肝心な言葉を覚えずしかも単語を間違えるかね?

0…1/3,1/2,1 の場合

0を抜いた部分集合には極小元はあるかな?

ないね あるといったらウソツキ野郎だねw

だからいってるだろう

◆e.a0E5TtKEは数学のスの字も分からん白痴だとwwwwwww

972:132人目の素数さん
19/12/19 19:18:19 vUsZDapA.net
ああ、そうそう∈の話をしているのに
勝手に∈とは異なる二項関係Rを持ち出すのは
詐欺だよ サ・ギ

973:132人目の素数さん
19/12/19 19:25:33.12 aNwDmAg2.net
896←❗❗❓❓❓👀‼はサルルじゃなかったんだね・・・サルル変質者なのか・・・?ってちょと思っちゃってたね。。。

974:132人目の素数さん
19/12/19 19:26:51.25 aNwDmAg2.net
ばかだね~~~~♪( ´∀`)'`,、('∀`) '`,、

975:132人目の素数さん
19/12/19 19:29:16.39 aNwDmAg2.net
(σ´∀`)σばかがいっぱいいるね~~♪♪♪'`,、('∀`) '`,、( ´∀`)'`
,、('∀`) '`,、

976:132人目の素数さん
19/12/19 19:40:09.97 87tqMlln.net
Σ(´Д`;)ハッ!まさか虫工 男 、、、
女又が止ヒ処まで、、、?そんな、まさか、、、💦

977:132人目の素数さん
19/12/19 19:41:11.88 87tqMlln.net
((( ;゚Д゚)))

978:132人目の素数さん
19/12/19 19:42:31.85 87tqMlln.net
┃≡3 ピュッ!
Ψならッ!

979:132人目の素数さん
19/12/19 20:12:06.20 vUsZDapA.net
   >>900-905
  \__________________/
      ∨
   |/-O-O-ヽ| ブツブツ・・・
   | . : )'e'( : . |
   ` ‐-=-‐
   /    \
||\ ̄ ̄ ̄ ̄ ̄ ̄ \
||\\.          \      ∧_∧
||. .\\          \    ( ;´Д`) (オイ、なんか変なのがいるぞ)
.    \\          \ /    ヽ.
.      \\         / .|   | |
.        \∧_∧   (⌒\|__./ ./
         ( ´,_・・`)目合わせるなって ∧_∧
.         _/   ヽ          \  (     ) うわー、こっち見てるよ

980:132人目の素数さん
19/12/19 21:21:47.86 bEVJhkXY.net
嵐に構う人も荒らしです

981:132人目の素数さん
19/12/19 22:17:03.92 e+XaVTsH.net
>>894
バカ丸出し
自演する暇はあっても勉強する暇は無いってかw

982:132人目の素数さん
19/12/19 22:24:37.11 e+XaVTsH.net
バカは自演癖が治らんね
バレてないつもりらしいがパターンがあるからすぐ分るw

983:132人目の素数さん
19/12/19 23:09:22.98 C/GyumcO.net
「IUTに深刻で修正が無理なギャップを発見した」ってピーターが言ってる内容が解る方、解説お願い出来ませんか?

984:132人目の素数さん
19/12/19 23:10:53.67 C/GyumcO.net
やっぱり足し算&掛け算の関係性についてなんですか?

985:132人目の素数さん
19/12/19 23:12:26.52 C/GyumcO.net
このスレにドクターは居ませんか〰!?
ドクターコール!でーす!

986:132人目の素数さん
19/12/20 02:05:53.21 yiLw1Jz8.net
0600
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です!
URLリンク(twitter.com)
(deleted an unsolicited ad)

987:132人目の素数さん
19/12/20 05:52:09.44 ylfrCRaM.net
>>908-909
◆e.a0E5TtKEは証明どころか用語の定義の文章も理解できない白痴

988:132人目の素数さん
19/12/20 07:56:05.00 pVRKr0X7.net
>>913
↑。。。凄いんですね。。。
・・・それに比べて
うちのサルルちゃん↓と来たら・・・
      >>914
ハアァ┐(´∀`;)┌ヤレヤレ...

989:132人目の素数さん
19/12/20 07:57:52.91 pVRKr0X7.net
おかし


990:なDIScussionだけ頑張っちゃって、、、情けない・・・(;つД`)           



991:132人目の素数さん
19/12/20 07:59:00.97 pVRKr0X7.net
おとうさんが泣いてますょ・・・

992:132人目の素数さん
19/12/20 08:03:38.72 pVRKr0X7.net
サルル!負けるな~!サルルは
ヤればデキル子ッ!諦めるな━っ!
フレー!フレー!!サルル!!!
ガンガレ!ガンガレ!サルル!オーッ!!

993:132人目の素数さん
19/12/20 08:07:34.99 pVRKr0X7.net
泣くな、サルル。。。
恥ずかしくなんか、ないよ♪
誰だって壁にぶつかることがある。。。

⊃☕🍩»
 ̄ ̄ ̄ ̄ ̄ホィッ!
これ食って、またガンガレ!

994:132人目の素数さん
19/12/20 08:10:02.45 pVRKr0X7.net
今日のサルルちゃん弄り終わり~♪っと。
今日はサルルがショックを受けてるので、お手柔らかにしてあげま~~~す♪
(σ´∀`)σ«●| ̄|_

995:132人目の素数さん
19/12/20 08:14:46.48 pVRKr0X7.net
(・・・小学生に負けたなんて・・・サルルちゃん、、、辛すぎる・・・
・・・タヒななきゃいいんだけど💦
今日は1日見貼ってなきゃだね、、、

996:132人目の素数さん
19/12/20 09:07:02.38 TR6+oSjG.net
連投必死だなw&自演乙w

997:現代数学の系譜 雑談
19/12/20 10:28:44.30 Ii0I/2d9.net
>>897
>◆e.a0E5TtKEは「空でない任意の部分集合」が抜けたね
>しかも「最小元」じゃなく「極小元」だね
おサル、赤ペン添削ご苦労さん
数学の試験では、減点かな?w(^^;
ところで、
おサルの数学論法では
自然数のZermelo構成で、順序数ωが出来ない
(∵正則性公理に反する)
とか言ったよね
あるいは
(1=)1/1,1/2,1/3,・・1/n,・・,0
なる列で、0の左の数が、具体的に(有限で?)言えないと、数列自身が存在しないのか?
(極限 0=lim n→∞ 1/n が存在しない?と言いたいのか)
おサルの数学は、
何を言いたいのか、
理解できないぞw
(1=)1/1,1/2,1/3,・・1/n,・・,0 なる可算無限列は、ZFC下でちゃんと存在するでしょ
おサルの論法なら
数直線で、点0と、開区間(0,1)と、点1とがあって、
この3つの部分を合わせると、
点0∪(0,1)∪点1=[0,1](閉区間)
となる。ヒトの数学ではねw(^^
で、”開区間(0,1)の左端と右端の点は何だ? 答えられなければ、開区間(0,1)は存在しない”
というのが、
おサルの数学だったでしょ
ヒトのスレ主としては、
”だからどうした?”というしかないね
おサルさん、中学数学からやりなおしだな

998:現代数学の系譜 雑談
19/12/20 10:30:44.30 Ii0I/2d9.net
>>921
ID:pVRKr0X7さん、どうもありがとうございます。
おサルの相手、ご苦労さまです!(^^

999:現代数学の系譜 雑談
19/12/20 10:34:35.42 Ii0I/2d9.net
>>923 訂正
おサルの論法なら
数直線で、点0と、開区間(0,1)と、点1とがあって、
 ↓
数直線で、点0と、開区間(0,1)と、点1とがあって、
注)
「おサルの論法なら」が不要だったな(^^

1000:Q
19/12/20 11:24:53.12 pzvfr+dm.net
>>922
主の自演じゃないですよ?
通りすがりの嵐です。。。
主様、ゴメンナサィ...

1001:現代数学の系譜 雑談
19/12/20 12:01:01.66 Ii0I/2d9.net
>>926
ありがとう
おサルの相手についても、お礼申し上げる

1002:現代数学の系譜 雑談
19/12/20 14:45:07.57 Ii0I/2d9.net
>>910-912
>「IUTに深刻で修正が無理なギャップを発見した」ってピーターが言ってる内容が解る方、解説お願い出来ませんか?
すれ違いです
下記のIUTスレでどうぞ
なお、外しているかもしれないが、私見参考下記
1)正確には、望月論文IIIの3.11から3.12がおかしいというのが、Peter Scholzeの指摘らしい
2)その中で、望月論文でのラベルの付け方で、IUTの不等式が導けるとしているところ、ラベル意味ない(あるいはラベル付け不能)みたいな趣旨とIUTスレで読んだけど
3)あと、加藤文元先生の出版社に手紙出して、「Peter Scholzeの指摘を論破した続編書いてくれ」と投稿してほしいな。読んでみたいよ(^^;
(参考)
Inter


1003:-universal geometry と ABC予想 42 https://rio2016.5ch.net/test/read.cgi/math/1572150086/



1004:132人目の素数さん
19/12/20 15:15:26.20 sPoRppxa.net
>>928
ありがとうございました。
ちょっと見てみますね...φ(.. )...

1005:132人目の素数さん
19/12/20 16:18:16.12 WwKqxXpa.net
おっちゃんです。
>>875-883
>>885
私は、その時間帯には余程のことがない限り5チャンはしていない。
それにしても、分散っていう波動現象は面白いね。
(ユークリッド)平面 R^2 上では波動の分散現象が起きるために原点 O(0,0) から生じる波動が隅々まで伝わらないけど、
直線R上では、波動の分散現象が起きないために、原点 O(0) から生じる波動が隅々まで伝わるようになる。、
分散の波動現象は、奇数次元の空間と偶数次元の空間とで生じた波動の伝わり方が異なって来る原因になっている。

1006:132人目の素数さん
19/12/20 17:23:23.49 WwKqxXpa.net
それじゃ、おっちゃんもう寝る。

1007:132人目の素数さん
19/12/20 19:04:37.34 ylfrCRaM.net
>>923
>自然数のZermelo構成で、順序数ωが出来ない
>(∵正則性公理に反する)
◆e.a0E5TtKEは日本語も読めない白痴野郎だな
◆e.a0E5TtKEの馬鹿が
「Zermelo構成でのΩはシングルトン!」
と口から出まかせの大嘘をつき続けるから
その嘘は正則性公理に真っ向から反する
と教えてやったまで
Zermelo構成のΩは存在するが、シングルトンではない
◆e.a0E5TtKEの馬鹿が
「(0以外の)任意の自然数がシングルトンだからΩもシングルトン」
と全然反論理的な妄想思考全開で発狂しまくってるだけ

1008:132人目の素数さん
19/12/20 19:09:30.90 ylfrCRaM.net
>>923
>何を言いたいのか、理解できないぞw
それは◆e.a0E5TtKEが馬鹿だからwww

1009:132人目の素数さん
19/12/20 19:14:18.96 ylfrCRaM.net
>>923
>1/1,1/2,1/3,・・1/n,・・,0
>なる列で、0の左の数が、具体的に(有限で?)言えないと、
>数列自身が存在しないのか?
なぜ数列がでてくるんだ?
白痴は論理も知らんのか?
Ωはシングルトンだ!と言い切ったのは馬鹿の◆e.a0E5TtKE
シングルトンだから唯一の要素がある
その要素はΩー1、つまりΩの左側の数だ
馬鹿の貴様がシングルトンだと言い切った
馬鹿の貴様がΩの前者であるすぐ左の数があると言い切った
馬鹿の貴様が何も考えずに発言して自爆したwwwwwww
大阪大卒?いくら大阪大が二流でも貴様みたいな白痴が受かるわけないだろ?
貴様みたいな白痴が受かる大学なんか、
名前書けただけで受かるFラン大学しかないだろwwwwwww

1010:132人目の素数さん
19/12/20 20:36:32.89 TR6+oSjG.net
>数学の試験では、減点かな?w(^^;

最小と極小の違いも分からないバカw

1011:132人目の素数さん
19/12/20 20:48:05.91 TR6+oSjG.net
>Zermelo構成のΩは存在するが、シングルトンではない
これって前にも言ってたよね
まったくバカは人の話をまったく聞いてないな
だからバカのままなんだろう

1012:Q
19/12/20 20:49:58.98 PajeDX38.net
>>930
おっちゃんさんじゃなかったんですね。。。間違えちゃって。。。
大変失礼致しました。。。ゴメンナψ。
(自演)乙ちゃんさんは
サルル🙉チャンさんではないのかな?

1013:132人目の素数さん
19/12/20 20:51:27.80 ylfrCRaM.net
馬鹿は論理がない
馬鹿は直感しかない
だから間違う
直感は嘘つき
このことが百篇死んでも分からないのが馬鹿

1014:132人目の素数さん
19/12/20 20:52:31.25 PajeDX38.net
>>934-936←👀サルルちゃん。。。?
。。。やっぱり(自演)乙ちゃんは
サルル??

1015:132人目の素数さん
19/12/20 20:53:20.80 ylfrCRaM.net
直感で理解する は嘘
直感で誤解する が真
直感は誤り
直感は嘘

1016:132人目の素数さん
19/12/20 20:54:22.62 ylfrCRaM.net
>>939
首掻き切って死ねよ馬鹿野郎

1017:132人目の素数さん
19/12/20 20:54:45.76 PajeDX38.net
>>938
「エレガントな宇宙」で
著者のマイケル・グリーンが
「計算は直感の嘘を暴く」って
似た様な事書いてましたね。。。

1018:132人目の素数さん
19/12/20 20:57:41.71 PajeDX38.net
マリリン・ボス・サヴァントも
「人々は日常生活で培われた
 経験的な直感とは反する事実が
 理解出来無い様です」
ってモンティホール問題の顛末の感想を語ってたらしいよ。

1019:132人目の素数さん
19/12/20 21:01:23.47 PajeDX38.net
でもマイキーもマリリンも
「首掻き切って死ねよ馬鹿野郎」
とかは「言ってた」って見た事無いね・・・

1020:現代数学の系譜 雑談
19/12/20 21:20:50.44 ZaXFXilg.net
>>934
おサルの数学は面白いわ(^^
>>794より)
<Zermelo構成>
URLリンク(ja.wikipedia.org)
自然数
(抜粋)
形式的な定義
自然数の公理
集合論において標準的となっている自然数の構成は以下の通りである。
空集合を 0 と定義する。
0:=Φ ={}
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
この後を続けると
n := {n-1} = {・・{0}・・} (0のn重シングルトン)
 ・
 ・
ω:(0の可算無限重シングルトン)
ω+1:= {ω}(ωの1重シングルトン)
ω+2:= {ω}(ωの2重シングルトン)
ω+3:= {ω}(ωの3重シングルトン)
となる
これが一番自然でしょ(^^
おサルの主張は、
「”ω:(0の可算無限重シングルトン)”と考えると
 ”ωから、無限降下列が構成される”から、正則性公理に反する」
ということだったろ?w(^^
しかし、>>886に示したように、<Zermelo構成>による
後者関数による自然数の構成は、あくまで上昇列であって、「正則性公理に反することはない!」というのがヒトの数学だ!!
(実はZermelo構成に限らず、自然数の構成は、あくまで上昇列なのだよ。当たり前のことだが)
”ω:(0の可算無限重シングルトン)”の存在が、なぜ「正則性公理に反する」と言えるのかな?w(^^
確かに、”ω:(0の可算無限重シングルトン)”以外の可能性も、あるかもな
しかし、今問題にしていることは
おサルの主張:『”ω:(0の可算無限重シングルトン)”の存在は、”正則性公理に反する”』なのだ
どうぞ、ご説明を
お願いしますよww(^^;
どこでどう、、”正則性公理に反する”のかのご説明をww
それできないに、1ペソ (:p

1021:現代数学の系譜 雑談
19/12/20 21:23:18.81 ZaXFXilg.net
>>945 訂正
ω+1:= {ω}(ωの1重シングルトン)
ω+2:= {ω}(ωの2重シングルトン)
ω+3:= {ω}(ωの3重シングルトン)
 ↓
ω+1:= {ω}(ωの1重シングルトン)
ω+2:={{ω}}(ωの2重シングルトン)
ω+3:={{{ω}}}(ωの3重シングルトン)
分かると思うが(^^;

1022:132人目の素数さん
19/12/20 21:32:46.59 TR6+oSjG.net
>>945
バカ丸出しw

1023:132人目の素数さん
19/12/20 21:36:02.37 ylfrCRaM.net
>>945
>ω:(0の可算無限重シングルトン)
>これが一番自然でしょ(^^
馬鹿は自然に誤にり自然に嘘をつく
馬鹿の「自然」は数学の最大の敵

1024:132人目の素数さん
19/12/20 21:38:49.44 ylfrCRaM.net
>おサルの主張は、
>「”ω:(0の可算無限重シングルトン)”と考えると
> ”ωから、無限降下列が構成される”から、正則性公理に反する」
>ということだったろ?
嘘 妄想
「”ω:(0の可算無限重シングルトン)”と考えると
 ωー1が存在することになり、ωが極限順序数であることに反する」
が正しい
◆e.a0E5TtKE は卑怯卑劣なウソツキ
ガソリンで焼かれて死にやがれ 大阪のゴキブリ

1025:132人目の素数さん
19/12/20 21:40:00.92 ylfrCRaM.net
◆e.a0E5TtKE は卑怯卑劣なウソツキ
首掻き切って殺せ!!! 大阪のウジ虫

1026:132人目の素数さん
19/12/20 23:14:59.10 3BxOf2gQ.net
>>950
※国人?アベガーッ!とか。
反日臭プンプンな香ばしいレスしまくってたり、、、

1027:現代数学の系譜 雑談
19/12/20 23:34:31.36 ZaXFXilg.net
>>951
おつです
おサルの相手、ご苦労様です
おサルの友達、いなくなったみたいw(^^;
慰めてやって下さいw

1028:現代数学の系譜 雑談
19/12/20 23:35:22.35 ZaXFXilg.net
次スレ 立てました
現代数学の系譜 カントル 超限集合論2
スレリンク(math板)

1029:現代数学の系譜 雑談
19/12/20 23:38:39.03 ZaXFXilg.net
おサルが、IUTスレとか外で暴れて
皆さんのご迷惑にならないように
おサルの調教及び、
おサルとの遊び場として、活用してください
ここは、もうすぐ1000に達します

1030:132人目の素数さん
19/12/20 23:39:15.35 TR6+oSjG.net
自演はもっと上手にやろうね
見てるこっちが恥ずかしくなるから

1031:132人目の素数さん
19/12/20 23:40:19.96 TR6+oSjG.net
バカのくせにプライドだけは人一倍高


1032:いんだよなあ



1033:132人目の素数さん
19/12/20 23:49:29.86 1Ng84qNO.net
>>953
乙ありです
乙ちゃんさん降臨ですね??
♪( ´∀`)σ«>>955
 

1034:Q
19/12/20 23:50:34.52 1Ng84qNO.net
主の自演じゃないですよ~!

1035:Q
19/12/20 23:53:32.18 1Ng84qNO.net
♪(σ´∀`)σ«乙ちゃんさん。。。♪
ばかだね~~~♪♪♪
'`,、('∀`)♪'`,、( ´∀`)♪'`,、
('∀`)♪'`,、( ´∀`)'`,、('∀`) '`,、

1036:Q
19/12/20 23:57:10.48 1Ng84qNO.net
主様とおっちゃんさんと
乙ちゃんさんとサルルちゃんと
Qしかいないのかな。。。?
    解を得よ
なんちゃって。。。
( ´∀`)'`,、('∀`)'`,、
'`,、('∀`)'`,、( ´∀`)
お休ミレニアムなψ~~~っ♪♪♪

1037:現代数学の系譜 雑談
19/12/21 00:23:37.19 AVt64yFu.net
>>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構成>でのωが、シングルトンであることを否定する理屈なし
(おサルの「正則性公理に反する」とか、アホ発言はあったけどね(^^; )
(参考)
URLリンク(ja.wikipedia.org)
自然数
(抜粋)
<ノイマン構成>
・任意の集合 a の後者は a と {a} の合併集合として定義される。
 suc (a):=a∪{a}
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
<Zermelo構成>(>>725より)
他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
つづく

1038:現代数学の系譜 雑談
19/12/21 00:24:10.69 AVt64yFu.net
>>961
URLリンク(ja.wikipedia.org)
順序数
(抜粋)
順序数(じゅんじょすう、英: 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(ω))), ... と無限に続いていく。
その後、それらの最小上界(後に ω + ω と呼ばれる)が並び、その後続者たちが無限に続く。
だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は"永遠に"続いていくのである。
(引用終り)
以上

1039:現代数学の系譜 雑談
19/12/21 00:25:05.29 AVt64yFu.net
>>960
カラオケ絶唱ありがとう~!(^^;

1040:現代数学の系譜 雑談
19/12/21 00:31:31.29 AVt64yFu.net
>>930-931
おっちゃん、どうも、スレ主です。
レスありがとう(^^;

1041:132人目の素数さん
19/12/21 08:01:07.19 RiKZpZyq.net
>>961
>ω=Nも出来なくは無い
>ω=N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい
Ω={{},{{}},{{{}}},…}とするしかない 「も出来なくは無い」は馬鹿
Ω+1={Ω}、Ω+2={{Ω}}となるしかない 「としてもいい」は馬鹿
>だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。
なぜかわかるか?馬鹿にはわからんか(嘲)
0以外の自然数はみな後続順序数、
Ωの後者以降も2Ωになる前はみな後続順序数
s(o)={o}なんだから後続順序数はシングルトン
これが理由 覚えとけ 馬鹿(嘲)
>だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、
>自然であり理論的にも綺麗
馬鹿丸出し 後続順序数がシングルトンだからといって
極限順序数もシングルトンだというのは
何の理論もない 
違いも何も考えないのは
自然というよりただの馬鹿
綺麗というより空虚
><Zermelo構成>でのωが、シングルトンであることを否定する理屈なし
極限順序数であるZermeloのΩが
後続順序数の場合と同様にシングルトンだと
主張する理由はない ゼロ!ゼロだ!!
大阪の朝鮮学校卒の朝鮮人◆e.a0E5TtKEは正真正銘の白痴
数学語るのは朝鮮大学校入ってから云えwwwwwww

1042:現代数学の系譜 雑談
19/12/21 08:07:09.03 AVt64yFu.net
>>961 補足
(引用開始)
けれども、<Zermelo構成>によるωの構成はだれも否定していない
<ノイマン構成>からぱくって、ω=Nも出来なくは無い
ω=N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい
だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。
だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、自然であり理論的にも綺麗
<Zermelo構成>でのωが、シングルトンであることを否定する理屈なし
(引用終り)
・確かに、ωは、それ以前の何者の後者でもない
・しかしながら、後者関数として定義された性質
 それは、
 <ノイマン構成>では、それ以前の全てを要素からなる集合
 <Zermelo構成>では、シングルトン
 という性質を持つ集合と考えるのが、理論として一番整合している
・この根拠として、1つの考え方として、
 極限として理解することもできる
 有限の集合の列の極限としてね
・それは、もちろん、公理的な自然数の構成の筋からは外れるとしても
 (極限が定義されるのは、公理的構成のずっと後だろうから。自然数などが構成された後の話として極限が出てくるのだろうけれど)
・ただ、後者関数は必ずしも、<ノイマン構成>の後者関数に限定されないという意味では、上記のように解釈するのが自然と思うよ

1043:132人目の素数さん
19/12/21 08:08:10.93 RiKZpZyq.net
馬鹿◆e.a0E5TtKEが理解できないこと
順序数は3つに分類できる

後続順序数 1,2,3,・・・等、ある順序数の次者となる順序数
URLリンク(ja.wikipedia.org)
極限順序数 ω、2ω、ω^2、ω^ω、・・・等、順序数列の極限として表される順序数
URLリンク(ja.wikipedia.org)
◆e.a0E5TtKEは
「Zermelo構成では0={}は空集合だが
 1={{}},2={{{}}},3={{{{}}}},・・・はみなシングルトンだ
 だ・か・ら、Ωもシングルトンだ」
というが、これは
「Zermelo構成では後続順序数はシングルトン
 だ・か・ら、極限順序数もシングルトン」
というくらい理論ぬきの馬鹿発言であるwwwwwww

1044:現代数学の系譜 雑談
19/12/21 08:11:54.71 AVt64yFu.net
>>966 補足の補足
順序数の<ノイマン構成>と<Zermelo構成>
この2つ以外もあるだろうが
後者関数が違っても
順序同型になって
同型の意味で、
一意でしょ

1045:132人目の素数さん
19/12/21 08:18:53.69 RiKZpZyq.net
>>966
>・確かに、ωは、それ以前の何者の後者でもない
この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった
な・ぜ・な・ら
Zermelo構成の次者関数s(x)={x}は、あくまで
後続順序数がシングルトンであることを決めただけ
であるから
> <Neumann構成>では、それ以前の全てを要素からなる集合
> <Zermelo構成>では、シングルトン
> という性質を持つ集合と考えるのが、理論として一番整合している
馬鹿丸出し
たしかに、Neumann構成では、
後続順序数であろうが、極限順序数であろうが
自分より小さい順序数を要素とする
しかし、後続の作り方と、極限の作り方は全然異なる
馬鹿は、そのことが全然わかってない
Zermelo構成では後続の作り方を定めただけ
それだけでは極限の作り方は何も決まらない
極限の作り方は別に考える必要がある
Ωを極限とするとされる順序列の項を要素とする集合として
Ωを構成するしかない
したがってシングルトンにはなり得ない
いい加減分かれ ゴキブリ◆e.a0E5TtKE

1046:132人目の素数さん
19/12/21 08:36:17.34 RiKZpZyq.net
Zermelo構成
 後続順序数o+1はoのみを要素とするシングルトン
一方極限順序数ではその前者は存在しない
したがって
 極限順序数Ωを”前者”Ωー1を要素とするシングルトンとする
のは完全にアタマがオカシイ馬鹿の戯言だとわかる
結論 ◆e.a0E5TtKEの完敗 
   朝鮮馬鹿は朝鮮へ帰れw

1047:132人目の素数さん
19/12/21 08:47:32.37 RiKZpZyq.net
内容:
さてMセンセイもご覧になってると評判の紅白歌合戦だが
今年の曲目
AKB48 恋するフォーチュンクッキー (2013)
乃木坂46


1048: シンクロニシティ (2018)  欅坂46 不協和音 (2017) 日向坂46 キュン (2019) どれもこれもぬるっちい曲ばっかだなw



1049:132人目の素数さん
19/12/21 08:49:17.28 pc7JmFyr.net
      „    
サルルちゃん「ψ(ザイ)じゃ無い!」アピール???がスゴイですね。。。
もしかして、
必死になってますか・・・?
        ゜°(。ノA`)゜。
サルルちゃんがカワウソ〰!ダョ〰!

1050:132人目の素数さん
19/12/21 08:50:07.78 RiKZpZyq.net
紅白歌合戦で全日本国民に是非聞かせてやりたい名曲w
URLリンク(www.youtube.com)
日本人ならIUTよりDA DA DANCE!

1051:132人目の素数さん
19/12/21 08:53:13.14 pc7JmFyr.net
おまけにいい歳してアイドルヲタク。。。

  。。。(;ω;`*)サルル。。。

1052:132人目の素数さん
19/12/21 08:54:53.86 pc7JmFyr.net
激しい日本人アピ・・・

もうアラフォーなのに、、、
アイドルヲタク。。。
お母さんが心配してるね・・・

1053:132人目の素数さん
19/12/21 08:57:45.76 pc7JmFyr.net
サルルちゃんが絶滅しちゃうよ・・・
もうアラフォーなのに・・・

 。°。°゜°。°゜(。ノA<)゜°゜。

1054:132人目の素数さん
19/12/21 08:59:46.41 RiKZpZyq.net
>>974
枯れた爺はさっさと死ねよwww
栴檀は双葉より芳し
URLリンク(www.youtube.com)

1055:132人目の素数さん
19/12/21 09:00:27.92 pc7JmFyr.net
もう関節も固まっちゃってんのに。。。
激しいヲタダンスで靭帯断裂。。。

。°゜。°゜*゜°。°゜(;つД`)゜°。
        惨スギル...

1056:132人目の素数さん
19/12/21 09:03:03.57 pc7JmFyr.net
サルルちゃんがカワウソだよ〰〰!!!
(´д`;||)゜°。°゜°。。°゜

1057:132人目の素数さん
19/12/21 09:04:36.89 RiKZpZyq.net
>>975-976
>もうアラフォーなのに
もう50過ぎてるよwww
その昔、SU-METALのパパがやってたバンド
URLリンク(www.youtube.com)

1058:132人目の素数さん
19/12/21 09:18:42.14 RiKZpZyq.net
>>978
>もう関節も固まっちゃってんのに。。。
ええ、年相応に50肩ですがw
メイト(BABYMETALのファン)はヲタダンスはしないな 邪魔だしw

1059:132人目の素数さん
19/12/21 09:21:01.65 pc7JmFyr.net
ちなみにQ爺は
ハズレの男性と全女性に性的興味が有りません♪
黒人男性ボーカル曲しか受付け無い体質です♪
ゆく年くる年~♪もいつも通り、、、
ニッガボーカルずをへびロテしてると思います♪
'`,、('∀`)♪'`,、( ´∀`)'`,、
独りでいつものナンバー聴いて
いつもの   
    X’ボッチ
      アンド
 bochy☆new☆year
♪♪楽しいね~~~♪
♪(σ´∀`)σ««🙊サルルぴょ~~ん♪
'`,、('∀`)♪'`,、( ´∀`)'`,、
♪ばかだね~~~♪♪( ´∀`)
('∀`)♪'`,、( ´∀`)'`,、('∀`)
'`,、( ´∀`)'`,、('∀`)♪'`,、
♪おばかさんがいっぱいいるね~♪
♪♪楽しいね~~~♪♪♪
♪(○´∀`人´∀`○)♪♪♪

1060:132人目の素数さん
19/12/21 09:24:11.29 pc7JmFyr.net
>>980-981
。°゜*°。°゜(。つд⊂)゜°。°゜*°。

1061:132人目の素数さん
19/12/21 09:37:00.88 RiKZpZyq.net
>>982
・・・もしかしてホモセクシュアル?
ま、いいけど 人それぞれだから

1062:132人目の素数さん
19/12/21 09:43:25.28 uGB58l1z.net
>>984
アジアン男性には
♂ピクリともした事無いんで
安心して下さい♪

1063:132人目の素数さん
19/12/21 10:00:27.93 RiKZpZyq.net
>>985
をを・・・

1064:現代数学の系譜 雑談
19/12/21 10:15:30.15 AVt64yFu.net
>>969
>この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった
話は、全く逆
Ωがシングルトンであっては行けないと主張する根拠は無いんじゃね?
だったら、選択肢は2つAとB
A.Ω=N
B.Ω=シングルトンの可算無限版で最小のもの
この後は、Zermelo構成の後者関数を適用して
ω、ω+1:={ω}、ω+2:={{ω}}、・・ と続いていく
この話は、Zermelo構成以外の後者関数でも同じだ
ある適当な後者関数 suc(a) が定義できて
それが、超限順序数に対しても適用できるならば
つまり
ω、ω+1:=suc{ω}、ω+2:=suc{ω+1}・・ と続けられるならば
ωについても、後者関数の性質を継承したものとして
例えば、極限を使うとかで
ω:=lim n→∞ suc{n}
と定義すれば良い
これは、公理的な順序数の構成から、外れているかも知れないが
いろんな後者関数による順序数の構成例としては、ありでしょ
(数学的に、正則性公理などに反するとか、矛盾を生じるとか無ければ)
(先にも書いたが、極限を使ってωを定義すると循環論法になりかねないが、極限が定義された後でならありだろう)

1065:現代数学の系譜 雑談
19/12/21 10:19:32.75 AVt64yFu.net
>>981-982
次スレあるので
続けて、楽しく踊って下さい
その方がIUTスレの方々にとっては
平穏でしょう(^^
現代数学の系譜 カントル 超限集合論2
スレリンク(math板)

1066:現代数学の系譜 雑談
19/12/21 10:27:03.60 AVt64yFu.net
>>987 補足
まあ、素朴集合論の感覚では
最小の可算無限集合は、自然数Nに限定されない
いろんな、自然数Nに相当する最小の可算無限集合が構成可能でしょ
だから、ノイマン構成でω=Nだとしても、それが確かに理論的に綺麗だとしても
別の後者関数で、
類似のことが可能でしょ
(特に、”公理的な順序数の構成”という枠を外してしまえば、極限とかいろいろ使えて自由度が上がるし)

1067:132人目の素数さん
19/12/21 10:33:01.73 F38HrLhN.net
>綺麗というより空虚
バカの脳は空虚そのもの
> <Neumann構成>では、それ以前の全てを要素からなる集合
> <Zermelo構成>では、シングルトン
> という性質を持つ集合と考えるのが、理論として一番整合している
バカは数学ができない
バカは積み木遊びをしているだけ
「このブロックはここが収まりが良い」とやっているだけの白痴

1068:132人目の素数さん
19/12/21 10:34:35.57 F38HrLhN.net
バカは数学ができないので {{…}} が正則性公理に反することすら理解できない
まさに白痴

1069:132人目の素数さん
19/12/21 10:38:59.14 rvw1sGKR.net
>>988
♪ぅわ〰い!♪+.゚(´▽`人)゚+.゚*♪
主様乙ありで~す!サルル良かったね~♪
イエェ〰ィ!(((*゚∀゚人🐵»♪♪
Q爺、心の♂がちょっとふっくらしちゃいましたよ♪♪

1070:132人目の素数さん
19/12/21 10:54:16.38 RiKZpZyq.net
>>987
おまえ、>>970読んだか?
 Ωがシングルトン
=唯一の要素はΩー1
=Ωには前者Ωー1が存在する
=Ωは極限順序数ではなく後続順序数
となる
◆e.a0E5TtKE、自爆死wwwwwww

1071:132人目の素数さん
19/12/21 10:58:50.05 RiKZpZyq.net
>>991
確かに{{…(無限回)…}}は、正則性公理に反する
し・か・し、それ以前にそもそも前者が存在する時点でオカシイ
Ωが無限個の要素を持つのは、要素中の極大値が存在しないから

1072:132人目の素数さん
19/12/21 16:19:12.33 RiKZpZyq.net
URLリンク(ja.wikipedia.org)
”順序数 λ が極限順序数であるための必要十分条件は
 「λ より小さい順序数が存在して、
  順序数 β が λ より小さい限り
  別の順序数 γ が存在して
  β < γ < λ とできることである」”
つまり、λより小さい順序数の最大値となる”前者”が存在しない
したがって、”前者”だけを唯一の要素とすることはできない
◆e.a0E5TtKE 12/21 焼死・・・

1073:132人目の素数さん
19/12/21 16:24:16.26 RiKZpZyq.net
次スレのテンプレ
◆e.a0E5TtKE トンデモ発言
1.{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}
2.Zermelo構成では 0={},1={{}},2={{{}}},…
  だから Ω={{…(無限重)…}}
次スレでは第3のトンデモ発言に期待wwwwwww

1074:132人目の素数さん
19/12/21 16:55:33.96 sDHAtJ3L.net
マンコ

1075:132人目の素数さん
19/12/21 16:55:43.41 sDHAtJ3L.net
マンコ

1076:132人目の素数さん
19/12/21 16:55:53.33 sDHAtJ3L.net
マンコ

1077:132人目の素数さん
19/12/21 16:56:57.87 sDHAtJ3L.net
チンコ

1078:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 77日 6時間 59分 47秒

1079:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch