DOCSLIB.ORG

Algebraic Topology Lecture Notes, Winter Term 2016/17 OTSDAM P EOMETRIE in G

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Algebraic Topology Lecture Notes, Winter Term 2016/17 OTSDAM P EOMETRIE in G Christian Bär Algebraic Topology Lecture Notes, Winter Term 2016/17 OTSDAM P EOMETRIE IN G Version of February 23, 2017 © Christian Bär 2017. All rights reserved. Picture on title page taken from www.sxc.hu. Contents Preface 1 1 Set Theoretic Topology 3 1.1 Typical problems in topology ........................... 3 1.2 Some basic definitions .............................. 7 1.3 Compactness ................................... 9 1.4 Hausdorff spaces ................................. 10 1.5 Quotient spaces .................................. 11 1.6 Product spaces .................................. 12 1.7 Exercises ..................................... 13 2 Homotopy Theory 17 2.1 Homotopic maps ................................. 17 2.2 The fundamental group .............................. 21 2.3 The fundamental group of the circle ....................... 28 2.4 The Seifert-van Kampen theorem ......................... 40 2.5 The fundamental group of surfaces ........................ 52 2.6 Higher homotopy groups ............................. 58 2.7 Exercises ..................................... 75 3 Homology Theory 79 3.1 Singular homology ................................ 79 3.2 Relative homology ................................ 84 3.3 The Eilenberg-Steenrod axioms and applications ................ 87 3.4 The degree of a continuous map ......................... 96 3.5 Homological algebra ............................... 105 3.6 Proof of the homotopy axiom ........................... 112 3.7 Proof of the excision axiom ............................ 116 3.8 The Mayer-Vietoris sequence ........................... 123 3.9 Generalized Jordan curve theorem ........................ 126 3.10 CW-complexes .................................. 130 3.11 Homology of CW-complexes ........................... 135 3.12 Betti numbers and the Euler number ....................... 140 3.13 Incidence numbers ................................ 143 3.14 Homotopy versus homology ........................... 146 3.15 Exercises ..................................... 152 Sources list for pictures 157 i Contents Bibliography 159 Index 161 ii Preface These are the lecture notes of an introductory course on algebraic topology which I taught at Potsdam University during the winter term 2016/17. The aim was to introduce the basic tools from homotopy and homology theory. Choices concerning the material had to be made. Since time was too short for a reasonable discussion of cohomology theory after homology had been treated, I decided to skip cohomology altogether and instead included more material from homotopy theory than is often done. In particular, there is a detailed discussion of higher homotopy groups and the long exact sequence for Serre fibrations. The necessary prerequisites of the students were rather modest. The course contains a quick introduction to set theoretic topology but a certain acquaintance with these concepts was certainly helpful. Familiarity with basic algebraic notions like rings, modules, linear maps etc. was assumed. These notes are based on the lecture notes of a course I taught in 2010. I am grateful to Volker Branding who wrote a first draft of those lecture notes and produced most of the pstricks-figures and to Ramona Ziese who improved those notes considerably. Potsdam, February 2017 Christian Bär 1 1 Set Theoretic Topology 1.1 Typical problems in topology Topology is rough geometry. For example, a sphere is topologically the same as a cube, even though the sphere is smooth and curved while the cube is piecewise flat and has corners. In more precise mathematical terms this means that they are homeomorphic. On the other hand, the sphere is different from a torus even topologically. ≈ 0 Here are four versions of a typical question that one asks in mathematics. Fix the integers 1 n < m. ≤ 1.) Does there exist a linear isomorphism ϕ : Rm Rn ? → No, since linear algebra tells us that isomorphic vector spaces have equal dimension. 2.) Does there exist a diffeomorphism ϕ : Rm Rn ? → No, otherwise the differential dϕ(0) : Rm Rn would be a linear isomorphism. → 3.) Does there exist a homeomorphism ϕ : Rm Rn ? → We cannot answer that question yet, but we will develop the necessary tools to find the answer. 4.) Does there exist a bijective map ϕ : Rm Rn ? → Yes. We will now explicitly construct an example for such a map in the case n = 1 and m = 2. Example 1.1. Since the exponential function maps R bijectively onto R+ = (0, ) it suffices to ∞ construct a bijective map ϕ : R+ R+ R+. → × 3 1 Set Theoretic Topology Given x > 0 write x as infinite decimal fraction. x = ... a3a2a1, b1b2b3 ... Here aj 0, 1,..., 9 and almost all aj are equal to 0. The bj are blocks of the form 0 ... 0cj ∈ { } with cj 1,..., 9 . This representation of x is unique. Now define ϕ(x) = (ϕ (x),ϕ (x)) ∈ { } 1 2 where ϕ1(x) = ... a5a3a1, b1b3b5 ... ϕ2(x) = ... a6a4a2, b2b4b6 ... One easily checks that ϕ maps R+ bijectively onto R+ R+. × Let us evaluate the construction for an example. Let x = 1987, 30500735 .... Then we can read off the aj and the bj as a = 7, a = 8, a = 9, a = 1, aj = 0 for j 5 1 2 3 4 ≥ b1 = 3, b2 = 05, b3 = 007, b4 = 3, b5 = 5,... Hence ϕ1(x) = 97, 30075 ... and ϕ2(x) = 18, 053 ... Remark 1.2. In the continuous world counter-intuitive things can happen which are not possible in the differentiable world. For example, there exist continuous maps ϕ : [0, 1] [0, 1] [0, 1] → × which are surjective. Such a map is called a plane-filling curve. Example 1.3. The first example goes back to Peano [6]. The following example was shortly after given by Hilbert [3] and is known as the Hilbert curve. It is defined by ϕ(x) := lim ϕn (x) n →∞ where the ϕn are defined recursively as indicated by Hilbert in the pictures: 4 1.1 Typical problems in topology ϕ1 ϕ2 ϕ3 ϕ4 ϕ5 ϕ6 Remark 1.4. This cannot happen for smooth curves due to a Theorem by Sard which states that for smooth ϕ : [0, 1] R2 the image ϕ([0, 1]) R2 is a zero set. → ⊂ Many typical problems in topology are of the following form: 1.) Given two spaces, are they homeomorphic? To show that they are, construct a homeomor- phism. To show that they are not, find topological invariants, which are different for given spaces. 2.) Classify all spaces in a certain class up to homeomorphisms. 3.) Fixed point theorems. Example 1.5 (Classification theorem for surfaces). The classification theorem for surfaces states that each orientable compact connected surface is homeomorphic to exactly one in the following infinite list: 5 1 Set Theoretic Topology S2 (sphere), genus 0 T2 (torus), genus 1 F2 (Pretzel surface), genus 2 F3 (true pretzel), genus 3 b b b The genus is the number of “holes” in the surface. We will give a more precise definition later. So the classification theorem says that to each g N there exists an orientable compact connected ∈ 0 surface Fg with genus g and each orientable compact connected surface is homeomorphic to exactly one Fg. Example 1.6 (Brouwer fixed point theorem). Any continuous map f : Dn Dn with → Dn = x Rn x 1 has a fixed point, i.e., there exists an x Dn such that { ∈ |k k ≤ } ∈ f (x) = x. We give a proof for n = 1. Consider the continuous function g : [ 1, 1] R defined by − → g(x) := f (x) x. Now f 1 implies − | | ≤ g( 1) 1 ( 1) = 0, g(1) 1 1 = 0. − ≥− − − ≤ − By the intermediate value theorem we can find an x with g(x) = 0 which is equivalent to f (x) = x. 6 1.2 Some basic definitions 1.2 Some basic definitions First of all let us recall the following Definition 1.7. A subset U Rn is called open iff ⊂ x U r > 0 : B(x, r) U ∀ ∈ ∃ ⊂ n r where B(x, r) = y R d(x, y) = x y < r . b x { ∈ | k − k } The set of open subsets of Rn is called the standard topology of Rn. We write n n Rn := U R open (R ). T { ⊂ } ⊂ P One easily checks Proposition 1.8. Rn has the following properties T n (i) , R Rn ∅ ∈ T (ii) Uj Rn, j J j J Uj Rn ∈T ∈ ⇒ ∈ ∈ T (iii) U , U Rn U S U Rn 1 2 ∈T ⇒ 1 ∩ 2 ∈T The importance of the concept of open subsets comes from the fact that one can characterize continuous maps entirely in terms of open subsets. Namely, a map f : Rn Rm is continuous 1 1 → iff for each U Rm the preimage f (U) is open, f (U) Rn . This motivates taking open ∈ T − − ∈ T subsets axiomatically as the starting point in topology. Definition 1.9. A topological space is a pair (X, X ) with X (X) such that T T ⊂ P (i) , X X ∅ ∈ T (ii) Uj X, j J j J Uj X ∈T ∈ ⇒ ∈ ∈ T (iii) U , U X U S U X 1 2 ∈T ⇒ 1 ∩ 2 ∈ T 7 1 Set Theoretic Topology Definition 1.10. Let (X, X ) be a topological space. Elements of X are called open subsets T T of X. Subsets of the form X U with U X are called closed. \ ∈T Examples 1.11. 1.) X arbitrary set, X = (X) (discrete topology). All subsets of X are open T P and they are also all closed. 2.) X arbitrary set, X = , X (coarse topology). Only X and are open subsets of X. They T {∅ } ∅ are also the only closed subsets. 3.) Let (X, X ) be a topological space, let Y X be an arbitrary subset. The induced topology T ⊂ or subspace topology of Y is defined by Y := U Y U X . T { ∩ | ∈ T } 4.) Let (X, d) be a metric space. Then we can imitate the construction of the standard topology on Rn and define the induced metric as the set of all U X such that for each x U there ⊂ ∈ exists an r > 0 so that B(x, r) U. Here B(x, r) = y X d(x, y) < r is the metric ball ⊂ { ∈ | } of radius r centered at x.
Load more

Recommended publications
  • The Fundamental Group
    The Fundamental Group Tyrone Cutler July 9, 2020 Contents 1 Where do Homotopy Groups Come From? 1 2 The Fundamental Group 3 3 Methods of Computation 8 3.1 Covering Spaces . 8 3.2 The Seifert-van Kampen Theorem . 10 1 Where do Homotopy Groups Come From? 0 Working in the based category T op∗, a `point' of a space X is a map S ! X. Unfortunately, 0 the set T op∗(S ;X) of points of X determines no topological information about the space. The same is true in the homotopy category. The set of `points' of X in this case is the set 0 π0X = [S ;X] = [∗;X]0 (1.1) of its path components. As expected, this pointed set is a very coarse invariant of the pointed homotopy type of X. How might we squeeze out some more useful information from it? 0 One approach is to back up a step and return to the set T op∗(S ;X) before quotienting out the homotopy relation. As we saw in the first lecture, there is extra information in this set in the form of track homotopies which is discarded upon passage to [S0;X]. Recall our slogan: it matters not only that a map is null homotopic, but also the manner in which it becomes so. So, taking a cue from algebraic geometry, let us try to understand the automorphism group of the zero map S0 ! ∗ ! X with regards to this extra structure. If we vary the basepoint of X across all its points, maybe it could be possible to detect information not visible on the level of π0.
    [Show full text]
  • 4 Homotopy Theory Primer
    4 Homotopy theory primer Given that some topological invariant is different for topological spaces X and Y one can definitely say that the spaces are not homeomorphic. The more invariants one has at his/her disposal the more detailed testing of equivalence of X and Y one can perform. The homotopy theory constructs infinitely many topological invariants to characterize a given topological space. The main idea is the following. Instead of directly comparing struc- tures of X and Y one takes a “test manifold” M and considers the spacings of its mappings into X and Y , i.e., spaces C(M, X) and C(M, Y ). Studying homotopy classes of those mappings (see below) one can effectively compare the spaces of mappings and consequently topological spaces X and Y . It is very convenient to take as “test manifold” M spheres Sn. It turns out that in this case one can endow the spaces of mappings (more precisely of homotopy classes of those mappings) with group structure. The obtained groups are called homotopy groups of corresponding topological spaces and present us with very useful topological invariants characterizing those spaces. In physics homotopy groups are mostly used not to classify topological spaces but spaces of mappings themselves (i.e., spaces of field configura- tions). 4.1 Homotopy Definition Let I = [0, 1] is a unit closed interval of R and f : X Y , → g : X Y are two continuous maps of topological space X to topological → space Y . We say that these maps are homotopic and denote f g if there ∼ exists a continuous map F : X I Y such that F (x, 0) = f(x) and × → F (x, 1) = g(x).
    [Show full text]
  • MTH 304: General Topology Semester 2, 2017-2018
    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
    [Show full text]
  • Some Finiteness Results for Groups of Automorphisms of Manifolds 3
    SOME FINITENESS RESULTS FOR GROUPS OF AUTOMORPHISMS OF MANIFOLDS ALEXANDER KUPERS Abstract. We prove that in dimension =6 4, 5, 7 the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses homological stability, embedding calculus and the arithmeticity of mapping class groups. From this we deduce similar results for the homeomorphisms of Rn and various types of automorphisms of 2-connected manifolds. Contents 1. Introduction 1 2. Homologically and homotopically finite type spaces 4 3. Self-embeddings 11 4. The Weiss fiber sequence 19 5. Proofs of main results 29 References 38 1. Introduction Inspired by work of Weiss on Pontryagin classes of topological manifolds [Wei15], we use several recent advances in the study of high-dimensional manifolds to prove a structural result about diffeomorphism groups. We prove the classifying spaces of such groups are often “small” in one of the following two algebro-topological senses: Definition 1.1. Let X be a path-connected space. arXiv:1612.09475v3 [math.AT] 1 Sep 2019 · X is said to be of homologically finite type if for all Z[π1(X)]-modules M that are finitely generated as abelian groups, H∗(X; M) is finitely generated in each degree. · X is said to be of finite type if π1(X) is finite and πi(X) is finitely generated for i ≥ 2. Being of finite type implies being of homologically finite type, see Lemma 2.15. Date: September 4, 2019. Alexander Kupers was partially supported by a William R.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC TOPOLOGY 1 Category And
    INTRODUCTION TO ALGEBRAIC TOPOLOGY (UPDATED June 2, 2020) SI LI AND YU QIU CONTENTS 1 Category and Functor 2 Fundamental Groupoid 3 Covering and fibration 4 Classification of covering 5 Limit and colimit 6 Seifert-van Kampen Theorem 7 A Convenient category of spaces 8 Group object and Loop space 9 Fiber homotopy and homotopy fiber 10 Exact Puppe sequence 11 Cofibration 12 CW complex 13 Whitehead Theorem and CW Approximation 14 Eilenberg-MacLane Space 15 Singular Homology 16 Exact homology sequence 17 Barycentric Subdivision and Excision 18 Cellular homology 19 Cohomology and Universal Coefficient Theorem 20 Hurewicz Theorem 21 Spectral sequence 22 Eilenberg-Zilber Theorem and Kunneth¨ formula 23 Cup and Cap product 24 Poincare´ duality 25 Lefschetz Fixed Point Theorem 1 1 CATEGORY AND FUNCTOR 1 CATEGORY AND FUNCTOR Category In category theory, we will encounter many presentations in terms of diagrams. Roughly speaking, a diagram is a collection of ‘objects’ denoted by A, B, C, X, Y, ··· , and ‘arrows‘ between them denoted by f , g, ··· , as in the examples f f1 A / B X / Y g g1 f2 h g2 C Z / W We will always have an operation ◦ to compose arrows. The diagram is called commutative if all the composite paths between two objects ultimately compose to give the same arrow. For the above examples, they are commutative if h = g ◦ f f2 ◦ f1 = g2 ◦ g1. Definition 1.1. A category C consists of 1◦. A class of objects: Obj(C) (a category is called small if its objects form a set). We will write both A 2 Obj(C) and A 2 C for an object A in C.
    [Show full text]
  • Algebraic Topology
    Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy and the Fundamental Group 11 1. Homotopy 11 2. The Fundamental Group 12 3. Homotopy Equivalence 18 4. Categories and Functors 20 5. The fundamental group of S1 22 6. Some Applications 25 Chapter 3. Quotient Spaces and Covering Spaces 33 1. The Quotient Topology 33 2. Covering Spaces 40 3. Action of the Fundamental Group on Covering Spaces 44 4. Existence of Coverings and the Covering Group 48 5. Covering Groups 56 Chapter 4. Group Theory and the Seifert{Van Kampen Theorem 59 1. Some Group Theory 59 2. The Seifert{Van Kampen Theorem 66 Chapter 5. Manifolds and Surfaces 73 1. Manifolds and Surfaces 73 2. Outline of the Proof of the Classification Theorem 80 3. Some Remarks about Higher Dimensional Manifolds 83 4. An Introduction to Knot Theory 84 Chapter 6. Singular Homology 91 1. Homology, Introduction 91 2. Singular Homology 94 3. Properties of Singular Homology 100 4. The Exact Homology Sequence{ the Jill Clayburgh Lemma 109 5. Excision and Applications 116 6. Proof of the Excision Axiom 120 3 4 CONTENTS 7. Relation between π1 and H1 126 8. The Mayer-Vietoris Sequence 128 9. Some Important Applications 131 Chapter 7. Simplicial Complexes 137 1. Simplicial Complexes 137 2. Abstract Simplicial Complexes 141 3. Homology of Simplicial Complexes 143 4. The Relation of Simplicial to Singular Homology 147 5. Some Algebra. The Tensor Product 152 6.
    [Show full text]
  • Properties of 3-Manifolds for Relativists
    Freiburg, THEP- 93/15 gr-qc/9308008 PROPERTIES OF 3-MANIFOLDS FOR RELATIVISTS Domenico Giulini* Fakult¨at f¨ur Physik, Universit¨at Freiburg Hermann-Herder Strasse 3, D-79104 Freiburg, Germany Abstract In canonical quantum gravity certain topological properties of 3-manifolds are of interest. This article gives an account of those properties which have so far received sufficient attention, especially those concerning the diffeomorphism groups of 3-manifolds. We give a summary of these properties and list some old and new results concerning them. The appendix contains a discussion of the group of large diffeomorphisms of the l-handle 3- manifold. Introduction In the canonical formulation of general relativity and in particular in all approaches to canonical quantum gravity it emerges that the diffeomorphism groups of closed 3- manifolds are of particular interest. Here one is interested in a variety of questions concerning either the whole diffeomorphism group or certain subgroups thereof. More arXiv:gr-qc/9308008v1 9 Aug 1993 precisely, one is e.g. interested in whether the 3-manifold admits orientation reversing self-diffeomorphisms [So] (following this reference we will call a manifold chiral, iff it admits no such diffeomorphism) or what diffeomorphisms not connected to the identity there are in the subgroup fixing a frame [FS][Is][So][Wi1]. Other topological invariants of this latter subgroup are also argued to be of interest in quantum gravity [Gi1]. In the sum over histories approach one is also interested in whether a given 3-manifold can be considered as the spatial boundary of a spin-Lorentz 4-manifold [GH][Gi2] (following ref.
    [Show full text]
  • Lectures on the Stable Homotopy of BG 1 Preliminaries
    Geometry & Topology Monographs 11 (2007) 289–308 289 arXiv version: fonts, pagination and layout may vary from GTM published version Lectures on the stable homotopy of BG STEWART PRIDDY This paper is a survey of the stable homotopy theory of BG for G a finite group. It is based on a series of lectures given at the Summer School associated with the Topology Conference at the Vietnam National University, Hanoi, August 2004. 55P42; 55R35, 20C20 Let G be a finite group. Our goal is to study the stable homotopy of the classifying space BG completed at some prime p. For ease of notation, we shall always assume that any space in question has been p–completed. Our fundamental approach is to decompose the stable type of BG into its various summands. This is useful in addressing many questions in homotopy theory especially when the summands can be identified with simpler or at least better known spaces or spectra. It turns out that the summands of BG appear at various levels related to the subgroup lattice of G. Moreover since we are working at a prime, the modular representation theory of automorphism groups of p–subgroups of G plays a key role. These automorphisms arise from the normalizers of these subgroups exactly as they do in p–local group theory. The end result is that a complete stable decomposition of BG into indecomposable summands can be described (Theorem 6) and its stable homotopy type can be characterized algebraically (Theorem 7) in terms of simple modules of automorphism groups. This paper is a slightly expanded version of lectures given at the International School of the Hanoi Conference on Algebraic Topology, August 2004.
    [Show full text]
  • Introduction to Algebraic Topology MAST31023 Instructor: Marja Kankaanrinta Lectures: Monday 14:15 - 16:00, Wednesday 14:15 - 16:00 Exercises: Tuesday 14:15 - 16:00
    Introduction to Algebraic Topology MAST31023 Instructor: Marja Kankaanrinta Lectures: Monday 14:15 - 16:00, Wednesday 14:15 - 16:00 Exercises: Tuesday 14:15 - 16:00 August 12, 2019 1 2 Contents 0. Introduction 3 1. Categories and Functors 3 2. Homotopy 7 3. Convexity, contractibility and cones 9 4. Paths and path components 14 5. Simplexes and affine spaces 16 6. On retracts, deformation retracts and strong deformation retracts 23 7. The fundamental groupoid 25 8. The functor π1 29 9. The fundamental group of a circle 33 10. Seifert - van Kampen theorem 38 11. Topological groups and H-spaces 41 12. Eilenberg - Steenrod axioms 43 13. Singular homology theory 44 14. Dimension axiom and examples 49 15. Chain complexes 52 16. Chain homotopy 59 17. Relative homology groups 61 18. Homotopy invariance of homology 67 19. Reduced homology 74 20. Excision and Mayer-Vietoris sequences 79 21. Applications of excision and Mayer - Vietoris sequences 83 22. The proof of excision 86 23. Homology of a wedge sum 97 24. Jordan separation theorem and invariance of domain 98 25. Appendix: Free abelian groups 105 26. English-Finnish dictionary 108 References 110 3 0. Introduction These notes cover a one-semester basic course in algebraic topology. The course begins by introducing some fundamental notions as categories, functors, homotopy, contractibility, paths, path components and simplexes. After that we will study the fundamental group; the Fundamental Theorem of Algebra will be proved as an application. This will take roughly the first half of the semester. During the second half of the semester we will study singular homology.
    [Show full text]
  • Knots, 3-Manifolds and the Lickorish Wallace Theorem
    KNOTS, 3-MANIFOLDS AND THE LICKORISH WALLACE THEOREM A REPORT submitted in partial fulfillment of the requirements for the award of the dual degree of Bachelor of Science-Master of Science in MATHEMATICS by M V AJAY KUMAR NAIR (13076) DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF SCIENCE EDUCATION AND RESEARCH BHOPAL BHOPAL - 462066 April 2018 i CERTIFICATE This is to certify that M V Ajay Kumar Nair, BS-MS (Dual Degree) student in Department of Mathematics has completed bonafide work on the dissertation entitled `Knots, 3-manifolds and the Lickorish Wallace theorem' under my supervision and guidance. April 2018 Dr. Kashyap Rajeevsarathy IISER Bhopal Committee Member Signature Date ii ACADEMIC INTEGRITY AND COPYRIGHT DISCLAIMER I hereby declare that this project is my own work and, to the best of my knowledge, it contains no materials previously published or written by another person, or substantial proportions of material which have been ac- cepted for the award of any other degree or diploma at IISER Bhopal or any other educational institution, except where due acknowledgement is made in the document. I certify that all copyrighted material incorporated into this document is in compliance with the Indian Copyright (Amendment) Act (2012) and that I have received written permission from the copyright owners for my use of their work, which is beyond the scope of the law. I agree to indemnify and saveguard IISER Bhopal from any claims that may be arise from any copyright violation. April 2018 M V Ajay Kumar Nair IISER Bhopal iii ACKNOWLEDGEMENT I would like to extend my heartfelt gratitude to my thesis supervisor Dr Kashyap Rajeevsarathy for the persistent inspiration and guidance.
    [Show full text]
  • HOMOTOPIES and DEFORMATION RETRACTS THESIS Presented To
    A181 HOMOTOPIES AND DEFORMATION RETRACTS THESIS Presented to the Graduate Council of the University of North Texas in Partial Fulfillment of the Requirements For the Degree of MASTER OF ARTS By Villiam D. Stark, B.G.S. Denton, Texas December, 1990 Stark, William D., Homotopies and Deformation Retracts. Master of Arts (Mathematics), December, 1990, 65 pp., 9 illustrations, references, 5 titles. This paper introduces the background concepts necessary to develop a detailed proof of a theorem by Ralph H. Fox which states that two topological spaces are the same homotopy type if and only if both are deformation retracts of a third space, the mapping cylinder. The concepts of homotopy and deformation are introduced in chapter 2, and retraction and deformation retract are defined in chapter 3. Chapter 4 develops the idea of the mapping cylinder, and the proof is completed. Three special cases are examined in chapter 5. TABLE OF CONTENTS Page LIST OF ILLUSTRATIONS . .0 . a. 0. .a . .a iv CHAPTER 1. Introduction . 1 2. Homotopy and Deformation . 3. Retraction and Deformation Retract . 10 4. The Mapping Cylinder .. 25 5. Applications . 45 REFERENCES . .a .. ..a0. ... 0 ... 65 iii LIST OF ILLUSTRATIONS Page FIGURE 1. Illustration of a Homotopy ... 4 2. Homotopy for Theorem 2.6 . 8 3. The Comb Space ...... 18 4. Transitivity of Homotopy . .22 5. The Mapping Cylinder . 26 6. Function Diagram for Theorem 4.5 . .31 7. The Homotopy "r" . .37 8. Special Inverse . .50 9. Homotopy for Theorem 5.11 . .61 iv CHAPTER I INTRODUCTION The purpose of this paper is to introduce some concepts which can be used to describe relationships between topological spaces, specifically homotopy, deformation, and retraction.
    [Show full text]
  • Math 2701 - Topology 2 Possible Final Project Topics List
    Math 2701 - Topology 2 Possible Final Project Topics List The classification of one-manifolds. There do not seem to be many proofs of this classical result in print, though there are more on the internet. Guillemin{Pollack's Differential Topology gives one in the smooth case, and David Gale's American Mathematical Monthly article \The Classification of 1-Manifolds: A Take-Home Exam" gives a topological proof (in exercises; google it). The classification of surfaces. A cornerstone result in many different areas of topology. There's a classical proof using triangulations which is presented, for instance, in Massey's A Basic Course in Algebraic Topology, Chapter 1 x7. \Conway's ZIP Proof" (American Mathematical Monthly article by Francis{Weeks; google it) presents a \lighter, fat-free nouvelle cuisine approach that retains all the classical flavor of elementary topology", due to John H. Conway. The Jordan Curve theorem, the Schoenfliess Theorem, and the Alexander horned 2 sphere. The first asserts that every embedded circle in R divides it into two components, each of which it bounds; the second, that one of these is homeomorphic to a disk. These are discussed in most basic topology books, eg. Armstrong's Basic Topology and Munkres' Topology. The Jordan curve theorem extends to higher dimensions whereas the Schoenfliess theorem does not (in the topological category, at least), and the Alexander horned sphere is a counterexample: a two-sphere 3 embedded in R that does not bound a ball. See Hatcher's Algebraic Topology, Example 2B.2. First homology vs. the abelianization of π1. Section 1.A of Hatcher's Algebraic Topology gives a proof of the fundamental computational result that for a path connected space X, H1(X) ab is naturally isomorphic to the abelianization π1(X) of π1(X).
    [Show full text]