CHAPTER 1
Basic Topological Group Theory
This first chapter is an introduction to the basic structural facts in the theory of
topological groups. There are no surprises. The basic analytic facts are in Chapter
3. The concepts here are essential for the rest of this monograph.
1.1. Definition and Separation Properties
A topological group is a group with a topology such that the group opera-
tions are continuous. In other words, the algebraic and topological structures are
mutually consistent. We make the formal definition.
DEFINITION
1.1.1. Let G be both an abstract group and a topological space.
Then G is a topological group if
the one point subsets of G are closed
subsets1
and
the map G x G G by (g, ft) i—
gh~l
is continuous. (}
1.1.2. Now let G be a topological group. Notice that the maps G » G by
g h-» g~x and G x G » G by (g, ft) i— gh are continuous. For the first, (ft, g) H-» hg~l
is continuous and we set ft = 1. For the second, Gx G * G by (g, /i) i— #/i now is the
composition (g, ft) i-» (g,
ft-1)
i-» g(/i
- 1
)
- 1
of two continuous maps. Similarly these
two conditions imply continuity of (g, ft) i—
gh~l.
So together they are equivalent
to the second continuity condition of the definition of topological group.
1.1.3. If {#i,... ,gn} C G and {ri,... , rn} are integers, and if V is a neigh-
borhood of ft = g^1 ... g7^1 in G, then there are neighborhoods Uj of gj such that
t/!""1 . . . ^ c y . For the map Gx--xG-G, given by (gu ..., #n) H- ^ ... # ^ ,
is continuous. This fact is crucial to many arguments in topological group theory.
If G = (Rn, +) it corresponds to "e/n" arguments from elementary calculus.
1.1.4. The left translations £g : h *-» gh on G, the right translations
rg : h y-+ hg, and the conjugations ag : ft, H-
ghg~x,
all are homeomorphisms
of G. In effect, they are continuous because joint continuity of (-U, t) i— uv, of
(ix,v) i— vu, and of (u,v) i—
uvu~l
each implies separate continuity, and because
f"1
=£g-i,
r'1
=rg-i, and a"
1
= a^-i.
LEMMA 1.1.5. A topological group is a regular2 topological space.
This is the Tychonoff separation condition T\.
A topological space X is regular if, given a closed subset F C X and a point x £ F, there
are disjoint open subsets U, V C X with x £ U and F C V. This is the Tychonoff separation
condition T3.
3
http://dx.doi.org/10.1090/surv/142/01
Previous Page Next Page