なんだか間が悪い一日です。 サークルの展示に行ってきました。文字通り邪魔しに行っただけではないかという。手伝ってないし心苦しいです。ごめんなさいねぇ。 凸包の問題*1のエレガントな解法を教えてもらいました。よく考えるとまだ議論の細部を詰めない…

時間が過ぎるのが早すぎる。うーん。 UをR^nの開集合、K⊆Uをコンパクトとする。{x_n}をU内の離散点列(すなわち、U内に集積点を持たない点列)とする。このとき、{x_n}∩Kは有限集合である。 ということをなにもいわずに使っていたことに気づきました。あと、同…