Then d satisfies the triangle inequality, and d⁢(B1,B2)=0 if
and only if B1 and B2 are isometric. The space of isometry
http://planetmath.org/node/EquivalenceRelationclasses of n-dimensional Banach spaces under this metric is a compact metric space, known as a Banach-Mazur compactum.