Sets Of Numbers

The numbers used in algebra are organized into a chain of nested number systems: the natural numbers , the integers , the rational numbers , the real numbers , and the complex numbers . Each system is built by adding whatever the previous one was missing, and each contains all the ones before it.

Quick Reference

Symbol Name Definition Typical members
Natural numbers { 1 , 2 , 3 , } 1 , 7 , 250
Integers { , 2 , 1 , 0 , 1 , 2 , } 4 , 0 , 12
Rational numbers { p q   |   p , q ,   q 0 } 3 4 , 0.25 , 0. 3
Irrationals Non-repeating decimals Real numbers that are not in 2 , π , e
Real numbers All rationals together with all irrationals every point of the number line
Complex numbers { a + i b a , b } , i = 1 2 + 3 i , i , 5
Nesting Inclusion chain every natural number is complex

In mathematics we need to refer to some certain sets of numbers so often that we denote them by special symbols (in particular by , , , , and ). These double struck letters (sometimes called blackboard bold letters) are used to distinguish these specific sets (defined below) from some other sets that happen to be denoted by the the same letters, for example by R .

The most common numbers are the numbers 1, 2, 3,... which are used for counting are called natural numbers or positive integers. The set of all natural numbers is often denoted by 1

= { 1 , 2 , 3 , . . . }
  • The three dots, known as an ellipsis, signify that the pattern continues indefinitely.

The numbers 1 , 2 , 3 , . . . are called negative integers. The set of all integers (positive and negative and zero) is denoted by (standing for the German word Zahlen that means "numbers"):

= { . . . , 3 , 2 , 1 , 0 , 1 , 2 , 3 , . . . }

which can also be written as

= { 0 , ± 1 , ± 2 , ± 3 , ± 4 , . . . } .

A rational number is a number that can be written as a fraction, or quotient, of two integers. For example, 3 / 4 is a rational number. All integers are rational numbers because they can be written as a fraction with denominator 1; for example, 3 can be written as 3 / 1 . Other examples of rational numbers include numbers that have decimal representations that either terminate (for example 3.89 can be written as 389 / 100 ) or do not terminate but have repeating blocks of digits (for example 0.3333 . . . is the same as 1 / 3 ). The set of all rational numbers is denoted by

= { p q |   p , q } .

The ancient Greeks knew that the lengths of some lines in simple figures cannot be expressed as the ratio of integers. For example, from the Pythagorean theorem they knew that the diagonal of a square with sides of unit length is 2 , but 2 cannot be written in the form of p / q where p and q are integers. Another well-known example that cannot be expressed as the ratio of two integers is π = 3.141592 . . . . Such numbers are called irrational numbers. The decimal digit representation of an irrational number goes on forever and never repeats. The set
of all rational and irrational numbers is called the set of real numbers and is denoted by .

  • Note that .
Why is 2 irrational?

To prove that 2 is irrational, we can use a classic proof by contradiction.

Proof. - Assume the Opposite: Suppose 2 is rational. Then it can be expressed as a fraction p q , where p and q are integers with no common factors (i.e., the fraction is in simplest form), and q 0 .

  • Square Both Sides: Since 2 = p q , squaring both sides gives:
    2 = p 2 q 2
  • Rewrite the Equation: Multiply both sides by q 2 to eliminate the denominator:
    p 2 = 2 q 2
    This equation shows that p 2 is an even number because it is equal to 2 × q 2 .
  • Conclude p is Even: If p 2 is even, then p must also be even (because the square of an odd number is odd). Therefore, we can write p = 2 k for some integer k .
  • Substitute p = 2 k into the Equation: Replace p in the equation p 2 = 2 q 2 :
    ( 2 k ) 2 = 2 q 2 4 k 2 = 2 q 2 2 k 2 = q 2
    This equation shows that q 2 is also even, which means that q must be even as well.
  • Contradiction: If both p and q are even, then they have a common factor of 2. However, this contradicts our original assumption that p q is in simplest form with no common factors.

Conclusion: Since assuming that 2 is rational leads to a contradiction, we conclude that 2 must be irrational.

Complex Numbers

The set of all numbers of the form a + i b where a and b are real numbers and i = 1 is called the set of complex numbers and is denoted by

= { a + i b |   a , b } .
  • Every real number is also a complex number, one that happens to have b = 0 : taking a = 5 and b = 0 gives 5 + 0 i = 5 . So , and the chain of inclusions extends to .

Later, we will cover complex numbers in greater detail.

Geometric Interpretation of Real Numbers as Points on a Line

Real numbers can be visualized on a straight line called the real number line or real line. Each real number corresponds to a unique point on the line, and each point on the real line corresponds to a unique number.

The geometric representation of real numbers as points on a straight line is a familiar concept. In this representation, a specific point is designated as 0, while another point to its right is chosen to represent 1, as illustrated below. This selection establishes the scale for the line. Positive numbers lie to the right of the origin (0), while negative numbers lie to the left. The point twice the distance from 0 to 1 is labeled 2, while the point the same distance to the left of 0 is labeled 1 , and so on. This way, every real number corresponds to a unique point on the line, and conversely, every point on the line corresponds to a unique real number, called its coordinate. Because of this one-to-one correspondence, the line is often referred to as the real number line or the real line, and it's customary to use the terms "real number" and "point" interchangeably. We often say "the point x " instead of specifying "the point corresponding to the real number x ."

Real number line showing the correspondence between real numbers and points, with negative numbers to the left and positive to the right.
There is a one-to-one correspondence between real numbers and points on the real number line.

Basic Rules of Algebra

Basic properties of the fundamental operations — addition, subtraction, multiplication and division — that are often called the basic rules of algebra are summarized in the following table. These properties are true for real numbers, variables, and algebraic expressions.

Name Math Description Example
Commutative Property of Addition a + b = b + a We can add numbers in any order 2 + 3 = 3 + 2
4 + 2 x = 2 x + 4
Commutative Property of Multiplication a b = b a We can multiply in any order 2 3 = 3 2
x 4 = 4 x
Associative Property of Addition a + ( b + c ) = ( a + b ) + c We can group numbers in a sum any way we want and get the same answer. 2 + ( 3 + 5 ) = ( 2 + 3 ) + 5
x + ( 5 + 7 ) = ( x + 5 ) + 7
Associative Property of Multiplication a ( b c ) = ( a b ) c We can group numbers in a product any way we want and get the same answer. 2 ( 3 4 ) = ( 2 3 ) 4
( 4 y ) x = 4 ( y x )
Distributive Property a ( b + c ) = a b + a c
a ( b c ) = a b b c
We can distribute multiplication over all terms of the sums or differences within parentheses 2 ( 3 ± 7 ) = 2 3 ± 2 7
x ( 3 ± 5 ) = 3 x ± 5 x
Additive Identity Property a + 0 = 0 + a = a Adding zero to any number yields the same number 2 + 0 = 0 + 2 = 2
3 x + 0 = 0 + 3 x
Multiplicative Identity Property a 1 = 1 a = a Multiplying any number by 1 yields the same number 3 1 = 1 3 = 3
1 x = x
Additive Inverse Property a + ( a ) = 0 If we add a number and its opposite, we will get 0 3 + ( 3 ) = 0
2 x + ( 2 x ) = 0
Multiplicative Inverse Property a 1 a = 1 ( a 0 ) If we multiply a nonzero number and its reciprocal, we will get 1 3 1 3 = 1
( x + 1 ) 1 x + 1 = 1
( if  x 1 )

Here are some properties of real numbers:

The product of any number and 0 is 0

0 a = 0 for all  a .
Proof

We know

\begin{aligned} a=a\cdot 1&=a\cdot (1+0)\\ &=a\cdot 1 + a\cdot 0\\ & = a +a\cdot 0 \end{aligned}

Comparing a = a + a 0 and a = a + 0 , we conclude that a 0 = 0 .

  • Note that 0 has no multiplicative inverse because if 1 / 0 = b , it would imply 1 = 0 b , but 0 b = 0 1 . This demonstrates that we cannot assign a definite value to 1 / 0 . Therefore, division by zero is not a valid operation, and if a is any number, a / 0 has no meaning.
  • If a 0 , then 0 a = 0 because a 0 = 0 . (again
    a / 0 has no meaning).


Zero-Product Property

If a b = 0 , then either a = 0 or b = 0 (or both equal 0 ).

Proof

We consider two cases. If a = 0 then there is nothing more to prove. However, if a 0 , then a 1 exists and we can multiply both sides of the equation by a 1 , giving b = 0 a 1 = 0 .

Exercises

Exercise 1.

For each number below, state every one of the sets , , , that it belongs to.

(a) 7    (b) 5 8    (c) 0    (d) 2    (e) 3.75

Answer

(a) , ,   (b) ,   (c) , ,   (d) only   (e) ,

Solution

Keep the four definitions in front of you as you work:

  • = { 1 , 2 , 3 , } , the counting numbers;
  • , all integers, positive, negative and zero;
  • , all numbers that can be written as one integer divided by another;
  • , all rational numbers together with all irrational numbers.

It also helps to remember the chain recorded in this section,

,

which means that as soon as a number lands in one of these sets, it automatically lies in every set further to the right.

(a) 7 . It is not a counting number, since counting numbers start at 1 and go up, so 7 . It is a whole number with a minus sign, so it is a negative integer: 7 . By the chain, it then also lies in and . (Directly, 7 = 7 1 , a ratio of two integers.)

(b) 5 8 . This is not an integer, since 8 does not divide 5 evenly, so it is in neither nor . It is written as one integer over another, which is exactly the definition of a rational number, so 5 8 , and therefore also 5 8 .

(c) 0 . A common sticking point. Zero is not a natural number as this section defines them, because the list { 1 , 2 , 3 , } begins at 1 . But the section explicitly includes zero among the integers, so 0 , and hence 0 and 0 . (Directly, 0 = 0 1 .)

(d) 2 . The section states that 2 cannot be written as p / q with p and q integers, and gives the proof. So it is irrational: it is in none of , , . But irrational numbers are real numbers, so 2 and nothing more.

(e) 3.75 . Its decimal expansion stops, and the section says a terminating decimal is rational. Writing it out,

3.75 = 375 100 ,

a ratio of two integers. So 3.75 and 3.75 . It is not an integer, because it sits strictly between 3 and 4 .

Exercise 2.

Name the rule from the table of basic rules of algebra that justifies each statement.

(a) 7 + x = x + 7    (b) 3 ( x + 5 ) = 3 x + 15    (c) ( 2 4 ) y = 2 ( 4 y )    (d) 9 1 9 = 1    (e) x + 0 = x    (f) x 4 = 4 x

Answer

(a) Commutative property of addition   (b) Distributive property   (c) Associative property of multiplication   (d) Multiplicative inverse property   (e) Additive identity property   (f) Commutative property of multiplication

Solution

The trick is to look at what actually changed from one side of the equals sign to the other.

(a) 7 + x = x + 7 . Nothing has been grouped or expanded; the two things being added have simply swapped places. Swapping the order of a sum is the commutative property of addition, a + b = b + a , with a = 7 and b = x .

(b) 3 ( x + 5 ) = 3 x + 15 . On the left, a single multiplication acts on a bracket containing a sum; on the right, the multiplication has been carried out on each term separately. That is the distributive property, a ( b + c ) = a b + a c , with a = 3 , b = x , c = 5 . Note 3 5 = 15 , which is where the 15 comes from.

(c) ( 2 4 ) y = 2 ( 4 y ) . The same three things are multiplied in the same order on both sides; only the parentheses have moved. Re-grouping a product is the associative property of multiplication, a ( b c ) = ( a b ) c .

(d) 9 1 9 = 1 . A number is multiplied by its reciprocal and the result is 1 . That is the multiplicative inverse property, a 1 a = 1 for a 0 , with a = 9 .

(e) x + 0 = x . Zero has been added and has left the number unchanged. That is the additive identity property, a + 0 = a .

(f) x 4 = 4 x . Two factors have swapped places, so this is the commutative property of multiplication, a b = b a .

The pair to keep straight is commutative versus associative. Commutative means the items changed order; associative means the items kept their order but were grouped differently. Compare (a) and (f), where things moved past each other, with (c), where only the brackets moved.

Exercise 3.

Show that each of the following is a rational number by writing it as a ratio of two integers.

(a) 6    (b) 0.7    (c) 2.25

Answer

(a) 6 1    (b) 7 10    (c) 225 100 = 9 4

Solution

The definition to satisfy is the one given in this section: a number is rational when it can be written as p q with p and q integers. So for each number we must actually exhibit such a fraction.

(a) 6 . The section points out that every integer is rational, because it can be given a denominator of 1 :

6 = 6 1 .

Here p = 6 and q = 1 , both integers, so 6 is rational. Check: dividing 6 by 1 gives back 6 .

(b) 0.7 . This decimal terminates after one digit, and that digit sits in the tenths place. So it is seven tenths:

0.7 = 7 10 .

Both 7 and 10 are integers, so 0.7 is rational. Check: dividing 7 by 10 gives 0.7 .

(c) 2.25 . This decimal terminates after two digits, so the last digit is in the hundredths place, and we put the number over 100 :

2.25 = 225 100 .

That already answers the question, since 225 and 100 are integers. If we want it in lowest terms, divide top and bottom by 25 :

225 100 = 9 4 .

Check: 9 divided by 4 is 2.25 .

The general rule behind (b) and (c): a decimal that stops after n digits can be written over 1 followed by n zeros. One digit gives a denominator of 10 ; two digits give 100 ; three would give 1000 . This is why the section says every terminating decimal is a rational number.

Exercise 4.

Suppose ( x 4 ) ( x + 9 ) = 0 . What are the possible values of x ?

Answer

x = 4 or x = 9

Solution

The expression on the left is a product of two things: the number x 4 and the number x + 9 . We are told this product equals 0 .

The Zero-Product Property stated in this section says: if a b = 0 , then a = 0 or b = 0 (or both). Here a is x 4 and b is x + 9 , so at least one of these must be zero. That gives two possibilities, and we examine each.

Possibility 1: x 4 = 0 . Adding 4 to both sides,

x = 4.

Possibility 2: x + 9 = 0 . Subtracting 9 from both sides,

x = 9.

So the possible values are x = 4 and x = 9 .

Check both. Put x = 4 into the original product:

( 4 4 ) ( 4 + 9 ) = 0 13 = 0.

The last step uses the rule from this section that the product of any number and 0 is 0 . Now put x = 9 :

( 9 4 ) ( 9 + 9 ) = ( 13 ) 0 = 0.

Both work.

A warning about how this property is used. It only works when the product equals zero. If instead we were told ( x 4 ) ( x + 9 ) = 12 , we could not conclude that x 4 = 12 or x + 9 = 12 , because there are many pairs of numbers whose product is 12 . Zero is special: it is the only number that forces one of the factors to be it.

Exercise 5.

Which of the following have a meaning, and which do not? Give the value of the ones that do.

(a) 0 5    (b) 5 0    (c) 0 0    (d) x x 3 when x = 3

Answer

(a) Defined, equals 0   (b) No meaning   (c) No meaning   (d) No meaning

Solution

The rule from this section is short and absolute: division by zero is not a valid operation. So the only thing to look at in each part is the denominator.

(a) 0 5 . The denominator is 5 , which is not zero, so the expression is fine. Its value is 0 : as the section notes, if a 0 then 0 a = 0 , because a 0 = 0 .

(b) 5 0 . The denominator is zero, so this has no meaning. Here is the reason the section gives. If 5 0 were equal to some number b , then multiplying back would give 5 = 0 b . But 0 b = 0 for every b , so we would need 5 = 0 , which is false. No value of b can work.

(c) 0 0 . Again the denominator is zero, so again there is no meaning. The reason is different and worth understanding. If 0 0 were equal to some number b , we would need 0 = 0 b . This time the equation is true for every b — for b = 1 , for b = 7 , for b = 53 , for all of them. So instead of no candidate, we have too many, and there is no way to single out one answer. Either way, no value can be assigned.

(d) x x 3 when x = 3 . Substitute x = 3 everywhere:

3 3 3 = 3 0 .

The denominator has come out to zero, so this has no meaning. This is the case to be most careful about, because the denominator x 3 does not look like zero — it only becomes zero for one particular value of x . Whenever a letter appears in a denominator, you must ask which values of that letter would make the denominator vanish, and rule them out.

Exercise 6.

(a) Use the distributive property to work out 37 99 + 37 1 in your head.

(b) Use the distributive property in the other direction to rewrite 5 x + 5 y as a product.

Answer

(a) 3700    (b) 5 ( x + y )

Solution

The distributive property says

a ( b + c ) = a b + a c .

Since this is an equality, it may be read from left to right (expanding a bracket) or from right to left (collecting a common factor into a bracket). Part (a) uses it right to left, and part (b) uses it right to left as well — the direction that is usually the harder one to spot.

Part (a). Look at 37 99 + 37 1 . Both terms are a product with 37 in them, so this matches the right-hand side a b + a c with

a = 37 , b = 99 , c = 1.

Reading the property from right to left,

37 99 + 37 1 = 37 ( 99 + 1 ) .

Now the bracket is easy:

99 + 1 = 100 , 37 100 = 3700.

Check by the long route: 37 99 = 3663 and 37 1 = 37 , and 3663 + 37 = 3700 . The answers agree, but the first route needed no multiplication by 99 at all.

Part (b). Look at 5 x + 5 y . Again both terms contain a common factor, this time 5 . Matching to a b + a c with

a = 5 , b = x , c = y ,

and reading right to left,

5 x + 5 y = 5 ( x + y ) .

Check by expanding again: 5 ( x + y ) = 5 x + 5 y = 5 x + 5 y , which is what we started with.

The section notes that these rules hold "for real numbers, variables, and algebraic expressions", which is why the same property that handled plain numbers in part (a) also handles the letters in part (b).

Exercise 7.

The decimal expansion of 2 7 is 0.285714285714 , which never stops. Does this mean 2 7 is irrational? Explain.

Answer

No. 2 7 is rational.

Solution

Go back to the definition. This section says a number is rational when it can be written as a fraction of two integers. It does not say anything about the decimal having to stop.

The number 2 7 is already written as a fraction of two integers: p = 2 and q = 7 . So by the definition it is rational, and that settles the matter — no examination of the decimal is needed at all.

So what does the decimal tell us? Look at the digits carefully:

0. 285714 285714

The block 285714 comes round again and again. This is exactly the second case the section describes: a decimal that "does not terminate but has repeating blocks of digits", and such numbers are rational. The section's own example is 0.3333 = 1 3 , where the repeating block is just the single digit 3 .

An irrational number is different in a specific way. The section says its decimal "goes on forever and never repeats". Both conditions matter. For π = 3.141592 the digits go on forever with no block ever settling into a cycle, and that is why π is irrational.

So the summary is:

  • decimal stops — rational, for example 3.89 = 389 100 ;
  • decimal runs on but repeats a block — rational, for example 2 7 ;
  • decimal runs on and never repeats — irrational, for example π and 2 .

The mistake to avoid is treating "the decimal never ends" as though it meant irrational. It is the failure to repeat, not the failure to stop, that makes a number irrational.

Exercise 8.

Place the numbers 2 , 3 2 , 0 , 2 , π on the real number line and list them from left to right. You may use 2 1.414 and π 3.142 .

Answer

2 ,   3 2 ,   0 ,   2 ,   π

Solution

This section explains that every real number matches exactly one point on the line, that positive numbers lie to the right of 0 and negative numbers lie to the left, and that the further right a point is, the larger its number.

So the task is to compare the five numbers by size. The safest way is to convert each into decimal form, because decimals are easy to compare digit by digit.

2 = 2.000 , 3 2 = 1.500 , 0 = 0.000 , 2 1.414 , π 3.142 .

Now sort them.

The two negative numbers go on the left of 0 . Between them, 2 is further from 0 than 1.5 is, so 2 sits further to the left. This is the step where students most often go wrong: with negative numbers, the one that looks bigger is the one further left. Picture two debts — owing 2 dollars is a worse position than owing 1.50 .

Then comes 0 at the origin.

The two positive numbers go to the right of 0 , with the larger further right. Since 1.414 is less than 3.142 , the number 2 comes first and π comes last.

Left to right, the order is

2 , 3 2 , 0 , 2 , π .

On a sketch, mark 0 and 1 first to fix the scale, then place 2 a little under half way between 1 and 2 , π just past 3 , 3 2 half way between 1 and 2 , and 2 at the whole-number mark.

Note that two of these five numbers, 2 and π , are irrational. They still have their own single point on the line — the section says every real number does, rational or not.

Exercise 9.

Say whether each statement is true or false, and justify your answer.

(a)    (b)    (c)    (d) 2    (e)

Answer

(a) True   (b) False   (c) True   (d) False   (e) True

Solution

Recall from the previous section that B A means every element of B is also an element of A . To confirm such a claim we check that nothing in B escapes A ; to refute it, a single escaping element is enough.

(a) : true. The natural numbers are 1 , 2 , 3 , , and the integers are , 2 , 1 , 0 , 1 , 2 , . Every natural number appears in the integer list, since the integers include all the positive whole numbers. So nothing in escapes .

(b) : false. For this we only need one counterexample. Take 1 . It is an integer, so 1 . But the natural numbers begin at 1 and go upward, so 1 . We have found an element of that is not in , so the claim fails. (The number 0 would serve as a counterexample just as well.)

Parts (a) and (b) together make an important point: B A and A B are different statements. One can hold while the other fails. Indeed the section records the chain in one direction only,

,

and it should not be read backwards.

(c) : true. The section defines the real numbers as all rational numbers together with all irrational numbers. So every rational number is by construction a real number.

(d) 2 : false. This section proves that 2 cannot be written as p / q with p and q integers, so it fails the definition of a rational number. Note this is a statement about membership ( ), not about subsets ( ) — read the symbol carefully.

(e) : true. We could argue directly, but it is quicker to chain the results we already have. By (a), everything in is in . Every integer is rational, since n = n 1 . And by (c), every rational is real. Following an element of along this route, it ends up in . So .

Exercise 10.

A student claims that 0 0 = 1 , "because any number divided by itself is 1 ." Explain what is wrong with this reasoning.

Solution

The rule the student is quoting is a a = 1 , and it is a perfectly good rule — but only for a 0 . It comes from the multiplicative inverse property in the table of this section, which is stated as

a 1 a = 1 ( a 0 ) ,

with the condition a 0 written right into it. The student has applied the rule at the one value where it is not allowed to be applied. Whenever a rule carries a condition, the first thing to do is check the condition.

Why the condition is there is worth spelling out. Suppose, for the sake of argument, that 0 0 did equal some number b . Division and multiplication undo each other, so this would mean

0 = 0 b .

Now use the fact proved in this section, that 0 a = 0 for every a . It tells us 0 b = 0 no matter what b is. So the equation 0 = 0 b is satisfied by every number b :

  • b = 1 works, since 0 = 0 1 ;
  • b = 7 works, since 0 = 0 7 ;
  • b = 53 works too.

The student picked out 1 from this crowd, but nothing whatsoever singles 1 out. The value 7 has just as much claim. Since a symbol like 0 0 must stand for one definite number if it is to stand for anything, and here no one number can be chosen over the others, the symbol is given no meaning at all.

This is why the section says flatly that division by zero is not a valid operation and that a / 0 has no meaning for any a — the case a = 0 included.

It is worth noticing how this differs from 5 0 . There the trouble is the opposite: 5 = 0 b would require 5 = 0 , so no value of b works. One case has no candidates and the other has too many, and neither can be assigned a value.

Exercise 11.

Is the following statement always, sometimes, or never true? "The sum of two irrational numbers is irrational." Justify your answer.

Answer

Sometimes true.

Solution

The answer is sometimes. To establish that, we need one example where the sum is irrational and one where it is rational.

An example where the sum is irrational. Take 2 and 2 , both irrational by this section. Their sum is

2 + 2 = 1 2 + 1 2 = ( 1 + 1 ) 2 = 2 2 ,

using the multiplicative identity and then the distributive property from the table.

Is 2 2 irrational? Suppose it were rational. Then we could write

2 2 = p q

for some integers p and q with q 0 . Dividing both sides by 2 ,

2 = p 2 q .

But p is an integer and 2 q is an integer, and 2 q 0 . So this would make 2 a ratio of two integers, that is, rational — contradicting what this section proved. Hence 2 2 is irrational, and here the sum of two irrationals is irrational.

An example where the sum is rational. Take 2 and 2 .

First check that 2 really is irrational, since otherwise the example does not count. Suppose 2 were rational, say 2 = p q . Multiplying both sides by 1 gives 2 = p q , and p is an integer, so 2 would be rational — again a contradiction. So 2 is irrational.

Now add them. By the additive inverse property,

2 + ( 2 ) = 0 ,

and 0 = 0 1 is rational. So here the sum of two irrationals is rational.

Conclusion. Both outcomes are possible, so the statement is sometimes true.

The general lesson is that the irrational numbers, unlike the sets , , , are not tidy under addition: adding two of them can land you back inside . Never assume a property of individual numbers automatically survives an operation — test it.

Exercise 12.

Is the following statement always, sometimes, or never true? "The product of two rational numbers is rational." Justify your answer.

Answer

Always true.

Solution

The answer is always. Since the claim covers every pair of rational numbers, examples cannot settle it; we must argue from the definition.

Setting up. Let r and s be any two rational numbers. By the definition in this section, each can be written as a ratio of integers, so there are integers p , q , m , n with

r = p q , s = m n ,

and with q 0 and n 0 , since a zero denominator would have no meaning.

Multiplying. Multiplying fractions means multiplying the tops together and the bottoms together:

r s = p q m n = p m q n .

Checking this is a legitimate rational number. Two things must be confirmed.

First, the top and bottom must be integers. The number p m is a product of two integers, and multiplying two integers always gives an integer. The same applies to q n . So both p m and q n are integers.

Second, the denominator must not be zero. Here we can use the Zero-Product Property from this section. Suppose q n = 0 . The property says that then q = 0 or n = 0 . But we arranged at the start that neither q nor n is zero. So q n = 0 is impossible, and therefore q n 0 .

Conclusion. We have written r s as a ratio of two integers with non-zero denominator, so r s is rational. Since r and s were arbitrary rational numbers, this holds in every case, and the statement is always true.

A numerical illustration of the argument: with r = 3 4 and s = 2 5 ,

r s = 3 ( 2 ) 4 5 = 6 20 = 3 10 ,

which is again a ratio of two integers, as promised.

Contrast this with the previous exercise. Rational numbers stay rational when multiplied, but irrational numbers need not stay irrational when added. Whether a property survives an operation has to be checked case by case.

Exercise 13.

Suppose a and b are real numbers with ( a b ) ( a + b ) = 0 . What can you conclude about a and b ? Use your conclusion to find all real numbers a with a 2 = 25 .

Answer

Either a = b or a = b ; and a = 5 or a = 5 .

Solution

First part. The left-hand side is a product of the two numbers a b and a + b , and we are told it equals 0 . The Zero-Product Property says at least one factor must be zero, so there are two cases.

Case 1: a b = 0 . Adding b to both sides gives

a = b .

Case 2: a + b = 0 . Subtracting b from both sides gives

a = b .

So the conclusion is: a = b or a = b . In words, a and b are either the same number or opposite numbers.

Second part. We want all real a with

a 2 = 25.

Since 25 = 5 2 , we can rewrite this as

a 2 = 5 2 ,

and then subtract 5 2 from both sides to get everything on one side:

a 2 5 2 = 0.

Now recall the identity from the first section of this chapter,

( a b ) ( a + b ) = a 2 b 2 .

Reading it from right to left with b = 5 ,

a 2 5 2 = ( a 5 ) ( a + 5 ) ,

so our equation becomes

( a 5 ) ( a + 5 ) = 0.

This is exactly the situation of the first part, with b = 5 . Therefore a = 5 or a = 5 .

Check both. If a = 5 then a 2 = 25 . If a = 5 then a 2 = ( 5 ) ( 5 ) = 25 , since a negative times a negative is positive. Both work.

The point to carry away is that the second solution is easy to lose. Many students see a 2 = 25 and write only a = 5 . Moving everything to one side and using the Zero-Product Property produces both cases automatically, so nothing gets forgotten.

Exercise 14.

Using only the rules in the table of basic rules of algebra together with the fact that 0 a = 0 , prove that ( 1 ) a = a for every real number a .

Solution

First be clear about what has to be shown. The symbol a means the additive inverse of a , that is, the number which added to a gives 0 . There is only one such number for each a . So to prove ( 1 ) a = a , it is enough to show that the number ( 1 ) a has this property: that adding it to a gives 0 .

So let us compute a + ( 1 ) a , justifying every step.

Step 1. Rewrite the first a using the multiplicative identity property, a 1 = a , read from right to left:

a + ( 1 ) a = 1 a + ( 1 ) a .

This looks like it is making things worse, but it is the key move: it puts both terms into the shape "something times a ", which is what lets us use the distributive property next.

Step 2. Apply the distributive property. The table states it as a ( b + c ) = a b + a c ; combined with the commutative property of multiplication this is the same as b a + c a = ( b + c ) a . Using it with b = 1 and c = 1 :

1 a + ( 1 ) a = ( 1 + ( 1 ) ) a .

Step 3. Simplify inside the bracket using the additive inverse property, which says 1 + ( 1 ) = 0 :

( 1 + ( 1 ) ) a = 0 a .

Step 4. Use the fact proved in this section that the product of any number and 0 is 0 :

0 a = 0.

Putting the steps together. Following the chain from beginning to end,

a + ( 1 ) a = 0.

Conclusion. The number ( 1 ) a added to a gives 0 , which is exactly the defining property of the additive inverse of a . Hence

( 1 ) a = a .

A check with numbers, to see the result is sensible: with a = 7 we get ( 1 ) 7 = 7 , and indeed 7 + ( 7 ) = 0 . With a = 3 we get ( 1 ) ( 3 ) = ( 3 ) = 3 , which is the familiar rule that a negative times a negative is positive — and notice that it has now been derived rather than simply remembered.

Frequently Asked Questions

What are the main sets of numbers, and how are they related?

There are five that get their own symbol: the natural numbers = { 1 , 2 , 3 , } , the integers , which add zero and the negatives, the rational numbers , which add all quotients of integers, the real numbers , which add the irrationals, and the complex numbers , which add i = 1 . Each one contains the one before it,

,

so a statement proved for real numbers automatically holds for integers, but not the other way round.


Is every integer a rational number?

Yes. An integer n can be written as the fraction n / 1 , which is a quotient of two integers with a nonzero denominator, so it satisfies the definition of a rational number exactly. For instance 3 = 3 / 1 and 0 = 0 / 1 . The reverse fails: 1 / 2 is rational but is not an integer, which is why the inclusion goes in one direction only.


How can I tell a rational number from an irrational one?

Look at the decimal expansion. A rational number either terminates, as 3.89 = 389 / 100 does, or eventually repeats a block of digits forever, as 0.3333 = 1 / 3 does. An irrational number runs on forever without ever settling into a repeating block, as 2 = 1.41421356 and π = 3.141592 do. A rounded decimal on a calculator screen never settles the question, because the display is truncated; deciding irrationality requires a proof, not a longer readout.


Why is 3 irrational?

Suppose it were rational, so that 3 = p / q where p and q are integers with no common factor. Squaring and clearing the denominator gives

p 2 = 3 q 2 ,

so p 2 is divisible by 3 .

Why that forces p itself to be divisible by 3. This is the step that needs justification, and it is not obvious. Divide p by 3 and look at the remainder: every integer must fall into exactly one of three cases, p = 3 k , p = 3 k + 1 , or p = 3 k + 2 . Square each one:

  • p = 3 k gives p 2 = 9 k 2 = 3 ( 3 k 2 ) , remainder 0 .
  • p = 3 k + 1 gives p 2 = 9 k 2 + 6 k + 1 = 3 ( 3 k 2 + 2 k ) + 1 , remainder 1 .
  • p = 3 k + 2 gives p 2 = 9 k 2 + 12 k + 4 = 3 ( 3 k 2 + 4 k + 1 ) + 1 , remainder 1 .
A square therefore leaves a remainder of 0 or 1 on division by 3 , and it leaves 0 only in the first case. So if p 2 is divisible by 3 , the only case available is p = 3 k , which is to say p is divisible by 3 .

Finishing the argument. Write p = 3 k and substitute into p 2 = 3 q 2 :

9 k 2 = 3 q 2 , so q 2 = 3 k 2 .

Now q 2 is divisible by 3 , and by exactly the same remainder argument q is divisible by 3 as well. But then p and q share the factor 3 , contradicting the assumption that the fraction had no common factor. The assumption that 3 is rational is therefore impossible, so 3 is irrational.

A word of warning. The remainder step is where the primality of 3 is used, and the pattern fails for composite numbers. It is not true that 4 divides p whenever 4 divides p 2 : take p = 6 , so that p 2 = 36 is divisible by 4 while 6 is not. That is exactly why the same proof shows 2 and 3 are irrational but does not show 4 is, which is fortunate, since 4 = 2 .


Is m irrational for every prime m = 2 , 3 , 5 , 7 , 11 , 13 , ?

Yes, and there is a short proof that uses only prime factorization, which you have met before: every whole number bigger than 1 breaks into primes in exactly one way, as in 360 = 2 3 3 2 5 .

Counting one prime. Fix the prime m , and for a whole number n let c ( n ) be the number of times m appears in the prime factorization of n . Factoring a product means writing the two factorizations side by side, so

c ( a b ) = c ( a ) + c ( b ) , and in particular c ( n 2 ) = 2 c ( n ) .

So a perfect square always contains an even number of factors of m .

The proof. Suppose m were rational, say m = p / q for whole numbers p and q . Squaring and clearing the denominator gives

p 2 = m q 2 .

Count the factors of m on each side of this one equation:

  • Left side: c ( p 2 ) = 2 c ( p ) , an even number.
  • Right side: c ( m q 2 ) = 1 + 2 c ( q ) , an odd number, the extra 1 coming from the lone factor m out front.
The two sides are the same number, so it would have to contain both an even and an odd number of factors of m . Since the factorization of a number is unique, that is impossible. No such p and q exist, so m is irrational.

Notice where being prime was used: m contributes exactly one factor to the right-hand count, which is what makes it odd. For m = 4 the count would go up by two instead, the parity would match, and no contradiction would appear, as it should not, since 4 = 2 .


Does include zero?

It depends on the book. Some authors, especially in set theory and computer science, start the natural numbers at 0 ; others start at 1 . Neither is more correct, but mixing them causes real confusion, so every text should state its choice. In this book = { 1 , 2 , 3 , } and zero is excluded. If you need the set with zero included, write { 0 } or use 0 .


Why is division by zero not allowed?

Dividing by a means multiplying by the number 1 / a that satisfies a ( 1 / a ) = 1 . If 1 / 0 existed and equalled some number b , then 0 b would have to equal 1 . But 0 b = 0 for every b , and 0 1 . No value of b can work, so 1 / 0 , and more generally a / 0 , has no meaning. Note the contrast with 0 / a : when a 0 , that quotient is perfectly well defined and equals 0 .


What does the Zero-Product Property say, and why is it useful?

It says that if a product of two numbers is zero, then at least one of the factors must be zero: a b = 0 forces a = 0 or b = 0 . This is what makes factoring a solution method. From ( x 2 ) ( x + 5 ) = 0 you may conclude x = 2 or x = 5 , and no other values are possible. The property fails if the right side is anything other than zero, so ( x 2 ) ( x + 5 ) = 6 tells you nothing about the individual factors and the equation must first be rearranged.

Footnotes

  1. Depending on the convention and the text, the set of natural numbers may or may not include zero. In this book, whenever we refer to , we take 0 to be excluded.