Inter-universal geometry と ABC予想 (応援スレ) 73 (787ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
671(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/16(土)07:29 ID:psDSFTci(1/9)
>>636
>ついでにいうと可算選択公理では可算集合の整列はできない
>なぜなら可算集合の空でない部分集合の全体は、非可算集合だから
>ただし、別のやり方で整列はできる
>可算＝自然数の全体との全単射が存在する
>ということだから、この全単射を使えばいい
そこ 意味不明だよ
ここは、中高一貫校生が来る可能性があるので
赤ペン先生をしておく
１）下記 可算選択公理 Axiom of countable choice ACω は
”Application of ACω yields a sequence (Bn) n∈N ”
つまり ω長さの sequence (Bn) n∈N を作る能力がある
２）一方 Axiom of dependent choice DC は 下記
”The axiom of dependent choice implies the axiom of countable choice and is strictly stronger.[4][5]
It is possible to generalize the axiom to produce transfinite sequences.
If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.”
３）要するに、DC は ACωより強力で ωを超えて ”produce transfinite sequences”だ
また ”If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.”
ってこと。つまりは、種々の選択公理の能力は、生成できる列長さで 測ることができる■
なお、下記”every countable collection of non-empty sets must have a choice function. ”
において ”collection of non-empty sets”の素性は不問
可算の集合の collectionであれ、非可算の集合の collectionであれ なんであれ 無問題
問題は ”countable collection”のところ
collectionが 非可算だと 可算選択公理の守備範囲外
下記を百回音読してね ；ｐ）
(参考)
https://en.wikipedia.org/wiki/Axiom_of_countable_choice
Axiom of countable choice
The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function.
Applications
ACω is particularly useful for the development of mathematical analysis, where many results depend on having a choice function for a countable collection of sets of real numbers.
Example: infinite implies Dedekind-infinite
As an example of an application of ACω, here is a proof (from ZF + ACω) that every infinite set is Dedekind-infinite:[2]
Let X be infinite. For each natural number n, let An be the set of all n-tuples of distinct elements of X.
Since X is infinite, each An is non-empty.
Application of ACω yields a sequence (Bn) n∈N where each Bn is an n-tuple.
One can then concatenate these tuples into a single sequence (bn)n∈N of elements of X, possibly with repeating elements.
つづく
674(1): １３２人目の素数さん [] 08/16(土)07:48 ID:OYmbWtXJ(2/10)
>>671
>>ついでにいうと可算選択公理では可算集合の整列はできない
>>なぜなら可算集合の空でない部分集合の全体は、非可算集合だから
>そこ 意味不明だよ
意味は明快
理解できない高卒ホモは人間失格
>ここは、中高一貫校生が来る可能性があるので赤ペン先生をしておく
灘も甲陽学院も落ちてクソ公立中クソ公立高にしかいけなかった高卒ホモは嘘指導で大恥かく
>DC は ACωより強力で
はい自爆
DCはACωから導けない と白状する正真正銘の白知
人間失格の高卒ホモは、囲碁将棋でもやってなさい
681: １３２人目の素数さん [] 08/16(土)08:07 ID:gZjqvGya(1/7)
>>671
>そこ 意味不明だよ
そこ 意味明確だよ
>赤ペン先生をしておく
まったくトンチンカンだよ
整列可能定理の証明の方法で可算集合Xの整列順序を作るには選択関数f:2^X-{}→Xが必要。且つ|2^X-{}|は非可算。よって可算選択公理は役に立たない。
一方で全単射g:N→Xが存在するからg(0)<g(1)<・・・で整列順序<を定義可能。（よって整列可能定理の証明の方法を取る必要が無い。よっていかなるタイプの選択公理も不要。）
たったこれだけのことが分からないオチコボレが口から出まかせに妄言吐かないでね。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s