7 \(\bigstar\) Infinity
Definition 7.1 The symbol \(\infty\) is a formal symbol: that is, a symbol that we agree to write, but do not attach any specific value to.
By default, any expression involving the symbol \(\infty\) is considered undefined. We will use define certain contexts where the symbol \(\infty\) is meaningful below.
7.1 Order
Our first use of the symbol \(\infty\) is to expand interval notation of the real numbers. Right now, using the order \(<\) we have rigorously defined intervals such as \((a,b)\), \([a,b)\) and \([a,b]\) for \(a,b\in\RR\).
Definition 7.2 For any real number \(a\), we define the following intervals with \(\pm\infty\) as an endpoint:
\[(-\infty, a)=\{x\in\RR\mid x<a\}\] \[(-\infty, a]=\{x\in\RR\mid x\leq a\}\] \[(a,\infty)=\{x\in\RR\mid x>a\}\] \[[a,\infty)=\{x\in\RR\mid x\geq a\}\]
But we can take this farther, by actually adding the formal symbols \(\pm\infty\) to our number system, to create a set called the extended reals.
Definition 7.3 (The Extended Reals) The extended real number line is the set \[\overline{\RR}=\RR\cup\{-\infty,\infty\}.\]
Definition 7.4 (Ordering on \(\overline{\RR}\)) The order \(<\) on \(\RR\) can be extended to \(\overline{\RR}\) by the following two rules: \[\forall x\in \RR,\; x<\infty \hspace{1cm} \forall x\in\RR,\; -\infty <x\]
This allows for interval notation on \(\overline{\RR}\) where, we may may write intervals such as \([-\infty 1]\) to mean the points \(\{x\mid \overline{R}\mid x\leq 1\}\) etc.
In \(\overline{\RR}\) then, \(\infty\) is an upper bound for every set, and \(-\infty\) is a lower bound for every set. On the real numbers alone, the completeness axiom tells us that the supremum of bounded nonempty sets exist, but unbounded sets do not have a supremum. In the extended reals, we see that \(\pm\infty\) naturally satisfy the definitions of
Proposition 7.1 (Unbounded Above means \(\sup =\infty\)) Let \(A\) be a nonempty subset of \(\RR\) which is not bounded above. Then as a subset of of the extended reals, \(\sup A = \infty\).
Proof. By the definition of \(\infty\), we see that \(\infty\) is an upper bound for \(A\) always, so we need only show it is the supremum. Let \(x\in\overline{\RR}\) be any element less than \(\infty\). Then \(x\) must be an element of \(\RR\), and since \(A\) is not bounded above in \(\RR\), there is some \(a\in A\) with \(a>x\). Thus \(x\) is not an upper bound, and so every element less than \(\infty\) fails to be an upper bound: that is, \(\infty\) is the least upper bound as claimed.
Exercise 7.1 (Unbounded Below means \(\inf=-\infty\))
Corollary 7.1 (Sup and Inf in the Extended Reals) Every nonempty subset of the extended real line has both an infimum and a supremum.
Proof. Let \(A\) be a nonempty subset of \(\overline{\RR}\). First, if \(A\) contains \(\infty\), then \(\sup A = \infty\) as it is the maximum. So, we can consider the case that \(\infty\not\in A\). If \(A\) is bounded above by a real number, then \(\sup A\) is also a real number by completeness, and if \(A\) is not bounded above, then \(\sup A = \infty\) by Proposition 7.1.
The same logic applies to lower bounds: after taking care of the case where \(\inf A = \min A =-\infty\), if \(A\) is bounded below completeness furnishes a real infimum, and if it is not, Exercise 7.1 shows the infimum to be \(-\infty\).
In the extended reals, it is still common to take the infimum and supremum of the empty set to be undefined. But there is also another option: one can assign \(\inf\varnothing =\infty\) and \(\sup\varnothing = -\infty\): if we do this then every set in the extended reals has an infimum and supremum!
7.2 Arithmetic
We know from the previous chapter that complete ordered fields cannot contain infinite numbers, yet in the section above we added \(\pm\infty\) to \(\RR\) in a way that did not mess up the order, or completeness properties. So, the addition of this new symbol must cause trouble with the field axioms. And, indeed it does!
Its extremely important to remember that \(\overline{\RR}\) is not a field. We have not extended any of the operations to the formal symbol \(\infty\), so things like \(\infty+1\) or \(\infty-\infty\) or \(3\infty+ \infty/2\) are currently undefined.