Tingley's problem on finite von Neumann algebras

In this paper, we give an affirmative answer to Tingley's problem between finite von Neumann algebras. To do this, we see that every norm closed proper face of the unit ball of a unital C⁎-algebra can be represented as the intersection of a family of maximal proper faces.