Classnotes for September 13
|#||Week of...||Links (edit)|
|1||Sep 12||About, Tue, Thu, Std2Disc|
|2||Sep 19||Tue, Thu, HW1, 14 Sets|
|3||Sep 26||Tue, Thu, Photo|
|4||Oct 3||Tue, Thu|
|5||Oct 10||HW2, Tue, Thu|
|6||Oct 17||Tue, Thu, HW3|
|7||Oct 24||Mon, Tue, Thu|
|8||Oct 31||Tue, Thu, HW4|
|9||Nov 7||TE1, Tue, Thu|
|10||Nov 14||Tue, Thu, HW5|
|11||Nov 21||Tue, Thu|
|12||Nov 28||Tue, Thu, HW6|
|13||Dec 5||Tue, Thu|
|14||Jan 9||Tue, IT83, Thu, HW7|
|15||Jan 16||Tue, Thu|
|16||Jan 23||Tue, HW8, Thu|
|17||Jan 30||Tue, Thu|
|18||Feb 6||TE3, Tue, Thu|
|19||Feb 13||Tue, Thu|
|20||Feb 27||Tue, Thu, HW9|
|21||Mar 6||Tue, Thu, HW10|
|22||Mar 13||Tue, Thu|
|23||Mar 20||Tue, Thu, HW11|
|24||Mar 27||Tue, Thu|
|25||Apr 3||Tue, Thu, HW12|
|26||Apr 10||Tue, Thu|
|Study||Apr 17||Office Hours|
|Exams||Apr 24||Final, PM|
Classnotes for September 13
|Table of contents|
About the Course
On an intuitive level, topology is associated with deformability, malleability (excluding from discussion, of course, the tearing and cutting of objects), whilst algebra is associated with rigidity. On this note one is often reminded of how, in topology, a coffee mug is considered equivalent to a doughnut. As we were reminded both in class and on the Course Syllabus, the purpose of this course is to explore the remarkable relationship between topology and algebra.
The Brouwer Fixed-Point Theorem
To give a taste of what we will be able to do later on with the tools of algebraic topology, we took a look at a well-known purely topological result, the Brouwer fixed-point theorem for the 3-disc D3, whose proof requires just such tools. Remember that D3 is the unit ball in , i.e. .
Theorem (Brouwer fixed-point theorem for the 3-disc): Every continuous map has a fixed point, i.e. s.t. g(x) = x
The proof of this theorem can be divided into two lemmas. Before stating the first, we need the following definition:
Definition: Let , where . If , then r is said to be a retract. Equivalently, r is a retract if the following diagram commutes:
N.B. Munkres (http://vig.pearsoned.ca/catalog/academic/product/0,4096,0131816292,00.html) and others would call what we call a retract a rectraction, and would call S2 a retract instead.
Lemma 1: There is no continuous retract .
Intuitively, the lemma is seen to be true: a retract would have to tear the interior so as to pull everything towards the boundary, but a continuous function can neither tear nor cut. We postpone the rigorous proof for a bit, and turn our attention to the second lemma.
Lemma 2: Lemma 1 implies the Brouwer fixed-point theorem for the 3-disc.
Proof: It suffices to prove the contrapositive of the lemma. Assume that there exists some continuous such that . Define as follows: , let f(x) = g(x) + t(x − g(x)), where t > 0 is chosen such that . Assume for now that the choice of t is unique. If , it follows immediately that t = 1, and hence f(x) = x. Thus f is a retract.
It remains to prove that t is uniquely defined and that f is continuous. Squaring both sides of the equation defining t and rearranging, one finds that t satisfies the following quadratic equation:
Since , the discriminant of the quadratic is non-negative, and the product of its roots is non-positive. The discriminant cannot be zero since . Hence, the quadratic has a unique positive root t, given by the expression
Since , this expression for t is always well defined, and indeed, t is a continuous function of x. Thus f is a continuous retract, q.e.d.
The only thing that remains to be proved in order to establish the Brouwer fixed-point theorem for the 3-disc is Lemma 1. In order to do that, however, we will need to borrow from the future, so to speak, and use the machinery of homology and the language of category theory. We first need some definitions - the following, whilst not absolutely rigorous, suffices for our present discussion:
Definition: A category is a collection of objects (e.g. sets, groups, vector spaces) and morphisms between them. These morphisms can be described as “structure-preserving maps” such that the following axioms hold:
- 1. Every object has an identity morphism;
- 2. Morphisms can be composed, i.e. for objects a, b, and c, the morphisms and can be composed to form a morphism ;
- 3. The composition of morphisms is associative, i.e. for morphisms , , and , .
Definition: A functor from a category C1 to a category C2 is a map which sends objects in C1 to objects in C2 and morphisms in C1 to morphisms in C2 in such a way that preserves structure (i.e. compositions and identity morphisms are preserved).
It follows immediately from the definition that if one has a functor from a category C1 to a category C2, then a diagram (i.e. diagram of objects and morphisms) in C1 will be mapped to a corresponding diagram in C2. If the initial diagram commutes, then so too will its image under the functor. This fact is key in the proof of Lemma 1. The final piece of the puzzle is the following theorem from the future, which we will, of course, state without proof at this time:
Theorem: There exists a functor H2 from the category of topological spaces and continuous functions to the category of abelian groups and group homomorphisms such that:
- 1. , the trivial group;
- 2. .
With this result in hand, the proof of Lemma 1 is easy.
Proof of Lemma 1: Assume by contradiction that such a continuous retract r exists. Then, in the category of topological spaces and continuous functions, we have this commutative diagram:
We apply the functor H2 of the above theorem to obtain the following diagram in the category of abelian groups and group homomorphisms, likewise commutative:
Finally, applying the isomorphisms guaranteed by the same theorem, we obtain the following diagram, which is also commutative:
We see immediately that this last diagram cannot possibly be commutative, and so we have our desired contradiction, q.e.d.
Point Set Topology: Continuity
We are all familiar with the notion of continuous functions of the real line.
Definition: A function is said to be continuous if s.t. .
This definition of continuity requires a notion of distance to make sense. We wish to generalize this concept to functions between sets that are not necessarily subsets of . One way to achieve this is to generalize the above definition of continuity to apply to maps between metric spaces. The greatest level of generalization—the route which we shall pursue—is achieved by considering the notion of open sets.
We shall now generalize the standard defintion of an open subset of
Definition: A set is open if s.t. .
Intuitively, a set is open if for any point in the set, one can find a ball centered at that point which is wholly within the set. With this definition, we can find an alternative defintion for continuity.
Theorem: A function is continuous if and only if open is also open.
Thus, a continuous function is one under which the preimage of an open subset of the codomain is an open subset of the domain. With the above theorem, we have an alternative definition of continuity that does not explicitly mention distance, but rather, open sets.
By adopting this definition of continuity, determining what are the basic properties of open sets, and creating topological spaces to be sets with a collection of sets which satisify our axioms for openness, we may thus extend the idea of continuous function to spaces that are more general than the real numbers. The proof of the theorem requires no tricks and proceeds in an somewhat obvious fashion.
Proof: Assume is continuous. Let be any open set. Let be an arbitrary point of the preimage of U. Note that . By the openness of U, we can find an open ball around f(x) contained in U. That is, s.t. . By the continuity of f, s.t. . So, and we have found, for an arbitrary point an open ball centered at x and wholly contained in f − 1(U). Thus, f − 1(U) is open.
Assume f − 1(U) is open for any open set . Let and ε > 0. Bε(f(x)) is an open subset of . Taking U = Bε(f(x)), f − 1(Bε(f(x))) is open by assumption. By the definition of open set, s.t. . Therefore, f is continuous, q.e.d.
JPG, by Annat Koren
PDF, by Gabriel Lee
Available here (http://katlas.math.toronto.edu/0506-Topology/index.php?title=Image:1-1-09-13.pdf).