連続群とその表現

ドトで数学中。
加算公理とかコンパクト性のオンパレード。