The group of isometries of a Finsler space. (Q1879983)

The main theorem is: Let \((M,F)\) be Finsler space and \(\phi \) a distance preserving mapping of \(M\) onto itself. Then \(\phi \) is a diffeomorphism. A mapping \(\phi \) of \(M\) onto itself is called an isometry if \(\phi \) is a diffeomorphism and for any \(x\in M\), \(X\in T_{x}(M)\), \(F(\phi (x),d\phi_{x}(X)) = F(x,X)\). Among others it is proved that the group of isometries \(I(M)\) of \(M\) is a Lie transformation group of \(M\). If \(I_{x}(M)\) is the isotropy subgroup of \(I(M)\) at \(x\), then \(I_{x}(M)\) is compact.