Math 551 Elementary Topology (Spring 2007)
-
Lectures
Lectures are by
Jeff Viaclovsky on Tuesdays and Thursdays
at 1:00-2:15 PM in Van Vleck B105. I will have office hours on Tuesdays
and Thursdays in Van Vleck 803 from 2:15 - 3:15 PM.
-
Textbook
Topology (2nd Edition) by James Munkres.
-
Graders
The grader is Zheng Hua.
-
Mailing List
The class mailing list is math551-1-s07 "at" wisc.edu.
-
Examinations and Homework
There will be several homework assignments, 2 in-class
exams, and a final exam.
The in-class exams are scheduled for March 15 and Apr 19. The final
exam is at 12:25 PM on Sunday, May 13.
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. However, you will
be allowed to drop your lowest homework score.
- HW #1: Due Thursday, Feb. 1. 1: 1, 2 ( don't have to turn
in 2); 2: 1, 2, 4; 3: 3, 4.
- HW #2: Due Thursday, Feb. 8. 6: 2, 3, 5, 6; 7: 1, 3, 4.
- HW #3: Due Thursday, Feb. 15. 13: 1, 3, 4, 5.
- HW #4: Due Thursday, Feb. 22. 16: 1, 3, 4, 6. 17: 2,3.
- HW #5: Due Thursday, March 1. 17: 6, 8, 9, 11, 12, 13.
- HW #6: Due Thursday, March 8. 18: 3, 4, 5, 6, 10, 11, 12;
- HW #7: Due Thursday, March 29. 23: 5,9; 24: 1, 2, 3; 26: 3, 5, 6, 7, 8.
- HW #8: Due Thursday, April 12. 21: 2, 6; 26: 12; 27: 2 , 6,
Extra Credit: prove part (e) without using Theorem 27.7.
- HW #9: Due Thursday, May 10. 51: 3; 52: 1, 2, 3, 4; 53: 3, 5.
Everyone should do them, but only hand in for extra credit (if perfect,
10% added to final HW average).
-
Brief lecture outline
- Lecture 1: Tuesday, January 23
- Introduction, syllabus.
- Munkres 1-1: Elementary set theory and logic.
- 1-2: Rule of assignments, functions, domain and range.
- Lecture 2: Thursday, January 25
- 1-2: Injective, surjective, bijective functions.
- 1-2: Inverse images of sets in range under functions.
- 1-3: Equivalence relations.
- Lecture 3: Tuesday, January 30
- 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 4: Thursday, February 1
- 1-6: Finite sets.
- 1-6: Proof that cardinality of a finite set is well-defined.
- Lecture 5: Tuesday, February 6
- 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.
- Power set of X can never be in bijection with X.
- Lecture 6: Thursday, February 8
- 2-12: Definition of a topology.
- Topologies on a 3 point set.
- Finer and coarser topologies.
- 2-13: Basis for a topology.
- Lecture 7: Tuesday, February 13
- 2-13: Basis for a topology.
- Subbasis for a topology.
- Lecture 8: Thursday, February 15
- 2-14: The Order Topology.
- 2-15: The Product Topology.
- 2-16: The Subspace Topology.
- Lecture 9: Tuesday, February 20
- 2-17: Closed sets.
- Interior and closure of subsets.
- Limit points.
- Hausdorff spaces.
- Lecture 10: Tuesday, February 27
- 2-18: Continuous functions.
- Homeomorphisms.
- Rules for continuous functions.
- Lecture 11: Thursday, March 1
- Pasting together continuous functions.
- Continuous maps into product spaces.
- 2-19: Arbitrary Cartesian products.
- Comparison of Box and Product Topologies.
- 3-23: Connectedness.
- Lecture 12: Thursday, March 8
- 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.
- Lecture 13: Tuesday, March 13
- The topologist's sine curve.
- 3-26: Compactness.
- Exam review.
- Thursday, March 15
Exam I.
- Lecture 14: Tuesday, March 20
- 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 15: Thursday, March 22
- 3-27: Compact subspace of the real line.
- Cantor's nested intervals theorem.
- Heine-Borel theorem.
- Extreme value theorem.
- Subset of R^n is compact iff closed and bounded.
- Summary of exam I.
- Lecture 16: Tuesday, March 27
- 2-20: Metric spaces and the metric topology.
- Metrizable spaces.
- Various metrics on R^n, Euclidean metric, square metric, L^p metric.
- 2-21: Continuity in metric spaces.
- Lecture 17: Thursday, March 29
- Uniform convergence.
- Theorem 21.6, Uniform limit theorem.
- 3:27: Lebesgue number lemma.
- Theorem 27.6: Uniform continuity theorem.
- Lecture 18: Tuesday, April 10
- Second countable spaces.
- Well-ordered sets.
- The long line : not second countable.
- Manifold: second countable Hausdorff and locally Euclidean.
- 2-22: The Quotient topology.
- Example of a non-Hausdorff manifold.
- S^n = quotient of closed ball, identify boundary to a point.
- T^2 = square with sides identified appropriately.
- Lecture 19: Thursday, April 12
- Projective 2-space RP^2.
- Orientability.
- Mobius band.
- RP^2 is not orientable.
- Connect sum operation.
- Klein bottle = RP^2 # RP^2.
- Lecture 20: Tuesday, April 17
- Exam Review.
- Tuesday, April 19
Exam II.
- Lecture 21: Tuesday, April 24
- Classification Theorem for compact surfaces.
- Examples of various 2n-gons with boundary identifications.
- Triangulations of surfaces.
- Basic idea of proof of classification theorem.
- Lecture 22: Tuesday, May 1
- Discussion of Exam II.
- K = P^2 # P^2.
- T^2 # P^2 = P^2 # P^2 # P^2.
- Triangulations of surfaces.
- 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 23: Thursday, May 3
- 9-51: Homotopy of paths.
- 9-52: The fundamental group.
- Lecture 24: Tuesday, May 8
- 9-53: Covering spaces.
- Simply connected covering space = universal cover.
- \pi_1(B, b_0) = fiber of universal cover.
- Lecture 25: Thursday, May 10
- Applications of fundamental group and covering spaces.
- R^2 and R^n are not homeomorphic for n > 2.
- Final exam review.
- Sunday, May 13
Final Exam: 12:25PM - 2:25PM VAN VLECK B215.