19/12/15 15:17:00.81 PRdnkv5o.net
◆e.a0E5TtKEは「定義から考える」という基本が全然できてない
だから「降下列」といわれても全然理解できず、
漫然と「順序数全体の順序の列」を想像したりする
両者は全然異なる
だから「０からωにいたる順序数全体の列は無限列だ！」と
いくら絶叫しても無意味
ωから降りるとき、ωより小さいある順序数を決めなければならない
ここで注意すべきは、
ωの直前、つまりωより小さい最大の順序数は存在しない
ということ
だから、ωより小さいどんな順序数ｎをとったとしても
ｎは自然数であり、ｎより大きくωより小さい自然数は無数にある
どんな順序数もその降下列は有限列である、
というのは全然おかしなことではない
794:現代数学の系譜 雑談
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
（＾＾
795:１３２人目の素数さん
19/12/15 15:26:21.12 PRdnkv5o.net
>>794
＞シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れない
＞だから、ωに相当するシングルトンの存在は、正則性公理には反しない
「だから」以降は云えない
まず、ωは自然数ではない
自然数の後続順序数は自然数である
最初の超限順序数であるωは
当然後続順序数ではない
ωの存在は、正則性公理に反しないが
ωがシングルトンだとすれば、
そもそも極限順序数でないことになる
◆e.a0E5TtKEは極限順序数には直前の順序数がないことが
どうしても理解できないようだ
御愁傷様
796:１３２人目の素数さん
19/12/15 15:37:01.62 PRdnkv5o.net
＞ωに相当するシングルトンの存在を否定したければ、
＞別の理論を持ってこい ｗ！！ｗ
＞（そんな理論はありませんｗｗ）
ωがシングルトンだと主張したければ
ωが後続順序数であること、すなわち
｛ｘ｝＝ωとなるｘを持ってこいｗ！！ｗ
（そんな順序数はありませんｗｗ）
797:１３２人目の素数さん
19/12/15 15:40:34.30 PRdnkv5o.net
◆e.a0E5TtKE の トンデモ集合論ｗｗｗ
１）{}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}
２）ω＝{x}となるｘが存在する
あと一つトンデモ発言したらトンデモ殿堂入りｗｗｗｗｗｗｗ
798:１３２人目の素数さん
19/12/15 16:16:21.80 PRdnkv5o.net
◆e.a0E5TtKEが愚かにも
「ωは超準自然数！」
とかほざきそうなので
先にいっとくけど
ωは超準自然数ではありません（キッパリ）
したがってω－１はありません！！！
799:１３２人目の素数さん
19/12/15 17:17:45.87 1xZAPqJd.net
そもそも "反しない" などという言葉を軽々と使える時点で数学の一丁目一番地がわかってない。
反する事の証明を与えることはできても反しない事の証明は一般にできる場合でも容易ではない。
一般にはモデル構成すればいいんだけど。
しかし今回はそもそも反してるし反してる事の証明も与えられてるのにまだこんなこと言ってる。
800:１３２人目の素数さん
19/12/15 17:21:51.64 PRdnkv5o.net
>>799
そもそも◆e.a0E5TtKEの主張
「Zermeloのωはシングルトン！」は
「ωが極限順序数であって後続順序数ではない」
という定義に反してる時点でトンデモ
801:１３２人目の素数さん
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林班ノは」
である。」
「網走刑務所の「番外地」という呼び名も本来の所在地が
「網走市字三眺官有無番地」であったものが
「刑務所=娑婆と切り離された別世界」というイメージで、
そこに手紙を出す受刑者の家族などによって作られたものと考えられる。」
802:１３２人目の素数さん
19/12/15 17:29:40.63 PRdnkv5o.net
Gスレは今後「数学板の番外地スレ」と呼んだほうがいいな
803:１３２人目の素数さん
19/12/16 06:54:47.28 mnsYSGUS.net
ｽﾚﾘﾝｸ(math板)
番外地スレはIUTスレになったようだ
804:１３２人目の素数さん
19/12/16 06:57:24.24 mnsYSGUS.net
カントルスレ 今後の注目点
１）{}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}
２）ω＝s(x)となるxが存在する
に続く集合論に関する第三のトンデモ発言は何か？
805:現代数学の系譜 雑談
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は、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）”
と、あほ発言
笑えるわ（＾＾
806:１３２人目の素数さん
19/12/16 07:39:14.78 mnsYSGUS.net
＞「集合のいかなる∈列も有限長で終わる」
＞というのが正則性公理ですから
∈列＝∈降下列 だから 正しい
馬鹿のいう列は ∈列ではない
例えばωの直前の元が存在しない
もし馬鹿が「s(x)＝ωとなるxは存在する！」というなら
それは正真正銘のトンデモ発言ｗｗｗｗｗｗｗ
807:１３２人目の素数さん
19/12/16 07:40:46.88 mnsYSGUS.net
「降下列＝さかさまの順序列」と思ってる時点で
◆e.a0E5TtKE は正真正銘の馬鹿ｗｗｗｗｗｗｗ
808:１３２人目の素数さん
19/12/16 07:42:32.26 mnsYSGUS.net
ｽﾚﾘﾝｸ(math板)
番外地スレの牢名主の咆哮がイタイタしい・・・
809:現代数学の系譜 雑談
19/12/16 11:36:18.34 FklPj7Hd.net
>>806
>＞「集合のいかなる∈列も有限長で終わる」
>＞というのが正則性公理ですから
>∈列＝∈降下列 だから 正しい
>馬鹿のいう列は ∈列ではない
なに食言しているんだｗ
数学で重要キーワード抜かしたら、アウトだよ
院試なら、言い訳きかないからねｗ
”∈列＝∈降下列”？
あほか、お前が勘違いしてただけなんだろｗｗ
必死の言い訳笑える
>>793
>ωから降りるとき、ωより小さいある順序数を決めなければならない
そんな必要はないだろ？
おまえ、ノイマン構成で、無限公理を認めて、可算無限集合
｛1,2,3・・n・・｝を構成するときに
ある有限集合｛1,2,3・・n｝から
突然ジャンプして
無限集合｛1,2,3・・n・・｝って妄想しているんじゃね？ｗ（＾＾
無限公理というのは、後者関数を取ること無限操作を認めるということだよ
だから、出来た可算無限の上昇列で超限順序数ωから逆に辿り、降りるとき
「無限操作を認める」と解釈すれば良い
それで、上昇と降下が、可逆になって綺麗だろ？
（実質的に「無限操作を認める」という解釈は、数学でいたるところ出てくるよ。
（”ε－δ自慢する”やつがハマる穴かもなｗ））
まあ、哀れな素人さんと、いつまでも「無限」論争やってるわけだよな、おまえは
その程度の「無限」の理解なんだな、おまえ
笑えるわ（＾＾
810:１３２人目の素数さん
19/12/16 13:11:54.03 kcqXf4G0.net
>>791
ねぇねぇ→ＲＨ←これ解いて。。。
教えて下さい。お願いします。。。
助けて、解が解らない、、、
ってミレニアム問題さんが言ってました。。。
811:１３２人目の素数さん
19/12/16 13:22:34.36 kcqXf4G0.net
ｓｈＱＥ/ＭＮｗ氏
&
ＰＲｄｎｋｖ５ｏ氏 は
「ニクラ・ブルバカ」氏として
２人組でＲＨでも解いてみてから
まだ暇だったら、ゐぢわるぢぢゐ
として出直されてみては。。。？
812:１３２人目の素数さん
19/12/16 13:24:41.52 kcqXf4G0.net
>>801
|дﾟ)!!無知番地。。。
(無知番地の方から来ますた。。。)
813:１３２人目の素数さん
19/12/16 13:27:51.05 kcqXf4G0.net
助けて。。。ＲＨが解らない。。。
助・け・て。。。