En matemáticas , la categoría Lyusternik-Schnirelmann (o categoría Lusternik-Schnirelmann , categoría LS ) de un espacio topológico es la invariante de homotopía definida como el número entero más pequeño tal que hay una cobertura abierta con la propiedad de que cada mapa de inclusión es nulohomotópico . Por ejemplo, si es una esfera, toma el valor dos.
A veces se adopta una normalización diferente del invariante, que es uno menos que la definición anterior. Esta normalización ha sido adoptada en la monografía definitiva de Cornea, Lupton, Oprea y Tanré (ver más abajo).
En general, no es fácil calcular esta invariante, que fue introducida inicialmente por Lazar Lyusternik y Lev Schnirelmann en relación con problemas variacionales . Tiene una estrecha conexión con la topología algebraica , en particular con la longitud de copa . En la normalización moderna, la longitud de la copa es un límite inferior para la categoría LS.
Era, como se definió originalmente para el caso de una variedad , el límite inferior para el número de puntos críticos que podría poseer una función de valor real (esto debe compararse con el resultado de la teoría de Morse que muestra que la suma de las variables de Betti números es un límite inferior para el número de puntos críticos de una función Morse).
La invariante se ha generalizado en varias direcciones diferentes (acciones grupales, foliaciones , complejos simpliciales , etc.).
