This page includes a copy of all course documents on this site.
Have a question? Post it to the Forum! See also recent forum posts.
Thanks to all for a great semester!
 All homework assignments are posted at Homework Assignments.
 See homework expectations and how to write proofs for guidelines on my expectations.
 See also new mathlets posted for visualizing the composition of functions here and for the definition of continuity here.
Important Links: Course Syllabus, Forum, Homework Assignments, How to Write Proofs, Written Work Expectations and Guidelines, Glossaries, How to Edit Pages, Dr Peterson
Course Description
Broadly speaking, real analysis is a rigorous, extended version of calculus. This semester, you will study numbers, functions, continuity, and differentation in a new light. We will answer such questions as:
 Where does mathematics "begin"?
 Are some infinite sets "larger" than others?
 Can a sequence of numbers be rearranged to converge to a different number?
 How many discontinuities can a function have?
 You may understand 1, 2, and 3 dimensional objects. But what about 1.5dimensional objects?
 What do voting, donuts, the streets in Manhattan, and Facebook have in common?
Answering these questions requires the rigorous, axiomatic approach to definition, theorem, and proof, which is the foundation of theoretical mathematics. Along the way, you will pick up more proofwriting skills, and also skills that enable you to better read, understand, and communicate mathematics. I will also describe how the field of analysis fits into the broader "picture" of mathematics.
Textbook
The textbook for the course is Real Mathematical Analysis by Charles Chapman Pugh. All reading and exercises refer to this text, unless otherwise stated. The course will cover most of chapters 13 in this text. The specific material covered is as stated in the course catalog:
SCOPE A one semester course providing a rigorous introduction to the calculus of a single variable. The course is designed to introduce the student to the foundations of the calculus necessary for advanced undergraduate and graduate studies in applied mathematics and engineering. Course coverage includes a treatment of the structure of the real number system, sequences, continuous functions, and differentiation.
A recommended supplemental text is Principles of Mathematical Analysis by Walter Rudin. This is a classic text upon which most other real analysis texts are based.
Course Requirements
The emphasis of this course is your ability to read, understand, and communicate mathematics, so most of the course grade will be based on homework assignments. There will also be three WPR's and two course projects.
The course will contain 1000 total points, divided as follows:
Graded Event(s)  Date (if any)  Points  Percent 

Graded Homework  250  25%  
WPR I  12Feb  100  10% 
MiniProject  13Mar  50  5% 
WPR II  14Apr  150  15% 
WPR III  2May  100  10% 
Project  15May  100  10% 
TEE  1923 May  250  25% 
Click here for my expectations on written work, including documentation, etc. Final grades will be assigned in accordance with USMA D/Math policies.
Homework
The graded homework will be the primary means of evaluating and providing feedback on your progress. I expect you to complete all of the problems listed on the syllabus, and more if necessary for understanding. I will collect the homework and make every effort to provide prompt feedback on your work. Whenever you write up a problem, always (i) rewrite the problem, in your own words, (ii) state clearly the givens in the problem, and the goal, and (iii) use formal mathematical language. See also the page on how to write proofs.
Homework will be collected about once a week. See the expectations on homework and grading.
I recommend that you work on homework in groups, and come in for AI whenever necessary. You are strongly encouraged to ask questions on the discussion board. I will post answers there.
Online Participation
Your grade will be based in part on your participation in the online wiki (as part of your homework grade). I will be able to see what contributions you have made to the site, and grade you accordingly.
WPRs & TEE
There will be three midterms and a final. Each exam will cover a single chapter (or portion thereof). Problems on exams will be similar to those on homework assignments. For each exam, the class will collaboratively develop a glossary which they can use for the exam. The final will be comprehensive.
Projects
The projects will involve researching and writing about a topic of your choosing. The projects will be posted on the course wiki, and reviewed by fellow classmates.
Online Participation
In the Web2.0 world, more and more of reading, writing, and communicating mathematics occurs online. A major component of the course will be the course wiki at http://usma387.wikidot.com, which will provide an opportunity for you (as students) to collaborate together, and for me (the instructor) to make answers to your questions visible to all.
During the first week of class, take the following steps:
 Go to the course wiki and apply for membership. You will need a Wikidot membership (please use your real name!)
 Post some information about yourself (this will not be visible to anyone outside the class).
During the semester, you will use the wiki to:
 Ask questions of your Professor and fellow students.
 Collaboratively write a glossary of definitions for use on exams.
 Post course projects.
There are substantial resources available online to help you learn the Wikidot markup, which is quite simple. You will also need to learn the basics of TeX, the standard language for typesetting in the mathematics community.
Course Policies
 My door is always open for questions, help, or other matters. Feel free to stop by anytime.
 Schedule an appointment if you want to be sure I'm in my office.
 Feedback is extremely valuable to me. Please let me know if there's anything that irks you (or that you really like). I will also solicit feedback several times during the semester. Your honesty is always appreciated.
 It is extremely important to keep up with the work in this course. Late homework will be subject to a 10% per day deduction.
 Makeups for exams and other activities must be arranged at least a week in advance.
 Document all help received on homework and projects in accordance with USMA policies.
 WPR's and the TEE will be closed book, closed notes with the exception of the online glossary. No calculators will be permitted.
See further guidelines on assigned work.
Instructor's Final Comments
Real analysis abounds with the surprises and beauty that makes mathematics so inviting. Most students find that it is not an easy course… you should expect to put a lot into this course, but I expect that you will get a lot out of it as well.
This syllabus will be filled out more as the semester progresses. Check back often for updates and extras.
I expect the reading to be done prior to coming to class, and the exercises to be started.
Lesson 1
On day 1, we will look at the "Big Picture" of mathematics, and how real analysis fits in. We'll also look at some of the surprising results in store for us this semester, and one of my favorite proofs.
Think About: What are the major themes of mathematics? major techniques?
Lesson  Date  Section  Reading  Assignments  Highlights & Extras 

1  14Jan  1.1: Preliminaries  pp. 110  Ch1: 1,3,5  my favorite proof 
Block I: Real Numbers
In the first block, we will review proof techniques and learn about how to construct the real numbers starting with the natural numbers 0,1,2,… We will also take a look at how the reals are used to construct Euclidean space.
Think About: How many numbers are there? Are there more real numbers than rational numbers? Why do you think so? What does continuity really mean? What are some realworld situations in which the notion of continuity (or discontinuity) appears?
Lesson  Date  Section  Reading  Assignments  Highlights & Extras 

2  16Jan  1.1: Preliminaries  pp. 110  Ch1: 6,7  Hilbert and mathematical rigor (Skill: proof writing) 
3  18Jan  1.2: Cuts  pp. 1017  Ch1: 9,10,11,12,14,15,17  construction of the Reals 
4  23Jan  1.2: Cuts  pp. 1721  [Turnin: 1,3,5,6,7,9!,10!]  Dedekind 
5  25Jan  1.2: Cuts  (Fun Math: geometric spaces)  
6  29Jan  1.3: Euclidean Space  pp. 2127  Ch1: 18,26 [Turnin: 11,14!,15!,18] 

7  31Jan  1.6: Continuity  pp. 3639  Ch1: 19,38  
8  4Feb  1.6: Continuity  [Turnin: these problems]  points of discontinuity  
9  6Feb  1.4: Cardinality  pp. 2832  Ch1: 25,32  Cantor & the uncountability of the Reals 
10  8Feb  Applications/Review  [Discuss: 19,38]  (Application: cake cutting) The Fair Division Calculator 

11  12Feb  WPR I  about WPR I  [Turnin: 19,38] 
Block II: Sets & Sequences (Topology)
In this block, we examine series and sequences of real numbers, and answer the question of when a limit of these numbers exists. We also look at what happens when sets are equipped with a notion of distance. Much of the required terminology comes from the area of Topology, which is essentially a mathematical study of the "closeness" of points.
Think About: What makes a sequence of points converge? Is it possible for a sequence to converge to more than one number? What if you're allowed to remove any terms you want from the sequence? What if you're allowed to rearrange the sequence? What about a series, in which you look at sums of the terms in a sequence?
Lesson  Date  Section  Reading  Assignments  Extras 

12  14Feb  2.1: Metric Spaces (sequences and subsequences) 
pp. 5154  Ch2: 26*  Exams returned and discussed sequences/series 
13  19Feb  2.1: Metric Spaces (metrics; continuity) 
pp. 5156  Ch2: 15,24,82  Miniproject assignments metric spaces 
14  21Feb  2.1: Metric Spaces (open and closed sets) skip Homeomorphism 
pp. 5864  Ch2: 3*,5*,13*  Leonhard_Euler and the Konigsberg Bridges 
15  25Feb  2.1: Metric Spaces (continuity; inheritance) 
pp. 5556,6469  Ch2: 6,17 [Turnin: these problems] 
(Fun Math: donuts & coffee cups) 
16  27Feb  2.1: Metric Spaces (product metrics; Cauchy sequences) 
pp. 7175  Ch2: 27  the taxicab & Facebook metrics 
17  29Feb  2.1: Boundedness  p. 75  Ch2: 29*,30* Paper selection for projects 
contractions & fixed points (Fun Math: The Brouwer fixed point theorem) (Skill: counterexamples) 
18  4Mar  2.2: Compactness I  pp. 76  [Turnin: these problems]  Frechet and the importance of compactness 
19  6Mar  2.2: Compactness II  pp. 7682  Weierstrass; the BolzanoWeierstrass & HeineBorel Theorems  
20  10Mar  2.5: The Cantor Set  pp. 9599  [Turnin: these problems]  Cantor sets 
21  12Mar  2.5: The Cantor Set  pp. 9599  Miniprojects due by 13Mar  fractional dimensions (Fun Math: weird spaces) 
Spring Break 
After Spring break, we will turn to the question: why is compactness SO important? We will also look at the most significant theorems which require the condition of compactness in a very fundamental way. Finally, we'll look at an alternate definition of compactness… which looks very different but turns out to be equivalent.
Lesson  Date  Section  Reading  Assignments  Extras 

22  25Mar  Review of 2.12.2 2.3: Connectedness 
pp. 8287  Bernard_Bolzano the topologist's sine curve 

23  27Mar  Applications of Compactness I  pp. 7982  (Application: optimization)  
24  31Mar  2.4: Coverings  pp. 8895  [Turnin: these problems]  spacefilling curves 
25  2Apr  Applications of Compactness II  (Application: approximations)  
26  4Apr  2.4: Coverings  (Application: sensor coverings)  
27  8Apr  Applications  [First three glossary submissions due]  (Application: voting)  
28  10Apr  Review  [Turnin: these problems as part of WPR grade]  
29  14Apr  WPR II  about WPR II  All glossary entries must be completed by 1600 on 13Apr 
Block III: Functions, Continuity, and Differentiation
In this final block, we will take a look at functions, continuity, and differentiation. Now that the concept of limit has been made rigorous, the concept of a derivative can be as well!
Think About: What conditions must you add to make a continuous function differentiable? What is "lost" (or "gained") at points where a function is not differentiable?
Lesson  Date  Section  Reading  Assignment  Highlights & Extras 

30  16Apr  3.1: Definition of the Derivative Mean Value Theorem 
pp. 139143  
31  18Apr  Course Drop  
32  22Apr  3.1: L'Hopital's Rule and Discontinuities  pp. 143146  [Turnin: these problems]  
33  24Apr  3.1: Power Series and Taylor's Theorem  pp. 149151  
34  28Apr  3.1: Power Series and Taylor's Theorem  pp. 149151  
35  30Apr  Review  
36  2May  WPR III  about WPR III  All glossary entries must be completed by evening on 1May 
Course End
The last few weeks will be spent on review and topics of your choosing. You will get the chance to research, write, and speak about a topic related to analysis.
Lesson  Date  Section  Reading  Assignments  Highlights & Extras 

37  6May  Radius of Convergence/Power Series  3.1,3.3  [Turnin: these problems as part of WPR grade]  
Projects Day (8May)  
38  9May  Project Drop/IPR's  
39  13May  Project Presentations I  
40  15May  Project Presentations II  
TEE  20 May  TEE  Comprehensive  Th319 07351005  Good luck! 
This document explains expectations for homework and other written work.
Reading
 It is an expectation that you complete all assigned reading in the course.
 You don't need to understand absolutely everything, but you must be prepared to ask questions about it.
 Quizzes may be given on the reading.
Homework
 I expect you to write out the problem to be solved for each homework problem.
 Proofs on homework should be written out in detail. (I will let you know if you're writing too much!) See the guidelines on how to write proofs.
 You may work in groups, but each person should write up their solution separately.
 Homework will be collected once a week, on the Monday or Tuesday following a weekend. The schedule may be altered before an exam.
 Include a cover sheet as with USMA policy. Handwritten acknowledgment of those who worked with you is okay.
 I may ask you to resubmit homework assignments.
 Grades will be based on both completeness and clarity of proof.
Glossaries
 Each student is required to add a minimum of two entries to each glossary.
 Entries should be in your own words and not copy/pasted from elsewhere, or typed verbatim from the text.
 Students may work together to divide terms and theorems into "Very Important" and "Somewhat Important" categories.
Exams
 Glossaries will be available for use on the inclass portion of exams. No other resources will be permitted.
 There is no need to rewrite the problem, as is expected on the homework.
 Proofs should follow a logical style, as on the homework.
 Grades will be based on both completeness and clarity of proof.
Projects
The course projects will be written for a broader audience, and be graded more closely than the homeworks. In addition, you will receive feedback from other students in the course regarding your projects. Work will be presented on the course website, as well as in class. More details will be given at a future date.
This page details my expectations for proofwriting. See also the first chapter of the course textbook (Pugh), which has several helpful hints.
Guidelines for Writing Proofs
Page 40 of the text gives an example of the proof technique that you are expected to use. My expectations for homework are as follows:
 When you begin a problem
 always write out the problem statement (in your own words).
 When you begin writing the proof
 before the proof comes, write and underline "Proof:"
 always define your variables, and state what set they are contained in (e.g. $x\in\mathbb{R}$ or $x\in A$ or something of the sort)
 begin by writing out the goal of the proof. I use "WTS:", meaning "Want to show"
 If you are breaking a problem into cases:
 write and underline "Case 1:", "Case 2:", etc.
 at the end of checking a particular case, draw a check mark $\checkmark$
 If you are using a proof by contradiction
 begin by writing "BWOC, suppose that…", where BWOC means "By way of contradiction"
 when a false statement is reached, write "This is a contradiction, therefore…" or something similar.
 At the end of the proof
 draw a small box $\blacksquare$, lightning bolt, "Q.E.D.", "HOOAH", or some symbol of your choosing to indicate the end of the proof.
Proofs by Contradiction
Proofs by contradiction can be very useful. Here is an example:
Theorem: There are an infinite number of prime numbers.
Proof:
BWOC, suppose there were only $n$ primes, call them $\{p_1,p_2,\ldots,p_n\}$. That would mean that every positive integer can be expressed as a product of elements in this set. We will establish a contradiction by finding an integer for which this is not true.
Let $q=p_1p_2\cdots p_n$, which divides every prime. However, $q+1=p_1p_2\cdots p_n+1$ does not divide any of the primes, since it has remainder 1 when divided by any of them. Therefore, $q+1$ cannot be expressed as a product of elements in the set $\{p_1,\ldots,p_n\}$, contradicting the assumption that there were only $n$ primes.
Therefore, no finite set of integers can contain all the prime numbers, and the set of prime numbers is infinite. $\blacksquare$
EpsilonDelta Proofs
These are extremely important in this course. Typically, the goal is to find $\delta$ such that if some condition involving $\delta$ is true, then some condition involving $\epsilon$ is true.
For example, to show a function $f$ is continuous at a point $x$, one must show that
(1)The proof that some function is continuous will typically go like this:
Proof:
Let $x\in\mathbb{R}$ and let $\epsilon>0$.
WTS there exists $\delta>0$ such that if $xu<\delta$ then $f(x)f(u)<\epsilon$.
Let $\delta=something$.
Then $f(x)f(u)= \quad\cdots\qquad\cdots\qquad\cdots\qquad < \epsilon$.
$\blacksquare$
Note that if you are just showing $f(x)$ is continuous on a particular domain, or at a particular point, you would replace $x\in\mathbb{R}$ with something more appropriate.
There are two pieces which must be filled in. First, you have to figure out what $something$ to use for $\delta$. This may be tough to figure out, but usually can be discovered by some scratchpad pencil work. Second, you have to figure out how to put together a string of inequalities starting at $f(x)f(u)$ and ending up at $\epsilon$. This also involves some scratchpad work, and frequently a trick or two.
Counterexamples
To show that a statement is false, it suffices to find a counterexample. This is a sort of "unproof", meaning a way to show that a statement is not absolutely true.
This page contains notation that has been defined in the course. Feel free to add new entries.
How to edit this page
To edit this page, click the button that says "edit" at the bottom. Follow the examples shown to write the entry.
 Example
 Use colons to define the term. Include spaces between the colons and the surrounding words. Use double stars around the title of the term to make it bold. Use [[$ and $]] to write mathematical terms such as $\langle A,B\rangle$.
This example is produced by typing
: **Example** : Use colons to define the term. Include spaces between the colons and the surrounding words. Use [[$ and $]] to write mathematical terms such as [[$\langle A,B\rangle$]].
See how to edit pages for more help.
Notation and Abbreviations
Proof notation
The following notation is commonly used in proofs:
 $\mathbb{N}$, $\mathbb{Z}$, $\mathbb{Q}$, and $\mathbb{R}$ for the sets of natural numbers, integers, rationals, and reals, respectively. $\mathbb{C}$ is used for complex numbers;
 $\in$, as in $x\in A$ to indicate that an element is contained in a set [you should not use a curly epsilon $\varepsilon$];
 $\Rightarrow$ meaning implies, and $\Leftarrow$ meaning only if;
 $\Leftrightarrow$ meaning if and only if or is equivalent to;
 $\{n\in\mathbb{Z}: n \text{ is even}\}$ or $\{n\in\mathbb{Z} n \text{ is even}\}$to indicate a set constructed of all elements with a given property. Here the colon $:$ is read as "such that";
 $f:A\to B$ to indicate a particular function's domain and range, read as "$f$ takes $A$ to $B$";
The following abbreviations are also commonly used:
 BWOC: by way of contradiction;
 WTS: want to show;
 QED: quad erat demonstratum or that which was to be shown;
 IFF: if and only if;
 WLOG: without loss of generality.
The following notations are less commonly used; I do not advise you to use them very often in proofs:
 $\forall$ meaning "for each" or "for all";
 $\exists$ meaning "there exists", and $\nexists$ meaning "there does not exist";
 $\therefore$ meaning "therefore";
 $\ni$ or $$ or $:$ meaning "such that" ($$ and $:$ are usually used only in set notation);
More Notation
These notations are specific to particular mathematical structures (e.g. logic, equivalence relations)
 Equivalence relations
 $\sim$ means equivalent;
 Logic
 $\wedge$ means "and", $\vee$ means "or", and $\lnot$ means "not";
 Set Theory
 $\emptyset$ represents the empty set, $A\cap B$ represents the intersection of sets, $A\cup B$ represents the union of sets; $A^c$ represents the complement of a set; $A+A'$ represents the set of all elements which can be written as the sum of an element in $A$ and an element in $A'$; $A*A'$, $\frac{1}{A}$, etc. are defined similarly.
 Cuts
 $AB$ indicates a cut.
 Inner products
 $\langle \vec x,\vec y\rangle$ and $\vec x \cdot \vec y$ both indicate the dot product or inner product of two vectors
 Euclidean space
 $(a,b)$ indicates the open interval $\{x:a<x<b\}$ of the real numbers and $[a,b]$ represents the closed interval $\{x:a\leq x\leq b\}$; $\mathbb{R}^n$ represents the set of nvectors of the form $(x_1,\ldots,x_n)$; the Cartesian product $A\times B$ of sets $A\subset\mathbb{R}$ and $B\subset\mathbb{R}$ is the set of vectors $\{(a,b):a\in A,b\in B\}$.
To edit a page, click the edit button at the bottom of the page. This will open an editor with a toolbar palette with options. When you are done, click save. If you are composing a longer document, hit save & continue frequently!
If you have questions beyond what is answered here, post a question on the discussion board.
Tips on editing pages
 You may wish to keep a window open with the Wiki Syntax description the first few times you edit a page.
 To create a link to a page, use the syntax: [[[page name]]] or [[[page name  text to display]]]. It's okay if the page doesn't exist yet… follow the link to create the page.
 Head to the Documentation pages to learn more.
 On any page, you should be able to click the + options button at the bottom of the page and view source to see examples of how certain things are done
Tips on TeX and Mathematical Notation
 What is TeX??
 $\TeX$ (pronounced "tech"), and $\LaTeX$ (pronounced "laytech"), are typesetting systems which are especially suited to mathematical language. They require memorizing (or looking up) "commands" for creating certain kinds of characters, but the output is much better than Equation Editor!
Examples
$\TeX$ is fairly intuitive, and using it requires you to know a few basic commands. Here are some examples of how it's done. In general you write out [[$whatever$]], where "whatever" is the formula you wish to put on the page.
Type  Result  Explanation 

[[$f(x)$]]  $f(x)$  
[[$\sum_n a_n x^n$]]  $\sum_n a_n x^n$  Use an underscore _ for subscript and a caret ^ for superscript. 
for all [[$x\in\mathbb{Z}$]]  for all $x\in\mathbb{Z}$  Use \in for $\in$, and use \mathbb for the "blackboard bold" font. 
[[$\langle \vec{x},\vec{y}\rangle$]]  $\langle \vec{x},\vec{y}\rangle$  The \vec{x} command places a vector over the character x 
[[$\lim_{h\to 0} \frac{f(x+h)f(x)}{h}$]]  $\lim_{h\to 0} \frac{f(x+h)f(x)}{h}$  The \frac{num}{denom} produces a fraction $\frac{num}{denom}$. An arrow $\to$ is produced using \to. For the left arrow $\leftarrow$, use \leftarrow. 
[[$\{a\in\mathbb{Q}:a^2\leq 2\}$]]  $\{a\in\mathbb{Q}:a^2\leq 2\}$  Braces are produced in TeX by preceding them with a backslash: \{ and \} 
More symbols
The following table shows more examples of commands which may be useful and their output.
Command  Result  Command  Result  Command  Result  Command  Result 

\mathbb{Z}  $\mathbb{Z}$  \mathbb{Q}  $\mathbb{Q}$  \mathbb{N}  $\mathbb{N}$  \mathbb{R}  $\mathbb{R}$ 
\vec{x}  $\vec{x}$  \mathbf{x}  $\mathbf{x}$  \mathsf{x}  $\mathsf{x}$  \mathcal{X}  $\mathcal{X}$ 
x_n  $x_n$  x^n  $x^n$  \frac{x}{y}  $\frac{x}{y}$  \binom{x}{y}  $\binom{x}{y}$ 
\sqrt{x}  $\sqrt{x}$  \sqrt[3]{x}  $\sqrt[3]{x}$  \sqrt[n]{x}  $\sqrt[n]{x}$  
\in  $\in$  \forall  $\forall$  \exists  $\exists$  \nexists  $\nexists$ 
\cup  $\cup$  \cap  $\cap$  \subset  $\subset$  \supset  $\supset$ 
\to  $\to$  \leftarrow  $\leftarrow$  \Rightarrow  $\Rightarrow$  \Leftarrow  $\Leftarrow$ 
\longrightarrow  $\longrightarrow$  \longleftarrow  $\longleftarrow$  \Leftrightarrow  $\Leftrightarrow$  \Longleftrightarrow  $\Longleftrightarrow$ 
\neq  $\neq$  \geq  $\geq$  \leq  $\leq$  \approx  $\approx$ 
\langle  $\langle$  \rangle  $\rangle$  \vec{x}  $\vec{x}$   \vec{x}   $ \vec{x} $ 
\{a\}  $\{a\}$  a\cdot b  $a\cdot b$  (x_1,x_2,\ldots,x_n)  $(x_1,x_2,\ldots,x_n)$  \cdots  $\cdots$ 
\infty  $\infty$  \overset{\circ}{S}  $\overset{\circ}{S}$  \overline{S}  $\overline{S}$ 
For more commands, see below for helpful webpages on $\TeX$.