ScalingStacks

Proof. [04SQ]

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

Proof.

Note that, since H∘H^{\circ} is defined over ℝ\mathbb{R}, we have γ⁡(ℝ​H∘)⊂ℝ​ℙn\gamma(\mathbb{R}H^{\circ})\subset{\mathbb{R}}{\mathbb{P}}^{n}. Note that γ\gamma extends to a map H→ℂ​ℙnH\to{\mathbb{C}}{\mathbb{P}}^{n} which is an isomorphism, since deg⁡γ=1\deg\gamma=1. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.