Proposition 2.87 . [00JS]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 2.87.

If $\phi$ is surjective, then $\phi^{\star}$ is injective and is a closed map; if $\phi$ is finite, then $\phi^{\star}$ is surjective. ( [Ber, Proposition 3.46 (6)(7)])