灘ゼミ潜入

毎週月曜日に数理棟で行われているという某セミナーに参加してきました。
というか、知識不足のために、勝手に聴いてただけに近いけど。

最初は、夕食をとりに生協食堂に行って帰ってくるつもりだったのに、そこで何故か灘数研OBの集団を見つけたことに始まり、
何故かyosに「tosも来たら？」と去り際に言われ、
なぜかふらふらと数理棟に足を運び、
ゼミが終わったら23時になっていたとかいう。

一見自明そうな命題が、本では自明と省略されているらしいのだが、
ハウスドルフ性を仮定してもそこまで自明ではなく、
仮定しなかった場合は今回のゼミ中に解決されなかった、
という罠にはまっていました。

n次元のなかで、(n-1)次元以下のものは、内部はないというのが、自分の混乱の大きな原因だった気がします。
例えば、[ABCD]の境界は[ABC],[ABD],[ACD],[BCD]だからそれを除いたもののような気がするあたりが困るというところ。