Proposition: Uniqueness of Inverse Real Numbers With Respect to Multiplication

For every real number \(x\neq 0\) there is only one real number, denoted by \(x^{-1}\), such that \(x\cdot x^{-1}=x^{-1}\cdot x=1\) for all \(x\in\mathbb R\).

Proofs: 1 Corollaries: 1 2

Corollaries: 1
Proofs: 2 3 4 5 6
Propositions: 7 8
Sections: 9


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983