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

理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.

先日淀川の花火大会に行ったんですが、浴衣を着た女が隣の浴衣を着た男の耳元に背伸びして口を寄せて「好き」って言ってるのを見ました。僕は可算パラコンパクトでない正規空間ってどんなのがあるんだろうって思いました。調べるとすぐ出てきました。 pic.twitter.com/NDnEMw61xU

— 不等式bot (@Inequalitybot) 2015, 8月 9

@Inequalitybot 補足しておくと、このスクショの題名は「X×Iが正規でない正規空間X」というものですが、「正規空間Xについて可算パラコンパクト⇔X×Iが正規」というDowkerの特性化定理があるので、これは可算パラコンパクトでない正規空間の例にもなっているわけです。

— 不等式bot (@Inequalitybot) 2015, 8月 9

覚えておきたい.
あと論文はここから落とせる.