A topological group is a group endowed with a topology such that both the group operation and inversion are continuous maps. Every group can be understood as a topological group, if we take the discrete topology.

Topological groups are useful in various areas of mathematics. Every topological vector space is a topological group. Locally compact groups are important in harmonic analysis, see e.g. Pontryagin duality.

history | show excerpt | excerpt history