[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
662(1): 01/27(月)08:09 ID:QFa4KSQO(1) AAS
> 意味わからん
君、そもそも意味なんてわかったことあるの？
> お主は、Thomas Jechの 証明そのものについての解釈に悩んでいるのか？
お主ではないが、君が書いた英文五行の中に
ｆが何なのか全く書いてないから尋ねたんじゃね
”おまえ ｆが何なのか全く書いてないぞ”って
これでいいと思ってるなら、やっぱり数学は無理だわな
663(2): 01/27(月)09:52 ID:T6In1xa/(1/15) AAS
人にはThomas Jechの証明の通りでいいだろと言い
自分はThomas Jechの証明で定義された選択関数を改竄する
これを二枚舌と云う
664(1): 01/27(月)09:56 ID:xzwMfUAL(1/2) AAS
>>663
そもそもThomas Jechの証明を正しく理解せず
aα=f(A-{aξ：ξ<α}) だけに食いついた
と思われ
665(2): 01/27(月)10:17 ID:KNX/oygH(1) AAS
＞大学1年生の基礎論で
誤 基礎論
正 集合と位相
外部ﾘﾝｸ[html]:www.utp.or.jp
なお、東大では２年の後期
外部ﾘﾝｸ:catalog.he.u-tokyo.ac.jp
666(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)12:12 ID:CtxJncrm(1/6) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
>>662-665
ご苦労様です
> お主ではないが、君が書いた英文五行の中に
> ｆが何なのか全く書いてないから尋ねたんじゃね
> ”おまえ ｆが何なのか全く書いてないぞ”って
なるほど
省43
667(10): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)12:12 ID:CtxJncrm(2/6) AAS
つづき
さて >>652より
Thomas Jechの 証明 再録
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
Proof：
Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.
We let for every α
省27
668(2): 01/27(月)12:33 ID:cJ26k4mE(1/2) AAS
>>666-667
御託は並べなくていいよ
なんで656に書く時、下の二行削ったの？
それで必要な情報が全部抜けたんだけど おまえ●●？
"Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice function f for the family S of all nonempty subsets of A."
669(1): 01/27(月)12:35 ID:cJ26k4mE(2/2) AAS
>>668のつづき
「Aを集合とする。Aを整序するには、Aを列挙する超限的一対一列（aα：α＜θ）を構成すれば十分である。
これは、Aのすべての空でない部分集合の族Sに対する選択関数fを用いて、帰納的に行うことができる。」
「Aは集合である」はともかく「Aのすべての空でない部分集合の族Sに対する選択関数f」を抜いたよな なんで？
670(1): 01/27(月)12:43 ID:xzwMfUAL(2/2) AAS
>さて、集合族 A,A-{a0},A-{a1},・・・から、選択関数の構成ができて
それは P(A)-Φから要素を選ぶ選択関数fそのまま
０：A → a0=f(A)
１：A-{a0} → a1=f(A-{a0})
２：A-{a0,a1} → a2=f(A-{a0,a1})
・
・
・
超限帰納法はfを用いた、順序数からAの要素への関数aの定義で用いてるので
当然、その前にfが必要
省2
671: 01/27(月)12:58 ID:T6In1xa/(2/15) AAS
>>667
>さて、集合族 A,A-{a0},A-{a1},・・・から、選択関数の構成ができて
馬鹿丸出し
672: 01/27(月)13:05 ID:T6In1xa/(3/15) AAS
>>667
a0,a1,・・・が選択関数のアウトカムなのに
A,A-{a0},A-{a1},・・・から、選択関数を構成すると？
これを馬鹿と言わず何と言えばよいのか？
673: 01/27(月)13:17 ID:T6In1xa/(4/15) AAS
そもそも整列定理において選択公理は仮定なのになんで選択関数を構成するんだよ
ここまでの馬鹿も珍しい
雑談くんいいからもう黙りな
君が馬鹿なのはもう十分分かったから、これ以上の馬鹿アピールは無用だよ
674(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)13:20 ID:CtxJncrm(3/6) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
ご苦労様です。
>>668-670
>それは P(A)-Φから要素を選ぶ選択関数fそのまま
それ、”選択”という日常語に 流されている
選択公理は、無限集合族を定義域とする関数だから、特別に公理が必要だ
”P(A)-Φ”という 定義域が ただ一つならば、置換公理の関数で間に合う
省22
675: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)13:24 ID:CtxJncrm(4/6) AAS
>>674 タイポ訂正
いま Aの濃度が可算であるとするして べき集合P(A)-Φ は非可算だ
↓
いま Aの濃度が可算であるとして べき集合P(A)-Φ は非可算だ
676: 01/27(月)13:25 ID:T6In1xa/(5/15) AAS
>>674
>選択公理は、無限集合族を定義域とする関数だから、特別に公理が必要だ
>”P(A)-Φ”という 定義域が ただ一つならば、置換公理の関数で間に合う
馬鹿だねえ君は
P(A)-ΦはAの空でない部分集合全体からなる集合族だろ
なんで馬鹿アピールやめられないの？ もう十分だと言ってるのに
677: 01/27(月)13:43 ID:T6In1xa/(6/15) AAS
>>674
f:P(A)-Φ→AはAの空でない任意の部分集合の代表元を定めている選択関数なんだよ
このfを用いて
a0=f(A)
a1=f(A-{a0})
a2=f(A-{a0,a1})
・・・
でAの元を並べ、α<β⇔aα<aβで(A,<)を定義することで、Aとsup{α|aα is defined}との順序同型写像を構成してるんだよ
それによってAが整列集合であることが言えるのさ
君、ぜんぜん分かってないね もう黙れば？ 口開くとアホなことしか言わないから
678: 01/27(月)13:51 ID:zED1d/2g(1/4) AAS
>>674
＞Aに 順序数の付番付け をするために、そのべき集合P(A)-Φの 順序数の付番付け が必要とする考え
だれも、そんな●ったことは言ってないが？
幻聴が聞こえるのか？ ●ル
679: 01/27(月)13:53 ID:zED1d/2g(2/4) AAS
>>674
> Jech氏の意図は、べき集合P(A)-Φの部分集合として{A,A-{a1},A-{a2},・・・} が、置換公理で取り出せるってことだね
どこにもそんなこと書いてないが
幻聴が聞こえるのか？ ●ル
680: 01/27(月)13:57 ID:zED1d/2g(3/4) AAS
>>674
fを決めれば、a1、a2、・・・は一意だが
681(1): 01/27(月)13:58 ID:zED1d/2g(4/4) AAS
>>674
> as desired
●ルは英語も読めんのか 「望みどおり 整列が得られる」という意味だろ
上下前次1-新書関写板覧索設栞歴
あと 321 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s