>>698
>Rは通常の大小関係>で整列集合ではありません。
>実際、{x∈R|x>0}は>に関する最小元を持ちません。
>整列可能定理で>無限列を正当化することはできません。
何を主張しているか、意味不明だな
あんた、自分が賢いつもりだろうが、カントール以来100年以上の数学の議論を踏まえないで、
こんな場末の5chの数日の議論で、何か数学の新しい議論しているつもりかい?
もっと謙虚に、基礎文献を読み込んだらどうかw
1.”整列可能定理で(通常の)>無限列を正当化することはできません”は正しいが、
下記の通り、”V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R(実際には任意の集合)を整列順序付けることが従う”(整列集合wikipedia)
とあるよ
2.列の長さは、ωに限らないよ
列(数学) 一般化の通り、”一般に、ある集合 X の元の集まりで、整列集合あるいは順序数によって添字付けられるものを広い意味で X の元の列と呼ぶことがある”だよ
3.実際、下記”0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, …”は、順序型は ω + ω
同様に、Z を整列集合にする二項関係 Rが考えられて、
”0, 1, 2, 3, 4, …, ?1, ?2, ?3, …”は、”順序型は順序数 ω + ω に順序同型である”だよ
(参考)
https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6)
列(数学)
項の個数をその列の項数あるいは長さ (length, size) という。項数が有限である列を有限列(ゆうげんれつ、finite sequence)と、そうでないものを無限列(むげんれつ、infinite sequence)と呼ぶ。
整数全体のなす集合からある集合への写像を
(..., a?2, a?1, a0, a1, a2, ...)
のように書いて、両側無限列あるいは双方向無限列 (doubly or bi-infinite sequence) と呼ぶ。 これは、負の整数で添字付けられた列を正の整数で添字付けられた列に接いだものと考えることができることによる名称である。
つづく
Inter-universal geometry と ABC予想 (応援スレ) 63
■ このスレッドは過去ログ倉庫に格納されています
710132人目の素数さん
2022/01/03(月) 18:06:48.83ID:M7Pqf1pT■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【野球】ドジャース痛恨 2戦連続逆転負け2連敗 山本由伸が今季最短3回途中KO 大谷翔平は無安打 110打席ノーアーチ… ★2 [阿弥陀ヶ峰★]
- 【TBS】『オールスター後夜祭』ビキニ姿のアシスタントに疑問の声「意味もなく水着」企画内の“尻を触る“行為も物議 [Ailuropoda melanoleuca★]
- 【速報】農相、出処進退を潔く判断する時と国民代表 [蚤の市★]
- 【テレ朝】相棒:5年ぶり5度目の“相棒”バトンタッチ決定 新シーズン中に“薫”寺脇康文から“尊”及川光博へ [Ailuropoda melanoleuca★]
- 「別れを切り出すのは7~8割が女性」“熟年離婚”の割合が過去最高に 修復のステップを踏まずに離婚するケースが増加 [煮卵★]
- 【不動産】“高騰”マンション価格に変化 買い手現れず 東京・港区「2000万円値下げ」 [ぐれ★]
- 【訃報】キオクシア、株価、マイナス14%、まぢのがちで逝く [943688309]
- 【高市悲報】人手不足倒産、過去最多「募集しても人が来ない」 [237216734]
- 岸田文雄「個人向け国債をNISAに組み込むのはおかしい」 [256556981]
- 【朗報】ノーベル賞遺伝学者「黒人は知能が劣っている、これは事実だ」→学会追放へ [339035499]
- 【速報】ベッツ「大谷を見ていて本当につらい」
- 【悲報】ドジャース、打率.150の大谷をスタメンから外すことを検討・・・ [514851239]