A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures
Authors:
Hanna Ćmiel,
Franz-Viktor Kuhlmann,
Katarzyna Kuhlmann
Abstract:
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions of functions being contractive in these spaces and structures. As a sample of possible applications we discuss metric spaces, ultrametric spaces, ordered groups…
▽ More
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions of functions being contractive in these spaces and structures. As a sample of possible applications we discuss metric spaces, ultrametric spaces, ordered groups and fields, topological spaces, partially ordered sets, and lattices. We describe several notions of completeness in these spaces and structures and determine their respective strengths. In order to illustrate some consequences of the levels of strength, we give examples of generic fixed point theorems which then can be specialized to theorems in various applications which work with contracting functions and some completeness property of the underlying space.
Ball spaces are nonempty sets of nonempty subsets of a given set. They are called spherically complete if every chain of balls has a nonempty intersection. This is all that is needed for the encoding of completeness notions. We discuss operations on the sets of balls to determine when they lead to larger sets of balls; if so, then the properties of the so obtained new ball spaces are determined. The operations can lead to increased level of strength, or to ball spaces of newly constructed structures, such as products. Further, the general framework makes it possible to transfer concepts and approaches from one application to the other; as examples we discuss theorems analogous to the Knaster--Tarski Fixed Point Theorem for lattices and theorems analogous to the Tychonoff Theorem for topological spaces.
△ Less
Submitted 28 November, 2020; v1 submitted 22 May, 2019;
originally announced May 2019.
Caristi-Kirk and Oettli-Théra Ball Spaces and applications
Authors:
Piotr Błaszkiewicz,
Hanna Ćmiel,
Alessandro Linzi,
Piotr Szewczyk
Abstract:
Based on the theory of ball spaces introduced by Kuhlmann and Kuhlmann we introduce and study Caristi-Kirk and Oettli-Théra ball spaces. We show that if the underlying metric space is complete, then these have a very strong property: every ball contains a singleton ball. This fact provides quick proofs for several results which are equivalent to the Caristi-Kirk Fixed Point Theorem, namely Ekeland…
▽ More
Based on the theory of ball spaces introduced by Kuhlmann and Kuhlmann we introduce and study Caristi-Kirk and Oettli-Théra ball spaces. We show that if the underlying metric space is complete, then these have a very strong property: every ball contains a singleton ball. This fact provides quick proofs for several results which are equivalent to the Caristi-Kirk Fixed Point Theorem, namely Ekeland's Variational Principles, the Oettli-Théra Theorem, Takahashi's Theorem and the Flower Petal Theorem.
△ Less
Submitted 12 January, 2019;
originally announced January 2019.
