このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しようや役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!

このような呟きを見つけた.

Baire のカテゴリ定理を使わずに一様有界性原理を証明してる人がいた (http://arxiv.org/abs/1005.1585 ). やばそう

誰かと思ったら Alan Sokal だった. これは ソーカル事件, 『「知」の欺瞞』 の Socal だ.

中身について. 5 ページしかないので興味がある向きは直接確認してほしいが, 対偶を示す形で証明している. ちなみに歴史的経緯を含め, 証明まで 1 ページしか使っておらず, 証明本体は半ページしかない. Hahn と Banach によるオリジナル論文ではこの線で証明しているらしいが, もたついている部分があるとのこと. また標準的な Baire のカテゴリー定理を使う証明では仮定自体をもう少し緩められることを注意している.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しようや役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!