A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures
From MaRDI portal
Publication:2050189
Partial orders, general (06A06) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Fixed-point theorems (47H10) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Set-valued maps in general topology (54C60) Fixed-point and coincidence theorems (topological aspects) (54H25) Topological spaces and generalizations (closure spaces, etc.) (54A05) Compactness (54D30) Complete metric spaces (54E50) Axiom of choice and related propositions (03E25) Ordered fields (12J15) General valuation theory for fields (12J20)
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 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.
Recommendations
- Construction of ball spaces and the notion of continuity
- Fixed points and completeness in metric and generalized metric spaces
- On completeness in metric spaces and fixed point theorems
- The Caristi-Kirk fixed point theorem from the point of view of ball spaces
- On characterizations of \(\leq\)-completeness and metric completeness
Cites work
- scientific article; zbMATH DE number 3710855 (Why is no real title available?)
- scientific article; zbMATH DE number 4125402 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- A PURELY METRIC PROOF OF THE CARISTI FIXED POINT THEOREM
- A Topological Banach Fixed Point Theorem for Compact Hausdorff Spaces
- A lattice-theoretical fixpoint theorem and its applications
- Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
- Caristi's fixed point theorem and selections of set-valued contractions
- Caristi-Kirk and Oettli-Théra ball spaces and applications
- Chain intersection closures
- Chain-complete posets and directed sets with applications
- Correction to ``A common generalization of metric, ultrametric and topological fixed point theorems
- Equivalents of Ekeland's principle
- Fixed point and attractor theorems for ultrametric spaces
- Fixed point theorems for spaces with a transitive relation
- Fixed points, combs and generalized power series
- Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
- Metric fixed point theory: a brief retrospective
- Order-theoretic aspects of metric fixed point theory
- Quite complete real closed fields
- Sur le théorème de Zorn
- Symmetrically complete ordered sets abelian groups and fields.
- The Banach fixed point theorem for ultrametric spaces
- The Caristi-Kirk fixed point theorem from the point of view of ball spaces
- The common point theorem for ultrametric spaces
- The drop theorem, the petal theorem and Ekeland's variational principle
- Topologische Maximalprinzipien
- Ultrametric dynamics
- Ultrametric spaces and logic programming
Cited in
(4)- Applications of ball spaces theory: fixed point theorems in semimetric spaces and ball convergence
- The Collins-Roscoe structuring mechanism, \(D\)-spaces and related topics
- Caristi-Kirk and Oettli-Théra ball spaces and applications
- Categorical interpretations of cryptomorphisms and maps arising from matroidal and combinatorial contexts
This page was built for publication: A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2050189)
