The proof of the Pasting Lemma at Wikipedia is correct, but a bit unclear. In particular, it does not clearly show how the hypothesis that X, Y are both closed is being used. It actually has something to do with subspace topology.
I have added some clarifications here:
Pasting Lemma (Statement)
Let ,
be both closed (or both open) subsets of a topological space
such that
, and let
also be a topological space. If both
and
are continuous, then
is continuous.
Proof:
Let be a closed subset of
. Then
is closed in
since it is the preimage of
under the function
, which is continuous. Hence
for some set
closed in
. Since
is closed in
,
is closed in
.
Similarly, is closed (in
). Then, their union
is also closed (in
), being a finite union of closed sets.
You can contribute by editing that Wikipedia proof with your improvement.
LikeLike