Let
be the homeomorphism between
and
and
. We have to show that
is an interior point of
. Let
be a closed ball centered at
and contained in
so that
is a
compact subset of
containing
. Let
be the (topological) boundary of
and
. We regard
and
as subsets of
.
By theorem (41.2),
is path connected and
has two path components. However since the union
is a disjoint union of connected sets, the pieces
and
are the components
of
. Hence they are both open in
(why?)
and hence are open in
. The piece
is then an open subset of
containing
and since
we see that
is an interior point of
.
nisha
2012-03-20