User:Abcxyz/Sandbox/Real Numbers/Inverses for Real Addition

Theorem
Let $\R$ denote the set of real numbers.

Let $+$ denote addition on $\R$.

Then every element of $\R$ has an inverse for $+$.

Proof 1
Let $\left({\R, +, \times, \le}\right)$ denote the real numbers, as axiomatically defined as a Dedekind complete totally ordered field.

By the field axioms, every element of $\R$ has an inverse for $+$.

Proof 2
Let $\R$ denote the set of real numbers, as constructed from Cauchy sequences.

Let $+$ denote addition on $\R$.

Let $x = \left[{\!\left[{\left\langle{x_n}\right\rangle}\right]\!}\right] \in \R$.

We have the result Inverses for Rational Addition.

It follows that:
 * $\left[{\!\left[{\left\langle{x_n}\right\rangle}\right]\!}\right] + \left[{\!\left[{\left\langle{-x_n}\right\rangle}\right]\!}\right] = \left[{\!\left[{\left\langle{0}\right\rangle}\right]\!}\right] = \left[{\!\left[{\left\langle{-x_n}\right\rangle}\right]\!}\right] + \left[{\!\left[{\left\langle{x_n}\right\rangle}\right]\!}\right]$

From Identity for Real Addition, it follows that $\left[{\!\left[{\left\langle{-x_n}\right\rangle}\right]\!}\right]$ is the inverse of $\left[{\!\left[{\left\langle{x_n}\right\rangle}\right]\!}\right]$ for $+$.

Proof 3
Let $\R$ denote the set of real numbers, as constructed from Dedekind cuts.

Let $+$ denote addition on $\R$.

Define:
 * $0^* = \left\{{q \in \Q: q < 0}\right\}$

From Identity for Real Addition, $0^*$ is the identity of $\left({\R, +}\right)$.

Let $\alpha \in \R$.

Define:
 * $\beta = \left\{{q \in \Q: \exists r \in \Q_{>0}: -q - r \notin \alpha}\right\}$

First, we show that $\beta \in \R$.

If $p \in \Q \setminus \alpha$, then $-p - 1 \in \beta$.

Hence, $\beta$ is non-empty.

If $p \in \alpha$, then, by the definition of a Dedekind cut, $\forall r \in \Q_{>0}: p - r \in \alpha$.

Hence, $-p \notin \beta$, so $\beta \ne \Q$.

Let $q \in \beta$.

Then we can choose $r \in \Q_{>0}$ such that $-q - r \notin \alpha$.

We have that $-q - r = -\left({q + \dfrac r 2}\right) - \dfrac r 2 \notin \alpha$.

It follows that $q < q + \dfrac r 2 \in \beta$.

Suppose that $p \in \Q$, $p < q$.

Then $-q - r < -p - r$, so $-p - r \notin \alpha$.

Hence, $p \in \beta$.

Proof 4
Let $\R$ denote the set of real numbers, as defined as the Dedekind completion of the rational numbers.

Let $+$ denote addition on $\R$.

By definition, $\left({\R, +}\right)$ is a group.

By the group axioms, every element of $\R$ has an inverse for $+$.