ガロア第一論文と乗数イデアル他関連資料スレ12 (901ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
415: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)08:49 ID:RlRmaz0L(1/9) AAS
>>408
>実際はみんな普通の人
ID:Jha5BKz+ は、御大か
夜の巡回ご苦労さまです
ところで、下記のわんこら氏ととんすけ氏のヨーツベ動画をご紹介します
わんこらさんは、京大数学科に入学するも
杉浦解析入門1で はまって、それを最初のページから完璧に理解しようと 家で勉強で ヒキコモリになって
5〜6年たち 単位が足らずに、1年で必死に勉強して 京都大学の数理解析研究所に筆記合格するも
面接で落とされた（なんで学部3年で来るところを6〜7年も・・・で）
落ちて、数学科の教官から
省30
416: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)08:49 ID:RlRmaz0L(2/9) AAS
つづき
文字起こし
1:56
筆記だけかって数理科学研究所受かって
1:59
京都大学の数理解析研究所のすぐに買付な
んですよねそのコースそのコースはそれが
一応難しいと言われてるけどその
2:08
筆記も合格して
省27
417(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)09:36 ID:RlRmaz0L(3/9) AAS
>>360
余談ついでに
日本棋院理事長 武宮 陽光 応援を兼ねて
>>360より
www.yomiuri.co.jp/igoshougi/kisei/20250115-SYT8T6216423/
【棋聖戦第１局詳報】七番勝負開幕、椿山荘対局を制するのは一力遼棋聖か井山裕太王座か
2025/01/17
第49期棋聖戦 七番勝負第１局(解説付き)
ここに、解説付きの動く棋譜があります
これを見ると
省8
420(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)10:13 ID:RlRmaz0L(4/9) AAS
>>409 補足
(引用開始)
定理 選択公理⇒整列定理
証明
空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される。
X上の二項関係≦を ∀Y⊂X.((Y≠{})⇒∀y∈Y.(f(Y)≦y)) で定義する。
(引用終り)
初心者のために
1）これ、二項関係≦ の定義に、まったくなっていない
つまり、>>409に記したように
省40
421: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)10:17 ID:RlRmaz0L(5/9) AAS
>>420 タイポ訂正
すると、f(Y)≦y) → ∀x≦y ？
↓
すると、f(Y)≦y → ∀x≦y ？
422(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)11:09 ID:RlRmaz0L(6/9) AAS
>>404 戻る
(引用開始)
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
Proof from axiom of choice
Let the set we are trying to well-order be A,
(in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α∣aα is defined}.
Notes
T Jech 著 · 1997 · The Third Millennium Edition, revised and ... 2002. (Springer monographs in mathematics).
P48
省27
457(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)18:45 ID:RlRmaz0L(7/9) AAS
>>442
(引用開始)
理科大君は数学を博打かなにかだと思ってるらしい
闇雲に式を弄ればまぐれで当たることもある、と
絶対ないとはいわないが
この宇宙がなくなるまでに
そんな奇跡が起きるとは思えんね
(引用終り)
ふっふ、ほっほ
>>355-356より
省12
460(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)20:15 ID:RlRmaz0L(8/9) AAS
>>445
(引用開始)
5チャンでは即興で思い付いたことを書いている
以前他のスレでやったが、周期Pに属する実数全体 P∩R という
零集合上で実解析的に考えれば、有理数体Q上
πとeは代数的独立であることが示せる
(引用終り)
どうもです
スレ主です
おっちゃん お元気そうでなによりです。
省7
464(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)20:57 ID:RlRmaz0L(9/9) AAS
>>441
> Jechの証明のfから上記の性質を持つfに改造できればいいってことで
> 多分いろいろやり方はありそうだけ
> （たとえばfが半順序になるところまでなんとか持って行って
> ツォルンの補題を経由して証明するとか）
> 一番簡単なのはJechの証明の方法でとにかく整列しちゃうってことですかね
> ということで意図が分かると、
> 阪大工学部卒の凡人が貶すほど酷いものでもないとわかりますね
おサルか？ｗ >>7-10
自分が書いた証明を、他人になりすまして
省33
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.573s*