Real Numbers:Algebraic Properties

Some simple results

At this point there are a large number of very simple results we can deduce about these operations from the axioms. Some of these follow, and some of them have proofs. The remaining proofs should be considered exercises in manipulating axioms. The aim of these results is to allow us to perform any manipulations which we think are "obviously true" due to our experience with working with numbers. Unless otherwise quantified, the following should hold for all $x,y\in \mathbb {R}$.

• $0$ is the only additive identity

Proof: Suppose $x$ is an additive identity, then $x=x+0=0$. $\Box$

• $1$ is the only multiplicative identity

• Both additive and multiplicative inverses are unique. More formally: If both $x+y=0$ and $x+z=0$ then $y=z$; and if both $xy=1$ and $xz=1$ then $y=z$ (so that the notations $-x$ and $x^{-1}$ make sense).

Proof: For the case of addition: We have $x+y=0$ and $x+z=0$, so adding $y$ to the latter equation, we get $(x+z)+y=0+y$, but then by commutativity and associativity of addition we deduce that $(x+y)+z=0+y$, and by our other assumption $0+z=0+y$, and then by identity of addition $z=y$. $\Box$

• $-(-x)=x$

• $\forall x\in \mathbb {R} \setminus \{0\}:(x^{-1})^{-1}=x$

• $0\times x=0$

• $0$ has no multiplicative inverse (so division by $0$ can not make sense)

• $\forall n,m\in \mathbb {Z} :x^{n}x^{m}=x^{n+m}$

• $\forall n,m\in \mathbb {Z} :(x^{n})^{m}=x^{nm}$

• $x>y\iff \neg x\leq y$ (Here $\neg$ is logical negation, so $\neg x\leq y$ means "it is not the case that $x\leq y$".)

Proof: First we consider the implication $\implies$. Suppose $x>y$. By definition, this means that $x\not =y$ and $y<x$. If it were also true that $x\leq y$ then by anti-symmetry we have $x=y$, which is impossible. Thus $\neg x\leq y$.

Conversely, suppose $\neg x\leq y$. First, if we had $x=y$ then by reflexivity $x\leq y$, which is impossible, so in fact $x\not =y$. Secondly, by totality we deduce that $y\leq x$. These two conditions are exactly those required for $x>y$. $\Box$

• $x<y\iff \neg x\geq y$

• $x$ is non-positive if and only if $x$ is not positive

• $x$ is non-negative if and only if $x$ is not negative

• If $x$ is both non-positive and non-negative then $x=0$

• $x$ is not both positive and negative

• $x\geq 0\iff -x\leq 0$

Proof: Suppose $x\geq 0$. By one of the axioms we get $x+(-x)\geq 0+(-x)$. By additive inverse this gives $0\geq 0+(-x)$ and then by additive identity $0\geq -x$, as required.

The converse implication follows similarly. $\Box$

• $(x\leq y{\mbox{ and }}z\leq 0)\implies xz\geq yz$

• $\forall x\in \mathbb {R} :x^{2}\geq 0$

Proof: By totality of the order, we have either $x\geq 0$ or $x\leq 0$. In the first case we can apply the axiom linking the order to multiplication directly to $0\leq x$ and deduce $0\leq x^{2}$. In the latter case we apply the last result in this list to $0\leq x$ and obtain $x^{2}\geq 0$. $\Box$

• $1>0$ and $-1<0$

Applications

Although it might be said that the entirety of this book is devoted to studying the applications of completeness, there are in particular some simple applications we can give easily which provide an indication as to how completeness solves the problem with the rationals described above.

Theorem (Square roots)

Let $x\in \mathbb {R}$ be non-negative. Then $x$ has a unique non-negative square root, denoted ${\sqrt {x}}$, which satisfies $({\sqrt {x}})^{2}=x$.

Proof

We deal only with the case $x\geq 1$. The case $x\in [0,1)$ is left for the exercises.

First we note that when $y,z\in \mathbb {R}$ are non-negative, $y<z\implies y^{2}<z^{2}$ (In the terminology we will introduce later, this says that the function $y\mapsto y^{2}$ is strictly increasing). This makes it clear that there can be only one square root of $x$, and so it remains to find one.

Let $S=\{y\in \mathbb {R} :y^{2}\leq x\}$. We wish to apply the least upper bound axiom to $S$, so we must show that it is non-empty and bounded above.

That $S$ is non-empty is clear, since $1\in S$.

Furthermore, $x$ itself is an upper bound for $S$, since if $y>x\geq 1$, then $y^{2}>y$, so that $y^{2}>x$, and hence $y\not \in S$.

Putting these facts together, by the least upper bound axiom, we deduce that $S$ has a least upper bound, which we call $s$. We wish to show that $s$ is the square root of $x$ that we seek.

Certainly $s$ is positive, since $1\in S$ and so $s\geq 1$. In particular, we may divide by $s$.

To show that $s^{2}=x$, we eliminate the possibilities that $s^{2}>x$, and that $s^{2}<x$.

Suppose that $s^{2}>x$. Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t=s-\frac{s^2-x}{2s}} . Then:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t^2 = s^2 - (s^2-x) + \frac{(s^2-x)^2}{4s^2} = x + \frac{(s^2-x)^2}{4s^2} > x}

So Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} is in fact an upper bound for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} , but this is impossible, since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t<s} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s} is the least upper bound for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} .

Thus we have concluded that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s^2\leq x} .

Now suppose that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s^2<x} . Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t=s+\frac{x-s^2}{2s}} . In a similar manner to the above, we deduce that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t^2<x} , so Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t\in S} , but this is impossible since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t>s} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s} is an upper bound for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} .

Thus we have concluded that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s^2\geq x} , and so Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s^2=x} as required.Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Box}

This argument may appear excessively complex (especially since some details are left for the exercises), and indeed there is a sense in which it is, and we shall be able to present a much neater argument later. Nevertheless, it suffices to show that we can find a square root of 2, and so avoid the immediate problem with the rationals posed at the beginning of this section. To show that no more elaborate construction will give rise to the same problem will have to wait until we reach the study of continuity.

Theorem (Archimedes axiom)

(Note that despite the name, this theorem is not an axiom to us, but a theorem we deduce from the other axioms.)

a) Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall x\in\mathbb R:\exists n\in\mathbb N:n>x}

b) Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall x\in\mathbb R^*+:\exists n\in\mathbb N:\frac{1}{n}<x}

Proof

a) Suppose the statement is not true, then we have the negation, which states:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists x\in\mathbb R:\forall n\in\mathbb N:n\leq x}

but this is precisely the statement that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb N} is bounded above. Certainly also it is non-empty, so we can apply the completeness axiom to get a least upper bound for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb N} . Call this least upper bound Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle l} .

Since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle l} is a least upper bound, we know that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle l-1} is not an upper bound, and thus Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists n\in\mathbb N:n>l-1} . But then, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n+1>l} , and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n+1\in\mathbb N} so we get the contradiction that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle l} is not an upper bound for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb N} after all.

Thus, our supposition was false, and (a) holds.

b) Take Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\in\mathbb R^+} . Certainly Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\not=0} , so that we can invert Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} to get Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^{-1}\in\mathbb R^+} . Applying part (a) to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^{-1}} , we can find Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\in\mathbb N} with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n>x^{-1}} , and then inverting this inequality, we deduce Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{n}<x} as required.Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Box}

Corollary (Density of rationals and irrationals)

If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x<y} then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x,y)} contains both a rational number and an irrational number.

Proof

To find a rational in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x,y)} , we apply Archimedes axiom (b) to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y-x} , getting Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\in\mathbb N} with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{n}<y-x} . Thus $1<yn-xn$, so Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle xn<yn-1} .

We also apply Archimedes axiom (a) to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y+1} to get Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N\in\mathbb N} satisfying Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N>yn+2} .

Now choose the least Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle m\in\mathbb N} satisfying Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N-m<yn} . By the above, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle m\geq2} , and so, since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle m} is minimal, we know that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N-(m-1)\geq yn}

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N-m\geq yn-1}

Putting this together with the fact that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle xn<yn-1} deduced above, we get:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N-m> xn}

So, in summary, we have Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle yn>N-m>xn} , so Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y>\frac{N-m}{n}>x} , and we have found the rational number we want.

To find an irrational number, we use what we have just deduced to first find a rational Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q\in(x+\sqrt{2},y+\sqrt{2})} , so that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q-\sqrt{2}\in(x,y)} . Furthermore, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q-\sqrt{2}} must be irrational, for if it were rational then we would also have Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q-(q-\sqrt{2})=\sqrt{2}} rational, and we know that it is not. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Box}

Licensing

Content obtained and/or adapted from:

• Properties of Real Numbers, Wikibooks: Real Analysis under a CC BY-SA license