napkin solutions > Ch. 66
Back to Chapter Selection
Table of Contents
66.1.3
66.1.3
#
Exercise 66.1.3 (On requiring surjectivity of
𝑝
).
Let
𝑝
:
𝐸
→
𝐵
be satisfying this definition, except
that
𝑝
need not be surjective. If
𝐵
is connected and
𝐸
is nonempty, then
𝑝
is surjective.
Proof.
Let
𝑝
:
𝐸
→
𝐵
be a continuous map such that every point
𝑏
∈
𝐵
has an open neighborhood
𝑈
of
𝑏
which is
evenly covered by
𝑝
. We claim that
𝑝
(
𝐸
)
and
𝐵
∖
𝑝
(
𝐸
)
are both open.
•
Let
𝑥
∈
𝑝
(
𝐸
)
. Then there is an open neighborhood
𝑈
of
𝑥
which is evenly covered by
𝑝
. That is,
𝑝
−
1
(
𝑈
)
=
⨄
𝛼
∈
𝐼
𝑉
𝛼
for some
(
𝑉
𝛼
)
𝛼
∈
𝐼
𝑝
|
𝑉
𝛼
:
𝑉
𝛼
→
𝑈
is a homeomorphism for all
𝛼
∈
𝐼
Since
𝑥
∈
𝑝
(
𝐸
)
, there is
𝑦
∈
𝑝
−
1
(
𝑥
)
⊆
𝑝
−
1
(
𝑈
)
, which implies that there is
𝛼
0
∈
𝐼
such that
𝑦
∈
𝑉
𝛼
0
. Then
𝑝
|
𝑉
𝛼
0
:
𝑉
𝛼
0
→
𝑈
is a homeomorphism. Then
𝑈
=
𝑝
(
𝑉
𝛼
0
)
⊆
𝑝
(
𝐸
)
. Thus
𝑝
(
𝐸
)
is open.
•
Let
𝑦
∈
𝐵
∖
𝑝
(
𝐸
)
. Then there is an open neighborhood
𝑈
of
𝑦
which is evenly covered by
𝑝
. Suppose
𝑥
∈
𝑝
(
𝐸
)
for
some
𝑥
∈
𝑈
. Then
𝑈
⊆
𝑝
(
𝐸
)
by the same argument of the above. But then
𝑦
∈
𝑈
⊆
𝑝
(
𝐸
)
, hence contradiction. Thus
𝑥
∉
𝑝
(
𝐸
)
for all
𝑥
∈
𝑈
. That is,
𝑈
⊆
𝐵
∖
𝑝
(
𝐸
)
. Thus
𝐵
∖
𝑝
(
𝐸
)
is open.
Now suppose that
𝐵
is connected and
𝐸
is nonempty. Then
𝑝
(
𝐸
)
is nonempty. If
𝐵
∖
𝑝
(
𝐸
)
is also nonempty,
𝑝
(
𝐸
)
and
𝐵
∖
𝑝
(
𝐸
)
separates
𝐵
into two disjoint nonempty open sets, which is contradiction. Hence
𝐵
∖
𝑝
(
𝐸
)
must be empty.
i.e.
𝑝
is surjective.