<?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>Sheet1</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"> Sheet 1</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: 25 July 2009 </p>


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

<ol>
<li> Define the following sets and give examples of elements of each:
<dl> 
<dt> (a) &nbsp;
the set of positive integers, </dt>
<dt> (b) &nbsp;
the set of nonnegative integers,</dt>
<dt> (c) &nbsp;
the set of integers, </dt>
<dt> (d) &nbsp;
the set of rational numbers,</dt> 
<dt> (e) &nbsp;
the set of real numbers, </dt>
<dt> (f) &nbsp;
the set of complex numbers, </dt>
<dt> (g) &nbsp;
the set of algebraic numbers. </dt>
</dl><br />
</li>

<li>  Let 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mo>,</mo>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
<mo>,</mo>
<mfrac><mi>e</mi><mi>f</mi></mfrac>
</mstyle>
<mo>&isin;</mo><mi>&Qopf;</mi>
</math>.  
<dl>
<dt> (a) &nbsp;
Define 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mo>+</mo>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
</mstyle></math>
and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
</mstyle>
</math>.
</dt>
<dt> (b) &nbsp;
Show that
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mo>+</mo>
<mo>(</mo><mrow>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
<mo>+</mo>
<mfrac><mi>e</mi><mi>f</mi></mfrac>
</mrow><mo>)</mo>
<mo>=</mo>
<mo>(</mo><mrow>
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mo>+</mo>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
</mrow><mo>)</mo>
<mo>+</mo>
<mfrac><mi>e</mi><mi>f</mi></mfrac>
</mstyle></math>.
</dt>
<dt> (c) &nbsp;
Show that if
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mo>+</mo>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
<mo>=</mo>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
</mstyle>
</math>
then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mo>=</mo>
<mfrac><mn>0</mn><mn>1</mn></mfrac>
</mstyle></math>.
</dt>
<dt> (d) &nbsp;
Show that if
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>a</mi><mi>b</mi></mfrac>
<mo>+</mo>
<mfrac><mi>c</mi><mi>d</mi></mfrac>
<mo>=</mo>
<mfrac><mn>0</mn><mn>7</mn></mfrac>
</mstyle>
</math>
then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mi>c</mi><mi>d</mi></mfrac>
<mo>=</mo>
<mfrac><mi>-a</mi><mi>b</mi></mfrac>
</mstyle></math>.
</dt>
</dl><br />
</li>

<li>  Compute the decimal expansion of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mn>3651</mn><mn>342</mn></mfrac>
</mstyle></math>.
<br /><br />
</li>

<li> State and prove the Pythagorean Theorem.<br /><br /></li>

<li> Show that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msqrt><mn>2</mn></msqrt><mo>&notin;</mo><mi>&Qopf;</mi>
</math>.<br /><br />
</li>

<li> Graph
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>&Zopf;</mi><mrow><mo>&gt;</mo><mn>0</mn></mrow></msub>
<mo>,</mo>
<msub><mi>&Zopf;</mi><mrow><mo>&ge;</mo><mn>0</mn></mrow></msub>
<mo>,</mo>
<mi>&Qopf;</mi>
<mo>,</mo>
<mi>&Ropf;</mi>
</math>, and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mover><mi>&Qopf;</mi><mo>&OverBar;</mo></mover>
</math>, as subsets of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Copf;</mi>
</math>.<br /><br /></li>

<li> State the fundamental theorem of algebra.<br /><br /></li>

<li> Compute and graph the following:
<dl>
<dt> (a) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mrow><mn>-15</mn><mo>+</mo><mi>i</mi></mrow>
<mrow><mn>4</mn><mo>+</mo><mn>2</mn><mi>i</mi></mrow>
</mfrac></mstyle></math>,</dt>
<dt> (b) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup>
<mrow><mo>(</mo><mn>3</mn><mo>-</mo><mn>2</mn><mi>i</mi><mo>)</mo></mrow>
<mn>3</mn></msup>
</math>,
</dt>
<dt> (c) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msqrt><mrow><mn>2</mn><mi>i</mi></mrow></msqrt></math>,
</dt>
<dt> (d) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup>
<mrow><mo>(</mo><msup><mn>27</mn><mn>1/3</mn></msup><mo>)</mo></mrow>
<mn>4</mn></msup></math>,
</dt>
<dt> (e) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup>
<mn>27</mn><mrow><mo>(</mo><mn>4</mn><mo>+</mo><mn>1/3</mn><mo>)</mo></mrow>
</msup></math>.
</dt>
</dl><br />
</li>

<li> Compute and graph the following:
<dl>
<dt> (a) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup>
<mrow> <mo>(</mo>
<mrow> 
<mstyle scriptlevel="-1">
<mfrac>
<mrow> <mn>-1</mn><mo>+</mo><mi>i</mi><msqrt><mn>3</mn></msqrt></mrow>
<mn>2</mn>
</mfrac>
</mstyle>
</mrow>
<mo>)</mo>
</mrow><mn>3</mn></msup>
</math>,
</dt>
<dt> (b) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup>
<mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>i</mi><mo>)</mo></mrow>
<mi>n</mi></msup>
<mo>+</mo>
<msup>
<mrow><mo>(</mo><mn>1</mn><mo>-</mo><mi>i</mi><mo>)</mo></mrow>
<mi>n</mi></msup>
</math>, for
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>n</mi><mo>&isin;</mo>
<msub><mi>&Zopf;</mi>
<mrow><mo>&ge;</mo><mn>0</mn></mrow>
</msub></math>.
</dt>
</dl><br />
</li>

<li> Let 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>z</mi><mo>=</mo><mi>x</mi><mo>+</mo><mi>i</mi><mi>y</mi>
</math>
with 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>x</mi><mo>,</mo><mi>y</mi><mo>&isin;</mo><mi>&Ropf;</mi>
</math>.
Compute and graph the following:
<dl>
<dt> (a) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac><mn>1</mn><mi>z</mi></mfrac>
</mstyle></math>,
</dt>
<dt> (b) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup><mi>z</mi><mn>4</mn></msup>
</math>,
</dt>
<dt> (c) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<mo>&vert;</mo>
<mrow> 
<mfrac>
<mrow> <mo>(</mo><mn>3</mn><mo>+</mo><mn>4</mn><mi>i</mi><mo>)</mo>
<mo>(</mo><mn>-1</mn><mo>+</mo><mn>2</mn><mi>i</mi><mo>)</mo>
</mrow>
<mrow> <mo>(</mo><mn>-1</mn><mo>-</mo><mi>i</mi><mo>)</mo>
<mo>(</mo><mn>3</mn><mo>-</mo><mi>i</mi><mo>)</mo>
</mrow>
</mfrac>
</mrow>
<mo>&vert;</mo>
</mstyle>
</math>.
</dt></dl>
</li>

<li> Show that the conjugate of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<mfrac>
<mi>z</mi>
<mrow> <msup><mi>z</mi><mn>2</mn></msup><mo>+</mo><mn>1</mn></mrow>
</mfrac>
</mstyle>
</math>
is equal to
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<mfrac>
<mrow><mover><mi>z</mi><mo>&OverBar;</mo></mover></mrow>
<mrow> <msup><mover><mi>z</mi><mi>&OverBar;</mi></mover><mn>2</mn></msup><mo>+</mo><mn>1</mn></mrow>
</mfrac>
</mstyle>
</math>.<br /><br />
</li>






<li> Define the following and give examples:
<dl> 
<dt> (a) &nbsp; set,</dt>
<dt> (b) &nbsp; subset,</dt>
<dt> (c) &nbsp; equal sets,</dt>
<dt> (d) &nbsp; union,</dt>
<dt> (e) &nbsp; intersection,</dt>
<dt> (f) &nbsp; product of sets,</dt>
<dt> (g) &nbsp; emptyset,</dt>
<dt> (h) &nbsp; function, </dt>
<dt> (i) &nbsp; well defined function,</dt>
<dt> (j) &nbsp; equal functions,</dt>
<dt> (k) &nbsp; injective,</dt>
<dt> (l) &nbsp; surjective,</dt>
<dt> (m) &nbsp; bijective.</dt>
</dl><br />
</li>

<li> Explain why
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msqrt><mi>x</mi></msqrt>
</math>
is not a function.<br /><br /></li>

<li>Define the following:
<dl>
<dt> (a) &nbsp;
composition of functions,
</dt>
<dt> (b) &nbsp;
identity map on 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math>,
</dt>
<dt> (c) &nbsp;
inverse function, </dt>
<dt> (d) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msqrt><mi>x</mi></msqrt>
</math>,
</dt>
<dt> (e) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup><mi>x</mi><mn>1/7</mn></msup>
</math>,
</dt>
<dt> (f) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>log</mi><mo>(</mo><mi>x</mi><mo>)</mo>
</math>,
</dt>
<dt> (g) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup><mi>sin</mi><mn>-1</mn></msup><mi>x</mi>
</math>,
</dt>
<dt> (h) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup><mi>tan</mi><mn>-1</mn></msup><mi>x</mi>
</math>,
</dt>
<dt> (i) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup><mi>cosh</mi><mn>-1</mn></msup><mi>x</mi>
</math>,
</dt>
</dl><br />
</li>



<li> Define the following and give examples:
<dl> 
<dt> (a) &nbsp;
monoid without identity,</dt>
<dt> (b) &nbsp;
monoid,</dt>
<dt> (c) &nbsp;
group,</dt>
<dt> (d) &nbsp;
commutative monoid,</dt>
<dt> (e) &nbsp;
abelian group,</dt>
<dt> (f) &nbsp;
ring,</dt>
<dt> (g) &nbsp;
commutative ring,</dt>
<dt> (h) &nbsp;
field,</dt>
<dt> (i) &nbsp;
division ring.</dt>
</dl><br />
</li>

<li> Define the following and give examples:
<dl> 
<dt> (a) &nbsp;
operation,</dt>
<dt> (b) &nbsp;
commutative,</dt>
<dt> (c) &nbsp;
associative.</dt>
</dl><br />
</li>

<li> Give an example of an operation that is not commutative and not associative.<br /><br /></li>

<li> Give an example of an operation that is associative but not commutative.<br /><br /></li>

<li> Define the following sets and give examples of elements of each:
<dl>
<dt> (a) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Qopf;</mi><mo>[</mo><mi>x</mi><mo>]</mo>
</math>,
</dt>
<dt> (b) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Qopf;</mi><mo>[</mo><mo>[</mo><mi>x</mi><mo>]</mo><mo>]</mo>
</math>,
</dt>
<dt> (c) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Qopf;</mi><mo>(</mo><mi>x</mi><mo>)</mo>
</math>,
</dt>
<dt> (d) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Qopf;</mi><mo>(</mo><mo>(</mo><mi>x</mi><mo>)</mo><mo>)</mo>
</math>.
</dt>
</dl><br />
</li>

<li> Let 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>D</mi><mo>&colon;</mo>
<mi>&Qopf;</mi><mo>[</mo><mi>x</mi><mo>]</mo>
<mo>&longrightarrow;</mo>
<mi>&Qopf;</mi><mo>[</mo><mi>x</mi><mo>]</mo>
</math>
be a function such that
<dl>
<dt> 
(D1) If 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>,</mo><mi>g</mi><mo>&isin;</mo>
<mi>&Qopf;</mi><mo>[</mo><mi>x</mi><mo>]</mo>
</math>
then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>D</mi><mo>(</mo><mi>f</mi><mo>+</mo><mi>g</mi><mo>)</mo>
<mo>=</mo>
<mi>D</mi><mo>(</mo><mi>f</mi><mo>)</mo>
<mo>+</mo>
<mi>D</mi><mo>(</mo><mi>g</mi><mo>)</mo>
</math>,
</dt>
<dt> (D2)
If 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>c</mi><mo>&isin;</mo><mi>&Qopf;</mi>
</math>
and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>&isin;</mo>
<mi>&Qopf;</mi><mo>[</mo><mi>x</mi><mo>]</mo>
</math>
then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>D</mi><mo>(</mo><mi>c</mi><mi>f</mi><mo>)</mo>
<mo>=</mo>
<mi>c</mi><mi>D</mi><mo>(</mo><mi>f</mi><mo>)</mo>
</math>,
</dt>
<dt> (D3)
If 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>,</mo><mi>g</mi><mi>&isin;</mi>
<mi>&Qopf;</mi><mo>[</mo><mi>x</mi><mo>]</mo>
</math>
then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>D</mi><mo>(</mo><mi>f</mi><mi>g</mi><mo>)</mo>
<mo>=</mo>
<mi>f</mi><mi>D</mi><mo>(</mo><mi>g</mi><mo>)</mo>
<mo>+</mo>
<mi>D</mi><mo>(</mo><mi>f</mi><mo>)</mo><mi>g</mi>
</math>
and
</dt>
<dt> (D4)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>D</mi><mo>(</mo><mi>x</mi><mo>)</mo>
<mo>=</mo><mn>1</mn>
</math>.
</dt>
</dl>

<dl>
<dt> (a) &nbsp; 
Compute
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>D</mi><mo>(</mo><msup><mi>x</mi><mi>n</mi></msup><mo>)</mo>
</math>,
for 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>n</mi><mo>&isin;</mo><msub><mi>&Zopf;</mi>
<mrow><mo>&ge;</mo><mn>0</mn></mrow></msub>
</math>.
</dt>
<dt> (b) &nbsp; Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>=</mo>
<msub><mi>c</mi><mn>0</mn></msub>
<mo>+</mo>
<msub><mi>c</mi><mn>1</mn></msub>
<mo>+</mo>
<msub><mi>c</mi><mn>2</mn></msub>
<mo>+</mo>
<msub><mi>c</mi><mn>3</mn></msub>
<mo>+</mo>
<msub><mi>c</mi><mn>4</mn></msub>
<mo>+</mo>
<mo>&hellip;</mo>
</math>. &nbsp; Show that
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>c</mi><mi>k</mi></msub>
<mo>=</mo>
<mstyle scriptlevel="-1">
<mfrac> <mn>1</mn><mrow><mi>k</mi><mo>!</mo></mrow></mfrac>
</mstyle>
<mo>(</mo>
<mrow><msup><mi>D</mi><mi>k</mi></msup><mi>f</mi></mrow>
<mo>)</mo>
<msub>
<mo>&vert;</mo><mrow><mi>x</mi><mo>=</mo><mn>0</mn></mrow>
</msub>
</math>.
</dt>
</dl>
</li>

<li> Write the following as elements of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Qopf;</mi><mo>[</mo><mi>x</mi><mo>]</mo>
</math>:
<dl>
<dt> (a)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac>
<mrow> <mn>1</mn><mo>-</mo><msup><mi>x</mi><mi>n</mi></msup></mrow>
<mrow> <mn>1</mn><mo>-</mo><mi>x</mi></mrow>
</mfrac>
</mstyle></math>,
</dt>
<dt> (b)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup><mi>e</mi><mi>x</mi></msup>
</math>
</dt>
<dt> (c)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>sin</mi><mi>x</mi>
</math>
</dt>
<dt> (d)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>sin</mi><mo>(</mo><mn>1</mn><mo>+</mo><mi>x</mi><mo>)</mo>
</math>,
</dt>
<dt> (e)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>cos</mi><mi>x</mi>
</math>
</dt>
<dt> (f)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle scriptlevel="-1">
<mfrac>
<mn>1</mn>
<mrow> <mn>1</mn><mo>-</mo><mi>x</mi></mrow>
</mfrac>
</mstyle></math>,
</dt>
<dt> (g)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup>
<mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>x</mi><mo>)</mo></mrow>
<mn>7</mn></msup>
</math>,
</dt>
<dt> (h)
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msup>
<mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>x</mi><mo>)</mo></mrow>
<mn>1/7</mn></msup>
</math>.
</dt>
</dl>
</li>

</ol>






</body>
</html>
