位相空間論の演習問題（とその簡単な応用）

$h^2=h$より$h(Y)=\{y\in Y|h(y)=y\}$なので、$h(Y)$は連続写像$(h,i{d}_Y):Y\to Y\times Y$による対角集合の引き戻しである。$Y$がハウスドルフであることより$Y\times Y$の対角集合は閉集合なので$h(Y)$は$Y$の閉集合である。

$g\circ f=i{d}_X$より$g{|}_{f(X)}:f(X)\to X$は$f:X\to f(X)$の連続な逆写像なので$f$は埋め込みである。
$h:=f\circ g$とすると、$g\circ f=i{d}_X$より$h^2=h$であり、また$f(X)=h(Y)$である。命題１より$h(Y)$は$Y$の閉集合である。すなわち$f$の像は閉集合である。像が閉であるような埋め込みは閉埋め込みなのでこれで示された。