En matemáticas , la categoría de Lyusternik–Schnirelmann (o categoría de Lusternik–Schnirelmann , LS-categoría ) de un espacio topológico es el invariante de homotopía definido como el número entero más pequeño tal que existe una cobertura abierta de con la propiedad de que cada función de inclusión es nula homotópica . Por ejemplo, si es una esfera, toma el valor dos.
En ocasiones se adopta una normalización diferente del invariante, que es una unidad menor que la definición anterior. Esta normalización ha sido adoptada en la monografía definitiva de Cornea, Lupton, Oprea y Tanré (véase más adelante).
En general, no es fácil calcular este invariante, que fue introducido inicialmente por Lazar Lyusternik y Lev Schnirelmann en relación con los problemas variacionales . Tiene una estrecha relación con la topología algebraica , en particular con la longitud de copa . En la normalización moderna, la longitud de 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 una función de valor real en podía poseer (esto debe compararse con el resultado en la teoría de Morse que muestra que la suma de los números de Betti es un límite inferior para el número de puntos críticos de una función de Morse).
El invariante se ha generalizado en varias direcciones diferentes (acciones grupales, foliaciones , complejos simpliciales , etc.).