Convergence of group actions in metric measure geometry

We generalize the box and observable distances to those between metric measure spaces with group actions, and prove some fundamental properties. As an application, we obtain an example of a sequence of lens spaces with unbounded dimension converging to the cone of the infinite-dimensional complex projective space. Our idea is to use the theory of mass-transport.