Related papers: Isometric $F$-spaces of $log$-integrable function

Let $T$ be a compact, metrisable and strongly countable-dimensional topological space. Let $\mathcal{M}^T$ be the set of all metrics $d$ on $T$ compatible with its topology, and equip $\mathcal{M}^T$ with the topology of uniform…

If $G$ is a compact Lie group endowed with a left invariant metric $g$, then $G$ acts via pullback by isometries on each eigenspace of the associated Laplace operator $\Delta_g$. We establish algebraic criteria for the existence of left…

For a measure space $(\Omega, \Sigma, \mu)$ with a positive finite measure $\mu$, and a positive real number $p$, we define the space $L_p^{+}(\mu)=L_p^{+}$ of all (equivalence classes of) $\Sigma$-measurable complex functions $f$ defined…

We study proper holomorphic maps between bounded symmetric domains $D$ and $\Omega$. In particular, when $D$ and $\Omega$ are of the same rank $\ge 2$ such that all irreducible factors of $D$ are of rank $\ge 2$, we prove that any proper…

We say that a finite metric space $X$ can be embedded almost isometrically into a class of metric spaces $C$, if for every $\epsilon > 0$ there exists an embedding of $X$ into one of the elements of $C$ with the bi-Lipschitz distortion less…

In this paper we prove that if $\{\varphi_i(x)=\lambda x+t_i\}$ is an equicontractive iterated function system and $b$ is a positive integer satisfying $\frac{\log b}{\log |\lambda|}\notin\mathbb{Q},$ then almost every $x$ is normal in base…

A finite family $\mathcal{F}=\{f_1,\ldots,f_n\}$ of continuous selfmaps of a given metric space $X$ is called an iterated function system (shortly IFS). In a case of contractive selfmaps of a complete metric space is well-known that IFS has…

Let $M$ be a compact 1-manifold. Given a continuous function $g:M\to \mathbb R_+$ we consider the following ordinary differential equation: $\|\dot{f}(t)\|=g(t)$, where $f:M\to \mathbb R^2$. We construct a probability measure on the space…

Given an action of a group $\Gamma$ on a measure space $\Omega$, we provide a sufficient criterion under which two sets $A, B\subseteq \Omega$ are measurably equidecomposable, i.e., $A$ can be partitioned into finitely many measurable…

Consider an iterated function system consisting of similarities on the complex plane of the form $g_{i}(z) = \lambda_i z + t_i,\ \lambda_i, t_i \in \mathbb{C},\ |\lambda_i|<1, i=1,\ldots, k$. We prove that for almost every choice of…

In this article, $(X,\, \mathcal{A},\, \mu)$ is a measure apace. A classical result establishes a Riesz isomorphism between $L^1(\mu)^{\sim}$ and $L^{\infty}(\mu)$ in case the measure $\mu$ is $\sigma$-finite. In general, there still is a…

In the first part of this paper, we extend the result of Li-Wang on the linearized embedding problem to a compact manifold of arbitrary dimension. Using this, we then show that any metric perturbation of a embedded $n$-sphere is also…

We prove that each isometric isomorphism, between the monoids of all nonegative 1-Lipschitz maps defined on invariant metric groups and equiped with the inf-convolution law, is given canonically from an isometric isomorphism between their…

Let $ \mu $ be the self-similar measure associated with a homogeneous iterated function system $ \Phi = \{ \lambda x + t_j \}_{j=1}^m $ on ${\Bbb R}$ and a probability vector $ (p_{j})_{j=1}^m$, where $0\neq \lambda\in (-1,1)$ and $t_j\in…

In [The Space of Spaces: Curvature Bounds and Gradient Flows on the Space of Metric Measure Spaces. Memoirs of the American Mathematical Society. American Mathematical Society, 2023], Sturm studied the space of all metric measure spaces up…

In this work, we revisit the following estimate due to Dahlberg \cite{Dahl}. Let $\textit{\textbf x}_0$ a fixed point in a bounded Lipschitz domain $\Omega$. Then there exists a constant $C > 0$ such that if $u$ is a harmonic function in…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

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…

Let $\Omega$ denote an algebra of sets and $\mu$ a $\sigma$-finite measure. We then prove that the completion of $\Omega$ under the pseudometric $d(A,B)$ = $\mu^{\ast}(A \triangle B)$ is $\sigma$-algebra isomorphic and isometric to the…

For a probability measure space $(X,\mathscr{A},\mu)$, we define a pseudometric $\delta$ on the ring $\mathcal{M}(X,\mathscr{A})$ of real-valued measurable functions on $X$ as $\delta(f,g)=\mu(X\setminus Z(f-g))$ and denote the topological…