Related papers: A Probabilistic Generalization of the Mazur-Ulam T…

The classical Mazur--Ulam theorem which states that every surjective isometry between real normed spaces is affine is not valid for non-Archimedean normed spaces. In this paper, we establish a Mazur--Ulam theorem in the non-Archimedean…

It was proved by S. Mazur and S. Ulam in 1932 that every isometric surjection between normed real vector spaces is affine. We generalize the Mazur--Ulam theorem and find necessary and sufficient conditions under which distance-preserving…

In this article, we study the notions of $n$-isometries in non-Archimedean $n$-normed spaces over linear ordered non-Archimedean fields, and prove the Mazur-Ulam theorem in the spaces. Furthermore, we obtain some properties for…

In order to generalize the results of Mazur-Ulam and Vogt, we shall prove that any map T which preserves equality of distance with T(0)=0 between two F-spaces without surjective condition is linear. Then, as a special case linear isometries…

We prove that every unital C*-algebra $A$ has the Mazur--Ulam property. Namely, every surjective isometry from the unit sphere $S_A$ of $A$ onto the unit sphere $S_Y$ of another normed space $Y$ extends to a real linear map. This extends…

The goal of this paper is to point out that the results obtained in the recent papers [7,8,10,11] can be seriously strengthened in the sense that we can significantly relax the assumptions of the main results so that we still get the same…

We give a sufficient condition for a Banach space with which the homogeneous extension of a surjective isometry from the unit sphere of it onto another one is real-linear. The condition is satisfied by a uniform algebra and a certain…

We say that a mapping $f: X \rightarrow Y$ between two real normed spaces is a phase-isometry if it satisfies the functional equation \begin{eqnarray*} \{\|f(x)+f(y)\|, \|f(x)-f(y)\|\}=\{\|x+y\|, \|x-y\|\} \quad (x,y\in X).\end{eqnarray*} A…

It is shown that two Banach spaces are linearly isometric if and only if the Gromov--Hausdorff distance between them is finite, in particular, zero. The proof is compilative and relies on results obtained by many researchers on the…

Let $(\Omega,\mu)$ be a $\sigma$-finite measure space. Given a Banach space $X$, let the symbol $S(X)$ stand for the unit sphere of $X$. We prove that the space $L^{\infty} (\Omega,\mu)$ of all complex-valued measurable essentially bounded…

Let $\Gamma$ be an infinite set equipped with the discrete topology. We prove that the space $\ell_{\infty}(\Gamma),$ of all complex-valued bounded functions on $\Gamma$, satisfies the Mazur-Ulam property, that is, every surjective isometry…

In this paper we show how some metric properties of the unit sphere of a normed space can help to approach a solution to Tingley's problem. In our main result we show that if an onto isometry between the spheres of strictly convex spaces is…

We prove a very general theorem concerning the estimation of the expression $\|T(\frac{a+b}{2}) - \frac{Ta+Tb}{2}\|$ for different kinds of maps $T$ satisfying some general perurbated isometry condition. It can be seen as a quantitative…

Given some non-Archimedean field $\mathbb{K}$ and some $\mathbb{K}$-linear space $X$, the usual way to define a norm over $X$ involves the {\em ultrametric inequality} $\|x+y\|\leq\max\{\|x\|,\|y\|\}$. In this note we will try to analyse…

It has been argued by Shepard that there is a robust psychological law that relates the distance between a pair of items in psychological space and the probability that they will be confused with each other. Specifically, the probability of…

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

Suppose that $f_1,\ldots ,f_m : S(V)\to R$ are $m$ ($\geq 1$) continuous functions defined on the unit sphere in a Euclidean vector space $V$ of dimension $m+1$ satisfying $f_i(-v)=-f_i(v)$ for all $v\in S(V)$. The classical Borsuk-Ulam…

We observe that the classical Borsuk-Ulam theorem has an easy generalization to maps from an n-manifold M^n to R^n. We point out a geometric corollary.

A generalized divergence theorem is established allowing for domains with inner boundaries. The normal trace of a rough integrand is not a Radon measure; rather, the boundary integral is expressed via a surface functional continuous with…