>>875
ChatGPTが投稿者の強い主張をたしなめてるけどw
この投稿者は、かなり強い主張をしていますが、実は途中で
> 「無限長の数列を作ることが出来れば、それを使って無限集合に整列順序を与えることは容易」
という部分が成立していません。
ここが論点です。
### 1. ZFで有理数列全体の集合は作れる
ZFには
* 無限公理
* 冪集合公理
* 置換公理
があります。
まず自然数集合 (\omega) が存在します。
有理数集合 (\mathbb Q) もZFで構成できます。
すると
[
\mathbb Q^\omega
]
すなわち
[
f:\omega\to\mathbb Q
]
なる関数全体の集合は、冪集合公理から存在します。
これは「有理数列全体の集合」です。
ここで選択公理は使っていません。
重要なのは、
> 各列を一本ずつ選んで作る
必要がないことです。
ZFは
> 関数全体の集合
を一括して作れます。
---
### 2. コーシー列の集合もZFで作れる
コーシー列条件
[
\forall k\in\omega,
\exists N\in\omega,
\forall m,n\ge N
\Bigl(
|a_m-a_n|<\frac1{k+1}
\Bigr)
]
は (\mathbb Q^\omega) 上の論理式です。
分出公理により
[
\mathrm{Cauchy}(\mathbb Q)
]
(有理数コーシー列全体)
は集合になります。
ここにも選択公理は不要です。
---
スレタイ箱入り無数目を語る部屋30(あほ二人の”アナグマの姿焼き"Part4w)
■ このスレッドは過去ログ倉庫に格納されています
883132人目の素数さん
2026/06/05(金) 21:35:01.50ID:8FTyrszT■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【AI】アンソロピック、AIの「人類存亡リスク」警告 IPO目論見書 [ぐれ★]
- 【日中】中国の王毅外相が関係正常化の「条件」を提示 岩屋前外相との会談で ★5 [煮卵★]
- 【三国志】曹操でも諸葛亮でもない…「続きを見たかった人物」ナンバー1とは? [湛然★]
- 【芸能】元和牛・水田信二、離婚を発表 17歳年下・フリーキャスター山本萩子と連名で報告「前向きな決断」 [阿弥陀ヶ峰★]
- 【野球】中日来季監督に元巨人・桑田真澄氏が浮上!「すでに球団の意向はまとまっている」の証言も (日刊ゲンダイ) [ニーニーφ★]
- 日本、核兵器保有・原子力潜水艦保有の議論へ 小泉進次郎防衛相 「我々に対する脅威を拒否する力を持たなければいけない」 [お断り★]
- 今やってる陸上アジア大会愛知名古屋の出場選手でシコろうと思う。オススメの日本人選手いる? [553467123]
- 【悲報】亜月ねね先生、ケンモメンに着払いで生きたクワガタを送り付けられる [347751896]
- 【実況】博衣こよりのえちえちホロドリ-ポルポルを添えて-🧪🎪
- 【開戦】日本、大規模サイバー攻撃を受けている模様。高市は緊急事態宣言を出すべきでは? [834239657]
- 


とうとう改行スレタイを習得したワイのお🏡 



- 【高市悲報】日本政府「中国が敵国条項にどうこう言う資格はない😤」 [616817505]