Skip to main content
\(\newcommand{\versionNum}{$4.0$\ } \renewcommand{\tabcolsep}{2.4pt} \def\savedlnot{\lnot} \renewcommand{\arraystretch}{.63} \renewcommand{\arraystretch}{1} \renewcommand{\Naturals}{{\mathbb Z}^{\mbox{\tiny noneg}} } \renewcommand{\arraystretch}{.9} \renewcommand{\arraystretch}{.77} \newcommand{\hint}[1]{ } \newcommand{\inlinehint}[1]{ } \newcommand{\sageprompt}{ \texttt{sage$>$} } \newcommand{\tab}{} \newcommand{\blnk}{\rule{.4pt}{1.2pt}\rule{9pt}{.4pt}\rule{.4pt}{1.2pt}} \newcommand{\suchthat}{\; \;} \newcommand{\divides}{\!\mid\!} \newcommand{\tdiv}{\; \mbox{div} \;} \newcommand{\restrict}[2]{#1 \,_{\,#2}} \newcommand{\lcm}[2]{\mbox{lcm} (#1, #2)} \renewcommand{\gcd}[2]{\mbox{gcd} (#1, #2)} \newcommand{\Naturals}{{\mathbb N}} \newcommand{\Integers}{{\mathbb Z}} \newcommand{\Znoneg}{{\mathbb Z}^{\mbox{\tiny noneg}}} \newcommand{\Zplus}{{\mathbb N}} \newcommand{\Enoneg}{{\mathbb E}^{\mbox{\tiny noneg}}} \newcommand{\Qnoneg}{{\mathbb Q}^{\mbox{\tiny noneg}}} \newcommand{\Rnoneg}{{\mathbb R}^{\mbox{\tiny noneg}}} \newcommand{\Rationals}{{\mathbb Q}} \newcommand{\Reals}{{\mathbb R}} \newcommand{\Complexes}{{\mathbb C}} \newcommand{\relQ}{\mbox{\textsf Q}} \newcommand{\relR}{\mbox{\textsf R}} \newcommand{\nrelR}{\mbox{$\not${\textsf R}}} \newcommand{\relS}{\mbox{\textsf S}} \newcommand{\relA}{\mbox{\textsf A}} \newcommand{\Dom}[1]{\mbox{Dom}(#1)} \newcommand{\Cod}[1]{\mbox{Cod}(#1)} \newcommand{\Rng}[1]{\mbox{Rng}(#1)} \DeclareMathOperator{\caret}{$\scriptstyle\wedge$} \renewcommand{\arraystretch}{.77} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section1.1Basic sets

It has been said 1  that “God invented the integers, all else is the work of Man.” This is a mistranslation. The term “integers” should actually be “whole numbers.” The concepts of zero and negative values seem (to many people) to be unnatural constructs. Indeed, otherwise intelligent people are still known to rail against the concept of a negative quantity — “How can you have negative three apples?” The concept of zero is also somewhat profound.

Probably most people will agree that the natural numbers are a natural construct — they are the numbers we use to count things. Traditionally, the natural numbers are denoted \(\Naturals\).

At this point in time there seems to be no general agreement about the status of zero (\(0\)) as a natural number. Are there collections that we might possibly count that have no members? Well, yes — I'd invite you to consider the collection of gold bars that I keep in my basement…

The traditional view seems to be that \begin{equation*} \Naturals = \{1, 2, 3, 4, \ldots \} \end{equation*} i.e. that the naturals don't include 0. My personal preference would be to make the other choice (i.e. to include \(0\) in the natural numbers), but for the moment, let's be traditionalists.

Be advised that this is a choice. We are adopting a convention. If in some other course, or other mathematical setting you find that the other convention is preferred, well, it's good to learn flexibility…

Perhaps the best way of saying what a set is, is to do as we have above. List all the elements. Of course, if a set has an infinite number of things in it, this is a difficult task — so we satisfy ourselves by listing enough of the elements that the pattern becomes clear.

Taking \(\Naturals\) for granted, what is meant by the “all else” that humankind is responsible for? The basic sets of different types of “numbers” that every mathematics student should know are: \(\Naturals, \Integers, \Rationals, \Reals \; \mbox{and} \; \Complexes\). Respectively: the naturals, the integers, the rationals, the reals, and the complex numbers. The use of \(\Naturals, \Reals \; \mbox{and} \; \Complexes\) is probably clear to an English speaker. The integers are denoted with a \(\Integers\) because of the German word zählen which means “to count.” The rational numbers are probably denoted using \(\Rationals\), for “quotients.” Etymology aside, is it possible for us to provide precise descriptions of these remaining sets?

The integers (\(\Integers\)) are just the set of natural numbers together with the negatives of naturals and zero. We can use a doubly infinite list to denote this set. \begin{equation*} \Integers = \{ \ldots -3, -2, -1, 0, 1, 2, 3, \ldots \} \end{equation*}

To describe the rational numbers precisely we'll have to wait until Section 1.6. In the interim, we can use an intuitively appealing, but somewhat imprecise definition for the set of rationals. A rational number is a fraction built out of integers. This also provides us with a chance to give an example of using the main other way of describing the contents of a set — so-called set-builder notation. \begin{equation*} \Rationals = \{ \frac{a}{b} \suchthat a \in \Integers \; \mbox{and} \; b \in \Integers \; \mbox{and} \; b \neq 0 \} \end{equation*}

This is a good time to start building a “glossary” — a translation lexicon between the symbols of mathematics and plain language. In the line above we are defining the set \(\Rationals\) of rational numbers, so the first symbols that appear are “\(\Rationals =\).” It is interesting to note that the equals sign has two subtly different meanings: assignment and equality testing, in the mathematical sentence above we are making an assignment — that is, we are declaring that from now on the set \(\Rationals\) will be the set defined on the remainder of the line. 2  Let's dissect the rest of that line now. There are only 4 characters whose meaning may be in doubt, \(\{\), \(\}\), \(\in\) and \(\suchthat\). The curly braces (a.k.a. french braces) are almost universally reserved to denote sets, anything appearing between curly braces is meant to define a set. In translating from “math” to English, replace the initial brace with the phrase “the set of all.” The next arcane symbol to appear is the vertical bar. As we will see in Section 1.4.3 this symbol has (at least) two meanings — it will always be clear from context which is meant. In the sentence we are analyzing, it stands for the words “such that.” The last bit of arcana to be deciphered is the symbol \(\in\), it stands for the English word “in” or, more formally, “is an element of.”

Let's parse the entire mathematical sentence we've been discussing with an English translation in parallel.

\(\Rationals\) \(=\) \(\{\)
The rational numbers are defined to be the set of all
\(\displaystyle \frac{a}{b}\) \(\suchthat\)
fractions of the form \(a\) over \(b\) such that
\(a \in \Integers\) and \(b \in \Integers\)
\(a\) is an element of the integers and \(b\) is an element of the integers
and \(b \neq 0\) \(\}\)
and \(b\) is nonzero. (the final curly brace is silent)

It is quite apparent that the mathematical notation represents a huge improvement as regards brevity.

As mentioned previously, this definition is slightly flawed. We will have to wait 'til later to get a truly precise definition of the rationals, but we invite the reader to mull over what's wrong with this one. Hint: think about the issue of whether a fraction is in lowest terms.

Let's proceed with our menagerie of sets of numbers. The next set we'll consider is \(\Reals\), the set of real numbers. To someone who has completed Calculus, the reals are perhaps the most obvious and natural notion of what is meant by “number.” It may be surprising to learn that the actual definition of what is meant by a real number is extremely difficult. In fact, the first reasonable formulation of a precise definition of the reals came around 1858, more than 180 years after the development of the Calculus 3 . A precise definition for the set \(\Reals\) of real numbers is beyond the scope of this book, for the moment consider the following intuitive description. A real number is a number that measures some physical quantity. For example, if a circle has diameter 1 then its circumference is \(\pi\), thus \(\pi\) is a real number. The points \((0,0)\) and \((1,1)\) in the Cartesian plane have distance \(\sqrt{ (0-1)^2 + (0-1)^2} = \sqrt{2}\), thus \(\sqrt{2}\) is a real number. Any rational number is clearly a real number — slope is a physical quantity, and the line from \((0,0)\) to \((b,a)\) has slope \(a/b\). In ancient Greece, Pythagoras — who has sometimes been described as the first pure Mathematician, believed that every real quantity was in fact rational, a belief that we now know to be false. The numbers \(\pi\) and \(\sqrt{2}\) mentioned above are not rational numbers. For the moment it is useful to recall a practical method for distinguishing between rational numbers and real quantities that are not rational — consider their decimal expansions. If the reader is unfamiliar with the result to which we are alluding, we urge you to experiment. Use a calculator or (even better) a computer algebra package to find the decimal expansions of various quantities. Try \(\pi\), \(\sqrt{2}\), \(1/7\), \(2/5\), \(16/17\), \(1/2\) and a few other quantities of your own choice. Given that we have already said that the first two of these are not rational, try to determine the pattern. What is it about the decimal expansions that distinguishes rational quantities from reals that aren't rational?

Given that we can't give a precise definition of a real number at this point it is perhaps surprising that we can define the set \(\Complexes\) of complex numbers with precision (modulo the fact that we define them in terms of \(\Reals\)). \begin{equation*} \Complexes = \{ a + bi \suchthat a \in \Reals \; \mbox{and} \; b \in \Reals \; \mbox{and} \; i^2 = -1 \} \end{equation*}

Translating this bit of mathematics into English we get:

\(\Complexes\) \(=\) \(\{\)
The complex numbers are defined to be the set of all
\(a+bi\) \(\suchthat\)
expressions of the form \(a\) plus \(b\) times \(i\) such that
\(a \in \Reals\) and \(b \in \Reals\)
\(a\) is an element of the reals and \(b\) is an element of the reals
and \(i^2 = -1\) \(\}\)
and \(i\) has the property that its square is negative one.

We sometimes denote a complex number using a single variable (by convention, either late alphabet Roman letters or Greek letters. Suppose that we've defined \(z = a + bi\). The single letter \(z\) denotes the entire complex number. We can extract the individual components of this complex number by talking about the real and imaginary parts of \(z\). Specifically, \(Re(z) = a\) is called the real part of \(z\), and \(Im(z) = b\) is called the imaginary part of \(z\).

Complex numbers are added and multiplied as if they were binomials (polynomials with just two terms) where \(i\) is treated as if it were the variable — except that we use the algebraic property that \(i\)'s square is -1. For example, to add the complex numbers \(1+2i\) and \(3-6i\) we just think of the binomials \(1+2x\) and \(3-6x\). Of course we normally write a binomial with the term involving the variable coming first, but this is just a convention. The sum of those binomials would be \(4-4x\) and so the sum of the given complex numbers is \(4-4i\). This sort of operation is fairly typical and is called component-wise addition. To multiply complex numbers we have to recall how it is that we multiply binomials. This is the well-known FOIL rule (first, outer, inner, last). For example the product of \(3-2x\) and \(4+3x\) is \((3\cdot 4) + (3 \cdot 3x) + (-2x\cdot 4) + (-2x\cdot 3x)\) this expression simplifies to \(12 + x - 6x^2\). The analogous calculation with complex numbers looks just the same, until we get to the very last stage where, in simplifying, we use the fact that \(i^2=-1\). \begin{gather*} (3-2i)\cdot (4+3i)\\ = (3\cdot 4) + (3\cdot 3i) + (-2i\cdot 4) + (-2i\cdot 3i)\\ = 12 + 9i - 8i -6i^2\\ = 12 + i + 6\\ = 18 + i \end{gather*}

The real numbers have a natural ordering, and hence, so do the other sets that are contained in \(\Reals\). The complex numbers can't really be put into a well-defined order — which should be bigger, \(1\) or \(i\)? But we do have a way to, at least partially, accomplish this task. The modulus of a complex number is a real number that gives the distance from the origin (\(0+0i\)) of the complex plane, to a given complex number. We indicate the modulus using absolute value bars, and you should note that if a complex number happens to be purely real, the modulus and the usual notion of absolute value coincide. If \(z = a + bi\) is a complex number, then its modulus, \(\|a + bi \|\), is given by the formula \(\sqrt{a^2+b^2}\).

Several of the sets of numbers we've been discussing can be split up based on the so-called trichotomy property: every real number is either positive, negative or zero. In particular, \(\Integers\), \(\Rationals\) and \(\Reals\) can have modifiers stuck on so that we can discuss (for example) the negative real numbers, or the positive rational numbers or the integers that aren't negative. To do this, we put superscripts on the set symbols, either a \(+\) or a \(-\) or the word “noneg.”

So \begin{equation*} \Integers^+ \; = \; \{ x \in \Integers \suchthat x > 0 \} \end{equation*} and \begin{equation*} \Integers^- \; = \; \{ x \in \Integers \suchthat x \lt 0 \} \end{equation*} and \begin{equation*} \Znoneg \; = \; \{ x \in \Integers \suchthat x \geq 0 \}. \end{equation*}

Presumably, we could also use “nonpos” as a superscript to indicate non-positive integers, but this never seems to come up in practice. Also, you should note that \(\Integers^+\) is really the same thing as \(\Naturals\), but that \(\Znoneg\) is different because it contains \(0\).

We would be remiss in closing this section without discussing the way the sets of numbers we've discussed fit together. Simply put, each is contained in the next. \(\Naturals\) is contained in \(\Integers\), \(\Integers\) is contained in \(\Rationals\), \(\Rationals\) is contained in \(\Reals\), and \(\Reals\) is contained in \(\Complexes\). Geometrically the complex numbers are essentially a two-dimensional plane. The real numbers sit inside this plane just as the \(x\)-axis sits inside the usual Cartesian plane — in this context you may hear people talk about “the real line within the complex plane.” It is probably clear how \(\Naturals\) lies within \(\Integers\), and every integer is certainly a real number. The intermediate set \(\Rationals\) (which contains the integers, and is contained by the reals) has probably the most interesting relationship with the set that contains it. Think of the real line as being solid, like a dark pencil stroke. The rationals are like sand that has been sprinkled very evenly over that line. Every point on the line has bits of sand nearby, but not (necessarily) on top of it.

Subsection1.1.1Exercises

  1. Each of the quantities indexing the rows of the following table is in one or more of the sets which index the columns. Place a check mark in a table entry if the quantity is in the set.

    \(\Naturals\) \(\Integers\) \(\Rationals\) \(\Reals\) \(\Complexes\)
    \(17\)
    \(\pi\)
    \(22/7\)
    \(-6\)
    \(e^0\)
    \(1+i\)
    \(\sqrt{3}\)
    \(i^2\)
    \hint{Note that these sets contain one another, so if you determine that a number is a natural number it is automatically an integer and a rational number and a real number and a complex number…}

  2. Write the set \(\Integers\) of integers using a singly infinite listing. \hint{What the heck is meant by a “singly infinite listing”? To help you figure this out, note that \begin{equation*} \ldots -3, -2, -1, 0, 1, 2, 3, \ldots \end{equation*} is a doubly infinite listing.}

  3. Identify each as rational or irrational.

    1. \(5021.2121212121\ldots\)

    2. \(0.2340000000\ldots\)

    3. \(12.31331133311133331111\ldots\)

    4. \(\pi\)

    5. \(2.987654321987654321987654321\ldots\)

  4. The “see and say” sequence is produced by first writing a 1, then iterating the following procedure: look at the previous entry and say how many entries there are of each integer and write down what you just said. The first several terms of the “see and say” sequence are \(1, 11, 21, 1112, 3112, 211213, 312213, 212223, \ldots\). Comment on the rationality (or irrationality) of the number whose decimal digits are obtained by concatenating the “see and say” sequence. \begin{equation*} 0.1112111123112211213... \end{equation*} \hint{ Experiment! What would it mean for this number to be rational? If we were to run into an element of the “see and say” sequence that is its own description, then from that point onward the sequence would get stuck repeating the same thing over and over (and the number whose digits are found by concatenating the elements of the “see and say” sequence will enter into a repeating pattern.) }

  5. Give a description of the set of rational numbers whose decimal expansions terminate. (Alternatively, you may think of their decimal expansions ending in an infinitely-long string of zeros.) \hint{If a decimal expansion terminates after, say, k digits, can you figure out how to produce an integer from that number? Think about multiplying by something …}

  6. Find the first 20 decimal places of \(\pi\), \(3/7\), \(\sqrt{2}\), \(2/5\), \(16/17\), \(\sqrt{3}\), \(1/2\) and \(42/100\). Classify each of these quantity's decimal expansion as: terminating, having a repeating pattern, or showing no discernible pattern. \hint{A calculator will generally be inadequate for this problem. You should try using a CAS (Computer Algebra System). I would recommend the Sage computer algebra system because like this book it is free — you can download sage and run it on your own system or you can try it out online without installing. Check it out at www.sagemath.org. You can get sage to output \(\pi\) to high accuracy by typing pi.N(digits=21) at the sage\(>\) prompt.}

  7. Consider the process of long division. Does this algorithm give any insight as to why rational numbers have terminating or repeating decimal expansions? Explain. \hint{You really need to actually sit down and do some long division problems. When in the process do you suddenly realize that the digits are going to repeat? Must this decision point always occur? Why?}

  8. Give an argument as to why the product of two rational numbers is again a rational. \hint{Take for granted that the usual rule for multiplying two fractions is okay to use: \begin{equation*} \frac{a}{b} * \frac{c}{d} \; = \; \frac{ac}{bd}. \end{equation*} How do you know that the result is actually a rational number?}

  9. Perform the following computations with complex numbers

    1. \((4 + 3i) - (3 + 2i)\)

    2. \((1 + i) + (1 - i)\)

    3. \((1 + i) \cdot (1 - i)\)

    4. \((2 - 3i) \cdot (3 - 2i)\)

  10. The conjugate of a complex number is denoted with a superscript star, and is formed by negating the imaginary part. Thus if \(z = 3+ 4i\) then the conjugate of \(z\) is \(z^\ast = 3-4i\). Give an argument as to why the product of a complex number and its conjugate is a real quantity. (I.e. the imaginary part of \(z\cdot z^\ast\) is necessarily 0, no matter what complex number is used for \(z\).) \hint{This is really easy, but be sure to do it generically. In other words, don't just use examples — do the calculation with variables for the real and imaginary parts of the complex number. }