One-point compactification and projectivization #
We construct a set-theoretic equivalence between
OnePoint K
and the projectivization ℙ K (K × K)
for an arbitrary division ring K
.
TODO: Add the extension of this equivalence to a homeomorphism in the case K = ℝ
,
where OnePoint ℝ
gets the topology of one-point compactification.
Main definitions and results #
OnePoint.equivProjectivization
: the equivalenceOnePoint K ≃ ℙ K (K × K)
.
Tags #
one-point extension, projectivization
The one-point compactification of a division ring K
is equivalent to
the projectivivization ℙ K (K × K)
.
Equations
- One or more equations did not get rendered due to their size.