Axioms on the Set of Real Numbers                          Mathematics 4                            June 7, 2011Mathematic...
Field AxiomsFieldsA field is a set where the following axioms hold:     Mathematics 4 ()     Axioms on the Set of Real Numb...
Field AxiomsFieldsA field is a set where the following axioms hold:    Closure Axioms     Mathematics 4 ()     Axioms on th...
Field AxiomsFieldsA field is a set where the following axioms hold:    Closure Axioms    Associativity Axioms     Mathemati...
Field AxiomsFieldsA field is a set where the following axioms hold:    Closure Axioms    Associativity Axioms    Commutativ...
Field AxiomsFieldsA field is a set where the following axioms hold:    Closure Axioms    Associativity Axioms    Commutativ...
Field AxiomsFieldsA field is a set where the following axioms hold:    Closure Axioms    Associativity Axioms    Commutativ...
Field AxiomsFieldsA field is a set where the following axioms hold:    Closure Axioms    Associativity Axioms    Commutativ...
Field Axioms: ClosureClosure AxiomsAddition: ∀ a, b ∈ R : (a + b) ∈ R.Multiplication: ∀ a, b ∈ R, (a · b) ∈ R.     Mathema...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:     Mathematics 4 ()     ...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:  1   Z+      Mathematics ...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:  1   Z+  2   Z−      Math...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:  1   Z+  2   Z−  3   {−1,...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:  1   Z+  2   Z−  3   {−1,...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:  1   Z+  2   Z−  3   {−1,...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:  1   Z+  2   Z−  3   {−1,...
Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication:  1   Z+  2   Z−  3   {−1,...
Field Axioms: AssociativityAssociativity Axioms     Mathematics 4 ()   Axioms on the Set of Real Numbers   June 7, 2011   ...
Field Axioms: AssociativityAssociativity Axioms    Addition     Mathematics 4 ()   Axioms on the Set of Real Numbers   Jun...
Field Axioms: AssociativityAssociativity Axioms    Addition    ∀ a, b, c ∈ R, (a + b) + c = a + (b + c)     Mathematics 4 ...
Field Axioms: AssociativityAssociativity Axioms    Addition    ∀ a, b, c ∈ R, (a + b) + c = a + (b + c)    Multiplication ...
Field Axioms: AssociativityAssociativity Axioms    Addition    ∀ a, b, c ∈ R, (a + b) + c = a + (b + c)    Multiplication ...
Field Axioms: CommutativityCommutativity Axioms    Mathematics 4 ()   Axioms on the Set of Real Numbers   June 7, 2011   6...
Field Axioms: CommutativityCommutativity Axioms   Addition    Mathematics 4 ()   Axioms on the Set of Real Numbers   June ...
Field Axioms: CommutativityCommutativity Axioms   Addition   ∀ a, b ∈ R, a + b = b + a    Mathematics 4 ()    Axioms on th...
Field Axioms: CommutativityCommutativity Axioms   Addition   ∀ a, b ∈ R, a + b = b + a   Multiplication    Mathematics 4 (...
Field Axioms: CommutativityCommutativity Axioms   Addition   ∀ a, b ∈ R, a + b = b + a   Multiplication   ∀ a, b ∈ R, a · ...
Field Axioms: DPMADistributive Property of Multiplication over Addition∀ a, b, c ∈ R, c · (a + b) = c · a + c · b      Mat...
Field Axioms: Existence of an Identity ElementExistence of an Identity Element     Mathematics 4 ()   Axioms on the Set of...
Field Axioms: Existence of an Identity ElementExistence of an Identity Element    Addition     Mathematics 4 ()   Axioms o...
Field Axioms: Existence of an Identity ElementExistence of an Identity Element    Addition    ∃! 0 : a + 0 = a for a ∈ R. ...
Field Axioms: Existence of an Identity ElementExistence of an Identity Element    Addition    ∃! 0 : a + 0 = a for a ∈ R. ...
Field Axioms: Existence of an Identity ElementExistence of an Identity Element    Addition    ∃! 0 : a + 0 = a for a ∈ R. ...
Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element     Mathematics 4 ()   Axioms on the Set of R...
Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element    Addition     Mathematics 4 ()   Axioms on ...
Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element    Addition    ∀ a ∈ R, ∃! (-a) : a + (−a) = ...
Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element    Addition    ∀ a ∈ R, ∃! (-a) : a + (−a) = ...
Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element    Addition    ∀ a ∈ R, ∃! (-a) : a + (−a) = ...
Equality AxiomsEquality Axioms    Mathematics 4 ()   Axioms on the Set of Real Numbers   June 7, 2011   10 / 14
Equality AxiomsEquality Axioms 1   Reflexivity: ∀ a ∈ R : a = a     Mathematics 4 ()     Axioms on the Set of Real Numbers ...
Equality AxiomsEquality Axioms 1   Reflexivity: ∀ a ∈ R : a = a 2   Symmetry: ∀ a, b ∈ R : a = b → b = a     Mathematics 4 ...
Equality AxiomsEquality Axioms 1   Reflexivity: ∀ a ∈ R : a = a 2   Symmetry: ∀ a, b ∈ R : a = b → b = a 3   Transitivity: ...
Equality AxiomsEquality Axioms 1   Reflexivity: ∀ a ∈ R : a = a 2   Symmetry: ∀ a, b ∈ R : a = b → b = a 3   Transitivity: ...
Equality AxiomsEquality Axioms 1   Reflexivity: ∀ a ∈ R : a = a 2   Symmetry: ∀ a, b ∈ R : a = b → b = a 3   Transitivity: ...
Theorems from the Field and Equality AxiomsCancellation for Addition: ∀ a, b, c ∈ R : a + c = b + c → a = c            a+c...
Theorems from the Field and Equality AxiomsProve the following theorems    Mathematics 4 ()    Axioms on the Set of Real N...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Mathematics...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Theorems from the Field and Equality AxiomsProve the following theorems    Involution: ∀ a ∈ R : − (−a) = a    Zero Proper...
Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true:     Mathematics 4 ()      Axioms on the...
Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true:  1   a>b      Mathematics 4 ()     Axio...
Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true:  1   a>b  2   a=b      Mathematics 4 ()...
Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true:  1   a>b  2   a=b  3   a<b      Mathema...
Order AxiomsOrder Axioms: Inequalities     Mathematics 4 ()   Axioms on the Set of Real Numbers   June 7, 2011   14 / 14
Order AxiomsOrder Axioms: Inequalities 1   Transitivity for Inequalities     Mathematics 4 ()        Axioms on the Set of ...
Order AxiomsOrder Axioms: Inequalities 1   Transitivity for Inequalities     ∀ a, b, c ∈ R : a > b ∧ b > c → a > c     Mat...
Order AxiomsOrder Axioms: Inequalities 1   Transitivity for Inequalities     ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2   Add...
Order AxiomsOrder Axioms: Inequalities 1   Transitivity for Inequalities     ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2   Add...
Order AxiomsOrder Axioms: Inequalities 1   Transitivity for Inequalities     ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2   Add...
Order AxiomsOrder Axioms: Inequalities 1   Transitivity for Inequalities     ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2   Add...
Theorems from the Order AxiomsProve the following theorems    Mathematics 4 ()    Axioms on the Set of Real Numbers   June...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Theorems from the Order AxiomsProve the following theorems    (4-1) R+ is closed under addition:    ∀ a, b ∈ R : a > 0 ∧ b...
Upcoming SlideShare
Loading in...5
×

Math 4 axioms on the set of real numbers

1,387

Published on

Published in: Technology, Business
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
1,387
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
29
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

Math 4 axioms on the set of real numbers

  1. 1. Axioms on the Set of Real Numbers Mathematics 4 June 7, 2011Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 1 / 14
  2. 2. Field AxiomsFieldsA field is a set where the following axioms hold: Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 2 / 14
  3. 3. Field AxiomsFieldsA field is a set where the following axioms hold: Closure Axioms Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 2 / 14
  4. 4. Field AxiomsFieldsA field is a set where the following axioms hold: Closure Axioms Associativity Axioms Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 2 / 14
  5. 5. Field AxiomsFieldsA field is a set where the following axioms hold: Closure Axioms Associativity Axioms Commutativity Axioms Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 2 / 14
  6. 6. Field AxiomsFieldsA field is a set where the following axioms hold: Closure Axioms Associativity Axioms Commutativity Axioms Distributive Property of Multiplication over Addition Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 2 / 14
  7. 7. Field AxiomsFieldsA field is a set where the following axioms hold: Closure Axioms Associativity Axioms Commutativity Axioms Distributive Property of Multiplication over Addition Existence of an Identity Element Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 2 / 14
  8. 8. Field AxiomsFieldsA field is a set where the following axioms hold: Closure Axioms Associativity Axioms Commutativity Axioms Distributive Property of Multiplication over Addition Existence of an Identity Element Existence of an Inverse Element Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 2 / 14
  9. 9. Field Axioms: ClosureClosure AxiomsAddition: ∀ a, b ∈ R : (a + b) ∈ R.Multiplication: ∀ a, b ∈ R, (a · b) ∈ R. Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 3 / 14
  10. 10. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  11. 11. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: 1 Z+ Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  12. 12. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: 1 Z+ 2 Z− Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  13. 13. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: 1 Z+ 2 Z− 3 {−1, 0, 1} Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  14. 14. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: 1 Z+ 2 Z− 3 {−1, 0, 1} 4 {2, 4, 6, 8, 10, ...} Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  15. 15. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: 1 Z+ 2 Z− 3 {−1, 0, 1} 4 {2, 4, 6, 8, 10, ...} 5 {−2, −1, 0, 1, 2, 3, ...} Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  16. 16. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: 1 Z+ 2 Z− 3 {−1, 0, 1} 4 {2, 4, 6, 8, 10, ...} 5 {−2, −1, 0, 1, 2, 3, ...} 6 Q Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  17. 17. Field Axioms: ClosureIdentify if the following sets are closed under addition andmultiplication: 1 Z+ 2 Z− 3 {−1, 0, 1} 4 {2, 4, 6, 8, 10, ...} 5 {−2, −1, 0, 1, 2, 3, ...} 6 Q 7 Q Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 4 / 14
  18. 18. Field Axioms: AssociativityAssociativity Axioms Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 5 / 14
  19. 19. Field Axioms: AssociativityAssociativity Axioms Addition Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 5 / 14
  20. 20. Field Axioms: AssociativityAssociativity Axioms Addition ∀ a, b, c ∈ R, (a + b) + c = a + (b + c) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 5 / 14
  21. 21. Field Axioms: AssociativityAssociativity Axioms Addition ∀ a, b, c ∈ R, (a + b) + c = a + (b + c) Multiplication Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 5 / 14
  22. 22. Field Axioms: AssociativityAssociativity Axioms Addition ∀ a, b, c ∈ R, (a + b) + c = a + (b + c) Multiplication ∀ a, b, c ∈ R, (a · b) · c = a · (b · c) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 5 / 14
  23. 23. Field Axioms: CommutativityCommutativity Axioms Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 6 / 14
  24. 24. Field Axioms: CommutativityCommutativity Axioms Addition Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 6 / 14
  25. 25. Field Axioms: CommutativityCommutativity Axioms Addition ∀ a, b ∈ R, a + b = b + a Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 6 / 14
  26. 26. Field Axioms: CommutativityCommutativity Axioms Addition ∀ a, b ∈ R, a + b = b + a Multiplication Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 6 / 14
  27. 27. Field Axioms: CommutativityCommutativity Axioms Addition ∀ a, b ∈ R, a + b = b + a Multiplication ∀ a, b ∈ R, a · b = b · a Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 6 / 14
  28. 28. Field Axioms: DPMADistributive Property of Multiplication over Addition∀ a, b, c ∈ R, c · (a + b) = c · a + c · b Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 7 / 14
  29. 29. Field Axioms: Existence of an Identity ElementExistence of an Identity Element Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 8 / 14
  30. 30. Field Axioms: Existence of an Identity ElementExistence of an Identity Element Addition Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 8 / 14
  31. 31. Field Axioms: Existence of an Identity ElementExistence of an Identity Element Addition ∃! 0 : a + 0 = a for a ∈ R. Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 8 / 14
  32. 32. Field Axioms: Existence of an Identity ElementExistence of an Identity Element Addition ∃! 0 : a + 0 = a for a ∈ R. Multiplication Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 8 / 14
  33. 33. Field Axioms: Existence of an Identity ElementExistence of an Identity Element Addition ∃! 0 : a + 0 = a for a ∈ R. Multiplication ∃! 1 : a · 1 = a and 1 · a = a for a ∈ R. Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 8 / 14
  34. 34. Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 9 / 14
  35. 35. Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element Addition Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 9 / 14
  36. 36. Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element Addition ∀ a ∈ R, ∃! (-a) : a + (−a) = 0 Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 9 / 14
  37. 37. Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element Addition ∀ a ∈ R, ∃! (-a) : a + (−a) = 0 Multiplication Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 9 / 14
  38. 38. Field Axioms: Existence of an Inverse ElementExistence of an Inverse Element Addition ∀ a ∈ R, ∃! (-a) : a + (−a) = 0 Multiplication 1 1 ∀ a ∈ R − {0}, ∃! a : a· a =1 Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 9 / 14
  39. 39. Equality AxiomsEquality Axioms Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 10 / 14
  40. 40. Equality AxiomsEquality Axioms 1 Reflexivity: ∀ a ∈ R : a = a Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 10 / 14
  41. 41. Equality AxiomsEquality Axioms 1 Reflexivity: ∀ a ∈ R : a = a 2 Symmetry: ∀ a, b ∈ R : a = b → b = a Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 10 / 14
  42. 42. Equality AxiomsEquality Axioms 1 Reflexivity: ∀ a ∈ R : a = a 2 Symmetry: ∀ a, b ∈ R : a = b → b = a 3 Transitivity: ∀ a, b, c ∈ R : a = b ∧ b = c → a = c Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 10 / 14
  43. 43. Equality AxiomsEquality Axioms 1 Reflexivity: ∀ a ∈ R : a = a 2 Symmetry: ∀ a, b ∈ R : a = b → b = a 3 Transitivity: ∀ a, b, c ∈ R : a = b ∧ b = c → a = c 4 Addition PE: ∀ a, b, c ∈ R : a = b → a + c = b + c Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 10 / 14
  44. 44. Equality AxiomsEquality Axioms 1 Reflexivity: ∀ a ∈ R : a = a 2 Symmetry: ∀ a, b ∈ R : a = b → b = a 3 Transitivity: ∀ a, b, c ∈ R : a = b ∧ b = c → a = c 4 Addition PE: ∀ a, b, c ∈ R : a = b → a + c = b + c 5 Multiplication PE: ∀ a, b, c ∈ R : a = b → a · c = b · c Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 10 / 14
  45. 45. Theorems from the Field and Equality AxiomsCancellation for Addition: ∀ a, b, c ∈ R : a + c = b + c → a = c a+c=b+c Given a + c + (−c) = b + c + (−c) APE a + (c + (−c)) = b + (c + (−c)) APA a+0=b+0 ∃ additive inverses a=b ∃ additive identity Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 11 / 14
  46. 46. Theorems from the Field and Equality AxiomsProve the following theorems Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  47. 47. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  48. 48. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  49. 49. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 ∀ a, b ∈ R : (−a) · b = −(ab) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  50. 50. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 ∀ a, b ∈ R : (−a) · b = −(ab) ∀ b ∈ R : (−1) · b = −b (Corollary of previous item) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  51. 51. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 ∀ a, b ∈ R : (−a) · b = −(ab) ∀ b ∈ R : (−1) · b = −b (Corollary of previous item) (−1) · (−1) = 1 (Corollary of previous item) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  52. 52. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 ∀ a, b ∈ R : (−a) · b = −(ab) ∀ b ∈ R : (−1) · b = −b (Corollary of previous item) (−1) · (−1) = 1 (Corollary of previous item) ∀ a, b ∈ R : (−a) · (−b) = a · b Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  53. 53. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 ∀ a, b ∈ R : (−a) · b = −(ab) ∀ b ∈ R : (−1) · b = −b (Corollary of previous item) (−1) · (−1) = 1 (Corollary of previous item) ∀ a, b ∈ R : (−a) · (−b) = a · b ∀ a, b ∈ R : − (a + b) = (−a) + (−b) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  54. 54. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 ∀ a, b ∈ R : (−a) · b = −(ab) ∀ b ∈ R : (−1) · b = −b (Corollary of previous item) (−1) · (−1) = 1 (Corollary of previous item) ∀ a, b ∈ R : (−a) · (−b) = a · b ∀ a, b ∈ R : − (a + b) = (−a) + (−b) Cancellation Law for Multiplication: ∀ a, b, c ∈ R, c = 0 : ac = bc → a = b Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  55. 55. Theorems from the Field and Equality AxiomsProve the following theorems Involution: ∀ a ∈ R : − (−a) = a Zero Property of Multiplication: ∀ a ∈ R : a · 0 = 0 ∀ a, b ∈ R : (−a) · b = −(ab) ∀ b ∈ R : (−1) · b = −b (Corollary of previous item) (−1) · (−1) = 1 (Corollary of previous item) ∀ a, b ∈ R : (−a) · (−b) = a · b ∀ a, b ∈ R : − (a + b) = (−a) + (−b) Cancellation Law for Multiplication: ∀ a, b, c ∈ R, c = 0 : ac = bc → a = b 1 ∀ a ∈ R, a = 0 : =a (1/a) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 12 / 14
  56. 56. Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true: Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 13 / 14
  57. 57. Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true: 1 a>b Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 13 / 14
  58. 58. Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true: 1 a>b 2 a=b Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 13 / 14
  59. 59. Order AxiomsOrder Axioms: Trichotomy∀ a, b ∈ R, only one of the following is true: 1 a>b 2 a=b 3 a<b Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 13 / 14
  60. 60. Order AxiomsOrder Axioms: Inequalities Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 14 / 14
  61. 61. Order AxiomsOrder Axioms: Inequalities 1 Transitivity for Inequalities Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 14 / 14
  62. 62. Order AxiomsOrder Axioms: Inequalities 1 Transitivity for Inequalities ∀ a, b, c ∈ R : a > b ∧ b > c → a > c Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 14 / 14
  63. 63. Order AxiomsOrder Axioms: Inequalities 1 Transitivity for Inequalities ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2 Addition Property of Inequality Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 14 / 14
  64. 64. Order AxiomsOrder Axioms: Inequalities 1 Transitivity for Inequalities ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2 Addition Property of Inequality ∀ a, b, c ∈ R : a > b → a + c > b + c Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 14 / 14
  65. 65. Order AxiomsOrder Axioms: Inequalities 1 Transitivity for Inequalities ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2 Addition Property of Inequality ∀ a, b, c ∈ R : a > b → a + c > b + c 3 Multiplication Property of Inequality Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 14 / 14
  66. 66. Order AxiomsOrder Axioms: Inequalities 1 Transitivity for Inequalities ∀ a, b, c ∈ R : a > b ∧ b > c → a > c 2 Addition Property of Inequality ∀ a, b, c ∈ R : a > b → a + c > b + c 3 Multiplication Property of Inequality ∀ a, b, c ∈ R, c > 0 : a > b → a · c > b · c Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 14 / 14
  67. 67. Theorems from the Order AxiomsProve the following theorems Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  68. 68. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  69. 69. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 (4-2) R+ is closed under multiplication: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a · b > 0 Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  70. 70. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 (4-2) R+ is closed under multiplication: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a · b > 0 (4-3) ∀ a ∈ R : (a > 0 → −a < 0) ∧ (a < 0 → −a > 0) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  71. 71. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 (4-2) R+ is closed under multiplication: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a · b > 0 (4-3) ∀ a ∈ R : (a > 0 → −a < 0) ∧ (a < 0 → −a > 0) (4-4) ∀ a, b ∈ R : a > b → −b > −a Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  72. 72. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 (4-2) R+ is closed under multiplication: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a · b > 0 (4-3) ∀ a ∈ R : (a > 0 → −a < 0) ∧ (a < 0 → −a > 0) (4-4) ∀ a, b ∈ R : a > b → −b > −a (4-5) ∀ a ∈ R : (a2 = 0) ∨ (a2 > 0) Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  73. 73. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 (4-2) R+ is closed under multiplication: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a · b > 0 (4-3) ∀ a ∈ R : (a > 0 → −a < 0) ∧ (a < 0 → −a > 0) (4-4) ∀ a, b ∈ R : a > b → −b > −a (4-5) ∀ a ∈ R : (a2 = 0) ∨ (a2 > 0) (4-6) 1 > 0 Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  74. 74. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 (4-2) R+ is closed under multiplication: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a · b > 0 (4-3) ∀ a ∈ R : (a > 0 → −a < 0) ∧ (a < 0 → −a > 0) (4-4) ∀ a, b ∈ R : a > b → −b > −a (4-5) ∀ a ∈ R : (a2 = 0) ∨ (a2 > 0) (4-6) 1 > 0 ∀ a, b, c ∈ R : (a > b) ∧ (0 > c) → b · c > a · c Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  75. 75. Theorems from the Order AxiomsProve the following theorems (4-1) R+ is closed under addition: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a + b > 0 (4-2) R+ is closed under multiplication: ∀ a, b ∈ R : a > 0 ∧ b > 0 → a · b > 0 (4-3) ∀ a ∈ R : (a > 0 → −a < 0) ∧ (a < 0 → −a > 0) (4-4) ∀ a, b ∈ R : a > b → −b > −a (4-5) ∀ a ∈ R : (a2 = 0) ∨ (a2 > 0) (4-6) 1 > 0 ∀ a, b, c ∈ R : (a > b) ∧ (0 > c) → b · c > a · c 1 ∀ a ∈ R: a > 0 → > 0 a Mathematics 4 () Axioms on the Set of Real Numbers June 7, 2011 15 / 14
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×