Related papers: The Distorion Problem

The Hahn-Banach theorem states that onto each line in every normed space, there is a unitary projection, and Kadec and Snobar proved (using John's ellipsoid) that onto each $n$-dimensional subspace of any real normed space, there is a…

Let $V$ be a Banach space where for fixed $n$, $1<n<\dim(V)$, all of its $n$-dimensional subspaces are isometric. In 1932, Banach asked if under this hypothesis $V$ is necessarily a Hilbert space. Gromov, in 1967, answered it positively for…

We prove that if X is an infinite dimensional Banach lattice with a weak unit then there exists a probability space (Omega, Sigma,mu) so that the unit sphere S(L_1(Omega, Sigma, mu) is uniformly homeomorphic to the unit sphere S(X) if and…

Let X be a path-connected topological space admitting a universal cover. Let Homeo(X,a) denote the group of homeomorphisms of X preserving degree one cohomology class a. We investigate the distortion in Homeo(X,a). Let g be an element of…

In any infinite dimensional Hilbert space H, a sequence P_n...P_1 x diverges in norm for some x \in H and orthogonal projections P_n \in {Q_1,..., Q_5}.

Tsirelson's space $T$ is known to be distortable but it is open as to whether or not $T$ is arbitrarily distortable. For $n\in {\Bbb N}$ the norm $\|\cdot\|_n$ of the Tsirelson space $T(S_n,2^{-n})$ is equivalent to the standard norm on…

We show that a metric space $X$ that, at every point, has a Gromov-Hausdorff tangent with the splitting property (i.e. every geodesic line splits off a factor $\mathbb{R}$), is universally infinitesimally Hilbertian (i.e. $W^{1,2}(X,\mu)$…

Let $H$ be a Hilbert space that can be embedded as a dense subspace of a Banach space $X$ such that the norm of the embedding is equal to $1$. We consider the following statements for a nonzero vector $\varphi$ in $H$: (A) $\|\varphi\|_X =…

The \emph{relative projection constant} $\lambda(Y, X)$ of normed spaces $Y \subset X$ is defined as $\lambda(Y, X) = \inf \{ ||P|| : P \in \mathcal{P}(X, Y) \}$, where $\mathcal{P}(X, Y)$ denotes the set of all continuous projections from…

A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without…

For an unbounded operator $S$ on a Banach space the existence of invariant subspaces corresponding to its spectrum in the left and right half-plane is proved. The general assumption on $S$ is the uniform boundedness of the resolvent along…

Orthonormal systems in commutative $L_2$ spaces can be used to classify Banach spaces. When the system is complete and satisfies certain norm condition the unconditionality with respect to the system characterizes Hilbert spaces. As a…

Any regular mixed Tsirelson space $T(\theta_n,S_n)_{\N}$ for which $\frac{\theta_n}{\theta^n} \to 0$, where $\theta=\lim_n \theta_n^{1/n}$, is shown to be arbitrarily distortable. Certain asymptotic $\ell_1$ constants for those and other…

Let $X$ be a normed space that satisfies the Johnson-Lindenstrauss lemma (J-L lemma, in short) in the sense that for any integer $n$ and any $x_1,\ldots,x_n\in X$ there exists a linear mapping $L:X\to F$, where $F\subseteq X$ is a linear…

We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by…

We show that the Continuum Hypothesis implies that for every $0<d_1\leq d_2<n$ the measure spaces $(\RR^n,\iM_{\iH^{d_1}},\iH^{d_1})$ and $(\RR^n,\iM_{\iH^{d_2}},\iH^{d_2})$ are isomorphic, where $\iH^d$ is $d$-dimensional Hausdorff measure…

We prove the symmetric version of Kottman's theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset $A$ with the property that $\|x\pm y\| > 1$ for distinct elements…

We study the problem of extending any order-preserving Lipschitz function that maps a subset of a partially ordered Hilbert space X into a Hadamard poset Y without increasing its Lipschitz constant and preserving its monotonicity. This sort…

Let $X, Y$ be separable metrizable spaces, where $X$ is noncompact and $Y$ is equipped with an admissible complete metric $d$. We show that the space $C(X,Y)$ of continuous maps from $X$ into $Y$ equipped with the uniform topology is…

Our main result states that whenever we have a non-Euclidean norm $\|\cdot\|$ on a two-dimensional vector space $X$, there exists some $x\neq 0$ such that for every $\lambda\neq 1, \lambda>0$, there exist $y, z\in X$ verifying that…