Lipschitz properties of some actions of matrix groups (Q1336403)

Let \(G\) be a group of \(n \times n\) matrices over the field \(\mathbb{R}\) of real numbers acting on a finite dimensional vector space \(M\) over \(\mathbb{R}\). Assume there is a function \(\phi:G\times M\to M\) with the following properties: \(\phi(I,x)=x\) for all \(x\in M\), and \(\phi(A,\phi(B,x))=\phi(AB,x)\) for all \(A, B \in G\) and all \(x\in M\). An element \(x\in M\) has the global [local] Lipschitz property if there is a constant \(K > 0\) [are constants \(K > 0\), \(\varepsilon > 0\)] depending on \(x\) such that for every vector \(y \in O(x)=\{z \in M: \phi(A,x) =z\) for some \(A\in G\}\) [with \(|y -z|_2 < \varepsilon]\) there is an \(A\in G\) satisfying \(y=\phi(A,x)\) and \(|I - A|_1 \leq K |y - x|_2\) where \(|\;|_1\) is a norm on \(\mathbb{R}^{n \times n}\) and \(|\;|_2\) is a norm on \(M\). The authors study Lipschitz properties for matrix groups over the ground fields \(\mathbb{R}\), \(\mathbb{C}\), and \(\mathbb{H}\). Let \(G\) be a matrix group with elements \((G_1, G_2)\) where \(G_1 \in \mathbb{R}^{m \times m}\), \(G_2 \in \mathbb{R}^{n \times n}\) are invertible, and assume the action \(\phi\) of \(G\) on \(\mathbb{R}^{m \times n}\) is defined by \(\phi((G_1, G_2),x)=G^{-1}_1 x G_2\), \(x \in \mathbb{R}^{m \times n}\), \((G_1, G_2) \in G\). Then the action \(\phi\) has the local Lipschitz property. This result can be extended to complex or quaternionic matrices. Further, this theorem encloses some important particular cases, namely simultaneous similarity, restricted simultaneous similarity, equivalence, and simultaneous equivalence for \(m\)-tuples of matrices. From the local Lipschitz property the authors deduce the global Lipschitz property for (restricted) simultaneous similarity and for (restricted) simultaneous equivalence over \(\mathbb{R}\), \(\mathbb{C}\), and \(\mathbb{H}\). The authors also study simultaneous congruence. They consider a set of \(m\)-tuples \((A_1, \dots, A_m)\) of complex Hermitian \(n \times n\) matrices viewed as a real vector space. Let \(\phi\) be the action \(\phi(S, (A_1, \dots, A_m))=(S^* A_1 S, \dots, S^* A_m S)\). Assume that the \(n\times n\) complex Hermitian matrices \(A_1, \dots, A_m\) have no common isotropic vector. Then the \(m\)-tuple \((A_1, \dots, A_m)\) has the global Lipschitz property with respect to the action \(\phi\). The crucial point in the proof of this theorem is the proof of the local property which takes the most part of the paper. Moreover, a generalization for simultaneous congruence of not necessarily Hermitian matrices is stated.