 Projectively extended real line

The projectively extended real line is a mathematical construction that extends the standard real numbers by adding two points at infinity. This extension is particularly useful in various areas of analysis and projective geometry. In more detail, the projectively extended real line is denoted by \(\mathbb{R} \cup \{ -\infty, +\infty \}\).