# Category (in the sense of Lyusternik-Shnirel'man)

A characteristic of a topological space $E$: the minimal number $\mathrm{cat}\,E$ of closed sets $A_i \subset E$ covering $E$, each of which can be contracted to a point by means of a continuous deformation in $E$. Lyusternik–Shnirel'man category is a homotopy invariant (that is, it is the same for all topological spaces of the same homotopy type). It is of special importance for variational calculus in the large, since it provides a lower bound for the number of stationary (critical) points of a smooth function on a closed manifold. Even the simplest examples, on non-closed manifolds, which may happen to have no critical points, such as the function $f(x)=x$ considered on the whole real axis, show that outside the class of closed manifolds this estimate can no longer be expected to be valid for all smooth functions. Nevertheless, in a number of cases it is possible to obtain a similar bound for the number of critical points of various functionals studied in the calculus of variations, considered as functions on an infinite-dimensional function space. There are no general methods for calculating the Lyusternik–Shnirel'man category (although its value is known for certain concrete spaces); in general only the following estimate is known: $$\mathrm{cat}\,E \ge \mathrm{long}\,E + 1 \,,$$ where the (cohomological) length $\mathrm{long}\,E$ is defined as the largest number of cohomology classes of positive dimension whose product is non-zero. Therefore the arguments are sometimes carried out directly in terms of the cohomological product (or, dually, in terms of intersection of cycles) without referring to the category.
Category was introduced in . It was calculated for the first time in a non-trivial case (for a real projective space) by L.G. Shnirel'man, after which it was immediately used for the solution of a number of problems, among them, the problem of Poincaré on three closed geodesics on surfaces homeomorphic to a $2$-sphere .