Chapter 7 Flashcards
commutativity of addition for the real #’s [axiom]
For all x, y ∈ R, we have
x + y = y + x
associativity of addition for the real #’s [axiom]
For all x, y, z ∈ R, we have
(x + y) + z = x + (y + z)
distributivity for the real #’s [axiom]
For all x, y, z ∈ R, we have
x ∙ (y + z) = x ∙ y + x ∙ z
commutativity of multiplication for the real #’s [axiom]
For all x, y ∈ R, we have
x ∙ y = y ∙ x
associativity of multiplication for the real #’s [axiom]
For all x, y, z ∈ R, we have
(x ∙ y) ∙ z = x ∙ (y ∙ z)
additive identity for the real #’s [axiom]
There exists a real number 0 satisfying
∀ x ∈ R, x + 0 = x
This element 0 is called an additive identity, or an identity element for addition.
multiplicative identity for the real #’s [axiom]
There exists a real number 1 such that
1 ≠ 0 and ∀x ∈ R, x · 1 = x
The element 1 is called a multiplicative identity, or an identity element for multiplication.
additive inverse for the real #’s [axiom]
For each x ∈ R, there exists a real number, denoted −x, such that
x + (−x) = 0
The element −x is called an additive inverse of x.
multiplicative inverse for the real #’s [axiom]
For each x ∈ R − {0}, there exists a real number,
denoted-1, such that
x · x-1 = 1
The element x −1 is called a multiplicative inverse of x
definition of subtraction for the real #’s [definition]
x − y := x + (−y), x, y ∈ R
definition of division for the real #’s [definition]
If x, y ∈ R and x ≠ 0, we define
y/x = yx-1
the division function for the real #’s [function]
R × (R - {0}) → R
1/x can also be expressed as… [note]
x-1