Classnotes for September 15
|#||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 15
|Table of contents|
Topology Riddleg tunnels and n punctures for some g,n.
See left for an example (g = 4,n = 3).
Oh really? How about the manifold pictured left?
What are the values of g and n, and how can it be deformed into an object of the above format?
Basic Properties of Open Sets
We begin by reviewing the definitions of an open subset of and continuous functions from to with these hopes of generalizing the notions to more general spaces.
Definition: A set is said to be open if s.t. .
Theorem: A function is continuous iff. open is also open.
Open sets as defined above possess three basic properties, which are established by the following theorem:
- and are open.
- If I is an index set (of arbitrary cardinality), and if is open, then is open.
- If I is a finite index set, and if is open, then is open.
Proof: The first part of the theorem is vacuously true, and the proof of the second is a triviality, so we shall focus on the third part. Let I and the Ui be as in the statement of this part of the theorem, and let . By definition, then, . By the openness of each Ui, such that . Let ε be the minimum of all the εi, which exists since I is finite, and is thus positive since all the εi are positive. It follows that . Thus , and so, is open, q.e.d.
We can now define our more general space: one which has subsets we can rightfully call "open" and which we can therefore use to define continuity in the most general setting possible. Let us remind ourselves that if X is a set, then (alternatively 2X) denotes the power set of X, the set of all subsets of X.
Definition: A topological space is a pair where X is a set and such that:
- If I is an index set (of arbitrary cardinality), and if then .
- If I is a finite index set, and if , then .
is called a topology on X, and the elements of are called open sets.
Some examples of topological spaces as defined above are:
- The so-called standard topology on , given by is open according to the old definition from analysis }.
- The trivial topology on any set X, given by .
- The discrete topology on any set X, given by . By definition, every subset of X is open in this topology.
From now on we follow the general practice (strictly speaking an abuse of notation) of denoting a topological space by X, suppressing the topology (cf. the parallel practice of suppressing the multiplication when referring to a group). Should the need arise to refer explicitly to the topology of a topological space denoted by, say, Y, we can denote it by .
We now generalize the defintion of continuity to work for topological spaces:
Definition: If X and Y are topological spaces and , we say that f is continuous if whenever .
This new definition of continuity still admits many of the same properties that the old definition from analysis, upon which it was modelled, does.
- If X is a topological space, then the identity function is continuous.
- If X,Y,Z are topological spaces and , are continuous, it follows that is continuous.
- Since id = id − 1, it follows that id − 1(U) = id(U) = U. Hence, if is open, then I − 1(U) is trivially open too.
- It is easy to show that . Hence, if is open, then g − 1(U) is open by the continuity of g, and thus is open by the continuity of f, q.e.d.
Since every set admits at least two different topologies (i.e. the discrete and the trivial topologies), it is natural to ask, for instance, what happens to the continuity of a function from a set to itself when different topologies are assigned to the domain and codomain.
So, let us consider the case of the real line , together with the standard topology , the trivial topology , and the discrete topology , and in particular, examine the continuity of the identity function when various topologies are assigned to the domain and the codomain. We summarise our results in the following table:
|not continuous;||not continuous;||continuous;|
We can repeat this analysis for functions in general from to itself, identifying which functions are continuous in each case:
|every function;||every function;||every function;|
|Codomain||constant functions only;||continuous (old defintion) functions;||every function;|
|constant functions only;||constant functions only;||every function;|
These results can be checked with the tools that we already have except for the result that a function is continuous iff. it is a constant function. This particular result will be proved later on.
Some of the results from the above tables can be generalised quite readily:
Proposition: Let X be a set, let and be the trivial and discrete topologies on X, respectively, and let be any topology on X. Then:
- Every function is continuous.
- Every function is continuous.
- Continuity follows from the fact that and .
- Continuity follows from the fact that every subset of X is open in the discrete topology, q.e.d.
Thus, for any given set, the discrete topology can be said to be the "strongest" topology, being stronger than all other possible topologies, and the trivial topology can be said to be the "weakest" topology, being weaker than all other possible topologies.
We end this lesson with some terminology:
Definition: Let X be a set, and let and be topologies on X such that . Then:
- is said to be stronger, bigger, or finer than .
- is said to be weaker, smaller, or coarser, respectively, than .
Using this language we can state a generalisation of the proposition we just proved:
Proposition: Let X be a set, and let and be topologies on X, with stronger than . Then the identity function is continuous.
That this last proposition holds follows immediately from the definitions.
JPG, by Annat Koren
PDF, by Gabriel Lee
Available here (http://katlas.math.toronto.edu/0506-Topology/index.php?title=Image:1-2-09-15.pdf).
One draw-based solution for the Topology Riddle.
The Torus with one bite, or the orientable surface with g = 1, n = 1 is homeomorfic to the Seifret Surface of the Trefoil knot.
What does this means? Well, the last picture in the second page.
I hope this is clear for everybody,
Mario 15:09, 23 Sep 2005 (EDT) Mario firstname.lastname@example.org