A distance between bounded linear operators

We extend the classical Banach-Mazur distance [3] from Banach spaces to linear operators between these spaces. We prove in the finite dimensional case that the corresponding topology is metrizable, complete, separable and locally compact. Furthermore, we prove that the Banach-Mazur compactum embeds isometrically into the resulting topological space. (C) 2020 Elsevier B.V. All rights reserved