Showing 1–50 of 52 results for author: Ostrovskii, M I

Finite determination for embeddings into Banach spaces: new proof, low distortion

Authors: Florin Catrina, Mikhail I. Ostrovskii

Abstract: The main goal of this paper is to improve the result of Ostrovskii (2012) on the finite determination of bilipschitz and coarse embeddability of locally finite metric spaces into Banach spaces. There are two directions of the improvement: (1) Substantial decrease of distortion (from about $3000$ to $3+\ep$) is achieved by replacing the barycentric gluing by the logarithmic spiral gluing. This… ▽ More The main goal of this paper is to improve the result of Ostrovskii (2012) on the finite determination of bilipschitz and coarse embeddability of locally finite metric spaces into Banach spaces. There are two directions of the improvement: (1) Substantial decrease of distortion (from about $3000$ to $3+\ep$) is achieved by replacing the barycentric gluing by the logarithmic spiral gluing. This decrease in the distortion is particularly important when the finite determination is applied to construction of embeddings. (2) Simplification of the proof: a collection of tricks employed in Ostrovskii (2012) is no longer needed, in addition to the logarithmic spiral gluing we use only the Brunel-Sucheston result on existence of spreading models. △ Less

Submitted 27 July, 2023; originally announced July 2023.

MSC Class: 46B85; 51F30; 68R12

Cycle spaces: invariant projections and applications to transportation cost

Authors: Stephen J. Dilworth, Denka Kutzarova, Mikhail I. Ostrovskii

Abstract: The paper starts with discussion of applications of cycle spaces to transportation cost. After a short survey of the known results on cycle spaces, we turn to the study of minimal projections onto cycle spaces in the corresponding $\ell_1$-spaces. This study is naturally related to the study of invariant projections on the cycle space, which, in turn, are determined by the properties of representa… ▽ More The paper starts with discussion of applications of cycle spaces to transportation cost. After a short survey of the known results on cycle spaces, we turn to the study of minimal projections onto cycle spaces in the corresponding $\ell_1$-spaces. This study is naturally related to the study of invariant projections on the cycle space, which, in turn, are determined by the properties of representations of the automorphism group of the corresponding graph. The main focus is on discrete tori and Hamming graphs. △ Less

Submitted 21 May, 2023; originally announced May 2023.

MSC Class: 46B04; 20B25; 20C15; 52A21; 90B06

Complementability of isometric copies of $\ell_1$ in transportation cost spaces

Authors: Sofiya Ostrovska, Mikhail I. Ostrovskii

Abstract: This work aims to establish new results pertaining to the structure of transportation cost spaces. Due to the fact that those spaces were studied and applied in various contexts, they have also become known under different names such as Arens-Eells spaces, Lipschitz-free spaces, and Wasserstein spaces. The main outcome of this paper states that if a metric space $X$ is such that the transportation… ▽ More This work aims to establish new results pertaining to the structure of transportation cost spaces. Due to the fact that those spaces were studied and applied in various contexts, they have also become known under different names such as Arens-Eells spaces, Lipschitz-free spaces, and Wasserstein spaces. The main outcome of this paper states that if a metric space $X$ is such that the transportation cost space on $X$ contains an isometric copy of $\ell_1$, then it contains a $1$-complemented isometric copy of $\ell_1$. △ Less

Submitted 24 December, 2022; originally announced December 2022.

MSC Class: 6B04; 46B20; 46B85; 91B32

Dvoretzky-type theorem for locally finite subsets of a Hilbert space

Authors: Florin Catrina, Sofiya Ostrovska, Mikhail I. Ostrovskii

Abstract: The main result of the paper: Given any $\varepsilon>0$, every locally finite subset of $\ell_2$ admits a $(1+\varepsilon)$-bilipschitz embedding into an arbitrary infinite-dimensional Banach space. The result is based on two results which are of independent interest: (1) A direct sum of two finite-dimensional Euclidean spaces contains a sub-sum of a controlled dimension which is… ▽ More The main result of the paper: Given any $\varepsilon>0$, every locally finite subset of $\ell_2$ admits a $(1+\varepsilon)$-bilipschitz embedding into an arbitrary infinite-dimensional Banach space. The result is based on two results which are of independent interest: (1) A direct sum of two finite-dimensional Euclidean spaces contains a sub-sum of a controlled dimension which is $\varepsilon$-close to a direct sum with respect to a $1$-unconditional basis in a two-dimensional space. (2) For any finite-dimensional Banach space $Y$ and its direct sum $X$ with itself with respect to a $1$-unconditional basis in a two-dimensional space, there exists a $(1+\varepsilon)$-bilipschitz embedding of $Y$ into $X$ which on a small ball coincides with the identity map onto the first summand and on a complement of a large ball coincides with the identity map onto the second summand. △ Less

Submitted 13 September, 2023; v1 submitted 28 February, 2022; originally announced March 2022.

Comments: Will appear at Annales de l'Institut Fourier

MSC Class: 46B85; 30L05; 46B07; 51F30

Weak$^*$ closures and derived sets for convex sets in dual Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: The paper is devoted to the convex-set counterpart of the theory of weak$^*$ derived sets initiated by Banach and Mazurkiewicz for subspaces. The main result is the following: For every nonreflexive Banach space $X$ and every countable successor ordinal $α$, there exists a convex subset $A$ in $X^*$ such that $α$ is the least ordinal for which the weak$^*$ derived set of order $α$ coincides with t… ▽ More The paper is devoted to the convex-set counterpart of the theory of weak$^*$ derived sets initiated by Banach and Mazurkiewicz for subspaces. The main result is the following: For every nonreflexive Banach space $X$ and every countable successor ordinal $α$, there exists a convex subset $A$ in $X^*$ such that $α$ is the least ordinal for which the weak$^*$ derived set of order $α$ coincides with the weak$^*$ closure of $A$. This result extends the previously known results on weak$^*$ derived sets by Ostrovskii (2011) and Silber (2021). △ Less

Submitted 11 December, 2021; v1 submitted 8 December, 2021; originally announced December 2021.

MSC Class: 46B10 (Primary); 46B20 (Secondary)

Isometric structure of transportation cost spaces on finite metric spaces

Authors: Sofiya Ostrovska, Mikhail I. Ostrovskii

Abstract: The paper is devoted to isometric Banach-space-theoretical structure of transportation cost (TC) spaces on finite metric spaces. The TC spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein spaces. A new notion of a roadmap pertinent to a transportation problem on a finite metric space has been introduced and used to simplify proofs for the results on representation of TC spaces as… ▽ More The paper is devoted to isometric Banach-space-theoretical structure of transportation cost (TC) spaces on finite metric spaces. The TC spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein spaces. A new notion of a roadmap pertinent to a transportation problem on a finite metric space has been introduced and used to simplify proofs for the results on representation of TC spaces as quotients of $\ell_1$ spaces on the edge set over the cycle space. A Tolstoi-type theorem for roadmaps is proved, and directed subgraphs of the canonical graphs, which are supports of maximal optimal roadmaps, are characterized. Possible obstacles for a TC space on a finite metric space $X$ preventing them from containing subspaces isometric to $\ell_\infty^n$ have been found in terms of the canonical graph of $X$. The fact that TC spaces on diamond graphs do not contain $\ell_\infty^4$ isometrically has been derived. In addition, a short overview of known results on the isometric structure of TC spaces on finite metric spaces is presented. △ Less

Submitted 5 December, 2021; originally announced December 2021.

MSC Class: 46B04 (Primary) 46B85 (Secondary)

Analysis on Laakso graphs with application to the structure of transportation cost spaces

Authors: Stephen J. Dilworth, Denka Kutzarova, Mikhail I. Ostrovskii

Abstract: This article is a continuation of our article in [Canad. J. Math. Vol. 72 (3), (2020), pp. 774--804]. We construct orthogonal bases of the cycle and cut spaces of the Laakso graph $\mathcal{L}_n$. They are used to analyze projections from the edge space onto the cycle space and to obtain reasonably sharp estimates of the projection constant of $\operatorname{Lip}_0(\mathcal{L}_n)$, the space of Li… ▽ More This article is a continuation of our article in [Canad. J. Math. Vol. 72 (3), (2020), pp. 774--804]. We construct orthogonal bases of the cycle and cut spaces of the Laakso graph $\mathcal{L}_n$. They are used to analyze projections from the edge space onto the cycle space and to obtain reasonably sharp estimates of the projection constant of $\operatorname{Lip}_0(\mathcal{L}_n)$, the space of Lipschitz functions on $\mathcal{L}_n$. We deduce that the Banach-Mazur distance from TC$(\mathcal{L}_n)$, the transportation cost space of $\mathcal{L}_n$, to $\ell_1^N$ of the same dimension is at least $(3n-5)/8$, which is the analogue of a result from [op. cit.] for the diamond graph $D_n$. We calculate the exact projection constants of $\operatorname{Lip}_0(D_{n,k})$, where $D_{n,k}$ is the diamond graph of branching $k$. We also provide simple examples of finite metric spaces, transportation cost spaces on which contain $\ell_\infty^3$ and $\ell_\infty^4$ isometrically. △ Less

Submitted 7 February, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

MSC Class: Primary: 46B03; Secondary: 30L05; 42C10; 46B07; 46B85

Journal ref: Positivity 25 (2021), no. 4, 1403-1435

On relations between transportation cost spaces and $\ell_1$

Authors: Sofiya Ostrovska, Mikhail I. Ostrovskii

Abstract: The present paper deals with some structural properties of transportation cost spaces, also known as Arens-Eells spaces, Lipschitz-free spaces and Wasserstein spaces. The main results of this work are: (1) A necessary and sufficient condition on an infinite metric space $M$, under which the transportation cost space on $M$ contains an isometric copy of $\ell_1$. The obtained condition is applied t… ▽ More The present paper deals with some structural properties of transportation cost spaces, also known as Arens-Eells spaces, Lipschitz-free spaces and Wasserstein spaces. The main results of this work are: (1) A necessary and sufficient condition on an infinite metric space $M$, under which the transportation cost space on $M$ contains an isometric copy of $\ell_1$. The obtained condition is applied to answer the open questions asked by Cúth and Johanis (2017) concerning several specific metric spaces. (2) The description of the transportation cost space of a weighted finite graph $G$ as the quotient $\ell_1(E(G))/Z(G)$, where $E(G)$ is the edge set and $Z(G)$ is the cycle space of $G$. This is a generalization of the previously known result to the case of any finite metric space. △ Less

Submitted 22 June, 2020; v1 submitted 8 October, 2019; originally announced October 2019.

MSC Class: 46B04; 46B20; 46B85; 91B32

Journal ref: J. Math. Anal. Appl. 491 (2020), no. 2, 124338

Isometric copies of $\ell_\infty^n$ and $\ell_1^n$ in transportation cost spaces on finite metric spaces

Authors: Seychelle S. Khan, Mutasim Mim, Mikhail I. Ostrovskii

Abstract: Main results: (a) If a metric space contains $2n$ elements, the transportation cost space on it contains a $1$-complemented isometric copy of $\ell_1^n$. (b) An example of a finite metric space whose transportation cost space contains an isometric copy of $\ell_\infty^4$. Transportation cost spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein $1$ spaces. Main results: (a) If a metric space contains $2n$ elements, the transportation cost space on it contains a $1$-complemented isometric copy of $\ell_1^n$. (b) An example of a finite metric space whose transportation cost space contains an isometric copy of $\ell_\infty^4$. Transportation cost spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein $1$ spaces. △ Less

Submitted 19 December, 2019; v1 submitted 2 July, 2019; originally announced July 2019.

MSC Class: 52A21 (Primary) 05C70; 30L05; 46B07; 46B85; 91B32 (Secondary)

Journal ref: The Mathematical Legacy of Victor Lomonosov. Operator Theory, pp. 189--203, De Gruyter, 2020

Bourgain discretization using Lebesgue-Bochner spaces

Authors: Mikhail I. Ostrovskii, Beata Randrianantoanina

Abstract: We study the Lebesgue-Bochner discretization property of Banach spaces $Y$, which ensures that the Bourgain's discretization modulus for $Y$ has a good lower estimate. We prove that there exist spaces that do not have the Lebesgue-Bochner discretization property, and we give a class of examples of spaces that enjoy this property. We study the Lebesgue-Bochner discretization property of Banach spaces $Y$, which ensures that the Bourgain's discretization modulus for $Y$ has a good lower estimate. We prove that there exist spaces that do not have the Lebesgue-Bochner discretization property, and we give a class of examples of spaces that enjoy this property. △ Less

Submitted 9 November, 2018; originally announced November 2018.

MSC Class: Primary: 46B85; Secondary: 46B06; 46B07; 46E40

A characterization of superreflexivity through embeddings of lamplighter groups

Authors: Mikhail I. Ostrovskii, Beata Randrianantoanina

Abstract: We prove that finite lamplighter groups $\{\mathbb{Z}_2\wr\mathbb{Z}_n\}_{n\ge 2}$ with a standard set of generators embed with uniformly bounded distortions into any non-superreflexive Banach space, and therefore form a set of test-spaces for superreflexivity. Our proof is inspired by the well known identification of Cayley graphs of infinite lamplighter groups with the horocyclic product of tr… ▽ More We prove that finite lamplighter groups $\{\mathbb{Z}_2\wr\mathbb{Z}_n\}_{n\ge 2}$ with a standard set of generators embed with uniformly bounded distortions into any non-superreflexive Banach space, and therefore form a set of test-spaces for superreflexivity. Our proof is inspired by the well known identification of Cayley graphs of infinite lamplighter groups with the horocyclic product of trees. We cover $\mathbb{Z}_2\wr\mathbb{Z}_n$ by three sets with a structure similar to a horocyclic product of trees, which enables us to construct well-controlled embeddings. △ Less

Submitted 17 July, 2018; originally announced July 2018.

MSC Class: Primary: 46B85; Secondary: 05C12; 20F65; 30L05

Journal ref: Proc. Amer. Math. Soc. 147 (2019), no. 11, 4745-4755

Lipschitz free spaces on finite metric spaces

Authors: Stephen J. Dilworth, Denka Kutzarova, Mikhail I. Ostrovskii

Abstract: Main results of the paper: (1) For any finite metric space $M$ the Lipschitz free space on $M$ contains a large well-complemented subspace which is close to $\ell_1^n$. (2) Lipschitz free spaces on large classes of recursively defined sequences of graphs are not uniformly isomorphic to $\ell_1^n$ of the corresponding dimensions. These classes contain well-known families of diamond graphs and L… ▽ More Main results of the paper: (1) For any finite metric space $M$ the Lipschitz free space on $M$ contains a large well-complemented subspace which is close to $\ell_1^n$. (2) Lipschitz free spaces on large classes of recursively defined sequences of graphs are not uniformly isomorphic to $\ell_1^n$ of the corresponding dimensions. These classes contain well-known families of diamond graphs and Laakso graphs. Interesting features of our approach are: (a) We consider averages over groups of cycle-preserving bijections of graphs which are not necessarily graph automorphisms; (b) In the case of such recursive families of graphs as Laakso graphs we use the well-known approach of Grünbaum (1960) and Rudin (1962) for estimating projection constants in the case where invariant projections are not unique. △ Less

Submitted 10 July, 2018; originally announced July 2018.

MSC Class: Primary: 52A21; Secondary: 30L05; 42C10; 46B07; 46B20; 46B85

On embeddings of locally finite metric spaces into $\ell_p$

Authors: Sofiya Ostrovska, Mikhail I. Ostrovskii

Abstract: It is known that if finite subsets of a locally finite metric space $M$ admit $C$-bilipschitz embeddings into $\ell_p$ $(1\le p\le \infty)$, then for every $ε>0$, the space $M$ admits a $(C+ε)$-bilipschitz embedding into $\ell_p$. The goal of this paper is to show that for $p\ne 2,\infty$ this result is sharp in the sense that $ε$ cannot be dropped out of its statement. It is known that if finite subsets of a locally finite metric space $M$ admit $C$-bilipschitz embeddings into $\ell_p$ $(1\le p\le \infty)$, then for every $ε>0$, the space $M$ admits a $(C+ε)$-bilipschitz embedding into $\ell_p$. The goal of this paper is to show that for $p\ne 2,\infty$ this result is sharp in the sense that $ε$ cannot be dropped out of its statement. △ Less

Submitted 21 December, 2017; originally announced December 2017.

MSC Class: 46B85; 46B04

Journal ref: J. Math. Anal. Appl. 474 (2019), no. 1, 666-673

There is no finitely isometric Krivine's theorem

Authors: James Kilbane, Mikhail I. Ostrovskii

Abstract: We prove that for every $p\in(1,\infty)$, $p\ne 2$, there exist a Banach space $X$ isomorphic to $\ell_p$ and a finite subset $U$ in $\ell_p$, such that $U$ is not isometric to a subset of $X$. This result shows that the finite isometric version of the Krivine theorem (which would be a strengthening of the Krivine theorem (1976)) does not hold. We prove that for every $p\in(1,\infty)$, $p\ne 2$, there exist a Banach space $X$ isomorphic to $\ell_p$ and a finite subset $U$ in $\ell_p$, such that $U$ is not isometric to a subset of $X$. This result shows that the finite isometric version of the Krivine theorem (which would be a strengthening of the Krivine theorem (1976)) does not hold. △ Less

Submitted 4 August, 2017; originally announced August 2017.

MSC Class: 46B03; 30L05; 46B07; 46B85

Journal ref: Houston J. Math., 44 (2018), no. 1, 309--317

Images of nowhere differentiable Lipschitz maps of $[0,1]$ into $L_1[0,1]$

Authors: Florin Catrina, Mikhail I. Ostrovskii

Abstract: The main result: for every sequence $\{ω_m\}_{m=1}^\infty$ of positive numbers ($ω_m>0)$ there exists an isometric embedding $F:[0,1]\to L_1[0,1]$ which is nowhere differentiable, but for each $t\in [0,1]$ the image $F_t$ is infinitely differentiable on $[0,1]$ with bounds $\max_{x\in[0,1]}|F_t^{(m)}(x)|\leω_m$ and has an analytic extension to the complex plane which is an entire function. The main result: for every sequence $\{ω_m\}_{m=1}^\infty$ of positive numbers ($ω_m>0)$ there exists an isometric embedding $F:[0,1]\to L_1[0,1]$ which is nowhere differentiable, but for each $t\in [0,1]$ the image $F_t$ is infinitely differentiable on $[0,1]$ with bounds $\max_{x\in[0,1]}|F_t^{(m)}(x)|\leω_m$ and has an analytic extension to the complex plane which is an entire function. △ Less

Submitted 3 December, 2017; v1 submitted 24 May, 2017; originally announced May 2017.

MSC Class: 46G05; 46B22

Journal ref: Fundamenta Mathematicae, 243, (2018), 75-83

A new approach to low-distortion embeddings of finite metric spaces into non-superreflexive Banach spaces

Authors: Mikhail I. Ostrovskii, Beata Randrianantoanina

Abstract: The main goal of this paper is to develop a new embedding method which we use to show that some finite metric spaces admit low-distortion embeddings into all non-superreflexive spaces. This method is based on the theory of equal-signs-additive sequences developed by Brunel and Sucheston (1975-1976). We also show that some of the low-distortion embeddability results obtained using this method canno… ▽ More The main goal of this paper is to develop a new embedding method which we use to show that some finite metric spaces admit low-distortion embeddings into all non-superreflexive spaces. This method is based on the theory of equal-signs-additive sequences developed by Brunel and Sucheston (1975-1976). We also show that some of the low-distortion embeddability results obtained using this method cannot be obtained using the method based on the factorization between the summing basis and the unit vector basis of $\ell_1$, which was used by Bourgain (1986) and Johnson and Schechtman (2009). △ Less

Submitted 23 February, 2017; v1 submitted 21 September, 2016; originally announced September 2016.

Comments: Many changes, more details of proofs, new figures

MSC Class: 46B85; 05C12; 30L05; 46B07; 46B10

Journal ref: Journal of Functional Analysis, 273, (2017), no. 2, 598-651

Nonexistence of embeddings with uniformly bounded distortions of Laakso graphs into diamond graphs

Authors: Sofiya Ostrovska, Mikhail I. Ostrovskii

Abstract: Diamond graphs and Laakso graphs are important examples in the theory of metric embeddings. Many results for these families of graphs are similar to each other. In this connection, it is natural to ask whether one of these families admits uniformly bilipschitz embeddings into the other. The well-known fact that Laakso graphs are uniformly doubling but diamond graphs are not, immediately implies th… ▽ More Diamond graphs and Laakso graphs are important examples in the theory of metric embeddings. Many results for these families of graphs are similar to each other. In this connection, it is natural to ask whether one of these families admits uniformly bilipschitz embeddings into the other. The well-known fact that Laakso graphs are uniformly doubling but diamond graphs are not, immediately implies that diamond graphs do not admit uniformly bilipschitz embeddings into Laakso graphs. The main goal of this paper is to prove that Laakso graphs do not admit uniformly bilipschitz embeddings into diamond graphs. △ Less

Submitted 20 December, 2015; originally announced December 2015.

MSC Class: 05C12; 30L05; 46B85

Journal ref: Discrete Mathematics, 340 (2017), no. 2, 9-17

Distortion in the finite determination result for embeddings of locally finite metric spaces into Banach spaces

Authors: Sofiya Ostrovska, Mikhail I. Ostrovskii

Abstract: Given a Banach space $X$ and a real number $α\ge 1$, we write: (1) $D(X)\leα$ if, for any locally finite metric space $A$, all finite subsets of which admit bilipschitz embeddings into $X$ with distortions $\le C$, the space $A$ itself admits a bilipschitz embedding into $X$ with distortion $\le α\cdot C$; (2) $D(X)=α^+$ if, for every $\varepsilon>0$, the condition $D(X)\leα+\varepsilon$ holds, wh… ▽ More Given a Banach space $X$ and a real number $α\ge 1$, we write: (1) $D(X)\leα$ if, for any locally finite metric space $A$, all finite subsets of which admit bilipschitz embeddings into $X$ with distortions $\le C$, the space $A$ itself admits a bilipschitz embedding into $X$ with distortion $\le α\cdot C$; (2) $D(X)=α^+$ if, for every $\varepsilon>0$, the condition $D(X)\leα+\varepsilon$ holds, while $D(X)\leα$ does not; (3) $D(X)\le α^+$ if $D(X)=α^+$ or $D(X)\le α$. It is known that $D(X)$ is bounded by a universal constant, but the available estimates for this constant are rather large. The following results have been proved in this work: (1) $D((\oplus_{n=1}^\infty X_n)_p)\le 1^+$ for every nested family of finite-dimensional Banach spaces $\{X_n\}_{n=1}^\infty$ and every $1\le p\le \infty$. (2) $D((\oplus_{n=1}^\infty \ell^\infty_n)_p)=1^+$ for $1<p<\infty$. (3) $D(X)\le 4^+$ for every Banach space $X$ with no nontrivial cotype. Statement (3) is a strengthening of the Baudier-Lancien result (2008). △ Less

Submitted 20 December, 2017; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: This version is a significant update of version 1 since the main result of version 1 turned out to be known (Kalton-Lancien 2008)

MSC Class: 46B85; 46B20

Journal ref: Glasg. Math. J. 61 (2019), no. 1, 33-47

Metric spaces admitting low-distortion embeddings into all $n$-dimensional Banach spaces

Authors: Mikhail I. Ostrovskii, Beata Randrianantoanina

Abstract: For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional Euclidean spaces, and equilateral spaces. We prove that good embeddability properties are preserved under the operation of metric composition of metric spaces. In p… ▽ More For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional Euclidean spaces, and equilateral spaces. We prove that good embeddability properties are preserved under the operation of metric composition of metric spaces. In particular, we prove that any $n$-point ultrametric can be embedded with uniformly bounded distortion into any Banach space of dimension $\log n$. The main result of the paper is a new example of a family of finite metric spaces which are not metric compositions of classical examples and which do embed with uniformly bounded distortion into any Banach space of dimension $n$. This partially answers a question of G. Schechtman. △ Less

Submitted 18 August, 2015; v1 submitted 24 December, 2014; originally announced December 2014.

Comments: 37 pages, 5 figures, some small improvements of presentation

MSC Class: Primary: 46B85; Secondary: 05C12; 30L05; 46B15; 52A21

Journal ref: Canadian Journal of Mathematics 68 (2016), no. 4, 876-907

Metric characterizations of some classes of Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: The main purpose of the paper is to present some recent results on metric characterizations of superreflexivity and the Radon-Nikodým property. The main purpose of the paper is to present some recent results on metric characterizations of superreflexivity and the Radon-Nikodým property. △ Less

Submitted 19 November, 2014; v1 submitted 12 November, 2014; originally announced November 2014.

Comments: In the second version I made some corrections in the introduction

MSC Class: Primary 46B85; Secondary: 05C12; 20F67; 30L05; 46B07; 46B22

Journal ref: Harmonic Analysis, Partial Differential Equations, Complex Analysis, Banach Spaces, and Operator Theory, Celebrating Cora Sadosky's life, Association for Women in Mathematics Series, Vol. 4, pp. 307-347, Springer-Verlag, Berlin, 2016

Metric dimensions of minor excluded graphs and minor exclusion in groups

Authors: Mikhail I. Ostrovskii, David Rosenthal

Abstract: An infinite graph G is minor excluded if there is a finite graph that is not a minor of G. We prove that minor excluded graphs have finite Assouad-Nagata dimension and study minor exclusion for Cayley graphs of finitely generated groups. Our main results and observations are: (1) minor exclusion is not a group property: it depends on the choice of generating set; (2) a group with one end has a gen… ▽ More An infinite graph G is minor excluded if there is a finite graph that is not a minor of G. We prove that minor excluded graphs have finite Assouad-Nagata dimension and study minor exclusion for Cayley graphs of finitely generated groups. Our main results and observations are: (1) minor exclusion is not a group property: it depends on the choice of generating set; (2) a group with one end has a generating set for which the Cayley graph is not minor excluded; (3) there are groups that are not minor excluded for any set of generators; (4) minor exclusion is preserved under free products; and (5) virtually free groups are minor excluded for any choice of finite generating set. △ Less

Submitted 10 September, 2014; originally announced September 2014.

MSC Class: 20F65 (Primary) 05C63; 05C83; 46B85 (Secondary)

Connections between metric characterizations of superreflexivity and the Radon-Nikodým property for dual Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: Johnson and Schechtman (2009) characterized superreflexivity in terms of finite diamond graphs. The present author characterized the Radon-Nikodým property (RNP) for dual spaces in terms of the infinite diamond. This paper is devoted to further study of relations between metric characterizations of superreflexivity and the RNP for dual spaces. The main result is that finite subsets of any set $M$… ▽ More Johnson and Schechtman (2009) characterized superreflexivity in terms of finite diamond graphs. The present author characterized the Radon-Nikodým property (RNP) for dual spaces in terms of the infinite diamond. This paper is devoted to further study of relations between metric characterizations of superreflexivity and the RNP for dual spaces. The main result is that finite subsets of any set $M$ whose embeddability characterizes the RNP for dual spaces, characterize superreflexivity. It is also observed that the converse statement does not hold, and that $M=\ell_2$ is a counterexample. △ Less

Submitted 3 June, 2014; originally announced June 2014.

MSC Class: 46B85 (primary); 46B07; 46B22 (secondary)

Journal ref: Canad. Math. Bull. 58 (2015), no. 1, 150-157

Radon-Nikodým property and thick families of geodesics

Authors: Mikhail I. Ostrovskii

Abstract: Banach spaces without the Radon-Nikodým property are characterized as spaces containing bilipschitz images of thick families of geodesics defined as follows. A family $T$ of geodesics joining points $u$ and $v$ in a metric space is called {\it thick} if there is $α>0$ such that for every $g\in T$ and for any finite collection of points $r_1,...,r_n$ in the image of $g$, there is another $uv$-geode… ▽ More Banach spaces without the Radon-Nikodým property are characterized as spaces containing bilipschitz images of thick families of geodesics defined as follows. A family $T$ of geodesics joining points $u$ and $v$ in a metric space is called {\it thick} if there is $α>0$ such that for every $g\in T$ and for any finite collection of points $r_1,...,r_n$ in the image of $g$, there is another $uv$-geodesic $\widetilde g\in T$ satisfying the conditions: $\widetilde g$ also passes through $r_1,...,r_n$, and, possibly, has some more common points with $g$. On the other hand, there is a finite collection of common points of $g$ and $\widetilde g$ which contains $r_1,...,r_n$ and is such that the sum of maximal deviations of the geodesics between these common points is at least $α$. △ Less

Submitted 24 June, 2013; originally announced June 2013.

MSC Class: 46B22; 46B85; 54E35

Journal ref: J. Math Anal. Appl., 409 (2014), no. 2, 906-910

On metric characterizations of the Radon-Nikodým and related properties of Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: We find a class of metric structures which do not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property. Our proof relies on Chatterji's (1968) martingale characterization of the RNP and does not use the Cheeger's (1999) metric differentiation theory. The class includes the infinite diamond and both Laakso (2000) spaces. We also show that for each of these structures ther… ▽ More We find a class of metric structures which do not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property. Our proof relies on Chatterji's (1968) martingale characterization of the RNP and does not use the Cheeger's (1999) metric differentiation theory. The class includes the infinite diamond and both Laakso (2000) spaces. We also show that for each of these structures there is a non-RNP Banach space which does not admit its bilipschitz embedding. We prove that a dual Banach space does not have the RNP if and only if it admits a bilipschitz embedding of the infinite diamond. The paper also contains related characterizations of reflexivity and the infinite tree property. △ Less

Submitted 24 February, 2013; originally announced February 2013.

MSC Class: Primary: 46B22; Secondary: 05C12; 30L05; 46B10; 46B85; 54E35

Journal ref: Journal of Topology and Analysis, 6 (2014), 441-464

Test-space characterizations of some classes of Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_α\}_{α\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1) $X\notin\mathcal{P}$; (2) The spaces $\{T_α\}_{α\in A}$ admit uniformly bilipschitz embeddings into $X$. The first part of the paper is devoted to a simplification of the proof of… ▽ More Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_α\}_{α\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1) $X\notin\mathcal{P}$; (2) The spaces $\{T_α\}_{α\in A}$ admit uniformly bilipschitz embeddings into $X$. The first part of the paper is devoted to a simplification of the proof of the following test-space characterization obtained in M.I. Ostrovskii [Different forms of metric characterizations of classes of Banach spaces, Houston J. Math., to appear]: For each sequence $\{X_m\}_{m=1}^\infty$ of finite-dimensional Banach spaces there is a sequence $\{H_n\}_{n=1}^\infty$ of finite connected unweighted graphs with maximum degree 3 such that the following conditions on a Banach space $Y$ are equivalent: (A) $Y$ admits uniformly isomorphic embeddings of $\{X_m\}_{m=1}^\infty$; (B) $Y$ admits uniformly bilipschitz embeddings of $\{H_n\}_{n=1}^\infty$. The second part of the paper is devoted to the case when $\{X_m\}_{m=1}^\infty$ is an increasing sequence of spaces. It is shown that in this case the class of spaces given by (A) can be characterized using one test-space, which can be chosen to be an infinite graph with maximum degree 3. △ Less

Submitted 13 December, 2011; originally announced December 2011.

MSC Class: 46B07 (Primary) 05C12; 46B85; 54E35 (Secondary)

Journal ref: in: Algebraic Methods in Functional Analysis, The Victor Shulman Anniversary Volume, I.G. Todorov, L. Turowska (Eds.), Operator Theory: Advances and Applications, Vol. 233, Birkhäuser, Basel, 2014, pp. 103-126

Different forms of metric characterizations of classes of Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: For each sequence X of finite-dimensional Banach spaces there exists a sequence H of finite connected nweighted graphs with maximum degree 3 such that the following conditions on a Banach space Y are equivalent: (1) Y admits uniformly isomorphic embeddings of elements of the sequence X. (2) Y admits uniformly bilipschitz embeddings of elements of the sequence H. For each sequence X of finite-dimensional Banach spaces there exists a sequence H of finite connected nweighted graphs with maximum degree 3 such that the following conditions on a Banach space Y are equivalent: (1) Y admits uniformly isomorphic embeddings of elements of the sequence X. (2) Y admits uniformly bilipschitz embeddings of elements of the sequence H. △ Less

Submitted 4 December, 2011; originally announced December 2011.

Comments: Accepted for publication in Houston Journal of Mathematics

MSC Class: 46B07 (Primary) 05C12; 46B85; 54E35 (Secondary)

Journal ref: Houston J. Math., 39 (2013), no. 3, 889-906

Low-distortion embeddings of graphs with large girth

Authors: Mikhail I. Ostrovskii

Abstract: The main purpose of the paper is to construct a sequence of graphs of constant degree with indefinitely growing girths admitting embeddings into $\ell_1$ with uniformly bounded distortions. This result answers the problem posed by N. Linial, A. Magen, and A. Naor (2002). The main purpose of the paper is to construct a sequence of graphs of constant degree with indefinitely growing girths admitting embeddings into $\ell_1$ with uniformly bounded distortions. This result answers the problem posed by N. Linial, A. Magen, and A. Naor (2002). △ Less

Submitted 15 August, 2011; v1 submitted 11 August, 2011; originally announced August 2011.

Comments: Some confusing omissions are corrected in the second version

MSC Class: Primary: 46B85; Secondary: 05C12; 54E35

Journal ref: Journal of Functional Analysis 262 (2012) 3548-3555

Auerbach bases and minimal volume sufficient enlargements

Authors: Mikhail I. Ostrovskii

Abstract: Let $B_Y$ denote the unit ball of a normed linear space $Y$. A symmetric, bounded, closed, convex set $A$ in a finite dimensional normed linear space $X$ is called a {\it sufficient enlargement} for $X$ if, for an arbitrary isometric embedding of $X$ into a Banach space $Y$, there exists a linear projection $P:Y\to X$ such that $P(B_Y)\subset A$. Each finite dimensional normed space has a minimal-… ▽ More Let $B_Y$ denote the unit ball of a normed linear space $Y$. A symmetric, bounded, closed, convex set $A$ in a finite dimensional normed linear space $X$ is called a {\it sufficient enlargement} for $X$ if, for an arbitrary isometric embedding of $X$ into a Banach space $Y$, there exists a linear projection $P:Y\to X$ such that $P(B_Y)\subset A$. Each finite dimensional normed space has a minimal-volume sufficient enlargement which is a parallelepiped, some spaces have "exotic" minimal-volume sufficient enlargements. The main result of the paper is a characterization of spaces having "exotic" minimal-volume sufficient enlargements in terms of Auerbach bases. △ Less

Submitted 4 March, 2011; originally announced March 2011.

MSC Class: 46B07 (primary); 52A21; 46B15 (secondary)

Journal ref: Canadian Mathematical Bulletin 54 (2011), 726-738

Embeddability of locally finite metric spaces into Banach spaces is finitely determined

Authors: Mikhail I. Ostrovskii

Abstract: The main purpose of the paper is to prove the following results: Let $A$ be a locally finite metric space whose finite subsets admit uniformly bilipschitz embeddings into a Banach space $X$. Then $A$ admits a bilipschitz embedding into $X$. Let $A$ be a locally finite metric space whose finite subsets admit uniformly coarse embeddings into a Banach space $X$. Then $A$ admits a coarse embedding… ▽ More The main purpose of the paper is to prove the following results: Let $A$ be a locally finite metric space whose finite subsets admit uniformly bilipschitz embeddings into a Banach space $X$. Then $A$ admits a bilipschitz embedding into $X$. Let $A$ be a locally finite metric space whose finite subsets admit uniformly coarse embeddings into a Banach space $X$. Then $A$ admits a coarse embedding into $X$. These results generalize previously known results of the same type due to Brown-Guentner (2005), Baudier (2007), Baudier-Lancien (2008), and the author (2006, 2009). One of the main steps in the proof is: each locally finite subset of an ultraproduct $X^\mathcal{U}$ admits a bilipschitz embedding into $X$. We explain how this result can be used to prove analogues of the main results for other classes of embeddings. △ Less

Submitted 3 March, 2011; originally announced March 2011.

Journal ref: Proceedings of the American Mathematical Society, 140 (2012) Pages 2721-2730

Weak$^*$ closures and derived sets in dual Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: The main results of the paper: {\bf (1)} The dual Banach space $X^*$ contains a linear subspace $A\subset X^*$ such that the set $A^{(1)}$ of all limits of weak$^*$ convergent bounded nets in $A$ is a proper norm-dense subset of $X^*$ if and only if $X$ is a non-quasi-reflexive Banach space containing an infinite-dimensional subspace with separable dual. {\bf (2)} Let $X$ be a non-reflexive Banach… ▽ More The main results of the paper: {\bf (1)} The dual Banach space $X^*$ contains a linear subspace $A\subset X^*$ such that the set $A^{(1)}$ of all limits of weak$^*$ convergent bounded nets in $A$ is a proper norm-dense subset of $X^*$ if and only if $X$ is a non-quasi-reflexive Banach space containing an infinite-dimensional subspace with separable dual. {\bf (2)} Let $X$ be a non-reflexive Banach space. Then there exists a convex subset $A\subset X^*$ such that $A^{(1)}\neq {\bar{A}\,}^*$ (the latter denotes the weak$^*$ closure of $A$). {\bf (3)} Let $X$ be a quasi-reflexive Banach space and $A\subset X^*$ be an absolutely convex subset. Then $A^{(1)}={\bar{A}\,}^*$. △ Less

Submitted 26 March, 2010; originally announced March 2010.

MSC Class: primary 46B10; secondary 46B15; 46B20

Journal ref: Note Mat. 31 (2011) n. 1, 129-138

Minimum congestion spanning trees in planar graphs

Authors: M. I. Ostrovskii

Abstract: The main purpose of the paper is to develop an approach to evaluation or estimation of the spanning tree congestion of planar graphs. This approach is used to evaluate the spanning tree congestion of triangular grids. The main purpose of the paper is to develop an approach to evaluation or estimation of the spanning tree congestion of planar graphs. This approach is used to evaluate the spanning tree congestion of triangular grids. △ Less

Submitted 21 September, 2009; originally announced September 2009.

MSC Class: 05C05; 05C10

Journal ref: Discrete Mathematics, 310 (2010), no. 6-7, 1204-1209

Expansion properties of metric spaces not admitting a coarse embedding into a Hilbert space

Authors: M. I. Ostrovskii

Abstract: The main purpose of the paper is to find some expansion properties of locally finite metric spaces which do not embed coarsely into a Hilbert space. The obtained result is used to show that infinite locally finite graphs excluding a minor embed coarsely into a Hilbert space. In an appendix a direct proof of the latter result is given. The main purpose of the paper is to find some expansion properties of locally finite metric spaces which do not embed coarsely into a Hilbert space. The obtained result is used to show that infinite locally finite graphs excluding a minor embed coarsely into a Hilbert space. In an appendix a direct proof of the latter result is given. △ Less

Submitted 12 March, 2009; v1 submitted 3 March, 2009; originally announced March 2009.

Comments: Some misprints have been corrected in the second version

MSC Class: 46B20; 05C12; 54E35

Journal ref: Comptes rendus de l'Academie bulgare des Sciences, 62 (2009), 415--420

Weak operator topology, operator ranges and operator equations via Kolmogorov widths

Authors: M. I. Ostrovskii, V. S. Shulman

Abstract: Let $K$ be an absolutely convex infinite-dimensional compact in a Banach space $\mathcal{X}$. The set of all bounded linear operators $T$ on $\mathcal{X}$ satisfying $TK\supset K$ is denoted by $G(K)$. Our starting point is the study of the closure $WG(K)$ of $G(K)$ in the weak operator topology. We prove that $WG(K)$ contains the algebra of all operators leaving $\overline{\lin(K)}$ invariant.… ▽ More Let $K$ be an absolutely convex infinite-dimensional compact in a Banach space $\mathcal{X}$. The set of all bounded linear operators $T$ on $\mathcal{X}$ satisfying $TK\supset K$ is denoted by $G(K)$. Our starting point is the study of the closure $WG(K)$ of $G(K)$ in the weak operator topology. We prove that $WG(K)$ contains the algebra of all operators leaving $\overline{\lin(K)}$ invariant. More precise results are obtained in terms of the Kolmogorov $n$-widths of the compact $K$. The obtained results are used in the study of operator ranges and operator equations. △ Less

Submitted 19 February, 2009; originally announced February 2009.

MSC Class: 47A05; 41A46; 47A30; 47A62

Journal ref: Integral Equations and Operator Theory 65 (2009), 551-572

Fixed points of holomorphic transformations of operator balls

Authors: M. I. Ostrovskii, V. S. Shulman, L. Turowska

Abstract: A new technique for proving fixed point theorems for families of holomorphic transformations of operator balls is developed. One of these theorems is used to show that a bounded representation in a real or complex Hilbert space is orthogonalizable or unitarizable (that is similar to an orthogonal or unitary representation), respectively, provided the representation has an invariant indefinite qu… ▽ More A new technique for proving fixed point theorems for families of holomorphic transformations of operator balls is developed. One of these theorems is used to show that a bounded representation in a real or complex Hilbert space is orthogonalizable or unitarizable (that is similar to an orthogonal or unitary representation), respectively, provided the representation has an invariant indefinite quadratic form with finitely many negative squares. △ Less

Submitted 12 March, 2009; v1 submitted 10 February, 2009; originally announced February 2009.

Comments: An improved version with some corrections and new results, also we have changed the title

MSC Class: 47H10; 22D10; 46G20; 46T25; 47B50; 54E35

Journal ref: Quarterly J. Math. (Oxford), 62 (2011), 173-187

Compositions of projections in Banach spaces and relations between approximation properties

Authors: M. I. Ostrovskii

Abstract: A necessary and sufficient condition for existence of a Banach space with a finite dimensional decomposition but without the $π$-property in terms of norms of compositions of projections is found. A necessary and sufficient condition for existence of a Banach space with a finite dimensional decomposition but without the $π$-property in terms of norms of compositions of projections is found. △ Less

Submitted 11 November, 2008; originally announced November 2008.

MSC Class: 46B07

Journal ref: Rocky Mountain Journal of Mathematics, 38 (2008), no. 4, 1253-1262

Unitarizable representations and fixed points of groups of biholomorphic transformations of operator balls

Authors: M. I. Ostrovskii, V. S. Shulman, L. Turowska

Abstract: We show that the open unit ball of the space of operators from a finite dimensional Hilbert space into a separable Hilbert space (we call it "operator ball") has a restricted form of normal structure if we endow it with a hyperbolic metric (which is an analogue of the standard hyperbolic metric on the unit disc in the complex plane). We use this result to get a fixed point theorem for groups of… ▽ More We show that the open unit ball of the space of operators from a finite dimensional Hilbert space into a separable Hilbert space (we call it "operator ball") has a restricted form of normal structure if we endow it with a hyperbolic metric (which is an analogue of the standard hyperbolic metric on the unit disc in the complex plane). We use this result to get a fixed point theorem for groups of biholomorphic automorphisms of the operator ball. The fixed point theorem is used to show that a bounded representation in a separable Hilbert space which has an invariant indefinite quadratic form with finitely many negative squares is unitarizable (equivalent to a unitary representation). We apply this result to find dual pairs of invariant subspaces in Pontryagin spaces. In the appendix we present results of Itai Shafrir about hyperbolic metrics on the operator ball. △ Less

Submitted 11 November, 2008; originally announced November 2008.

MSC Class: 47H10; 47B50; 22D10

Journal ref: Journal of Functional Analysis, 257 (2009), pp. 2476-2496

Sufficient enlargements of minimal volume for finite dimensional normed linear spaces

Authors: M. I. Ostrovskii

Abstract: Let $B_Y$ denote the unit ball of a normed linear space $Y$. A symmetric, bounded, closed, convex set $A$ in a finite dimensional normed linear space $X$ is called a {\it sufficient enlargement} for $X$ if, for an arbitrary isometric embedding of $X$ into a Banach space $Y$, there exists a linear projection $P:Y\to X$ such that $P(B_Y)\subset A$. The main results of the paper: {\bf (1)} Each min… ▽ More Let $B_Y$ denote the unit ball of a normed linear space $Y$. A symmetric, bounded, closed, convex set $A$ in a finite dimensional normed linear space $X$ is called a {\it sufficient enlargement} for $X$ if, for an arbitrary isometric embedding of $X$ into a Banach space $Y$, there exists a linear projection $P:Y\to X$ such that $P(B_Y)\subset A$. The main results of the paper: {\bf (1)} Each minimal-volume sufficient enlargement is linearly equivalent to a zonotope spanned by multiples of columns of a totally unimodular matrix. {\bf (2)} If a finite dimensional normed linear space has a minimal-volume sufficient enlargement which is not a parallelepiped, then it contains a two-dimensional subspace whose unit ball is linearly equivalent to a regular hexagon. △ Less

Submitted 11 November, 2008; originally announced November 2008.

MSC Class: 46B07; 52A21

Journal ref: J. Funct. Anal. 255 (2008), no. 3, 589-619

Coarse embeddability into Banach spaces

Authors: M. I. Ostrovskii

Abstract: The main purposes of this paper are (1) To survey the area of coarse embeddability of metric spaces into Banach spaces, and, in particular, coarse embeddability of different Banach spaces into each other; (2) To present new results on the problems: (a) Whether coarse non-embeddability into $\ell_2$ implies presence of expander-like structures? (b) To what extent $\ell_2$ is the most difficult sp… ▽ More The main purposes of this paper are (1) To survey the area of coarse embeddability of metric spaces into Banach spaces, and, in particular, coarse embeddability of different Banach spaces into each other; (2) To present new results on the problems: (a) Whether coarse non-embeddability into $\ell_2$ implies presence of expander-like structures? (b) To what extent $\ell_2$ is the most difficult space to embed into? △ Less

Submitted 25 February, 2008; originally announced February 2008.

Comments: 23 pages

MSC Class: 46B20; 54E40

Journal ref: Topology Proceedings 33 (2009) pp. 163-183

Weak* sequential closures in Banach space theory and their applications

Authors: M. I. Ostrovskii

Abstract: Let X be a Banach space. Given a subset A of the dual space X* denote by $A_{(1)}$ the weak* sequential closure of A, i.e., the set of all limits of weak*-convergent sequences in A. The study of weak* sequential closures of linear subspaces of the duals of separable Banach spaces was initiated by S.Banach. The first results of this study were presented in the appendix to his book "Theorie des… ▽ More Let X be a Banach space. Given a subset A of the dual space X* denote by $A_{(1)}$ the weak* sequential closure of A, i.e., the set of all limits of weak*-convergent sequences in A. The study of weak* sequential closures of linear subspaces of the duals of separable Banach spaces was initiated by S.Banach. The first results of this study were presented in the appendix to his book "Theorie des operations lineaires" (1932). It is natural to suppose that the reason for studying weak* sequential closures by S. Banach and S. Mazurkiewicz was the lack of acquaintance of S. Banach and his school with concepts of general topology. Although the name "General topology" was introduced later, the subject did already existed. F. Hausdorff introduced topological spaces in his book published in 1914, Alexandroff-Urysohn (1924) studied compactness, and A.Tychonoff published his theorem on compactness of products in 1929. Also J.von Neumann introduced the notion of a weak topology in his paper published in 1929. Using the notions of a topological space and the Tychonoff theorem, more elegant treatment of weak and weak* topologies, and the duality of Banach spaces was developed by L.Alaoglu, N.Bourbaki and S.Kakutani (1938-1940). Nevertheless, an "old-fashioned" treatment of S.Banach still attracts attention. It happens because the "sequential" approach is very useful in several contexts. The main purpose of the paper is to describe the history of this direction of research and to give an up-to-date (1999) survey of the results on weak* sequential closures and their applications. △ Less

Submitted 14 March, 2002; originally announced March 2002.

Comments: See the author's web page http://www.arts-sciences.cua.edu/math/MIO/ for related information

MSC Class: 46B10; 46B03; 54A20; 47G10

Journal ref: in: "General Topology in Banach Spaces", ed. by T. Banakh and A. Plichko, Nova Science, New York, 2001, pp. 21-34

Projections in normed linear spaces and sufficient enlargements

Authors: M. I. Ostrovskii

Abstract: Definition. A symmetric with respect to 0 bounded closed convex set A in a finite dimensional normed space X is called a sufficient enlargement for X (or of B(X)) if for arbitrary isometric embedding of X into a Banach space Y there exists a projection P:Y\to X such that P(B(Y)) is a subset of A (by B(X) we denote the unit ball). The notion of sufficient enlargement is implicit in the paper: B… ▽ More Definition. A symmetric with respect to 0 bounded closed convex set A in a finite dimensional normed space X is called a sufficient enlargement for X (or of B(X)) if for arbitrary isometric embedding of X into a Banach space Y there exists a projection P:Y\to X such that P(B(Y)) is a subset of A (by B(X) we denote the unit ball). The notion of sufficient enlargement is implicit in the paper: B.Grunbaum, Projection constants, Trans. Amer. Math. Soc. 95 (1960) 451--465. It was explicilty introduced by the author in: M.I.Ostrovskii, Generalization of projection constants: sufficient enlargements, Extracta Math., 11 (1996), 466--474. The main purpose of the present paper is to continue investigation of sufficient enlargements started in the papers cited above. In particular the author investigate sufficient enlargements whose support functions are in some directions close to those of the unit ball of the space, sufficient enlargements of minimal volume, sufficient enlargements for euclidean spaces. △ Less

Submitted 8 March, 2002; originally announced March 2002.

Comments: Information on related research can be found on the author's web page: http://www.arts-sciences.cua.edu/math/MIO/

MSC Class: 46B07; 52A21

Journal ref: Archiv der Mathematik, 71 (1998), 315-324

Hahn-Banach operators

Authors: M. I. Ostrovskii

Abstract: We consider real spaces only. Definition. An operator $T:X\to Y$ between Banach spaces $X$ and $Y$ is called a Hahn-Banach operator if for every isometric embedding of the space $X$ into a Banach space $Z$ there exists a norm-preserving extension $\tilde T$ of $T$ to $Z$. A geometric property of Hahn-Banach operators of finite rank acting between finite-dimensional normed spaces is found. Th… ▽ More We consider real spaces only. Definition. An operator $T:X\to Y$ between Banach spaces $X$ and $Y$ is called a Hahn-Banach operator if for every isometric embedding of the space $X$ into a Banach space $Z$ there exists a norm-preserving extension $\tilde T$ of $T$ to $Z$. A geometric property of Hahn-Banach operators of finite rank acting between finite-dimensional normed spaces is found. This property is used to characterize pairs of finite-dimensional normed spaces $(X,Y)$ such that there exists a Hahn-Banach operator $T:X\to Y$ of rank $k$. The latter result is a generalization of a recent result due to B.L. Chalmers and B. Shekhtman. △ Less

Submitted 6 March, 2002; originally announced March 2002.

MSC Class: 46B20; 47A20

Journal ref: Proceedings of the American Mathematical Society, Vol. 129 (2001), 2923-2930

Distances between Banach spaces

Authors: Nigel J. Kalton, Mikhail I. Ostrovskii

Abstract: The main object of the paper is to study the distance between Banach spaces introduced by Kadets. For Banach spaces $X$ and $Y$, the Kadets distance is defined to be the infimum of the Hausdorff distance $d(B_X,B_Y)$ between the respective closed unit balls over all isometric linear embeddings of $X$ and $Y$ into a common Banach space $Z.$ This is compared with the Gromov-Hausdorff distance whic… ▽ More The main object of the paper is to study the distance between Banach spaces introduced by Kadets. For Banach spaces $X$ and $Y$, the Kadets distance is defined to be the infimum of the Hausdorff distance $d(B_X,B_Y)$ between the respective closed unit balls over all isometric linear embeddings of $X$ and $Y$ into a common Banach space $Z.$ This is compared with the Gromov-Hausdorff distance which is defined to be the infimum of $d(B_X,B_Y)$ over all isometric embeddings into a common metric space $Z$. We prove continuity type results for the Kadets distance including a result that shows that this notion of distance has applications to the theory of complex interpolation. △ Less

Submitted 7 September, 1997; originally announced September 1997.

Report number: Banach Archive 9/8/97 MSC Class: 46B20

Journal ref: Forum Math., 11 (1999), 17-48

Subspaces containing biorthogonal functionals of bases of different types

Authors: Mikhail I. Ostrovskii

Abstract: The paper is devoted to two particular cases of the following general problem. Let $α$ and $β$ be two types of bases in Banach spaces. Let a Banach space $X$ has bases of both types and a subspace $M\subset X^*$ contains the sequence of biorthogonal functionals of some $α$-basis in $X$. Does $M$ contain a sequence of biorthogonal functionals of some $β$-basis in $X$? The following particular c… ▽ More The paper is devoted to two particular cases of the following general problem. Let $α$ and $β$ be two types of bases in Banach spaces. Let a Banach space $X$ has bases of both types and a subspace $M\subset X^*$ contains the sequence of biorthogonal functionals of some $α$-basis in $X$. Does $M$ contain a sequence of biorthogonal functionals of some $β$-basis in $X$? The following particular cases are considered: $(α, β)$=(Schauder bases, unconditional bases), $(α, β)$=(Nonlinear operational bases, linear operational bases). The paper contains an investigation of some of the spaces constructed by S.Belle\-not in ``The $J$-sum of Banach spaces'', J. Funct. Anal. {\bf 48} (1982), 95--106. (These spaces are used in some examples.) △ Less

Submitted 20 April, 1994; originally announced April 1994.

Report number: Banach Archive 4/20/94 MSC Class: 46B

Journal ref: Teor. Funktsii, Funktsional. Anal. i Prilozhen. 57 (1992), 115-127; English transl.: J. Math. Sci., 77 (1995), no. 1, 3008-3016

Classes of Banach spaces stable and unstable with respect to the opening

Authors: Mikhail I. Ostrovskii

Abstract: The paper is a complement to the survey: M.I.Ostrovskii "To\-po\-lo\-gies on the set of all subspaces of a Banach space and related questions of Banach space geometry", Quaestiones Math. (to appear). It contains proofs of some results on stability of properties of Banach spaces with respect to the geometric opening stated in the survey without proofs. Some results of the present paper are of i… ▽ More The paper is a complement to the survey: M.I.Ostrovskii "To\-po\-lo\-gies on the set of all subspaces of a Banach space and related questions of Banach space geometry", Quaestiones Math. (to appear). It contains proofs of some results on stability of properties of Banach spaces with respect to the geometric opening stated in the survey without proofs. Some results of the present paper are of independent interest, in particular the description of a predual property of the Banach--Saks property. △ Less

Submitted 31 March, 1994; originally announced March 1994.

Report number: Banach Archive 3/31/94

Journal ref: Quaestiones Math., 19 (1996), no. 1-2, 191-210

Quojections without Banach subspaces

Authors: Mikhail I. Ostrovskii

Abstract: A quojection (projective limit of Banach spaces with surjective linking map**s) without infinite dimensional Banach subspaces is constructed. This results answers a question posed by G.Metafune and V.B.Moscatelli. A quojection (projective limit of Banach spaces with surjective linking map**s) without infinite dimensional Banach subspaces is constructed. This results answers a question posed by G.Metafune and V.B.Moscatelli. △ Less

Submitted 28 March, 1994; originally announced March 1994.

Report number: Banach Archive 3/28/94 MSC Class: 46B

Journal ref: Bull. Polish Acad. Sc., 44 (1996), no. 2, 143-146

Structure of total subspaces of dual Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: Let $X$ be a separable nonquasireflexive Banach space. Let $Y$ be a Banach space isomorphic to a subspace of $X^*$. The paper is devoted to the following questions: 1. Under what conditions does there exist an isomorphic embedding $T:Y\to X^*$ such that subspace $T(Y)\subset X^*$ is total? 2. If such embeddings exist, what are the possible orders of $T(Y)$? Here we need to recall some definiti… ▽ More Let $X$ be a separable nonquasireflexive Banach space. Let $Y$ be a Banach space isomorphic to a subspace of $X^*$. The paper is devoted to the following questions: 1. Under what conditions does there exist an isomorphic embedding $T:Y\to X^*$ such that subspace $T(Y)\subset X^*$ is total? 2. If such embeddings exist, what are the possible orders of $T(Y)$? Here we need to recall some definitions. For a subset $M\subset X^*$ we denote the set of all limits of weak$^*$ convergent sequences in $M$ by $M_{(1)}$. Inductively, for ordinal number $α$ we let $$M_{(α)}=\cup_{β<α}(M_{(β)})_{(1)}.$$ The least ordinal $α$ for which $M_{(α)}= M_{(α+1)}$ is called the {\it order} of $M$. △ Less

Submitted 26 October, 1993; originally announced October 1993.

Report number: Banach Archive 10/26/93 MSC Class: 46A

Journal ref: Teor. Funktsii, Funktsional. Anal. i Prilozhen. 58 (1992), 60-69, English transl.: J. Math. Sci., 85 (1997), no. 5, 2188-2193

On complemented subspaces of sums and products of Banach spaces

Authors: Mikhail I. Ostrovskii

Abstract: It is proved that there exist complemented subspaces of countable topological products (locally convex direct sums) of Banach spaces which cannot be represented as topological products (locally convex direct sums) of Banach spaces. (This is a revised version of the paper by the same name formerly contained in the file ostrovskiicompsbsp.atx.) It is proved that there exist complemented subspaces of countable topological products (locally convex direct sums) of Banach spaces which cannot be represented as topological products (locally convex direct sums) of Banach spaces. (This is a revised version of the paper by the same name formerly contained in the file ostrovskiicompsbsp.atx.) △ Less

Submitted 26 October, 1993; originally announced October 1993.

Report number: Banach Archive 10/26/93 MSC Class: 46A

Journal ref: Proc. Amer. Math. Soc., 124 (1996), no. 7, 2005-2012

Total subspaces with long chains of nowhere norming weak$^*$ sequential closures

Authors: Mikhail I. Ostrovskii

Abstract: If a separable Banach space $X$ is such that for some nonquasireflexive Banach space $Y$ there exists a surjective strictly singular operator $T:X\to Y$ then for every countable ordinal $α$ the dual of $X$ contains a subspace whose weak$^*$ sequential closures of orders less than $α$ are not norming over any infinite-dimensional subspace of $X$ and whose weak$^*$ sequential closure of order… ▽ More If a separable Banach space $X$ is such that for some nonquasireflexive Banach space $Y$ there exists a surjective strictly singular operator $T:X\to Y$ then for every countable ordinal $α$ the dual of $X$ contains a subspace whose weak$^*$ sequential closures of orders less than $α$ are not norming over any infinite-dimensional subspace of $X$ and whose weak$^*$ sequential closure of order $α+1$ coincides with $X^*$ △ Less

Submitted 29 March, 1993; originally announced March 1993.

Report number: Banach Archive 3/29/93 MSC Class: 46B

Journal ref: Note Mat., 13 (1993), no. 2, 217-227

A note on analytical representability of map**s inverse to integral operators

Authors: Mikhail I. Ostrovskii

Abstract: The condition onto pair ($F,G$) of function Banach spaces under which there exists a integral operator $T:F\to G$ with analytic kernel such that the inverse map** $T^{-1}:$im$T\to F$ does not belong to arbitrary a priori given Borel (or Baire) class is found. The condition onto pair ($F,G$) of function Banach spaces under which there exists a integral operator $T:F\to G$ with analytic kernel such that the inverse map** $T^{-1}:$im$T\to F$ does not belong to arbitrary a priori given Borel (or Baire) class is found. △ Less

Submitted 29 March, 1993; originally announced March 1993.

Report number: Banach Archive 3/29/93 MSC Class: 46B

Journal ref: Matematicheskaya Fizika, Analiz i Geometriya, 1 (1994), no. 3/4, 513-519

Total subspaces in dual Banach spaces which are not norming

Authors: Mikhail I. Ostrovskii

Abstract: The main result: the dual of separable Banach space $X$ contains a total subspace which is not norming over any infinite dimensional subspace of $X$ if and only if $X$ has a nonquasireflexive quotient space with the strictly singular quotient map**. The main result: the dual of separable Banach space $X$ contains a total subspace which is not norming over any infinite dimensional subspace of $X$ if and only if $X$ has a nonquasireflexive quotient space with the strictly singular quotient map**. △ Less

Submitted 29 March, 1993; originally announced March 1993.

Report number: Banach Archive 3/29/93 MSC Class: 46B

Journal ref: Studia Math. 105 (1993), no. 1, 37-49