Let
be the open neighborhood of the identity that is contained in
and
be arbitrary. Since multiplication by
is a homeomorphism, the set
is also open and also contained in
. Hence the set
is open and contained in
. Since
contains the identity element,
and we conclude that
is open. Our job will be over if we can show that
is closed as well. Let
be arbitrary.
Since the neighborhood
of
contains a point
, there exists
such that
which, in
view of the fact that
, implies
. Hence
.
nisha
2012-03-20