Regarding the set of Real Numbers:
bullet Did you notice that the Commutative and Associative Properties of Real Numbers have specifications stating "of addition" or "of multiplication"?
So what happens with the operations of "subtraction" or "division"?

 
There are difficulties with "subtraction" and "division".
pencil guy 2
Subtraction:
   5 - 2 ≠ 2 - 5   [3 ≠ -3]
Not Commutative.
 
   7 - (4 - 3) ≠ (7 - 4) - 3   [6 ≠ 0]   
Not Associative.


   
Division:
   rn no 1   [5 ≠ 1/5]
Not Commutative.
 
   rn no 2   [20 ≠ 5]
Not Associative.


bullet The
Closure Property of Real Numbers also has specifications stating "of addition" or "of multiplication". Does this mean that there are difficulties with closure of the real numbers under "subtraction" and "division"? Not quite!
Subtraction:
   9 - 4 = 5;     
17 - 20 = -3
Subtracting two real numbers (which is really adding its opposite) creates another real number. Real numbers are closed under subtraction.
  rn closed1;    
3.5 - 0.8 = 2.7

   
Division:
   20 ÷ 5 = 4;     
1.5 ÷ 3 = 0.5
The division of nearly all real values will produce another real number. BUT, because division by zero is undefined (not a real number), the real numbers are NOT closed under division.
 

rn closed yes;     

 clos3
BUT   3 ÷ 0 = undefined 
Note: Some textbooks state that " the real numbers are closed under non-zero division" which, of course, is true. This statement, however, is not equivalent to the general statement that "the real numbers are closed under division". Always read carefully!

dividerdash

If we examine some of the subsets of the Real Numbers as independent sets, we run into some interesting situations regarding subtraction and division. Let's see what does, and does NOT, work with the set of counting numbers, the set of integers, and the set of rationals:

 
The set of Counting Numbers (Natural Numbers) {1, 2, 3, 4, ... }
Commutative (subtraction)
Nope!
5 - 3 ≠ 3 - 5
Commutative (division)
Nope!
10 ÷ 2 ≠ 2 ÷ 10
Associative (subtraction)
Nope!
2 - (5 - 6) ≠ (2 - 5) - 6
Associative (division)
Nope!
6 ÷ (3 ÷ 2) ≠ (6 ÷ 3) ÷ 2
Closure (subtraction)
Nope!
4 - 7 = -3 (no negative counting numbers)
 
Closure (division)
Nope!
4 ÷ 8 = ½ (no fractions in counting numbers)



 
The set of Integers {..., -3, -2, -1, 0, 1, 2, 3, ... }
Commutative (subtraction)
Nope!
(-4) - 3 ≠ 3 - (-4)
Commutative (division)
Nope!
9 ÷ (-3) ≠ (-3) ÷ 9
Associative (subtraction)
Nope!
3 - (4 - (-5)) ≠ (3 - 4) - (-5)
Associative (division)
Nope!
-6 ÷ (3 ÷ 2) ≠ (-6 ÷ 3) ÷ 2
Closure (subtraction)
Good!
-8 - (-3) = -5
 
Closure (division)
Nope!
4 ÷ 8 = ½ (no fractions in the integers)
Also, division by zero is a problem.



 
The set of Rationals (a number that can be expressed as p/q, integers p,q, q0)
Commutative (subtraction)
Nope!
5½ - 3 ≠ 3 - 5½
Commutative (division)
Nope!
10 ÷ 2 ≠ 2 ÷ 10
Associative (subtraction)
Nope!
2½ - (5 - 6) ≠ (2½ - 5) - 6
Associative (division)
Nope!
6 ÷ (3 ÷ 2) ≠ (6 ÷ 3) ÷ 2
 
Closure (subtraction)
Good!
8/3 - 4/1 = -4/3
 
Closure (division)
Nope!
5 ÷ 0 = undefined (not a rational number)
   
Remember: 0 itself is a rational number (0 = 0/1).
So 5 ÷ 0 is a "rational being divided by a rational".
But the result violates the definition of rational form [ p/q where q ≠ 0 ].

divider

NOTE: The re-posting of materials (in part or whole) from this site to the Internet is copyright violation
and is not considered "fair use" for educators. Please read the "Terms of Use".