The projectively extended real line is the set of real numbers together with a single point at infinity approached from both the positive and negative directions, making it topologically a circle rather than a line. This differs from the two-point extension of the reals used in ordinary extended real analysis, which adds separate positive and negative infinities. The projective extension is used in projective geometry and in certain branches of complex analysis and calculus where arithmetic operations such as division by zero can be given a consistent, if degenerate, meaning by treating infinity as a single unsigned point. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Connections
In Branch
Source Projectively Extended Real Line (Wikipedia)
Is Kind Of Object
Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.
Sources
1. Projectively Extended Real Line (Wikipedia)
In Branch: Real Analysis, Lead sentenceQuote, In Branch: Real Analysis, Lead sentence
In real analysis, the projectively extended real line (also called the one-point compactification of the real line), is the extens
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.