ああ、やらかした。大変に恥ずかしいことをしてしまった。 発表問題として出題されていた「下限位相のコンパクト集合はたかだか可算集合である」ことの証明が英語版Wikipediaの"Lower Limit Topology"にのっていた。かなり"コンパクト"にまとまった簡潔な証…