- Show that in a topological group, the connected component of the identity is a normal subgroup.
- Show that the action of the group
on the sphere
given by matrix multiplication is
transitive. You need to employ the Gram-Schmidt theorem to complete a given unit vector to an orthonormal basis.
- Suppose a group
acts transitively on a set
and
are a pair of points in
and
. Then
the subgroups stab
and stab
are conjugates and
(stab
stab
.
- (i)
- Show that the map
stab
given by
is well-defined, bijective and
.
- (ii)
- Suppose that
is a topological space,
is a topological group and the action
is continuous. Show that the map
is continuous.
- (iii)
- Deduce that if
is compact and
is Hausdorff then
stab
and
are homeomorphic.
- Examine whether the map
given by
is a homeomorphism.
- Show that the group of all unitary matrices
is compact and connected. Regarding
as a subgroup of
in a natural way, recognize the quotient space as a familiar space.
- Show that the subgroups
consisting of matrices in
with determinant one are connected for every
.
- Suppose
is a topological group and
is a normal subgroup, prove that
is Hausdorff if and only
if
is closed.
in
Lecture VI (Test - I)
in
- Prove that the intervals
and
are non-homeomorphic subsets of
. Prove that if
and
are homeomorphic subsets of
, then
is open in
if and only if
is open in
.
Is an injective continuous map
a homeomorphism onto its image?
- Using Tietze's extension theorem or otherwise construct a continuous map from
into
such that
the image of
is not closed in
.
- If
is a compact subset of a topological group
and
is a closed subset of
, is it true that
is
closed in
? What if
and
are merely closed subsets of
?
- Removing three points from
we get an open set
and a continuous map
given by
. Which three points
need to be removed? Prove the continuity of
.
- Let
. Is
connected? Is
homeomorphic to
?
- Prove that
is homeomorphic to
.
in
Lecture VII - Paths, homotopies and the fundamental group
in
In this lecture we shall introduce the most basic object in algebraic topology, the fundamental group. For this purpose
we shall define the notion of homotopy of paths in a topological space
and show that this is an equivalence relation. We then fix a point
in the topological space and look at the set of all equivalence classes of
loops starting and ending at
.
This set is then endowed with a binary operation that turns it into a group known as the fundamental group
. Besides being the most basic object in algebraic topology, it is of paramount importance
in low dimensional topology. A detailed study of this group will occupy the rest of part I of this course.
However in this lecture we shall focus only on the most elementary results.
All spaces considered here are path connected Hausdorff spaces.
Subsections
nisha
2012-03-20