0.1: Numbers
- Page ID
- 89698
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Before we do anything else, it is very important that we agree on the definitions and names of some important collections of numbers.
- Natural numbers — These are the “whole numbers” 1,2,3,… that we learn first at about the same time as we learn the alphabet. We will denote this collection of numbers by the symbol “\(\mathbb{N}\)”. The symbol \(\mathbb{N}\) is written in a type of bold-face font that we call “black-board bold” (and is definitely not the same symbol as \(N\)). You should become used to writing a few letters in this way since it is typically used to denote collections of important numbers. Unfortunately there is often some confusion as to whether or not zero should be included 1. In this text the natural numbers does not include zero.
Notice that the set of natural numbers is closed under addition and multiplication. This means that if you take any two natural numbers and add them you get another natural number. Similarly if you take any two natural numbers and multiply them you get another natural number. However the set is not closed under subtraction or division; we need negative numbers and fractions to make collections of numbers closed under subtraction and division.
Two important subsets of natural numbers are:
- Prime numbers — a natural number is prime when the only natural numbers that divide it exactly are 1 and itself. Equivalently it cannot be written as the product of two natural numbers neither of which are 1. Note that 1 is not a prime number 2.
- Composite numbers — a natural number is a composite number when it is not prime.
Hence the number \(7\) is prime, but \(6 = 3\times 2\) is composite.
- Integers — all positive and negative numbers together with the number zero. We denote the collection of all integers by the symbol “\(\mathbb{Z}\)”. Again, note that this is not the same symbol as “\(Z\)”, and we must write it in the same black-board bold font. The \(\mathbb{Z}\) stands for the German Zahlen meaning numbers 3. Note that \(\mathbb{Z}\) is closed under addition, subtraction and multiplication, but not division.
Two important subsets of integers are:
- Even numbers — an integer is even if it is exactly divisible by \(2\text{,}\) or equivalently if it can be written as the product of 2 and another integer. This means that \(-14, 6\) and \(0\) are all even.
- Odd numbers — an integer is odd when it is not even. Equivalently it can be written as \(2k+1\) where \(k\) is another integer. Thus \(11 = 2\times 5+1\) and \(-7 = 2\times(-4)+1\) are both odd.
- Rational numbers — this is all numbers that can be written as the ratio of two integers. That is, any rational number \(r\) can be written as \(p/q\) where \(p,q\) are integers. We denote this collection by \(\mathbb{Q}\) standing for quoziente which is Italian for quotient or ratio. Now we finally have a set of numbers which is closed under addition, subtraction, multiplication and division (of course you still need to be careful not to divide by zero).
- Real numbers — generally we think of these numbers as numbers that can be written as decimal expansions and we denote it by \(\mathbb{R}\text{.}\) It is beyond the scope of this text to go into the details of how to give a precise definition of real numbers, and the notion that a real number can be written as a decimal expansion will be sufficient.
It took mathematicians quite a long time to realise that there were numbers that could not be written as ratios of integers 4. The first numbers that were shown to be not-rational are square-roots of prime numbers, like \(\sqrt{2}\text{.}\) Other well known examples are \(\pi\) and \(e\text{.}\) Usually the fact that some numbers cannot be represented as ratios of integers is harmless because those numbers can be approximated by rational numbers to any desired precision.
The reason that we can approximate real numbers in this way is the surprising fact that between any two real numbers, one can always find a rational number. So if we are interested in a particular real number we can always find a rational number that is extremely close. Mathematicians refer to this property by saying that \(\mathbb{Q}\) is dense in \(\mathbb{R}\text{.}\)
So to summarise
This is not really a definition, but you should know these symbols
- \(\mathbb{N} = \) the natural numbers,
- \(\mathbb{Z} = \) the integers,
- \(\mathbb{Q} = \) the rationals, and
- \(\mathbb{R} = \) the reals.
More on Real Numbers
In the preceding paragraphs we have talked about the decimal expansions of real numbers and there is just one more point that we wish to touch on. The decimal expansions of rational numbers are always periodic, that is the expansion eventually starts to repeat itself. For example
\begin{align*} \frac{2}{15} &= 0.133333333\dots\\ \frac{5}{17} &= 0.\underline{ 2941176470588235}2941176470588235\underline{2941176470588235}294117647058823\dots \end{align*}
where we have underlined some of the last example to make the period clearer. On the other hand, irrational numbers, such as \(\sqrt{2}\) and \(\pi\text{,}\) have expansions that never repeat.
If we want to think of real numbers as their decimal expansions, then we need those expansions to be unique. That is, we don't want to be able to write down two different expansions, each giving the same real number. Unfortunately there are an infinite set of numbers that do not have unique expansions. Consider the number 1. We usually just write “1”, but as a decimal expansion it is
\begin{gather*} 1.00000000000\dots \end{gather*}
that is, a single 1 followed by an infinite string of 0's. Now consider the following number
\begin{gather*} 0.99999999999\dots \end{gather*}
This second decimal expansions actually represents the same number — the number \(1\text{.}\) Let's prove this. First call the real number this represents \(q\text{,}\) then
\begin{align*} q &=0.99999999999\dots \end{align*}
Let's use a little trick to get rid of the long string of trailing 9's. Consider \(10q\text{:}\)
\begin{align*} q &=0.99999999999\dots\\ 10q &=9.99999999999\dots \end{align*}
If we now subtract one from the other we get
\begin{align*} 9q &= 9.0000000000\dots \end{align*}
and so we are left with \(q=1.0000000\dots\text{.}\) So both expansions represent the same real number.
Thankfully this sort of thing only happens with rational numbers of a particular form — those whose denominators are products of 2s and 5s. For example
\begin{align*} \frac{3}{25} &= 1.200000\dots = 1.19999999\dots\\ -\frac{7}{32} &= -0.2187500000\dots = -0.2187499999\dots\\ \frac{9}{20} &= 0.45000000\dots = 0.4499999\dots \end{align*}
We can formalise this result in the following theorem (which we haven't proved in general, but it's beyond the scope of the text to do so):
Let \(x\) be a real number. Then \(x\) must fall into one of the following two categories,
- \(x\) has a unique decimal expansion, or
- \(x\) is a rational number of the form \(\frac{a}{2^k 5^\ell}\) where \(a\in \mathbb{Z}\) and \(k,l\) are non-negative integers.
In the second case, \(x\) has exactly two expansions, one that ends in an infinite string of 9's and the other ending in an infinite string of 0's.
When we do have a choice of two expansions, it is usual to avoid the one that ends in an infinite string of 9's and write the other instead (omitting the infinite trailing string of 0's).