Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z)\ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of ${\ell }_{\infty }$.

To any smooth compact manifold $M$ endowed with a contact structure $H$ and partially integrable almost CR structure $J$, we prove the existence and uniqueness, modulo high-order error terms and diffeomorphism action, of an approximately Einstein ACH (asymptotically complex hyperbolic) metric $g$ on $M\times (-1,0)$. We consider the asymptotic expansion, in powers of a special defining function, of the volume of $M\times (-1,0)$ with respect to $g$ and prove that the log term coefficient is independent of $J$ (and any choice...

We investigate several aspects of almost 1-unconditionality. We characterize the metric unconditional approximation property (umap) in terms of “block unconditionality”. Then we focus on translation invariant subspaces $L_E^p\left(\right)$ and $C_E\left(\right)$ of functions on the circle and express block unconditionality as arithmetical conditions on E. Our work shows that the spaces $p_E\left(\right)$, p an even integer, have a singular behaviour from the almost isometric point of view: property (umap) does not interpolate between $L_E^p\left(\right)$...

Let $(X,d_X)$, $(\Omega ,d_{\Omega })$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_p$ the p-Wasserstein metric with some p ∈ [1,∞), and by ${}_p\left(X\right)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f:\Omega {\to }_p\left(X\right)$, $\omega \mapsto f_{\omega }$, be a Borel map such that f is a contraction from $(\Omega ,d_{\Omega })$ into ${(}_p\left(X\right),W_p)$. Let ν₁,ν₂ be probability measures on Ω with $W_p(\nu ₁,\nu ₂)$ finite. On X we consider the subordinated measures ${\mu }_i={\int }_{\Omega }{f}_{\omega }d{\nu }_i\left(\omega \right)$. Then $W_p(\mu ₁,\mu ₂)\le W_p(\nu ₁,\nu ₂)$. As an application we show that the solution measures ${\varrho }_{\alpha }\left(t\right)$...

Let $F$ be a closed subset of ${ℝ}^n$ and let $P\left(x\right)$ denote the metric projection (closest point mapping) of $x\in {ℝ}^n$ onto $F$ in $l^p$-norm. A classical result of Asplund states that $P$ is (Fréchet) differentiable almost everywhere (a.e.) in ${ℝ}^n$ in the Euclidean case $p=2$. We consider the case $2<p<\infty$ and prove that the $i$th component $P_i\left(x\right)$ of $P\left(x\right)$ is differentiable a.e. if $P_i\left(x\right)\ne x_i$ and satisfies Hölder condition of order $1/(p-1)$ if $P_i\left(x\right)=x_i$.

We study some generalized metric properties on the hyperspace $ℱ\left(X\right)$ of finite subsets of a space $X$ endowed with the Vietoris topology. We prove that $X$ has a point-star network consisting of (countable) $wcs$-covers if and only if so does $ℱ\left(X\right)$. Moreover, $X$ has a sequence of $wcs$-covers with property $\left(P\right)$ which is a point-star network if and only if so does $ℱ\left(X\right)$, where $\left(P\right)$ is one of the following properties: point-finite, point-countable, compact-finite, compact-countable, locally finite, locally countable....

Let $(X,d,\mu )$ be a metric measure space satisfying the doubling condition and an $L^2$-Poincaré inequality. Consider the nonnegative operator $ℒ$ generalized by a Dirichlet form on $X$. We will show that a solution $u$ to $(-{\partial }_t^2+ℒ)u=0$ on $X\times {ℝ}_{+}$ satisfies an $\alpha$-Carleson condition if and only if $u$ can be represented as the Poisson integral of the operator $ℒ$ with the trace in the generalized Morrey space $L^{2,\alpha }\left(X\right)$, where $\alpha$ is a nonnegative function defined on a class of balls in $X$. This result extends the analogous characterization...

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

In this article, we obtain sufficient conditions so that every solution of neutral delay differential equation $${(y\left(t\right)-\sum _{i=1}^k{p}_i\left(t\right)y\left(r_i\left(t\right)\right))}^{\left(n\right)}+v\left(t\right)G\left(y\left(g\left(t\right)\right)\right)-u\left(t\right)H\left(y\left(h\left(t\right)\right)\right)=f\left(t\right)$$ oscillates or tends to zero as $t\to \infty$, where, $n\ge 1$ is any positive integer, $p_i$, $r_i\in C^{\left(n\right)}([0,\infty ),ℝ)$  and $p_i$ are bounded for each $i=1,2,\cdots ,k$. Further, $f\in C\left(\right[0,\infty ),ℝ)$, $g$, $h$, $v$, $u\in C\left(\right[0,\infty ),[0,\infty \left)\right)$, $G$ and $H\in C(ℝ,ℝ)$. The functional delays $r_i\left(t\right)\le t$, $g\left(t\right)\le t$ and $h\left(t\right)\le t$ and all of them approach $\infty$ as $t\to \infty$. The results hold when $u\equiv 0$ and $f\left(t\right)\equiv 0$. This article extends, generalizes and improves some recent results, and further answers some unanswered questions from the literature. ...

Let $D$ be a nonempty open set in a metric space $(X,d)$ with $\partial D\ne \varnothing$. Define $$h_{D,c}(x,y)=log\left(1+c\frac{d(x,y)}{\sqrt{d_D\left(x\right)d_D\left(y\right)}}\right),$$ where $d_D\left(x\right)=d(x,\partial D)$ is the distance from $x$ to the boundary of $D$. For every $c\ge 2$, $h_{D,c}$ is a metric. We study the sharp Lipschitz constants for the metric $h_{D,c}$ under Möbius transformations of the unit ball, the upper half space, and the punctured unit ball.

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L{C}^{n-1}$-space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

For metrizable continua, there exists the well-known notion of a Whitney map. If $X$ is a nonempty, compact, and metric space, then any Whitney map for any closed subset of $2^X$ can be extended to a Whitney map for $2^X$ [3, 16.10 Theorem]. The main purpose of this paper is to prove some generalizations of this theorem.

Let $-(n+1)<m\le -(n+1)(1-\rho )$ and let $T_a\in {ℒ}_{\rho ,\delta }^m$ be pseudo-differential operators with symbols $a(x,\xi )\in {ℝ}^n\times {ℝ}^n$, where $0<\rho \le 1$, $0\le \delta <1$ and $\delta \le \rho$. Let $\mu$, $\lambda$ be weights in Muckenhoupt classes $A_p$, $\nu ={\left(\mu {\lambda }^{-1}\right)}^{1/p}$ for some $1<p<\infty$. We establish a two-weight inequality for commutators generated by pseudo-differential operators $T_a$ with weighted BMO functions $b\in {\mathrm{BMO}}_{\nu }$, namely, the commutator $[b,T_a]$ is bounded from $L^p\left(\mu \right)$ into $L^p\left(\lambda \right)$. Furthermore, the range of $m$ can be extended to the whole $m\le -(n+1)(1-\rho )$.