nLab extended real number

Redirected from "extended real line".
Extended real numbers

Extended real numbers

Idea

An extended real number is usually a real number, but it might be ±\pm\infty. We can also think of an extended real number as a number of the form log(1/t1)\log(1/t - 1) for t[0,1]t \in [0,1] (including t=0,1t = 0,1) or a number of the form tant\tan t for tt a real number (including an odd multiple of π/2\pi/2).

There are actually two slightly different notions that both go by the name ‘extended real number’: one in which \infty and -\infty are distinct (the logarithm), and one in which they are identified (the tangent). The latter kind forms a quotient space of the former.

Definitions

Classically, one simply defines an extended real number to be either a real number, \infty, or (for the version in which these are distinguished) -\infty. However, one has to take more care for a definition that works in constructive mathematics. Such a definition may also be interesting to a classical mathematician for its own sake, of course.

As extended Dedekind cuts

One way to define extended real numbers is to adjust the notion of Dedekind cut. This naturally defines the sort of extended real number in which \infty \ne -\infty.

So let an extended Dedekind cut be a pair (L,U)(L,U) of sets of rational numbers such that:

  • For each aLa \in L, there is some bLb \in L such that a<ba \lt b.
  • For each bUb \in U, there is some aUa \in U such that a<ba \lt b.
  • Whenever a<ba \lt b are rational numbers, either aLa \in L or bUb \in U (non-exclusively).
  • If aLa \in L and bUb \in U, then a<ba \lt b.

(The usual slight variations available in the notion of Dedekind cut apply here as well, in the same ways.)

If LL is empty, then UU must be the set of all rational numbers; this extended cut represents -\infty. If UU is empty, then LL must be the set of all rational numbers; this extended cut represents \infty. An extended Dedekind cut is bounded if instead LL and UU are both inhabited. The bounded cuts are the usual Dedekind cuts that represent real numbers. So the only change is that we no longer require this boundedness condition.

The space of extended real numbers in this sense is often denoted ¯\overline{\mathbb{R}}. As a topological space (or locale, constructively), it is the end compactification of the locally compact space \mathbb{R}. Geometrically, this is a line segment, the extended real number line segment.

As ratios of real numbers

Another way to define extended real numbers is to represent them as ratios of real numbers. This naturally defines the sort of extended real number in which =\infty = -\infty.

So let a nontrivial ratio of real numbers be a pair (a,b)(a,b) of real numbers such that either a0a \ne 0 or b0b \ne 0. (By \ne we mean the usual apartness relation on real numbers.) We write the ratio as aba &#8758; b, and we consider aba &#8758; b and cdc &#8758; d to be equivalent, written abcda &#8758; b &#8759; c &#8758; d, if ad=bca d = b c. This is an equivalence relation on nontrivial ratios; modulo this equivalence relation, the nontrivial ratios represent extended real numbers.

If b0b \ne 0, then the nontrivial ratio aba &#8758; b is equivalent to a/b1a/b &#8758; 1 and represents the real number a/ba/b. The nontrivial ratios a0a &#8758; 0 for a0a \ne 0 are all equivalent and represent \infty. (The ratio 000 &#8758; 0 is considered trivial and does not represent any extended real number. If we want to include it, then we get a wheel.)

This is a special case of forming the projective line of a field, in this case the field of real numbers. Accordingly, the space of extended real numbers in this sense is often denoted 1\mathbb{P}\mathbb{R}^1. As a topological space (or locale, constructively), it is the one-point compactification of the locally compact space \mathbb{R}. Geometrically, this is a circle, the extended real number circle.

Orders

We can put a linear order on ¯\overline{\mathbb{R}} by setting <x<-\infty \lt x \lt \infty for any real number xx. In terms of Dedekind cuts, this is the straightforward extension of the usual definition of <\lt on such cuts.

We can put a cyclic order RR on 1\mathbb{P}\mathbb{R}^1 by setting R(x,y,z)R(x,y,z) true if any of the following hold:

  • x<y<zx \lt y \lt z are all real numbers,
  • y<z<xy \lt z \lt x are all real numbers,
  • z<x<yz \lt x \lt y are all real numbers,
  • y<zy \lt z are real numbers and x=x = \infty,
  • z<xz \lt x are real numbers and y=y = \infty,
  • x<yx \lt y are real numbers and z=z = \infty.

(These orders can be defined constructively too, with a little more work.)

Arithmetic

In ¯\overline{\mathbb{R}}, we take x+x + \infty, +x\infty + x, and +\infty + \infty to be \infty (for xx a real number) and similarly xx - \infty, +x-\infty + x, and -\infty - \infty to be -\infty. Of course, \infty and -\infty are opposites (additive inverses). These are all straightforward extensions of the usual definition of addition for Dedekind cuts. However, when we try \infty - \infty or +-\infty + \infty, the Dedekind cut calculation gives us (,)(\empty,\empty), which is not a cut, even extended. (Although some sources define these sums, it is most common to leave them undefined, I think.)

In 1\mathbb{P}\mathbb{R}^1, we similarly take x+x + \infty and +x\infty + x to be \infty (for xx a real number). Now \infty is its own opposite. These all agree with the additive rule (ab)+(cd)=(ad+bcbd)(a &#8758; b) + (c &#8758; d) = (a d + b c &#8758; b d). If we apply this to +\infty + \infty, however, the result is 000 &#8758; 0, so again we take that to be undefined. (However, in this case, the definition +=\infty + \infty = \infty is also widely seen, I think.)

Note that although we have blithely referred to ‘additive inverses’, addition does not form a group in either case. The reason is that the opposites of ±\pm\infty are not really additive inverses, since the result of the relevant addition is undefined rather than zero. (If you define the sum to be zero so that they become inverses, then you lose associativity; ultimately, there is no way to make a group, since 0+=1+0 + \infty = 1 + \infty shows that the operation is not cancellative.)

In ¯\overline{\mathbb{R}}, we take x±x \cdot {\pm \infty} to be ±\pm \infty when x>0x \gt 0 but x±=x \cdot {\pm \infty} = \mp \infty for x<0x \lt 0. (This continues to work even if xx is infinite too.) But now 0±0 \cdot {\pm \infty} is undefined. (Many sources define this to be zero, although I think this is really because they are using 0=00 \cdot \infty = 0 in the nonnegative lower reals, at least in applications to measure theory.)

In 1\mathbb{P}\mathbb{R}^1, we take xx \cdot \infty to be \infty as long as x0x \ne 0; but 00 \cdot \infty is undefined (although it is defined in the wheel over \mathbb{R}). We may write 1/=01/\infty = 0 and 1/0=1/0 = \infty to define division, but again these are not really multiplicative inverses. (With 01=020 \cdot 1 = 0 \cdot 2 and 1=2\infty \cdot 1 = \infty \cdot 2, multiplication is not cancellative either.)

Constructive aspects

The definitions as phrased above give us located extended real numbers. We can of course consider unlocated extended real numbers, either one-sided or MacNeille. The natural definitions of these are at least somewhat extended; the lower one-sided reals include \infty, the upper one-sided reals include -\infty, and the MacNeille reals include both (with \infty \ne -\infty). However, one can always restrict to bounded numbers or alternatively fully extend the one-sided numbers, so being extended and being located are technically independent. Still, whenever ±\pm\infty shows up constructively (especially if only one of them appears), then this is a sign that one may want to generalise to one-sided (or even MacNeille) reals.

This has implications for arithmetic; for example, while 00 \cdot \infty is undefined in the extended located real numbers (and in the MacNeille real numbers), it is 00 in the nonnegative lower real numbers (and \infty in the extended nonnegative upper real numbers).

Last revised on August 10, 2021 at 06:57:46. See the history of this page for a list of all contributions to it.