Local behavior of mappings of metric spaces with branching

2020 ◽  
Vol 17 (4) ◽  
pp. 574-593
Author(s):  
Serhii Skvortsov

The local behavior of mappings with the inverse Poletsky inequality between metric spaces is studied. The case where one of the spaces satisfies the condition of weak sphericalization, is similar to the Riemannian sphere (extended Euclidean space), and is locally linearly connected under a mapping is considered. It is proved that the equicontinuity of the corresponding families of mappings of two domains, one of which is a domain with a weakly flat boundary, and another one is a fixed domain with a compact closure, the corresponding weight in the main inequality being supposed to be integrable.

2021 ◽  
Vol 9 ◽  
Author(s):  
Jeffrey Bergfalk ◽  
Chris Lambie-Hanson

Abstract In 1988, Sibe Mardešić and Andrei Prasolov isolated an inverse system $\textbf {A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail that $\lim ^n\textbf {A}$ (the nth derived limit of $\textbf {A}$ ) vanishes for every $n>0$ . Since that time, the question of whether it is consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for every $n>0$ has remained open. It remains possible as well that this condition in fact implies that strong homology is additive on the category of metric spaces. We show that assuming the existence of a weakly compact cardinal, it is indeed consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for all $n>0$ . We show this via a finite-support iteration of Hechler forcings which is of weakly compact length. More precisely, we show that in any forcing extension by this iteration, a condition equivalent to $\lim ^n\textbf {A}=0$ will hold for each $n>0$ . This condition is of interest in its own right; namely, it is the triviality of every coherent n-dimensional family of certain specified sorts of partial functions $\mathbb {N}^2\to \mathbb {Z}$ which are indexed in turn by n-tuples of functions $f:\mathbb {N}\to \mathbb {N}$ . The triviality and coherence in question here generalise the classical and well-studied case of $n=1$ .


2019 ◽  
Vol 244 (1) ◽  
pp. 47-55 ◽  
Author(s):  
Evgeny A. Sevost’yanov ◽  
Sergei A. Skvortsov
Keyword(s):  

2016 ◽  
Vol 18 (06) ◽  
pp. 1650019 ◽  
Author(s):  
Y. Wang ◽  
J. Xiao

This paper establishes such a uniqueness principle that under [Formula: see text] the fractional order differential inequality [Formula: see text] has the property that if [Formula: see text] then a non-negative weak solution to [Formula: see text] is unique, and if [Formula: see text] then the uniqueness of a non-negative weak solution to [Formula: see text] occurs when and only when [Formula: see text], thereby innovatively generalizing Gidas–Spruck’s result for [Formula: see text] in [Formula: see text] discovered in [B. Gidas and J. Spruck, Global and local behavior of positive solutions of nonlinear elliptic equations, Comm. Pure Appl. Math. 34 (1981) 525–598].


2013 ◽  
Vol 56 (3) ◽  
pp. 519-535 ◽  
Author(s):  
TIMOTHY FAVER ◽  
KATELYNN KOCHALSKI ◽  
MATHAV KISHORE MURUGAN ◽  
HEIDI VERHEGGEN ◽  
ELIZABETH WESSON ◽  
...  

AbstractMotivated by a classical theorem of Schoenberg, we prove that an n + 1 point finite metric space has strict 2-negative type if and only if it can be isometrically embedded in the Euclidean space $\mathbb{R}^{n}$ of dimension n but it cannot be isometrically embedded in any Euclidean space $\mathbb{R}^{r}$ of dimension r < n. We use this result as a technical tool to study ‘roundness’ properties of additive metrics with a particular focus on ultrametrics and leaf metrics. The following conditions are shown to be equivalent for a metric space (X,d): (1) X is ultrametric, (2) X has infinite roundness, (3) X has infinite generalized roundness, (4) X has strict p-negative type for all p ≥ 0 and (5) X admits no p-polygonal equality for any p ≥ 0. As all ultrametric spaces have strict 2-negative type by (4) we thus obtain a short new proof of Lemin's theorem: Every finite ultrametric space is isometrically embeddable into some Euclidean space as an affinely independent set. Motivated by a question of Lemin, Shkarin introduced the class $\mathcal{M}$ of all finite metric spaces that may be isometrically embedded into ℓ2 as an affinely independent set. The results of this paper show that Shkarin's class $\mathcal{M}$ consists of all finite metric spaces of strict 2-negative type. We also note that it is possible to construct an additive metric space whose generalized roundness is exactly ℘ for each ℘ ∈ [1, ∞].


2019 ◽  
Vol 16 (2) ◽  
pp. 215-227
Author(s):  
Evgeny Sevost'yanov ◽  
Sergei Skvortsov

We study the mappings of metric spaces that distort the moduli of the families of paths according to the Poletsky inequality. In the case where the mapped domain is a weakly flat space, and the enveloping metric space admits a weak sphericalization, the equicontinuity of the corresponding families of inverse mappings is established. Under some additional conditions, the equicontinuity of the corresponding families of mappings in the closure of their domain of definition has proved.


2009 ◽  
Vol 51 (2) ◽  
pp. 301-314 ◽  
Author(s):  
S. M. BUCKLEY ◽  
K. FALK ◽  
D. J. WRAITH

AbstractWe consider Ptolemy's inequality in a metric space setting. It is not hard to see that CAT(0) spaces satisfy this inequality. Although the converse is not true in full generality, we show that if our Ptolemaic space is either a Riemannian or Finsler manifold, then it must also be CAT(0). Ptolemy's inequality is closely related to inversions of metric spaces. We exploit this link to establish a new characterization of Euclidean space amongst all Riemannian manifolds.


1984 ◽  
Vol 30 (2) ◽  
pp. 161-167
Author(s):  
Yang Lu ◽  
Zhang Jing-Zhong

Let A1A2A3A4, be a planar convex quadrangle with diagonals A1A3 and A2A4. Is there a quadrangle B1B2B3B4 in Euclidean space such that A1A3 < B1B3, A2A4 < B2B4 but AiAj > BiBj for other edges?The answer is “no”. It seems to be obvious but the proof is more difficult. In this paper we shall solve similar more complicated problems by using a higher dimensional geometric inequality which is a generalisation of the well-known Pedoe inequality (Proc. Cambridge Philos. Soc.38 (1942), 397–398) and an interesting result by L.M. Blumenthal and B.E. Gillam (Amer. Math. Monthly50 (1943), 181–185).


2009 ◽  
Vol 32 (4) ◽  
pp. 343-362 ◽  
Author(s):  
Donatella Danielli ◽  
Nicola Garofalo ◽  
Niko Marola

Sign in / Sign up

Export Citation Format

Share Document