ひょんな事から位相群の勉強を始めた。かなり今更感が無いわけでもない。 まず最初に All topologies considered below are assumed to satisfy T_1-separation axiom, .... と書いてあると激しく萎えます。多分僕だけですけど。