<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
   "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head> 
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<title>Numbers: fun version</title>
<style type="text/css">
body {
    counter-reset: section 0;  
    text-align: justify
}

h2.title {
    text-align:center
}
p.author {
    text-align:center
}
li {
    text-indent: 0em;
}
p.indent {
    text-indent: 2em; 
}

h2.section {
    counter-reset: eqn 0 result 0 subsection 0;  
}
h2.section:before {
    content: counter(section) ". ";
    counter-increment: section 1;  /* Add 1 to section */
}
h3.subsection:before {
    content: counter(section) "." counter(subsection);
    counter-increment: subsection;  /* Add 1 to subsection */
}

div.theorem:before { 
    content: "Theorem " counter(section) "." counter(result) " "; 
    counter-increment: result 1;
    font-style: normal; 
    font-weight: bold; 
}
div.theorem{ font-style:italic }
div.proposition:before { 
    content: "Proposition " counter(section) "." counter(result) " "; 
	counter-increment: result 1;
    font-style: normal; 
    font-weight: bold; 
}
div.proposition{ font-style:italic }
div.lemma:before { 
    content: "Lemma " counter(section) "." counter(result) " "; 
    counter-increment: result;
    font-style: normal; 
    font-weight: bold; 
}
div.lemma{ font-style:italic }

table.dispeq {
   width:100%;
   }
td.eq {
   text-align:center;
     }
td.eqno {
    width: 10px;
    text-align:right;
    }
td.eqno:after { 
     content: "("counter(section)"."counter(eqn)")";
     counter-increment: eqn;
     font-style: normal; 
  }
</style>
</head>

<body>
<h2 class="title"> Numbers</h2>

<p class="author">
Arun Ram <br />
Department of Mathematics and Statistics <br />
University of Melbourne <br />
Parkville VIC 3010 Australia <br />
aram@unimelb.edu.au <br />
<br />
and <br />
<br />
Department of Mathematics <br />
University of Wisconsin, Madison <br />
Madison, WI 53706 USA <br />
ram@math.wisc.edu <br />
</p>


<p> Last updates: 13 July 2009 </p>


<h2 class="section"> Numbers </h2>


<p class="noindent"> 
At some point humankind wanted to count things and so we discovered the
<strong>positive integers</strong>,</p>

<p style="text-align: center">0, 1, 2, 3, 4, 5, 6, ...</p>

<p class="noindent"> 
GREAT for counting something,</p>

<p class="noindent"> 
BUT what if you don't have anything? ... How do we talk about nothing,
null, zilch?</p>

<p class="noindent"> 
... and so we discovered the <strong>nonnegative
integers</strong>,</p>

<p style="text-align: center">0, 1, 2, 3, 4, 5, 6, ...</p>

<p class="noindent"> 
GREAT for adding</p>

<p style="text-align: center">5 + 3 = 8,&nbsp;&nbsp; 0 + 10 = 10,&nbsp;&nbsp; 21 + 37 = 48,</p>

<p class="noindent"> 
BUT not so great for subtraction,</p>

<p style="text-align: center">5 − 3 = 2,&nbsp;&nbsp; 2 − 0 = 2,&nbsp;&nbsp; 12 − 34 =???.</p>

<p>...and so we discovered the <strong>integers</strong> ...,</p>

<p style="text-align: center">−3, −2, −1, 0, 1, 2, 3, ...</p>

<p>GREAT for adding subtracting and multiplying,</p>

<p style="text-align: center">3 · 6 = 18,&nbsp;&nbsp; −3 · 2 = −6,&nbsp;&nbsp; 0 · 7 = 0,</p>

<p>BUT not so great if you only want part of the sausage, ...and so we
discovered the rational numbers ,</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
    <mi>a</mi>
    <mi>b</mi>
  </mfrac>
</math>, where <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>a</mi>
</math> is an integer and <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>b</mi>
</math> is an integer which is not equal to 0</p>

<p>GREAT for addition, subtraction, multiplication, and division,</p>

<p>BUT not so great for finding<math
xmlns="http://www.w3.org/1998/Math/MathML">
  <msqrt>
    <mn>2</mn>
  </msqrt>
</math> =????, ... and so we discovered the <strong>real
numbers</strong></p>

<p style="text-align: center">which are all of the possible decimal
expansions.</p>

<p></p>

<h4>Examples:</h4>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&pi;</mi><mo>=</mo><mn>3.1415926...</mn><mo>,</mo></math>
</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>e</mi><mo>=</mo><mn>2.71828...</mn><mo>,</mo></math>
</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <msqrt>
    <mn>2</mn>
  </msqrt>
  <mo>=</mo>
  <mn>1.414</mn>
  <mo>&hellip;</mo>
  <mo>,</mo>
</math></p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
    <mn>1</mn>
    <mn>3</mn>
  </mfrac>
<mo>=</mo><mn>0.333...</mn><mo>,</mo></math>
</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
    <mn>1</mn>
    <mn>8</mn>
  </mfrac>
<mo>=</mo><mn>0.125</mn><mo>=</mo><mn>0.125000000000...</mn><mo>,</mo>
</math></p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mn>10</mn><mo>=</mo><mn>10.0000...</mn><mo>,</mo></math>
</p>

<p></p>

<p>GREAT for addition, subtraction, multiplication and division,</p>

<p>BUT not so great for finding<math
xmlns="http://www.w3.org/1998/Math/MathML">
  <msqrt>
    <mo>−</mo>
    <mn>9</mn>
  </msqrt>
<mo>=</mo><mi>????</mi><mo>,</mo></math>
</p>

<p>...and so we discovered the <strong>complex numbers</strong>,</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>a</mi>
  <mo>+</mo>
  <mi>b</mi>
  <mi>i</mi>
</math>, where 
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>a</mi>
</math> 
and 
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>b</mi>
</math> 
are real numbers and 
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>i</mi>
  <mo>=</mo>
  <msqrt>
    <mo>−</mo>
    <mn>1</mn>
  </msqrt>
  <mo>.</mo>
</math>
</p>

<h4>Examples of complex numbers:</h4>

<p style="text-align: center">
<span style="margin-left: auto; margin-right: auto">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mn>3</mn>
  <mo>+</mo>
  <mn>4</mn>
  <mi>i</mi>
  <mo>,</mo>
</math>
</span>
</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mn>7</mn>
  <mo>+</mo>
  <mn>9</mn>
  <mi>i</mi>
  <mo>,</mo>
</math></p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mn>3.2</mn>
  <mo>+</mo>
  <mn>6.7</mn>
  <mi>i</mi>
</math>,</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mn>5</mn>
  <mo>+</mo>
  <mn>0</mn>
  <mi>i</mi>
  <mo>=</mo>
  <mn>5</mn>
</math>,</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mn>0</mn>
  <mo>+</mo>
  <mn>10</mn>
  <mi>i</mi>
  <mo>=</mo>
  <mn>10</mn>
  <mi>i</mi>
  <mo>,</mo>
</math></p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>&pi;</mi>
  <mo>+</mo>
  <mn>0</mn>
  <mi>i</mi>
  <mo>=</mo>
  <mi>&pi;</mi>
</math>,</p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
    <mn>1</mn>
    <mn>3</mn>
  </mfrac>
  <mo>+</mo>
  <mfrac>
    <mn>2</mn>
    <mn>6</mn>
  </mfrac>
  <mi>i</mi>
  <mo>=</mo>
  <mfrac>
    <mn>1</mn>
    <mn>3</mn>
  </mfrac>
  <mo>+</mo>
  <mfrac>
    <mn>1</mn>
    <mn>3</mn>
  </mfrac>
  <mi>i</mi>
  <mo>,</mo>
</math></p>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <msqrt>
    <mn>7</mn>
  </msqrt>
  <mo>+</mo>
  <msqrt>
    <mn>2</mn>
  </msqrt>
  <mi>i</mi>
  <mo>.</mo>
</math></p>

<p>and <math xmlns="http://www.w3.org/1998/Math/MathML">
  <msup>
    <mrow>
      <mo>(</mo>
      <mn>3</mn>
      <mi>i</mi>
      <mo>)</mo>
    </mrow>
    <mn>2</mn>
  </msup>
  <mo>=</mo>
  <msup>
    <mn>3</mn>
    <mn>2</mn>
  </msup>
  <msup>
    <mi>i</mi>
    <mn>2</mn>
  </msup>
  <mo>=</mo>
  <mn>9</mn>
  <msup>
    <mi>i</mi>
    <mn>2</mn>
  </msup>
  <mo>=</mo>
  <mo>−</mo>
  <mn>9</mn>
</math>. So <math xmlns="http://www.w3.org/1998/Math/MathML">
  <msqrt>
    <mo>−</mo>
    <mn>9</mn>
  </msqrt>
  <mo>=</mo>
  <mn>3</mn>
  <mi>i</mi>
</math>.</p>

<p>GREAT! We now have</p>
<ul>

  <li>Addition</li>
</ul>

<p style="text-align: center"><math
xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mo>(</mo>
    <mn>3</mn>
    <mo>+</mo>

    <mn>4</mn>
    <mi>i</mi>
    <mo>)</mo>
  </mrow>
  <mo>+</mo>
  <mrow>
    <mo>(</mo>

    <mn>7</mn>
    <mo>+</mo>
    <mn>9</mn>
    <mi>i</mi>
    <mo>)</mo>
  </mrow>

  <mo>=</mo>
  <mn>10</mn>
  <mo>+</mo>
  <mn>13</mn>
  <mi>i</mi>
  <mo>.</mo>

</math></p>
<ul>
  <li>Subtraction</li>
</ul>

<p style="text-align: center"><math
xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mo>(</mo>
    <mn>3</mn>
    <mo>+</mo>

    <mn>4</mn>
    <mi>i</mi>
    <mo>)</mo>
  </mrow>
  <mo>+</mo>
  <mrow>
    <mo>(</mo>

    <mn>7</mn>
    <mo>+</mo>
    <mn>9</mn>
    <mi>i</mi>
    <mo>)</mo>
  </mrow>

  <mo>=</mo>
  <mn>3</mn>
  <mo>−</mo>
  <mn>7</mn>
  <mo>+</mo>
  <mn>4</mn>

  <mi>i</mi>
  <mo>−</mo>
  <mn>9</mn>
  <mi>i</mi>
  <mo>=</mo>
  <mo>−</mo>

  <mn>4</mn>
  <mo>−</mo>
  <mn>5</mn>
  <mi>i</mi>
  <mo>.</mo>
</math></p>
<ul>

  <li>Multiplication</li>
</ul>

<table border="0" style="margin-left: auto; margin-right: auto">
  <caption></caption>
  <tbody>
    <tr>
      <td>
	  <math xmlns="http://www.w3.org/1998/Math/MathML">
      <mo>(</mo><mn> 3</mn><mo> +</mo><mn> 4</mn><mi> i</mi><mo> )</mo>
	  <mo> (</mo><mn> 7</mn><mo> +</mo><mn> 9</mn><mi> i</mi><mo> )</mo></math>
	  </td>
      <td>
	  <math xmlns="http://www.w3.org/1998/Math/MathML">
        <mo>=</mo><mn> 3</mn><mo> (</mo><mn>7</mn><mo> +</mo><mn>9</mn><mi> i</mi><mo> )</mo> 
	    <mo>+</mo><mn>4</mn><mi> i</mi><mo> (</mo><mn> 7</mn><mo> +</mo><mn> 9</mn><mi> i</mi><mo> )</mo></math>
	  </td>

    </tr>
    <tr>
      <td></td>
      <td>
	  <math xmlns="http://www.w3.org/1998/Math/MathML">
          <mo>=</mo>
          <mn>21</mn>
          <mo>+</mo>

          <mn>27</mn>
          <mi>i</mi>
          <mo>+</mo>
          <mn>28</mn>
          <mi>i</mi>
          <mo>+</mo>

          <mn>36</mn>
          <msup>
            <mi>i</mi>
            <mn>2</mn>
          </msup>
        </math></td>
    </tr>

    <tr>
      <td></td>
      <td><math xmlns="http://www.w3.org/1998/Math/MathML">
          <mo>=</mo>
          <mn>21</mn>
          <mo>+</mo>
          <mn>27</mn>

          <mi>i</mi>
          <mo>+</mo>
          <mo>28</mo>
          <mi>i</mi>
          <mn>−</mn>
          <mn>36</mn>

        </math></td>
    </tr>
    <tr>
      <td></td>
      <td><math xmlns="http://www.w3.org/1998/Math/MathML">
          <mo>=</mo>
          <mo>−</mo>
          <mn>15</mn>

          <mo>+</mo>
          <mn>55</mn>
          <mi>i</mi>
          <mo>.</mo>
        </math></td>
    </tr>
  </tbody>

</table>

<p></p>

<p></p>
<ul>
  <li>Division</li>
</ul>

<table border="0" style="margin-left: auto; margin-right: auto">
  <caption></caption>
  <tbody>
    <tr>

      <td><math xmlns="http://www.w3.org/1998/Math/MathML">
          <mfrac>
            <mrow>
              <mn>3</mn>
              <mo>+</mo>
              <mn>4</mn>
              <mi>i</mi>

            </mrow>
            <mrow>
              <mn>7</mn>
              <mo>+</mo>
              <mn>9</mn>
              <mi>i</mi>
            </mrow>

          </mfrac>
        </math></td>
      <td><math xmlns="http://www.w3.org/1998/Math/MathML">
          <mo>=</mo>
          <mfrac>
            <mrow>
              <mo>(</mo>
              <mn>3</mn>

              <mo>+</mo>
              <mn>4</mn>
              <mi>i</mi>
              <mo>)</mo>
            </mrow>
            <mrow>
              <mo>(</mo>

              <mn>7</mn>
              <mo>+</mo>
              <mn>9</mn>
              <mi>i</mi>
              <mo>)</mo>
            </mrow>

          </mfrac>
          <mfrac>
            <mrow>
              <mo>(</mo>
              <mn>7</mn>
              <mo>−</mo>
              <mn>9</mn>

              <mi>i</mi>
              <mo>)</mo>
            </mrow>
            <mrow>
              <mo>(</mo>
              <mn>7</mn>
              <mo>−</mo>

              <mn>9</mn>
              <mi>i</mi>
              <mo>)</mo>
            </mrow>
          </mfrac>
        </math></td>
    </tr>

    <tr>
      <td></td>
      <td><math xmlns="http://www.w3.org/1998/Math/MathML">
          <mo>=</mo>
          <mfrac>
            <mrow>
              <mn>21</mn>
              <mo>−</mo>

              <mn>27</mn>
              <mi>i</mi>
              <mo>+</mo>
              <mn>28</mn>
              <mi>i</mi>
              <mo>+</mo>

              <mn>36</mn>
            </mrow>
            <mrow>
              <mn>49</mn>
              <mo>−</mo>
              <mn>63</mn>
              <mi>i</mi>

              <mo>+</mo>
              <mn>63</mn>
              <mi>i</mi>
              <mo>+</mo>
              <mn>81</mn>
            </mrow>

          </mfrac>
        </math></td>
    </tr>
    <tr>
      <td></td>
      <td><math xmlns="http://www.w3.org/1998/Math/MathML">
          <mo>=</mo>
          <mfrac>

            <mn>57</mn>
            <mn>130</mn>
          </mfrac>
          <mo>+</mo>
          <mfrac>
            <mn>1</mn>
            <mn>130</mn>

          </mfrac>
          <mi>i</mi>
          <mo>.</mo>
        </math></td>
    </tr>
  </tbody>
</table>
<ul>
  <li>Square roots</li>

</ul>

<p></p>
<ul>
  <li>Graphing</li>
</ul>

<p></p>
<ul>
  <li>Factoring</li>
</ul>

<p style="text-align: center">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <msup>
    <mi>x</mi>
    <mn>2</mn>
  </msup>
  <mo>+</mo>
  <mn>5</mn>
  <mo>=</mo>
  <mrow>
    <mo>(</mo>
    <mi>x</mi>
    <mo>+</mo>
    <msqrt>
      <mn>5</mn>
    </msqrt>
    <mi>i</mi>
    <mo>)</mo>
    <mrow>
      <mo>(</mo>
      <mi>x</mi>
      <mo>−</mo>
      <msqrt>
        <mn>5</mn>
      </msqrt>
      <mi>i</mi>
      <mo>)</mo>
    </mrow>
    <mo>,</mo>
  </mrow>
</math></p>

<table border="0" style="margin-left: auto; margin-right: auto">
  <caption></caption>
  <tbody>
    <tr>
      <td>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msup><mi>x</mi><mn>2</mn></msup><mo>+</mo><mi>x</mi><mo>+</mo><mn>1</mn><mo>)</mo></math>
</td>
<!--      <td>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>=</mo><mo>(</mo><mi>x</mi><mo>−</mo>
<mo>(</mo><mo>−</mo><mn>1</mn><mo>+</mo><mi>i</mi><mn>3</mn><mi>2</mi><mo>)</mo> 
<mo>)</mo>
<mo>(</mo>
<mi>x</mi><mo> −</mo><mo>(</mo><mo> −</mo><mn> 1</mn> <mo>−</mo><mi>i</mi><mn> 3</mn><mn> 2</mn><mo> )</mo>
<mo> )</mo></math>
</td>
 </tr>
    <tr>
      <td></td>
-->
      <td><math xmlns="http://www.w3.org/1998/Math/MathML">
          <mo>=</mo>
          <mrow>
            <mo>(</mo>
            <mi>x</mi>
            <mo>−</mo>
            <mrow>
              <mo>(</mo>
              <mo>−</mo>
              <mfrac>
                <mn>1</mn>
                <mn>2</mn>
              </mfrac>
              <mo>+</mo>
              <mfrac>
                <msqrt>
                  <mn>3</mn>
                </msqrt>
                <mn>2</mn>
              </mfrac>
              <mi>i</mi>
              <mo>)</mo>
            </mrow>
            <mo>)</mo>
          </mrow>
          <mrow>
            <mo>(</mo>
            <mi>x</mi>
            <mo>−</mo>
            <mrow>
              <mo>(</mo>
              <mo>−</mo>
              <mfrac>
                <mn>1</mn>
                <mn>2</mn>
              </mfrac>
              <mo>−</mo>
              <mfrac>
                <msqrt>
                  <mn>3</mn>
                </msqrt>
                <mn>2</mn>
              </mfrac>
              <mi>i</mi>
              <mo>)</mo>
            </mrow>
            <mo>)</mo>
          </mrow>
        </math></td>
    </tr>
  </tbody>
</table>

<p class="noindent">
Finally we have <strong>The Fundamental Theorem of
Algebra</strong>, which is one reason why the complex number system is
“the right” number system to use. It says that any polynomial can be
factored completely as 
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mo>(</mo>
    <mi>x</mi>
    <mo>−</mo>
    <msub>
      <mi>u</mi>
      <mn>1</mn>
    </msub>
    <mo>)</mo>
  </mrow>
  <mrow>
    <mo>(</mo>
    <mi>x</mi>
    <mo>−</mo>
    <msub>
      <mi>u</mi>
      <mn>2</mn>
    </msub>
    <mo>)</mo>
  </mrow>
  <mrow>
    <mo>(</mo>
    <mi>x</mi>
    <mo>−</mo>
    <msub>
      <mi>u</mi>
      <mn>3</mn>
    </msub>
    <mo>)</mo>
  </mrow><mo>&hellip;</mo>
  <mrow>
    <mo>(</mo>
    <mi>x</mi>
    <mo>−</mo>
    <msub>
      <mi>u</mi>
      <mi>n</mi>
    </msub>
    <mo>)</mo>
  </mrow>
</math>,
where <math xmlns="http://www.w3.org/1998/Math/MathML">
  <msub>
    <mi>u</mi>
    <mn>1</mn>
  </msub>
  <mo>,</mo>
  <msub>
    <mi>u</mi>
    <mn>2</mn>
  </msub>
  <mo>,</mo>
  <msub>
    <mi>u</mi>
    <mn>3</mn>
  </msub>
  <mo>,</mo>
  <mo>&hellip;</mo>
  <mo>,</mo>
  <msub>
    <mi>u</mi>
    <mi>n</mi>
  </msub>
</math> are some complex numbers.</p>




<h2 class="section"> References </h2>

<p>
<a name="[C08]" id="[C08]"> [C08] </a> 
<a href="http://www.math.brown.edu/faculty/braverman.html">
W. Chen</a> 
<a href="http://projecteuclid.org/DPubS?service=Repository&amp;version=1.0&amp;verb=Disseminate&amp;handle=euclid.dmj/1091737024&amp;view=body&amp;content-type=pdf_1#" title="View PDF">
<em> Fundamentals of Analysis</em></a>, 100 pp. (web edition, 2008). Download from <a href="http://rutherglen.ics.mq.edu.au/wchen/lnfafolder/lnfa.html">http://rutherglen.ics.mq.edu.au/wchen/lnfafolder/lnfa.html</a>  
</p>


</body>
</html>
