DOCSLIB.ORG

Complete Nonnegatively Curved Spheres and Planes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Complete Nonnegatively Curved Spheres and Planes COMPLETE NONNEGATIVELY CURVED SPHERES AND PLANES A Thesis Presented to The Academic Faculty by Jing Hu In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the School of Mathematics Georgia Institute of Technology August 2015 Copyright c 2015 by Jing Hu COMPLETE NONNEGATIVELY CURVED SPHERES AND PLANES Approved by: Igor Belegradek, Advisor Dan Margalit School of Mathematics School of Mathematics Georgia Institute of Technology Georgia Institute of Technology John Etnyre Arash Yavari School of Mathematics School of Civil and Environmental Georgia Institute of Technology Engineering Georgia Institute of Technology Mohammad Ghomi Date Approved: May 22, 2015 School of Mathematics Georgia Institute of Technology To my parents, iii PREFACE This dissertation is submitted for the degree of Doctor of Philosophy at Georgia Institute of Technology. The research described herein was conducted under the supervision of Professor Igor Belegradek in the School of Mathematics, Georgia Institute of Technology, between August 2010 and April 2015. This work is to the best of my knowledge original, except where acknowledgements and references are made to previous work. Part of this work has been presented in the following publication: Igor Belegradek, Jing Hu.: Connectedness properties of the space of complete nonnega- tively curved planes, Math. Ann., (2014), DOI 10.1007/s00208-014-1159-7. iv ACKNOWLEDGEMENTS I would like to express my special appreciation and thanks to my advisor Professor Igor Belegradek, who have been a tremendous mentor for me. I would like to thank him for encouraging my research. All results in this thesis are joint work with him. I would also like to thank my committee members, Professor John Etnyre, Professor Dan Margalit, Professor Mohammad Ghomi and Professor Arash Yavari for serving as my com- mittee members. A special thanks to my family. Words cannot express how grateful I am to my mother, my father and my younger brother for all of the sacrifices that you’ve made on my behalf. I would also like to thank my friends Ling Ling, Qingqing Liu, Helen Lin and others gave me inspiration toward my research and life. v TABLE OF CONTENTS DEDICATION ..................................... iii PREFACE ....................................... iv ACKNOWLEDGEMENTS .............................. v SUMMARY ...................................... viii I INTRODUCTION ................................ 1 1.1 Introduction . .1 II NON NEGATIVELY CURVED SPHERES .................. 8 k+α 2 2.1 Interpretation of R≥0 (S )..........................8 1 2 2.2 R≥0(S )...................................9 k+α k+α 2 2.3 L1 with C (k ≥ 2) topology and R≥0 (S ) are not completely metrizable . 10 2.4 Beltrami equation on S 2 ........................... 16 k+α 2.5 L1 equipped with C topology is homogenous . 21 + 2 k+1+α 2.6 Diff0;1;1(S ) equipped with the C topology is contractible . 26 Rk+α 2 n ≥ 2.7 >0 (S ) K is weakly contractible for k 2................ 27 III NON NEGATIVELY CURVED PLANES ................... 31 3.1 Non negatively curved planes . 31 3.2 Complete non negatively curved planes . 33 1 2 3.3 Properties of S1 = fu 2 C (R )j ∆u ≥ 0; α(u) ≤ 1g ............. 37 k+α 2 3.4 Connectedness properties of R≥0 (R )................... 48 3.5 Moduli space of complete non negatively curved metrics . 52 k+α 2 3.6 R≥0 (R ) n K is weakly contractible for α 2 (0; 1) . 56 APPENDIX A — DIMENSION .......................... 59 APPENDIX B — CK- TOPOLOGY AND HOLDER¨ SPACE .......... 61 APPENDIX C — BELTRAMI EQUATION ................... 65 APPENDIX D — METRIZABILITY ...................... 67 vi REFERENCES ..................................... 72 VITA .......................................... 75 vii SUMMARY First we study the space of complete Riemannian metrics of nonnegative curva- ture on the sphere equipped with Ck+α topology. In this thesis, unless stated otherwise we assume α 2 [0; 1). When α = 0, it means the compact open Ck topology. We show the space is homogenous for k ≥ 2 and α 2 (0; 1). If k is infinite, we show that the space is homeomorphic to the separable Hilbert space. We also prove for finite k and α 2 (0; 1), + 2 the space minus any compact subset is weakly contractible. We also study Diff0;1;1(S ), the group of self-diffeomorphism of the sphere fixing the complex numbers 0, 1, 1 and + 2 k+α isotopic to the identity. For any k + α, we show Diff0;1;1(S ) equipped with C topology is not completely metrizable. Then we study the space of complete Riemannian metrics of nonnegative curvature on the plane equipped with the Ck+α topology. If k is infinite, we show that the space is home- omorphic to the separable Hilbert space. For any finite k and α 2 (0; 1), we prove that the space minus a compact subset is weakly contractible. For any finite k + α, we show the space cannot be made disconnected by removing a finite dimensional subset. A similar re- sult holds for the associated moduli space. The proof combines properties of subharmonic functions with results of infinite dimensional topology and dimension theory. A key step is a characterization of the conformal factors that make the standard Euclidean metric on the plane into a complete metric of nonnegative sectional curvature. viii CHAPTER I INTRODUCTION 1.1 Introduction The spaces of Riemannian metrics have been studied under various geometric assumptions such as positive scalar [34, 35, 37], negative sectional [18, 19, 20, 21], positive Ricci [42], and nonnegative sectional [10] curvatures. In this thesis we study the spaces of Riemannian metrics under the assumption that the metric is both complete and nonnegativey curved. k+α 1 Let M be any m-dimensional manifold. Let R≥0 (M) denote the set of C complete Rie- mannian metrics on M of nonnegative sectional curvature equipped with the Ck+α topology, where k is a finite integer or 1 and α 2 [0; 1). When α = 0, it is the compact open Ck topol- ogy. When α 2 (0; 1), it is the Holder¨ Ck+α topology. For the sphere, Earle-Schwartz [17] implies that φ depends in Ck+α (α 2 (0; 1)) on the Beltrami dilatation, i.e. φ depends in Ck+α (α 2 (0; 1)) on w in the Beltrami equation w w k+α φz¯ = wφz . This easily implies that φ depends in C (α 2 (0; 1)) on the metric g . For the sphere, we consider a bijection + 2 2 Π : L1 × Diff0;1;1(S ) !R≥0(S ); f j 2 1 2 ≤ g + 2 where L1 = u u C (S ); ∆ug1 1 and Diff0;1;1(S ) is the group of self-diffeomorphism of the sphere fixing the complex numbers 0, 1, 1 and isotopic to the identity. For the plane, we consider a bijection + 2 2 Π : S1 × Diff0;1(R ) !R≥0(R ): 1 k+α 2 k+α 2 In this thesis, we mainly study topology of R≥0 (S ), R≥0 (R ) and how their topologi- cal properties vary with k. The cases of spheres and planes are considered in chapter 2 and chapter 3, respectively. k+α 2 2 In chapter 2 we study topology of R≥0 (S ). Any metric on S is conformal to the round 2 ∗ 2u metric g1. So up to normalization a metric g 2 R≥0(S ) can be written uniquely as φ e g1 where φ is a C1 self-diffeomorphism of S 2 that fixes 0, 1, 1, and u is a C1 function on S 2. −2u The sectional curvature of g equals e (1−4g1 u), so nonnegatively curved means 4g1 u 6 1. Consider the bijection + 2 2 Π : L1 × Diff0;1;1(S ) !R≥0(S ); f j 2 1 2 ≤ g + 2 where L1 = u u C (S ); ∆ug1 1 and Diff0;1;1(S ) is the group of self-diffeomorphism of the sphere fixing the complex numbers 0, 1, 1 and isotopic to the identity. k+α 2 To better understand the topology of R≥0 (S ) we prove the following k+α + 2 (1) The map Π is a homeomorphism if L1 is given the C topology and Diff0;1;1(S ) is given the Ck+1+α topology, where k is nonnegative integer or 1 and α 2 (0; 1) [Theo- rem 2.4.1]. We prove the following + 2 2 1 2 (2) For k = 1 the spaces Diff0;1;1(S ) and L1 are both homeomorphic to l , so R≥0(S ) is homeomorphic to l2 [Theorem 2.2.1]. k+α k+α 2 We also study the metrizability of L1 with C topology and R≥0 (S ). We prove the fol- lowing theorems. k+α (3) If k , 1 and k ≥ 2, then L1 equipped with C topology is not completely metriz- k+α 2 + 2 able [Theorem 2.3.8]. The space R≥0 (S ) is not completely metrizable since Diff0;1;1(S ) equipped with Ck+1+α topology is not completely metrizable [Theorem 2.3.9, Theorem 2.3.10]. 2 k+α For finite k we discuss the homeomorphism type of L1 equipped with C topology. k+α One natural guess is that L1 equipped with C topology are of the same homeomorphism type for different k’s. k+α 2 A natural question is whether R≥0 (S ) is homogenous. In general, convex subset of Banach spaces need not be homogenous and their homeomorphism classification is wide k+α 2 open. We prove R≥0 (S ) is homogenous for k ≥ 2 as follows k+α k+α 2 (4) L1 equipped with C topology and R≥0 (S )(α 2 (0; 1); k ≥ 2) are homogenous [Theorem 2.5.5].
Load more

Recommended publications
  • Dimension and Dimensional Reduction in Quantum Gravity
    May 2017 Dimension and Dimensional Reduction in Quantum Gravity S. Carlip∗ Department of Physics University of California Davis, CA 95616 USA Abstract , A number of very different approaches to quantum gravity contain a common thread, a hint that spacetime at very short distances becomes effectively two dimensional. I review this evidence, starting with a discussion of the physical meaning of “dimension” and concluding with some speculative ideas of what dimensional reduction might mean for physics. arXiv:1705.05417v2 [gr-qc] 29 May 2017 ∗email: [email protected] 1 Why Dimensional Reduction? What is the dimension of spacetime? For most of physics, the answer is straightforward and uncontroversial: we know from everyday experience that we live in a universe with three dimensions of space and one of time. For a condensed matter physicist, say, or an astronomer, this is simply a given. There are a few exceptions—surface states in condensed matter that act two-dimensional, string theory in ten dimensions—but for the most part dimension is simply a fixed, and known, external parameter. Over the past few years, though, hints have emerged from quantum gravity suggesting that the dimension of spacetime is dynamical and scale-dependent, and shrinks to d 2 at very small ∼ distances or high energies. The purpose of this review is to summarize this evidence and to discuss some possible implications for physics. 1.1 Dimensional reduction and quantum gravity As early as 1916, Einstein pointed out that it would probably be necessary to combine the newly formulated general theory of relativity with the emerging ideas of quantum mechanics [1].
    [Show full text]
  • The Small Inductive Dimension Can Be Raised by the Adjunction of a Single Point
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector MATHEMATICS THE SMALL INDUCTIVE DIMENSION CAN BE RAISED BY THE ADJUNCTION OF A SINGLE POINT BY ERIC K. VAN DOUWEN (Communicated by Prof. R. TIBXMAN at the meeting of June 30, 1973) Unless otherwise indicated, all spaces are metrizable. 1. INTRODUCTION In this note we construct a metrizable space P containing a point p such that ind P\@} = 0 and yet ind P = 1, thus showing that the small inductive dimension of a metrizable space can be raised by the adjunction of a single point. (Without the metrizsbility condition such on example has already been constructed by Dowker [3, p. 258, exercise Cl). So the behavior of the small inductive dimension is in contrast with that of the dimension functions Ind and dim, which, as is well known, cannot be raised by the edjunction of a single point [3, p. 274, exercises B and C]. The construction of our example stems from the proof of the equality of ind and Ind on the class of separable metrizable spaces, as given in [lo, p. 1781. We make use of the fact that there exists a metrizable space D with ind D = 0 and Ind D = 1 [ 141. This space is completely metrizable. Hence our main example, and the two related examples, also are com- pletely metrizable. Following [7, p, 208, example 3.3.31 the example is used to show that there is no finite closed sum theorem for the small inductive dimension, even on the class of metrizable spaces.
    [Show full text]
  • Metrizable Spaces Where the Inductive Dimensions Disagree
    TRANSACTIONS OF THE AMERICAN MATHEMATICALSOCIETY Volume 318, Number 2, April 1990 METRIZABLE SPACES WHERE THE INDUCTIVE DIMENSIONS DISAGREE JOHN KULESZA Abstract. A method for constructing zero-dimensional metrizable spaces is given. Using generalizations of Roy's technique, these spaces can often be shown to have positive large inductive dimension. Examples of N-compact, complete metrizable spaces with ind = 0 and Ind = 1 are provided, answering questions of Mrowka and Roy. An example with weight c and positive Ind such that subspaces with smaller weight have Ind = 0 is produced in ZFC. Assuming an additional axiom, for each cardinal X a space of positive Ind with all subspaces with weight less than A strongly zero-dimensional is constructed. I. Introduction There are three classical notions of dimension for a normal topological space X. The small inductive dimension, denoted ind(^T), is defined by ind(X) = -1 if X is empty, ind(X) < n if each p G X has a neighborhood base of open sets whose boundaries have ind < n - 1, and ind(X) = n if ind(X) < n and n is as small as possible. The large inductive dimension, denoted Ind(Jf), is defined by Ind(X) = -1 if X is empty, \t\c\(X) < n if each closed C c X has a neighborhood base of open sets whose boundaries have Ind < n — 1, and Ind(X) = n if Ind(X) < n and n is as small as possible. The covering dimension, denoted by dim(X), is defined by dim(A') = -1 if X is empty, dim(A') < n if for each finite open cover of X there is a finite open refining cover such that no point is in more than n + 1 of the sets in the refining cover and, dim(A") = n if dim(X) < n and n is as small as possible.
    [Show full text]
  • Quasiorthogonal Dimension
    Quasiorthogonal Dimension Paul C. Kainen1 and VˇeraK˚urkov´a2 1 Department of Mathematics and Statistics, Georgetown University Washington, DC, USA 20057 [email protected] 2 Institute of Computer Science, Czech Academy of Sciences Pod Vod´arenskou vˇeˇz´ı 2, 18207 Prague, Czech Republic [email protected] Abstract. An interval approach to the concept of dimension is pre- sented. The concept of quasiorthogonal dimension is obtained by relax- ing exact orthogonality so that angular distances between unit vectors are constrained to a fixed closed symmetric interval about π=2. An ex- ponential number of such quasiorthogonal vectors exist as the Euclidean dimension increases. Lower bounds on quasiorthogonal dimension are proven using geometry of high-dimensional spaces and a separate argu- ment is given utilizing graph theory. Related notions are reviewed. 1 Introduction The intuitive concept of dimension has many mathematical formalizations. One version, based on geometry, uses \right angles" (in Greek, \ortho gonia"), known since Pythagoras. The minimal number of orthogonal vectors needed to specify an object in a Euclidean space defines its orthogonal dimension. Other formalizations of dimension are based on different aspects of space. For example, a topological definition (inductive dimension) emphasizing the recur- sive character of d-dimensional objects having d−1-dimensional boundaries, was proposed by Poincar´e,while another topological notion, covering dimension, is associated with Lebesgue. A metric-space version of dimension was developed
    [Show full text]
  • Effros, Baire, Steinhaus and Non- Separability
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by LSE Research Online Adam Ostaszewski Effros, Baire, Steinhaus and non- separability Article (Accepted version) (Refereed) Original citation: Ostaszewski, Adam (2015) Effros, Baire, Steinhaus and non-separability. Topology and its Applications, 195 . pp. 265-274. ISSN 0166-8641 DOI: 10.1016/j.topol.2015.09.033 Reuse of this item is permitted through licensing under the Creative Commons: © 2015 Elsevier B.V. CC-BY-NC-ND This version available at: http://eprints.lse.ac.uk/64401/ Available in LSE Research Online: November 2015 LSE has developed LSE Research Online so that users may access research output of the School. Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. You may freely distribute the URL (http://eprints.lse.ac.uk) of the LSE Research Online website. Effros, Baire, Steinhaus and Non-Separability By A. J. Ostaszewski Abstract. We give a short proof of an improved version of the Effros Open Mapping Principle via a shift-compactness theorem (also with a short proof), involving ‘sequential analysis’rather than separability, deducing it from the Baire property in a general Baire-space setting (rather than under topological completeness). It is applicable to absolutely-analytic normed groups (which include complete metrizable topological groups), and via a Steinhaus-type Sum-set Theorem (also a consequence of the shift-compactness theorem) in- cludes the classical Open Mapping Theorem (separable or otherwise). Keywords: Open Mapping Theorem, absolutely analytic sets, base-- discrete maps, demi-open maps, Baire spaces, Baire property, group-action shift-compactness.
    [Show full text]
  • Problem Set 2 Autumn 2017
    d-math Functional Analysis I ETH Zürich Prof. A. Carlotto Problem Set 2 Autumn 2017 2.1. A metric on sequences L Let S := {(sn)n∈N | ∀n ∈ R : sn ∈ R} be the set of all real-valued sequences. (a) Prove that |x − y | d (x ) , (y ) := X 2−n n n n n∈N n n∈N 1 + |x − y | n∈N n n defines a metric d on S. (b) Show that (S, d) is complete. (c) Show that Sc := {(sn)n∈N ∈ S | ∃N ∈ N ∀n ≥ N : sn = 0}, the space of sequences with compact support, is dense in (S, d). 2.2. A metric on C0(Rm) L m ◦ Let K1 ⊂ K2 ⊂ ... ⊂ R be a family of compact subsets such that Kn ⊂ Kn+1 for S m every n ∈ N and n∈N Kn = R . (a) Prove that kf − gk 0 d(f, g) := X 2−n C (Kn) 1 + kf − gk 0 n∈N C (Kn) defines a metric d on C0(Rm). (b) Show that (C0(Rm), d) is complete. 0 m (c) Show that Cc (R ), the space of continuous functions with compact support, is dense in (C0(Rm), d). Remark. The same conclusions with the same proofs also hold for any open set Ω ⊆ Rm in place of Rm. The metric d deals with the fact that C0(Rm) contains 2 unbounded functions like f(x) = |x| for which supx∈Rm |f(x)| = ∞. 2.3. Statements of Baire L Definition. Let (M, d) be a metric space and A ⊂ M a subset.
    [Show full text]
  • New Methods for Estimating Fractal Dimensions of Coastlines
    New Methods for Estimating Fractal Dimensions of Coastlines by Jonathan David Klotzbach A Thesis Submitted to the Faculty of The College of Science in Partial Fulfillment of the Requirements for the Degree of Master of Science Florida Atlantic University Boca Raton, Florida May 1998 New Methods for Estimating Fractal Dimensions of Coastlines by Jonathan David Klotzbach This thesis was prepared under the direction of the candidate's thesis advisor, Dr. Richard Voss, Department of Mathematical Sciences, and has been approved by the members of his supervisory committee. It was submitted to the faculty of The College of Science and was accepted in partial fulfillment of the requirements for the degree of Master of Science. SUPERVISORY COMMITTEE: ~~~y;::ThesisAMo/ ~-= Mathematical Sciences Date 11 Acknowledgements I would like to thank my advisor, Dr. Richard Voss, for all of his help and insight into the world of fractals and in the world of computer programming. You have given me guidance and support during this process and without you, this never would have been completed. You have been an inspiration to me. I would also like to thank my committee members, Dr. Heinz- Otto Peitgen and Dr. Mingzhou Ding, for their help and support. Thanks to Rich Roberts, a graduate student in the Geography Department at Florida Atlantic University, for all of his help converting the data from the NOAA CD into a format which I could use in my analysis. Without his help, I would have been lost. Thanks to all of the faculty an? staff in the Math Department who made my stay here so enjoyable.
    [Show full text]
  • Zerodimensional Spaces* Jr Isbell
    ZERODIMENSIONAL SPACES* J.R. ISBELL (Received February 1, 1955) Introduction. This paper contains some topological results principally concerning zero-dimensional spaces. We observe first that the dimension of a uniform space can be so defined that invariance under completion is trivial. Katetov's result [10], that the covering dimension of normal spaces is preserved under Stone-Cech compactification, follows as a corollary. We obtain sharper results in the zero-dimensional case, including a repre- sentation of the completion of uX as the structure space of the Boolean algebra of uniformly continuous functions on uX to the two-element field. An example shows that inductive dimension zero need not be pre- served under Stone-Cech compactification. The concluding section of the paper answers three questions raised in [9], by counterexamples, and contributes some propositions in continua- tion. Two of the examples were communicated by Professor V. L. Klee. Others who have had a hand in the paper are M. Henriksen, T. Shirota, and H. Trotter, in the counterexamples, and especially S. Ginsburg. The paper grew out of our collaboration [5] with Professor Ginsburg, which involves closely related ideas. 1. Dimension and Completion. The term dimension, unqualified, will refer to the Menger-Urysohn inductive dimension [8]. The Lebesgue covering dimension is known to coincide for metric spaces [11]. We define below two "covering" dimensions for uniform spaces. In this connection we note the special uniformities f and a [18, 14] consisting of all normal coverings having finite resp. countable normal subcoverings. For any uniformity u, the finite coverings in u define a uniformity fu.
    [Show full text]
  • Crazy Things in R
    Crazy Things in R Monique van Beek There once was a bright man and wise whose sets were a peculiar size no length it is true and dense points were few but more points than Q inside. Institute for Mathematics and Computing Science Bachelor thesis Crazy Things in R Monique van Beek Supervisor: Henk Broer University of Groningen Institute for Mathematics and Computing Science P.O. Box 800 9700 AV Groningen The Netherlands December 2007 5 Contents 1 Introduction 7 2 Leading Examples of Real Sets 9 2.1 Integers and Nonintegers, Rationals and Irrationals, Algebraic and Tran- scendental Numbers . 9 2.2 Middle Third and Middle-α Cantor Sets . 10 2.3 Liouville Numbers . 15 3 Cardinality 19 3.1 Countability . 19 3.2 Uncountability . 22 3.3 The Power Set . 24 3.4 Application to Leading Examples . 27 4 Topology 29 4.1 Large and Small Sets Seen in a Topological Manner . 30 4.2 Leading Examples Revisited . 32 5 Lebesgue Measure 35 5.1 The Definition of a Measure . 35 5.2 Leading Examples Revisited . 38 6 Some Crazy Results 43 6.1 Neighbourhoods of Q .............................. 43 6.2 A Strange Decomposition of R ......................... 44 7 Duality 45 7.1 Erd¨os'stheorem . 45 7.2 Supporting Evidence for the Duality Principle . 46 8 Extended Duality 47 8.1 A Topological equivalent of Measurability . 47 8.2 Supporting Evidence for the Extended Principle of Duality . 48 6 CONTENTS 8.3 Impossibility of Extended Duality . 48 9 Concluding Remarks 51 A Representation of Real Numbers 53 B Ordinal Numbers 57 B.1 Basic Definitions .
    [Show full text]
  • Dimensions of Self-Similar Fractals
    DIMENSIONS OF SELF-SIMILAR FRACTALS BY MELISSA GLASS A Thesis Submitted to the Graduate Faculty of WAKE FOREST UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES in Partial Fulfillment of the Requirements for the Degree of MASTER OF ARTS Mathematics May 2011 Winston-Salem, North Carolina Approved By: Sarah Raynor, Ph.D., Advisor James Kuzmanovich, Ph.D., Chair Jason Parsley, Ph.D. Acknowledgments First and foremost, I would like to thank God for making me who I am, for His guidance, and for giving me the strength and ability to write this thesis. Second, I would like to thank my husband Andy for all his love, support and patience even on the toughest days. I appreciate the countless dinners he has made me while I worked on this thesis. Next, I would like to thank Dr. Raynor for all her time, knowledge, and guidance throughout my time at Wake Forest. I would also like to thank her for pushing me to do my best. A special thank you goes out to Dr. Parsley for putting up with me in class! I also appreciate him serving as one of my thesis committee members. I also appreciate all the fun conversations with Dr. Kuzmanovich whether it was about mathematics or mushrooms! Also, I would like to thank him for serving as one of my thesis committee members. A thank you is also in order for all the professors at Wake Forest who have taught me mathematics. ii Table of Contents Acknowledgments . ii List of Figures. v Abstract . vi Chapter 1 Introduction . 1 1.1 Motivation .
    [Show full text]
  • On Winning Strategies for Banach-Mazur Games
    On winning strategies for Banach-Mazur games Anumat Srivastava University of California, Los Angeles March 25, 2015 Abstract We give topological and game theoretic definitions and theorems nec- essary for defining a Banach-Mazur game, and apply these definitions to formalize the game. We then state and prove two theorems which give necessary conditions for existence of winning strategies for players in a Banach-Mazur game. 1 Introduction In this section we formulate and prove our main theorems. We assume prelim- inary knowledge of open and closed sets, closures of sets, and complete metric spaces. Definition 1.1. A subset T of a metric space X is said to be dense in X if T X, that is, if T @T X = = Theorem 1.2 (Baire Category Theorem). Let Un n 1 be a sequence of dense open subsets of a complete metric space X. Then, n∞1 Un is also dense in X. = { }∞ Proof. Let x X and let 0. It suffices to find⋂y = B x; that belongs to n 1 Un. Indeed, then every open ball in X meets n Un, so that n Un is dense in∞X. ∈ > ∈ ( ) = ⋂ Since U1 is dense in X, there exists y1 U1 such⋂ that d x; y⋂1 . Since arXiv:1710.02229v2 [math.GN] 9 Jun 2018 U1 is open, there exists a r1 0 such that B y1; r1 U1. By shrinking r1 we can arrange that r1 1, and B y1; r1 ∈U1 B x; . The( same) < argument, with B y1; r1 replacing B x; > , produces y2 (X and) ⊂ 0 r2 1 2 such that B y2; r2 U2 B y1; r1< .
    [Show full text]
  • Finite Dimensional Convex Structures Ii: the Invariants
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 16 (1983) 81-105 81 North-Holland FINITE DIMENSIONAL CONVEX STRUCTURES II: THE INVARIANTS M. VAN DE VEL Vrije Universiteit Amsterdam, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands Received 29 April 1980 Revised 30 September 1981 and 21 September 1982 Various relations between the dimension and the classical invariants of a topological convex structure have been obtained, leading to an equivalence between Helly’s and Caratheodory’s theorem, and to the closedness of the hull of compact sets in finite-dimensional convexities. It is also shown that the Radon number of an n-dimensional binary convexity is in most cases equal to the Radon number of the n-cube, and a natural condition is presented under which the invariants are equal to dimension plus one. AMS (MOS) Subj. Class. (1980): Primary 54H99, 52A01, 52A35; Secondary: 54F4.5 Caratheodory number dimension exchange number Helly number Radon number topological convex structure 0. Introduction and preliminaries The present paper is a continuation of the investigations on finite dimensional convex structures, started in [20]. We will now be concerned with the invariants of Heliy (R), Curuth~odory (c), and Radon (t), in relation with the dimension (n) of a topological convex structure. According to [20], this ‘convex dimension’ is well-behaved under certain restrictions, such as connectedness of conuex sefs and a separation properry. These conditions continue to play a role in the present treatment of the topic. With the above introduced notation for the invariants and for the dimension, the following results have been obtained, some of which involve a few additional conditions which may slightly vary from case to case: Here, 4,, denotes the Radon number of the n-cube relative to the subcube convexity.
    [Show full text]