Topological Groups — Mathematics Knowledge System

Overview

A topological group is a set that is simultaneously a group and a topological space, with the two structures made compatible by requiring the group operations — multiplication and inversion — to be continuous. This marriage of algebra and topology is ubiquitous: (ℝ, +) with its usual topology, the circle S¹ = U(1) under multiplication of unit complex numbers, and the general linear group GL(n, ℝ) of invertible matrices under matrix multiplication are all topological groups. The continuity requirement lets one import topological tools (compactness, connectedness, continuity) into group theory and vice versa: a topological group's connected component of the identity is itself a subgroup, compact topological groups carry a canonical translation-invariant (Haar) measure, and Lie groups — topological groups that are also smooth manifolds — are the central objects of study in continuous symmetry, underlying everything from crystallography to gauge theories in physics.

Intuition

Think of a topological group as a group where 'nearby inputs give nearby outputs' for both multiplication and taking inverses — you can't have the group operation randomly teleport nearby elements far apart. This is exactly what makes a Rubik's-cube-like continuous symmetry meaningful: rotating a sphere by a tiny angle should compose predictably with another tiny rotation to give a tiny combined rotation, not something wildly different. The rotation group SO(3) is the classic example: nearby rotations combine to give nearby rotations, and undoing a rotation (inverting) varies continuously as the rotation itself varies. Contrast this with a group that's merely a set with a topology slapped on with no compatibility — there the algebra and the topology would have nothing to do with each other, and none of the powerful cross-pollination (like Haar measure, or one-parameter subgroups) would be available.

Formal Definition

Definition

A topological group is a set G equipped with both a group structure and a topology, such that the group operations are continuous:

m: G \times G \to G, \quad m(g,h) = gh \quad \text{is continuous}

Here G × G carries the product topology

Continuity of multiplication

i: G \to G, \quad i(g) = g^{-1} \quad \text{is continuous}

Continuity of inversion

\text{Equivalently: } (g,h) \mapsto gh^{-1} \text{ is continuous } G \times G \to G

Combined single-map formulation

Notation

Notation	Meaning
$(G, \cdot, \tau)$	A topological group: a group (G, ·) equipped with a topology τ making the operations continuous
$L_g: G \to G,\ L_g(h) = gh$	The map 'multiply on the left by g'; always a homeomorphism of G onto itself, with inverse L_{g^{-1}}
$G^0$	The connected component of G containing the identity element e; it is always a closed normal subgroup

Properties

Translations are homeomorphisms

L_g: G \to G,\ h \mapsto gh \text{ is a homeomorphism for every } g \in G

Condition: L_g is continuous (restriction of continuous multiplication), bijective with continuous inverse L_{g^{-1}}, both by continuity of the group operations.

Example: In (ℝ,+), translation by g is x ↦ x+g, obviously a homeomorphism of ℝ.

Identity component is a closed normal subgroup

G^0 \text{ (connected component of } e \text{) is a closed normal subgroup of } G

Condition: Uses that products and inverses of connected sets containing e stay in the same component, plus continuity of conjugation.

Homogeneity

\forall\, g, h \in G,\ \exists \text{ homeomorphism of } G \text{ taking } g \text{ to } h

Condition: Take the translation L_{hg^{-1}}; this means a topological group 'looks the same' at every point, so local topological properties at the identity determine them everywhere.

Compact topological groups admit Haar measure

G \text{ compact} \implies \exists! \text{ translation-invariant probability measure } \mu \text{ on } G

Condition: This generalizes to all locally compact topological groups (with the measure only unique up to scaling, not necessarily a probability measure), a cornerstone of abstract harmonic analysis.

Worked Examples

Addition m(x,y) = x+y is continuous ℝ×ℝ → ℝ (a standard fact from calculus — sums of convergent sequences converge to the sum).
$m(x,y) = x + y \text{ is continuous}$
Inversion i(x) = −x is continuous (it's just a reflection, clearly continuous).
$i(x) = -x \text{ is continuous}$
Both group operations are continuous with respect to the standard topology, so (ℝ,+) is a topological group.
$(\mathbb{R}, +) \text{ is a topological group}$

Answer: (ℝ, +) is a topological group — the prototypical example, and non-compact, non-discrete, connected.

Practice Problems

Difficulty 5/10

The two continuity conditions required for a group G with a topology to be a topological group are continuity of:

Multiplication and the identity elementMultiplication and inversionOnly inversionOnly multiplication

Difficulty 6/10

Why is every left-translation map L_g: h ↦ gh a homeomorphism of a topological group G?

Difficulty 7/10

GL(n,ℝ) is an open subset of ℝ^{n²} because it is the complement of the zero set of the determinant function. Explain briefly why this makes GL(n,ℝ) open, and why it shows GL(n,ℝ) cannot be compact.

Common Mistakes

Common Mistake

Assuming any group with any topology automatically qualifies as a topological group.

The topology and group structure must be compatible — multiplication and inversion must both be continuous with respect to that topology. A group with the discrete topology is always a topological group trivially, but e.g. putting a 'random' non-compatible topology on a group generally is not.

Common Mistake

Confusing 'topological group' with 'Lie group.'

Every Lie group is a topological group (a smooth manifold with smooth, hence continuous, group operations), but topological groups need not be manifolds at all — e.g. any group with the discrete topology, or profinite groups like the p-adic integers, are topological groups but not Lie groups.

Quiz

Summary

A topological group is a group G with a topology making multiplication (g,h) ↦ gh and inversion g ↦ g⁻¹ continuous.
Left (and right) translations are always homeomorphisms of G, making a topological group homogeneous — it looks the same near every point.
The identity component G⁰ is always a closed normal subgroup, linking the connectedness structure to the group structure.
Examples span from non-compact (ℝ, +) and GL(n, ℝ) to compact S¹ = U(1); compact topological groups additionally carry a canonical Haar measure.

References

WebsiteWikipedia — Topological group
BookMunkres, J. Topology, 2nd ed.