[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
473
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)15:58 ID:7RKCNKc8(1/6) AAS
<公開処刑 続く>
(『 ZF上で実数は どこまで定義可能なのか?』に向けて と
  (あほ二人の”アナグマの姿焼き") に向けてww ;p)

さて >>465 より
(引用開始)
”we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”
ああ、ごめんごめん。きみ、英語全く読めないニホンザルだったな。翻訳しとくわ。
「Aのすべての空でない部分集合の族Sに対する選択関数fを用いて、帰納的に行うことができる。」
(引用終り)

それでな おサルさんよ>>7-10
省40
474
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)16:01 ID:7RKCNKc8(2/6) AAS
つづき

4)さて 尾畑研 整列集合 定理13.14 より、順序同型 を 考えて
 さらに 14.1順序型としての順序数 から 整列集合の順序型→順序数 を使うことを思いつくだろう(Jechのテキストにも書いてある)
 もし、この ”整列集合の順序型→順序数”を使わないで、自力で順序を導入して ”整列順序”の「・・任意部分集合が最小元をもつ」を証明しよとすると、大変だろ
 ここを処理するのが、一つは 上記 Jechの順序数との対応付け
 もう一つが、ツォルンの補題を使うスジです(下記 尾畑研 13.3 整列可能定理 ご参照)

5)また、上記 Jech ”That we can do by induction, using a choicc fimction f for the family S of all nonempty subsets of A.”は
 下記のen.wikipedia の Well-ordering theoremの証明では、省かれているよ
 溺れる者は藁をもつかむだろうw ;p)
 さらに、Jech ”Let θ be the least ordinal such that A = {αξ: ξ < θ}.”
省26
475
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)16:01 ID:7RKCNKc8(3/6) AAS
つづき

(参考)>>310より
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.
For every ordinal α, define an element aα that is in A by setting
aα= f(A∖{aξ∣ξ<α})
if this complement A∖{aξ∣ξ<α} is nonempty, or leave aα undefined if it is.
省4
480
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)17:01 ID:7RKCNKc8(4/6) AAS
AA省
481: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)17:01 ID:7RKCNKc8(5/6) AAS
つづき

(参考)
外部リンク:ja.wikipedia.org
従属選択公理
他の公理との関連
従属選択公理は可算選択公理を導き、それより真に強い公理である。[4][5]
従属選択公理の一般化としてさらに長い超限列の生成を認めるものを考えることができる。認める長さを際限なくした場合、それは完全な選択公理と同値になる。

>>154より
alg-d.com/math/ac/countable_union.html
可算和定理 壱大整域
省24
482
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)17:17 ID:7RKCNKc8(6/6) AAS
>>477-478
>Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.
>(訳)整序しようとする集合をAとし、fをAの空でない部分集合の族に対する選択関数とする。

そこ、下記の Axiom of choiceの Statement
そのままでしょ?w (^^

 >>475より
aα= f(A∖{aξ∣ξ<α})
ここに
選択関数f
集合族 A∖{aξ∣ξ<α} (添え字 α)
省11
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.039s