<?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>Assignment 4: 620-295 Real Analysis with Applications</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">
620-295 Real Analysis with Applications<br /><br />
Assignment 4:
Due 5pm on 18 September</h2>

<p class="author">
Lecturer: Arun Ram <br />
Department of Mathematics and Statistics <br />
University of Melbourne <br />
Parkville VIC 3010 Australia <br />
aram@unimelb.edu.au <br />
<br />
</p>


<p> Due 5pm on 18 September in the appropriate assignment box on the ground floor of Richard Berry. </p>



<ol>

<li> Define the following and give an example for each:
<dl> 
<dt> (a) &nbsp;
metric space, </dt>
<dt> (b) &nbsp;
complete (for a metric space), </dt>
<dt> (c) &nbsp;
completion (of a metric space), </dt>
</dl><br />
</li>

<li>  Let 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>X</mi>
</math>
be a metric space and let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msub><mi>a</mi><mi>n</mi></msub><mo>)</mo>
</math>
be a sequence in 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>X</mi>
</math>.  Show that if 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msub><mi>a</mi><mi>n</mi></msub><mo>)</mo>
</math>
converges then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msub><mi>a</mi><mi>n</mi></msub><mo>)</mo>
</math>
is Cauchy.
<br /><br />
</li>

<li>  Let 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msub><mi>a</mi><mi>n</mi></msub><mo>)</mo>
</math>
be a sequence in 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>&Ropf;</mi><mrow><mo>&ge;</mo><mn>0</mn></mrow></msub>
</math>.  Show that if 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<munderover><mo>&sum;</mo><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow>
<mo>&infin;</mo></munderover>
</mstyle>
<mo>&vert;</mo><msub><mi>a</mi><mi>n</mi></msub><mo>&vert;</mo>
</math> converges then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true">
<munderover><mo>&sum;</mo><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow>
<mo>&infin;</mo></munderover>
</mstyle>
<msub><mi>a</mi><mi>n</mi></msub>
</math> converges.
<br /><br />
</li>

<li>  Prove that
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder><mi>lim</mi><mrow><mi>x</mi><mo>&rarr;</mo><mn>0</mn></mrow></munder>
<mstyle displaystyle="true">
<mfrac>
<mrow><mi>cos</mi><mi>x</mi> <mo>-</mo><mn>1</mn></mrow>
<mrow><mi>x</mi></mrow>
</mfrac>
</mstyle>
<mo>=</mo>
<mn>0</mn>
</math> 
and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder><mi>lim</mi><mrow><mi>x</mi><mo>&rarr;</mo><mn>0</mn></mrow></munder>
<mstyle displaystyle="true">
<mfrac>
<mrow><mi>cos</mi><mi>x</mi> <mo>-</mo><mn>1</mn></mrow>
<mrow><msup><mi>x</mi><mn>2</mn></msup></mrow>
</mfrac>
</mstyle>
<mo>=</mo>
<mo>-</mo><mfrac><mn>1</mn><mn>2</mn></mfrac>
</math>.
<br /><br />
</li>

<li> Define the following and give an example for each:
<dl> 
<dt> (a) &nbsp;
metric space, </dt>
<dt> (b) &nbsp;
limit of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi>
</math> as 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>x</mi>
</math> approaches
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>a</mi>
</math>, </dt>
<dt> (c) &nbsp;
limit of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msub><mi>x</mi><mi>n</mi></msub><mo>)</mo>
</math> as 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>n</mi><mo>&rarr;</mo><mo>&infin;</mo>
</math>, </dt>
<dt> (j) &nbsp;
continuous at 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>x</mi><mo>=</mo><mi>a</mi>
</math>, </dt>
<dt> (c) &nbsp;
continuous, </dt>
<dt> (d) &nbsp;
uniformly continuous, </dt>
<dt> (e) &nbsp;
Lipschitz, </dt>
<dt> (f) &nbsp;
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&epsiv;</mi>
</math>-ball, </dt>
</dl><br />
</li>

<li> Define the following and give an example for each:
<dl> 
<dt> (a) &nbsp;
topology, </dt>
<dt> (b) &nbsp;
topological space, </dt>
<dt> (c) &nbsp;
open set, </dt>
<dt> (d) &nbsp;
closed set, </dt>
<dt> (e) &nbsp;
interior, </dt>
<dt> (f) &nbsp;
closure, </dt>
<dt> (g) &nbsp;
interior point, </dt>
<dt> (h) &nbsp;
close point, </dt>
<dt> (i) &nbsp;
neighborhood. </dt>
</dl><br />
</li>

<li>  Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>X</mi>
</math> and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Y</mi>
</math> be metric spaces.  Define the topology on 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>X</mi>
</math> and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Y</mi>
</math>.
Define carefully what it means for
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>&colon;</mo><mi>X</mi><mo>&rarr;</mo><mi>Y</mi>
</math>
to be continuous as a function between metric spaces
and
define carefully what it means for
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>&colon;</mo><mi>X</mi><mo>&rarr;</mo><mi>Y</mi>
</math>
to be continuous as a function between topological spaces.
<br /> <br />
</li>

<li>  Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>a</mi><mo>,</mo><mi>b</mi><mo>&isin;</mo><mi>&Ropf;</mi>
</math> and let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>&colon;</mo>
<mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo><mo>&rarr;</mo><mi>&Ropf;</mi>
</math> be a function.  
Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>c</mi><mo>&isin;</mo><mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo>
</math> and carefully define
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mi>&prime;</mi><mo>(</mo><mi>c</mi><mo>)</mo>
</math>.  Prove that if
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>&colon;</mo>
<mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo><mo>&rarr;</mo><mi>&Ropf;</mi>
</math> and  
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>g</mi><mo>&colon;</mo>
<mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo><mo>&rarr;</mo><mi>&Ropf;</mi>
</math>
are functions then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><mi>f</mi><mi>g</mi><mo>)</mo><mi>&prime;</mi>
<mo>(</mo><mi>c</mi><mo>)</mo>
<mo>=</mo>
<mi>f</mi><mo>(</mo><mi>c</mi><mo>)</mo>
<mi>g</mi><mi>&prime;</mi>
<mo>(</mo><mi>c</mi><mo>)</mo>
<mo>+</mo>
<mi>f</mi><mi>&prime;</mi><mo>(</mo><mi>c</mi><mo>)</mo>
<mi>g</mi>
<mo>(</mo><mi>c</mi><mo>)</mo>
</math>,
whenever 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mi>&prime;</mi><mo>(</mo><mi>c</mi><mo>)</mo>
</math> and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>g</mi><mi>&prime;</mi><mo>(</mo><mi>c</mi><mo>)</mo>
</math> exist.
<br /><br />
</li>



</ol>



</body>
</html>
