20/02/09 13:25:33.82 BHX2wTJj.net
>>179の問題は自分的には納得できたのだけど>>201で書いたエレガントな証明が思い出せなくてムカつく。
ネットで検索すると、やはりあるのはあるはず
この↓インターネット上の匿名氏の証明。
誰か知りませんか？
URLﾘﾝｸ(www.cc.miyazaki-u.ac.jp)
というのが有名な雨宮問題であり、長年初等的証明は懸案であった。もともとは一松信による英語本の問題であったが、雨宮が初等的解法の存在を数セミの「エレガントな解法を求む」に出題したのである。最近では
０．もともとの英語本の著者による位相空間の端点理論を使う証明
１．名古屋大学の山田氏による証明
２．インターネット上の匿名氏の証明
３．（有界な場合のみ通用する）関数解析的証明
が存在することが知られている。