Math 551 Elementary Topology (Fall 2010)
-
Lectures
Lectures are by
Jeff Viaclovsky on Tuesdays and Thursdays
at 1:00-2:15 PM in Van Vleck B119. I will have office hours on Tuesdays
and Thursdays in Van Vleck 803 from 16:30 - 17:30 PM.
-
Textbook
Topology (2nd Edition) by James Munkres.
-
Graders
The grader is Joanna Nelson. Email: nelson "at" math.wisc.edu.
Office: 822 Van Vleck. Phone: 262-0537.
-
Mailing List
The class mailing list is math551-1-f10 "at" lists.wisc.edu.
-
Examinations and Homework
There will be several homework assignments, 3 in class
exams, and no final. The final grade will be roughly 25% for each exam and 25%
for homework.
The in-class exams are scheduled for October 7 and November 11,
and December 14.
Homework is due at the beginning of class on the
due date. No late homework will be accepted, unless you have
a note from the dean.
- HW #1: Due Thursday, Sep. 16. 1: 1, 10; 2: 1, 2, 4; 3: 3, 4.
Honors students: 1: 2, 2: 5.
- HW #2: Due Friday, Sep. 24. 6: 2, 3, 5, 6; 7: 1, 3, 4.
Honors students: 6:7; 7: 5.
- HW #3: Due Friday, Oct 1. 13: 1, 3, 4, 5. Honors students: 13: 7.
- HW #4: Due Friday, Oct 8. 16: 1, 3, 4, 6. Honors students: 9.
- HW #5: Due Friday, Oct 15. 17: 6, 8 (a) and (b), 9, 11, 12, 13.
Honors students: 21.
- HW #6: Due Friday, Oct 22. 18: 3, 4, 5, 6, 10, 11, 12;
Honors students: 17: 8 (c).
- HW #7: Due Friday, Oct 29. 23: 5,9; 24: 1, 2, 3.
- HW #8: Due Friday, Nov 5. 26: 3, 5, 6, 7, 8.
- HW #9: Due Friday, Dec 3. 21: 2, 6; 26: 4, 12; 27: 2, 4, 6.
Honors students: directly prove 27:6(e) without using Theorem 27.7.
-
Brief lecture outline
- Lecture 1: Thursday, September 2
- Syllabus and introduction.
- Lecture 2: Tuesday, September 7
- Munkres 1-1: Elementary set theory and logic.
- 1-2: Rule of assignments, functions, domain and range.
- Lecture 3: Thursday, September 9
- 1-2: Injective, surjective, bijective functions.
- 1-2: Inverse images of sets in range under functions.
- 1-3: Equivalence relations.
- Lecture 4: Tuesday, September 14
- 1-3: Order relations.
- 1-3: Least upper bound (supremum). Greatest lower bound (infimum).
- 1-4: Induction.
- 1-5: Finite and countable Cartesian products.
- Lecture 5: Thursday, September 16
- 1-6: Finite sets.
- Proof that cardinality of a finite set is well-defined.
- Lecture 6: Tuesday, September 21
- 1-7: Infinite sets, countably infinite sets.
- Countable unions of countable are countable.
- Finite products of countable sets are countable.
- {0,1}^{\omega} is uncountable.
- The real numbers are uncountable.
- Lecture 7: Thursday, September 23
- Power set of X can never be in bijection with X.
- 2-12: Definition of a topology.
- Finer and coarser topologies.
- 29 topologies on a 3 point set.
- Lecture 8: Tuesday, September 28
- 2-13: Basis for a topology.
- Subbasis for a topology.
- Lecture 9: Thursday, September 30
- 2-14: The Order Topology.
- 2-15: The Product Topology.
- 2-16: The Subspace Topology.
- Lecture 10: Tuesday, October 5
- 2-17: Closed sets.
- Interior and closure of subsets.
- Exam review.
- Thursday, October 7
- Exam I. 13:00-14:15, Location: Van Vleck B119.
- Lecture 11: Tuesday, October 12
- Limit points.
- Hausdorff spaces.
- 2-18: Continuous functions.
- Lecture 12: Thursday, October 14
- 2-18: Continuous functions.
- Homeomorphisms.
- Rules for continuous functions.
- Pasting together continuous functions.
- Continuous maps into product spaces.
- Lecture 13: Tuesday, October 19
- 2-19: Arbitrary Cartesian products.
- Comparison of Box and Product Topologies.
- 3-23: Connectedness.
- Lecture 14: Thursday, October 21
- 3-23: Closure of connected set is connected.
- Image of connected set under continuous map is connected.
- Finite Cartesian product of connected spaces is connected.
- 3-24: The real line is connected, and so are intervals and rays.
- Intermediate value theorem.
- Path connectedness.
- The topologist's sine curve.
- Lecture 15: Tuesday, October 26
- 3-26: Compactness.
- Closed subspace of compact space is compact.
- Compact subspace of Hausdorff space is closed.
- Image of compact set under continuous map is compact.
- The product of finitely many compact spaces is compact.
- Lecture 16: Thursday, October 28
- 3-26: Compactness.
- Closed subspace of compact space is compact.
- Compact subspace of Hausdorff space is closed.
- Lecture 17: Tuesday, November 2
- Image of compact set under continuous map is compact.
- The product of finitely many compact spaces is compact.
- The Tube Lemma.
- Lecture 18: Thursday, November 4
- 3-27: Compact subspace of the real line.
- Cantor's nested intervals theorem.
- Heine-Borel theorem.
- Subset of R^n is compact iff closed and bounded.
- Extreme value theorem.
- Lecture 19: Tuesday, November 9
- Exam review.
- Thursday, November 11
- Exam II. 13:00-14:15, Location: Van Vleck B119.
- Lecture 20: Tuesday, November 16
- 2-20: The metric topology.
- Triangle Inequality for R^n.
- Comparison of metric topologies, Euclidean vs. square metric.
- Lecture 21: Thursday, November 18
- Introduction to groups and fundamental group.
- Lecture 22: Tuesday, November 23
- 2-21: Continuity in metric spaces.
- Theorem 21.1: epsilon-delta continuity for metric spaces.
- Theorem 21.3: Limit point definition of continuity.
- Theorem 21.6: Uniform Limit Theorem.
- Thursday, November 25
Thanksgiving vacation.
- Lecture 23: Tuesday, November 30
- 3.27: Lebesgue number lemma.
- Theorem 27.6: Uniform Continuity Theorem.
- Second Countable spaces.
- The long line.
- Manifold: second countable, Hausdorff, locally Euclidean.
- S^1 is a manifold (stereographic projection).
- Lecture 24: Thursday, December 2
- S^n is a manifold (stereographic projection).
- 22: The quotient topology.
- Torus as quotient of square.
- RP^n: real projective space.
- A non-Hausdorff "manifold".
- Orientations.
- RP^2 and Mobius band not orientable.
- Lecture 25: Tuesday, December 7
- Connected sums of manifolds.
- Klein bottle = RP^2 # RP^2.
- Classification Theorem for compact surfaces.
- Examples of various 2n-gons with boundary identifications.
- Triangulations of surfaces.
- Lecture 26: Thursday, December 9
- Classification theorem for surfaces.
- T^2 # P^2 = P^2 # P^2 # P^2.
- Euler characteristic of surfaces X = V - E + F.
- X(S^2) = 2, X(RP^2) = 1, X(T^2) = 0.
- X(S_1 # S_2) = X(S_1) + X(S_2) - 2.
- X(g#T^2) = 2 - 2g, X(g# P^2) = 2 - g.
- Lecture 27: Tuesday, December 14
- Exam III. 13:00-14:15, Location: Van Vleck B119.
Contact Information
Dr. Jeff Viaclovsky
Department of Mathematics
University of Wisconsin
480 Lincoln Drive
Madison, WI 53706
Office: 803 Van Vleck
Office phone: 608-263-1161
e-mail:
jeffv@math.wisc.edu