Renzo’s Math 490 Introduction To Topology

2y ago
44 Views
5 Downloads
6.37 MB
118 Pages
Last View : 7d ago
Last Download : 3m ago
Upload by : Averie Goad
Transcription

Renzo’s Math 490Introduction to TopologyTom BabinecChris BestMichael BlissNikolai BrendlerEric FuAdriane FungTyler KleinAlex LarsonTopcue LeeJohn MadonnaJoel MousseauNick PosavetzMatt RosenbergDanielle RogersAndrew SardoneJustin ShalerSmrithi SrinivasanPete TroyanJackson YimElizabeth UibleDerek Van FarowePaige WarmkerZheng WuNina ZhangWinter 2007

Mathematics 490 – Introduction to TopologyWinter 20072

Contents1 Topology91.1Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .91.2Open Sets (in a metric space) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101.3Closed Sets (in a metric space) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.4Topological Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.5Closed Sets (Revisited) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121.6Continuity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131.7Homeomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141.8Homeomorphism Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161.9Theorems On Homeomorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.10 Homeomorphisms Between Letters of Alphabet . . . . . . . . . . . . . . . . . . . 191.10.1 Topological Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191.10.2 Vertices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191.10.3 Holes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.11 Classification of Letters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211.11.1 The curious case of the “Q” . . . . . . . . . . . . . . . . . . . . . . . . . . 221.12 Topological Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231.12.1 Hausdorff Property . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231.12.2 Compactness Property . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241.12.3 Connectedness and Path Connectedness Properties . . . . . . . . . . . . . 252 Making New Spaces From Old272.1Cartesian Products of Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272.2The Product Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282.3Properties of Product Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293

Mathematics 490 – Introduction to TopologyWinter 20072.4Identification Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302.5Group Actions and Quotient Spaces . . . . . . . . . . . . . . . . . . . . . . . . . 343 First Topological Invariants373.1Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373.2Compactness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373.2.1Preliminary Ideas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373.2.2The Notion of Compactness . . . . . . . . . . . . . . . . . . . . . . . . . . 403.3Some Theorems on Compactness . . . . . . . . . . . . . . . . . . . . . . . . . . . 433.4Hausdorff Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 473.5T1 Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 493.6Compactification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503.73.6.1Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503.6.2One-Point Compactification . . . . . . . . . . . . . . . . . . . . . . . . . . 503.6.3Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 513.6.4Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55Connectedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 573.7.1Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 573.7.2Connectedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583.7.3Path-Connectedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 614 Surfaces634.1Surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 634.2The Projective Plane . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 634.34.44.2.1RP2 as lines in R3 or a sphere with antipodal points identified. . . . . . . 634.2.2The Projective Plane as a Quotient Space of the Sphere . . . . . . . . . . 654.2.3The Projective Plane as an identification space of a disc . . . . . . . . . . 664.2.4Non-Orientability of the Projective Plane . . . . . . . . . . . . . . . . . . 69Polygons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 694.3.1Bigons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 714.3.2Rectangles4.3.3Working with and simplifying polygons . . . . . . . . . . . . . . . . . . . 74. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72Orientability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 764.4.1Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 764

Mathematics 490 – Introduction to Topology4.54.64.7Winter 20074.4.2Applications To Common Surfaces . . . . . . . . . . . . . . . . . . . . . . 774.4.3Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80Euler Characteristic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 804.5.1Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 804.5.2Computation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 814.5.3Usefulness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834.5.4Use in identification polygons . . . . . . . . . . . . . . . . . . . . . . . . . 83Connected Sums . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 854.6.1Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 854.6.2Well-definedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 854.6.3Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 874.6.4RP2 #T RP2 #RP2 #RP2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 884.6.5Associativity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 904.6.6Effect on Euler Characteristic . . . . . . . . . . . . . . . . . . . . . . . . . 90Classification Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 924.7.1Equivalent definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 924.7.2Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 935 Homotopy and the Fundamental Group975.1Homotopy of functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 975.2The Fundamental Group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1005.35.45.2.1Free Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1005.2.2Graphic Representation of Free Group . . . . . . . . . . . . . . . . . . . . 1015.2.3Presentation Of A Group . . . . . . . . . . . . . . . . . . . . . . . . . . . 1035.2.4The Fundamental Group . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103Homotopy Equivalence between Spaces . . . . . . . . . . . . . . . . . . . . . . . . 1055.3.1Homeomorphism vs. Homotopy Equivalence . . . . . . . . . . . . . . . . . 1055.3.2Equivalence Relation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1065.3.3On the usefulness of Homotopy Equivalence . . . . . . . . . . . . . . . . . 1065.3.4Simple-Connectedness and Contractible spaces . . . . . . . . . . . . . . . 107Retractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1085.4.1Examples of Retractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1085

Mathematics 490 – Introduction to Topology5.5Computing the Fundamental Groups of Surfaces: The Seifert-Van Kampen Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1105.5.15.6Winter 2007Examples: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112Covering Spaces5.6.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113Lifting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1176

Mathematics 490 – Introduction to TopologyWinter 2007What is this?This is a collection of topology notes compiled by Math 490 topology students at the Universityof Michigan in the Winter 2007 semester. Introductory topics of point-set and algebraic topologyare covered in a series of five chapters.Foreword (for the random person stumbling upon this document)What you are looking at, my random reader, is not a topology textbook. It is not the lecturenotes of my topology class either, but rather my student’s free interpretation of it. Well, Ishould use the word free with a little bit of caution, since they *had to* do this as their finalproject. These notes are organized and reflect tastes and choices of my students. I have doneonly a minimal amount of editing, to give a certain unity to the manuscript and to scrap outsome mistakes - and so I don’t claim merits for this work but to have lead my already greatstudents through this semester long adventure discovering a little bit of topology.Foreword (for my students)Well, guys, here it is! You’ve done it all, and here is a semester worth of labor, studying, buthopefully fun as well. I hope every once in a while you might enjoy flipping through the pagesof this book and reminiscing topology.and that in half a century or so you might be tellingexaggerated stories to your grandchildren about this class.A great thank to you all for a very good semester!7

Mathematics 490 – Introduction to TopologyWinter 20078

Chapter 1TopologyTo understand what a topological space is, there are a number of definitions and issues that weneed to address first. Namely, we will discuss metric spaces, open sets, and closed sets. Oncewe have an idea of these terms, we will have the vocabulary to define a topology. The definitionof topology will also give us a more generalized notion of the meaning of open and closed sets.1.1Metric SpacesDefinition 1.1.1. A metric space is a set X where we have a notion of distance. That is, ifx, y X, then d(x, y) is the “distance” between x and y. The particular distance function mustsatisfy the following conditions:1. d(x, y) 0 for all x, y X2. d(x, y) 0 if and only if x y3. d(x, y) d(y, x)4. d(x, z) d(x, y) d(y, z)To understand this concept, it is helpful to consider a few examples of what does and does notconstitute a distance function for a metric space.Example 1.1.2. For any space X, let d(x, y) 0 if x y and d(x, y) 1 otherwise.This metric, called the discrete metric, satisfies the conditions one through four.Example 1.1.3. The Pythagorean Theorem gives the most familiar notion of distance for pointsin Rn . In particular, when given x (x1 , x2 , ., xn ) and y (y1 , y2 , ., yn ), the distance f asvu nuXd(x, y) t (xi yi )2i 19

Mathematics 490 – Introduction to TopologyWinter 2007Example 1.1.4. Suppose f and g are functions in a space X {f : [0, 1] R}. Doesd(f, g) max f g define a metric?Again, in order to check that d(f, g) is a metric, we must check that this function satisfies theabove criteria. But in this case property number 2 does not hold, as can be shown by consideringtwo arbitrary functions at any point within the interval [0, 1]. If f (x) g(x) 0, this doesnot imply that f g because f and g could intersect at one, and only one, point. Therefore,d(f, g) is not a metric in the given space.1.2Open Sets (in a metric space)Now that we have a notion of distance, we can define what it means to be an open set in ametric space.Definition 1.2.1. Let X be a metric space. A ball B of radius r around a point x X isB {y X d(x, y) r}.We recognize that this ball encompasses all points whose distance is less than r from x .Definition 1.2.2. A subset O X is open if for every point x O, there is a ball around xentirely contained in O.Example 1.2.3. Let X [0, 1]. The interval (0, 1/2) is open in X.Example 1.2.4. Let X R. The interval [0, 1/2) is not open in X.With an open set, we should be able to pick any point within the set, take an infinitesimal stepin any direction within our given space, and find another point within the open set. In the firstexample, we can take any point 0 x 1/2 and find a point to the left or right of it, withinthe space [0, 1], that also is in the open set [0, 1). However, this cannot be done with the secondexample. For instance, if we take the point within the set [0, 1), say 0, and take an infinitesimalstep to the left while staying within our given space X, we are no longer within the set [0, 1).Therefore, this would not be an open set within R.If a set is not open, this does not imply that it is closed. Furthermore, there exists setsthat are neither open, nor closed, and sets that are open and closed.Lastly, open sets in spaces X have the following properties:1. The empty set is open2. The whole space X is open3. The union of any collection of open sets is open4. The intersection of any finite number of open sets is open.10

Mathematics 490 – Introduction to Topology1.3Winter 2007Closed Sets (in a metric space)While we can and will define a closed sets by using the definition of open sets, we first define itusing the notion of a limit point.Definition 1.3.1. A point z is a limit point for a set A if every open set U containing zintersects A in a point other than z.Notice, the point z could be in A or it might not be in A. The following example will help makethis clear.Example 1.3.2. Consider the open unit disk D {(x, y) : x2 y 2 1}. Any point in D is alimit point of D. Take (0, 0) in D. Any open set U about this point will contain other pointsin D. Now consider (1, 0), which is not in D. This is still a limit point because any open setabout (1, 0) will intersect the disk D.The following theorem and examples will give us a useful way to define closed sets, and will alsoprove to be very helpful when proving that sets are open as well.Definition 1.3.3. A set C is a closed set if and only if it contains all of its limit points.Example 1.3.4. The unit disk in the previous example is not closed because it does not containall of its limit points; namely, (1, 0).Example 1.3.5. Let A Z, a subset of R. This is a closed set because it does contain all ofits limit points; no point is a limit point! A set that has no limit points is closed, by default,because it contains all of its limit points.Every intersection of closed sets is closed, and every finite union of closed sets is closed.1.4Topological SpacesWe now consider a more general case of spaces without metrics, where we can still make senseof (or rather define appropriately) the notions of open and closed sets. These spaces are calledtopological spaces.Definition 1.4.1. A topological space is a pair (X, τ ) where X is a set and τ is a set ofsubsets of X satisfying certain axioms. τ is called a topology.Since this is not particularly enlightening, we must clarify what a topology is.Definition 1.4.2. A topology τ on a set X consists of subsets of X satisfying the followingproperties:1. The empty set and the space X are both sets in the topology.2. The union of any collection of sets in τ is contained in τ .3. The intersection of any finitely many sets in τ is also contained in τ .11

Mathematics 490 – Introduction to TopologyWinter 2007The following examples will help make this concept more clear.Example 1.4.3. Consider the following set consisting of 3 points; X {a, b, c} and determineif the set τ { , X, {a}, {b}} satisfies the requirements for a topology.This is, in fact, not a topology because the union of the two sets {a} and {b} is the set {a, b},which is not in the set τExample 1.4.4. Find all possible topologies on X {a, b}.1. , {a, b}2. , {a}, {a, b}3. , {b}, {a, b}4. , {a}, {b}, {a, b}The reader can check that all of these are topologies by making sure they follow the 3 propertiesabove. The first topology in the list is a common topology and is usually called the indiscretetopology; it contains the empty set and the whole space X. The following examples introducesome additional common topologies:Example 1.4.5. When X is a set and τ is a topology on X, we say that the sets in τ are open.Therefore, if X does have a metric (a notion of distance), then τ {all open sets as definedwith the ball above} is indeed a topology. We call this topology the Euclidean topology. It isalso referred to as the usual or ordinary topology.Example 1.4.6.If Y X and τx is a topology on X, one can define the Induced topologyTas τy {O Y O τx }.This last example gives one reason why we must only take finitely many intersections whendefining a topology.Example 1.4.7. Let X R with the usual topology. Then certainly in this standard Euclideantopology, ( 1/n, 1/n) is an open set for any integer n. However, the infinite intersectionT n 1 ( 1/n, 1/n) is the set containing just 0. Thus, it is a single point set, which is not openin this topology.1.5Closed Sets (Revisited)As promised, we can now generalize our definition for a closed set to one in terms of open setsalone which removes the need for limit points and metrics.Definition 1.5.1. A set C is closed if X C is open.Now that we have a new definition of a closed set, we can prove what used to be definition 1.3.3as a theorem: A set C is a closed set if and only if it contains all of its limit points.12

Mathematics 490 – Introduction to TopologyWinter 2007Proof. Suppose a set A is closed. If it has no limit points, there is nothing to check as it triviallycontains its limit points. Now suppose z is a limit point of A. Then if z A, it contains thislimit point. So suppose for the sake of contradiction that z is a limit point and z is not in A.Now we have assumed A was closed, so its complement is open. Since z is not in A, it is in thecomplement of A, which is open; which means there is an open set U containing z containedin the complement of A. This contradicts that z is a limit point because a limit point is, bydefinition, a point such that every open set about z meets A. Conversely, if A contains all itslimit points, then its complement is open. Suppose x is in the complement of A. Then it cannot be a limit point (by the assumption that A contains all of its limit points). So x is not alimit point which means we can find some open set around x that doesn’t meet A. This provesthe complement is open, i.e. every point in the complement has an open set around it thatavoids A.Example 1.5.2. Since we know the empty set is open, X must be closed.Example 1.5.3. Since we know that X is open, the empty set must be closed.Therefore, both the empty set and X and open and closed.1.6ContinuityIn topology a continuous function is often called a map. There are 2 different ideas we can useon the idea of continuous functions.Calculus StyleDefinition 1.6.1. f : Rn Rm is continuous if for every 0 there exists δ 0 such thatwhen x x0 δ then f (x) f (x0 ) .The map is continuos if for any small distance in the pre-image an equally small distance isapart in the image. That is to say the image does not “jump.”Topology StyleIn tpology it is necessary to generalize down the definition of continuity, because the notion ofdistance does not always exist or is different than our intuitive idea of distance.Definition 1.6.2. A function f : X Y is continuous if and only if the pre-image of any openset in Y is open in X.If for whatever reason you prefer closed sets to open sets, you can use the f

Mathematics 490 – Introduction to Topology Winter 2007 What is this? This is a collection of topology notes compiled by Math

Related Documents:

Latest Cisco exams,latest 100-490 dumps,100-490 pdf,100-490 vce,100-490 dumps,100-490 exam questions,100-490 new questions,100-490 actual tests,100-490 practice tests,

Semiconductor Devices for Integrated Circuits (C. Hu) Slide 7-2 International Technology Roadmap for Semiconductors, 1999 Edition 160 490/230 160 750/350 0.3-0.6 0.5-0.6 22 35 2014 Ioff,LP (pA/µµµµm) 7 10 20 40 80 Ion,LP (µµµµA/µµµµm) 490/230 490/230 490/230 490/230 490/230 Ioff,HP (nA/µµµµm) 5 10 20 40 60

490 - Establishing a Common Provider Audit Program. 490.1 - Policies for Implementation of a Common Provider Audit Program for Titles V, XVIII and XIX of the Social Security Act 490.2 - Cost Sharing. 490.3 - Desk Review 490.4

2 SBC-490 User's Manual Introduction The SBC-490 is an all-in-one single board 486 computer that includes an on-board SVGA controller, with PCI-bus and ISA-bus support. It packs all the functions of an industrial computer with display capabilities on a single full-size card. The SBC-490 is fully PC/AT

Math 5/4, Math 6/5, Math 7/6, Math 8/7, and Algebra 1/2 Math 5/4, Math 6/5, Math 7/6, Math 8/7, and Algebra ½ form a series of courses to move students from primary grades to algebra. Each course contains a series of daily lessons covering all areas of general math. Each lesson

Advanced Wildland Fire Behavior Calculations, S-490 Pre-Course Study Material Part 5: Automated Fire Behavior – Use of BehavePlus Materials Needed: S-490 Student CD or S-490 Pre-Course Online . 100 hour) and the live fuel moisture was 120%.

Association has published and distributed a PA 490 Guide. This publication is intended to be a practical guide and to provide an overview of PA 490 for landowners, assessors, government officials, and others wanting to understand how this law is applied. FORWARD Connecticut's Land Use Value Assessment Law Public Act 490 A Practical Guide and .

Andreas M unch and Endre S uli Mathematical Institute, University of Oxford Andrew Wiles Building, Radcli e Observatory Quarter, Woodstock Road Oxford OX2 6GG, UK Barbara Wagner Weierstrass Institute Mohrenstraˇe 39 10117 Berlin, Germany and Technische Universit at Berlin, Institute of Mathematics Straˇe des 17. Juni 136 10623 Berlin, Germany (Communicated by Thomas P. Witelski) Abstract .