Generalizations of the Borsuk theorem (Q1084716): Difference between revisions

Let G be a finite Lie group and \(g\to T_ g\), \(T_ g: {\mathbb{R}}^ N\to {\mathbb{R}}^ N\) an orthogonal representation. For any \(x\in {\mathbb{R}}^ N\) denote by O(x) the G-orbit of x and by \(\ell (x)\) its order. Suppose that the subspace \(V_ G\) of all common fixed points of the \(T_ g's\) is nonempty. For the degree of a continuous G-equivariant map \(f: {\bar \Omega}\to {\mathbb{R}}^ N\) on the G-invariant set \(\Omega\) in \({\mathbb{R}}^ N\) such that \(0\not\in f(\partial \Omega)\) and \(\Omega \cap V_ G\neq \emptyset\), the author gives a representation in the form \[ \deg (f,\Omega,0)=\deg (f| \Omega \cap V_ G,\Omega \cap V_ G,0)+k\mu \] where k is some integer and \(\mu\) is the product of all the distinct prime divisors of the greatest common divisor of \(\ell (x)'s\) for \(x\in {\mathbb{R}}^ N\setminus V_ G\). - The extension of this result to Banach spaces as well as an application to an elliptic problem are also discussed.