Inverse for Real Addition

From ProofWiki
Jump to navigation Jump to search

Theorem

Each element $x$ of the set of real numbers $\R$ has an inverse element $-x$ under the operation of real number addition:

$\forall x \in \R: \exists -x \in \R: x + \paren {-x} = 0 = \paren {-x} + x$


Proof

We have:

\(\ds \eqclass {\sequence {x_n} } {} + \paren {-\eqclass {\sequence {x_n} } {} }\) \(=\) \(\ds \eqclass {\sequence {x_n - x_n} } {}\)
\(\ds \) \(=\) \(\ds \eqclass {\sequence {0_n} } {}\)

Similarly for $\paren {-\eqclass {\sequence {x_n} } {} } + \eqclass {\sequence {x_n} } {}$.


Thus the inverse of $x \in \struct {\R, +}$ is $-x$.

$\blacksquare$