[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
704: 01/27(月)22:23 ID:T6In1xa/(15/15) AAS
AA省
705: 01/28(火)00:56 ID:SFFxcmct(1/28) AAS
>>702
外部ﾘﾝｸ:ja.wikipedia.org
部分集合族
全体集合 Ω が与えられたとき、Ω 上の集合族とは Ω の冪集合 𝒫(Ω) の部分集合のことを言う。即ち、Ω 上の集合族 S はその任意の元が Ω の部分集合となる集合である。
P(A)-{Φ}は集合族だと教えてやったんだから自分で確認しろよアホｗ
706: 01/28(火)06:31 ID:w5k5tJaP(1/4) AAS
>選択関数の活躍の舞台は、集合族だ
>集合の族が 無ければ・・・、
だから、P(A)-{Φ}が集合族じゃん
◆yH25M02vWFhPは馬鹿なの？
道理で大学１年の４月で落ちこぼれるわけだ
所詮は高卒の”算数秀才”だったか（嘲）
707: 01/28(火)06:35 ID:w5k5tJaP(2/4) AAS
選択公理による整列定理の証明は、
有限集合から１つずつ要素を選んで整列させるのと
実は同じ発想
ただ注意すべきは、その都度選ぶと考えるのではなく
あらかじめ集合の空でない部分集合それぞれから、
要素を選ぶ関数を与える、ということ
ここを理解しようとせず
「その都度選べばいいじゃん」
と馬鹿なこと言ってると大学に入って死ぬ
◆yH25M02vWFhPがいい例
省2
708: 01/28(火)09:24 ID:SFFxcmct(2/28) AAS
雑談くん、公開処刑されたのは自分だったことにやっと気づいたのかな？
R.I.P.
709(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)11:18 ID:C6l4Y3jA(1/8) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
血の巡りの悪い人がいるね
では、再度>>666-667の説明を 補足しよう
>>667より
Thomas Jechの 証明 再録
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
省35
710(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)11:19 ID:C6l4Y3jA(2/8) AAS
つづき
で、まとめると、P' にそのまま 選択関数を適用しても、
直ちには aα=f(A-{aξ：ξ<α}) は出ない
上記のように A-{aξ：ξ<α} からなる 集合族を 部分集合として P' から切り出して
その 順序数で添え字付けされた 集合族からの 選択関数の出力として、
順序数で添え字付けされた aα を出すべし
この 添え字順序数α による 順序が、整列順序で、 集合Aの要素の全部に渡り、集合Aに 整列順序が入る
”That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.”
は、ヒントでしょ？ 数学科生なら、この１行のヒントで ”aα=f(A-{aξ：ξ<α})”の構成を悟れ！ ということ■
以上
711: 01/28(火)11:23 ID:yAHxbqo/(1/7) AAS
>>709
>キモは aα=f(A-{aξ：ξ<α}) だ
そう、キモはfだ
Aの任意の空でない部分集合からその要素を選ぶ関数
この関数の存在を選択公理で保証する
まちがっても、aではない
この簡単な事実が、●ルには分からない
712: 01/28(火)11:27 ID:yAHxbqo/(2/7) AAS
>>709
> 定義域（入力）の集合族 A-{aξ：ξ<α} が、どうやって出来たのか？
A-{aξ：ξ<α}⊂P(A) だから
空でない限りfの定義域
空だったらaαは未定義
aの定義に先んじてfが必要
fの定義域はP(A)-{φ}
この簡単な事実が、●ルには分からない
713: 01/28(火)11:29 ID:yAHxbqo/(3/7) AAS
>>709
> P'の部分集合 として 集合族の A-{aξ：ξ<α}が取り出せて
> aα=f(A-{aξ：ξ<α}) つまり f：A-{aξ：ξ<α} → aαができる
> この関数は、選択公理で許される 選択関数である
fはaなしに定義できる 単に入力の集合の要素を返すだけだから
そしてその定義域は集合族P(A)−{φ}
この簡単な事実が、●ルには分からない
714(1): 01/28(火)11:32 ID:yAHxbqo/(4/7) AAS
>>709
> P'の部分集合 として 集合族 A-{aξ：ξ<α} を取り出すところは、置換公理が使える
そこはどうでもよろしい
aα=f(A-{aξ：ξ<α}) と定義したのだから
aに先立ってfの定義が必要
fの定義域がaでつくられるとか完全な循環論法
この簡単な事実が、●ルには分からない
715: 01/28(火)11:35 ID:yAHxbqo/(5/7) AAS
>>709
> P' にそのまま 選択関数を適用しても、
> 直ちには aα=f(A-{aξ：ξ<α}) は出ない
その通り
そんな自明なこと、だれも否定してない
aの定義にfが出てくるのだから
fの定義域を、aを使って構成できるわけないだろ
そもそもそんな必要がない P(A)-{φ}でよい
この簡単な事実が、●ルには分からない
716: 01/28(火)11:37 ID:yAHxbqo/(6/7) AAS
>>710
>A-{aξ：ξ<α} からなる 集合族を 部分集合として P' から切り出して
>その 順序数で添え字付けされた 集合族からの 選択関数の出力として、
>順序数で添え字付けされた aα を出すべし
選択関数の定義域はP(A)-{φ}でよい
aαを求めるのに、選択関数の定義域の全てでの値が必要というわけではないが
そのことは、定義域がP(A)-{φ}より小さい、ということとは全く異なる
この簡単な事実が、●ルには分からない
717(1): 01/28(火)11:41 ID:6Ob7TBNE(1) AAS
>>710
> ”That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.”
> は、ヒントでしょ？
誤 fiunction
正 function
君は全く読まずにコピペするんだね どんだけいい加減な仕事してんだ
さて、上記の文章は君の誤りをズバリ指摘する答えでしょ
a choice function f for the family S of "all" nonempty subsets of A.
省2
718: 01/28(火)11:44 ID:yAHxbqo/(7/7) AAS
>>710
> 数学科生なら、この１行で ”aα=f(A-{aξ：ξ<α})”の構成を悟れ！
aがinduction で作られる
右辺の中のfがaxiom of choiceで存在が保証されるchoice function
悟るもなにも、ズバリそうかいてあるじゃん
●ルは、英語読めないのか？
719(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)12:03 ID:C6l4Y3jA(3/8) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
>>711-718
あほ が、がんばるねｗ
>誤 fiunction
>正 function
ああ、訂正ありがとう
そこ、海賊版のPDFは、テキストがコピーできないので
省12
720: 01/28(火)12:25 ID:9VIHSgws(1/3) AAS
>>719
> A-{aξ：ξ<α}からなる集合族を あつめて P'(Aのべき集合から 空集合を抜いた集合) の部分集合が出来上がる
で？
fの定義域を、Aのべき集合から 空集合を抜いた集合 ではなく
A-{aξ：ξ<α}からなる集合族 に限定する理由が全くない
って文章 ●ルには意味わかる？
わかんない？ どこがどうわかんない？
関数の定義域って言葉の意味 知ってる？ ●ル
721: 01/28(火)12:27 ID:SFFxcmct(3/28) AAS
>>709
>繰り返しになるが 集合Aのべき集合P(A) （Aの任意部分集合）は、空集合を含む
>そこで、空集合を除いたものを P(A) -Φ と書く
P(A)-{Φ}な。
P(A)-Φ=P(A)やぞ。空集合除けてないぞｗ
なんで教えてやってんのに聞かんの？ 人の言うことを聞けないと馬鹿は治らないって言ってるよね？
722: 01/28(火)12:27 ID:SFFxcmct(4/28) AAS
> こうして、P'の部分集合 として 集合族の A-{aξ：ξ<α}が取り出せて
P'に属す集合を取り出す必要は無い。
取り出す必要があるのはP'に属す任意の集合それぞれの元。
それが選択関数f。
723: 01/28(火)12:27 ID:SFFxcmct(5/28) AAS
> aα=f(A-{aξ：ξ<α}) つまり f：A-{aξ：ξ<α} → aαができる
だからｗ
fが存在しているからaαを定義できるのに、なんでaαからfを作るんだよｗ 脳みそ腐ってんの？
上下前次1-新書関写板覧索設栞歴
あと 279 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s