[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
621: 01/26(日)10:49 ID:b1A8rVdb(7/24) AAS
>>619
やはり何も分かってないｗ
任意の族（ただし空でない集合の空でない族に限る）に適用できるからP(A)-Φにも適用できて、その結果として
A(=A＼Φ),A＼{a0},A＼{a0,a2},・・,A＼{a0,a2,・・},・・
が得られるんだよｗ
君、もう発言しなくていいよ。まるで分かってない人が発言してもゴミレスにしかならないから。
622: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)11:14 ID:57hfZFiX(3/17) AAS
>>619 補足
ja.wikipediaでは、Ａばかり出てきて 分りにくいので
en.wikipediaより 下記ご参照
なお、下記のja.wikipedia可算選択公理と従属選択公理とを合わせると
要するに、取り扱える集合族が 非可算ならば フルパワー選択公理
可算の範囲で、単純なのが 可算選択公理
さらに、”従属選択公理が主張しているのは、その極限であるような可算無限列が取れるということ”(下記)
で、平たくいえば、フルパワー選択公理の定義域で 集合族の添え字を
非可算から、可算に制限すると 可算選択公理か従属選択公理になる
ということ
省31
623: 01/26(日)11:23 ID:b1A8rVdb(8/24) AAS
またトンチンカンなコピペか
まったくナンセンス
624: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)11:40 ID:57hfZFiX(4/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
（>>615より再録）
選択関数が分ってない？
あのさ、数学科の学部1年か2年がいうなら、独創的な発想だね とか まだかわいいよ
しかし、30年前に 数学科修士を卒業して よって あれから30年経つ人がいうか？
「あなた、全く数学の才能ないね？！」でしょ
それだと、大学数学科行っても、チンプンカンプンで終わったろうさ ；ｐ）
やれやれ
625: 01/26(日)11:44 ID:b1A8rVdb(9/24) AAS
言葉が分からないようだね
サルだから仕方無いか
626: 01/26(日)12:20 ID:b1A8rVdb(10/24) AAS
ていうか公開処刑って何だよｗ
なんで自分が処刑されるのを公開したがるの？ 馬鹿なの？
627(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)12:52 ID:57hfZFiX(5/17) AAS
AA省
628(2): 01/26(日)13:05 ID:b1A8rVdb(11/24) AAS
>>627
何をアホなこと言ってるのやら
考えてるのは言わずもがなAの順序関係であって、2^Aのそれではない。
一方、
A(=A＼Φ),A＼{a0},A＼{a0,a2},・・,A＼{a0,a2,・・},・・
を得るにはP(A)-Φを定義域とする選択関数が必要。
ほんとに何にも分かってないんだね君は
なんでそんなに公開処刑されたいの？
629: 01/26(日)13:13 ID:b1A8rVdb(12/24) AAS
>>627
もういいから黙りなよ君
公開処刑されるのが趣味なの？ 君はドMかい？
630(1): 01/26(日)13:34 ID:odIYHPQg(1/4) AAS
>>628
＞１．考えてるのはAの順序関係であって、2^Aのそれではない。
＞２．一方、A(=A＼Φ),A＼{a0},A＼{a0,a2},・・,A＼{a0,a2,・・},・・
＞を得るにはP(A)-Φを定義域とする選択関数が必要。
この2点に尽きる
選択関数の定義域がP(A)-Φだからといって、
即P(A)-Φの整列と脊髄反射するのは思考力ゼロのサル
631(10): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)14:09 ID:57hfZFiX(6/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>A(=A＼Φ),A＼{a0},A＼{a0,a2},・・,A＼{a0,a2,・・},・・
>を得るにはP(A)-Φを定義域とする選択関数が必要。
妄想沸いてるよｗ ；ｐ）
下記 Jechの証明を2つ再録しよう
1）
>>486より 再度転記しよう
T Jech 著 · 1997 · The Third Millennium Edition, revised and ... 2002. (Springer monographs in mathematics)
省35
632: 01/26(日)14:28 ID:b1A8rVdb(13/24) AAS
>>631
>"P(A)-Φを定義域とする選択関数が必要"?
うん
>using a choice fiunction f for the family S of all nonempty subsets of A
あるいは
>let f be a choice function for the family of non-empty subsets of A
の通りだよ
君、英文読めないの？
633(2): 01/26(日)14:28 ID:b1A8rVdb(14/24) AAS
>どちらも、aα=f(A-{aξ：ξ<α}) あるいは aα= f(A∖{aξ∣ξ<α})
>つまり、関数で書くと
>・ｆ：A-{aξ:ξ<α} → aα
>・ｆ：A∖{aξ∣ξ<α} → aα
>定義域 A-{aξ:ξ<α} または {aξ∣ξ<α}
君、関数も知らないの？
f(A∖{aξ∣ξ<α}) ってことは A∖{aξ∣ξ<α} はfの定義域の元だろ？
君が言うように定義域の元が定義域なら x∈x だから正則性公理に反するぞｗ
君、呆れるほど分かってないんだね
処刑されるの公開されて楽しいかい？
634(1): 01/26(日)14:47 ID:b1A8rVdb(15/24) AAS
AA省
635: 01/26(日)14:55 ID:odIYHPQg(2/4) AAS
◆yH25M02vWFhP 相手を処刑するつもりで書いた言葉が自分を処刑
636(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)15:01 ID:57hfZFiX(7/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>633
>f(A∖{aξ∣ξ<α}) ってことは A∖{aξ∣ξ<α} はfの定義域の元だろ？
>君が言うように定義域の元が定義域なら x∈x だから正則性公理に反するぞｗ
ふっふ、ほっほ
何を言っているのか、意味不明ですよ
Jech の証明>>631 に イチャモンつけているの？
『定義域の元が定義域なら x∈x だから正則性公理に反する』？？
省21
637: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)15:07 ID:57hfZFiX(8/17) AAS
ところで、下記
集合論の形成にみる「直観」の問題
中村大介 学習院大学 科学哲学46−1（2013）
”2 カントールの創造”
を見つけたので、貼っておきますね
これ 非常に興味深い
いま、カントールの原論文に 注釈なしで 読む気もない（おそらく読む能力もない）
から、下記はありがたい
(参考)
www.jstage.jst.go.jp/article/jpssj/46/1/46_53/_pdf
省37
638(2): 01/26(日)15:37 ID:odIYHPQg(3/4) AAS
>>636
> ふっふ、ほっほ
> 何を言っているのか、意味不明ですよ
頭悪いな
> Jech の証明 に イチャモンつけているの？
いや、可算整列定理は可算選択公理で十分とかいう
キミの連想ゲームを無理やり正当化するための
”チート改変”にイチャモンつけてる
> ところで、いまA=R(実数)の整列について
> Jech の証明を使って、Rを整列させるとするよ
省15
639(1): 01/26(日)15:48 ID:b1A8rVdb(16/24) AAS
>>638
>うん、そうだよ それがどうしたの？
わろた
|2^A|>|A|はカントールが証明済み 「それがどうしたの？」に尽きるねｗ 雑談くんまた公開処刑されちゃったねｗ
640(1): 01/26(日)15:54 ID:b1A8rVdb(17/24) AAS
>>634
>>集合Aから 要素を a0,a1,a2,・・と取り出して
>Aの要素 a0,a1,a2,・・をどうやって取り出すつもり？
Aが有限集合なら数学的帰納法で証明できるから選択公理不要。
つまり、P(n)：「(取り出す元が残ってる限り)n元取り出せる」に対して簡単にP(1)、P(n)⇒P(n+1)ともに真であることを示せる。
しかしAが無限集合なら数学的帰納法は使えない。
超限帰納法もダメ。なぜなら、極限順序数λについて ∀n<λ.P(n)⇒P(λ)を証明できないから。（実際選択公理はZFと独立であることが分かっている。）
だから集合Aから 要素を a0,a1,a2,・・と取り出すには選択公理が必要。不要と思ってた？ 君、選択公理も分かってないんだね。
上下前次1-新書関写板覧索設栞歴
あと 362 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s