ガロア第一論文と乗数イデアル他関連資料スレ13

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次 1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

10(31): 02/01(土)08:50 ID:lDxwqd7y(10/16) AAS
つづき

・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
　『形式的な定義自然数の公理
　以上の構成(注ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
　例えば、0 := {}, suc(a) := {a} と定義したならば、
　0 := {}
　1 := {0} = {{}}
　2 := {1} = {{{}}}
　3 := {2} = {{{{}}}}
　と非常に単純な自然数になる』
省25

11: 02/01(土)11:09 ID:YIkJbYsl(1/11) AAS
>>10
{}∈{{{}}} は偽
{{{}}}の元は{{}}のみだから
分からなければ中学数学からやり直そう

12: 02/01(土)11:15 ID:YIkJbYsl(2/11) AAS
>>10
>列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係＜に置き換えて
>{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・として、整列集合と考えることができる
大間違い
整列順序どころかそもそも順序でない
なぜなら {}∈{{{}}} は偽のため順序の要件である推移律を満たさないから
定義を確認せず独りよがりに妄想するから間違える

50(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/02(日)19:58 ID:5scbwZz/(8/12) AAS
>>44
(引用開始)
>3）つまり、あなたの選択関数と、私が（思う）選択する選択関数ｗ
>　は、異なって良いのです！！ｗｗ；ｐ）
だからと言って勝手な選択関数は作れない。
もし作れるならそもそも選択公理は不要。
だから
>すきな順番に整列できる
は嘘デタラメ。
(引用終り)
省13

58(1): 02/02(日)22:29 ID:7z4Dw9JT(16/18) AAS
>おサルさん>>7-10、
おサルさんは君

>証明を読むときに私が心がけているのが
君には証明なんて読めないよ。
∃と∀の区別が分からない人がなんで証明読めるの？

>数学の証明は、その背後の数学的構造を反映する鏡であり
>数学の証明を理解することは、背後の数学的構造を理解することだと
>そう思って証明を見ています
いや、∃と∀の区別が分からない人の講釈は無用。

>あなたは、真に Jechの証明あるいは >>14の alg-d 壱大整域氏の証明が
省5

61(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/02(日)23:15 ID:5scbwZz/(11/12) AAS
>>55 >>57-59
>わからない

ID:bvvTKD+8 は、御大か
夜の巡回ご苦労さまです

ID:7z4Dw9JTは、おサル>>7-10
プロ数学者から
ダメ出しされちゃたねｗ；ｐ）

>つまり、直積の何らかの元が存在すると主張している。これは論理記号で書けば∃fであって∀fではない。
>大きな任意度があーと言ってる君は∃と∀の区別が分かってないだけ。

”∃と∀の区別が分かってない”のは、あなた
省12

141(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/04(火)16:04 ID:+HgMDnV2(2/11) AAS
皆さまお楽しみ中、お邪魔です；ｐ）

>>118
>◆yH25M02vWFhPは、次元定理の「背後の数学の構造」が全く分かってない
>だから>>115みたいなことを平気で言う
>次元定理のステートメント、確認してみ？
>おまえが想像してるものと全然違うから
>外部ﾘﾝｸ:ja.wikipedia.org

えーと、おサルさん>>7-10
いきなり難しい定理のサイトに飛んで消化不良ですよ
まず順番として下記高校数学の美しい物語次元定理の意味，具体例，証明
省40

167(5): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/04(火)18:21 ID:+HgMDnV2(11/11) AAS
>>100-101
>治らないコピペ癖 ID:oyw47Vnz
>ほっとけ ID:pX4W9Cg1

ID:pX4W9Cg1は、御大ね
ID:oyw47Vnzは、おサル>>7-10 かな？

１）院試合格までは、数学の実力は主に試験で測られる
　限られた場所で、カンニング無しで、限られた時間内でどれだけ解けるか
２）しかし、院試合格の後の数学の実力はなんでもあり
　カンニングありで、誰に相談しても聞いても良い
　時間制約は、あっても年単位
省14

192(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/05(水)11:10 ID:hl9U/ln8(2/5) AAS
”＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]

>>185-188
>あきらめたらそこで試合終了ですよ

ふっふ、ほっほ
こっちは、＜公開処刑続く＞
(あほ二人の”アナグマの姿焼き")のつもり

しかし、低レベルのバトルでは、観客も面白くないだろうから
いまはおサル>>7-10の、選択公理（選択関数）の誤解・無理解を
省18

198: 02/05(水)11:57 ID:wxM+XkyV(2/8) AAS
>>192
>いまはおサル>>7-10の、選択公理（選択関数）の誤解・無理解を
>徹底的にあぶりだしているのですｗ；ｐ）
好きな順番で整列できるだの、aαでfを定義するだのこそ誤解・無理解

202(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/05(水)13:33 ID:hl9U/ln8(4/5) AAS
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]

>>199
(引用開始)
>n → 可算無限にできそうな気がする（すぐには成否の判断ができないが）
>mとnの２重数学的帰納法で証明できるかも・・、しらんけど
できません。
数学的帰納法の結論は「任意の自然数に関する命題P(n)が真」です。
高校数学からやり直した方が良いのでは？
省23

204(1): 02/05(水)13:44 ID:wxM+XkyV(5/8) AAS
>>202
>なお、おサルさん>>7-10は
>存在を示す選択公理（選択関数）のポジティブな面を見ようとせず
>ネガティブな面のみを強調するが、それ自分の数学レベルの低さを自白しているに等しい
好きな順番で整列できるだの、aαでfを定義するだのほざいてる人こそ自分の数学レベルの低さを自白しているに等しい

276(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/06(木)11:58 ID:kjKecCBk(1/3) AAS
おサルさん>>7-10の本音・正体丸見えだね
おサルさん、数学科の１〜２年で詰んでオチコボレさん
不遇な人生で、慰めのために、５ｃｈ天下の落書き便所板で
必死に自分より下をさがしているんだね

ルサンチマン丸出しｗ（＾＾
ja.wikipedia.org/wiki/%E3%83%AB%E3%82%B5%E3%83%B3%E3%83%81%E3%83%9E%E3%83%B3

305(6): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/06(木)20:29 ID:6JYRwlF9(1/2) AAS
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]

>>302-303
(引用開始)
>各区間の実数の整列は、整列可能定理で整列させる
え？？？　整列定理使うの？　じゃ好きな順番で整列できないじゃん　あなたは馬鹿なんですか？
>各区間の・・・その先頭部分は、各人が好きにしてよい
じゃ好きにしてみて　口でよいと言うんじゃなく実際にやってみてよ
ちなみに区間は無限個あるので先頭も無限個だけど好きにできるのね？　もしそうなら区間を考える意味とは？　Rから直接好きな順に選べばいいじゃん
省15

313(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/06(木)22:09 ID:6JYRwlF9(2/2) AAS
>>312
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]

>「任意の正方行列には逆行列がある」の1は

あほサルが、まだいうかｗ >>7-10

いま、英語圏では Invertible matrix だ（下記）
「Invertible matrix は、逆行列を持つ」語感から言えば、同義反復だが分かり易い；ｐ）
仏語も”Matrice inversible”だ（下記）

独語が、”Reguläre Matrix”
省13

337(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/07(金)15:47 ID:2sO/8ukw(2/6) AAS
>>335-336
話は逆だろ？
あほサル>>7-10のヤクザ因縁だろ？ｗ；ｐ）

　例えばテンプレ>>10がその典型で
列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・で

Thomas Jechの証明 >>47のように

順序数の付番をして順序数との対と考えて
({},0)＜({{}},1)＜({{{}}},2)＜({{{{}}}},3)＜・・・

この順序は、順序数でつけられた順序
0 ＜ 1 ＜ 2 ＜ 3 ＜・・・
省12

340(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/07(金)16:33 ID:2sO/8ukw(3/6) AAS
>>111
>うん、人の意思があーとか言う前に∀と∃の違いからやり直すべき

分って無いんか？
"∃" （存在記号）について、下記あり
『（少なくとも１つは）存在する』ですね

おサルさんは>>7-10、
”少なくとも１つ(以上)”と強く読まれることをお勧めします

"∃" は、英語では単数の不定冠詞a と、複数 some 、それに全称 all のすべてのケースを含みます
（"∃" と書いてある公理があったとして、ある特殊なケースでその対象全てが("∀"に)当てはまったとしてもかまいません（場合分けする必要は全くありません！！））

選択公理の選択関数は、”少なくとも１つ(以上)”でなんら問題なし
省10

358(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/08(土)10:47 ID:23ITt7NX(1/8) AAS
>>352
>選択関数が無限個あったらダメ
>と、誰ひとりとして言ってないんだが、おサルさんは一体誰と戦ってるの？

ふっふ、ほっほ
　>>204 より
(引用開始)
>なお、おサルさん>>7-10は
>存在を示す選択公理（選択関数）のポジティブな面を見ようとせず
>ネガティブな面のみを強調するが、それ自分の数学レベルの低さを自白しているに等しい
好きな順番で整列できるだの、aαでfを定義するだのほざいてる人こそ自分の数学レベルの低さを自白しているに等しい
省10

361(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/08(土)11:02 ID:23ITt7NX(2/8) AAS
>>358 補足
>”数学での抽象化と具体化の行き来”
>”JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問”

数学科 1〜2年で詰んでしまって、オチコボレさんのおサル>>7-10
君に送る下記河野玄斗”数学力が劇的に伸びる思考法”抽象論”とは”

おサルの場合、大学学部数学の”抽象論から→具体的対象に落とし当て嵌める”
そして、抽象論に戻って、理解を深める

このサイクルが弱い気がする
抽象論から→抽象論で終わってしまって、上滑りだった気がするよｗ；ｐ）

(参考)
省29

367(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/08(土)11:19 ID:23ITt7NX(3/8) AAS
>>360
>>順序数全体の集まりは集合でない。
>順序数全体のクラスOを集合と仮定する。
>このときOも順序数だからO∈O。正則性公理に反するから仮定は偽、すなわちOは集合でない。

アホなおサルと>>7-10、 10分議論をする暇があったら
下記のen.wikipedia Ordinal number を、3分黙読する方が、よほど有益だわｗ；ｐ）
（日wikipediaには、順序数のクラスの記述はないけどね（＾＾）

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。
省11

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.145s*