>>826 補足
1.>>620 の Encyclopedia of Mathematics Ordinal number https://encyclopediaofmath.org/wiki/Ordinal_number
に上昇列の定義があるのを見つけたんだ
”If the values of this sequence are ordinal numbers, and if γ<β<α implies that φ(γ)<φ(β), then it is called an ascending sequence.”
これ分かり易いと思った
2.で、上昇列と松坂和夫の降下列(=降鎖)の定義に注意を向けるように誘導したのです>>754
3.自然数で、任意の空でない部分集合は最小値を持つ。
>>626の「自然数の集合はdescending chain condition は満たすがascending chain confition は満たさない 」
は良いヒントだと思ったよ。(上昇列、降下列でなく)自然数の集合Nの持つ性質だからね
4.さてその上で、珍説2(>>363より)の下記を見る
1)「<上昇列 0<1<・・・ω という無限列があり得る」と
2)「<上昇列 0<1<・・・<ω が有限列にしかなり得ない」は
両立する
(引用終り)
これを見るに、自然数の集合Nにωを一つ加えただけだから、”任意の空でない部分集合は最小値を持つ”
「自然数の集合はdescending chain condition は満たすがascending chain confition は満たさない 」
の二つは、そのまま成立する
6.上記4項の1)2)の両方で、”任意の空でない部分集合は最小値を持つ”
「自然数の集合はdescending chain condition は満たすがascending chain confition は満たさない 」
は成り立ち、差はない
7.更に、1)「<上昇列 0<1<・・・ω という無限列があり得る」では、”0<1<・・・”の部分は自然数を整列させたもので無限列だ
同様に、2) <上昇列 0<1<・・・<ωで、”0<1<・・・”の部分は自然数を整列させたもので、これも無限列としうる。そもそも上昇列だから
ここで、降下列(=降鎖)の話から、「有限列にしかなり得ない」の議論は噴飯もので、全く無関係
8.結論:やっぱり珍説
以上
Inter-universal geometry と ABC予想 (応援スレ) 60
■ このスレッドは過去ログ倉庫に格納されています
835132人目の素数さん
2021/11/03(水) 00:17:35.35ID:bYOpU002■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカーW杯】4-0 日本代表・森保ジャパン、チュニジアに歴史的4発大勝 アジア勢の1次L連敗を「6」で止めた★3 [ゴアマガラ★]
- 【サッカーW杯】4-0 日本代表・森保ジャパン、チュニジアに歴史的4発大勝 アジア勢の1次L連敗を「6」で止めた★2 [ゴアマガラ★]
- コカ・コーラ、日本の食事時飲用は主要40カ国平均の6分の1 唐揚げで食事需要開拓 [煮卵★]
- 【W杯】渋谷スクランブル交差点は「人・人・人」のお祭り騒ぎに 警察は「まもなく赤信号です!」と厳戒態勢 [ゴアマガラ★]
- 「自衛隊」発言・古賀議員も国会で後悔の涙😭「発言撤回は当然だが、経済的な事情と入隊は無関係ではない」と専門家★2 [パンナ・コッタ★]
- 【映画】二度と観たくない胸糞映画は? 後味の悪い問題作5選 [muffin★]
- 高校生の獲得競争過熱…大卒と同水準の「初任給30万円」の企業も、人手不足を受けて値上げ [943688309]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪 ★6
- ⚽Vtuberのみんなとニッポンを応援するお🏡
- 【悲報】「見て見て!死に物狂いで働いて苦しいローン組んで家建てたぞ!」→みんなに公衆便所みたいと言われてしまうwwwwwwwwwwwww [802034645]
- 【悲報】ブックオフで13歳の少女に小太りの男が体液をかけられる。
- 【悲報】日本女性、世界的にみても働かないことが視覚化されてしまうwwwwwwwww [589647274]