DOCSLIB.ORG

Applications to Boundary Value Problems and Homotopy Theory Via Tripled Fixed Point Techniques in Partially Metric Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Applications to Boundary Value Problems and Homotopy Theory Via Tripled Fixed Point Techniques in Partially Metric Spaces mathematics Article Applications to Boundary Value Problems and Homotopy Theory via Tripled Fixed Point Techniques in Partially Metric Spaces Hasanen A. Hammad 1 , Praveen Agarwal 2,3,4,5,6,* and Juan L. G. Guirao 7,8 1 Department of Mathematics, Faculty of Science, Sohag University, Sohag 82524, Egypt; [email protected] 2 Department of Mathematics, Anand International College of Engineering, Jaipur 302012, India 3 Nonlinear Dynamics Research Center (NDRC), Ajman University, Ajman AE 346, United Arab Emirates 4 Institute of Mathematical Modeling, Almaty 050010, Kazakhstan 5 International Center for Basic and Applied Sciences, Jaipur 302029, India 6 Harish-Chandra Research Institute (HRI), Allahabad 211019, India 7 Departamento de Matematica Aplicada y Estadistica, Universidad Politecnica de Cartagena, Hospital de Marina, 30203 Murcia, Spain; [email protected] or [email protected] 8 Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia * Correspondence: [email protected] or [email protected] Abstract: In this manuscript, some tripled fixed point results were derived under (j, r, `)-contraction in the framework of ordered partially metric spaces. Moreover, we furnish an example which supports our theorem. Furthermore, some results about a homotopy results are obtained. Finally, theoretical results are involved in some applications, such as finding the unique solution to the Citation: Hammad, H.A.; Agarwal, boundary value problems and homotopy theory. P.; Guirao, J.L.G. Applications to Boundary Value Problems and Keywords: tripled fixed point; boundary value problem; homotopy theory; partially ordered Homotopy Theory via Tripled Fixed metric space Point Techniques in Partially Metric Spaces. Mathematics 2021, 9, 2012. MSC: 54H25; 47H10; 34B24 https://doi.org/10.3390/math9162012 Academic Editors: Christopher Goodrich and Hsien-Chung Wu 1. Introduction Fixed point theory is one of the important and indispensable branches of non-linear Received: 9 June 2021 analysis due to the proliferation of its applications in many disciplines such as engineer- Accepted: 14 August 2021 Published: 23 August 2021 ing, computer science, physics, economics, biology, chemistry, etc. In mathematics, this technique is credited with clarifying and studying the behavior of dynamical systems, sta- Publisher’s Note: MDPI stays neutral tistical methods, game theory models, differential equations, and many others. Specifically, with regard to jurisdictional claims in this technique studies the existence and uniqueness of the solution to many integral and published maps and institutional affil- fractional equations, which facilitates the way to find numerical solutions to such problems, iations. see [1–11]. Homotopy theory is a fundamental branch of algebraic topology where topologi- cal objects are studied up to homotopy equivalence. In the last century, strong links have emerged between this theory and many branches of mathematics. For example, this trend plays a prominent role in strengthening ties between homotopy theory and Copyright: © 2021 by the authors. Licensee MDPI, Basel, Switzerland. category theory (higher-dimensional), which have received considerable attention in re- This article is an open access article cent years, see [12–15]. Furthermore, it is useful in quantum mechanics for dealing with distributed under the terms and Hamiltonian manifolds. conditions of the Creative Commons The idea of a partially metric space (PMS) was presented by Matthews [16] as a part Attribution (CC BY) license (https:// of the study of denotational semantics of data flow networks. In fact, it is widely shared creativecommons.org/licenses/by/ that PMSs play a prominent role in model building in computational and field theory in 4.0/). computer science, see [17–22]. Mathematics 2021, 9, 2012. https://doi.org/10.3390/math9162012 https://www.mdpi.com/journal/mathematics Mathematics 2021, 9, 2012 2 of 22 Fixed point results for a single mapping in partially ordered metric space (POMSs) were introduced by Matthews [16,23], Oltra and Valero [24] and Altun et al. [25]. For more papers in common fixed point consequences in abstract spaces, we mention [26–32]. In [33], the notion of a coupled fixed point was presented and some pivotal results from it in the setting of PMSs are studied. Later, coupled fixed and coupled common fixed point theorems are proved by [34–37]. In 2011, Berinde and Borcut [38] generalized the idea of a coupled fixed point to a tripled fixed point (TFP) in the setting of POMSs. Under this space, Borcut [39,40], Karapnar et al. [41], Radenovi´c[42] and Aydi et al. [43] introduced some circular theorems concerning TFP theorems. Moreover, more applications in this line are presented by Mustafa et al. [44] and Hammad and De la Sen [45,46]. The purpose of this manuscript is to prove some TFP consequences via (j, r, `)- contraction in the setting of ordered PMSs. In addition, to support our theoretical results, we give an example. Moreover, as applications, the existence and uniqueness of the solution to an initial value problem (IVP) and a homotopy theory are discussed. 2. Preliminaries This part is devoted to recall the standard definition of a homotopy and some elemen- tary properties for PMSs. A homotopy between two functions is defined as follows: consider two continuous functions from a topological space to another; the two functions are considered homotopic if one can be continuously deformed into the other. This deformity is called a homotopy between the two functions. It can be formulated as follows: Definition 1 ([12]). Assume that U, V : D ! E are continuous mappings defined on topo- logical spaces D and E. Then the continuous function H : D × [0, 1] ! E so that H(J, 0) = UJ and H(J, 1) = VJ is called a homotopy from U to V. Furthermore, U and V are called homotopic mappings. + Definition 2 ([16]). Let k 6= Æ. The function L : k × k ! R is called a partial metric on k if for all J1, J2, J3 2 k, the hypotheses below hold: (L1) J1 = J2 iff L(J1, J1) = L(J1, J2) = L(J2, J2); (L2) L(J1, J1) ≤ L(J1, J2) and L(J2, J2) ≤ L(J1, J2); (L3) L(J1, J2) = L(J2, J1); (L4) L(J1, J2) ≤ L(J1, J3) + L(J3, J2) − L(J3, J3). We say that (k, L) is a PMS. + It should be noted that if L is partial metric on k, then the function WL : k × k ! R , described by WL(J1, J2) ≤ 2L(J1, J2) − L(J1, J1) − L(J2, J2), is a metric on k. Example 1 ([23]). Let k = [0, ¥). The pair (k, L) is a PMS under the distance L(J1, J2) = maxfJ1, J2g. It is obvious that L is not a usual metric and in this case WL(J1, J2) = jJ1 − J2j. Example 2. Assume k = f[J1, J2] : J1, J2 2 R, J1 ≤ J2g and define L([J1, J3], [J2, J4]) = maxfJ3, J4g − minfJ1, J2g. Then (k, L) is a PMS. Every partial metric L on k produces a U0 topology cL on k. The base of a topology cL is a family of open L-balls fOL(z, e), z 2 k, e > 0g, where OL(z, e) = fJ 2 k : L(z, J) < L(z, z) + eg, 8z 2 k and e > 0. Mathematics 2021, 9, 2012 3 of 22 Now, we state some topological properties on PMSs. Definition 3 ([16]). A sequence fJwg in a PMS (k, L) is called: w (1) converges to the limit J iff L(J, J) = limw!¥ L(J, J ). n w (2) a Cauchy sequence if limn,w!¥ L(J , J ) exists and is finite. Definition 4 ([16]). (i) A PMS (k, L) is called complete if every Cauchy sequence fJwg in k n w converges (with respect to cL) to a point J 2 k so that L(J, J) = limn,w!¥ L(J , J ). (ii) A mapping x : k ! k is said to be continuous at J0 2 k, if 8e > 0, 9d > 0 so that 0 0 x OL(J , d) ⊆ OL(xJ , e). The following lemmas are very important in the following. Lemma 1 ([16]). (i) We say that fJwg is a Cauchy sequence in the PMS (k, L) if it is a Cauchy sequence in the metric space (k, WL). (ii) If the metric space (k, WL) is complete, the PMS (k, L) is too. Furthermore, w w u w lim WL(J, J ) = 0 , L(J, J) = lim WL(J, J ) = lim WL(J , J ). w!¥ w!¥ w,u!¥ w w Lemma 2 ([47]). Suppose that (k, L) is a PMS. If fJ g 2 k so that limw!¥ J = r and w L(r, r) = 0. Then limw!¥ L(J , s) = limw!¥ L(r, s) for every r, s 2 k. Lemma 3 ([47]). Assume that (k, L) is a PMS. Then (a) If L(J1, J2) = 0, then J1 = J2; (b) If J1 6= J2, then L(J1, J2) > 0. Remark 1 ([47]). If J1 = J2, then L(J1, J2) may not be 0. Definition 5 ([46]). A mapping x : k3 ! k (where k × k × k = k3) on a partially ordered set (POS) (k, ), has a mixed-monotone property, if for any J, q, w 2 k, J1, J2 2 k, J1 J2 ) x(J1, q, w) x(J2, q, w), q1, q2 2 k, q1 q2 ) x(J, q1, w) x(J, q2, w), w1, w2 2 k, w1 w2 ) x(J, q, w1) x(J, q, w2). ∗ Definition 6 ([43]). A mapping x : k3 ! k on a POS (k, ) has a mixed x −monotone property ∗ where x : k ! k, if for any J, q, w 2 k, ∗ ∗ J1, J2 2 k, x J1 x J2 ) x(J1, q, w) x(J2, q, w), ∗ ∗ q1, q2 2 k, x q1 x q2 ) x(J, q1, w) x(J, q2, w), ∗ ∗ w1, w2 2 k, x w1 x w2 ) x(J, q, w1) x(J, q, w2).
Load more

Recommended publications
  • The Boundary Manifold of a Complex Line Arrangement
    Geometry & Topology Monographs 13 (2008) 105–146 105 The boundary manifold of a complex line arrangement DANIEL CCOHEN ALEXANDER ISUCIU We study the topology of the boundary manifold of a line arrangement in CP2 , with emphasis on the fundamental group G and associated invariants. We determine the Alexander polynomial .G/, and more generally, the twisted Alexander polynomial associated to the abelianization of G and an arbitrary complex representation. We give an explicit description of the unit ball in the Alexander norm, and use it to analyze certain Bieri–Neumann–Strebel invariants of G . From the Alexander polynomial, we also obtain a complete description of the first characteristic variety of G . Comparing this with the corresponding resonance variety of the cohomology ring of G enables us to characterize those arrangements for which the boundary manifold is formal. 32S22; 57M27 For Fred Cohen on the occasion of his sixtieth birthday 1 Introduction 1.1 The boundary manifold Let A be an arrangement of hyperplanes in the complex projective space CPm , m > 1. Denote by V S H the corresponding hypersurface, and by X CPm V its D H A D n complement. Among2 the origins of the topological study of arrangements are seminal results of Arnol’d[2] and Cohen[8], who independently computed the cohomology of the configuration space of n ordered points in C, the complement of the braid arrangement. The cohomology ring of the complement of an arbitrary arrangement A is by now well known. It is isomorphic to the Orlik–Solomon algebra of A, see Orlik and Terao[34] as a general reference.
    [Show full text]
  • Graph Manifolds and Taut Foliations Mark Brittenham1, Ramin Naimi, and Rachel Roberts2 Introduction
    Graph manifolds and taut foliations 1 2 Mark Brittenham , Ramin Naimi, and Rachel Roberts UniversityofTexas at Austin Abstract. We examine the existence of foliations without Reeb comp onents, taut 1 1 foliations, and foliations with no S S -leaves, among graph manifolds. We show that each condition is strictly stronger than its predecessors, in the strongest p os- sible sense; there are manifolds admitting foliations of eachtyp e which do not admit foliations of the succeeding typ es. x0 Introduction Taut foliations have b een increasingly useful in understanding the top ology of 3-manifolds, thanks largely to the work of David Gabai [Ga1]. Many 3-manifolds admit taut foliations [Ro1],[De],[Na1], although some do not [Br1],[Cl]. To date, however, there are no adequate necessary or sucient conditions for a manifold to admit a taut foliation. This pap er seeks to add to this confusion. In this pap er we study the existence of taut foliations and various re nements, among graph manifolds. What we show is that there are many graph manifolds which admit foliations that are as re ned as wecho ose, but which do not admit foliations admitting any further re nements. For example, we nd manifolds which admit foliations without Reeb comp onents, but no taut foliations. We also nd 0 manifolds admitting C foliations with no compact leaves, but which do not admit 2 any C such foliations. These results p oint to the subtle nature b ehind b oth top ological and analytical assumptions when dealing with foliations. A principal motivation for this work came from a particularly interesting exam- ple; the manifold M obtained by 37/2 Dehn surgery on the 2,3,7 pretzel knot K .
    [Show full text]
  • A TEXTBOOK of TOPOLOGY Lltld
    SEIFERT AND THRELFALL: A TEXTBOOK OF TOPOLOGY lltld SEI FER T: 7'0PO 1.OG 1' 0 I.' 3- Dl M E N SI 0 N A I. FIRERED SPACES This is a volume in PURE AND APPLIED MATHEMATICS A Series of Monographs and Textbooks Editors: SAMUELEILENBERG AND HYMANBASS A list of recent titles in this series appears at the end of this volunie. SEIFERT AND THRELFALL: A TEXTBOOK OF TOPOLOGY H. SEIFERT and W. THRELFALL Translated by Michael A. Goldman und S E I FE R T: TOPOLOGY OF 3-DIMENSIONAL FIBERED SPACES H. SEIFERT Translated by Wolfgang Heil Edited by Joan S. Birman and Julian Eisner @ 1980 ACADEMIC PRESS A Subsidiary of Harcourr Brace Jovanovich, Publishers NEW YORK LONDON TORONTO SYDNEY SAN FRANCISCO COPYRIGHT@ 1980, BY ACADEMICPRESS, INC. ALL RIGHTS RESERVED. NO PART OF THIS PUBLICATION MAY BE REPRODUCED OR TRANSMITTED IN ANY FORM OR BY ANY MEANS, ELECTRONIC OR MECHANICAL, INCLUDING PHOTOCOPY, RECORDING, OR ANY INFORMATION STORAGE AND RETRIEVAL SYSTEM, WITHOUT PERMISSION IN WRITING FROM THE PUBLISHER. ACADEMIC PRESS, INC. 11 1 Fifth Avenue, New York. New York 10003 United Kingdom Edition published by ACADEMIC PRESS, INC. (LONDON) LTD. 24/28 Oval Road, London NWI 7DX Mit Genehmigung des Verlager B. G. Teubner, Stuttgart, veranstaltete, akin autorisierte englische Ubersetzung, der deutschen Originalausgdbe. Library of Congress Cataloging in Publication Data Seifert, Herbert, 1897- Seifert and Threlfall: A textbook of topology. Seifert: Topology of 3-dimensional fibered spaces. (Pure and applied mathematics, a series of mono- graphs and textbooks ; ) Translation of Lehrbuch der Topologic. Bibliography: p. Includes index. 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]
  • Homology Groups of Homeomorphic Topological Spaces
    An Introduction to Homology Prerna Nadathur August 16, 2007 Abstract This paper explores the basic ideas of simplicial structures that lead to simplicial homology theory, and introduces singular homology in order to demonstrate the equivalence of homology groups of homeomorphic topological spaces. It concludes with a proof of the equivalence of simplicial and singular homology groups. Contents 1 Simplices and Simplicial Complexes 1 2 Homology Groups 2 3 Singular Homology 8 4 Chain Complexes, Exact Sequences, and Relative Homology Groups 9 ∆ 5 The Equivalence of H n and Hn 13 1 Simplices and Simplicial Complexes Definition 1.1. The n-simplex, ∆n, is the simplest geometric figure determined by a collection of n n + 1 points in Euclidean space R . Geometrically, it can be thought of as the complete graph on (n + 1) vertices, which is solid in n dimensions. Figure 1: Some simplices Extrapolating from Figure 1, we see that the 3-simplex is a tetrahedron. Note: The n-simplex is topologically equivalent to Dn, the n-ball. Definition 1.2. An n-face of a simplex is a subset of the set of vertices of the simplex with order n + 1. The faces of an n-simplex with dimension less than n are called its proper faces. 1 Two simplices are said to be properly situated if their intersection is either empty or a face of both simplices (i.e., a simplex itself). By \gluing" (identifying) simplices along entire faces, we get what are known as simplicial complexes. More formally: Definition 1.3. A simplicial complex K is a finite set of simplices satisfying the following condi- tions: 1 For all simplices A 2 K with α a face of A, we have α 2 K.
    [Show full text]
  • Math 396. Interior, Closure, and Boundary We Wish to Develop Some Basic Geometric Concepts in Metric Spaces Which Make Precise C
    Math 396. Interior, closure, and boundary We wish to develop some basic geometric concepts in metric spaces which make precise certain intuitive ideas centered on the themes of \interior" and \boundary" of a subset of a metric space. One warning must be given. Although there are a number of results proven in this handout, none of it is particularly deep. If you carefully study the proofs (which you should!), then you'll see that none of this requires going much beyond the basic definitions. We will certainly encounter some serious ideas and non-trivial proofs in due course, but at this point the central aim is to acquire some linguistic ability when discussing some basic geometric ideas in a metric space. Thus, the main goal is to familiarize ourselves with some very convenient geometric terminology in terms of which we can discuss more sophisticated ideas later on. 1. Interior and closure Let X be a metric space and A X a subset. We define the interior of A to be the set ⊆ int(A) = a A some Br (a) A; ra > 0 f 2 j a ⊆ g consisting of points for which A is a \neighborhood". We define the closure of A to be the set A = x X x = lim an; with an A for all n n f 2 j !1 2 g consisting of limits of sequences in A. In words, the interior consists of points in A for which all nearby points of X are also in A, whereas the closure allows for \points on the edge of A".
    [Show full text]
  • Definition 1. a Manifold with Boundary Is a (Hausdorff, Second Countable) Topological Space X Such That ∀X ∈ X There Exists
    Definition 1. A manifold with boundary is a (Hausdorff, second countable) topological space X such that 8x 2 X there exists an open U 3 x and a n n−1 homeomorphism φU : U ! R or a homeomorphism φU : U ! R≥0 × R . Informally, a manifold is a space where every point has a neighborhood homeomorphic to Euclidean space. Think about the surface of the earth. Locally when we look around it looks like R2, but globally it is not. The surface of the earth is, of course, homeomorphic to the space S2 of unit vectors in R3. If a point has a neighborhood homeomorphic to Rn then it turns out intuition is correct and n is constant on connected components of X. Typically n is constant on all of X and is called the dimension of X. A manifold of dimension n is called an \n-manifold." The boundary of the manifold X, denoted @X, is the set of points which n−1 only admit neighborhoods homeomorphic to R≥0 × R . For example, here's a (2-dimensional) manifold with boundary: : (1) The point x is in the interior (it has a neighborhood homeomorphic to R2) and the point y is on the boundary (it has a neighborhood homeomorphic to R≥0 × R.) The term \manifold with boundary" is standard but somewhat confusing. It is possible for a \manifold with boundary" to have empty boundary, i.e., no boundary. I will simply say \manifold" to mean \manifold with boundary." All manifolds are going to be compact. A manifold is called \closed" if it is compact and without boundary.
    [Show full text]
  • On Manifolds with Corners, and Orientations on fibre Products of Manifolds
    On manifolds with corners Dominic Joyce Abstract Manifolds without boundary, and manifolds with boundary, are uni- versally known and loved in Differential Geometry, but manifolds with k n−k corners (locally modelled on [0, ∞) ×R ) have received comparatively little attention. The basic definitions in the subject are not agreed upon, there are several inequivalent definitions in use of manifolds with corners, of boundary, and of smooth map, depending on the applications in mind. We present a theory of manifolds with corners which includes a new notion of smooth map f : X → Y . Compared to other definitions, our c theory has the advantage of giving a category Man of manifolds with corners which is particularly well behaved as a category: it has products and direct products, boundaries ∂X behave in a functorial way, and there c are simple conditions for the existence of fibre products X ×Z Y in Man . Our theory is tailored to future applications in Symplectic Geometry, and is part of a project to describe the geometric structure on moduli spaces of J-holomorphic curves in a new way. But we have written it as a separate paper as we believe it is of independent interest. 1 Introduction Most of the literature in Differential Geometry discusses only manifolds without boundary (locally modelled on Rn), and a smaller proportion manifolds with boundary (locally modelled on [0, ∞)×Rn−1). Only a few authors have seriously studied manifolds with corners (locally modelled on [0, ∞)k ×Rn−k). They were first developed by Cerf [1] and Douady [2] in 1961, who were primarily interested in their Differential Geometry.
    [Show full text]
  • Chapters 4 (Pdf)
    This is page 142 Printer: Opaque this This is page 143 Printer: Opaque this CHAPTER 4 FORMS ON MANIFOLDS 4.1 Manifolds Our agenda in this chapter is to extend to manifolds the results of Chapters 2 and 3 and to formulate and prove manifold versions of two of the fundamental theorems of integral calculus: Stokes’ theorem and the divergence theorem. In this section we’ll define what we mean by the term “manifold”, however, before we do so, a word of encouragement. Having had a course in multivariable calculus, you are already familiar with manifolds, at least in their one and two dimensional emanations, as curves and surfaces in R3, i.e., a manifold is basically just an n-dimensional surface in some high dimensional Euclidean space. To make this definition precise let X be a subset of RN , Y a subset of Rn and f : X Y a continuous map. We recall → Definition 4.1.1. f is a ∞ map if for every p X, there exists a C ∈ neighborhood, U , of p in RN and a ∞ map, g : U Rn, which p C p p → coincides with f on U X. p ∩ We also recall: Theorem 4.1.2. If f : X Y is a ∞ map, there exists a neigh- → C borhood, U, of X in RN and a ∞ map, g : U Rn such that g C → coincides with f on X. (A proof of this can be found in Appendix A.) We will say that f is a diffeomorphism if it is one–one and onto and f and f −1 are both ∞ maps.
    [Show full text]
  • Homework 5. Solutions
    Homework 5. Solutions 1. Find the interior, the closure and the boundary of the following sets. You need not justify your answers. 2 2 2 A = (x,y) ∈ R : xy ≥ 0 , B = (x,y) ∈ R : y 6= x . The set A is closed, so it is equal to its own closure, while ◦ 2 A = (x,y) ∈ R : xy > 0 , 2 ∂A = (x,y) ∈ R : xy = 0 . The set B is open, so it is equal to its own interior, while 2 2 2 B = R , ∂B = (x,y) ∈ R : y = x . Homework 5. Solutions 2. Let (X,T ) be a topological space and let A ⊂ X. Show that ∂A = ∅ ⇐⇒ A is both open and closed in X. If A is both open and closed in X, then the boundary of A is ∂A = A ∩ X − A = A ∩ (X − A)= ∅. Conversely, suppose that ∂A = ∅. Then Theorem 2.6 implies that ◦ A = A. Since A◦ ⊂ A ⊂ A by definition, these sets are all equal, so ◦ A = A = A =⇒ A is both open and closed in X. Homework 5. Solutions 3. Consider R with its usual topology. Find a set A ⊂ R such that A and its interior A◦ do not have the same closure. If A is any nonempty set whose interior is empty, then ◦ A = ∅ =⇒ A◦ = ∅. On the other hand, A cannot be empty since A ⊂ A by definition. Some typical examples are thus sets A = {x} that only contain one element, sets A = {x1,x2,...,xn} that contain finitely many elements, or even A = Z and A = Q. All of these sets have empty interior because none of them contains an open interval.
    [Show full text]
  • HOMOTOPY THEORY for BEGINNERS Contents 1. Notation
    HOMOTOPY THEORY FOR BEGINNERS JESPER M. MØLLER Abstract. This note contains comments to Chapter 0 in Allan Hatcher's book [5]. Contents 1. Notation and some standard spaces and constructions1 1.1. Standard topological spaces1 1.2. The quotient topology 2 1.3. The category of topological spaces and continuous maps3 2. Homotopy 4 2.1. Relative homotopy 5 2.2. Retracts and deformation retracts5 3. Constructions on topological spaces6 4. CW-complexes 9 4.1. Topological properties of CW-complexes 11 4.2. Subcomplexes 12 4.3. Products of CW-complexes 12 5. The Homotopy Extension Property 14 5.1. What is the HEP good for? 14 5.2. Are there any pairs of spaces that have the HEP? 16 References 21 1. Notation and some standard spaces and constructions In this section we fix some notation and recollect some standard facts from general topology. 1.1. Standard topological spaces. We will often refer to these standard spaces: • R is the real line and Rn = R × · · · × R is the n-dimensional real vector space • C is the field of complex numbers and Cn = C × · · · × C is the n-dimensional complex vector space • H is the (skew-)field of quaternions and Hn = H × · · · × H is the n-dimensional quaternion vector space • Sn = fx 2 Rn+1 j jxj = 1g is the unit n-sphere in Rn+1 • Dn = fx 2 Rn j jxj ≤ 1g is the unit n-disc in Rn • I = [0; 1] ⊂ R is the unit interval • RP n, CP n, HP n is the topological space of 1-dimensional linear subspaces of Rn+1, Cn+1, Hn+1.
    [Show full text]
  • SEPARATION of the «-SPHERE by an (N - 1)-SPHERE by JAMES C
    SEPARATION OF THE «-SPHERE BY AN (n - 1)-SPHERE BY JAMES C. CANTRELL(i) 1. Introduction. Let A be the closed spherical ball in E" centered at the origin 0, and with radius one, B the closed ball centered at O with radius one-half, and C the closed ball centered at O with radius two. The Generalized Schoenflies Theorem states that, if h is a homeomorphism of Cl (C —B) into S", then h(BdA) is tame in S" (the closure of either component of S" —h(BdA) is a closed n-cell) [5]. One is naturally led to the following question : if h is a homeomorphism of C\(A—B) into S", is the closure of the component of S" — h(BdA) which contains n(BdB) a closed n-cell? This question is answered affirmatively by Theorem 1 and should be listed as a corollary to the Generalized Schoenflies Theorem. Let D be the closed ball in E", centered at (0,0,-",0, — 1) with radius two. Two other types of embeddings of Bd.4 in S", n > 3, are considered in §2, (1) the embedding homeomorphism h can be extended to a homeomorphism of Cl(£>— B) into S" such that the extension is semi-linear on each finite polyhedron in the open annulus Int (A — B), and (2) h can be extended to a homeomorphism of C1(B —A) into S" such that the extension is semi-linear in a deleted neigh- borhood of (0, 0, ■■■,(), 1) (see Definition 1). Theorem 4 strongly suggests that, for an embedding of type (1), h(BdA) is tame in S".
    [Show full text]