[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
652(1): 2021/10/29(金)16:03 ID:6pT2N+Ne(14/19) AAS
>>649
>>スレの8割がIUTと関係ない不毛な言い争い。
> 残り2割のIUT関連は、私の投稿である
2割のうち1割がコピペ 残り1割は中身と無関係の礼賛 意味ないね
>>650
「＜上昇列 ０＜１＜・・・ω という無限列」は上昇列だけど降下列ではない
「＜上昇列 ０＜１＜・・・＜ω 」は上昇列かつ降下列、
そして順序数の降下列は有限列 >>644に書かれてる通り
これでも分からんなら数学無理だから諦めな
653(1): 2021/10/29(金)17:33 ID:1yoczR+k(10/10) AAS
>>652
まあ、一月くらい”晒し者”にしてやる
せっせと墓穴を掘りな
一月くらいの間に自得するだろうが
さもなければ、間違いを教えてやる
そのころには、再起不能だろうね
ご愁傷様です
簡単なことなのに
こんな簡単なことが分からない
それじゃ
省3
654(32): 2021/10/29(金)18:06 ID:6pT2N+Ne(15/19) AAS
>>653 2012/1/31以来約10年アホを晒してる奴が何いってんだ？
現代数学の系譜11 ガロア理論を読む
2chｽﾚ:math
なんか、アホがギャアギャアわめいてるから
>>643の
「降鎖条件を満たすことと、整礎であること、
つまり任意の空でない部分集合が極小元をもつことは同値である。
これは極小条件 (minimal condition) とも呼ばれる。」
の証明でもしようか
まず、集合Aについて、a_n∈Aとなる無限長の降鎖(a_n)n∈Nがあったら、
省10
655(10): 2021/10/29(金)18:18 ID:EoZd8iY6(3/4) AAS
>>654
ではその定理を利用してNはdccを満たすがaccを満たさないの証明を完成して下さい
656(2): 2021/10/29(金)18:24 ID:6pT2N+Ne(16/19) AAS
>>655
それは 1yoczR+k にいってるのね？
657(2): 2021/10/29(金)18:42 ID:b9mmbE1+(1) AAS
>>656
いえ、セタにです
658(1): 2021/10/29(金)19:10 ID:6pT2N+Ne(17/19) AAS
>>657
なるほど、PGi3LHk2 ってことね
おそらく、PGi3LHk2 = 1yoczR+k だと思うけど
659(2): 2021/10/29(金)19:55 ID:EoZd8iY6(4/4) AAS
なんだ>>654はセタじゃないのか
えらい成長したなと思ったらそんなわけなかったwww
660: 2021/10/29(金)20:32 ID:PGi3LHk2(2/6) AAS
>>655-658
ほいよｗ
おまいら、サルの肩を持った時点で、負け組だよ
分からない問題はここに書いてね 470
2chｽﾚ:math
661(7): 2021/10/29(金)20:33 ID:PGi3LHk2(3/6) AAS
>>650 再録ｗ
その定義と、>>638
（おサルの珍説再録）
珍説1（>>354より）
「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」
珍説2（>>363より）
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
(引用終り)
省5
662(2): 2021/10/29(金)20:47 ID:PGi3LHk2(4/6) AAS
>>661 追加
（>>354より 再録）
Inter-universal geometry と ABC予想 (応援スレ) 55
2chｽﾚ:math
158 名前：１３２人目の素数さん[sage] 投稿日：2021/06/17(木) ID:40Ayiq4a
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ
966 名前：１３２人目の素数さん[sage] 投稿日：2021/06/27(日) ID:5wbdzBIx
(ω論争まとめ <発言抜粋>)（＾＾
510 2021/06/20 ID:jA2rtNGF
省28
663(23): 2021/10/29(金)21:00 ID:6pT2N+Ne(18/19) AAS
>>659
アハハ、やっぱり勘違いされてましたか なんかそんな気がしたんだよね
実は自分でも何気に書きぶりが似てると感じるときがありましてね・・・
なんか伝染するんですかね？ 危険な兆候だな（苦笑）
実は>>654の証明は
松坂和夫氏の「集合・位相入門」の第3章§3の問2
の解答をほぼそのまま書いてます
ついでに>>655の解答書くと
もし、NがDCCでないとすると、無限降下列が存在しますが その場合、
「任意のn∈Nについて、nが無限降下列の項に入ってない」
省12
664(1): 2021/10/29(金)21:07 ID:6pT2N+Ne(19/19) AAS
>>662
（０＜・・・＜ωについて）
>{0,1,2,...,ω}に全順序関係「＜」が定まってるとも普通に読めるよ。
全然読めないなｗ
「＜ω」と書いてしまったが最後、＜の左に項が存在しないといけない
つまり、ωからその下の項に降下できる列、とそこで規定している
そこ見落としたPGi3LHk2が迂闊
もうあきらめな
松坂和夫の「集合・位相入門」すら全然読んだことない奴に
現代数学なんか全然無理だから
665(2): 2021/10/29(金)23:46 ID:PGi3LHk2(5/6) AAS
ID:EoZd8iY6さん、やっぱ亀おじさんこと、基礎論廃人か？
夜中の0時、3時、5時と投稿して、朝の11時から投稿再開かい
良い5ｃｈでに仕事振りですなｗ
外部ﾘﾝｸ[html]:hissi.org
必死チェッカーもどき
数学 > 2021年10月29日 > EoZd8iY6
書き込み順位＆時間帯一覧
4 位/73 ID中 Total 9
時間 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
書き 1 0 0 1 0 1 0 0 0 0 0 3 0 1 0 0 0 0 1 1
省27
666: 2021/10/29(金)23:48 ID:PGi3LHk2(6/6) AAS
>>665 タイポ訂正
良い5ｃｈでに仕事振りですなｗ
↓
良い5ｃｈでの仕事振りですなｗ
667(1): 2021/10/30(土)00:14 ID:zgBubH+2(1/31) AAS
>>664
（引用開始）
（０＜・・・＜ωについて）
>{0,1,2,...,ω}に全順序関係「＜」が定まってるとも普通に読めるよ。
全然読めないなｗ
「＜ω」と書いてしまったが最後、＜の左に項が存在しないといけない
つまり、ωからその下の項に降下できる列、とそこで規定している
そこ見落としたPGi3LHk2が迂闊
(引用終り)
またまた、バカ晒しかよ
省22
668(2): 2021/10/30(土)05:04 ID:jsIfaBFZ(1/23) AAS
>>667
zgBubH+2はなにをトチ狂ってんだ？
まず「＜上昇列 ０＜１＜・・・ω という無限列があり得る」の
０＜１＜・・・ωには、全ての自然数が現れる
しかし一方「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」の
０＜１＜・・・＜ωは、当然現れない自然数がある
そりゃそうだろ
０＜ω
０＜１＜ω
０＜１＜２＜ω
省19
669(1): 2021/10/30(土)05:08 ID:jsIfaBFZ(2/23) AAS
>>668は >>646の【問題】
＞「無限に続く真の下降列がない」が
＞「任意に長い真の降鎖列が存在する」
＞（つまり、列の長さの最大値が存在しない）
＞例を示せ
の答えね
つまりωがその例だってこと
670(1): 2021/10/30(土)06:33 ID:zgBubH+2(2/31) AAS
>>668-669
トチ狂っているのは、あなたです
命題A「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」
の証明に、あるn∈Nを持ってきて
命題B「＜上昇列 ０＜１＜・・＜n＜ω が有限列になる」
という例を作っただけでしょ？
それって証明かい？ｗ
671(1): 2021/10/30(土)07:12 ID:jsIfaBFZ(3/23) AAS
>>670
>それって証明かい？
ええ
いかなる順序数の降下列も有限列である、というのは
順序数に関する超現帰納法で証明されますが、その際
「極限順序数λについて
α＜λとなる任意のαの降下列が有限列なら
λの降下列も有限である」
を証明する必要があります
上記の証明は根本的に
省3
672(4): 2021/10/30(土)08:28 ID:zgBubH+2(3/31) AAS
>>654
>「降鎖条件を満たすことと、整礎であること、
> つまり任意の空でない部分集合が極小元をもつことは同値である。
> これは極小条件 (minimal condition) とも呼ばれる。」
>の証明
>まず、集合Aについて、a_n∈Aとなる無限長の降鎖(a_n)n∈Nがあったら、
>集合{a_n}n∈Nは最小元を持たないから、Aは整列集合でない
"実は>>654の証明は
松坂和夫氏の「集合・位相入門」の第3章§3の問2
の解答をほぼそのまま書いてます">>663
省16
673(1): 2021/10/30(土)08:28 ID:zgBubH+2(4/31) AAS
>>672
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
整列順序付けられた集合または整列集合（英: well-ordered set）とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。
外部ﾘﾝｸ:ja.wikipedia.org
二項関係が整礎（英: well-founded）であるとは、真の無限降下列をもたないことである。
外部ﾘﾝｸ:ja.wikipedia.org
省9
674(7): 2021/10/30(土)08:41 ID:zgBubH+2(5/31) AAS
>>663
(引用開始)
もし、NがDCCでないとすると、無限降下列が存在しますが その場合、
「任意のn∈Nについて、nが無限降下列の項に入ってない」
といえるので矛盾します
「」内を数学的帰納法で示します
まず、0は無限降下列に入ってません
0より小さい自然数はないからそこで止まっちゃいますからね
で、任意の自然数n>0について、
n未満の自然数が無限降下列に入ってないとすると
省21
675(3): 2021/10/30(土)09:06 ID:zgBubH+2(6/31) AAS
>>674 追加
細かいけど>>655で
「>>654 ではその定理を利用してNはdccを満たすがaccを満たさないの証明を完成して下さい」
だったよね
対して、>>633の証明は、”その定理を利用して”の誘導を無視してない？
それって、院試なら暴走答案でしょ？
合っていれば点はくれるだろうけどねｗ、まあ、大幅減点かもねｗ
>>671
>順序数に関する超現帰納法で証明されますが、その際
>「極限順序数λについて
省13
676(1): 2021/10/30(土)09:18 ID:zgBubH+2(7/31) AAS
>>659
＞なんだ>>654はセタじゃないのか
＞えらい成長したなと思ったらそんなわけなかったwww
おれは名前の議論はしない。だれか第三者に迷惑を掛ける可能性があるからね
で、「えらい成長したな」って、あんた「定義！ 定義」！
と絶叫するわりに>>654の問題点スルー？
全く定義無視の証明なのに？(>>672 例 整礎→整列集合 とか、選択関数を使ったときの順序の問題とか)
あなた あんまり、力が無いように見えるけど？
677(1): 2021/10/30(土)09:42 ID:KRIa6Reb(1/3) AAS
>>676
お前に他人の問題点指摘する資格なんなねーよwwwww
バーカwwwwwwwwwwww
678(1): 2021/10/30(土)10:12 ID:jsIfaBFZ(4/23) AAS
>>672
１．について
松坂和夫氏の「集合・位相入門」の第3章§3の問2は以下の通り
「Ａが整列集合であるための必要十分条件は、Ａにおいて（無限長の）降鎖が存在しない、であると示せ」
そもそも、ここでは半順序集合について一切議論してないから、実質的に問題ない
２．について
”まず･･･”で始まる２行は
「無限長の降鎖があれば、最小元が存在しない」
と言ってるから
「任意の空でない部分集合が最小元をもつなら、無限長の降鎖は存在しない」の証明
省16
679: 2021/10/30(土)10:14 ID:zgBubH+2(8/31) AAS
>>677
ID:KRIa6Rebさん、基礎論廃人氏ねｗ
>お前に他人の問題点指摘する資格なんなねーよwwwww
それは否定はしない
”資格”なんて、貰った記憶がないからね？
ところで、”資格”って何？ 「定義」は？ｗｗｗ
で、貴方は”資格”あんの？
その証明は？
定義なし、自分の”資格”有無の言及なし、”資格”有無の証明なし
あんたの文は、全然ロジカルじゃないよね
省2
680(1): 2021/10/30(土)10:28 ID:jsIfaBFZ(5/23) AAS
>>674
>（>>663）これって、松坂和夫氏の「集合・位相入門」には、無いでしょ？
そもそも、>>665が松坂和夫氏の「集合・位相入門」には、無い問題ですが
>単に
>「（自然数の集合Nで）任意の空でない部分集合が極小元をもつ」
>（自然数だから最小元を示せば可）
>を言えば良いんじゃね？
言いましたが、何か？
Ｎは全順序集合だから極小元を最小元と置き換えてよい
>>663の証明は背理法を使っただけ
省8
681(1): 2021/10/30(土)10:33 ID:jsIfaBFZ(6/23) AAS
>>675
>なんか、知っている言葉を羅列して、ゴマカシているよね
>超限帰納法をちゃんと理解していたら
>珍説は、言わないと思うよ
逆だな
超限帰納法を理解していたら、
「いかなる順序数の降下列も有限長」
を認める筈だけど 理解できなかった？君
682(2): 2021/10/30(土)11:05 ID:zgBubH+2(9/31) AAS
>>678
> そもそも、ここでは半順序集合について一切議論してないから、実質的に問題ない
実質的には同意
だが、形式的には問題だろ？ｗ（>>672の1な）
> ２．について
言いたいことは分かった
「降鎖条件を満たすことと、整礎であること、
つまり任意の空でない部分集合が極小元をもつことは同値である。
これは極小条件 (minimal condition) とも呼ばれる。」
の証明で
省15
683(2): 2021/10/30(土)11:06 ID:zgBubH+2(10/31) AAS
>>682
つづき
> ３．について
> φの性質から明らかにa>φ(a)ですから
> φ(a_n-1)=a_nと定義すれば当然a_n-1>φ(a_n-1)=a_nですが何か？
> もしかしてφの定義も理解できん？
>「任意のa∈Mに対してφ(a)∈M_a={x∈M|x<a}」だよ
なるほど、分かったけど、やっぱ記述が荒いね
松坂和夫氏の「集合・位相入門」の文脈では、”∈”が”＜”の扱いなんだね
それは、ノイマンの正則性公理（下記）の意図でもある
省9
684(2): 2021/10/30(土)11:06 ID:zgBubH+2(11/31) AAS
>>683
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
正則性公理（英: axiom of regularity）は、別名基礎の公理（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。
・∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない。
外部ﾘﾝｸ:ja.wikipedia.org
モストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。
概要
RをクラスX上の二項関係で以下の3条件を満たすものとする。
省5
685: 2021/10/30(土)11:19 ID:jsIfaBFZ(7/23) AAS
>>682 無意味なので全部スルー
>>683
>松坂和夫氏の「集合・位相入門」の文脈では、”∈”が”＜”の扱いなんだね
は？なにわけわかんないこといってんだ？
モストフスキ？関係ない 貴様、🐎🦌なのか？
>>684 無意味なコピペするな
686(2): 2021/10/30(土)11:22 ID:zgBubH+2(12/31) AAS
>>680-681
(引用開始)
>>663の証明は背理法を使っただけ
「最小元を持たない部分集合が存在するなら、
無限長の降鎖が存在するが、
数学的帰納法により、どの自然数もその降鎖に含まれない
といえるから矛盾
したがって、そんな部分集合は存在しません」
(引用終り)
やっぱりね
省27
687: 2021/10/30(土)11:32 ID:X5ZPh+Zz(1) AAS
工学バカ脳が数学出来ないのは相変わらずだが
煽り芸だけは進歩（というか悪化）してるなｗ
688(1): 2021/10/30(土)11:33 ID:jsIfaBFZ(8/23) AAS
>>684中の正則性公理
外部ﾘﾝｸ:ja.wikipedia.org
の以下の2条件
「・∀xについて、∈がx上well-founded
・∀xについて、無限下降列である x∋x_1∋x_2∋･･･ は存在しない。」
が同値であることは、単純に２項関係としての「∈」しか見てないから
これを「<」と置き換えても成り立つ
したがって、>>654の証明で全く十分であり、
「”∈を<としてよい”と書いてないから荒い」
とかいうのは読解力が欠如した🐎🦌の言い草である
689(1): 2021/10/30(土)11:39 ID:jsIfaBFZ(9/23) AAS
>>686
前半の煽りはスルー 君の無能による憤懣は君の中だけで処理しようなｗ
>>君は背理法を使わないほうが「簡単」といいたいようだけど
>>そう思うならやってみてごらん
>そんな趣味ない
数学を学ぶ趣味ないなら、長文コピペやトンデモカキコの趣味もやめたほうがいいな
>あんたが松坂を見たように、
証明は即座に思いついたが、答え合わせで見ただけのこと
>探せばどこかに落ちていると思うけどね
自分で探せば 素人が考える一見安易な方針は実は難しいんだがな
省9
690(1): 2021/10/30(土)11:56 ID:BYrhleLc(1) AAS
便食蟲の集合Aごときじゃ喩え男性器全摘→人工膣世界最高峰スポーン式工事を経ても新宿二丁目で働けんじゃろ、由って
便食蟲の集合Aを1/0で割られたし。ブラックホールなら1/0で割って呉れる哉？
便食蟲の集合Aの静止エネルギー含む全エネルギーを1/0で割りγ線バースト状に光子に変換｡
ブラックホールに呑み込まれる人は生命版過冷却の如く、既に死亡している筈の傷病症状にも関わらず
意識が生きたままと成る！縦方向に引き延ばされ横方向が引き潰されていく
ロードローラーの究極形の圧延を、死亡している筈の体で味わい続けるのじゃ！失神も気絶も不能!!いい気味じゃぁああ!!
691: 2021/10/30(土)12:09 ID:jsIfaBFZ(10/23) AAS
>>690
>男性器全摘→人工膣世界最高峰スポーン式工事
また、そういうオモシロイことをかいてくれちゃって・・・
つい検索しちゃったじゃないですかｗ
性別適合手術ってどんな手術なのか―？
外部ﾘﾝｸ:ddnavi.com
「SRS（性別適合手術）を「ちょんぎるの？」と誤解しがちだが、
肉じゃがをカレーにするような「作り変える技術」なのだそうだ。
一つは「反転法」と呼ばれ「陰茎の皮をひっくり返して造膣」する術式で、
これは術後の膣の感度が良く費用が安く済むのがメリットだという。
省10
692(1): 2021/10/30(土)13:38 ID:zgBubH+2(13/31) AAS
>>626
>「自然数の集合はdescending chain condition は満たすがascending chain confition は満たさない 」
思い返してみると
ノイマンの正則性公理で、（下記）
”∀xについて、∈がx上well-founded”
”∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない”
は、標準的なZFC内では保証されていて
もちろん、ノイマン構成による自然数Nの元についても、全く同じこと
だから、それは当たり前中の当たり前のことで
そんなdescending chain condition とかascending chain confition とかでは
省18
693(2): 2021/10/30(土)13:43 ID:zgBubH+2(14/31) AAS
>>688
>したがって、>>654の証明で全く十分であり、
>「”∈を<としてよい”と書いてないから荒い」
>とかいうのは読解力が欠如した歷の言い草である
甘いな
院試では、書かれた答案が全て
書かれていないことは、点にはならないよ
それが原則だよ
>>689
>>あんたが松坂を見たように、
省5
694(1): 2021/10/30(土)13:58 ID:YwwEvWdO(1) AAS
>>892
イヤ、問題になってたのはお前の“無限シングルトン”の話やろ？
お前の“無限シングルトン”Xの元Yは無限シングルトンなんか？有限シングルトンなんか？
どっちやねん？
まさかの空集合か？
695(1): 2021/10/30(土)16:42 ID:jsIfaBFZ(11/23) AAS
>>692
>ノイマンの正則性公理で
>”∀xについて、∈がx上well-founded”
>”∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない”
>は、標準的なZFC内では保証されていて
両者の同等性がZFCによる証明は既に示したが何か？
「無限長の降鎖がないなら、任意の部分集合に最小元がある」
というところで選択公理を使う
>だから、それは当たり前中の当たり前のことで
いやいやいやいや、おまえ全然分かってなかったよ
省20
696(2): 2021/10/30(土)17:10 ID:zgBubH+2(15/31) AAS
>>694
>イヤ、問題になってたのはお前の“無限シングルトン”の話やろ？
>お前の“無限シングルトン”Xの元Yは無限シングルトンなんか？有限シングルトンなんか？
>どっちやねん？
別に拘らんよ、元の存在か
いろいろ考えられるよね
元無しのUrelementでも構わんし
元有りの集合として考えても可
とにかく、“有限シングルトン”の n→∞（or ω）の極限を考えたら、（可算）“無限シングルトン”が考えられるってだけ
それがどんなものかは、無責任だが、興味がある人が考えたら良いんじゃない？
省11
697(2): 2021/10/30(土)17:15 ID:R9J9ZCyt(1/3) AAS
>>696
それは敗北宣言かね？
698: 2021/10/30(土)17:15 ID:jsIfaBFZ(12/23) AAS
>>696
>とにかく、“有限シングルトン”の n→∞（or ω）の極限を考えたら、
>（可算）“無限シングルトン”が考えられるってだけ
そもそも、それがウソだけどなｗ 極限の取り方が間違ってる
和集合で考えたら、シングルトンではなく無限集合になる ZFCの中でおさまる
お🐒の{}遊びには全く興味ない 論理が分からん🐎🦌に数学は無理 諦めろ
699(1): 2021/10/30(土)17:28 ID:jsIfaBFZ(13/23) AAS
>>697
お🐒は自らの負けを認められない だから数学に負けた
自らの無理解と誤解を自覚でない者に、正しい理解など不可能である
さて、お🐒は>>674で
「単に「（自然数の集合Nで）任意の空でない部分集合が極小元をもつ」
（自然数だから最小元を示せば可）を言えば良いんじゃね？」
と云ってるが、それは
「Nの任意の部分集合からその最小元を求める手続きを示せば良いんじゃね？」
という意味らしい
類似の定理で
省17
700(2): 2021/10/30(土)17:35 ID:zgBubH+2(16/31) AAS
>>695
>だって、正則性公理により無限長の降鎖がないっていったら
>「いや、無限長の昇鎖はある！」（だから降鎖もある）
>って速攻で文句つけてたじゃん
なんか、誤解があると思うな
どの発言だい？ 他人の発言と勘違いじゃね？
正則性公理が禁止しているのは、”∈”を使う二項関係を、
集合の大小 ”＜”と見なしたときに
空集合{}が最下層のどん底であり、
”・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するってことです
省31
701(1): 2021/10/30(土)17:41 ID:zgBubH+2(17/31) AAS
>>697
>それは敗北宣言かね？
いや別に
反問して悪いけど
到達不能基数の元は何か？
到達不能基数は、集合ではないかもしれないけどね
でも、元が考えられないから、それは存在しえないという論理は、
数学には無いよね
702: 2021/10/30(土)17:43 ID:zgBubH+2(18/31) AAS
>>699
結論：珍説晒し者継続中
>>661
（おサルの珍説再録）
珍説1（>>354より）
「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」
珍説2（>>363より）
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
省4
703(1): 2021/10/30(土)17:50 ID:jsIfaBFZ(14/23) AAS
>>700
>>正則性公理により無限長の降鎖がないっていったら
>>「いや、無限長の昇鎖はある！」（だから降鎖もある）
>>って速攻で文句つけてたじゃん
>なんか、誤解があると思うな
>どの発言だい？ 他人の発言と勘違いじゃね？
覚えてないんだね 随分都合がいい頭だねｗ
>正則性公理が禁止しているのは、
>”∈”を使う二項関係を、集合の大小 ”＜”と見なしたときに
>空集合{}が最下層のどん底であり、
省25
704(1): 2021/10/30(土)17:52 ID:R9J9ZCyt(2/3) AAS
>>701
お前以外無限シングルトンなるものが矛盾なく定義できると主張してるものはいない
とりあえず無限シングルトンが正則性の公理と矛盾するのはわかったみたいやな
こんな単純なアホみたいな話理解するのに何年かかってんねん
どこまで頭悪いん？
705(1): 2021/10/30(土)17:59 ID:jsIfaBFZ(15/23) AAS
>>700
>>descending chain condition とか
>>ascending chain confition とかでは
>>おサルの珍説が救えるはずないよね
>これ正しいよ
>それが貴方には分からないんですね
それ間違いね
お🐒のキミには一生分からんだろうがね
御愁傷様(-||-)
さて、本題にはいろう
省20
706(2): 2021/10/30(土)18:15 ID:zgBubH+2(19/31) AAS
>>704
>お前以外無限シングルトンなるものが矛盾なく定義できると主張してるものはいない
だから？
例えば、拡大実数 正の無限大 +∞ と負の無限大 -∞
あれば、便利だから、実数に追加する
数学って、そういうものでしょ？
別に、無限シングルトンがあれば便利とは言わないけど、あれば綺麗じゃね？
有限シングルトンの n→∞は、考えられるし
そもそも、ノイマンの自然数の構成でも、{}の深さは、N＝ω で∞の深さに到達するよね？ {}の深さ∞は否定し得ないよ
で、”矛盾なく定義できると主張してるものはいない”ことが
省11
707(1): 2021/10/30(土)18:26 ID:zgBubH+2(20/31) AAS
>>703
>>どの発言だい？ 他人の発言と勘違いじゃね？
>覚えてないんだね 随分都合がいい頭だねｗ
お互いさまかもね
あんたの記憶が、都合よく変化したんじゃね？
(参考)
外部ﾘﾝｸ[html]:jwu-psychology.jp
日本女子大学 心理学科オリジナルWebページ
2020.01.07
おもしろ心理学, 入門心理学
省19
708(1): 2021/10/30(土)18:45 ID:jsIfaBFZ(16/23) AAS
>>706
>例えば、拡大実数 正の無限大 +∞ と負の無限大 -∞
>あれば、便利だから、実数に追加する
>数学って、そういうものでしょ？
そこは誰も否定しない しかし
「∞を0の乗法逆元として数体の要素に追加できる」
といったら馬鹿にされるけどな
>有限シングルトンの n→∞（の極限）は、考えられるし
極限は考えられる しかし
「極限が「無限シングルトン」でなければならない」
省19
709(1): 2021/10/30(土)18:46 ID:zgBubH+2(21/31) AAS
>>705
>松坂の「集合・位相入門」では降鎖を＜で定義してるけど何か？
>だからいってるじゃん、おまえカン違いしてない？ってｗ
>いまさら誤魔化してももう遅いから謝っちゃえよ
スマン
勘違いしていた >>654
"任意のa∈MについてM_a={x∈M|x<a}と定義する"の”x<a”だね
”∈”の2項関係だと、思い込んでいたよ
失礼しました ｍ（＿ ＿）ｍ
なお
省6
710(1): 2021/10/30(土)18:47 ID:R9J9ZCyt(3/3) AAS
>>706
数学はそういうものではない
高校レベルで数学力が限界の人間に数学語る資格はない
711(1): 2021/10/30(土)18:52 ID:jsIfaBFZ(17/23) AAS
>>707
>> 空集合{}が最下層のどん底になるということ つまり、
>> ・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するってことです
>その"つまり"は、同意できないね
>（最下層のどん底と、
> ”・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するとは、
> 別概念ですよ）
お🐒のお🐎🦌発言 ｷﾀ――(ﾟ∀ﾟ)――!!
>分かってないのは、どっち？ｗ
君だと、お🐒ｗ
省4
712(1): 2021/10/30(土)19:00 ID:jsIfaBFZ(18/23) AAS
>>709
>スマン 勘違いしていた >>654
>"任意のa∈MについてM_a={x∈M|x<a}と定義する"の”x<a”だね
>”∈”の2項関係だと、思い込んでいたよ
>失礼しました ｍ（＿ ＿）ｍ
ついでだから、
「箱入り無数目の決定番号∞の確率は１」も
「無限シングルトンが存在する」も
ド素人の妄想でした、ゴメンナサイ🙇っていって土下座して謝っちゃえよ
今ならドサクサで誤魔化せるぞ
省6
713(2): 2021/10/30(土)20:06 ID:zgBubH+2(22/31) AAS
>>708
>漫然と「深さ∞」っていってるけど、
>どういう意味で言ってる？
ほいよ
（>>220-221）
外部ﾘﾝｸ:en.wikipedia.org
Axiom of infinity
4 = {0,1,2,3} = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } }.
A consequence of this definition is that every natural number is equal to the set of all preceding natural numbers. The count of elements in each set, at the top level, is the same as the represented natural number, and the nesting depth of the most deeply nested empty set {}, including its nesting in the set that represents the number of which it is a part, is also equal to the natural number that the set represents.
(google訳)
省15
714(2): 2021/10/30(土)20:13 ID:zgBubH+2(23/31) AAS
>>712
箱入り無数目の勘違いは、あなた
無限シングルトンね。数学は、概念の拡張の歴史でもあるのです。
特に、20世紀以降の数学は、いろいろな概念の拡張がありました
無限シングルトンを否定するのは、センス悪いよね
> 2行目、confitionじゃなくconditionね（ボソッ）
ありがと
検索すると、最初 >>626の
"「自然数の集合はdescending chain condition は満たすがascending chain confition は満たさない 」
くらいのところまでは話進んだんかね？"
省2
715(2): 2021/10/30(土)20:18 ID:zgBubH+2(24/31) AAS
>>711
>有限回でどん底の空集合{}に至る、というのがポイント
有限回って、なーに？ｗ
そこから、こんがらがっているのかな？
716(1): 2021/10/30(土)20:21 ID:KRIa6Reb(2/3) AAS
>>714
拡張するのは
矛盾しない範囲までだよ
バーカ
717(1): 2021/10/30(土)20:21 ID:zgBubH+2(25/31) AAS
>>710
>数学はそういうものではない
へー
で、あんたの数学の定義は？ｗｗ
>高校レベルで数学力が限界の人間に数学語る資格はない
あんたのその意見が正しいという証明がない
証明が出来るわけない
特に貴方にはね
だって、
あんたの数学レベル低いよねｗ
718(1): 2021/10/30(土)20:23 ID:KRIa6Reb(3/3) AAS
>>717
レベルは低い
しかし学部一回生レベルはクリアしてるよ
どこぞのアホが数年かけても越えられないでいる壁は超えてるね
719(1): 2021/10/30(土)20:26 ID:jsIfaBFZ(19/23) AAS
>>713
>>ωの無限降鎖は存在しないよ
>>一方で、ωの降鎖の長さに上限はない
>そこまで分かっていてなんで珍説？
そこまで分かっていてなんで決定番号∞？無限シングルトン？
>>714
>箱入り無数目の勘違いは、あなた
いや、あなた
>無限シングルトンを否定するのは、センス悪いよね
有限シングルトンの極限は無限シングルトン、って考えるのはアタマ悪いよね
省5
720: 2021/10/30(土)20:29 ID:zgBubH+2(26/31) AAS
>>716
>拡張するのは
> 矛盾しない範囲までだよ
歴史の示すところ
その時代の人が「矛盾」とか「存在しない」と考えられていたことが
時代が進むと「それもあり」と、受容されるようになる
数学の進歩も
そういうこと
多いよね
で、可算無限シングルトンの存在が
省2
721(2): 2021/10/30(土)20:58 ID:zgBubH+2(27/31) AAS
>>718
>レベルは低い
>しかし学部一回生レベルはクリアしてるよ
なんか認めちゃったんだ、なるほどね
「学部一回生レベル」の定義がないけど、まあスルーな
>どこぞのアホが数年かけても越えられないでいる壁は超えてるね
意味不明。「壁」って何？
余談だけど、下記拓郎先生、「大学院の理学研究科に飛び入学で進学するため、1994年（平成6年）に理学部を中途退学した[1]。1996年（平成8年）、京都大学の大学院における修士課程を修了した[1]」
で、多分学部では物理学科などに入学して、途中から数学に切り替えて、学部4年のところが修士1年入学
省17
722(1): 2021/10/30(土)21:02 ID:zgBubH+2(28/31) AAS
>>719
>>有限回って、なーに？
>回数が自然数で表せる、ということ
いや、聞いているのは、”回”の定義だよ
723(1): 2021/10/30(土)21:11 ID:jsIfaBFZ(20/23) AAS
>>721 無駄長文はいかにも🐎🦌丸出しだからやめようね
>>722
>聞いているのは、”回”の定義だよ
集合の要素をとる手続きの数
それ以外にあるの？
724(3): 2021/10/30(土)21:17 ID:jsIfaBFZ(21/23) AAS
背理法嫌いのお🐒ことzgBubH+2への宿題
>>674 「（自然数の集合Nで）任意の空でない部分集合が最小元をもつ」
という命題の、背理法を使わない直接証明を必死こいて検索して見つけてね
君は考える脳ミソ皆無だから、検索するしかないよね
哀れだね お🐒ｗｗｗｗｗｗｗ
725(3): 2021/10/30(土)22:02 ID:1ETJO/vj(1) AAS
>>724
ちなみにこれは成り立たないので証明もできない
detachableでinhabitedなNの部分集合であれば最小要素を持つことが示せる
726(1): 2021/10/30(土)22:15 ID:zgBubH+2(29/31) AAS
>>723
>>723
>>>721 無駄長文はいかにも歷丸出しだからやめようね
悪い。拓郎先生の話
落ちこぼれには、神経に触ったかな
>>聞いているのは、”回”の定義だよ
>集合の要素をとる手続きの数
>それ以外にあるの？
手続きの定義は何？
役所へでも行くのか？ｗ
省13
727(1): 2021/10/30(土)22:24 ID:jsIfaBFZ(22/23) AAS
>>726
>悪い
君のアタマがな
>手続きの定義は何？
操作
>松坂和夫氏の「集合・位相入門」をちゃんと読んだら？
君がな 持ってないんだろ？買えよｗ
728: 2021/10/30(土)22:47 ID:jsIfaBFZ(23/23) AAS
>>725 ※（）内は私が挿入した箇所
>これ（=「（自然数の集合Nの）任意の空でない部分集合が最小元をもつ」）は
>（構成的数学では）成り立たないので証明もできない
ええ
>detachableでinhabitedなNの部分集合であれば
>（構成的数学でも）最小要素を持つことが示せる
そうですね
729(2): 2021/10/30(土)23:58 ID:zgBubH+2(30/31) AAS
>>727
>>松坂和夫氏の「集合・位相入門」をちゃんと読んだら？
読んでも意味分からんなら仕方ないね
>>724
>「（自然数の集合Nで）任意の空でない部分集合が最小元をもつ」
>という命題の、背理法を使わない直接証明必死こいて検索して見つけてね
おれは証明ごっこの趣味はない
どこかテキストに証明があるのに、なんでわざわざ証明を考える？ それ読んで別証明考えるなら分かるけどね
東北大尾畑研の下記など、背理法でない例な
なお、yahoo chiebukuroのベストアンサーの証明が背理法ではない（合っているかどうか未検証だが、古いので正しいんじゃね？ｗ）
省21
730(3): 2021/10/30(土)23:59 ID:zgBubH+2(31/31) AAS
>>729
つづき
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
las********さん yahoo
2017/5/16 20:36
自然数の部分集合に最小元が存在することを証明せよ。
ベストアンサー
odango3821さん
2017/5/17 10:34（編集あり）
定理
省18
731(5): 2021/10/31(日)00:09 ID:OPOZLzHw(1/26) AAS
（再録）
珍説1（>>354より）
「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」
珍説2（>>363より）
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
(引用終り)
「自然数の集合はdescending chain condition は満たすがascending chain condition は満たさない 」>>626
"昇鎖条件 外部ﾘﾝｸ:ja.wikipedia.org
省3
732(1): 2021/10/31(日)01:02 ID:sSnO3928(1/12) AAS
MaraPapiyasのペット的お友達のKingOfUniverseの
男性器のクローンを作り、これを用いて元来の男性器を残したままスポーン式人工膣を形成してやれば
性欲大魔王MaraPapiyas以上の性欲を誇る性欲ドレアムKingOfUniverseは老若男女不問で発情するだろう
733(1): 2021/10/31(日)01:33 ID:K/512aCb(1/2) AAS
>>731
お前は自分が自己愛性PDなのに気づかないの？
734(1): 2021/10/31(日)05:07 ID:sSnO3928(2/12) AAS
他者の落ち度は徹底非難責任詰問、自分の落ち度は2ちゃんねるだからオールOK
この自分の落ち度は過小評価し他者の落ち度は過大評価の一方
自分のゴミ山コピペは過大評価し他者の意見は過小評価
自己愛性人格障害に中る行為に他ならない｡
735(1): 2021/10/31(日)05:12 ID:sSnO3928(3/12) AAS
「間違いだらけだったとして子供の目に入ろうが何しようが、ここは2ちゃんねる。便所の落書きだよ、責任クソくらえ」
「時期が来たら働く」
「うるせー指図するな」
境遇不満、待遇改善欲求、自己愛｡
スリランカ式引き籠り更生措置か
首から下を海浜に埋めてやるか
してやらないとSetAは誇大自己が治らない｡
736(1): 2021/10/31(日)07:26 ID:OPOZLzHw(2/26) AAS
>>733
>>733
>>>731
>お前は自分が自己愛性PDなのに気づかないの？
ID:K/512aCb氏
下記を見ると、夜中0時から3時まで、3投稿ね
「定義！」の基礎論廃人氏か
>>731のおサルの珍説の肩を持つかね
「自然数の集合はdescending chain condition は満たすがascending chain condition は満たさない 」>>626
は、良い指摘だったと思ったが
省21
737: 2021/10/31(日)07:30 ID:sSnO3928(4/12) AAS
自己流曲解は演繹と違うじゃろ餓鬼め
738(1): 2021/10/31(日)07:36 ID:+PpCGhCF(1/18) AAS
>>729
ふーん、でもそれ結局
「ｎの部分集合が空でないなら
０を要素に持つか、あるｎが存在して
ｎ未満を要素に持たず、ｎを要素として持つ」
を示す必要があるだろ？ で、上記は
「ｎの部分集合が、０を要素に持たず
ｎ未満を要素として持たないとき、ｎも要素として持たないならば、
いかなる自然数も要素としないから、空集合である」
という命題の対偶なんだな
省2
739(1): 2021/10/31(日)07:42 ID:OPOZLzHw(3/26) AAS
>>732 >>734-735
ID:sSnO3928氏は、蕎麦屋さんか
深夜の５ｃｈ徘徊、ご苦労さん（下記）
いま、暫定１位だってｗ
普通に、0.99999…は１だけど
”0.99999…は１ではない”世界も、数学的には作れるだろうよ
例えば、有限小数の世界では、”0.99999…は１ではない”よね
だから、その、延々「むきになって」、エンドレスに議論できる精神が、なんだかね
と思う次第
このスレ？ このスレは、IUT応援ですよ
省20
740(2): 2021/10/31(日)07:43 ID:+PpCGhCF(2/18) AAS
>>736
>おサルは、おそらくは、
>「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」が、
>descending chain conditionと勘違いしているのでしょうね
君、わかってないねえ
もし、０からωに至るascending chainで、ωの直前の項が存在するなら
その場合、descending chain にもなり、有限列となる
逆に、０からωに至るascending chainがdescending chainとなるのは
ωの直前の項が存在するときに限る
はい、お🐒の負け―ｗ
省2
741(2): 2021/10/31(日)08:23 ID:OPOZLzHw(4/26) AAS
>>740
（再録>>731）
珍説1（>>354より）
「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」
珍説2（>>363より）
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
(引用終り)
晒し者継続中ｗ
742(5): 2021/10/31(日)08:37 ID:OPOZLzHw(5/26) AAS
>>740-741
「定義！ 定義！」ね
定義が、上滑りしてんだろうね
字づらだけで、自分の内心の数学観中に、キチンと消化された形で収まっていないんだろうね
昔、ε-δで、
「君たち高校の数学では、極限 lim を、だんだん近づくのように曖昧な説明で終わらせていたが、数学的に厳密ではない。
ε-δこそが正しい数学なのだ〜！」なんて言われた時代がありました
で、高校の数学時代の曖昧な”極限 lim 、だんだん近づく”は、有害みたく言われた
でも、ニュートンやライプニッツは、これで偉大な仕事をした
後、超準解析（ノンスタ）が、日本にも紹介されて、21世紀の今では
省5
743: 2021/10/31(日)08:38 ID:+PpCGhCF(3/18) AAS
>>741
晒されてるのは、OPOZLzHwことお🐒、君だよキ・ミ
もし、０からωに至るascending chainで、ωの直前の項が存在するなら
その場合、ωから０に至るdescending chainにもなり、有限列となる
逆に、０からωに至るascending chainが、ωから０に至るdescending chainとなるのは
ωの直前の項が存在するときに限る
はい、お🐒の負け―ｗ
大学１年の微分積分と線型代数で落ちこぼれた工学部の🐎🦌の負け―ｗ
理学部数学科に大惨敗ｗｗｗｗｗｗｗ
744: 2021/10/31(日)08:39 ID:sSnO3928(5/12) AAS
AA省
745(1): 2021/10/31(日)08:45 ID:sSnO3928(6/12) AAS
有限小数の世界では0.999…999は有っても0.999…は存在しませんよーだ｡
桁数不定有限小数と無限小数の記述の区別さえマトモに出来んとは、流石は便喰蟲の集合Aなだけは有るのう｡
746(3): 2021/10/31(日)08:52 ID:+PpCGhCF(4/18) AAS
なんか、大学数学で落ちこぼれた🐒が
今日も悔しさ一杯でキャッキャと吠えてるｗ
>>742
ε-δが分からん奴がわけもわからず超準解析に救いを求めるようだが
箱入り無数目で無限列の決定番号が確率１で∞とか
無限シングルトンの存在とかが、
超準解析で正当化できると思ってるなら正真正銘の🐎🦌だねｗ
∞という「自然数」は存在しない まずそのことを認めよう
>自分の内心の数学観を育てられずにいて、
>定義がキチンと消化された形で内心に収まっていない
省12
747(1): 2021/10/31(日)08:58 ID:sSnO3928(7/12) AAS
AA省
748: 2021/10/31(日)09:02 ID:sSnO3928(8/12) AAS
>>742
だんだん近づく、は思考過程・議論過程の便宜のお話しであり別に本当に近付いてるわけじゃありゃしません
749: 2021/10/31(日)09:21 ID:+PpCGhCF(5/18) AAS
>>742
>極限 lim を、だんだん近づくのように
>曖昧な説明で終わらせていたが、
>数学的に厳密ではない。…
🐒でも調和級数って知ってるよなｗ
この有限和
σ_i=Σ(n 1~i)1/n
による数列を考えた場合、iが大きくなるごとに、σ_i+1-σ_iは0に近づく
このことを以て「だんだん近づく」と思ってると失敗する
調和級数は収束しないから
省4
750(7): 2021/10/31(日)09:38 ID:bTMlKIzX(1) AAS
kingと猿石は知り合いなん？
751(3): 2021/10/31(日)10:21 ID:OPOZLzHw(6/26) AAS
>>750
＞kingと猿石は知り合いなん？
レスありがとう
知り合いではないと思う
５ｃｈで出会って、類は友を呼ぶ状態では？
king氏は、10年くらい前に当時の２ｃｈにいて、当時の固定king氏の話をよく出すが、自分自身の固定は ”粋蕎 ◆C2UdlLHDRI”らしい（下記）
数学板にはだいぶ、ブランクがあって（らしい（本人の言））、再出没は数年前と思う
「蕎」で、”蕎麦屋”と猿石氏が呼ぶようになって、私も使わせてもらっている
（参考）
Inter universal geometry と ABC予想(応援スレ)58
省2
上下前次1-新書関写板覧索設栞歴
あと 251 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.200s*