Necessary and Sufficient Conditions, Axiomatic Properties of the Real Numbers
2.3.1: + and - for real numbers
- Commutativity:
- Associativity:
- Distributivity:
- Zero Identity:
- Unity:
- Subtractivity:
( is defined as ) - Division:
( , is defined as ) In one word, 1-7 collectively say
is a field.
Which of the following conditions are necessary for the positive integer to be divisible by 6 (proofs are not necessary)?
- 3 divides
- 9 divides
- 12 divides
- 6 divides
- 2 divides
and 3 divides - 2 divides
or 3 divides
Answer
Necessary is the same as saying
is divisible by 6 a condition 1, 5, 6, 7 Strong condition (6) implies weak condition (7) Sufficient is the same as saying condition
is divisible by 6
- 3 divides
- necessary - 9 divides
- neither - 12 divides
- sufficient - sufficient - 6 divides
- necessary, sufficient - 2 divides
and 3 divides - necessary, sufficient - 2 divides
or 3 divides - necessary
Use the properties of addition and multiplication of real numbers given in Properties 2.3.1 to deduce that, for all real numbers and ,
Answer
Problem 1.
Subtracting from both sides: Commutative: Problem 2.
Subtracting : Commutative: Problem 3.
and both solve the equation so