連続群とその表現 §1.1, §1.2, §1.3

いま§2.1の位相群の基本的性質読んでる。

同相だとか、コンパクトだとか、集合論でやったことがずいぶん生きそうだ。
どんなone-parametor subgroupでもexpの形でかけるというのは驚いた。

今は位相群の左一様連続性に関する定理の証明の途中。