A metric on the space of projections admitting nice isometries
Lajos Molnár, Werner Timmermann · Studia Mathematica · 2009
Motivated by the concept of separation between propositions in quantum logic, we introduce the so-called separation metric or Santos metric on the space of all projections in a Hilbert space. We show that the resulting metric space has only “nice