[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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)-{{}}。
省1
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
の通り。
省1
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
省3
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 ステップ
省7
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が定義済みでない限りそのような取り出しは不可能だから。
856(1): 01/30(木)20:06 ID:S0uv3c2L(21/25) AAS
>>854
>{A,A-{a0},A-{a0,a1},A-{a0,a1,a2},・・,A-{aξ：ξ<α},・・}
>こいつは属人性があって
まったくトンチンカン。
なぜなら選択関数は存在さえすればよく、定義域のどの元の写像先も任意でよいから。
そもそも選択関数を構成できない命題においてのみ選択公理が必要なのだから、そのような命題において写像先が問題になるはずが無い。
君、脳みそ持ってないの？ 使わないと持ってる意味無いよ
857(2): 01/30(木)20:15 ID:S0uv3c2L(22/25) AAS
選択関数の属人性とか言う馬鹿はじめて見たｗ
世の中広いねえ こんな馬鹿もいるんだね
860(1): 01/30(木)21:14 ID:S0uv3c2L(23/25) AAS
>>858
>>そもそも選択関数を構成できない命題においてのみ選択公理が必要なのだから、そのような命題において写像先が問題になるはずが無い。
>それ、君の勘違いだよ
じゃ反例示して
君の屁理屈は不要
861(3): 01/30(木)21:19 ID:S0uv3c2L(24/25) AAS
>>858
>しかし、ある場面で 選択関数を具体化しては いけない ということはない
選択関数を具体的に構成できるなら選択公理不要。
君、選択公理もぜんぜん分かってないんだね。
だからaαを使って選択関数fを定義するとかアホなこと言って失笑されちゃうんだよ。
862: 01/30(木)21:25 ID:S0uv3c2L(25/25) AAS
おサルさん、なんで>>851から逃げるの？
馬鹿であることがバレるのが恐いから？ 大丈夫だよ もうとっくにバレてるから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s