In the mathematical study of functional analysis, the Banach–Mazur distance is a way to define a distance on the set Q(n) of n-dimensional normed spaces. If X and Y are two finite-dimensional normed spaces with the same dimension, let GL(X,Y) denote the collection of all linear isomorphisms T : X → Y. The Banach–Mazur distance between X and Y is defined by
Equipped with the metric δ, the space Q(n) is a compact metric space, called the Banach–Mazur compactum.
Many authors prefer to work with the multiplicative Banach–Mazur distance
for which d(X, Z) ≤ d(X, Y) d(Y, Z) and d(X, X) = 1. F. John's theorem on the maximal ellipsoid contained in a convex body gives the estimate:
where ℓn2 denotes Rn with the Euclidean norm (see the article on Lp spaces). From this it follows that d(X, Y) ≤ n for every couple (X, Y) in Q(n). However, for the classical spaces, this upper bound for the diameter of Q(n) is far from being approached. For example, the distance between ℓn1 and ℓn∞ is (only) of order n1/2 (up to a multiplicative constant independent from the dimension n).
A major achievement in the direction of estimating the diameter of Q(n) is due to E. Gluskin, who proved in 1981 that the (multiplicative) diameter of the Banach–Mazur compactum is bounded below by c n, for some universal c > 0.
Gluskin's method introduces a class of random symmetric polytopes P(ω) in Rn, and the normed spaces X(ω) having P(ω) as unit ball (the vector space is Rn and the norm is the gauge of P(ω)). The proof consists in showing that the required estimate is true with large probability for two independent copies of the normed space X(ω).
- The Banach–Mazur compactum is not homeomorphic to the Hilbert cube
- Giannopoulos, A.A. (2001), "Banach–Mazur compactum", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Gluskin, Efim D. (1981). "The diameter of the Minkowski compactum is roughly equal to n (Russian)". Funktsional. Anal. i Prilozhen. 15 (1): 72–73. MR 0609798.
- Tomczak-Jaegermann, Nicole (1989). Banach-Mazur distances and finite-dimensional operator ideals. Pitman Monographs and Surveys in Pure and Applied Mathematics 38. Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York. pp. xii+395. ISBN 0-582-01374-7. MR 0993774.
- A note on the Banach-Mazur distance to the cube
- The Banach-Mazur compactum is the Alexandroff compactification of a Hilbert cube manifold