[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
884(1): 02/13(木)21:31 ID:15djKJcM(4/4) AAS
>>881-882
>井山が3勝目
難しい碁ですね
サッパリわかりません ；ｐ）
外部ﾘﾝｸ:www.yomiuri.co.jp
読売
井山王座が「形勢二転三転」の激闘を制し、シリーズ３勝目…一力棋聖「計算ミスあった」
省8
885(1): 02/13(木)22:01 ID:LVsRI63z(5/5) AAS
2局目がすんだ時点で
中学の同級生と新年会をしたとき
今度は井山が強いという点で
意見の一致を見た
886: 02/14(金)05:16 ID:vHlEN/cV(1/18) AAS
>>884
そうそう
887: 02/14(金)05:17 ID:vHlEN/cV(2/18) AAS
素人は無名で数学と無関係な囲碁将棋の話とかだけ書いてなさい
そうすれば一切恥をかかずに済む 大学出たって工学部卒なんか所詮馬鹿
888: 02/14(金)05:20 ID:vHlEN/cV(3/18) AAS
ああ、馬鹿と罵られたからといって
脊髄反射でわけのわからない言いがかりつけないように
そういうことが恥ずかしいと気づこうな サル！！！
889(1): 02/14(金)05:40 ID:B4eu5nwq(1/3) AAS
>大学出たって工学部卒なんか所詮馬鹿
工学部卒の数論研究者を知っている。
その人に初めて志村理論の存在を教わった。
890: 02/14(金)05:47 ID:vHlEN/cV(4/18) AAS
>>889
もちろん例外はある
数学科卒の馬鹿は沢山いる・・・馬鹿で悪かったな！！！ｗ
891: 02/14(金)05:54 ID:B4eu5nwq(2/3) AAS
>馬鹿で悪かったな！！！ｗ
馬鹿と言われれば脊髄反射でお前の方が馬鹿と
言い返せるが
これにどうやって言い返すかは考慮中
892(1): 02/14(金)07:18 ID:vHlEN/cV(5/18) AAS
爺のひねくれた人格は正直嫌だが
爺が数学で多大な仕事を成したことは否定しようもない
別に無理に言い返さなくていいよ
893: 02/14(金)07:20 ID:vHlEN/cV(6/18) AAS
あいつも正方行列の群ではなく正方行列の環といえばよかったんだけどな
まあ、問題が「群の例を３つ挙げよ」だったからそれは無理か
群の例を聞かれてるのに、環の例を出すのは別の意味で馬鹿
894(1): 02/14(金)07:49 ID:B4eu5nwq(3/3) AAS
>>892
とはいえ、芭蕉の俳句が浮かんだので書いておく
こちらむけ われもさびしき あきのくれ
895: 02/14(金)10:25 ID:PWoDQ15e(1/9) AAS
>>885
>2局目がすんだ時点で
>中学の同級生と新年会をしたとき
>今度は井山が強いという点で
>意見の一致を見た
なるほど
2局目 1月25日（土）1月26日（日）だから
省18
896(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)11:08 ID:PWoDQ15e(2/9) AAS
>>894
>とはいえ、芭蕉の俳句が浮かんだので書いておく
なるほど
下記イイタカシゲル(68歳) だと2010年か。(18歳)との対話
”50年前：そういうすごい人の話を聞くと怖くなりますね。自分は数学が好きで、友達に説明するとが「数学がわかった」と言って喜ぶんですよ。中学か高校で数学を教えたらいいなと思っています
今の：その程度の気持ちでいいんだと思うよ。自分は世界の一流の数学者と負けないようになるなんて思っていたら、研究を始める前に疲れてしまうよ。張り詰めていると挫折に弱いね。数学オリンピックで金メダルをとるような人にはすごい人がいるけれど、そういう人が数学の大業績をあげるかと思うとそうでもない。自分の関心にしたがって黙々と数学をやり続けていつのまにか数学の新しい分野を作った人も結構いる。そう人は世界の科学コンテストにでたりしないものだよ。自分を大切に努力して倦(う)まず弛(たゆ)まず続けて欲しい”
至言ですね
省18
897: 02/14(金)11:28 ID:bRJI0yAv(1/2) AAS
>>896
「ボクちゃん、プロの真似ができるんだ！」
とかいって自惚れウソ読みするのはやめような
還暦すぎのクソ爺
898: 02/14(金)11:30 ID:bRJI0yAv(2/2) AAS
馬鹿HN＆トリップはやめような
（参考）＆リンク＆馬鹿コピペもやめような
馬鹿行為やめような ニホンザル
899(1): 02/14(金)11:31 ID:bSp4CNh/(1/3) AAS
定年退職してから
たまたまある会合で
飯高先生と同席させてもらった。
そのとき「元気だね」と言って
ポンと肩をたたいてくれたのが
うれしかった。
900: 02/14(金)11:38 ID:bd1bkzdB(1/4) AAS
とある同級生は附属高出身で無試験で入ってきた
大学に入るまで大学の数学がどんなもんか知らなかったそうな
行列AとBの積で、なんでAの行とBの列を掛けるのか分からん、といっていた
そんな奴でも大学卒業できる
901(1): 02/14(金)11:38 ID:PWoDQ15e(3/9) AAS
全くの脱線ですが
下記『元、NHKアナウンサーでバナナマンの日村さんの奥様の神田愛花さんが履歴書に学習院大学理学部数学科飯高茂研究室卒と書くのも飯高先生が御高名だからじゃないですかね。（実際は一般人は知りませんが。）』
が笑えたので、貼っておきます
なお
”小平先生はそれまで日本のお家芸は解析学だったのですが代数学もお家芸にされました。
その代数学のお弟子さんが飯高茂先生という方です。”
は、だいぶ違うと思うのですが、ご愛敬ですね
省32
902: 02/14(金)11:41 ID:bd1bkzdB(2/4) AAS
>>901
無名結構
ついでに（参考）＆リンク＆馬鹿コピペもやめような
903: 02/14(金)11:43 ID:bd1bkzdB(3/4) AAS
とある同級生は附属高出身で無試験で入ってきた
大学に入るまで大学の数学がどんなもんか知らなかったそうな
外積で、なんで順序を交換すると符号が逆転するのかわからん、といっていた
そんな奴でも大学卒業できる
904: 02/14(金)11:53 ID:8Qi2EDtq(1) AAS
Ｋ教授は講義の途中で中座してタバコを喫いに行くニコ中だったが
その昔あった事件の被害者だとは知らなかった
外部ﾘﾝｸ:ja.wikipedia.org
Ｓ教授は上記の事件があった大学の出身と聞いている
905: 02/14(金)12:02 ID:bSp4CNh/(2/3) AAS
黄金の６０年代
906: 02/14(金)13:39 ID:bSp4CNh/(3/3) AAS
碁会所にはいつもタバコの煙が
立ち込めていた
907(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)13:56 ID:PWoDQ15e(4/9) AAS
>>899
>飯高先生と同席させてもらった。
>そのとき「元気だね」と言って
>ポンと肩をたたいてくれたのが
>うれしかった
なるほど 飯高先生『吉田健介さんの思いで』を、貼っておきますね
新谷卓郎先生か。久しぶりにお名前を見ました
省22
908(1): 02/14(金)13:58 ID:PWoDQ15e(5/9) AAS
つづき
彼こそ後に数学の天才として世界の数論の世界に革新をもたらした新谷卓郎君である。そして、吉田君と新谷君（吉村太彦君も後に加わったが）と３人で神田の神保町の古書店に行き、四方堂、明倫館などで数学や物理の洋書、とくに黄表紙と呼ばれたシュプリンガー社の本、場合によっては上海版と言われた洋書のコピー本を買い求めた
吉田君の思いで ２
私は、千葉市内の公立中学である緑中に通っていた。そこで、Ｎさんという大変活発な女子学生がいた。マドンナというより、ガラッパチであったが成績はよく、３年の終わり頃になると、越境して東京の入学試験を受け、都立日比谷高校に受かったそうだ。昔の日比谷高校は半分近くが東大に入るという空前絶後の進学校であった。私は大学の１年生になってから真面目に１限から出るべく早起きして、７時前には西千葉駅についた。そして国電に乗って秋葉原、渋谷を経由して東大教養学部前駅まで１時間40 分かけて通っていた。ある朝、プラットホームで電車を待っていると「イイちゃんじゃない」と言って、中学生の頃ガラッパチの女子学生だったＮさんが声をかけてくれた。日比谷でもまれたせいであろう、すっかり垢抜けしていて、私は田舎の高校を出た大学生にすぎないことを自覚させられた。彼女は東大の理科２類に入っていたのだ。これにはびっくりした。昔の知り合いなので、彼女は饒舌に語りかけてきた。「理１の○○君は、どこどこ教授のおぼっちゃまなのよ、そう言えば、君のいる理１の組には、吉田茂のお孫さんがいるじゃない」
こうしてごく自然に、吉田健介君が吉田茂のお孫さんということが分かった。これにはびっくりしたが、なるほどそうだろう、と納得させらることも多かった。大学生になっている私たちにとって、親がどうの、祖父がどうの、など関係のないことではあったが、新谷君があるとき、「そういえば、吉田君の計算用紙は原稿用紙の裏紙を使っていますよ」と言ったことがあり、状況証拠があがったのだ。新谷君の父上も東大の工学部卒の技術者で、たしか四日市の工場長を務めていたと思う。あるとき、新谷君は父の書棚に『解析概論』があった、と言って古い『解析概論』をもって来た。そのときは、少しうらやましかった。当時は、吉田茂は超有名人で、吉田健一も有名な存在だった。健介さんはそれが重荷に思ったこともあったのだろうと思う。しかし、私たちの間で話題になったのは、原稿用紙の裏紙の件だけだった。
吉田君の思いで3
私は２００６年12月に「いいたかないけど数学者なのだ」という本をＮＨＫから出した。
省6
909(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)13:58 ID:PWoDQ15e(6/9) AAS
つづき
御母堂によると中学生くらいまでは目立たない子で、どうかと思っていたら、高校生の頃から急に成績がよくなって驚いたそうである．高校３年生で、英文の本を読んで感想を書いているのだからそれだけでもまねができない．数学の学習でも、彼は分かるまで徹底的に考えるから、他の人を怖じ気づかせるようなところがあった．
友人Ｙ君はあるとき「Ｓ君がいるのでは、自分が数学をやるわけにはいかない」と言った．
これをきいて、私はＳ君の偉大な数学の才能をあらためて認識した．
Ｓ君にある才能の輝きはすぐにはわからないものだ．
永くつきあっているうちに彼のもつすごい力がだんだん分かってくる．
感受性の鋭いＹ君は繊細な神経の持ち主にであるため、耐えられなかったのであろう．
省28
910: 02/14(金)14:18 ID:05nZnIh7(1) AAS
>>907-909
🐎🦌HN＆トリップ
（参考）＆リンク＆🐎🦌コピペ
は、やめような
911(1): 02/14(金)14:26 ID:bd1bkzdB(4/4) AAS
ケイリー・ハミルトンの定理によれば
正方行列Aの行列式が
Aとその累乗のトレース（対角成分の和）
及びそのべきから計算できる
912: 02/14(金)14:44 ID:mtVXUXZ1(1) AAS
>>911
このことは基本対称式がニュートン多項式で表せることに対応する
913: 02/14(金)16:43 ID:8Gfu2d/i(1) AAS
ケイリー・ハミルトンの定理によれば
正方行列Aの余因子行列も行列式同様
Aとその累乗、そしてそれらのトレース
及びそのべきから計算でき
行列式が０でなければ、
余因子行列を行列式で割ることにより
逆行列を求めることができる
914: 02/14(金)16:56 ID:DPEQjGUr(1) AAS
ところで、ケイリー・ハミルトンの定理という名前にもかかわらず
ハミルトンもケイリーも特殊な場合しか証明しておらず
一般の正方行列に対してこれが成立することを証明したのは
フロベニウスである
915: 02/14(金)17:23 ID:PWoDQ15e(7/9) AAS
次スレ立てた。ここを使い切ったら、次スレへ
2chｽﾚ:math
ガロア第一論文と乗数イデアル他関連資料スレ14
916: 02/14(金)18:08 ID:vHlEN/cV(7/18) AAS
2chｽﾚ:math
> おサル＝サイコパスのピエロ
> おサルさんの正体判明！
> 昭和の末期に、どこかの大学の数学科
> 多分、代数学の講義もあったんだ
> でも、さっぱりで、落ちこぼれ卒業して
> 平成の間だけでも30年、前後を加えて35年か
省11
917(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)18:16 ID:PWoDQ15e(8/9) AAS
>>907
飯高 茂『数学の天才は養成できるか』追加
外部ﾘﾝｸ:www.jstage.jst.go.jp
科学教育研究/30巻 (2006)
数学の天才は養成できるか 飯高 茂
楽天の野村監督によると「野球の4 番とエースだけは養成できない．見つけてつれてくるしかない」．
野球ですらそうなのだから，まして数学においておや．
省41
918(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)18:17 ID:PWoDQ15e(9/9) AAS
つづき
佐藤幹夫は17歳の時終戦を迎えた．戦中，戦後は物
資不足でインクを薄めて使い，紙を節約するため，字
もなるべく小さく書いていた．旧制高校から東大の数
学科に学ぶが大学院生の時は定時制高校の非常勤講師
をしていてきわめて多忙であった．生徒のために職場
に行ってかけあうこともしたそうである．既成の数学
省42
919: 02/14(金)18:22 ID:vHlEN/cV(8/18) AAS
2chｽﾚ:math
> おサルの傷口に塩
自分の傷口に塩塗るマゾ
> ヒト「正則行列を知らない線形代数落ちこぼれ」
> サル「零因子行列のことだろ？知っているよ」
誤 零因子行列
正 零因子でない行列
省15
920: 02/14(金)18:25 ID:vHlEN/cV(9/18) AAS
>>917-918
どういうつもりか知らんが
正則行列の条件もわからんサルが
数学の天才になりようがないことは明らかなので
あきらめて囲碁将棋でもやってなさい
921(1): 02/14(金)18:29 ID:i5BpbTnB(1) AAS
>>917-918
コピペしても誰も頭良いとか数学分かってるとか思わないからもうやめなさい
922: 02/14(金)18:29 ID:vHlEN/cV(10/18) AAS
2chｽﾚ:math
> 列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係＜に置き換えて
> {}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ として、整列集合と考えることができる
できない
{}∈{{}}∈{{{}}} だが
{}∈{{{}}} でない
集合の∈もわからんサルは
省2
923: 02/14(金)18:32 ID:vHlEN/cV(11/18) AAS
>>921
> コピペしても誰も頭良いとか数学分かってるとか思わないからもうやめなさい
そもそも他人の文章を剽窃して利口ぶる根性がみっともない
こういう奴が会社で不正とかしまくるんだろうな
盗人猛々しいとはよくいったものである
関西にはこんな奴しかいないのか
関ケ原から西には行きたくないもんだ
924(1): 02/14(金)18:42 ID:vHlEN/cV(12/18) AAS
そもそも現代数学の系譜 雑談 ◆yH25M02vWFhP は何がしたいんだ
数学がわかりたいんなら、地道に論理を理解する以外なかろう
いくら言い訳しても仕方ないだろ
わかりもせんのにわかったと嘘つきたい？
そんなの不快なだけだからここですんなよバカ
925: 02/14(金)18:59 ID:vHlEN/cV(13/18) AAS
（参考）
【自己愛性パーソナリティ障害】職場に自己愛性パーソナリティ障害の人がいたら？【精神科医が6.5分で説明】パーソナリティ障害
動画ﾘﾝｸ[YouTube]
926(1): 02/14(金)21:35 ID:vHlEN/cV(14/18) AAS
【参考】
自己愛性パーソナリティ障害の有名人
外部ﾘﾝｸ:ja.wikipedia.org
自己愛性パーソナリティ（障害）を有していたとされる有名人には、
三島由紀夫、サルバドール・ダリ、ヘルベルト・フォン・カラヤンがいる。
927(1): 02/14(金)21:37 ID:vHlEN/cV(15/18) AAS
>>926の続き
三島由紀夫は対人関係に過敏で、貴族的な選民意識を持ち、妥協を許さぬ完璧主義者であった。
祖母に溺愛され、母との情緒的な繋がりを持ちにくかった三島は、
幼い頃にはケガをすると危ないという理由で
女の子だけを遊び相手に選ばれている。
文壇デビュー当時の思うように売れない時期から、
基底にある自己不確実感を覆い隠すように
省9
928(1): 02/14(金)21:38 ID:vHlEN/cV(16/18) AAS
>>927の続き
サルバドール・ダリは様々な精神障害の特徴を示しているが、
その中核にあるのは歪なナルシシズムである。
自らを天才と言って憚らない自己顕示性と、奇矯な振る舞いの背後には、
ありのままの自分を認められずに過ごした生い立ちが関係している。
ダリには同じ名前の兄がいたが、2歳でその人生を閉じており、
ダリはその兄の写真を見る事を極度に恐れた。
省5
929: 02/14(金)21:40 ID:vHlEN/cV(17/18) AAS
>>928の続き
ヘルベルト・フォン・カラヤンは世界最高の指揮者として「帝王」の名をほしいままにしたが、
その気性から数多くの問題を引き起こした。
カラヤンはメディアに掲載される自らの写真を全てチェックし、認めたもののみ公表を許すなど、
自分が最も理想的な姿で映し出されることを求めた。
1975年に不意打ちで写真を撮られた際にはカメラマンを殴りつけるという事件を起こしている。
またカラヤンは自らが貴族階級出身であることをあらわす「フォン」をつけて名乗ったが、
省5
930: 02/14(金)21:54 ID:vHlEN/cV(18/18) AAS
今日はここまで
931: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)23:38 ID:A0w3ECia(1) AAS
はい、あなた、鏡がここにありますｗ
はい、あなた、自分の姿が写っていますよ！ｗｗｗ ；ｐ）
932(2): 02/15(土)01:04 ID:tNB6oeTf(1/13) AAS
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
省3
933: 02/15(土)02:41 ID:hZwof9V4(1) AAS
>>924
わかりたい！
って意欲全然感じないよね
934(1): 02/15(土)03:03 ID:tNB6oeTf(2/13) AAS
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
省7
935: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:39 ID:36YscTpw(1/27) AAS
というHNで書くことにした（笑）
> はい、あなた、鏡がここにありますｗ
> はい、あなた、自分の姿が写っていますよ！
それ、おめぇ
936(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:43 ID:36YscTpw(2/27) AAS
【参考】
自己愛性パーソナリティ障害の治療
外部ﾘﾝｸ:tokyo-brain.clinic
自己愛性パーソナリティ障害の治療は難しいとされていますが、一定の効果があるとされる治療法がいくつかあります。
その人の気質や家族環境によっても症状が異なるため、以下のような方法を組み合わせて治療が行われます。
基本的にはどの方法も効果が表れるまで時間がかかります。
一般的には数年は必要とされています。
省1
937(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:45 ID:36YscTpw(3/27) AAS
>>936のつづき
精神療法
カウンセリング療法
カウンセラーが患者さんの心理面に働きかけ、
患者さんの認知、思考、行動パターンなどの偏りを改善し、
少しずつ社会に適応できるようにしていく治療法です。
集団精神療法
省18
938(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:46 ID:36YscTpw(4/27) AAS
>>937のつづき
薬物療法
自己愛性パーソナリティ障害の患者は
他者からの指摘やマイナスの評価に耐えきれずに
抑うつ状態になりやすい傾向にあります。
そのため、抗うつ薬を使用して症状を緩和しつつ、
カウンセリングなどの治療を行うサポートをすることがあります。
省3
939: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:48 ID:36YscTpw(5/27) AAS
>>938のつづき
TMS治療
アメリカでアメリカ食品医薬品局（FDA）の認可を受けている最新の治療法である
TMS治療（磁気刺激治療）も、パーソナリティ障害に有効だとされています。
パーソナリティ障害自体にTMS治療（磁気刺激治療）が有効であった
という論文が2019年に発表されています。
また、2016年にもTMS治療（磁気刺激治療）が
省6
940: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:49 ID:36YscTpw(6/27) AAS
とりあえず ここまで
頑張って治療しようね セタ君
941(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)08:58 ID:XknlDm4+(1/10) AAS
>>934
>A' := { g:Λ→∪_{λ∈Λ} X_λ | 任意のλ∈Λに対してg(λ)∈Xλ }
>とする。存在例化により選択関数f∈A'が存在する。
1）存在例化は、下記 ja.wikipedia.org ＆ en.wikipedia.orgの意味と解していいかな？
もしそうならば、存在例化とは 新しい定数記号cを導入できること
”must be a new term”であること
「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof”
省25
942: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:16 ID:36YscTpw(7/27) AAS
>>941
まず番号やめよっか 🏇🦌っぽいから
ヴィトゲンシュタインの論理哲学論考の真似？
🤢キモチワルイぞ
943: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:24 ID:36YscTpw(8/27) AAS
> 存在例化は、ja.wikipedia.org ＆ en.wikipedia.orgの意味と解していいなら
> 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」
> ”it also must not occur in the conclusion of the proof”
> ってこと
> 存在例化で 記号cを導入することは、
省12
944: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:33 ID:36YscTpw(9/27) AAS
> 実際、解析概論でも、多変数関数論のテキストで良いが
> 「これが、存在例化でございます！」
> って、存在例化が威張っている証明ってあるかな？
集合論のテキストでいいなら
「実数全体は整列可能である」
という主張の証明で、選択関数の例化を堂々と使っている
神戸のセタ君、前に尋ねたよな？
省17
945(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)09:35 ID:XknlDm4+(2/10) AAS
>>932
(引用開始)
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
省42
946: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:43 ID:36YscTpw(10/27) AAS
ツェルメロによる選択公理は例えば集合論における濃度の比較可能性を保証する
しかし、そうしたところでカントルが提起し連続体の濃度の決定問題が
解決できるかといえばできない
コーエンはこのことを強制法で示した
集合論が壮大なマッチポンプだったのではないか？
という疑問に関しては正面から否定できないかもしれないが
少なくとも意図的なものではないし、結果論として
省2
947: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:48 ID:36YscTpw(11/27) AAS
>>945
選択公理と整列定理の関係についていえば、Zornの補題を介さないほうが判りやすい
整列定理から選択公理を導くのは簡単である、整列順序における最小元をとればいいだけだから
選択公理から整列定理を導くのも、空でない部分集合の全体から要素を取り出す選択関数を使えばいいので簡単
両者とツォルンの補題の関係はもうちょっと面倒くさい
そもそも神戸のセタ君は、ツォルンの補題が何言ってるのか分かってないだろ？
948: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:50 ID:36YscTpw(12/27) AAS
> 他の証明と照らし合わせるのが良い、というか 常用のスジだ
でもどの証明も何言ってるのかわからんので、結局何一つわからん
というのが神戸のセタ君のお定まりのスジ
違うかい？ 図星だろ？
949: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:55 ID:36YscTpw(13/27) AAS
神戸のセタ君は、高校までは、数学はよくできたみたいだが
それは、高校までの数学はろくに理屈もなくて
とにかく、計算方法だけ丸暗記すれば試験問題が解けるからである
どうだ？ 図星だろ？
しかし、大学に入って、数学の講義を受けたらチンプンカンプンだった
それは、大学の数学が理屈ばかりで、方法とか直接示すことはしないから
どうだ？ 図星だろ？
省5
950: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)09:56 ID:XknlDm4+(3/10) AAS
>>945 補足
>A proof that Zorn's lemma implies the axiom of choice illustrates a typical application of Zorn's lemma.[17]
えーと、最後の [17]を見ると下記だ
Notes
17 Halmos 1960, § 16. Exercise.
References
Halmos, Paul (1960). Naive Set Theory. Princeton, New Jersey: D. Van Nostrand Company.
省39
951: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:03 ID:36YscTpw(14/27) AAS
工学屋は代数方程式の解の数値が欲しいだけだから
ガロア理論なんて興味もつだけ無駄である
代数方程式がべき根だけで解けるかどうか判別する必要なんてない
べき根で解けようが解けまいが複素数解は存在するのだから
解析的方法でゴリゴリ解いたほうが早いし実際そうしている
ガウスは円分方程式のベキ根解を求めるためにラグランジュの分解式を使った
これ自体は理屈が判らん🏇🦌でも実際に実行可能であるし、
省6
952(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:07 ID:36YscTpw(15/27) AAS
神戸のセタ君は
とにかく検索し
とにかくコピペすることで
「おれはわかってる！わかってる！！わかってる！！！」
と絶叫したいようだが、全然わかってないことは
他の人にバレバレである
自分の言葉で言い換えられない時点で明らかである
省12
953: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:08 ID:36YscTpw(16/27) AAS
神戸のセタ君はとにかくコピペを止めて
全部自分の言葉で語ることを実践していただきたい
954: 02/15(土)10:15 ID:36YscTpw(17/27) AAS
ところで
「集合論で決定不能な問題を、圏論で決定できるかもしれない」
とかいう動機で圏論に興味持つのは・・・
💩
955: 02/15(土)10:18 ID:tNB6oeTf(3/13) AAS
>>945
>見比べてみな
君は見比べもせず何も疑問に思わず>>26でコピペしたと？ 何のために？ 自分が何も考えられない馬鹿であることを全世界に示すためかい？
956: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:21 ID:36YscTpw(18/27) AAS
神戸のセタ君は、何かというと
「社会人はカンニングＯＫ！」
とわめく癖があるが、
彼の勤めてる会社のコンプライアンスはどうなってるんだろうか
実に不安であるｗ
957: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:24 ID:36YscTpw(19/27) AAS
神戸のセタ君は、何かというと
小難し気な定理を持ち出したがるが
なぜその定理が成立するかは
全く興味がないらしい
（例：ケイリー・ハミルトンの定理）
その昔、TVで放送してた「伊東家の食卓」の精神なんだろう
「なるものはなる！」
省1
958: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:31 ID:36YscTpw(20/27) AAS
行列の正則性とかランクとかを
行列環とか固有多項式とかで説明するのは
やりすぎというか循環論法になりかねない
こういうことを全く気にしないのは
論理のわからぬ素人
959(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)10:58 ID:XknlDm4+(4/10) AAS
>>945 補足
あのさ >>932 って おサルの言っていること、ショボクね？
弥勒菩薩氏から、おっさん基礎論自慢するから ”基礎論婆”とか呼ばれて
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このサマか
笑えるます ｗｗｗ ；ｐ）
960: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)10:59 ID:XknlDm4+(5/10) AAS
>>959 タイポ訂正
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このサマか
笑えるます ｗｗｗ ；ｐ）
↓
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このザマか
笑えます ｗｗｗ ；ｐ）
961: 02/15(土)11:29 ID:tNB6oeTf(4/13) AAS
>>959
Aがwell-definedであることを証明してごらん。できるなら。
ここは数学板なので数学的根拠の無い感想文は無意味。君は園児かい？
962: 02/15(土)11:32 ID:tNB6oeTf(5/13) AAS
>>959
>ショボクね？
存在例化すら理解できない君がなぜしょぼいと判断できるの？
963: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)11:48 ID:36YscTpw(21/27) AAS
神戸のセタは、数学板で一番ショボいのは
万年高卒レベルの自分ってことが判らない
乙とか高木某より賢いと思ってるのを見ると、ああ、おかしい
全然変わらないどころかむしろ彼らより全然馬鹿だろｗ
964: 02/15(土)11:52 ID:tNB6oeTf(6/13) AAS
>>941
> もしそうならば、存在例化とは 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof”
> ってこと
>3）ならば、”存在例化により選択関数f∈A'が存在する”という上記陳述が
> ナンセンスだと思うぜ
省2
上下前次1-新書関写板覧索設栞歴
あと 38 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s