View source for Lyusternik-Shnirel'man-Borsuk covering theorem

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 13 formulas, 13 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
A theorem usually stated as follows:

1) Each closed covering $\{ A _ { 1 } , \dots , A _ { n + 1 }\}$ of $S ^ { n }$ contains at least one set $A_i$ with $A _ { i } \cap ( - A _ { i } ) \neq \emptyset$.

Contrary to the equivalent [[Borsuk–Ulam theorem|Borsuk–Ulam theorem]], it seems to be not common to use the same name also for the following equivalent symmetric versions:

2) Let $A _ { 1 } , \dots , A _ { m } \subset S ^ { n }$ be closed sets with $A _ { i } \cap ( - A _ { i } ) = \emptyset$ $( i = 1 , \dots , m )$. If $\cup _ { i = 1 } ^ { m } A _ { i } \cup ( - A _ { i } ) = S ^ { n }$, then $m \geq n + 1$.

3) $\operatorname{cat}_{\mathbf{R} P ^ { n }} \mathbf{R}P^n \geq n + 1$ [[#References|[a2]]].

In all these results, the estimates are optimal (in 3), in fact, equality holds). It is worth mentioning that 2) gave the motivation for the notion of the genus of a set symmetric with respect to a free $\mathbf{Z} / 2$-action.

For other equivalent versions and for generalizations to coverings involving other symmetries (e.g. with respect to free $\mathbf{Z} / 2$-actions), cf. [[#References|[a3]]] and the references therein.

One major field of applications are estimates of the number of critical points of even functionals; this can be used, e.g., in the theory of differential equations.

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  K. Borsuk,   "Drei Sätze über die $n$—dimensionale Sphäre"  ''Fund. Math.'' , '''20'''  (1933)  pp. 177–190</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  L. Lyusternik,   L. Shnirel'man,   "Topological methods in variational problems" , Issl. Inst. Mat. Mekh. OMGU  (1930)  (In Russian)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  H. Steinlein,   "Spheres and symmetry: Borsuk's antipodal theorem"  ''Topol. Methods Nonlinear Anal.'' , '''1'''  (1993)  pp. 15–33</td></tr></table>