DOCSLIB.ORG

The Fixed-Point Question for Bounded Non-Separating Plane Continua

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Fixed-Point Question for Bounded Non-Separating Plane Continua THE FIXED-POINT QUESTION FOR BOUNDED NON-SEPARATING PLANE CONTINUA By SISTER JOANN LOUISE MARK I\ Bachelor of Arts Kansas Newman College Wichita, Kansas 1962 Master of Science Oklahoma State University Stillwater, Oklahoma. 1968 Submitted to the Faculty of the Graduate College of the Oklahoma State University in partial fulfillment of the requirements for the Degree of DOCTOR OF EDUCATION May, 1975 OKLAHOMA STATE UNIVERSITY UBRARY MAY .12 1976 THE FIXED-POINT QUESTION FOR BOUNDED NON-SEPARATING PLANE CONTINUA Thesis Approved: D~of the Graduate College 9389G3 ii PREFACE Mathematics is more than a discipline. It is a living and de­ veloping art intertwined with the lives of people. It is my hope that Chapter II of this thesis preserves and exposes this exciting aspect of the fixed-point question in such a way that it is accessible to both graduate students in mathematics and to teachers of undergraduate mathematics. As an art, mathematics has certain fundamental techniques. In particular, the area of fixed-point theory has its specific artistry. Chapter III is my effort to expose the basic techniques in fixed-point theorems. While writing this thesis, it has been my pleasure to meet some of the great artists in fixed-point theory. I want to express to them my appreciation for any time or interest given to this thesis. I wish to express my particular appreciation to my major adviser, Dr. John Jobe, who shared with me his view of and his artistry in mathematics, enabling me to successfully complete this thesis. Es­ pecially I thank him for his friendship which has encouraged and supported my personal and mathematical development. I also owe thanks to Dr. James Choike, Dr. Douglas Aichele, and Dr. Ronald McNew. As members of my committee, they provided me with just the right mixture of challenge and encouragement. iii To the members of my family, to my friends, and to my religious community, The Adorers of the Blood of Christ, I also express my thanks. In particular I thank Sister Remigia Kerschen for her oontinuing support and Sister Dolores Strunk for her typing of the final copy of the thesis. My graduate study was supported financially through a Title III Grant awarded to Kansas Newman College, Wichita, Kansas. Consequently, I wish to thank the administration and faculty at Kansas Newman College who provided this support, and who encouraged me in my endeavor. iv TABLE OF CONTENTS Chapter Page I. INTRODUCTION • • • • • • • • • • • • • • • • • • • • • • l Topic of the Study • • • • • • • • • . l Procedure • • • • • • • • • • • • • • • • • • • • • 4 Preliminary Definitions ••••••• • • • • • • • 5 II. HISTORY OF THE FIXED-POINT Q'tJESTION • • • • • • • • • • 7 Barly Years: 1925-1937 • • • • • • • • • • • • • • · 7 The Years 1938-1950 • • • • • • • • • • • • • • • • 13 The Years 1951-1964 • • • • • • • • • • • • • • • • 16 The Years 1965-1973 • • • • • • • • • • • • • • • • 25 Present Efforts • • • • • • • • • • • • • • • • • • 35 III. FUNDAMENTAL TYPES OF PROOFS • • • • • • • • • • • • • • 38 The Dog-Chases-Rabbit Technique • • • • • • • • • • 38 The Immediate Technique • • • • • • • • • • • • • • 47 The Cyclic Element Technique • • • • • • • • • • • 57 The Change of Topology Technique • • • • • • • • • 61 The Sequence of Arcs Technique • • • • • • • • • • 64 Swnmary and Conclusions • • • • • • • • • • • • • • 66 IV. AN EXPOSITION OF BELL'S PAPER AND DEPENDENT RESULTS • • 68 Introduction • • • • • • • • • • • • • • • • • • • 68 Basic Understandings • • • • • • • • • • • • • • • 70 Preliminary Theorems • • • • • • • • • • • • • • • 80 Implemeni;ation • • • • • • • • • • • • • • • • 85 Conclusion of the Proof of Theorem 2.14 • • • • • • 88 Dependent Results • • • • • • • • • • • • • • • • • 96 v. SUMMARY • • • • • • • • • • • • • • • • • • • • • • • • 98 A SELECTED BIBLIOGRAPHY • • • • • • • • • • • • • • • • • • • • 101 APPENDIX A - PROOFS • • • • • • • • • • • • • • • • • • • • • • 105 APPENDIX B - INDEX OF TERMS • • • • • • • • • • • • • • • • • • 127 v LIST OF FIGURES Figure Page 1. Dendrite • • • • • • • • • • • • • • • • • • • • • • • • • 9 2. Unicoherent Continuum not Locally Connected • • • • • • • • 10 3.. Decomposable Boundaries • • • • • • • • • • • • • • • • • • 14 4. Indecomposable Continuum • • • • • • • • • • • • • • • • • 14 5. Pseudo-Arc • • • • • • • • • • • • • • • • • • • • • 19 6. Arcwise Connected Continuum. Without Fixed-Point . 24 Case (iii) of Theorem 2.1 . 39 8. The Set nd n . 49 Example 11 . 59 10. Example 12 • • • • • • • • • • • • • • • • • • • • • • • • 59 11. Illustration of Definitions 4.1-4.4 . 72 12. The set f (x) • . • • . 77 0 13. Illustration of Theorem 4.7 . 81 14. The Set H ,. J n Y 88 n n . vi CHAPTER I INTRODUCTION Topic of the Study The topic of this thesis is a question which has intrigued and baffled mathematicians for decades: "Does an arbitrary bounded plane continuUA which does not separate the plane have the fixed-point property?" Outstanding mathematicians have spent years trying to de­ finitively answer this question. Through their efforts they have proved many directly related theorems, as well as partial solutions to the original problem. It is the purpose of this paper to gather to­ gether these results, to present them along with interesting comments in chronological order, and to analyse the techniques used in their proofs. As a basis for understanding the topic under discussion the terms bounded, continuum, separate the plane, and fixed-point property will be defined. Definition 1.1. A subset M of the plane is said to be bounded with respect to the metric p if and only if M • ¢ or there exists a real number r such that p (x,y) ~ r for all x,y in M. In this thesis all sets will be situated in the plane unless otherwise specified. The p of Definition 1.1 will be the usual metric in the plane. 1 2 Before defining continuum, it is necessary to present several preliminary definitions. Definition 1.2. A point p is a ,!!!!!! point of a met M if and only if every open set containing p contains a point q & M, q ~ p. In the plane countable compactness and compactness are equiva­ lent. Consequently, the following definition will be used for the definition of compactness. Definition 1.3. A point set M is said to be compact if and only if every infinite subset of M has at least one limit point in M. Definition 1.4. Two subsets A and B of a space S are said to be sepa­ rated, denoted sep., if and only if A I-¢, BI-¢, An B. ¢, An B. f6. Definition 1.5. A subset M of a space S is connected if and only if M is not the union of two separated sets. Using the concepts of Definitions 1.2-1.5, a continuum can be de­ fined in the following concise terms. Definition 1.6. A continuum is a compact connected space. Let the continuum of the question "Does an arbitrary bounded plane continuum which does not separate the plane have the fixed-point property?" be denoted by M. The set M is given to be bounded. However, by the Heine-Borel Theorem in 2-space, it is also closed. Other theo­ rems from Hall and Spencer (18) and properties of the plane, imply M is also 1) T1, 2) T2, or Hausdorff, 3) let countable, 4) 2nd countable, 5) regular, 6) normal, 7) metric, and 8) separable. The definitions of these properties can be found in Hall and Spencer (18) or any elementary topology book. A special property of M is that it does not separate the plane. An abundant supply of examples of such continua will be given in Chapter II. It is necessary at this time to define this characteristic. Definition 1.7. The point set M is said to separate]!!! plane P if and only if MC P and M - P • A U B sep. From Bing (5) any plane continuWD which does riot separate the plane is the intersection of a decreasing sequence of topological disks. That is, M is the intersection of a decreasing sequence of sets homeo­ morphic to the set { (x,y)/ x2 + y2 s 1 } • Definition 1.8 will clari­ fy the meaning of homeomorphic. Definition 1.8. Let S and T be spaces. Then S is said to be homeo- morphic to T if and only if there exists a one-to-one open continuous mapping of S onto T. The mapping is called a homeomorphism. The question whether or not M has the fixed-point property is a question regarding the behavior of continuous functions f : M ~ M. Be- fore stating the fixed-point property, continuous will be defined. Definition 1.9. Let S and T be spaces and fa S -> T a function. Then tis said to be continuous at the point s CS if and only if, given &IJ1' open subset G of. T such that s c f-1(G), there exists an open set V of S such thats c VC f-1(G). It is now possible to define the pivotal concept of this thesis, the fixed-point property. Definition 1.10. A topological space S is said to have the fixed- point property (fpp) if, given any continuous function f from S into S, there exists a point p such that f(p) • p. During the remainder of this thesis, the fixed-point question or the fixed-point problem will refer to the question asked at the be- ginning of the chapters "Does an arbitrary bounded plane continuum which does not separate the plane have the fixed-point property?11 • As was mentioned earlier, the setting will be the plane unless otherwise stated. One basic and famous fixed-point result will be assumed, name- ly, the Brouwer Fixed-Point Theorem. Theorem 1.1. 0 s_ x1 $.1, for i • 1,2, ••• ,n } • Let f: In ->In be continuous. There is a point z in In such that f(z) • z. Procedure Chapter II contains the important dates and theorems in the study of the fixed-point question. These are arranged in chronological order and interspersed with both examples and related comments. The purpose of this chapter is to identify and correlate important fixed-point results. All major theorems stated in Chapter II except those of Harold Bell and Charles Hagopian have their proofs analyzed in Chapter III. Different titles are attached to different techniques of proof. Common and distinguishing elements are discussed and illustrated.
Load more

Recommended publications
  • The Space of Composants of an Indecomposable Continuum
    Advances in Mathematics 166, 149–192 (2002) doi:10.1006/aima.2001.2002, available online at http://www.idealibrary.comon The Space of Composants of an Indecomposable Continuum Sławomir Solecki1 Department of Mathematics, Indiana University, Bloomington, Indiana 47405 E-mail: [email protected] Communicated by R. Daniel Mauldin Received October 20, 2000; accepted April 20, 2001 The family of all composants of an indecomposable continuum is studied. We investigate the equivalence relation induced on an indecomposable continuum by its partition into composants. We show that up to Borel bireducibility such an equiva- lence relation can be of only two types: E0 and E1 , the E0 type being ‘‘simple’’ and the E1 type being ‘‘complicated.’’ As a consequence of this, we show that each View metadata,indecomposable citation continuumand similar carriespapers a at Borel core.ac.uk probability measure which assigns 0 to brought to you by CORE each composant and 0 or 1 to each Borel set which is the union of a family of provided by Elsevier - Publisher Connector composants. In particular, it follows that there is no Borel transversal for the family of all composants. This solves an old problem in the theory of continua. We prove that all hereditarily indecomposable continua are of the complicated type, that is, they fall into the E1 type. We analyze the properties of being of type E1 or of type E0 . We show, using effective descriptive set theory, that the first of these properties is analytic and so the second one is coanalytic. We construct examples of continua of both types; in fact, we produce a family of indecomposable continua and use it to prove that these properties are complete analytic and complete coanalytic, respectively, hence non-Borel, so they do not admit simple topological charac- terizations.
    [Show full text]
  • Uncountable Collections of Unimodal Continua by Paul James Johanson a Dissertation Submitted in Partial Fulfillment of the Requi
    Uncountable collections of unimodal continua by Paul James Johanson A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematical Sciences Montana State University © Copyright by Paul James Johanson (2000) Abstract: Inverse limit spaces occur often in dynamical systems, in particular, those with unimodal bonding maps. Barge and Diamond showed uncountably many indecomposable unimodal inverse limit spaces exist. We show that uncountably many hereditarily decomposable unimodal inverse limit spaces exist by actually creating two different uncountable collections of hereditarily decomposable unimodal inverse limit spaces. Finally we consider how to expand upon these and combine them to create even more unimodal inverse limit spaces. UNCOUNTABLE COLLECTIONS OF UNIMODAL CONTINUA by V ; Paul James Johanson •".o > ■/ ■l •- A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy m Mathematical Sciences MONTANA. STATE UNIVERSITY Bozeman, Montana May 2000 ii APPROVAL of a dissertation submitted by Paul James Johanson This dissertation has been read by each member of the dissertation committee and has been found to be satisfactory regarding content, English usage, format, citations, bibliographic style, and consistency, and is ready for submission to the College of Graduate Studies. Date Marcy Bhfge Chairperson, Graduate Committee Approved for the Major Department 6 Date John Lund Head, Mathematical Sciences Approved for the College of Graduate Studies 7* I ~Z Date Bruce McLeod / Graduate Dean iii STATEMENT OF PERMISSION TO USE In presenting this dissertation in partial fulfillment of the requirements for a doctoral degree at Montana State University, I agree that the Library shall make it available to borrowers under rules of the Library.
    [Show full text]
  • A Complete Classification of Homogeneous Plane Continua
    A COMPLETE CLASSIFICATION OF HOMOGENEOUS PLANE CONTINUA L. C. HOEHN AND L. G. OVERSTEEGEN Dedicated to Andrew Lelek on the occasion of his 80th birthday Abstract. We show that the only compact and connected subsets (i.e. con- 2 tinua) X of the plane R which contain more than one point and are homoge- neous, in the sense that the group of homeomorphisms of X acts transitively 1 on X, are, up to homeomorphism, the circle S , the pseudo-arc, and the cir- cle of pseudo-arcs. These latter two spaces are fractal-like objects which do not contain any arcs. It follows that any compact and homogeneous space in the plane has the form X × Z, where X is either a point or one of the three homogeneous continua above, and Z is either a finite set or the Cantor set. The main technical result in this paper is a new characterization of the pseudo-arc. Following Lelek, we say that a continuum X has span zero pro- vided for every continuum C and every pair of maps f; g : C ! X such that f(C) ⊂ g(C) there exists c0 2 C so that f(c0) = g(c0). We show that a continuum is homeomorphic to the pseudo-arc if and only if it is hereditarily indecomposable (i.e., every subcontinuum is indecomposable) and has span zero. 1. Introduction By a compactum, we mean a compact metric space, and by a continuum, we mean a compact connected metric space. A continuum is non-degenerate if it contains more than one point.
    [Show full text]
  • The Inverse Limits Approach to Chaos Judy Kennedy A,B, David R
    Available online at www.sciencedirect.com Journal of Mathematical Economics 44 (2008) 423–444 The inverse limits approach to chaos Judy Kennedy a,b, David R. Stockman c,∗, James A. Yorke d a Departmentof Mathematical Sciences, University of Delaware, Newark, DE 19716, United States b Department of Mathematics, Lamar University, Beaumont, TX 77710, United States c Department of Economics, University of Delaware, Newark, DE 19716, United States d Institute for Physical Science and Technology, University of Maryland, College Park, MD 20742, United States Received 27 March 2006; received in revised form 31 October 2007; accepted 3 November 2007 Available online 22 November 2007 Abstract When analyzing a dynamic economic model, one fundamental question is are the dynamics simple or chaotic? Inverse limits,as an area of topology, has its origins in the 1920s and since the 1950s has been very useful as a means of constructing “pathological” continua. However, since the 1980s, there is a growing literature linking dynamical systems with inverse limits. In this paper, we review some results from this literature and apply them to the cash-in-advance model of money. In particular, we analyze the inverse limit of the cash-in-advance model of money and illustrate how information about the inverse limit is useful for detecting or ruling out complicated dynamics. © 2007 Elsevier B.V. All rights reserved. JEL Classification: C6; E3; E4 Keywords: Chaos; Inverse limits; Continuum theory; Topological entropy; Cash-in-advance 1. Introduction An equilibrium of a dynamic economic model can often be characterized as a solution to a dynamical system. One fundamental question when analyzing such a model is are the dynamics simple or chaotic? There are numerous definitions and measurements for chaos.
    [Show full text]
  • [Math.GN] 25 Dec 2003
    Problems from Topology Proceedings Edited by Elliott Pearl arXiv:math/0312456v1 [math.GN] 25 Dec 2003 Topology Atlas, Toronto, 2003 Topology Atlas Toronto, Ontario, Canada http://at.yorku.ca/topology/ [email protected] Cataloguing in Publication Data Problems from topology proceedings / edited by Elliott Pearl. vi, 216 p. Includes bibliographical references. ISBN 0-9730867-1-8 1. Topology—Problems, exercises, etc. I. Pearl, Elliott. II. Title. Dewey 514 20 LC QA611 MSC (2000) 54-06 Copyright c 2003 Topology Atlas. All rights reserved. Users of this publication are permitted to make fair use of the material in teaching, research and reviewing. No part of this publication may be distributed for commercial purposes without the prior permission of the publisher. ISBN 0-9730867-1-8 Produced November 2003. Preliminary versions of this publication were distributed on the Topology Atlas website. This publication is available in several electronic formats on the Topology Atlas website. Produced in Canada Contents Preface ............................................ ............................v Contributed Problems in Topology Proceedings .................................1 Edited by Peter J. Nyikos and Elliott Pearl. Classic Problems ....................................... ......................69 By Peter J. Nyikos. New Classic Problems .................................... ....................91 Contributions by Z.T. Balogh, S.W. Davis, A. Dow, G. Gruenhage, P.J. Nyikos, M.E. Rudin, F.D. Tall, S. Watson. Problems from M.E. Rudin’s Lecture notes in set-theoretic topology ..........103 By Elliott Pearl. Problems from A.V. Arhangel′ski˘ı’s Structure and classification of topological spaces and cardinal invariants ................................................... ...123 By A.V. Arhangel′ski˘ıand Elliott Pearl. A note on P. Nyikos’s A survey of two problems in topology ..................135 By Elliott Pearl.
    [Show full text]
  • No Homogeneous Tree-Like Continuum Contains an Arc
    proceedings of the american mathematical society Volume 88, Number 3, July 1983 NO HOMOGENEOUS TREE-LIKE CONTINUUM CONTAINS AN ARC CHARLES L. HAGOPIAN1 Abstract. In 1960 R. H. Bing [4, p. 210] asked the following question. "Is there a homogeneous tree-like continuum that contains an arc?" We answer this question in the negative. This result generalizes Bing's theorem [4, p. 229] that every atriodic homogeneous tree-like continuum is arcless. 1. Introduction. Is every homogeneous tree-like continuum a pseudo-arc? This classic unsolved problem is one of the principal obstacles to the classification of homogeneous 1-dimensional continua [8]. Suppose there exists a homogeneous tree-like continuum M that is not a psuedo-arc. F. B. Jones [14] proved that M is indecomposable. Bing [3] proved that M is not arc-like. C. E. Burgess [6] proved that M is not circle-like. It follows from results of Burgess [7] and I. W. Lewis [15] that M is not functioned and that M has a proper subcontinuum that is not a pseudo-arc. In this paper we prove that M does not contain an arc. 2. Definitions and related results. A space is homogeneous if for each pair x, y of its points there is a homeomorphism of the space onto itself that takes x to y. A chain is a finite collection (7,: 1 < i < «} of open sets such that L¡ (1 Lj ¥= 0 if and only if | i —j \< 1. If n > 2 and 7, also intersects Ln, the collection is called a circular chain.
    [Show full text]
  • Projective Fraïssé Limits and the Pseudo-Arc
    PROJECTIVE FRA¨ISSE´ LIMITS AND THE PSEUDO-ARC TREVOR L. IRWIN AND SÃLAWOMIR SOLECKI Abstract. The aim of the present work is to develop a dualization of the Fra¨ıss´e limit construction from Model Theory and to indicate its surprising connections with the pseudo-arc. As corollaries of general results on the dual Fra¨ıss´elim- its, we obtain Mioduszewski’s theorem on surjective universality of the pseudo- arc among chainable continua and a theorem on projective homogeneity of the pseudo-arc (which generalizes a result of Lewis and Smith on density of homeo- morphisms of the pseudo-arc among surjective continuous maps from the pseudo- arc to itself). We also get a new characterization of the pseudo-arc via the pro- jective homogeneity property. 1. Introduction In the first part of the paper we dualize the classical (injective) Fra¨ıss´elimit found in model theory [5]. The appropriate setting for it will be provided by topological L-structures where L is a language of relational and functional symbols and where by a topological L-structure D we mean a compact, second countable, zero-dimensional space equipped with interpretations of relation symbols of L as closed subsets of Dk and of function symbols of L as continuous functions from Dk to D for various k 2 N. Morphisms between such structures, which will be defined in the next section, are always continuous. We consider countable families of finite topological L-structures equipped with the discrete topology which satisfy certain “refinement” properties. These refinement properties will be stated precisely later.
    [Show full text]
  • Concerning Continuum-Wise Fully Expansive Homeomorphisms of Continua
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 53 (1993) 239-258 239 North-Holland Concerning continuum-wise fully expansive homeomorphisms of continua Hisao Kato Faculty of Integrated Arts and Science, Hiroshima Vrzicersity, Higashihiroshima-city 724, Japan Received 31 January 1992 Revised 13 November 1992 Abstract Kato, H., Concerning continuum-wise fully expansive homeomorphisms of continua, Topology and its Applications 53 (1993) 239-258. In our previous paper, we introduced the notion of continuum-wise expansive homeomorphisms which contain all expansive homeomorphisms, and studied several properties of those homeo- morphisms. In this paper, we study further more properties of continuum-wise expansive homeomorphisms and consider a special class, which is contained in the class of continuum-wise expansive homeomorphisms. We introduce a new notion of continuum-wise fully expansive homeomorphisms, which often appear in chaotic topological dynamics and continuum theory. We investigate several properties about indecomposability and dimension of continua which admit such homeomorphisms. In particular, if a plane continuum X admits a continuum-wise fully expansive homeomorphism, then X is indecomposable. Keywords: Expansive homeomorphism; Inverse limit; Shift map; Topologically transitive; Topo- logically mixing; Indecomposable; Dimension. AMS (M&T) Subj. Class.: Primary 54B20, 54820; secondary 54B2.5, 54F50, 58F15. Introduction We assume that all spaces are metric spaces. By a continuum, we mean a nondegenerate compact connected metric space. By Z, we mean the set of integers. Let X be a compact metric space with metric d. A homeomorphism f : X+X is called an expansive homeomorphism [6, p.
    [Show full text]
  • Topology Proceedings
    Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: [email protected] ISSN: 0146-4124 COPYRIGHT °c by Topology Proceedings. All rights reserved. TOPOLOGY PROCEEDINGS Volume 28, No. 1, 2004 Pages 301-326 SPRING TOPOLOGY AND DYNAMICS CONFERENCE 2004 REPORT1 The 2004 Spring Topology and Dynamics Conference was held March 25–27 at the University of Alabama at Birmingham. Seven plenary talks, twelve semi-plenary talks, and four parallel special sessions were held. In this issue, we will report on the areas of Continuum Theory, General/Set-Theoretic Topology, and Dynam- ical Systems, in which well-attended special sessions were held. A report on the Special Session in Geometric Topology/Geometric Group Theory will be combined with the report of the 2005 con- ference in a subsequent issue. Continuum Theory The Special Session in Continuum Theory attracted a broad spectrum of researchers from the United States and Mexico and included speakers from Canada and Poland. As was the case in previous years, many strong results were pre- sented in the intersection of continuum theory and dynamical sys- tems. Indecomposable continua play a pivotal role in this area. On one hand, continua with no indecomposable subcontinua (such as dendrites, dendroids, ¸-dendroids, hereditarily decomposable con- tinua) frequently have dynamics similar to real numbers (including behavior of periodic and recurrent points, the Sarkovskii ordering, etc.). On the other hand, interesting dynamics often lead to inde- composable continua in such diverse contexts as Julia sets, positive entropy homeomorphisms, inverse limits, and even area preserving 1Beginning with this issue, the Problems Section will report on the annual Spring Topology and Dynamics Conference by publishing a survey of research in the areas represented at the conference.
    [Show full text]
  • Inverse Limits and Models with Backward Dynamics (PDF)
    Working Paper Series* Department of Economics Alfred Lerner College of Business & Economics University of Delaware Working Paper No. 2006-12 Inverse Limits and Models with Backward Dynamics… Judy Kennedy David R. Stockman James A. Yorke 2006 ____________________________ *http://lerner.udel.edu/economics/workingpaper.htm …© 2006 by author(s). All rights reserved. Inverse Limits and Models with Backward Dynamics∗ Judy Kennedy,† David R. Stockman‡and James A. Yorke§ First Draft: March 2006 This Draft: November 2006 Abstract Some economic models like the cash-in-advance model of money have the property that the dynamical system characterizing equilibria is multi-valued going forward in time, but single-valued going backward in time, i.e., the model has backward dynamics. In this paper, we apply the theory of inverse limits to characterize topologically the set of equilibria in a dynamic economic model with this property. We show that such techniques are particularly well-suited for analyzing the dynamics going forward in time even though the dynamics are multi-valued in this direction. In particular, we analyze the inverse limit of the cash-in-advance model of money and illustrate how information about the inverse limit is useful for detecting or ruling out complicated dynamics. Keywords: backward dynamics, chaos, inverse limits, continuum theory, cash-in-advance. JEL: C6, E3, and E4. ∗We would like to thank two anonymous referees for helpful comments and suggestions. Stockman would like to thank the Lerner College of Business and Economics for its generous summer research support. †Department of Mathematical Sciences, University of Delaware, Newark, DE 19716. ‡Department of Economics, University of Delaware, Newark, DE 19716.
    [Show full text]
  • Arxiv:1707.05007V11 [Math.GN] 24 Jun 2018 Easily Sees That Ran(F) := F[`] (The Range of F) Is Contained in a Composant of Y
    ONE-TO-ONE COMPOSANT MAPPINGS OF [0; ) AND ( ; ) 1 −∞ 1 DAVID SUMNER LIPHAM Abstract. Knaster continua and solenoids are well-known examples of indecomposable continua whose composants (maximal arcwise-connected subsets) are one-to-one images of lines. We show that essentially all non-trivial one-to-one composant images of (half- )lines are indecomposable. And if f is a one-to-one mapping of [0; 1) or (−∞; 1), then there is an indecomposable continuum of which X := ran(f) is a composant if and only if f maps all final or initial segments densely and every non-closed sequence of arcs in X has a convergent subsequence in the hyperspace K(X) [ fXg. Accompanying the proofs are illustrations and examples. 1. Introduction Throughout, [0; ) denotes the half-line and ( ; ) denotes the entire real line. Every 1 −∞ 1 mapping is assumed to be continuous; by image we shall always mean continuous image.1 All images of the (half-)line are assumed to be metrizable, and by a continuum (plural form continua) we mean a connected compact metrizable space. An arc is a homeomorphic copy of the interval [0; 1]. A continuum Y is decomposable if there are two subcontinua H; K ( Y such that Y = H K; otherwise Y is indecomposable. We shall say, more generally, that a connected [ space X is indecomposable if X cannot be written as the union of two proper closed connected subsets. Equivalently, X is indecomposable if X is the only closed connected subset of X with non-void interior. If Y is a continuum and x Y , then X is the composant of x in Y means that 2 X = K ( Y : K is a continuum and x K : f 2 g More generally, X is a composant[ of Y if there exists x X such that X is the composant 2 of x in Y .
    [Show full text]
  • Plane Topology and Dynamical Systems Boris Kolev
    Plane Topology and Dynamical Systems Boris Kolev To cite this version: Boris Kolev. Plane Topology and Dynamical Systems. Ecole´ th´ematique. Summer School "Syst`emesDynamiques et Topologie en Petites Dimensions", Grenoble, France, 1994, pp.35. <cel-00719540> HAL Id: cel-00719540 https://cel.archives-ouvertes.fr/cel-00719540 Submitted on 20 Jul 2012 HAL is a multi-disciplinary open access L'archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destin´eeau d´ep^otet `ala diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publi´esou non, lished or not. The documents may come from ´emanant des ´etablissements d'enseignement et de teaching and research institutions in France or recherche fran¸caisou ´etrangers,des laboratoires abroad, or from public or private research centers. publics ou priv´es. Plane Topology and Dynamical Systems Boris KOLEV CNRS & Aix-Marseille University Grenoble, France, June-July 1994 Summary. | These notes have been written for a Summer School, Syst`emes Dynamiques et Topologie en Petites Dimensions, which took place at the Institut Fourier, in June-July 1994. The goal was to provide simple proofs for the Jordan and Schoenflies theorems and to give a short introduction to the theory of locally connected continua and indecomposable continua, with applications in Dynamical Systems and the theory of attractors. E-mail : [email protected] Homepage : http://www.cmi.univ-mrs.fr/~kolev/ ○c This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License. Chapter 1 The Jordan Curve Theorem A homeomorphic image of a closed interval [a; b](a < b) is called an arc and a homeomorphic image of a circle is called a simple closed curve or a Jordan curve.
    [Show full text]