Для внешней дифференциальной системы , определенной на многообразии M , теорема Картана–Кураниши о продолжении гласит, что после конечного числа продолжений система либо находится в инволюции (допускает по крайней мере одно «большое» интегральное многообразие), либо невозможна.
Теорема названа в честь Эли Картана и Масатаке Кураниши . Картан предпринял несколько попыток в 1946 году доказать результат, но только в 1957 году Кураниши предоставил доказательство гипотезы Картана. [1]
Эта теорема используется в бесконечномерной теории Ли .