DOCSLIB.ORG

Chapter 8 the Fundamental Group and Covering Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter 8 the Fundamental Group and Covering Spaces Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter pro- vides an introduction to algebraic topology. Algebraic topology may be regarded as the study of topological spaces and continuous functions by means of algebraic objects such as groups and homomorphisms. Typically, we start with a topological ᐀ space (X, ) and associate with it, in some specific manner, a group GX (see Appen- dix I). This is done in such a way that if (X, ᐀) and (Y, ᐁ) are homeomorphic, then → GX and GY are isomorphic. Also, a continuous function f : X Y “induces” a homo- → morphism f : GX GY, and, if f is a homeomorphism, then f* is an isomorphism. * ᐀ Then the “structure” of GX provides information about the “structure” of (X, ). One of the purposes of doing this is to find a topological property that distinguishes between two nonhomeomorphic spaces. The group that we study is called the funda- mental group. 8.1 Homotopy of Paths In Section 3.2 we defined paths and the path product of two paths. This section stud- ies an equivalence relation defined on a certain collection of paths in a topological space. Review Theorems 2.15 and 2.27, because these results about continuous func- tions will be used repeatedly in this chapter and the next. The closed unit interval [0, 1] will be denoted by I. Definition. Let (X, ᐀) and (Y, ᐁ) be topological spaces and let f, g: X → Y be con- tinuous functions. Then f is homotopic to g, denoted by f Ӎ g, if there is a continu- ous function H: X ϫ I → Y such that H(x, 0) ϭ f(x) and H(x, 1) ϭ g(x) for all x ෈ X. The function H is called a homotopy between f and g. ᭿ 265 266 Chapter 8 ■ The Fundamental Group and Covering Spaces In the preceding definition, we are assuming that I has the subspace topology ᐂ determined by the usual topology on ޒ . Thus X ϫ I has the product topology deter- mined by ᐀ and ᐂ . We think of a homotopy as a continuous one-parameter family of continuous functions from X into Y. If t denotes the parameter, then the homotopy represents a continuous “deformation” of the function f to the function g as t goes from 0 to 1. The question of whether f is homotopic to g is a question of whether there is a con- tinuous extension of a given function. We think of f as being a function from X ϫ {0} into Y and g as being a function from X ϫ {1} into Y, so we have a continuous func- tion from X ϫ {0, 1} into Y and we want to extend it to a continuous function from X ϫ I into Y. EXAMPLE 1. Let X and Y be the subspaces of ޒ ϫ ޒ defined by X ϭ {(x, y) ෈ ޒ ϫ ޒ: x2 ϩ y2 ϭ 1} and Y ϭ {(x, y) ෈ ޒ ϫ ޒ: (x ϩ 1)2 ϩ y2 ϭ 1 or (x Ϫ 1)2 ϩ y2 ϭ 1}. Define f, g: X → Y by f(x, y) ϭ (x Ϫ 1, y) and g(x, y) ϭ (x ϩ 1, y). (See Figure 8.1). g X Y f Figure 8.1 Then f is not homotopic to g. EXAMPLE 2. Let X be the subspace of ޒ ϫ ޒ defined by X ϭ {(x, y) ෈ ޒ ϫ ޒ: x2 ϩ y2 ϭ 1} and let Y ϭ X ϫ X. Define f, g: X → Y by f(x, y) ϭ ((1, 0), (x, y)) andg (x, y) ϭ ((0,1), (x, y)). Then the function H: X ϫ I → Y defined by H((x, y), t) ϭ ((͙1 Ϫ t2, t), (x, y)) is a homotopy between f and g so f Ӎ g. Notice that X is a circle and Y is a torus, f “wraps” the circle X around {(1, 0)}ϫ X, and g “wraps” the circle X around {(0, 1)} ϫ X (see Figure 8.2). Let A denote the arc from ((1, 0), (1, 0)) to ((0, 1), (1, 0)) (see Figure 8.2). Then H maps X ϫ I onto A ϫ X. 8.1 Homotopy of Paths 267 A (0, 1) g ((0, 1), (1, 0)) (1, 0) H | (( 3/2, 1/2), (1, 0)) (X 3 {1/2}) f ((1, 0), (1, 0)) Figure 8.2 THEOREM 8.1. Let (X, ᐀) and (Y, ᐁ) be topological spaces. ThenӍ is an equivalence relation on C(X, Y) (the collection of continuous functions that map X into Y). Proof. Let f ෈ C(X, Y). Define H: X ϫ I → Y by H(x, t) ϭ f(x) for each (x, t) ෈ X ϫ I. Then H is continuous and H(x, 0) ϭ H(x, 1) ϭ f(x), so f Ӎ f. Suppose f, g ෈ C(X, Y) and f Ӎ g. Then there is a continuous function H: X ϫ I → Y such that H(x, 0) ϭ f(x) and H(x, 1) ϭ g(x) for all x ෈ X. Define K: X ϫ I → Y by K(x, t) ϭ H(x, 1 Ϫ t). Then K is continuous, and K(x, 0) ϭ H(x, 1) ϭ g(x) and K(x, 1) ϭ H(x, 0) ϭ f(x) for all x ෈ X. Therefore g Ӎ f. Suppose f, g, h ෈ C(X, Y), f Ӎ g, and g Ӎ h. Then there are continuous func- tions F, G: X ϫ I → Y such that F(x, 0) ϭ f(x), F(x, 1) ϭ g(x), G(x, 0) ϭ g(x), and G(x, 1) ϭ h(x) for all x ෈ X. Define H: X ϫ I → Y by F(x, 2t), for all x ෈ X and 0 Յ t Յ 1 H(x, t) ϭ 2 { ෈ 1 G(x, 2t Ϫ 1), for all x X and 2 Յ t Յ 1. Then H is continuous, and H(x, 0) ϭ F(x, 0) ϭ f(x) and H(x, 1) ϭ G(x, 1) ϭh(x) for all x ෈ X. Therefore f Ӎ h. ᭿ If ␣ and ␤ are paths in a topological space, we define a relation between them that is stronger than homotopy. Definition. Let ␣ and ␤ be paths in a topological space (X, ᐀). Then ␣ is path ␤ ␣ Ӎ ␤ ␣ ␤ homotopic to , denoted by p , if and have the same initial point x0 → and the same terminal point x1 and there is a continuous function H: I ϫ I X ␣ ␤ ෈ such that H(x, 0) ϭ (x) and H(x, 1) ϭ (x) for all x X, and H(0, t) ϭ x0 ෈ andH(1, t) ϭ x1 for all t I. The function H is called a path homotopy between f and g. ᭿ 268 Chapter 8 ■ The Fundamental Group and Covering Spaces The question of the existence of a path homotopy between two paths is again a question of obtaining a continuous extension of a given function. This time we have a continuous function on (I ϫ {0, 1}) ʜ ({0, 1} ϫ I) and we want to extend it to a continuous function on I ϫ I (see Figure 8.3). X I 3 I x0 x1 Figure 8.3 EXAMPLE 3. Let X ϭ {(x, y) ෈ ޒ2: 1 Յ x2 ϩ y2 Յ 4} (see Figure 8.4), let ␣: I → X be the path that maps I in a “linear” fashion onto the arc A from (Ϫ1, 0) to (1, 0), and let ␤: I → X be the path that maps I in a “linear” fashion onto the arc B from (Ϫ1, 0) to (1, 0). Then ␣ is homotopic to ␤ (by a homotopy that transforms ␣ into ␤ in the manner illustrated in Figure 8.5), but ␣ is not path homotopic to ␤ because we cannot “get from” ␣ to ␤ and keep the “end points” fixed without “cross- ing the hole” in the space. ᐀ ෈ ␣ → ␣ If (X, ) is a topological space and x0 X, let ⍀(X, x0) ϭ { : I X: is con- ␣ ␣ ␣ ␤ ෈ tinuous and (0) ϭ (1) ϭ x0}. Observe that if , ⍀(X, x0), then the product ␣ ␤ ෈ (defined in Section 3.2) * ⍀(X, x0). It is, however, easy to see that * is not associative on ⍀(X, x0). Each member of ⍀(X, x0) is called a loop in X at x0. The proof of the following theorem is similar to the proof of Theorem 8.1 and hence it is left as Exercise 1. A (21, 0) (1, 0) B Figure 8.4 8.1 Homotopy of Paths 269 ␤(I) ␤(I) ␤(I) ␣(I) ␣ (I) ␣(I) ␤(I) ␤(I) ␤(I) ␣(I) ␣(I) ␣(I) Figure 8.5 ᐀ ෈ Ӎ THEOREM 8.2. Let (X, ) be a topological space, and let x0 X. Then p is an ᭿ equivalence relation on ⍀(X, x0). ᐀ ෈ ␣ ෈ ␣ Let (X, ) be a topological space and let x0 X. If ⍀(X, x0), we let [ ] ␣ ␲ denote the path-homotopy equivalence class that contains . Then we let 1(X, x0) denote the set of all path-homotopy equivalence classes on ⍀(X, x0), and we define ␤ ␣ ␤ ؠ ␲ ␣ ؠ an operation on 1(X, x0) by [ ] [ ] ϭ [ * ]. The following theorem tells us .thatؠ is well-defined ᐀ ෈ THEOREM 8.3. Let (X, ) be a topological space and let x0 X. Furthermore, ␣ ␣ ␤ ␤ ෈ ␣ Ӎ ␣ ␤ Ӎ ␤ ␣ ␤ Ӎ let 1, 2, 1, 2 ⍀(X, x0) and suppose 1 p 2 and 1 p 2. Then 1 * 1 p ␣ ␤ 2 * 2. ␣ Ӎ ␣ ␤ Ӎ ␤ Proof. Since 1 p 2 and 1 p 2, there exist continuous functions F, G: I ϫ → ␣ ␣ ␤ I X such that F(x, 0) ϭ 1(x), F(x, 1) ϭ 2(x), G(x, 0) ϭ 1(x), and G(x, 1) ϭ ␤ ෈ ෈ 2(x) for all x I, and F(0, t) ϭ F(1, t) ϭ G(0, t) ϭ G(1, t) ϭ x0 for all t I.
Load more

Recommended publications
  • TOPOLOGY QUALIFYING EXAM May 14, 2016 Examiners: Dr
    Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM May 14, 2016 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least seven problems, at least three problems from each section. For Master’s level, complete at least five problems, at least one problem from each section. State all theorems or lemmas you use. Section I: POINT SET TOPOLOGY 1. Let K = 1/n n N R.Let K = (a, b), (a, b) K a, b R,a<b . { | 2 }⇢ B { \ | 2 } Show that K forms a basis of a topology, RK ,onR,andthatRK is strictly finer than B the standard topology of R. 2. Recall that a space X is countably compact if any countable open covering of X contains afinitesubcovering.ProvethatX is countably compact if and only if every nested sequence C C of closed nonempty subsets of X has a nonempty intersection. 1 ⊃ 2 ⊃··· 3. Assume that all singletons are closed in X.ShowthatifX is regular, then every pair of points of X has neighborhoods whose closures are disjoint. 4. Let X = R2 (0,n) n Z (integer points on the y-axis are removed) and Y = \{ | 2 } R2 (0,y) y R (the y-axis is removed) be subspaces of R2 with the standard topology.\{ Prove| 2 or disprove:} There exists a continuous surjection X Y . ! 5. Let X and Y be metrizable spaces with metrics dX and dY respectively. Let f : X Y be a function. Prove that f is continuous if and only if given x X and ✏>0, there! exists δ>0suchthatd (x, y) <δ d (f(x),f(y)) <✏.
    [Show full text]
  • On Contractible J-Saces
    IHSCICONF 2017 Special Issue Ibn Al-Haitham Journal for Pure and Applied science https://doi.org/ 10.30526/2017.IHSCICONF.1867 On Contractible J-Saces Narjis A. Dawood [email protected] Dept. of Mathematics / College of Education for Pure Science/ Ibn Al – Haitham- University of Baghdad Suaad G. Gasim [email protected] Dept. of Mathematics / College of Education for Pure Science/ Ibn Al – Haitham- University of Baghdad Abstract Jordan curve theorem is one of the classical theorems of mathematics, it states the following : If C is a graph of a simple closed curve in the complex plane the complement of C is the union of two regions, C being the common boundary of the two regions. One of the region is bounded and the other is unbounded. We introduced in this paper one of Jordan's theorem generalizations. A new type of space is discussed with some properties and new examples. This new space called Contractible J-space. Key words : Contractible J- space, compact space and contractible map. For more information about the Conference please visit the websites: http://www.ihsciconf.org/conf/ www.ihsciconf.org Mathematics |330 IHSCICONF 2017 Special Issue Ibn Al-Haitham Journal for Pure and Applied science https://doi.org/ 10.30526/2017.IHSCICONF.1867 1. Introduction Recall the Jordan curve theorem which states that, if C is a simple closed curve in the plane ℝ, then ℝ\C is disconnected and consists of two components with C as their common boundary, exactly one of these components is bounded (see, [1]). Many generalizations of Jordan curve theorem are discussed by many researchers, for example not limited, we recall some of these generalizations.
    [Show full text]
  • 1.6 Covering Spaces 1300Y Geometry and Topology
    1.6 Covering spaces 1300Y Geometry and Topology 1.6 Covering spaces Consider the fundamental group π1(X; x0) of a pointed space. It is natural to expect that the group theory of π1(X; x0) might be understood geometrically. For example, subgroups may correspond to images of induced maps ι∗π1(Y; y0) −! π1(X; x0) from continuous maps of pointed spaces (Y; y0) −! (X; x0). For this induced map to be an injection we would need to be able to lift homotopies in X to homotopies in Y . Rather than consider a huge category of possible spaces mapping to X, we restrict ourselves to a category of covering spaces, and we show that under some mild conditions on X, this category completely encodes the group theory of the fundamental group. Definition 9. A covering map of topological spaces p : X~ −! X is a continuous map such that there S −1 exists an open cover X = α Uα such that p (Uα) is a disjoint union of open sets (called sheets), each homeomorphic via p with Uα. We then refer to (X;~ p) (or simply X~, abusing notation) as a covering space of X. Let (X~i; pi); i = 1; 2 be covering spaces of X. A morphism of covering spaces is a covering map φ : X~1 −! X~2 such that the diagram commutes: φ X~1 / X~2 AA } AA }} p1 AA }}p2 A ~}} X We will be considering covering maps of pointed spaces p :(X;~ x~0) −! (X; x0), and pointed morphisms between them, which are defined in the obvious fashion.
    [Show full text]
  • 07. Homeomorphisms and Embeddings
    07. Homeomorphisms and embeddings Homeomorphisms are the isomorphisms in the category of topological spaces and continuous functions. Definition. 1) A function f :(X; τ) ! (Y; σ) is called a homeomorphism between (X; τ) and (Y; σ) if f is bijective, continuous and the inverse function f −1 :(Y; σ) ! (X; τ) is continuous. 2) (X; τ) is called homeomorphic to (Y; σ) if there is a homeomorphism f : X ! Y . Remarks. 1) Being homeomorphic is apparently an equivalence relation on the class of all topological spaces. 2) It is a fundamental task in General Topology to decide whether two spaces are homeomorphic or not. 3) Homeomorphic spaces (X; τ) and (Y; σ) cannot be distinguished with respect to their topological structure because a homeomorphism f : X ! Y not only is a bijection between the elements of X and Y but also yields a bijection between the topologies via O 7! f(O). Hence a property whose definition relies only on set theoretic notions and the concept of an open set holds if and only if it holds in each homeomorphic space. Such properties are called topological properties. For example, ”first countable" is a topological property, whereas the notion of a bounded subset in R is not a topological property. R ! − t Example. The function f : ( 1; 1) with f(t) = 1+jtj is a −1 x homeomorphism, the inverse function is f (x) = 1−|xj . 1 − ! b−a a+b The function g :( 1; 1) (a; b) with g(x) = 2 x + 2 is a homeo- morphism. Therefore all open intervals in R are homeomorphic to each other and homeomorphic to R .
    [Show full text]
  • Properties of Digital N-Manifolds and Simply Connected Spaces
    The Jordan-Brouwer theorem for the digital normal n-space Zn. Alexander V. Evako. [email protected] Abstract. In this paper we investigate properties of digital spaces which are represented by graphs. We find conditions for digital spaces to be digital n-manifolds and n-spheres. We study properties of partitions of digital spaces and prove a digital analog of the Jordan-Brouwer theorem for the normal digital n-space Zn. Key Words: axiomatic digital topology, graph, normal space, partition, Jordan surface theorem 1. Introduction. A digital approach to geometry and topology plays an important role in analyzing n-dimensional digitized images arising in computer graphics as well as in many areas of science including neuroscience and medical imaging. Concepts and results of the digital approach are used to specify and justify some important low- level image processing algorithms, including algorithms for thinning, boundary extraction, object counting, and contour filling. To study properties of digital images, it is desirable to construct a convenient digital n-space modeling Euclidean n-space. For 2D and 3D grids, a solution was offered first by A. Rosenfeld [18] and developed in a number of papers, just mention [1-2,13,15-16], but it can be seen from the vast amount of literature that generalization to higher dimensions is not easy. Even more, as T. Y. Kong indicates in [14], there are problems even for the 2D and 3D grids. For example, different adjacency relations are used to define connectedness on a set of grid points and its complement. Another approach to overcome connectivity paradoxes and some other apparent contradictions is to build a digital space by using basic structures from algebraic topology such as cell complexes or simplicial complexes, see e.g.
    [Show full text]
  • COMPACT CONTRACTIBLE N-MANIFOLDS HAVE ARC SPINES (N > 5)
    PACIFIC JOURNAL OF MATHEMATICS Vol. 168, No. 1, 1995 COMPACT CONTRACTIBLE n-MANIFOLDS HAVE ARC SPINES (n > 5) FREDRIC D. ANCEL AND CRAIG R. GUILBAULT The following two theorems were motivated by ques- tions about the existence of disjoint spines in compact contractible manifolds. THEOREM 1. Every compact contractible n-manifold (n > 5) is the union of two n-balls along a contractible (n — 1)-dimensional submanifold of their boundaries. A compactum X is a spine of a compact manifold M if M is homeomorphic to the mapping cylinder of a map from dM to X. THEOREM 2. Every compact contractible n-manifold (n > 5) has a wild arc spine. Also a new proof is given that for n > 6, every homology (n — l)-sphere bounds a compact contractible n-manifold. The implications of arc spines for compact contractible manifolds of dimensions 3 and 4 are discussed in §5. The questions about the existence of disjoint spines in com- pact contractible manifolds which motivated the preced- ing theorems are stated in §6. 1. Introduction. Let M be a compact manifold with boundary. A compactum X is a spine of M if there is a map / : dM -> X and a homeomorphism h : M —> Cyl(/) such that h(x) = q((x,0)) for x G dM. Here Cyl(/) denotes the mapping cylinder of / and q : (dM x [0, l])Ul-) Cyl(/) is the natural quotient map. Thus Q\dMx[o,i) and q\X are embeddings and q(x, 1) = q(f(x)) for x e ι dM. So h carries dM homeomorphically onto q(M x {0}), h~ oq\x embeds in X int M, and M - h~ι(q(X)) ^ dM x [0,1).
    [Show full text]
  • General Topology
    General Topology Tom Leinster 2014{15 Contents A Topological spaces2 A1 Review of metric spaces.......................2 A2 The definition of topological space.................8 A3 Metrics versus topologies....................... 13 A4 Continuous maps........................... 17 A5 When are two spaces homeomorphic?................ 22 A6 Topological properties........................ 26 A7 Bases................................. 28 A8 Closure and interior......................... 31 A9 Subspaces (new spaces from old, 1)................. 35 A10 Products (new spaces from old, 2)................. 39 A11 Quotients (new spaces from old, 3)................. 43 A12 Review of ChapterA......................... 48 B Compactness 51 B1 The definition of compactness.................... 51 B2 Closed bounded intervals are compact............... 55 B3 Compactness and subspaces..................... 56 B4 Compactness and products..................... 58 B5 The compact subsets of Rn ..................... 59 B6 Compactness and quotients (and images)............. 61 B7 Compact metric spaces........................ 64 C Connectedness 68 C1 The definition of connectedness................... 68 C2 Connected subsets of the real line.................. 72 C3 Path-connectedness.......................... 76 C4 Connected-components and path-components........... 80 1 Chapter A Topological spaces A1 Review of metric spaces For the lecture of Thursday, 18 September 2014 Almost everything in this section should have been covered in Honours Analysis, with the possible exception of some of the examples. For that reason, this lecture is longer than usual. Definition A1.1 Let X be a set. A metric on X is a function d: X × X ! [0; 1) with the following three properties: • d(x; y) = 0 () x = y, for x; y 2 X; • d(x; y) + d(y; z) ≥ d(x; z) for all x; y; z 2 X (triangle inequality); • d(x; y) = d(y; x) for all x; y 2 X (symmetry).
    [Show full text]
  • Topological Properties
    CHAPTER 4 Topological properties 1. Connectedness • Definitions and examples • Basic properties • Connected components • Connected versus path connected, again 2. Compactness • Definition and first examples • Topological properties of compact spaces • Compactness of products, and compactness in Rn • Compactness and continuous functions • Embeddings of compact manifolds • Sequential compactness • More about the metric case 3. Local compactness and the one-point compactification • Local compactness • The one-point compactification 4. More exercises 63 64 4. TOPOLOGICAL PROPERTIES 1. Connectedness 1.1. Definitions and examples. Definition 4.1. We say that a topological space (X, T ) is connected if X cannot be written as the union of two disjoint non-empty opens U, V ⊂ X. We say that a topological space (X, T ) is path connected if for any x, y ∈ X, there exists a path γ connecting x and y, i.e. a continuous map γ : [0, 1] → X such that γ(0) = x, γ(1) = y. Given (X, T ), we say that a subset A ⊂ X is connected (or path connected) if A, together with the induced topology, is connected (path connected). As we shall soon see, path connectedness implies connectedness. This is good news since, unlike connectedness, path connectedness can be checked more directly (see the examples below). Example 4.2. (1) X = {0, 1} with the discrete topology is not connected. Indeed, U = {0}, V = {1} are disjoint non-empty opens (in X) whose union is X. (2) Similarly, X = [0, 1) ∪ [2, 3] is not connected (take U = [0, 1), V = [2, 3]). More generally, if X ⊂ R is connected, then X must be an interval.
    [Show full text]
  • Algebraic Topology
    Algebraic Topology John W. Morgan P. J. Lamberson August 21, 2003 Contents 1 Homology 5 1.1 The Simplest Homological Invariants . 5 1.1.1 Zeroth Singular Homology . 5 1.1.2 Zeroth deRham Cohomology . 6 1.1.3 Zeroth Cecˇ h Cohomology . 7 1.1.4 Zeroth Group Cohomology . 9 1.2 First Elements of Homological Algebra . 9 1.2.1 The Homology of a Chain Complex . 10 1.2.2 Variants . 11 1.2.3 The Cohomology of a Chain Complex . 11 1.2.4 The Universal Coefficient Theorem . 11 1.3 Basics of Singular Homology . 13 1.3.1 The Standard n-simplex . 13 1.3.2 First Computations . 16 1.3.3 The Homology of a Point . 17 1.3.4 The Homology of a Contractible Space . 17 1.3.5 Nice Representative One-cycles . 18 1.3.6 The First Homology of S1 . 20 1.4 An Application: The Brouwer Fixed Point Theorem . 23 2 The Axioms for Singular Homology and Some Consequences 24 2.1 The Homotopy Axiom for Singular Homology . 24 2.2 The Mayer-Vietoris Theorem for Singular Homology . 29 2.3 Relative Homology and the Long Exact Sequence of a Pair . 36 2.4 The Excision Axiom for Singular Homology . 37 2.5 The Dimension Axiom . 38 2.6 Reduced Homology . 39 1 3 Applications of Singular Homology 39 3.1 Invariance of Domain . 39 3.2 The Jordan Curve Theorem and its Generalizations . 40 3.3 Cellular (CW) Homology . 43 4 Other Homologies and Cohomologies 44 4.1 Singular Cohomology .
    [Show full text]
  • Lecture 34: Hadamaard's Theorem and Covering Spaces
    Lecture 34: Hadamaard’s Theorem and Covering spaces In the next few lectures, we’ll prove the following statement: Theorem 34.1. Let (M,g) be a complete Riemannian manifold. Assume that for every p M and for every x, y T M, we have ∈ ∈ p K(x, y) 0. ≤ Then for any p M,theexponentialmap ∈ exp : T M M p p → is a local diffeomorphism, and a covering map. 1. Complete Riemannian manifolds Recall that a connected Riemannian manifold (M,g)iscomplete if the geodesic equation has a solution for all time t.Thisprecludesexamplessuch as R2 0 with the standard Euclidean metric. −{ } 2. Covering spaces This, not everybody is familiar with, so let me give a quick introduction to covering spaces. Definition 34.2. Let p : M˜ M be a continuous map between topological spaces. p is said to be a covering→ map if (1) p is a local homeomorphism, and (2) p is evenly covered—that is, for every x M,thereexistsaneighbor- 1 ∈ hood U M so that p− (U)isadisjointunionofspacesU˜ for which ⊂ α p ˜ is a homeomorphism onto U. |Uα Example 34.3. Here are some standard examples: (1) The identity map M M is a covering map. (2) The obvious map M →... M M is a covering map. → (3) The exponential map t exp(it)fromR to S1 is a covering map. First, it is clearly a local → homeomorphism—a small enough open in- terval in R is mapped homeomorphically onto an open interval in S1. 113 As for the evenly covered property—if you choose a proper open in- terval inside S1, then its preimage under the exponential map is a disjoint union of open intervals in R,allhomeomorphictotheopen interval in S1 via the exponential map.
    [Show full text]
  • 16. Compactness
    16. Compactness 1 Motivation While metrizability is the analyst's favourite topological property, compactness is surely the topologist's favourite topological property. Metric spaces have many nice properties, like being first countable, very separative, and so on, but compact spaces facilitate easy proofs. They allow you to do all the proofs you wished you could do, but never could. The definition of compactness, which we will see shortly, is quite innocuous looking. What compactness does for us is allow us to turn infinite collections of open sets into finite collections of open sets that do essentially the same thing. Compact spaces can be very large, as we will see in the next section, but in a strong sense every compact space acts like a finite space. This behaviour allows us to do a lot of hands-on, constructive proofs in compact spaces. For example, we can often take maxima and minima where in a non-compact space we would have to take suprema and infima. We will be able to intersect \all the open sets" in certain situations and end up with an open set, because finitely many open sets capture all the information in the whole collection. We will specifically prove an important result from analysis called the Heine-Borel theorem n that characterizes the compact subsets of R . This result is so fundamental to early analysis courses that it is often given as the definition of compactness in that context. 2 Basic definitions and examples Compactness is defined in terms of open covers, which we have talked about before in the context of bases but which we formally define here.
    [Show full text]
  • The Fundamental Group and Covering Spaces
    1 SMSTC Geometry and Topology 2011{2012 Lecture 4 The fundamental group and covering spaces Lecturer: Vanya Cheltsov (Edinburgh) Slides: Andrew Ranicki (Edinburgh) 3rd November, 2011 2 The method of algebraic topology I Algebraic topology uses algebra to distinguish topological spaces from each other, and also to distinguish continuous maps from each other. I A `group-valued functor' is a function π : ftopological spacesg ! fgroupsg which sends a topological space X to a group π(X ), and a continuous function f : X ! Y to a group morphism f∗ : π(X ) ! π(Y ), satisfying the relations (1 : X ! X )∗ = 1 : π(X ) ! π(X ) ; (gf )∗ = g∗f∗ : π(X ) ! π(Z) for f : X ! Y ; g : Y ! Z : I Consequence 1: If f : X ! Y is a homeomorphism of spaces then f∗ : π(X ) ! π(Y ) is an isomorphism of groups. I Consequence 2: If X ; Y are spaces such that π(X ); π(Y ) are not isomorphic, then X ; Y are not homeomorphic. 3 The fundamental group - a first description I The fundamental group of a space X is a group π1(X ). I The actual definition of π1(X ) depends on a choice of base point x 2 X , and is written π1(X ; x). But for path-connected X the choice of x does not matter. I Ignoring the base point issue, the fundamental group is a functor π1 : ftopological spacesg ! fgroupsg. I π1(X ; x) is the geometrically defined group of `homotopy' classes [!] of `loops at x 2 X ', continuous maps ! : S1 ! X such that !(1) = x 2 X .
    [Show full text]