Dado un sistema diferencial exterior definido en una variedad M , el teorema de prolongación de Cartan-Kuranishi dice que después de un número finito de prolongaciones el sistema está en involución (admite al menos una variedad integral 'grande') o es imposible.
El teorema recibe su nombre de Élie Cartan y Masatake Kuranishi . Cartan realizó varios intentos en 1946 para demostrar el resultado, pero fue en 1957 cuando Kuranishi proporcionó una prueba de la conjetura de Cartan. [1]
Este teorema se utiliza en la teoría de Lie de dimensión infinita .