Introduction to Metric Spaces

Dhananjay Gopal Associate Professor of Mathematics in Guru Ghasidas Vishwavidyalaya (A Central University), Bilaspur (C.G.) India. He was a visiting Professor at the Department of Mathematics, University of Jaen, Spain for the spring semester of 2023. He was Assistant Professor of Applied Mathematics at S.V. National Institute of Technology, Surat, Gujarat, from 2009 to 2020. He has earned his doctorate in Mathematics from Guru Ghasidas University, Bilaspur, India and is currently. His research interest is in the theory of Nonlinear Analysis and Fuzzy Metric Fixed Point Theory.He has authored more than 110 papers in journals, proceedings and three books in the field of metric spaces and fixed point theory. He is an editorial board member of three international journals and a regular reviewer of several journals published by international publishers. He was the guest editor of the special issue " Fixed point theory in abstract metric spaces with generalised contractive conditions; new methods, algorithms, and applications", in the Journal of Mathematics and a Special Issue on “Nonlinear operator theory and its applications” in the Journal of function spaces. D. Gopal has active research collaborations with KMUTT, Bangkok, Thammasat University Bangkok, and Jaen University Spain.Mr. Aniruddha Deshmukh is currently a research scholar in the area of Harmonic Analysis and k-plane transform Group from Indian Institute of Technology, Indore, India of (Integrated) MSc Mathematics and is associated to the Applied Mathematics and Humanities Department, S V National Institute of Technology, Surat, Gujarat, India. He has been an active student in the department and has initiated many activities for the benefit of the students, especially as a member of the science community (student chapter), known by the name of SCOSH. During his course, he has also attended various internships and workshop such as the Mathematics Training and Talent Search (MTTS) Programme for two consecutive years (2017–2018) and has also done a project on the qualitative questions on Differential Equations at Indian Institute of Technology (IIT), Gandhinagar, Gujarat, India in 2019. He has also qualified CSIR-NET JRF. Furthermore, his research interest focuses on Linear Algebra and Analysis and their applicability in solving some real-world problems.Abhay S. Ranadive is a Professor at the Department of Pure & Applied Mathematics Ghasidas Vishwavidyalaya (A Central University), Bilaspur, Chattisgarh, India. He has been teaching at the university for the last 30 years. He is author and co-author of several papers in journals and proceedings. He is devoted to general research on the theory of fuzzy sets and fuzzy logic, modules, and metric fixed point.Mr. Shubham Yadav is a research scholar in the area of Geometry and Topology from Harish-Chandra Research Institute (HRI) Prayagraj (Allahabad), Uttar Pradesh, India and is associated to the Applied Mathematics and Humanities Department, S V National Institute of Technology, Surat, Gujarat, India. As a member of SCOSH the student prominent science community in the institute, he has attended and organized various workshops and seminars. He also attended Madhava Mathematics Camp 2017. He did an internship on the calculus of fuzzy numbers at NIT, Trichy and one on operator theory at IIT, Hyderabad. He has also qualified for JRF. His main research interests are functional analysis and fuzzy sets with a knack for learning abstract mathematical concepts.

• ContentsPreface ixA Note to the Reader xiiiAuthors xv1 Set Theory 11.1 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1.1 The empty set . . . . . . . . . . . . . . . . . . . . . . 41.1.2 Operations on sets . . . . . . . . . . . . . . . . . . . . 51.1.3 Uniqueness of the empty set . . . . . . . . . . . . . . . 91.1.4 Power sets . . . . . . . . . . . . . . . . . . . . . . . . . 91.1.5 Cartesian products . . . . . . . . . . . . . . . . . . . . 91.2 Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101.2.1 Types of relations . . . . . . . . . . . . . . . . . . . . 121.2.2 Equivalence relations . . . . . . . . . . . . . . . . . . . 131.2.3 Partition of sets . . . . . . . . . . . . . . . . . . . . . 151.2.4 Partial order relations . . . . . . . . . . . . . . . . . . 161.3 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221.3.1 Composition of functions . . . . . . . . . . . . . . . . 241.3.2 Inverse of a function . . . . . . . . . . . . . . . . . . . 261.3.3 Images of sets under functions . . . . . . . . . . . . . 321.3.4 Inverse images of sets under functions . . . . . . . . . 361.4 Countability of Sets . . . . . . . . . . . . . . . . . . . . . . . 391.4.1 Finite sets . . . . . . . . . . . . . . . . . . . . . . . . . 411.4.2 Countable sets . . . . . . . . . . . . . . . . . . . . . . 44Problem Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47Biographical Notes . . . . . . . . . . . . . . . . . . . . . . . . . . 512 Metric Spaces 552.1 Review of Real Number System and Absolute Value . . . . . 552.2 Young, H¨older, andMinkowski Inequalities . . . . . . . . . . 572.3 Notion ofMetric Space . . . . . . . . . . . . . . . . . . . . . 642.4 Open Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . 812.4.1 Subspace topology . . . . . . . . . . . . . . . . . . . . 962.4.2 Product topology . . . . . . . . . . . . . . . . . . . . . 972.5 Closed Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . 982.6 Interior, Exterior, and Boundary Points . . . . . . . . . . . . 1012.7 Limit and Cluster Points . . . . . . . . . . . . . . . . . . . . 1042.8 Bounded Sets . . . . . . . . . . . . . . . . . . . . . . . . . . 1102.9 Distance Between Sets . . . . . . . . . . . . . . . . . . . . . 1122.10 EquivalentMetrics . . . . . . . . . . . . . . . . . . . . . . . . 115Problem Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123Biographical Notes . . . . . . . . . . . . . . . . . . . . . . . . . . 1253 Complete Metric Spaces 1293.1 Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1293.1.1 Subsequences . . . . . . . . . . . . . . . . . . . . . . . 1303.2 Convergence of Sequence . . . . . . . . . . . . . . . . . . . . 1313.3 CompleteMetric Spaces . . . . . . . . . . . . . . . . . . . . . 1393.4 Completion ofMetric Spaces . . . . . . . . . . . . . . . . . . 1433.4.1 Construction of the set Z . . . . . . . . . . . . . . . . 1453.4.2 Embedding X in Z . . . . . . . . . . . . . . . . . . . . 1473.4.3 Proving Z is complete . . . . . . . . . . . . . . . . . . 1473.4.4 Uniqueness of extension up to isometry . . . . . . . . 1483.5 Baire Category Theorem . . . . . . . . . . . . . . . . . . . . 1493.5.1 Category of sets . . . . . . . . . . . . . . . . . . . . . 1493.5.2 Baire category theorem . . . . . . . . . . . . . . . . . 1513.5.3 Applications of Baire category theorem . . . . . . . . 153Problem Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157Biographical Notes . . . . . . . . . . . . . . . . . . . . . . . . . . 1584 Compact Metric Spaces 1614.1 Open Cover and Compact Sets . . . . . . . . . . . . . . . . . 1614.2 General Properties of Compact Sets . . . . . . . . . . . . . . 1654.3 Sufficient Conditions for Compactness . . . . . . . . . . . . . 1694.4 Sequential Compactness . . . . . . . . . . . . . . . . . . . . . 1724.5 Compactness: Characterizations . . . . . . . . . . . . . . . . 174Problem Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179Biographical Notes . . . . . . . . . . . . . . . . . . . . . . . . . . 1805 Connected Spaces 1835.1 Connectedness . . . . . . . . . . . . . . . . . . . . . . . . . . 1835.1.1 Connected subsets . . . . . . . . . . . . . . . . . . . . 1855.2 Components . . . . . . . . . . . . . . . . . . . . . . . . . . . 1905.3 Totally Disconnected Spaces . . . . . . . . . . . . . . . . . . 192Problem Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1936 Continuity 1956.1 Continuity of Real Valued Functions . . . . . . . . . . . . . . 1956.2 Continuous Functions in ArbitraryMetric Spaces . . . . . . 1976.2.1 Equivalent definitions of continuity and othercharacterizations . . . . . . . . . . . . . . . . . . . . . 2026.2.2 Results on continuity . . . . . . . . . . . . . . . . . . . 2106.3 Uniform Continuity . . . . . . . . . . . . . . . . . . . . . . . 2176.4 Continuous Functions on Compact Spaces . . . . . . . . . . . 2246.5 Continuous Functions on Connected Spaces . . . . . . . . . . 2296.5.1 Path connectedness . . . . . . . . . . . . . . . . . . . . 2376.6 Equicontinuity and Arzela-Ascoli’s Theorem . . . . . . . . . 2426.7 Open and ClosedMaps . . . . . . . . . . . . . . . . . . . . . 2456.8 Homeomorphism . . . . . . . . . . . . . . . . . . . . . . . . . 246Problem Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251Biographical Notes . . . . . . . . . . . . . . . . . . . . . . . . . . 2527 Banach Fixed Point Theorem and Its Applications 2557.1 Banach Contraction Theorem . . . . . . . . . . . . . . . . . 2557.2 Applications of Banach Contraction Principle . . . . . . . . . 2607.2.1 Root finding problem . . . . . . . . . . . . . . . . . . 2607.2.2 Solution of systemof linear algebraic equations . . . . 2617.2.3 Picard existence theorem for differential equations . . 2647.2.4 Solutions of integral equations . . . . . . . . . . . . . 2677.2.5 Solutions of initial value and boundary valueproblems . . . . . . . . . . . . . . . . . . . . . . . . . 2717.2.6 Implicit function theorem . . . . . . . . . . . . . . . . 273Problem Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274Biographical Notes . . . . . . . . . . . . . . . . . . . . . . . . . . 276Appendix A 277Bibliography 281Index 283