Given a polygonal region $P$, a labeling equivalence relation and a pasting quotient map $\pi: P \to X$, show that $\pi$ is closed.
For any set $C$ closed in $P$, show that $\pi(C)$ is closed.
I'm struggling with how to approach this one.
Given a polygonal region $P$, a labeling equivalence relation and a pasting quotient map $\pi: P \to X$, show that $\pi$ is closed.
For any set $C$ closed in $P$, show that $\pi(C)$ is closed.
I'm struggling with how to approach this one.
We know that $P$ is comopact. To show the image $\pi(C)$ is closed directly may not be easy, but we can show $\pi^{-1}(\pi(C))$ is closed. claim:
So, we have $\pi^{-1}(\pi(C))=\bigcup_{i\in I}h_i(e_i)\cup (C\cap e)\cup C$ which is compact and, therefore, closed in $P$. And because of the surjectivity, we have $\pi(\pi^{-1}(\pi(C)))=\pi(C)$ (surjections are right invertible), which is also compact (by continuity) and hence closed as desired.