Real projective line

From Wikipedia, the free encyclopedia

In real analysis, the real projective line (also called the one-point compactification of the real line, or the projectively extended real numbers), is the set

$\mathbb{R}\cup\{\infty\},$ ,

which will here be denoted

$\widehat{\mathbb{R}}$ .

The symbol $\infty$ here means an unsigned infinity, an infinite quantity which is neither positive nor negative (it is sometimes convenient at an intuitive level to look on it as both positive and negative).

[edit] Dividing by zero

One of the interesting features of this structure is that it allows division by zero, namely

$\frac{a}{0} = \infty$

for nonzero a. This structure, however is not a field, and division does not retain its original algebraic meaning in it. The geometric interpretation is this: a vertical line may have, so to speak, infinite gradient.

[edit] Extensions of the real line

The real projective line extends the field of real numbers in the same way that the Riemann sphere extends the field of complex numbers, by adding a single point called conventionally ∞.

Compare the extended real number line (also called the two-point compactification of the real line), which does distinguish between $+\infty$ and $-\infty$ .

[edit] Order

The order relation cannot be extended to $\widehat{\mathbb{R}}$ in a meaningful way. Given a real number a, there is no convincing reason to decide that $a > \infty$ or that $a < \infty$ . Since $\infty$ can't be compared with any of the other elements, there's no point in using this relation at all. However, order is used to make definitions in $\widehat{\mathbb{R}}$ that are based on the properties of reals.

[edit] Geometry

Fundamental to the idea that ∞ is a point no different from any other is the way the real projective line is a homogeneous space. For example the general linear group of 2×2 real invertible matrices has a transitive action on it. The group action may be expressed by Möbius transformations, with the understanding that when the denominator of the linear fractional transformation is 0, the image is ∞.

The detailed analysis of the action shows that for any three distinct points P, Q and R, there is a linear fractional transformation taking P to 0, Q to 1, and R to ∞. This cannot be extended to 4-tuples of points, because the cross-ratio is invariant.

The terminology projective line is appropriate, because the points are in 1-1 correspondence with one-dimensional linear subspaces of R².

[edit] Arithmetic operations

[edit] Motivation for arithmetic operations

The arithmetic operations in this space are an extension of the same operations on reals. The motivation for the new definitions is the limits of functions of real numbers.

[edit] Arithmetic operations which are defined

$a + \infty = \infty + a = \infty$ for $a \in \mathbb{R}$
$a - \infty = \infty - a = \infty$ for $a \in \mathbb{R}$
$a * \infty = \infty * a = \infty$ for $a \in \mathbb{R}$ , $a \neq 0$
$\infty * \infty = \infty$
$a / \infty = 0$ for $a \in \mathbb{R}$
$\infty / a = \infty$ for $a \in \mathbb{R}$
$a / 0 = \infty$ for $a \in \mathbb{R}$ , $a \neq 0$

[edit] Arithmetic operations which are left undefined

The following cannot be motivated by considering limits of real functions, and any definition of them would require us to give up additional algebraic properties. Therefore, they are left undefined:

$\infty + \infty$
$\infty - \infty$
$\infty * 0$
$0 * \infty$
$\infty / \infty$
$0 / 0\,$

[edit] Algebraic properties

The following equalities mean: Either both sides are undefined, or both sides are defined and equal. This is true for any $a, b, c \in \widehat{\mathbb{R}}$ .

$(a + b) + c = a + (b + c)\,$
$a + b = b + a\,$
$(a * b) * c = a * (b * c)\,$
$a * b = b * a\,$
$a * \infty = a / 0$

The following is true whenever the right-hand side is defined, for any $a, b, c \in \widehat{\mathbb{R}}$ .

$a * (b + c) = a * b + a * c\,$
$a = (a / b) * b = (a * b) / b\,$
$a = (a + b) - b = (a - b) + b\,$

In general, all laws of arithmetic are valid as long as all the occurring expressions are defined.

[edit] Intervals

[edit] Definitions for intervals

The concept of an interval can be extended to $\widehat{\mathbb{R}}$ . However, since it is an unordered set, the interval has a slightly different meaning. The definitions for closed intervals are as follows (it is assumed that $a, b \in \mathbb{R}, a < b$ ):

$[a, a] = {a}$
$[a, b] = \{x | x \in \mathbb{R}, a \leq x \leq b\}$
$[a, \infty] = \{x | x \in \mathbb{R}, a \leq x\} \cup \{\infty\}$
$[b, a] = \{x | x \in \mathbb{R}, b \leq x\} \cup \{\infty\} \cup \{x | x \in \mathbb{R}, x \leq a\}$
$[\infty, a] = \{\infty\} \cup \{x | x \in \mathbb{R}, x \leq a\}$
$[\infty, \infty] = \{\infty\}$

The corresponding open and half-open intervals are obtained by removing the endpoints.

$\widehat{\mathbb{R}}$ itself is also an interval, but cannot be represented with this bracket notation.

[edit] Interval arithmetic

Interval arithmetic is trickier in $\widehat{\mathbb{R}}$ than in $\mathbb{R}$ . However, the result of an arithmetic operation on intervals is always an interval. In particular, we have, for every $a, b \in \widehat{\mathbb{R}}$ :

$x \in [a, b] \iff \frac{1}{x} \in \left [\frac{1}{b}, \frac{1}{a}\right ]$

Which is true even when the intervals involved include 0.

[edit] Calculus

The tools of calculus can be used to analyze functions of $\widehat{\mathbb{R}}$ . The definitions are motivated by the topology of this space.

[edit] Neighbourhoods

Let $x \in \widehat{\mathbb{R}}, A \subseteq \widehat{\mathbb{R}}$ .

A is a neighbourhood of x, if and only if A is an interval and $x \in A$ .
A is a right-sided neighbourhood of x, if and only if there is $y \in \widehat{\mathbb{R}}, y \neq x$ such that either $A = [x, y]$ or $A = [x, y)$ .
A is a left-sided neighbourhood of x, if and only if there is $y \in \widehat{\mathbb{R}}, y \neq x$ such that either $A = [y, x]$ or $A = (y, x]$ .
A is a (right-sided, left-sided) punctured neighbourhood of x, if and only if there is $B \subseteq \widehat{\mathbb{R}}$ such that B is a (right-sided, left-sided) neighbourhood of x, and $A = B \setminus \{x\}$ .

[edit] Limits

[edit] Basic definitions of limits

Let $f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}}, p \in \widehat{\mathbb{R}}, L \in \widehat{\mathbb{R}}$ .

The limit of f(x) as x approaches p is L, denoted

$\lim_{x \to p}{f(x)} = L$

if and only if for every neighbourhood A of L, there is a punctured neighbourhood B of p, such that $x \in B$ implies $f(x) \in A$ .

The one-sided limit of f(x) as x approaches p from the right (left) is L, denoted

$\lim_{x \to p^{+}}{f(x)} = L$ $\left (\lim_{x \to p^{-}}{f(x)} = L\right )$

if and only if for every neighbourhood A of L, there is a right-sided (left-sided) punctured neighbourhood B of p, such that $x \in B$ implies $f(x) \in A$ .

It can be shown that $\lim_{x \to p}{f(x)} = L$ if and only if both $\lim_{x \to p^{+}}{f(x)} = L$ and $\lim_{x \to p^{-}}{f(x)} = L$ .

[edit] Comparison with limits in $\mathbb{R}$

The definitions given above can be compared with the usual definitions of limits of real functions. In the following statements, $p, L \in \mathbb{R}$ , the first limit is as defined above, and the second limit is in the usual sense:

$\lim_{x \to p}{f(x)} = L$ is equivalent to $\lim_{x \to p}{f(x)} = L$ .
$\lim_{x \to \infty^{+}}{f(x)} = L$ is equivalent to $\lim_{x \to -\infty}{f(x)} = L$ .
$\lim_{x \to \infty^{-}}{f(x)} = L$ is equivalent to $\lim_{x \to +\infty}{f(x)} = L$ .

The following are conceptually equivalent, but there are cases where the second is false according to the strict definition, while the first is true:

$\lim_{x \to p}{f(x)} = \infty$ is equivalent to $\lim_{x \to p}{|f(x)|} = +\infty$ .
$\lim_{x \to \infty^{+}}{f(x)} = \infty$ is equivalent to $\lim_{x \to -\infty}{|f(x)|} = +\infty$ .
$\lim_{x \to \infty^{-}}{f(x)} = \infty$ is equivalent to $\lim_{x \to +\infty}{|f(x)|} = +\infty$ .

[edit] Extended definition of limits

Let $A \subseteq \widehat{\mathbb{R}}$ . Then p is a limit point of A if and only if every neighbourhood of p includes a point $y \in A$ such that $y \neq x$ .

Let $f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}}, A \subseteq \widehat{\mathbb{R}}, L \in \widehat{\mathbb{R}}, p \in \widehat{\mathbb{R}}$ , p a limit point of A. The limit of f(x) as x approaches p through A is L, if and only if for every neighbourhood B of L, there is a punctured neighbourhood C of p, such that $x \in A \cap C$ implies $f(x) \in B$ .

[edit] Continuity

Let $f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}}, p \in \widehat{\mathbb{R}}$ .

f is continuous at p if and only if f is defined at p and:

$\lim_{x \to p}{f(x)} = f(p)$ .

Let $f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}}, A \subseteq \widehat{\mathbb{R}}$ .

f is continuous in A if and only if for every $p \in A$ , f is defined at p and the limit of f(x) as x approaches p through A is f(p).

An interesting feature is that every rational function $P (x) / Q (x)$ , where P(x) and Q(x) have no common factor, is continuous in $\widehat{\mathbb{R}}$ . Also, If tan is extended so that $\tan{(\frac{\pi}{2} + n\pi)} = \infty$ for $n \in \mathbb{Z}$ , then tan is continuous in $\mathbb{R}$ . However, many elementary functions, such as trigonometric and exponential functions, are discontinuous at $\infty$ . For example, sin is continuous in $\mathbb{R}$ but discontinuous at $\infty$ .