Title: Gun no hyōgenron josetsu
Subjects: Compact groups, Locally compact groups