[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
806: 01/30(木)10:08 ID:S0uv3c2L(1/25) AAS
>>801
>選択公理→整列可能定理の証明で
>集合Aの整列に、Aのべき集合（空集合を除く）の選択関数が必要って
>書いてあるかな？
using a choice fiunction f for the family S of all nonempty subsets of A
思いっきり書いてあるんですけど？ あなた文盲ですか？
809(1): 01/30(木)10:16 ID:S0uv3c2L(2/25) AAS
>>801
「Aから元をどうやって取り出すのか？」にあなたは「Jechの証明で終わっている」と答えた。
その証明に「using a choice fiunction f for the family S of all nonempty subsets of A」と書かれている。
はい、詰みです。
810: 01/30(木)10:22 ID:S0uv3c2L(3/25) AAS
>>807
間違いを認められないおサルさんがなんか喚いてますが、まったくナンセンスですよ
>>809で詰んでますから
820(1): 01/30(木)10:54 ID:S0uv3c2L(4/25) AAS
>>811
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.
Aの元aαを、補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ、あるいはそれが空ならaαを未定義のままとせよ。
選択関数ではなくaαの定義。君は文盲かい？
>つまりは、選択関数は Aの整列までで 十分なのです！！ ；ｐ）
独善妄想。
using a choice fiunction f for the family S of all nonempty subsets of A の通り、選択関数の定義域はP(A)-{{}}。
君、もう詰んでるよ。詰んだら投了しないと人と認めてもらえないよ。サル扱いされるよ。それでいいの？
821: 01/30(木)10:58 ID:S0uv3c2L(5/25) AAS
>>813
>まあ、数学の常識があれば
>すぐ分かることだが
>数学の常識の無い人は、迷走する典型だなｗ ；ｐ）
と、畜生界を迷走するサルが申しております。人間界に来たければ詰みを認めて投了しよう。
824: 01/30(木)11:28 ID:S0uv3c2L(6/25) AAS
>>816
おサルさんは関数から分かってないね。
825: 01/30(木)11:28 ID:S0uv3c2L(7/25) AAS
おサルさんよ
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
の13ページを見てごらん。これが分からなきゃ数学は無理なので諦めな。
827: 01/30(木)11:32 ID:S0uv3c2L(8/25) AAS
>>817
おサルさんは「循環」がどうしても理解できないようだね。
そこが人間の知性を持たないサルの限界。
835: 01/30(木)11:40 ID:S0uv3c2L(9/25) AAS
>>826
これは酷い。
対応の相手は定義されている。
なぜなら選択公理が選択関数f:P(A)-{{}}→Aの存在を保証しており、存在例化によりfは一意に定まるから。
尚、定義域がP(A)-{{}}であることは
a choice fiunction f for the family S of all nonempty subsets of A
の通り。
なにひとつ理解していないおサルさんでしたとさ
837: 01/30(木)11:49 ID:S0uv3c2L(10/25) AAS
>>823
じゃ選択関数f:P(A)-{{}}→Aを使ってない整列定理の証明を示して
できないことを言うもんじゃないよおサルさん
840: 01/30(木)12:06 ID:S0uv3c2L(11/25) AAS
>>830
>必要な部分
>”補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ”
>ここだけ つまみ食いして良いんだよ
つまみ食いも何も、そもそもそれ、aαの定義であってfの定義ではない。
fの定義は
a choice fiunction f for the family S of all nonempty subsets of A
で尽きている。
allって書かれてるがなｗ どこにも必要な部分なんて書かれてないぞ、おサルさん
自分で生み出した妄想に捕えられ身動きできないおサルさん、解放されて自由になるには人の話を聞く耳持つしかないよ
841: 01/30(木)12:13 ID:S0uv3c2L(12/25) AAS
>>830
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.
Aの元aαを、補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ、あるいはそれが空ならaαを未定義のままとせよ。
define の目的語は何？ an element aα では？ ならこの文はaαの定義であってfの定義じゃないじゃん
ここまで言わんとダメなん？ おサルさん中学校からやり直せば？
842: 01/30(木)12:18 ID:S0uv3c2L(13/25) AAS
>>833
>つまみ食いするメリットは
つまみ食いできるは妄想だからナンセンス
屁理屈こねる前に中学英語を学習しよう 君、他動詞の目的語が分かってないよ
843: 01/30(木)12:24 ID:S0uv3c2L(14/25) AAS
>>833
>従属選択公理で、可算集合Aの整列が言える
可算集合Aの整列に選択公理（いかなる亜種も含め）は不要。
最小の極限順序数ωとの全単射φ:ω→Aが順序同型写像となるような順序(A,<)を構成できるから。
844: 01/30(木)12:33 ID:S0uv3c2L(15/25) AAS
>>839
>1st ステップ
>定義域 {A-{aξ|ξ<α}｜α < θ} を構成する部分
>ここは、the family S of all nonempty subsets of Aの部分集合になる
>だから、置換公理で間に合う
aξの定義にfを使っている。
>2nd ステップ
>f；A-{aξ|ξ<α} → aα
fの定義にaξを使っており、aξの定義にfを使っているから循環参照となっており、fはwell-definedでない。
>これで選択関数が構成できた
省4
845: 01/30(木)12:39 ID:S0uv3c2L(16/25) AAS
おサルさん
まだ投稿するならその前に他者のレスを全部読んで消化してね
言葉が通じないサルは人間扱いされないよ
847: 01/30(木)12:51 ID:S0uv3c2L(17/25) AAS
まあおサルさんは大学数学の前に中学英語からやり直した方が良い
define an element aα・・・がfを定義する文と誤読してるようじゃ話にならない
851(2): 01/30(木)14:26 ID:S0uv3c2L(18/25) AAS
>>848
>{A,A-{a0},A-{a0,a1},A-{a0,a1,a2},・・,A-{aξ：ξ<α},・・} で、左記の集合は Sの部分集合
>（明らかに、集合Aと同じ濃度）
>だから、Sの部分集合の形成には、選択関数は この段階では不要
a0ってなに？
852(1): 01/30(木)14:35 ID:S0uv3c2L(19/25) AAS
>>850
>馬鹿は★のところでその都度、好き勝手に要素を決めると誤解するだろうが
それは不可だね。Aが有限集合でない限り。
だから選択公理が要る。
要するにおサルさんは選択公理を無意識に自明なものとみなしてしまっている。
おサルさんはカントールがそうしていたことをしばしば口にするが、実はおサルさん自身だったｗ
853: 01/30(木)14:42 ID:S0uv3c2L(20/25) AAS
>Aから一つずつ Aの要素を取り出して 集合族A-{aξ：ξ<α}を作る（>>760）
が
>要するにおサルさんは選択公理を無意識に自明なものとみなしてしまっている。（>>852）
の証拠。
なぜならAが無限集合のとき選択関数fが定義済みでない限りそのような取り出しは不可能だから。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.139s*