Let
be arbitrary and
. Choose an evenly covered neighborhood
of
and
be a sheet lying over
and containing
.
Then
is an open set in
containing
that is
mapped by
homeomorphically onto
. Thus
is a local homeomorphism and we have proved (i).
Let
be an arbitrary open set in
. Then
can be covered by open sets
such that
maps each
homeomorphically onto an evenly covered
open subset
of
(why?).
Then
is the union of such evenly covered neighborhoods
implying that
is an open set in
.
Thus
is an open mapping. Finally to prove (iii) suppose that
is a limit point of
. Pick an arbitrary evenly covered neighborhood
of
and a sheet
lying over
containing
. In particular the restriction of
to the sheet
is injective. But since
is a limit point of
,
this sheet must contain infinitely many points of
which means
restricted to
cannot be injective which is a contradiction.
nisha
2012-03-20