[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
818: 01/30(木)10:51 ID:aKOY/rSZ(2/3) AAS
選択関数の定義域の中には、整列の構成に用いない要素が山ほどある
だから、何？ 見当違いな「効率化」は間違いの元
819: 01/30(木)10:52 ID:aKOY/rSZ(3/3) AAS
◆yH25M02vWFhPが大学1年の微分積分と線型代数で落ちこぼれたのは
論理が分かっておらず、数学書に書かれてる証明が読めないから
まず、見当違いな連想ゲームをやめて、論理を理解しよう
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
>まあ、数学の常識があれば
>すぐ分かることだが
>数学の常識の無い人は、迷走する典型だなｗ ；ｐ）
と、畜生界を迷走するサルが申しております。人間界に来たければ詰みを認めて投了しよう。
822: 01/30(木)11:13 ID:PeOaATVi(1/2) AAS
選択公理は マセマのキャンパス・ゼミじゃ書いてない
手を動かしてまなぶシリーズには書いてあるっぽいが
823(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)11:23 ID:Xxyr0Rol(5/11) AAS
>>812
>Akihiko Koga氏の証明では
>集合Aの整列に、Aのべき集合（空集合を除く）の選択関数を使っている
下記だね。見た
これ、>>807-808の Jech, Thomas の証明と類似だね
Jech, Thomas では、”we can do by induction”（超限帰納）と、
”it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A”
という 順序数αによる添え字付け手法を使っているんだ
で、君は ある証明で ある手法が使われていることをもって
証明には、その手法が”必須”だと主張する
省25
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ページを見てごらん。これが分からなきゃ数学は無理なので諦めな。
826(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)11:30 ID:Xxyr0Rol(6/11) AAS
>>820
>Aの元aαを、補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ、あるいはそれが空ならaαを未定義のままとせよ。
>選択関数ではなくaαの定義。君は文盲かい？
関数とは、対応です（現代数学では）
対応の相手が、未定義ならば
その部分は、関数として未定義だよ
827: 01/30(木)11:32 ID:S0uv3c2L(8/25) AAS
>>817
おサルさんは「循環」がどうしても理解できないようだね。
そこが人間の知性を持たないサルの限界。
828: 01/30(木)11:32 ID:Lfcn9eKQ(1/6) AAS
Koga氏の証明の元はおそらくブルバキ数学原論
なぜ、そういいきれるかといえば、
実際にブルバキ数学原論を確認したから
829: 01/30(木)11:32 ID:Lfcn9eKQ(2/6) AAS
>>823
> 君は ある証明で ある手法が使われていることをもって
> 証明には、その手法が”必須”だと主張する
> しかし、ある手法が使われていることから、”必須”は言えない
必須なんて誰もいってないけどな
証明で、用いてる、といってるだけだが
君、幻聴が聞こえるの？
830(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)11:34 ID:Xxyr0Rol(7/11) AAS
>>826 補足
>Aの元aαを、補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ、あるいはそれが空ならaαを未定義のままとせよ。
>選択関数ではなくaαの定義。君は文盲かい？
だから
必要な部分
”補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ”
ここだけ つまみ食いして良いんだよ
美味しいところだけ、つまみ食い
そうすれば、選択関数の節約になるよ
集合Aの濃度の範囲の選択関数に節約できるってことよ
831: 01/30(木)11:36 ID:Lfcn9eKQ(3/6) AAS
>>826
> 関数とは、対応です（現代数学では）
そこ、誰も否定してないけど
で、P(A)-{φ}の要素のうち、A-{aξ|ξ<α}として現れないものは
選択関数の定義域から削っていい、というのはどういう理屈？
君が勝手にそう思い込んでるだけだろ？
832: 01/30(木)11:38 ID:Lfcn9eKQ(4/6) AAS
>>830
> だから 必要な部分
> ”補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ”
> ここだけ つまみ食いして良いんだよ
素人の馬鹿判断
> 美味しいところだけ、つまみ食い
> そうすれば、選択関数の節約になるよ
> 集合Aの濃度の範囲の選択関数に節約できるってことよ
素人の馬鹿判断
833(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)11:39 ID:Xxyr0Rol(8/11) AAS
>>830 補足
(引用開始)
必要な部分
”補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ”
ここだけ つまみ食いして良いんだよ
美味しいところだけ、つまみ食い
そうすれば、選択関数の節約になるよ
集合Aの濃度の範囲の選択関数に節約できるってことよ
(引用終り)
つまみ食いするメリットは
省4
834: 01/30(木)11:39 ID:Lfcn9eKQ(5/6) AAS
つまみ食いとか節約とか
しなくていいことをするから自爆する
下手な考え休むに似たり
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
の通り。
なにひとつ理解していないおサルさんでしたとさ
836: 01/30(木)11:45 ID:9dHJAGwJ(5/6) AAS
>>833
>つまみ食いするメリットは
>可算集合Aに対して
>Jech, Thomas の証明を ちょっと変えるだけで
>従属選択公理で、可算集合Aの整列が言える
>順序数αは、可算の範囲（ωを超えるとしても）で済むのだから
DCじゃダメだね
DCo(oは可算順序数)にしないと
837: 01/30(木)11:49 ID:S0uv3c2L(10/25) AAS
>>823
じゃ選択関数f:P(A)-{{}}→Aを使ってない整列定理の証明を示して
できないことを言うもんじゃないよおサルさん
上下前次1-新書関写板覧索設栞歴
あと 165 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s