[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
652(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)22:30 ID:57hfZFiX(15/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>651
(引用開始)
>選択関数fの 定義域を
>集合族P(A)-Φ 全体に広げる必要性も、
>必然性もないでしょ！！ｗｗｗ ；ｐ）
じゃあ定義域をAとしてAの元すべての並びを作ってみせて
(引用終り)
省35
653(1): 01/26(日)22:41 ID:b1A8rVdb(22/24) AAS
>>652
>選択関数fの 定義域を 集合族P(A)-Φ 全体に広げろという
誰も広げろなんて言ってない、なぜなら
>using a choice fiunction f for the family S of all nonempty subsets of A
の通り、元から広がってるからｗ
おまえが英文を読めてないだけｗ 控えめに言って大馬鹿ｗ
654(1): 01/26(日)22:55 ID:b1A8rVdb(23/24) AAS
雑談くんよう、Sって何だか分るかい？
the family S of all nonempty subsets of A なんだから、S＝P(A)-Φだろ？
いやあ、雑談くんって馬鹿とは思ってたけどこれほどとはね なんで君数学板なんかに居るの？ 君には数学は無理だけど
655: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)23:09 ID:57hfZFiX(16/17) AAS
>>649 追加
www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_12.pdf
TAIKEI-BOOK : 2019/1/1(22:21) 東北大 尾畑研
第12章 順序集合
12.3 ツォルンの補題
すべての全順序部分集合が上界をもつような順序集合をツォルン集合と呼ぶ
そうするとツォルンの補題定理(定理12.18)はツォルン集合には極大元が存在することを主張する
証明は長いのでいくつかの段階に分割する 3）
3）ここでは松村にしたがって集合と写像を用いた初等的な証明を紹介する
超限帰納法による証明もありそれは簡潔で直感的なのだがそのためには整列集合の理論を準備
省19
656(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)23:22 ID:57hfZFiX(17/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>653-654
屁理屈だけは、一人前か
弥勒菩薩氏から、”基礎論婆”とか呼ばれるが
その実、大学学部1年の基礎論で詰んだ男だったか？ｗｗｗ
おまえは、>>652のThomas Jechの 証明の講釈を言っているのかな？ｗ ；ｐ）
あるいは Thomas Jechの 証明に 疑義を呈していなかったか？ｗｗ
>>643『∀B∈(P(A)-Φ)についてf(B)∈B⊂A』なんて
省18
657: 01/26(日)23:30 ID:b1A8rVdb(24/24) AAS
雑談くん、ぐうの音も出ずｗ
君に数学は無理なので諦めよう お疲れ〜
658: 01/27(月)06:50 ID:AW0Zd0to(1/5) AAS
>>642
＞上記 A∖{aξ∣ξ<α}（>>631 Jech, Thomas (2002)）以外の定義域 P(A)-Φの
＞全ての 選択関数f の （値域の）値を 書け！！
二行目 日本語がおかしい
「選択関数ｆの全ての値（つまり値域）を書け」ならわかるが
で、P(A)→Φ全体でA、A∖{aξ∣ξ<α}以外の集合に対してもその値はAの要素
つまり値域はA
こんなこと自明なんだが、サルはヒトである私に尋ねないとわからんのか？
659: 01/27(月)07:05 ID:AW0Zd0to(2/5) AAS
>>652
> T Jechの証明で尽くされているんじゃない？
そうだよ だから私ももう一人もそういってる
君が勝手に、選択関数の定義域を狭めて
「可算集合の整列はJechの証明でも可算選択公理で十分」
とか●●発言してるんだが
> Thomas Jech のように
> aα=f(A-{aξ：ξ<α}) とすることに、
> だれも文句はないはずだ
Thomas Jechが聞いたらこう叫ぶぞ
省18
660(1): 01/27(月)07:08 ID:AW0Zd0to(3/5) AAS
>>656
>わざわざ 書かなくても良いぞ
>システム入力のデフォルトみたいなものだ
>グダグダ書いたら、証明が読みにくくなる
サルはそういう怠惰な精神だから大学１年の数学が理解できずに落ちこぼれる
正方行列＝正則行列、とかいっちゃうって●●か？
>”We let for every α
> aα=f(A-{aξ：ξ<α})
> if A-{aξ：ξ<α} is nonempt.
> Let θ be the least ordinal such that A = {αξ: ξ < θ}.
省4
661: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)08:02 ID:F/4ZRvn3(1/7) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>660
(引用開始)
>”We let for every α
> aα=f(A-{aξ：ξ<α})
> if A-{aξ：ξ<α} is nonempt.
> Let θ be the least ordinal such that A = {αξ: ξ < θ}.
> Clearly,（aα：α< θ) enumerates A. ■”
省13
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},・・・から、選択関数の構成ができて
馬鹿丸出し
上下前次1-新書関写板覧索設栞歴
あと 331 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s