Axioms for Real Numbers Flashcards
(13 cards)
commutative axiom
a+b=b+a
ab+ba
associative axiom
(a+b)+c=a+(b+c)
(ab)c=a(bc)
distributive axiom
a(b+c)=ab+ac
reflexive axiom
a=a
symmetric axiom
if a=b, then b=a
Transitive Axiom
If a = b and b = c then a = c .
If a > b and b > c then a > c
Addition Axiom
If a = b then a + c = b + c
If a > b then a + c > b + c
Multiplication Axiom
If a = b then ac = bc
If a > b and c > 0 then ac > bc
Existence of Additive Inverse
For every real number a, there exists a real number -a such that
a + (- a) = (- a) + a = 0
Existence of Multiplicative Inverse
For every non-zero real number a, there exists a real number 1/a such that a(1/a) = 1 .
Existence of Additive Identity
For every real number a, a + 0 = a
Existence of Multiplicative Identity
for every real number a, a * 1 = 1 * a=a
Trichotomy Axiom
For every real numbers a and b, exactly one of the following is true: a = b, a > b or a < b