[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
462(1): 01/19(日)20:38 ID:MeW3b4Rf(8/8) AAS
>>460
トンデモを助長するような発言は容認できませんね。
病気が悪化した場合、責任が取れますか？
463: 01/19(日)20:46 ID:xK12QWtu(18/18) AAS
>>462
まあ、阪大工卒も立派なトンデモですから
464(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)20:57 ID:RlRmaz0L(9/9) AAS
>>441
> Jechの証明のfから上記の性質を持つfに改造できればいいってことで
> 多分いろいろやり方はありそうだけ
> （たとえばfが半順序になるところまでなんとか持って行って
> ツォルンの補題を経由して証明するとか）
> 一番簡単なのはJechの証明の方法でとにかく整列しちゃうってことですかね
> ということで意図が分かると、
> 阪大工学部卒の凡人が貶すほど酷いものでもないとわかりますね
おサルか？ｗ >>7-10
自分が書いた証明を、他人になりすまして
省33
465(1): 01/20(月)06:59 ID:lMN8bpqd(1/12) AAS
>>464
> おサルか
サルは大学１年の４月で数学落ちこぼれた阪大工学部卒の凡人君だろ
> 自分が書いた証明を、他人になりすまして評論か？ ばれて居るぞ！
誰でも彼でも皆同一人物と思い込むのは妄想性人格障害
> それでは、海賊版のThomas Jechの 証明を 転記しておくから 頑張れぇ〜！
頑張るのは阪大工学部卒の君だよ、キミ
この文章読める？
”we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”
ああ、ごめんごめん。きみ、英語全く読めないニホンザルだったな。翻訳しとくわ。
省6
466(1): 01/20(月)07:09 ID:lMN8bpqd(2/12) AAS
阪大工学部君 集合論でも初歩からつまづきまくり
１．対角線論法でRを可算列として整列させるのに可算選択公理が必要とかぬかす
（背理法の仮定を定理として証明しようとする●●）
２．可算集合Aを整列させるのにJechの明解な証明でも可算選択公理で十分とかぬかす
（あらかじめすべての空でない集合に対して選択関数が定義されてる必要性がわからん●●）
もうツーアウトだぞ あと一つでチェンジな
あと一つ！あと一つ！！
467: 01/20(月)07:31 ID:D55/Jngh(1/2) AAS
>>466
他の話題はないのか
468: 01/20(月)07:39 ID:lMN8bpqd(3/12) AAS
やあ （´・ω・｀)
ようこそ、ZFCハウスへ。
このネタはサービスだから、まず読んで落ち着いて欲しい。
うん、「また」なんだ。済まない。
仏の顔も三度って言うしね、謝って許してもらおうとも思っていない。
でも、このネタを見たとき、君は、きっと言葉では言い表せない
「ときめき」みたいなものを感じてくれたと思う。
殺伐とした数学界で、そういう気持ちを忘れないで欲しい
そう思って、このネタを書いたんだ。
じゃあ、注文を聞こうか。
469: 01/20(月)07:46 ID:lMN8bpqd(4/12) AAS
他のネタ
・実数の公理から実数のコーシー列が必ず実数に収束することを示す定理を導く証明
・線型空間が有限ｎ次元ならｎ次元の数ベクトル空間と同型になることを示す定理の証明
等々
工学部あたりではこういうことはすっ飛ばして
「実数のコーシー列は必ず実数に収束する これ公理な」
「ｎ次元の線型空間とはｎ次元の数ベクトル空間のこと これ定義な」
と教えるらしいが、理論に全く興味ない一般人相手では仕方ない
470: 01/20(月)07:56 ID:lMN8bpqd(5/12) AAS
工学部では
「実数とは有理コーシー列にある同値関係を入れた場合の同値類である」
とかいっても”？”という顔をされるので
「実数とは無限小数のこと ただし1＝0.999…とする」
と教える
無限小数＆1＝0.999…、が上記の定義を満たすことは
工学部の連中にとっては一生無関係のどうでもいいクソ知識だそうだ
471(1): 01/20(月)08:40 ID:D55/Jngh(2/2) AAS
理学部では
そういうことは
「もう忘れた」でスルーされる
472(1): 01/20(月)09:26 ID:lMN8bpqd(6/12) AAS
>>471
別に一回理解すればいつまでも記憶する必要ない
でも一回も理解してないと・・・
473(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)15:58 ID:7RKCNKc8(1/6) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ）
さて >>465 より
(引用開始)
”we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”
ああ、ごめんごめん。きみ、英語全く読めないニホンザルだったな。翻訳しとくわ。
「Aのすべての空でない部分集合の族Sに対する選択関数fを用いて、帰納的に行うことができる。」
(引用終り)
それでな おサルさんよ>>7-10
省40
474(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)16:01 ID:7RKCNKc8(2/6) AAS
つづき
４）さて 尾畑研 整列集合 定理13.14 より、順序同型 を 考えて
さらに 14.1順序型としての順序数 から 整列集合の順序型→順序数 を使うことを思いつくだろう（Jechのテキストにも書いてある）
もし、この ”整列集合の順序型→順序数”を使わないで、自力で順序を導入して ”整列順序”の「・・任意部分集合が最小元をもつ」を証明しよとすると、大変だろ
ここを処理するのが、一つは 上記 Jechの順序数との対応付け
もう一つが、ツォルンの補題を使うスジです（下記 尾畑研 13.3 整列可能定理 ご参照）
５）また、上記 Jech ”That we can do by induction, using a choicc fimction f for the family S of all nonempty subsets of A.”は
下記のen.wikipedia の Well-ordering theoremの証明では、省かれているよ
溺れる者は藁をもつかむだろうｗ ；ｐ）
さらに、Jech ”Let θ be the least ordinal such that A = {αξ: ξ < θ}.”
省26
475(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)16:01 ID:7RKCNKc8(3/6) AAS
つづき
(参考)>>310より
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.
For every ordinal α, 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.
省4
476: 01/20(月)16:14 ID:lMN8bpqd(7/12) AAS
>>473
> もう一度 君の証明と対比するよ
私の証明ではないよ
>>301書いたのは実は私 理解できなかったので尋ねた
わからんことも認めずコピペで誤魔化すサルよりは
私はマシよ 人として
> Thomas Jechの 証明は、プロ！
数学者にプロとかいうと、馬鹿にしてんのか！って頭はたかれるよ
君、そういうとこ傲慢というか不遜というかエテ公だよね
477(1): 01/20(月)16:19 ID:lMN8bpqd(8/12) AAS
>>474
なんか阪大工学部卒の数学凡人が偉そうな口叩いてるけど何も理解してないんだろ？
>もう一つが、ツォルンの補題を使うスジです
君、ツォルンの補題って言葉しか知らんのだろ
ステートメントは・・・略す（大爆笑）
それじゃ数学は一生分からんわ！
>Jech ”That we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”は
>下記のen.wikipedia の Well-ordering theoremの証明では、省かれているよ
省けると思ってる？ どうやって？
論理が分からんサルは「ウィキにそう書いてあるから正しい」とかいうのかい？
省2
478(2): 01/20(月)16:22 ID:lMN8bpqd(9/12) AAS
>>475
ていうか、英語版wikiにもちゃんと書いてあるじゃん！
阪大工学部は英語０点でも入れるらしい
Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.
整序しようとする集合をAとし、fをAの空でない部分集合の族に対する選択関数とする。
479: 01/20(月)16:30 ID:lMN8bpqd(10/12) AAS
>>478に対する阪大工学部卒の凡人の返し（予想）
「a choice function for the family of non-empty subsets of A. であって
a choice function f for the family S of ”all” nonempty subsets of A. ではない！」
こういう●●なことを平気でいうのが、まさに考えないサル
ふっふっふっふ ほっほっほっほ
480(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)17:01 ID:7RKCNKc8(4/6) AAS
AA省
481: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)17:01 ID:7RKCNKc8(5/6) AAS
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
従属選択公理
他の公理との関連
従属選択公理は可算選択公理を導き、それより真に強い公理である。[4][5]
従属選択公理の一般化としてさらに長い超限列の生成を認めるものを考えることができる。認める長さを際限なくした場合、それは完全な選択公理と同値になる。
>>154より
alg-d.com/math/ac/countable_union.html
可算和定理 壱大整域
省24
上下前次1-新書関写板覧索設栞歴
あと 521 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s