A characterization of well-posed minimum problems in a complete metric space

1970 ◽  
Vol 5 (6) ◽  
pp. 452-461 ◽  
Author(s):  
M. Furi ◽  
A. Vignoli
2012 ◽  
Vol 77 (1) ◽  
pp. 308-328 ◽  
Author(s):  
David Fernández-Duque

AbstractDynamic Topological Logic is a modal framework for reasoning about dynamical systems, that is, pairs 〈X, f〉 where X is a topological space and f: X → X a continuous function.In this paper we consider the case where X is a metric space. We first show that any formula which can be satisfied on an arbitrary dynamic topological system can be satisfied on one based on a metric space; in fact, this space can be taken to be countable and have no isolated points. Since any metric space with these properties is homeomorphic to the set of rational numbers, it follows that any satisfiable formula can be satisfied on a system based on ℚ.We then show that the situation changes when considering complete metric spaces, by exhibiting a formula which is not valid in general but is valid on the class of systems based on a complete metric space. While we do not attempt to give a full characterization of the set of valid formulas on this class we do give a relative completeness result; any formula which is satisfiable on a dynamical system based on a complete metric space is also satisfied on one based on the Cantor space.


Symmetry ◽  
2021 ◽  
Vol 13 (7) ◽  
pp. 1253
Author(s):  
Alexander J. Zaslavski

In the present work, we investigate a collection of symmetric minimization problems, which is identified with a complete metric space of lower semi-continuous and bounded from below functions. In our recent paper, we showed that for a generic objective function, the corresponding symmetric optimization problem possesses two solutions. In this paper, we strengthen this result using a porosity notion. We investigate the collection of all functions such that the corresponding optimization problem is well-posed and prove that its complement is a σ-porous set.


2019 ◽  
Vol 10 (7) ◽  
pp. 1419-1425
Author(s):  
Jayashree Patil ◽  
Basel Hardan

2020 ◽  
Vol 8 (1) ◽  
pp. 114-165
Author(s):  
Tetsu Toyoda

AbstractGromov (2001) and Sturm (2003) proved that any four points in a CAT(0) space satisfy a certain family of inequalities. We call those inequalities the ⊠-inequalities, following the notation used by Gromov. In this paper, we prove that a metric space X containing at most five points admits an isometric embedding into a CAT(0) space if and only if any four points in X satisfy the ⊠-inequalities. To prove this, we introduce a new family of necessary conditions for a metric space to admit an isometric embedding into a CAT(0) space by modifying and generalizing Gromov’s cycle conditions. Furthermore, we prove that if a metric space satisfies all those necessary conditions, then it admits an isometric embedding into a CAT(0) space. This work presents a new approach to characterizing those metric spaces that admit an isometric embedding into a CAT(0) space.


2020 ◽  
Vol 8 (1) ◽  
pp. 166-181
Author(s):  
Rebekah Jones ◽  
Panu Lahti

AbstractWe prove a duality relation for the moduli of the family of curves connecting two sets and the family of surfaces separating the sets, in the setting of a complete metric space equipped with a doubling measure and supporting a Poincaré inequality. Then we apply this to show that quasiconformal mappings can be characterized by the fact that they quasi-preserve the modulus of certain families of surfaces.


2020 ◽  
pp. 1-18
Author(s):  
NIKOLAI EDEKO

Abstract We consider a locally path-connected compact metric space K with finite first Betti number $\textrm {b}_1(K)$ and a flow $(K, G)$ on K such that G is abelian and all G-invariant functions $f\,{\in}\, \text{\rm C}(K)$ are constant. We prove that every equicontinuous factor of the flow $(K, G)$ is isomorphic to a flow on a compact abelian Lie group of dimension less than ${\textrm {b}_1(K)}/{\textrm {b}_0(K)}$ . For this purpose, we use and provide a new proof for Theorem 2.12 of Hauser and Jäger [Monotonicity of maximal equicontinuous factors and an application to toral flows. Proc. Amer. Math. Soc.147 (2019), 4539–4554], which states that for a flow on a locally connected compact space the quotient map onto the maximal equicontinuous factor is monotone, i.e., has connected fibers. Our alternative proof is a simple consequence of a new characterization of the monotonicity of a quotient map $p\colon K\to L$ between locally connected compact spaces K and L that we obtain by characterizing the local connectedness of K in terms of the Banach lattice $\textrm {C}(K)$ .


1992 ◽  
Vol 35 (4) ◽  
pp. 439-448 ◽  
Author(s):  
Gerald Beer

AbstractLet X be a complete metric space. Viewing continuous real functions on X as closed subsets of X × R, equipped with Hausdorff distance, we show that C(X, R) is completely metrizable provided X is complete and sigma compact. Following the Bulgarian school of constructive approximation theory, a bounded discontinuous function may be identified with its completed graph, the set of points between the upper and lower envelopes of the function. We show that the space of completed graphs, too, is completely metrizable, provided X is locally connected as well as sigma compact and complete. In the process, when X is a Polish space, we provide a simple answer to the following foundational question: which subsets of X × R arise as completed graphs?


2014 ◽  
Vol 2014 ◽  
pp. 1-6 ◽  
Author(s):  
Erdal Karapınar ◽  
V. Pragadeeswarar ◽  
M. Marudai

We introduce a new class of nonself-mappings, generalized proximal weak contraction mappings, and prove the existence and uniqueness of best proximity point for such mappings in the context of complete metric spaces. Moreover, we state an algorithm to determine such an optimal approximate solution designed as a best proximity point. We establish also an example to illustrate our main results. Our result provides an extension of the related results in the literature.


2013 ◽  
Vol 2013 ◽  
pp. 1-6
Author(s):  
Ming-liang Song ◽  
Zhong-qian Wang

We prove a common fixed point theorem for a pair of generalized Bose-Mukherjee-type fuzzy mappings in a complete metric space. An example is also provided to support the main result presented herein.


2018 ◽  
Vol 34 (1) ◽  
pp. 93-102
Author(s):  
NICOLAE-ADRIAN SECELEAN ◽  

The purpose of this paper is to combine and extend some recent fixed point results of Suzuki, T., [A new type of fixed point theorem in metric spaces, Nonlinear Anal., 71 (2009), 5313–5317] and Secelean, N. A. & Wardowski, D., [ψF-contractions: not necessarily nonexpansive Picard operators, Results Math., 70 (2016), 415–431]. The continuity and the completeness conditions are replaced by orbitally continuity and orbitally completeness respectively. It is given an illustrative example of a Picard operator on a non complete metric space which is neither nonexpansive nor expansive and has a unique continuity point.


Sign in / Sign up

Export Citation Format

Share Document