19/12/15 08:34:48.00 PRdnkv5o.net
ｽﾚﾘﾝｸ(math板:419番)
>欠点を見ないように、長所を見るように
◆e.a0E5TtKEは数学的には長所ゼロだから見るとこないな（バッサリ）
846:１３２人目の素数さん
19/12/15 08:51:49.60 PRdnkv5o.net
0 {} 濃度0
1 {{}} 濃度1
2 {{{}}} 濃度1
…
ω {{},{{}},{{{}}},…} 濃度aleph0
ω＋１ {ω} 濃度1
ω＋２ {ω＋１} 濃度１
…
847:現代数学の系譜 雑談
19/12/15 09:08:07.56 BvQtIPz4.net
>>763-764
＞限り無く∞に近いが決して∞では無い 有限数
いいね。その考えは、
コンパクト化という考えだね
1)数学セミナー 2019年12月号に記事がある
2)拡張実数を考え、∞を導入すると、実数をコンパクト化できる
3)1/∞＝0と定めることができる
4)「位相空間としては、実数直線は開区間 (0, 1) に同相である」（下記）
5)拡張実数で、
自然数：1 ,2 ,3 ,・・,n ,・・, ∞
逆数 ：1/1,1/2,1/3,・・,1/n,・・,1/∞＝0
6)順序数で考えると、全ての有限自然数の後のωに相当するのが∞
7)ノイマンの自然数構成で、ω（＝∞）が構成できた
8)この無限長の列は、当然正則性公理には反しない
9)同じ事が、Zermelo構成でできる。正則性公理には反しない!!
ＱＥＤ
（＾＾；
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2019年12月号
コンパクト／有限と無限の橋渡し 薄葉季路 22
URLﾘﾝｸ(ja.wikipedia.org)
拡張実数は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う。
無限大は、（通常の）実数ではない。
URLﾘﾝｸ(ja.wikipedia.org)
実数直線は、その上の各点が実数であるような直線である。
位相的な性質
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。
もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である。R 上のこれら二つは全く同じ位相を定める。位相空間としては、実数直線は開区間 (0, 1) に同相である。
URLﾘﾝｸ(upload.wikimedia.org)
R の一点コンパクト化は円周（実射影直線）であり、付け加えられた点は符号なしの無限大と考えることができる。
別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。
他にも、実数直線に無限個の点を付け加えるストーン-チェックコンパクト化などがある。
848:１３２人目の素数さん
19/12/15 09:27:45.04 PRdnkv5o.net
>>775
＞7)ノイマンの自然数構成で、ωが構成できた
次者関数S(x)=x∪{x}だけではできないよ
無限公理
{}∈ω∧(x∈ω⇒x∪{x}∈ω)
を認めることではじめて構成できる
＞8)この無限長の列は、当然正則性公理には反しない
降下列は有限長だよ だ・か・ら正則性公理には反しない
ω∋0
ω∋1∋0
ω∋2∋1∋0
…
どれだけ伸ばしても有限
>9)同じ事が、Zermelo構成でできる。正則性公理には反しない!!
同じ事＝無限公理の導入、なら
{}∈Ω∧(x∈Ω⇒{x}∈Ω)
ってことだから、もちろんできるし
正則性公理には反しない
ただしΩはシングルトンではない！
Ω={{},{{}},{{{}}},…}
849:１３２人目の素数さん
19/12/15 10:33:04.20 pulS0MYz.net
>>775
ω→∞→１/∞≒ほぼ０＝特異点。。。？
結局やっぱり ω≒∞ キャン玉なんですね♪
心のキャン玉は∞！！！
850:１３２人目の素数さん
19/12/15 10:36:00.78 pulS0MYz.net
ヤればデキる！Ｃａｎ玉！！
進化し続けるω∞！！！
851:１３２人目の素数さん
19/12/15 10:38:00.30 pulS0MYz.net
知らない１/∞を教えて頂いて嬉しくて、つい、大興奮してしまいました。。。
ありがとうございました。。。
852:１３２人目の素数さん
19/12/15 10:43:06.31 pulS0MYz.net
１/∞な１人では 決して解けない
モヤモヤの果てに 時々何か
見える気がしたよ
ケイロン 君が連れ出してくれた
広い世界の小さな真実
１/∞ とてもとても小さいネス
だけど決して０じゃ無いんだ
君が君である限り
僕が僕である限り
853:１３２人目の素数さん
19/12/15 10:47:52.38 pulS0MYz.net
僕がクイズ 君がマッスー
クイズの旅人
Ｖｉｖａ Ｌａ マティマティカーズ
854:１３２人目の素数さん
19/12/15 10:48:48.56 pulS0MYz.net
Ψナラ。。。
855:現代数学の系譜 雑談
19/12/15 11:03:39.09 BvQtIPz4.net
>>775 補足
(>>725より)
<ノイマン構成>
0 := {}, suc(a) :=a∪{a} と定義する
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々
(>>728より)
<ノイマン構成>にしろ、<Zermelo構成>にしろ
0,1,2,3,・・・たちを集合として見たら
上昇列：0∈1∈2∈3∈4∈…
が構成される
(>>690より)
１．無限公理を適用して、全ての後者関数を含む無限集合の存在を認める
２．そうすると、無限集合はできるが
このままでは、過剰な後者を含んでいる
欲しいのは、ジャスト自然数の集合N
３．従って、自然数集合Nには不要な、過剰な後者を取り除きます
で、<ノイマン構成>で自然数集合Nができる
N：＝{0,1,2・・n・・} （全ての有限の自然数nを集めたもの）
当然、要素の全ての有限の自然数nは、後者関数により生成されている
上昇列：0,1,2・・n・・
これは、可算無限長だが、整礎であり、正則性公理には反しない
<ノイマン構成>では、Nが∞に相当し順序数ω
上昇列：0,1,2・・n・・ω
Nの後者も定義できる、suc(N) :=N∪{N}
明らかにN≠N∪{N}
さて、<Zermelo構成>で、シングルトンを用いて同じことができる
上昇列：0,1,2・・n・・ω
これは、可算無限長だが、整礎であり、正則性公理には反しない
ωの後者も定義できる、suc(ω) :={ω}
明らかにω≠{ω}
<Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
繰返すが、上昇列は可算無限長だが、整礎であり、正則性公理には反しない
ＱＥＤ
（＾＾
856:現代数学の系譜 雑談 ◆e.a0E5TtKE
19/12/15 11:10:29 BvQtIPz4.net
>>779
どうも、レスありがとう
＞知らない１/∞を教えて頂いて嬉しくて、つい、大興奮してしまいました。。。
うん、高校では、「∞は数じゃない」とかいうんだよね。教育的観点から
１/∞＝0 は、可なんだけど
１/0 ＝∞ は、不可なんだ
で、大学入試対策上、
「１/0 ＝∞ は、不可」を強調しておく必要がある
ゼロ（0）の割り算を避けるように場合分けが必要な問題が出題されたりするからね
でも、大学では「１/∞＝0」 は普通です
（「１/0 ＝∞ は、不可」を当然とした上でね）
857:１３２人目の素数さん
19/12/15 11:27:58.77 sLZ5XGlu.net
>>784
ニクイ０のインチキですよ
トリッキーな奴
858:です。。。 数学の信頼性をぐらつかせましたよ。。。 ０とか∞とか、インチキ過ぎて。。。 はじめからカチッと教えて欲しかったですよね 公立小でちゃんととことん基礎的な理解を培っておかないと。。。 家庭科だの体育だのホームルームいらないから。。。
859:１３２人目の素数さん
19/12/15 11:29:33 sLZ5XGlu.net
教えてくれてありがとう
860:１３２人目の素数さん
19/12/15 13:19:29.79 shQE/MNw.net
>>783
><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
アウト～
{{…}}は正則性公理に反するので集合ですらない
そもそもωがシングルトンでなければならない道理がまるで無い
バカの妄想に過ぎない
861:１３２人目の素数さん
19/12/15 13:31:40 shQE/MNw.net
バカは正則性公理だけじゃなく無限公理も分かってないね
無限公理無しで無限集合が構成できると思ってる
だったら無限公理なんて要らんって話じゃん バカ過ぎｗ
862:１３２人目の素数さん
19/12/15 13:32:22.28 shQE/MNw.net
そういえばバカは選択公理も分かってなかったなｗ
結局何一つ分かってないｗ
バカに数学は無理ｗ
863:１３２人目の素数さん
19/12/15 14:42:47.32 PRdnkv5o.net
>>787
>><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
>アウト～
>そもそもωがシングルトンでなければならない道理がまるで無い
その通り
S(x)={x}とすれば、後続順序数の場合、シングルトンになる
し・か・し、ωは後続順序数ではない
したがって、シングルトンである必要がない
無限公理からノイマンのωにあたるツェルメロのΩを構成した場合
Ωはω同様無限集合であってシングルトンではない
864:１３２人目の素数さん
19/12/15 14:47:05 PRdnkv5o.net
>>784
＞１/∞＝0 は、可なんだけど
アウトｗ
そもそも∞が数じゃないから、1/∞は不可ｗ
リーマン球面上の写像1/zとしては
1/∞=0 で 1/0＝∞ である
しかし、リーマン球面上の点＝数 ではない
（ついでにいうと、1/∞=0 で 1/0＝∞ というだけなら
わざわざリーマン球面を考えなくても実射影直線でOKである
※リーマン球面は複素射影直線）
865:１３２人目の素数さん
19/12/15 14:55:31 PRdnkv5o.net
>>788-789
◆e.a0E5TtKEは集合論の公理はもとより、
実数の公理すら分かってないだろうな
大学１年４月の解析学の最初の講義で
落ちこぼれた可能性大
デデキントは、実数ｒを有理数全体のデデキント切断として定義した
有理数のデデキント切断全体に対して
さらにそのデデキント切断を考えた場合、
実数の連続性の性質
「切断(A,B)に対して、Aに最大元があってBに最小元がないか、
Bに最小元があってAに最大元がないかのいずれかである」
を満たす
866:１３２人目の素数さん
19/12/15 15:17:00.81 PRdnkv5o.net
◆e.a0E5TtKEは「定義から考える」という基本が全然できてない
だから「降下列」といわれても全然理解できず、
漫然と「順序数全体の順序の列」を想像したりする
両者は全然異なる
だから「０からωにいたる順序数全体の列は無限列だ！」と
いくら絶叫しても無意味
ωから降りるとき、ωより小さいある順序数を決めなければならない
ここで注意すべきは、
ωの直前、つまりωより小さい最大の順序数は存在しない
ということ
だから、ωより小さいどんな順序数ｎをとったとしても
ｎは自然数であり、ｎより大きくωより小さい自然数は無数にある
どんな順序数もその降下列は有限列である、
というのは全然おかしなことではない
867:現代数学の系譜 雑談
19/12/15 15:20:01.62 BvQtIPz4.net
>>783 補足
(>>420より)
<Zermelo構成>
URLﾘﾝｸ(ja.wikipedia.org)
自然数
(抜粋)
形式的な定義
自然数の公理
集合論において標準的となっている自然数の構成は以下の通りである。
空集合を 0 と定義する。
0:=Φ ={}
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
(>>783より)
<Zermelo構成>
0,1,2,3,・・・たちを集合として見たら
(可算無限長の)上昇列：0∈1∈2∈3∈4∈…
が構成される
上昇列は、正則性公理には反しない（>>783）
シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
だから、ωに相当するシングルトンの存在は、正則性公理には反しない
ωに相当するシングルトンの存在を否定したければ、別の理論を持ってこい ｗ！！ｗ （＾＾：
（そんな理論はありませんｗｗ）
QED
（＾＾
868:１３２人目の素数さん
19/12/15 15:26:21.12 PRdnkv5o.net
>>794
＞シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れ�
869:ﾈい ＞だから、ωに相当するシングルトンの存在は、正則性公理には反しない 「だから」以降は云えない まず、ωは自然数ではない 自然数の後続順序数は自然数である 最初の超限順序数であるωは 当然後続順序数ではない ωの存在は、正則性公理に反しないが ωがシングルトンだとすれば、 そもそも極限順序数でないことになる ◆e.a0E5TtKEは極限順序数には直前の順序数がないことが どうしても理解できないようだ 御愁傷様
870:１３２人目の素数さん
19/12/15 15:37:01.62 PRdnkv5o.net
＞ωに相当するシングルトンの存在を否定したければ、
＞別の理論を持ってこい ｗ！！ｗ
＞（そんな理論はありませんｗｗ）
ωがシングルトンだと主張したければ
ωが後続順序数であること、すなわち
｛ｘ｝＝ωとなるｘを持ってこいｗ！！ｗ
（そんな順序数はありませんｗｗ）
871:１３２人目の素数さん
19/12/15 15:40:34.30 PRdnkv5o.net
◆e.a0E5TtKE の トンデモ集合論ｗｗｗ
１）{}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}
２）ω＝{x}となるｘが存在する
あと一つトンデモ発言したらトンデモ殿堂入りｗｗｗｗｗｗｗ
872:１３２人目の素数さん
19/12/15 16:16:21.80 PRdnkv5o.net
◆e.a0E5TtKEが愚かにも
「ωは超準自然数！」
とかほざきそうなので
先にいっとくけど
ωは超準自然数ではありません（キッパリ）
したがってω－１はありません！！！
873:１３２人目の素数さん
19/12/15 17:17:45.87 1xZAPqJd.net
そもそも "反しない" などという言葉を軽々と使える時点で数学の一丁目一番地がわかってない。
反する事の証明を与えることはできても反しない事の証明は一般にできる場合でも容易ではない。
一般にはモデル構成すればいいんだけど。
しかし今回はそもそも反してるし反してる事の証明も与えられてるのにまだこんなこと言ってる。
874:１３２人目の素数さん
19/12/15 17:21:51.64 PRdnkv5o.net
>>799
そもそも◆e.a0E5TtKEの主張
「Zermeloのωはシングルトン！」は
「ωが極限順序数であって後続順序数ではない」
という定義に反してる時点でトンデモ
875:１３２人目の素数さん
19/12/15 17:28:01.86 PRdnkv5o.net
>>799
＞（◆e.a0E5TtKE）数学の一丁目一番地がわかってない。
しょうがないよ
あいつは数学番外地の住人だから
番外地
URLﾘﾝｸ(ja.wikipedia.org)
「番外地（ばんがいち）とは日本の住所の表記のひとつであり、
土地公簿で地番のついていない土地を指す。
無番地（むばんち）、無地番地（むちばんち）とも呼ばれる。」
「「地番」とは、法務局が登記された土地に付した番号である。
また、その土地の上に建つ建物は、たとえば地番「1」枝番「1」の土地の上であれば
その建物の所在は「1番地1」となる。
個人の住所を表すにも、その者が住んでいる建物の「所在」を使う。」
「ただし、不動産登記（表題登記や所有権保存登記）のされていない土地、
つまり民法239条2項の規定により国庫に属することとなる国有地には、
必ずしも地番が付くとは限らない。
そして、もともと国有地だった土地、例えば分割民営化後のJRの鉄道敷地などにも
地番が振られていない事例がある。
さらに、埋立地のようにまだ土地として認定されていないような場合や、
東京高速道路の敷地のように地方自治体間で境界に争いがある場合にも
地番が振られないことがある。」
「具体例
先述のようなJRの鉄道敷地、自衛隊、国有林内の山小屋や三角点の所在地として多く見られる。
例として、南海電気鉄道鋼索線の高野山駅の所在地は
「和歌山県伊都郡高野町大字高野山国有林第9林班ノは」
である。」
「網走刑務所の「番外地」という呼び名も本来の所在地が
「網走市字三眺官有無番地」であったものが
「刑務所=娑婆と切り離された別世界」というイメージで、
そこに手紙を出す受刑者の家族などによって作られたものと考えられる。」
876:１３２人目の素数さん
19/12/15 17:29:40.63 PRdnkv5o.net
Gスレは今後「数学板の番外地スレ」と呼んだほうがいいな
877:１３２人目の素数さん
19/12/16 06:54:47.28 mnsYSGUS.net
ｽﾚﾘﾝｸ(math板)
番外地スレはIUTスレになったようだ
878:１３２人目の素数さん
19/12/16 06:57:24.24 mnsYSGUS.net
カントルスレ 今後の注目点
１）{}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}
２）ω＝s(x)となるxが存在する
に続く集合論に関する第三のトンデモ発言は何か？
879:現代数学の系譜 雑談
19/12/16 07:15:14.20 IdN2Nyfe.net
(>>747より)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
第７回
日時： ２０１８年６月１日（金）
１６：３０－１８：００
場所： 数理解析研究所 ４２０号室
講師： 照井 一成 准教授
題目： NASH村の命名規則：整列擬順序の理論へ
(抜粋)
定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
が存在しないとき、（ X, =< ）を整列順序という。
別の言い方をすれば、整列順序とは空でないどんな部分集合 Y ⊆ X も最小元を持つよう
な全順序のことである。どんな集合上にも整列順序をいれられるというのが Zermelo の整列定理である。
これは選択公理と同値である。
(引用終り)
あほサルが、（>>636）
”∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）”
と、あほ発言
笑えるわ（＾＾
880:１３２人目の素数さん
19/12/16 07:39:14.78 mnsYSGUS.net
＞「集合のいかなる∈列も有限長で終わる」
＞というのが正則性公理ですから
∈列＝∈降下列 だから 正しい
馬鹿のいう列は ∈列ではない
例えばωの直前の元が存在しない
もし馬鹿が「s(x)＝ωとなるxは存在する！」というなら
それは正真正銘のトンデモ発言ｗｗｗｗｗｗｗ
881:１３２人目の素数さん
19/12/16 07:40:46.88 mnsYSGUS.net
「降下列＝さかさまの順序列」と思ってる時点で
◆e.a0E5TtKE は正真正銘の馬鹿ｗｗｗｗｗｗｗ
882:１３２人目の素数さん
19/12/16 07:42:32.26 mnsYSGUS.net
ｽﾚﾘﾝｸ(math板)
番外地スレの牢名主の咆哮がイタイタしい・・・
883:現代数学の系譜 雑談
19/12/16 11:36:18.34 FklPj7Hd.net
>>806
>＞「集合のいかなる∈列も有限長で終わる」
>＞というのが正則性公理ですから
>∈列＝∈降下列 だから 正しい
>馬鹿のいう列は ∈列ではない
なに食言しているんだｗ
数学で重要キーワード抜かしたら、アウトだよ
院試なら、言い訳きかないからねｗ
”∈列＝∈降下列”？
あほか、お前が勘違いしてただけなんだろｗｗ
必死の言い訳笑える
>>793
>ωから降りるとき、ωより小さいある順序数を決めなければならない
そんな必要はないだろ？
おまえ、ノイマン構成で、無限公理を認めて、可算無限集合
｛1,2,3・・n・・｝を構成するときに
ある有限集合｛1,2,3・・n｝から
突然ジャンプして
無限集合｛1,2,3・・n・・｝って妄想しているんじゃね？ｗ（＾＾
無限公理というのは、後者関数を取ること無限操作を認めるということだよ
だから、出来た可算無限の上昇列で超限順序数ωから逆に辿り、降りるとき
「無限操作を認める」と解釈すれば良い
それで、上昇と降下が、可逆になって綺麗だろ？
（実質的に「無限操作を認める」という解釈は、数学でいたるところ出てくるよ。
（”ε－δ自慢する”やつがハマる穴かもなｗ））
まあ、哀れな素人さんと、いつまでも「無限」論争やってるわけだよな、おまえは
その程度の「無限」の理解なんだな、おまえ
笑えるわ（＾＾
884:１３２人目の素数さん
19/12/16 13:11:54.03 kcqXf4G0.net
>>791
ねぇねぇ→ＲＨ←これ解いて。。。
教えて下さい。お願いします。。。
助けて、解が解らない、、、
ってミレニアム問題さんが言ってました。。。
885:１３２人目の素数さん
19/12/16 13:22:34.36 kcqXf4G0.net
ｓｈＱＥ/ＭＮｗ氏
&
ＰＲｄｎｋｖ５ｏ氏 は
「ニクラ・ブルバカ」氏として
２人組でＲＨでも解いてみてから
まだ暇だったら、ゐぢわるぢぢゐ
として出直されてみては。。。？
886:１３２人目の素数さん
19/12/16 13:24:41.52 kcqXf4G0.net
>>801
|дﾟ)!!無知番地。。。
(無知番地の方から来ますた。。。)
887:１３２人目の素数さん
19/12/16 13:27:51.05 kcqXf4G0.net
助けて。。。ＲＨが解らない。。。
助・け・て。。。
888:１３２人目の素数さん
19/12/16 15:56:27.35 KLi/sOo0.net
おっちゃんです。
>>809
スレ主は、実数直線R上での正負の無限大±∞の幾何的イメージを直観的に把握して位置付けることが出来ていないな。
889:１３２人目の素数さん
19/12/16 16:25:25.75 KLi/sOo0.net
>>809
任意の実数直線R上の点は実数で、±∞ではない。
実数直線R上において正負の無限大±∞に当たる各点は存在しない。
任意の整数より大きい実数は存在する。同じく、任意の整数より小さい実数も存在する。
だから、直線R上を常に同じ方向にどんなに真っすぐ進んでも、+∞か-∞にぶち当たってたどり着くことはあり得ない。
これは、ε-δやってりゃ、すぐ分かること。
こんなことを納得するためにわざわざこんな議論をしているのか。
890:１３２人目の素数さん
19/12/16 16:51:34.59 KLi/sOo0.net
それじゃ、おっちゃんもう寝る。
891:１３２人目の素数さん
19/12/16 18:00:05.68 KLi/sOo0.net
>>809
そういえば、>>815の
>任意の整数より大きい実数は存在する。同じく、任意の整数より小さい実数も存在する。
の後の行に
>任意の実数より大きい整数は存在する。同じく、任意の実数より小さい整数も存在する。
も付け加えておく。
あとは実数の連結性からすぐ分かることだが、
>だから、直線R上を常に同じ方向にどんなに真っすぐ進んでも、+∞か-∞にぶち当たってたどり着くことはあり得ない。
は、直線RがRの通常の位相について非コンパクトなハウスドルフ空間であることを例えで示している。
892:１３２人目の素数さん
19/12/16 18:02:19.95 KLi/sOo0.net
それじゃ、おっちゃんもう寝る。
893:１３２人目の素数さん
19/12/16 18:44:53.25 02MA2acy.net
>>814
男の直観。。。
「あの２人デキてんな...」
894:１３２人目の素数さん
19/12/16 18:52:49.56 02MA2acy.net
>>814
正負の無限大。。。？
＋
∞ ← ？
－
・・・負なんて無いよ・・・
０も無いのに・・・負なんて・・・
なおさらあるわけ無いよ...っ！
゜ °。゜｡･ﾟ･(°ﾉω<)･ﾟ･｡
895:１３２人目の素数さん
19/12/16 18:58:57.75 02MA2acy.net
>>816
はやっ！
896:１３２人目の素数さん
19/12/16 19:06:51.41 mnsYSGUS.net
>>809
>無限公理というのは、後者関数を取ること無限操作を認めるということだよ
◆e.a0E5TtKE はコーフンすると日本語がおかしくなる
>だから、出来た可算無限の上昇列で超限順序数ωから逆に辿り、
>降りるとき「無限操作を認める」と解釈すれば良い
>それで、上昇と降下が、可逆になって綺麗だろ？
逆に辿る？
上昇と降下が、可逆になって綺麗？
ギャハハハハハハ ハハハハハハハ！！！（嘲）
こいつ、正真正銘の白痴だなｗｗｗｗｗｗｗ
いつ、だれが、どこで可逆になるといった？
今、貴様が、ここで妄想してるだけだろ
この●チガイが
そもそも非可逆だ
０、１／２、２／３、・・・１
という数列をひっくり返して
０・・・１／３、１／２、１
としたとき、０に一番近い正の数は何だよｗ
そんな数は存在しないんだよ
ばぁぁぁぁぁかｗｗｗｗｗｗｗ
◆e.a0E5TtKE はまた一つトンデモ発言で
数学板の歴史に残る伝説つくっちまったなｗｗｗ
897:１３２人目の素数さん
19/12/16 19:14:07.29 mnsYSGUS.net
>>815
Rに∞を付加して射影直線ができる
射影直線上でｆ（ｘ）＝ｘ＋１という写像を考えると
ｆ（∞）＝∞であり、∞から別の異なる点に行くことはない
まあ、これはωとは無関係な話だがね
898:１３２人目の素数さん
19/12/16 19:20:14 mnsYSGUS.net
ｆ（ｚ）＝ｚ＋１で、∞はリーマン球面上の唯一の不動点である
一方
ｇ（ｘ）＝２ｚで、０、∞はそれぞれ不動点であり
他のすべての点は０から離れ、∞に近づく
899:１３２人目の素数さん
19/12/16 19:39:00.49 mnsYSGUS.net
テスト
900:１３２人目の素数さん
19/12/16 20:51:00.79 gS8L8dsV.net
>数学で重要キーワード抜かしたら、アウトだよ
>院試なら、言い訳きかないからねｗ
うん、院試じゃないから的外れだねｗ
>”∈列＝∈降下列”？
>あほか、お前が勘違いしてただけなんだろｗｗ
>必死の言い訳笑える
あほか、お前が揚げ足取りしてるだけなんだろｗｗ
必死の負け惜しみが笑える
901:１３２人目の素数さん
19/12/17 00:32:55.67 jPpPAWQG.net
>>822
有るよ。~０/~∞とかどう？
だってそれが特異点を現すんじゃないの？空間を。
その空間の物質の密度が~∞/~０
これ↓見つけたんだけど。。。
‰
これ読み方が分からないんだけど、
「無限大分のゼロ」？
902:１３２人目の素数さん
19/12/17 00:39:22.81 jPpPAWQG.net
>>826
宿題は？もう終わったの？↓
ミレニアム問題さんがギブアップしました
ＲＨ！
早く解いてね(^∀^)∩
。。。！！！
±←これ有った！
スマホッぺに入ってたぞー！！
903:１３２人目の素数さん
19/12/17 00:52:26.33 jPpPAWQG.net
>>824
さるるは糖質なの？
双極性障害なの？
どうして賢者タイムとお猿タイムが
別人みたいなの？
難問と闘
904:って砕け散ってしまったの？ フィールズスターに成れ無かった スターダストなの。。。？💧 Ｄｒ.ピーター・シュルツが眩しくて 目がくらくら眩むの？ 目眩ガーッ～！！！＠＠＠＠くらくら くるくるくるってる～！！！w でも、星雲ガスは、また新しい星々が生まれて来る揺りかごに成るから、自分の子ども(孫？)に数学教えて上げれば、ＲＨ解いてくれるかもね？♪ その方が、さるるが頑張るより早いかもねw
905:１３２人目の素数さん
19/12/17 00:58:02.55 jPpPAWQG.net
今日もコロッセオでマティ(;-ω-)ノ
マティ(;-ω-)ノ カ～
のグラディエーターがﾁｮｲﾔｯ!ﾁｮｲﾔｯ！
な闘いを。。。お疲れ様で～す。。。
お休。。。ミレニアム問題早く解いてっ！！！
906:１３２人目の素数さん
19/12/17 05:59:17.78 LQIUz6rO.net
>>827
意味不明
907:１３２人目の素数さん
19/12/17 06:00:17.25 LQIUz6rO.net
>>828
＞早く解いてね
何様？
908:１３２人目の素数さん
19/12/17 06:01:33.76 LQIUz6rO.net
>>829
なんだ？この馬鹿
909:１３２人目の素数さん
19/12/17 06:02:14.58 LQIUz6rO.net
>>830
お前が解けよ ばぁかｗ
910:１３２人目の素数さん
19/12/17 06:04:11 LQIUz6rO.net
>>827-830
ID:jPpPAWQGはキティガィだな
911:１３２人目の素数さん
19/12/17 06:04:55 LQIUz6rO.net
白痴の次は精神病者か？
ま、精神病は治るけど白痴は治らんからな
912:１３２人目の素数さん
19/12/17 06:06:57 LQIUz6rO.net
昨日のトンデモ発言
上昇と降下が、可逆になって綺麗
そんな発言をした馬鹿に質問
列 ０、・・・、１／３、１／２、１
で０に一番近い正の数は何？
913:１３２人目の素数さん
19/12/17 06:10:14 LQIUz6rO.net
馬鹿は無限が理解できない
914:１３２人目の素数さん
19/12/17 06:10:54 LQIUz6rO.net
馬鹿に数学は無理
915:１３２人目の素数さん
19/12/17 06:11:11 LQIUz6rO.net
諦めろ
916:１３２人目の素数さん
19/12/17 09:31:37.42 kcT0Jdjr.net
>>840
キティ頑張れ！諦めるな！！
ヤればデキるかも？だぞっ！
917:現代数学の系譜 雑談
19/12/17 10:33:58.91 MhI4YabZ.net
>>820
＞正負の無限大。。。？
下記な
「別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。」
（>>775より）
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2019年12月号
コンパクト／有限と無限の橋渡し 薄葉季路 22
URLﾘﾝｸ(ja.wikipedia.org)
拡張実数は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う。
無限大は、（通常の）実数ではない。
URLﾘﾝｸ(ja.wikipedia.org)
実数直線は、その上の各点が実数であるような直線である。
位相的な性質
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。
もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である。R 上のこれら二つは全く同じ位相を定める。位相空間としては、実数直線は開区間 (0, 1) に同相である。
URLﾘﾝｸ(upload.wikimedia.org)
R の一点コンパクト化は円周（実射影直線）であり、付け加えられた点は符号なしの無限大と考えることができる。
別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。
他にも、実数直線に無限個の点を付け加えるストーン-チェックコンパクト化などがある。
918:現代数学の系譜 雑談
19/12/17 13:52:52.43 MhI4YabZ.net
>>842 文字化け訂正 ”-”記号ば化けた
「別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。」
↓
「別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [-∞, +∞] と呼ばれる。」
別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。
↓
別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [-∞, +∞] と呼ばれる。
919:現代数学の系譜 雑談
19/12/17 13:55:28.27 MhI4YabZ.net
>>837
おっさんの疑問は
古代ギリシャのゼノンのパラドックスに似とるわ
（「無限ってなに？」 ｂｙ ゼノン ｗ ）
哀れな素人さんに質問してみな
丁寧に教えてもらえるぞ！！ｗｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
ゼノンのパラドックス
2 運動のパラドックス
2.2 アキレスと亀
2.3 飛んでいる矢は止まっている
3 運動のパラドックスの数学的解説
3.2 アキレスと亀
3.3 飛んでいる矢は止まっている
920:現代数学の系譜 雑談
19/12/17 14:10:35.50 MhI4YabZ.net
>>837
列 ０、・・・、１／３、１／２、１
・点の軌跡という入試数学のテーマがある
・そのパロディーで、点がX=1からX=0に向けて動く
普通に、X=０、・・・、１／３、１／２、１ の全ての点を通過する
・逆に、点がX=0からX=1向けて動く
上記と逆の方向で
普通に、X=０、・・・、１／３、１／２、１ の全ての点を通過する
・つまりは、可逆だ
そして、点の軌跡として可算無限の点を通過する
そう考えて、高校数学として、なんの問題もない（＾＾
・古代ギリシャのゼノンのパラドックスで、難しく考えると難しいぞよ！！ｗｗ（＾＾；
（参考）
URLﾘﾝｸ(studysapuri.jp)
高1スタンダードレベル数学ⅠAⅡB
軌跡
921:１３２人目の素数さん
19/12/17 19:30:35 LQIUz6rO.net
>>845
＞つまりは、可逆だ
まだ嘘八百語ってるのか この●チガイ野郎
全順序と整列順序の違いも知らないだろ この白痴が
整列順序ってのはな、最大元じゃない限り、唯一の次者を持ってるんだよ
０、・・・、１／３、１／２、１
が整列順序なら、０の次者が存在する筈
さ、答えて見ろ この白痴●チガイ◆e.a0E5TtKEｗｗｗｗｗｗｗ
922:１３２人目の素数さん
19/12/17 20:38:49.88 LQIUz6rO.net
上昇と降下が、可逆になって綺麗だろ？
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
923:１３２人目の素数さん
19/12/17 21:59:03.11 fivQTq6G.net
>>846
あれ？まだいたんだ。。。
シリア行かなかったの？
924:１３２人目の素数さん
19/12/17 22:05:12.83 fivQTq6G.net
~０とかは？
０.００００００...１とほぼ∞、
~∞に０が続くので
~０/~∞ とかでいんじゃないですかね？
925:１３２人目の素数さん
19/12/17 22:09:59.50 2VmiXiwS.net
バカは無限が理解できない
大きい有限と思ってる
白痴だから
926:１３２人目の素数さん
19/12/17 22:15:57.45 fivQTq6G.net
>>849
これをひっくり返したら
~∞/~０
特異点(ビックシュリンクの終点？)
での 物質の密度/空間
~０/~∞
熱力学的な膨張の終点での
(ビックリップ寸前での？)
物質の密度/空間
熱力学的な膨張と収縮
この膨張の始点と収縮の終点の
一致点が特異点
↑とかは？
927:１３２人目の素数さん
19/12/17 22:17:15.35 fivQTq6G.net
>>850
~０/~∞ じゃダメなの？なんで？
928:１３２人目の素数さん
19/12/17 22:17:57.19 fivQTq6G.net
だって所詮 虚数じゃん！
929:１３２人目の素数さん
19/12/17 22:21:41.48 fivQTq6G.net
０なんて無いさ♪ ∞なんて嘘さ♪
だけどちょっと～♪
だけどちょっと～♪
ボクだって 気になるさ♪
０なんて嘘さ♪ ∞なんて無いさ♪
930:１３２人目の素数さん
19/12/17 22:26:59.22 fivQTq6G.net
>>852
あ、そもそも
~０/~∞
って、、、
０
の代わりだった！
じゃ ~０/~∞
の次は、、、
０.０...~∞１/~∞
とかだった！
'`,､('∀`) '`,､( ´∀`)'`,､('∀`) '`,､ばかだね～♪'`,､
( ´∀`)('∀`) '`,､
931:１３２人目の素数さん
19/12/18 07:07:29.83 9XjuQhgT.net
ID:fivQTq6Gって統失？
932:１３２人目の素数さん
19/12/18 07:08:52.76 9XjuQhgT.net
~０/~∞ じゃダメなの？なんで？
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
933:１３２人目の素数さん
19/12/18 07:30:08.89 9XjuQhgT.net
◆e.a0E5TtKE ωは整列順序として可逆だ！といいはるも
ωの逆順序での次者は？の問いには答えず
「実数の順序は可逆だ！可逆だ！！可逆だ！！！」
と勝手に実数（全順序だが整列順序でない）に置き換えて発狂しまくる
結論：◆e.a0E5TtKE は全順序と整列順序を同じだと思い込む白痴ｗｗｗ
934:１３２人目の素数さん
19/12/18 08:26:44.35 7UwuwkPW.net
>>856
糖質の真似して糖質弄りするのが趣味なのw
似てなかった？さるるの物真似って難しいね♪
馬鹿馬鹿大馬鹿！ＷＷＷＷ
'`,､('∀`) '`,､( ´∀`)'`,､('∀`) '`,､( ´∀`)'`,､('∀`) '`,､
935:１３２人目の素数さん
19/12/18 08:30:51.39 7UwuwkPW.net
「ガールズチャンネルについて語るスレ」ってのにも、そっくりの糖質爺が暴れてるんだけど、さるるではないよね？
あっちでも嵐糖質爺さんが大人気だよ！
'`,､('∀`) '`,､( ´∀`)'`,､('∀`) '`,､( ´∀`)'`,､('∀`)
'`,､( ´∀`)'`,､('∀`) '`,､
さるるそっくり～！♪'`,､('∀`) '`,､( ´∀`)'`,､('∀`) '`,､
936:１３２人目の素数さん
19/12/18 08:35:19.75 b+SG50nC.net
「ガールズちゃんねるを語るスレ」
だった。。。ばかだね～！♪('∀`)'`,､
( ´∀`)'`,､('∀`) '`,､( ´∀`)
'`,､('∀`) '`,､( ´∀`)'`,､
('∀`) '`,､( ´∀`)'`,､('∀`) '`,､
馬鹿馬鹿大馬鹿！ＷＷＷＷ
937:１３２人目の素数さん
19/12/18 08:36:51.18 b+SG50nC.net
おさるΨなら～♪'`,､('∀`) '`,､
( ´∀`)'`,､('∀`) '`,､♪
938:１３２人目の素数さん
19/12/18 19:03:16.46 9XjuQhgT.net
>>859-862
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
939:現代数学の系譜 雑談
19/12/18
940:21:07:16.41 ID:w5TRx3SM.net
941:１３２人目の素数さん
19/12/18 21:45:46.40 UEhmq5si.net
>>863
照れちゃって。。。
( *´艸｀)ﾌﾟﾌﾟﾌﾟｯ！
。。。さるるカワｅ。。。
942:１３２人目の素数さん
19/12/18 21:49:39.50 UEhmq5si.net
がるちゃんを語るスレのきちがい
虹男ぢぢぃよりナイーヴなんだね♪
さるるカワゆ～～～ｯす♪♪♪
やっぱり虹男が５ちゃん最凶か。。。
あばよ！さるる～！デリケートそうだから、これ位にしといてヤンよ！
'`,､('∀`) '`,､( ´∀`)'`,､
('∀`) '`,､( ´∀`)'`,､('∀`)
'`,､( ´∀`)'`,､('∀`) '`,､
943:１３２人目の素数さん
19/12/18 21:51:49.30 QYYPuffA.net
程度が低いにも程がある
944:１３２人目の素数さん
19/12/18 22:32:01.67 9XjuQhgT.net
>>864
ωの逆順序が整列順序でないことも理解できない馬鹿が
臆面もなく数学板に書くなよ このゴキブリ野郎
945:１３２人目の素数さん
19/12/18 22:32:55.61 9XjuQhgT.net
>>865-866
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
946:１３２人目の素数さん
19/12/18 23:02:25.23 CRXyl17L.net
おさるのセリフ↓
「このゴキブリ野郎」
パクったったら
くるくる＠＠虹男爺＠＠が
即死したよ♪さるる♪とんくす♪♪
くるくるぱ～にはさるが効く～♪♪
947:１３２人目の素数さん
19/12/18 23:04:25.10 CRXyl17L.net
ちゃんと猿論文の引用断ったからな？
訴えて来ンなよ～！？
'`,､('∀`) '`,､( ´∀`)'`,､
('∀`) '`,､( ´∀`)'`,､('∀`)
'`,､
948:１３２人目の素数さん
19/12/18 23:09:43.43 SIbjtHQD.net
猿野一石博士、これからもちょくちょく論文の引用をさせて頂いても宜しいでしょうか？
'`,､('∀`) '`,､( ´∀`)'`,､
'`,､'`,､( ´∀`)'`,､('∀`) '`,､
( ´∀`)'`,､('∀`) '`,､( ´∀`)
949:１３２人目の素数さん
19/12/18 23:27:22 QYYPuffA.net
相変わらず分かり易い自演だなｗ
950:１３２人目の素数さん
19/12/18 23:34:39 1Iara4Wc.net
>>873
え？自演って？さるるの？主の？
951:１３２人目の素数さん
19/12/18 23:35:58 1Iara4Wc.net
てかお前誰？
おっちゃんさんですか？
はじめまして？虹男スレの方から来た嵐と申します(^^)
952:Ｑ
19/12/18 23:37:54.94 1Iara4Wc.net
Ｑちゃんと申します。
おっちゃん？(*´∇｀)ヨロシＱ！
953:Ｑ
19/12/18 23:39:19.90 1Iara4Wc.net
エビちゃんとも呼ばれてます(^^)
954:１３２人目の素数さん
19/12/18 23:40:17.40 1Iara4Wc.net
主でもお猿博士でも有りませ～ん♪
955:Ｑ
19/12/18 23:41:41.50 1Iara4Wc.net
嵐に構っちゃって♪
。。。おっちゃんさん、、、
おばかさんだねー♪♪♪
'`,､('∀`) '`,､( ´∀`)'`,､
('∀`) '`,､( ´∀`)'`,､('∀`)
'`,､( ´∀`)'`,､('∀`) '`,､
956:１３２人目の素数さん
19/12/18 23:42:50.19 1Iara4Wc.net
今日のおばか弄り終わり～♪♪♪
( ´∀`)'`,､('∀`) '`,､( ´∀`)
957:Ｑ
19/12/18 23:46:18.06 1Iara4Wc.net
おっちゃんΨなら～♪
お休。。。
ミレニアム問題♪早よ！早よ！！
迅く迅く解き参らせよ～♪♪♪
'`,､('∀`) '`,､( ´∀`)'`,､
('∀`) '`,､( ´∀`)'`,､('∀`)
'`,､( ´∀`)'`,､('∀`) '`,､
958:１３２人目の素数さん
19/12/18 23:50:11.97 1Iara4Wc.net
此処で解をアップしてね♪(^^)
(σ´∀`)σパクって発表したる♪
959:Ｑ
19/12/18 23:50:48.99 1Iara4Wc.net
'`,､('∀`) '`,､( ´∀`)'`,､('∀`) '`,､お休ミレニアム～♪♪♪
960:現代数学の系譜 雑談
19/12/19 00:05:29.62 CZu9Myu4.net
>>883
お疲れです
おサルの相手、ご苦労さまですｗ（＾＾；
961:１３２人目の素数さん
19/12/19 00:
962:18:06.13 ID:MtZspq6l.net
963:現代数学の系譜 雑談
19/12/19 00:21:26.30 CZu9Myu4.net
>>868
＞ωの逆順序が整列順序でないことも理解できない馬鹿が
論点すりかえ
１．問題は、シングルトンの可算無限列が、正則性公理に反するのかどうか？だった
つまり、「そういう可算無限列は存在してはいけない」！というのが、おサルの数学
２．しかし、0,1,2,・・・n・・ という可算無限の上昇列は存在しうる
そして、ノイマン構成では、0∈1∈2∈・・・∈n∈・・ という∈による可算無限列が存在しうる
３．なお、自然数が構成できた後、負の整数を考えると、通常の大小関係 <= を考えたものは整列集合ではない
しかし、別の二項関係 R を考えれば、Z を整列集合にすることができる
なので、おサルの数学は、ヒトの数学とは異なるってことだな
QED
（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
(抜粋)
例と反例
自然数の全体 N
（0 を含む）自然数全体の成す集合 N は通常の大小関係 ? が整列順序を与える。この整列集合の順序型は ω で表される。さらに、0 でない任意の自然数は唯一の直前元を持つ
N における別な整列順序としては、例えば、どの偶数もどんな奇数よりも小さいものとし、偶数同士あるいは奇数同士では通常の大小関係を適用することで得られる順序
0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, …
が挙げられる。この順序に関する整列集合の順序型は ω + ω である。任意の元が直後の元を持つ（したがって最大元は存在しない）が、直前の元を持たない元が 0 と 1 の二つ存在する
整数の全体 Z
自然数の全体に通常の大小関係を考えたものとは異なり、整数全体の成す集合 Z に通常の大小関係 <= を考えたものは整列集合ではない。たとえば、負の整数全体の成す集合には最小元が存在しない
たとえば、次のような二項関係 R を考えれば、Z を整列集合にすることができる
この関係 R は要するに
0, 1, 2, 3, 4, …, -1, -2, -3, …
となる順序として表すことができる。この整列順序 R に関する整列集合 Z の順序型は順序数 ω + ω に順序同型である
Z の別な整列順序の例としては、
0, -1, 1, -2, 2, -3, 3, -4, 4, …
である。これは ω を順序型とする整列順序である
(引用終り)
以上
964:１３２人目の素数さん
19/12/19 01:22:58.70 e+XaVTsH.net
相変わらずバカ丸出し
965:１３２人目の素数さん
19/12/19 06:07:05.36 vUsZDapA.net
>>886
＞別の二項関係 R を考えれば、Z を整列集合にすることができる
Zが順序<で整列集合でない、といわれて逆上し
「別の二項関係 R を考えれば」と言い訳してまで
”ボクちゃん正しい”と言い張る
◆e.a0E5TtKEは正真正銘の白痴ｗｗｗ
ギャハハハハハハ！！！
966:１３２人目の素数さん
19/12/19 06:08:14.98 vUsZDapA.net
>>870-872
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
967:１３２人目の素数さん
19/12/19 06:09:37.48 vUsZDapA.net
>>874-883
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
968:１３２人目の素数さん
19/12/19 10:37:45.51 ewL+VwLw.net
ａａそれしか持ってないの。。。？
ａａ△底辺□民なんだね・・・💧
さるるカワウソ〰💧💧💧
いっつも同じａａ貼るしか無いｻﾙﾙ〰！💧💧💧
969:１３２人目の素数さん
19/12/19 10:40:25.13 ewL+VwLw.net
いっつも１人めがね👓でﾌﾞﾂﾌﾞﾂ...
数学呟いて周りから浮いてンだね。。。
可哀想。。。ｻﾙﾙくんのトラウマａａなんだね・・・
泣けてくる。。。(。ﾉД`)
970:１３２人目の素数さん
19/12/19 10:42:12.85 ewL+VwLw.net
此処があって良かったね♪
ｻﾙﾙの書き込み見てくれる
主達がいるからね♪♪♪
(σ´∀`)σ«🙈
971:現代数学の系譜 雑談
19/12/19 17:33:38.56 NsYAj7SX.net
>>888
＞Zが順序<で整列集合でない、といわれて逆上し
＞「別の二項関係 R を考えれば」と言い訳してまで
１．？ 言い訳？ Wikipediaのコピーだけどｗｗ（＾＾；
２．ZFC下で、もし集合が存在しさえすれば、Zermeloの整列定理（それは選択公理と同値だが）で、
972:整列可能であり、正則性公理には反しない ３．逆に、正則性公理に反する集合（特に無限集合）は、最初から存在しえない その根本が分かってないんじゃね？ だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小限の存在で捉えた方が良いと思うぜ（＾＾ そうしないと、既にZFC下で存在する集合に対して、「これは無限降下列を構成するから、正則性公理に反する」なんて、アホなおサルの議論になってしまうよｗｗ
973:現代数学の系譜 雑談
19/12/19 17:35:30.07 NsYAj7SX.net
>>894 タイポ訂正
だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小限の存在で捉えた方が良いと思うぜ（＾＾
↓
だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小元の存在で捉えた方が良いと思うぜ（＾＾
974:１３２人目の素数さん
19/12/19 17:56:03.71 irY5twgB.net
マンコにチンコを挿入する
これがセックス
975:１３２人目の素数さん
19/12/19 19:14:04 vUsZDapA.net
>>895
>だから正則性公理は、無限降下列で捉えるよりも、
>∈に関する最小元の存在で捉えた方が良いと思うぜ（＾＾
なんで◆e.a0E5TtKEは正確に整礎の定義を覚えられないのかな
記憶能力もない白痴かな？ｗｗｗ
「集合X 上の二項関係 R が整礎であるとは、
X の空でない任意の部分集合 S が
R に関する極小元を持つことをいう。」
◆e.a0E5TtKEは「空でない任意の部分集合」が抜けたね
しかも「最小元」じゃなく「極小元」だね
なんで肝心な言葉を覚えずしかも単語を間違えるかね？
0…1/3,1/2,1 の場合
0を抜いた部分集合には極小元はあるかな？
ないね あるといったらウソツキ野郎だねｗ
だからいってるだろう
◆e.a0E5TtKEは数学のスの字も分からん白痴だとｗｗｗｗｗｗｗ
976:１３２人目の素数さん
19/12/19 19:14:42 vUsZDapA.net
>>895
>だから正則性公理は、無限降下列で捉えるよりも、
>∈に関する最小元の存在で捉えた方が良いと思うぜ（＾＾
なんで◆e.a0E5TtKEは正確に整礎の定義を覚えられないのかな
記憶能力もない白痴かな？ｗｗｗ
「集合X 上の二項関係 R が整礎であるとは、
X の空でない任意の部分集合 S が
R に関する極小元を持つことをいう。」
◆e.a0E5TtKEは「空でない任意の部分集合」が抜けたね
しかも「最小元」じゃなく「極小元」だね
なんで肝心な言葉を覚えずしかも単語を間違えるかね？
0…1/3,1/2,1 の場合
0を抜いた部分集合には極小元はあるかな？
ないね あるといったらウソツキ野郎だねｗ
だからいってるだろう
◆e.a0E5TtKEは数学のスの字も分からん白痴だとｗｗｗｗｗｗｗ
977:１３２人目の素数さん
19/12/19 19:18:19 vUsZDapA.net
ああ、そうそう∈の話をしているのに
勝手に∈とは異なる二項関係Rを持ち出すのは
詐欺だよ サ・ギ
978:１３２人目の素数さん
19/12/19 19:25:33.12 aNwDmAg2.net
８９６←❗❗❓❓❓👀‼はｻﾙﾙじゃなかったんだね・・・ｻﾙﾙ変質者なのか・・・？ってちょと思っちゃってたね。。。
979:１３２人目の素数さん
19/12/19 19:26:51.25 aNwDmAg2.net
ばかだね～～～～♪( ´∀`)'`,､('∀`) '`,､
980:１３２人目の素数さん
19/12/19 19:29:16.39 aNwDmAg2.net
(σ´∀`)σばかがいっぱいいるね～～♪♪♪'`,､('∀`) '`,､( ´∀`)'`
,､('∀`) '`,､
981:１３２人目の素数さん
19/12/19 19:40:09.97 87tqMlln.net
Σ(´Д｀;)ﾊｯ!まさか虫工 男 、、、
女又が止ヒ処まで、、、？そんな、まさか、、、💦
982:１３２人目の素数さん
19/12/19 19:41:11.88 87tqMlln.net
((( ；ﾟДﾟ)))
983:１３２人目の素数さん
19/12/19 19:42:31.85 87tqMlln.net
┃≡３ ﾋﾟｭｯ!
Ψならｯ！
984:１３２人目の素数さん
19/12/19 20:12:06.20 vUsZDapA.net
>>900-905
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
985:１３２人目の素数さん
19/12/19 21:21:47.86 bEVJhkXY.net
嵐に構う人も荒らしです
986:１３２人目の素数さん
19/12/19 22:17:03.92 e+XaVTsH.net
>>894
バカ丸出し
自演する暇はあっても勉強する暇は無いってかｗ
987:１３２人目の素数さん
19/12/19 22:24:37.11 e+XaVTsH.net
バカは自演癖が治らんね
バレてないつもりらしいがパターンがあるからすぐ分るｗ
988:１３２人目の素数さん
19/12/19 23:09:22.98 C/GyumcO.net
「ＩＵＴに深刻で修正が無理なギャップを発見した」ってピーターが言ってる内容が解る方、解説お願い出来ませんか？
989:１３２人目の素数さん
19/12/19 23:10:53.67 C/GyumcO.net
やっぱり足し算&掛け算の関係性についてなんですか？
990:１３２人目の素数さん
19/12/19 23:12:26.52 C/GyumcO.net
このスレにドクターは居ませんか〰！？
ドクターコール！でーす！
991:１３２人目の素数さん
19/12/20 02:05:53.21 yiLw1Jz8.net
0600
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
992:１３２人目の素数さん
19/12/20 05:52:09.44 ylfrCRaM.net
>>908-909
◆e.a0E5TtKEは証明どころか用語の定義の文章も理解できない白痴
993:１３２人目の素数さん
19/12/20 07:56:05.00 pVRKr0X7.net
>>913
↑。。。凄いんですね。。。
・・・それに比べて
うちのｻﾙﾙちゃん↓と来たら・・・
>>914
ﾊｱｧ┐(´∀｀;)┌ﾔﾚﾔﾚ...
994:１３２人目の素数さん
19/12/20 07:57:52.91 pVRKr0X7.net
おかしなＤＩＳcussionだけ頑張っちゃって、、、情けない・・・(;つД｀)
995:１３２人目の素数さん
19/12/20 07:59:00.97 pVRKr0X7.net
おとうさんが泣いてますょ・・・
996:１３２人目の素数さん
19/12/20 08:03:38.72 pVRKr0X7.net
ｻﾙﾙ！負けるな～！ｻﾙﾙは
ヤればデキル子ｯ！諦めるな━っ！
ﾌﾚｰ!ﾌﾚｰ!!ｻﾙﾙ!!!
ｶﾞﾝｶﾞﾚ!ｶﾞﾝｶﾞﾚ!ｻﾙﾙ!ｵｰｯ!!
997:１３２人目の素数さん
19/12/20 08:07:34.99 pVRKr0X7.net
泣くな、ｻﾙﾙ。。。
恥ずかしくなんか、ないよ♪
誰だって壁にぶつかることがある。。。
∬
⊃☕🍩»
￣￣￣￣￣ﾎｨｯ!
これ食って、またガンガレ！
998:１３２人目の素数さん
19/12/20 08:10:02.45 pVRKr0X7.net
今日のｻﾙﾙちゃん弄り終わり～♪っと。
今日はｻﾙﾙがショックを受けてるので、お手柔らかにしてあげま～～～す♪
(σ´∀`)σ«●|￣|＿
999:１３２人目の素数さん
19/12/20 08:14:46.48 pVRKr0X7.net
(・・・小学生に負けたなんて・・・ｻﾙﾙちゃん、、、辛すぎる・・・
・・・ﾀﾋななきゃいいんだけど💦
今日は１日見貼ってなきゃだね、、、
1000:１３２人目の素数さん
19/12/20 09:07:02.38 TR6+oSjG.net
連投必死だなｗ＆自演乙ｗ
1001:現代数学の系譜 雑談
19/12/20 10:28:44.30 Ii0I/2d9.net
>>897
>◆e.a0E5TtKEは「空でない任意の部分集合」が抜けたね
>しかも「最小元」じゃなく「極小元」だね
おサル、赤ペン添削ご苦労さん
数学の試験では、減点かな？ｗ（＾＾；
ところで、
おサルの数学論法では
自然数のZermelo構成で、順序数ωが出来ない
（∵正則性公理に反する）
とか言ったよね
あるいは
(1=)1/1,1/2,1/3,・・1/n,・・,0
なる列で、0の左の数が、具体的に（有限で？）言えないと、数列自身が存在しないのか？
（極限 0＝lim n→∞ 1/n が存在しない？と言いたいのか）
おサルの数学は、
何を言いたいのか、
理解できないぞｗ
(1=)1/1,1/2,1/3,・・1/n,・・,0 なる可算無限列は、ZFC下でちゃんと存在するでしょ
おサルの論法なら
数直線で、点0と、開区間(0,1)と、点1とがあって、
この３つの部分を合わせると、
点0∪(0,1)∪点1＝[0,1](閉区間)
となる。ヒトの数学ではねｗ（＾＾
で、”開区間(0,1)の左端と右端の点は何だ？ 答えられなければ、開区間(0,1)は存在しない”
というのが、
おサルの数学だったでしょ
ヒトのスレ主としては、
”だからどうした？”というしかないね
おサルさん、中学数学からやりなおしだな
1002:現代数学の系譜 雑談
19/12/20 10:30:44.30 Ii0I/2d9.net
>>921
ID:pVRKr0X7さん、どうもありがとうございます。
おサルの相手、ご苦労さまです！（＾＾
1003:現代数学の系譜 雑談
19/12/20 10:34:35.42 Ii0I/2d9.net
>>923 訂正
おサルの論法なら
数直線で、点0と、開区間(0,1)と、点1とがあって、
↓
数直線で、点0と、開区間(0,1)と、点1とがあって、
注）
「おサルの論法なら」が不要だったな（＾＾
1004:Ｑ
19/12/20 11:24:53.12 pzvfr+dm.net
>>922
主の自演じゃないですよ？
通りすがりの嵐です。。。
主様、ｺﾞﾒﾝﾅｻｨ...
1005:現代数学の系譜 雑談
19/12/20 12:01:01.66 Ii0I/2d9.net
>>926
ありがとう
おサルの相手についても、お礼申し上げる
1006:現代数学の系譜 雑談
19/12/20 14:45:07.57 Ii0I/2d9.net
>>910-912
＞「ＩＵＴに深刻で修正が無理なギャップを発見した」ってピーターが言ってる内容が解る方、解説お願い出来ませんか？
すれ違いです
下記のIUTスレでどうぞ
なお、外しているかもしれないが、私見参考下記
１）正確には、望月論文IIIの3.11から3.12がおかしいというのが、
1007:Peter Scholzeの指摘らしい ２）その中で、望月論文でのラベルの付け方で、IUTの不等式が導けるとしているところ、ラベル意味ない（あるいはラベル付け不能）みたいな趣旨とIUTスレで読んだけど ３）あと、加藤文元先生の出版社に手紙出して、「Peter Scholzeの指摘を論破した続編書いてくれ」と投稿してほしいな。読んでみたいよ（＾＾； （参考） Inter-universal geometry と ABC予想 42 https://rio2016.5ch.net/test/read.cgi/math/1572150086/
1008:１３２人目の素数さん
19/12/20 15:15:26.20 sPoRppxa.net
>>928
ありがとうございました。
ちょっと見てみますね...φ(.. )...
1009:１３２人目の素数さん
19/12/20 16:18:16.12 WwKqxXpa.net
おっちゃんです。
>>875-883
>>885
私は、その時間帯には余程のことがない限り5チャンはしていない。
それにしても、分散っていう波動現象は面白いね。
(ユークリッド)平面 R^2 上では波動の分散現象が起きるために原点 O(0,0) から生じる波動が隅々まで伝わらないけど、
直線R上では、波動の分散現象が起きないために、原点 O(0) から生じる波動が隅々まで伝わるようになる。、
分散の波動現象は、奇数次元の空間と偶数次元の空間とで生じた波動の伝わり方が異なって来る原因になっている。
1010:１３２人目の素数さん
19/12/20 17:23:23.49 WwKqxXpa.net
それじゃ、おっちゃんもう寝る。
1011:１３２人目の素数さん
19/12/20 19:04:37.34 ylfrCRaM.net
>>923
>自然数のZermelo構成で、順序数ωが出来ない
>（∵正則性公理に反する）
◆e.a0E5TtKEは日本語も読めない白痴野郎だな
◆e.a0E5TtKEの馬鹿が
「Zermelo構成でのΩはシングルトン！」
と口から出まかせの大嘘をつき続けるから
その嘘は正則性公理に真っ向から反する
と教えてやったまで
Zermelo構成のΩは存在するが、シングルトンではない
◆e.a0E5TtKEの馬鹿が
「（０以外の）任意の自然数がシングルトンだからΩもシングルトン」
と全然反論理的な妄想思考全開で発狂しまくってるだけ
1012:１３２人目の素数さん
19/12/20 19:09:30.90 ylfrCRaM.net
>>923
＞何を言いたいのか、理解できないぞｗ
それは◆e.a0E5TtKEが馬鹿だからｗｗｗ
1013:１３２人目の素数さん
19/12/20 19:14:18.96 ylfrCRaM.net
>>923
＞1/1,1/2,1/3,・・1/n,・・,0
＞なる列で、0の左の数が、具体的に（有限で？）言えないと、
＞数列自身が存在しないのか？
なぜ数列がでてくるんだ？
白痴は論理も知らんのか？
Ωはシングルトンだ！と言い切ったのは馬鹿の◆e.a0E5TtKE
シングルトンだから唯一の要素がある
その要素はΩー１、つまりΩの左側の数だ
馬鹿の貴様がシングルトンだと言い切った
馬鹿の貴様がΩの前者であるすぐ左の数があると言い切った
馬鹿の貴様が何も考えずに発言して自爆したｗｗｗｗｗｗｗ
大阪大卒？いくら大阪大が二流でも貴様みたいな白痴が受かるわけないだろ？
貴様みたいな白痴が受かる大学なんか、
名前書けただけで受かるFラン大学しかないだろｗｗｗｗｗｗｗ
1014:１３２人目の素数さん
19/12/20 20:36:32.89 TR6+oSjG.net
>数学の試験では、減点かな？ｗ（＾＾；
↑
最小と極小の違いも分からないバカｗ
1015:１３２人目の素数さん
19/12/20 20:48:05.91 TR6+oSjG.net
>Zermelo構成のΩは存在するが、シングルトンではない
これって前にも言ってたよね
まったくバカは人の話をまったく聞いてないな
だからバカのままなんだろう
1016:Ｑ
19/12/20 20:49:58.98 PajeDX38.net
>>930
おっちゃんさんじゃなかったんですね。。。間違えちゃって。。。
大変失礼致しました。。。ｺﾞﾒﾝﾅψ。
(自演)乙ちゃんさんは
ｻﾙﾙ🙉ﾁｬﾝさんではないのかな？
1017:１３２人目の素数さん
19/12/20 20:51:27.80 ylfrCRaM.net
馬鹿は論理がない
馬鹿は直感しかない
だから間違う
直感は嘘つき
このことが百篇死んでも分からないのが馬鹿
1018:１３２人目の素数さん
19/12/20 20:52:31.25 PajeDX38.net
>>934-936←👀ｻﾙﾙちゃん。。。？
。。。やっぱり(自演)乙ちゃんは
ｻﾙﾙ？？
1019:１３２人目の素数さん
19/12/20 20:53:20.80 ylfrCRaM.net
直感で理解する は嘘
直感で誤解する が真
直感は誤
1020:り 直感は嘘
1021:１３２人目の素数さん
19/12/20 20:54:22.62 ylfrCRaM.net
>>939
首掻き切って死ねよ馬鹿野郎
1022:１３２人目の素数さん
19/12/20 20:54:45.76 PajeDX38.net
>>938
「エレガントな宇宙」で
著者のマイケル・グリーンが
「計算は直感の嘘を暴く」って
似た様な事書いてましたね。。。
1023:１３２人目の素数さん
19/12/20 20:57:41.71 PajeDX38.net
マリリン・ボス・サヴァントも
「人々は日常生活で培われた
経験的な直感とは反する事実が
理解出来無い様です」
ってモンティホール問題の顛末の感想を語ってたらしいよ。
1024:１３２人目の素数さん
19/12/20 21:01:23.47 PajeDX38.net
でもマイキーもマリリンも
「首掻き切って死ねよ馬鹿野郎」
とかは「言ってた」って見た事無いね・・・
1025:現代数学の系譜 雑談
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の可算無限重シングルトン）”と考えると
”ωから、無限降下列が構成される”から、正則性公理に反する」
ということだったろ？ｗ（＾＾
しかし、>>886に示したように、<Zermelo構成>による
後者関数による自然数の構成は、あくまで上昇列であって、「正則性公理に反することはない！」というのがヒトの数学だ！！
（実はZermelo構成に限らず、自然数の構成は、あくまで上昇列なのだよ。当たり前のことだが）
”ω:（0の可算無限重シングルトン）”の存在が、なぜ「正則性公理に反する」と言えるのかな？ｗ（＾＾
確かに、”ω:（0の可算無限重シングルトン）”以外の可能性も、あるかもな
しかし、今問題にしていることは
おサルの主張：『”ω:（0の可算無限重シングルトン）”の存在は、”正則性公理に反する”』なのだ
どうぞ、ご説明を
お願いしますよｗｗ（＾＾；
どこでどう、、”正則性公理に反する”のかのご説明をｗｗ
それできないに、１ペソ （：ｐ
1026:現代数学の系譜 雑談
19/12/20 21:23:18.81 ZaXFXilg.net
>>945 訂正
ω+1:= {ω}（ωの1重シングルトン）
ω+2:= {ω}（ωの2重シングルトン）
ω+3:= {ω}（ωの3重シングルトン）
↓
ω+1:= {ω}（ωの1重シングルトン）
ω+2:={{ω}}（ωの2重シングルトン）
ω+3:={{{ω}}}（ωの3重シングルトン）
分かると思うが（＾＾；
1027:１３２人目の素数さん
19/12/20 21:32:46.59 TR6+oSjG.net
>>945
バカ丸出しｗ
1028:１３２人目の素数さん
19/12/20 21:36:02.37 ylfrCRaM.net
>>945
＞ω:（0の可算無限重シングルトン）
＞これが一番自然でしょ（＾＾
馬鹿は自然に誤にり自然に嘘をつく
馬鹿の「自然」は数学の最大の敵
1029:１３２人目の素数さん
19/12/20 21:38:49.44 ylfrCRaM.net
＞おサルの主張は、
＞「”ω：（0の可算無限重シングルトン）”と考えると
＞ ”ωから、無限降下列が構成される”から、正則性公理に反する」
＞ということだったろ？
嘘 妄想
「”ω：（0の可算無限重シングルトン）”と考えると
ωー1が存在することになり、ωが極限順序数であることに反する」
が正しい
◆e.a0E5TtKE は卑怯卑劣なウソツキ
ガソリンで焼かれて死にやがれ 大阪のゴキブリ
1030:１３２人目の素数さん
19/12/20 21:40:00.92 ylfrCRaM.net
◆e.a0E5TtKE は卑怯卑劣なウソツキ
首掻き切って殺せ！！！ 大阪のウジ虫
1031:１３２人目の素数さん
19/12/20 23:14:59.10 3BxOf2gQ.net
>>950
※国人？アベガーッ！とか。
反日臭プンプンな香ばしいレスしまくってたり、、、
1032:現代数学の系譜 雑談
19/12/20 23:34:31.36 ZaXFXilg.net
>>951
おつです
おサルの相手、ご苦労様です
おサルの友達、いなくなったみたいｗ（＾＾；
慰めてやって下さいｗ
1033:現代数学の系譜 雑談
19/12/20 23:35:22.35 ZaXFXilg.net
次スレ 立てました
現代数学の系譜 カントル 超限集合
1034:論2 https://rio2016.5ch.net/test/read.cgi/math/1576852086/
1035:現代数学の系譜 雑談
19/12/20 23:38:39.03 ZaXFXilg.net
おサルが、IUTスレとか外で暴れて
皆さんのご迷惑にならないように
おサルの調教及び、
おサルとの遊び場として、活用してください
ここは、もうすぐ1000に達します
1036:１３２人目の素数さん
19/12/20 23:39:15.35 TR6+oSjG.net
自演はもっと上手にやろうね
見てるこっちが恥ずかしくなるから
1037:１３２人目の素数さん
19/12/20 23:40:19.96 TR6+oSjG.net
バカのくせにプライドだけは人一倍高いんだよなあ
1038:１３２人目の素数さん
19/12/20 23:49:29.86 1Ng84qNO.net
>>953
乙ありです
乙ちゃんさん降臨ですね？？
♪( ´∀｀)σ«>>955
1039:Ｑ
19/12/20 23:50:34.52 1Ng84qNO.net
主の自演じゃないですよ～！
1040:Ｑ
19/12/20 23:53:32.18 1Ng84qNO.net
♪(σ´∀`)σ«乙ちゃんさん。。。♪
ばかだね～～～♪♪♪
'`,､('∀`)♪'`,､( ´∀`)♪'`,､
('∀`)♪'`,､( ´∀`)'`,､('∀`) '`,､
1041:Ｑ
19/12/20 23:57:10.48 1Ng84qNO.net
主様とおっちゃんさんと
乙ちゃんさんとｻﾙﾙちゃんと
Ｑしかいないのかな。。。？
解を得よ
なんちゃって。。。
( ´∀`)'`,､('∀`)'`,､
'`,､('∀`)'`,､( ´∀`)
お休ミレニアムなψ～～～っ♪♪♪
1042:現代数学の系譜 雑談
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} = {{{{}}}}
つづく
1043:現代数学の系譜 雑談
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(ω))), ... と無限に続いていく。
その後、それらの最小上界（後に ω + ω と呼ばれる）が並び、その後続者たちが無限に続く。
だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は"永遠に"続いていくのである。
(引用終り)
以上
1044:現代数学の系譜 雑談
19/12/21 00:25:05.29 AVt64yFu.net
>>960
カラオケ絶唱ありがとう～！（＾＾；
1045:現代数学の系譜 雑談
19/12/21 00:31:31.29 AVt64yFu.net
>>930-931
おっちゃん、どうも、スレ主です。
レスありがとう（＾＾；
1046:１３２人目の素数さん
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は正真正銘の白痴
数学語るのは朝鮮大学校入ってから云えｗｗｗｗｗｗｗ
1047:現代数学の系譜 雑談
19/12/21 08:07:09.03 AVt64yFu.net
>>961 補足
(引用開始)
けれども、<Zermelo構成>によるωの構成はだれも否定していない
<ノイマン構成>からぱくって、ω＝Nも出来なくは無い
ω＝N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい
だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。
だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、自然であり理論的にも綺麗
<Zermelo構成>でのωが、シングルトンであることを否定する理屈なし
(引用終り)
・確かに、ωは、それ以前の何者の後者でもない
・しかしながら、後者関数として定義された性質
それは、
<ノイマン構成>では、それ以前の全てを要素からなる集合
<Zermelo構成>では、シングルトン
という性質を持つ集合と考えるのが、理論として一番整合している
・この根拠として、1つの考え方として、
極限として理解することもできる
有限の集合の列の極限としてね
・それは、もちろん、公理的な自然数の構成の筋からは外れるとしても
（極限が定義されるのは、公理的構成のずっと後だろうから。自然数などが構成された後の話として極限が出てくるのだろうけれど）
・ただ、後者関数は必ずしも、<ノイマン構成>の後者関数に限定されないという意味では、上記のように解釈するのが自然と思うよ
1048:１３２人目の素数さん
19/12/21 08:08:10.93 RiKZpZyq.net
馬鹿◆e.a0E5TtKEが理解できないこと
順序数は３つに分類できる
０
後続順序数 １，２，３，・・・等、ある順序数の次者となる順序数
URLﾘﾝｸ(ja.wikipedia.org)
極限順序数 ω、２ω、ω＾２、ω＾ω、・・・等、順序数列の極限として表される順序数
URLﾘﾝｸ(ja.wikipedia.org)
◆e.a0E5TtKEは
「Zermelo構成では０＝｛｝は空集合だが
１＝{{}}，２＝{{{}}}，３＝{{{{}}}}，・・・はみなシングルトンだ
だ・か・ら、Ωもシングルトンだ」
というが、これは
「Zermelo構成では後続順序数はシングルトン
だ・か・ら、極限順序数もシングルトン」
というくらい理論ぬきの馬鹿発言であるｗｗｗｗｗｗｗ
1049:現代数学の系譜 雑談
19/12/21 08:11:54.71 AVt64yFu.net
>>966 補足の補足
順序数の<ノイマン構成>と<Zermelo構成>
この2つ以外もあるだろうが
後者関数が違っても
順序同型になって
同型の意味で、
一意でしょ
1050:１３２人目の素数さん
19/12/21 08:18:53.69 RiKZpZyq.net
>>966
＞・確かに、ωは、それ以前の何者の後者でもない
この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった
な・ぜ・な・ら
Zermelo構成の次者関数s(x)={x}は、あくまで
後続順序数がシングルトンであることを決めただけ
であるから
＞ <Neumann構成>では、それ以前の全てを要素からなる集合
＞ <Zermelo構成>では、シングルトン
＞ という性質を持つ集合と考えるのが、理論として一番整合している
馬鹿丸出し
たしかに、Neumann構成では、
後続順序数であろうが、極限順序数であろうが
自分より小さい順序数を要素とする
しかし、後続の作り方と、極限の作り方は全然異なる
馬鹿は、そのことが全然わかってない
Zermelo構成では後続の作り方を定めただけ
それだけでは極限の作り方は何も決まらない
極限の作り方は別に考える必要がある
Ωを極限とするとされる順序列の項を要素とする集合として
Ωを構成するしかない
したがってシングルトンにはなり得ない
いい加減分かれ ゴキブリ◆e.a0E5TtKE
1051:１３２人目の素数さん
19/12/21 08:36:17.34 RiKZpZyq.net
Zermelo構成
後続順序数o+1はｏのみを要素とするシングルトン
一方極限順序数ではその前者は存在しない
したがって
極限
1052:順序数Ωを”前者”Ωー１を要素とするシングルトンとする のは完全にアタマがオカシイ馬鹿の戯言だとわかる 結論 ◆e.a0E5TtKEの完敗 朝鮮馬鹿は朝鮮へ帰れｗ
1053:１３２人目の素数さん
19/12/21 08:47:32.37 RiKZpZyq.net
内容：
さてＭセンセイもご覧になってると評判の紅白歌合戦だが
今年の曲目
AKB48 恋するフォーチュンクッキー (2013)
乃木坂46 シンクロニシティ (2018)
欅坂46 不協和音 (2017)
日向坂46 キュン (2019)
どれもこれもぬるっちい曲ばっかだなｗ
1054:１３２人目の素数さん
19/12/21 08:49:17.28 pc7JmFyr.net
„
ｻﾙﾙちゃん「ψ(ｻﾞｲ)じゃ無い！」アピール？？？がｽｺﾞｲですね。。。
もしかして、
必死になってますか・・・？
゜°(。ﾉＡ`)゜。
ｻﾙﾙちゃんがｶﾜｳｿ〰!ﾀﾞｮ〰!
1055:１３２人目の素数さん
19/12/21 08:50:07.78 RiKZpZyq.net
紅白歌合戦で全日本国民に是非聞かせてやりたい名曲ｗ
URLﾘﾝｸ(www.youtube.com)
日本人ならIUTよりDA DA DANCE！
1056:１３２人目の素数さん
19/12/21 08:53:13.14 pc7JmFyr.net
おまけにいい歳してｱｲﾄﾞﾙｦﾀｸ。。。
。。。(;ω;｀*)ｻﾙﾙ。。。
1057:１３２人目の素数さん
19/12/21 08:54:53.86 pc7JmFyr.net
激しい日本人アピ・・・
もうアラフォーなのに、、、
ｱｲﾄﾞﾙｦﾀｸ。。。
お母さんが心配してるね・・・
1058:１３２人目の素数さん
19/12/21 08:57:45.76 pc7JmFyr.net
ｻﾙﾙちゃんが絶滅しちゃうよ・・・
もうアラフォーなのに・・・
。°。°゜°。°゜(。ノＡ<)゜°゜。
1059:１３２人目の素数さん
19/12/21 08:59:46.41 RiKZpZyq.net
>>974
枯れた爺はさっさと死ねよｗｗｗ
栴檀は双葉より芳し
URLﾘﾝｸ(www.youtube.com)
1060:１３２人目の素数さん
19/12/21 09:00:27.92 pc7JmFyr.net
もう関節も固まっちゃってんのに。。。
激しいヲタダンスで靭帯断裂。。。
。°゜。°゜*゜°。°゜(;つД｀)゜°。
惨ｽｷﾞﾙ...
1061:１３２人目の素数さん
19/12/21 09:03:03.57 pc7JmFyr.net
ｻﾙﾙちゃんがカワウソだよ〰〰！！！
(´д｀;||)゜°。°゜°。。°゜
1062:１３２人目の素数さん
19/12/21 09:04:36.89 RiKZpZyq.net
>>975-976
＞もうアラフォーなのに
もう５０過ぎてるよｗｗｗ
その昔、SU-METALのパパがやってたバンド
URLﾘﾝｸ(www.youtube.com)
1063:１３２人目の素数さん
19/12/21 09:18:42.14 RiKZpZyq.net
>>978
>もう関節も固まっちゃってんのに。。。
ええ、年相応に５０肩ですがｗ
メイト(BABYMETALのファン)はヲタダンスはしないな 邪魔だしｗ
1064:１３２人目の素数さん
19/12/21 09:21:01.65 pc7JmFyr.net
ちなみにＱ爺は
ハズレの男性と全女性に性的興味が有りません♪
黒人男性ボーカル曲しか受付け無い体質です♪
ゆく年くる年～♪もいつも通り、、、
ニッガボーカルずをへびロテしてると思います♪
'`,､('∀`)♪'`,､( ´∀`)'`,､
独りでいつものナンバー聴いて
いつもの
Ｘ’ボッチ
ｱﾝﾄﾞ
ｂｏｃｈｙ☆ｎｅｗ☆ｙｅａｒ
♪♪楽しいね～～～♪
♪(σ´∀`)σ««🙊ｻﾙﾙぴょ～～ん♪
'`,､('∀`)♪'`,､( ´∀`)'`,､
♪ばかだね～～～♪♪( ´∀`)
('∀`)♪'`,､( ´∀`)'`,､('∀`)
'`,､( ´∀`)'`,､('∀`)♪'`,､
♪おばかさんがいっぱいいるね～♪
♪♪楽しいね～～～♪♪♪
♪(○´∀｀人´∀｀○)♪♪♪
1065:１３２人目の素数さん
19/12/21 09:24:11.29 pc7JmFyr.net
>>980-981
。°゜*°。°゜(。つд⊂)゜°。°゜*°。
1066:１３２人目の素数さん
19/12/21 09:37:00.88 RiKZpZyq.net
>>982
・・・もしかしてホモセクシュアル？
ま、いいけど 人それぞれだから
1067:１３２人目の素数さん
19/12/21 09:43:25.28 uGB58l1z.net
>>984 アジアン男性には ♂ﾋﾟｸﾘともした事無いんで 安心して下さい♪
1069:１３２人目の素数さん
19/12/21 10:00:27.93 RiKZpZyq.net
>>985
をを・・・
1070:現代数学の系譜 雑談
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 ｎ→∞ suc{n}
と定義すれば良い
これは、公理的な順序数の構成から、外れているかも知れないが
いろんな後者関数による順序数の構成例としては、ありでしょ
（数学的に、正則性公理などに反するとか、矛盾を生じるとか無ければ）
（先にも書いたが、極限を使ってωを定義すると循環論法になりかねないが、極限が定義された後でならありだろう）
1071:現代数学の系譜 雑談
19/12/21 10:19:32.75 AVt64yFu.net
>>981-982
次スレあるので
続けて、楽しく踊って下さい
その方がIUTスレの方々にとっては
平穏でしょう（＾＾
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板)
1072:現代数学の系譜 雑談
19/12/21 10:27:03.60 AVt64yFu.net
>>987 補足
まあ、素朴集合論の感覚では
最小の可算無限集合は、自然数Nに限定されない
いろんな、自然数Nに相当する最小の可算無限集合が構成可能でしょ
だから、ノイマン構成でω＝Nだとしても、それが確かに理論的に綺麗だとしても
別の後者関数で、
類似のことが可能でしょ
（特に、”公理的な順序数の構成”という枠を外してしまえば、極限とかいろいろ使えて自由度が上がるし）
1073:１３２人目の素数さん
19/12/21 10:33:01.73 F38HrLhN.net
>綺麗というより空虚
バカの脳は空虚そのもの
＞ <Neumann構成>では、それ以前の全てを要素からなる集合
＞ <Zermelo構成>では、シングルトン
＞ という性質を持つ集合と考えるのが、理論として一番整合している
バカは数学ができない
バカは積み木遊びをしているだけ
「このブロックはここが収まりが良い」とやっているだけの白痴
1074:１３２人目の素数さん
19/12/21 10:34:35.57 F38HrLhN.net
バカは数学ができないので {{…}} が正則性公理に反することすら理解できない
まさに白痴
1075:１３２人目の素数さん
19/12/21 10:38:59.14 rvw1sGKR.net
>>988
♪ぅわ〰い！♪+.ﾟ(´▽`人)ﾟ+.ﾟ＊♪
主様乙ありで～す！ｻﾙﾙ良かったね～♪
ｲｴｪ〰ｨ！(((*ﾟ∀ﾟ人🐵»♪♪
Ｑ爺、心の♂がちょっとふっくらしちゃいましたよ♪♪
1076:１３２人目の素数さん
19/12/21 10:54:16.38 RiKZpZyq.net
>>987
おまえ、>>970読んだか？
Ωがシングルトン
＝唯一の要素はΩー1
＝Ωには前者Ωー１が存在する
＝Ωは極限順序数ではなく後続順序数
となる
◆e.a0E5TtKE、自爆死ｗｗｗｗｗｗｗ
1077:１３２人目の素数さん
19/12/21 10:58:50.05 RiKZpZyq.net
>>991
確かに{{…(無限回)…}}は、正則性公理に反する
し・か・し、それ以前にそもそも前者が存在する時点でオカシイ
Ωが無限個の要素を持つのは、要素中の極大値が存在しないから
1078:１３２人目の素数さん
19/12/21 16:19:12.33 RiKZpZyq.net
URLﾘﾝｸ(ja.wikipedia.org)
”順序数 λ が極限順序数であるための必要十分条件は
「λ より小さい順序数が存在して、
順序数 β が λ より小さい限り
別の順序数 γ が存在して
β < γ < λ とできることである」”
つまり、λより小さい順序数の最大値となる”前者”が存在しない
したがって、”前者”だけを唯一の要素とすることはできない
◆e.a0E5TtKE 12/21 焼死・・・
1079:１３２人目の素数さん
19/12/21 16:24:16.26 RiKZpZyq.net
次スレのテンプレ
◆e.a0E5TtKE トンデモ発言
１．{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}
２．Zermelo構成では 0={},1={{}},2={{{}}},…
だから Ω＝{{…(無限重)…}}
次スレでは第３のトンデモ発言に期待ｗｗｗｗｗｗｗ
1080:１３２人目の素数さん
19/12/21 16:
1081:55:33.96 ID:sDHAtJ3L.net
1082:１３２人目の素数さん
19/12/21 16:55:43.41 sDHAtJ3L.net
マンコ
1083:１３２人目の素数さん
19/12/21 16:55:53.33 sDHAtJ3L.net
マンコ
1084:１３２人目の素数さん
19/12/21 16:56:57.87 sDHAtJ3L.net
チンコ
1085:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 77日 6時間 59分 47秒
1086:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています