где
Таким образом, если
то
Примеры. 1°. Дифференциал формы степени нуль (т. е. функции
имеет вид
2°. Вычислим дифференциал от линейной формы
Получим
Так как
В частности, когда
для
получим
3. Свойства внешнего дифференциала. Непосредственно из определения вытекают следующие свойства:
если
2) если
— вещественное число, то
Докажем свойство 3). Пусть
Введем следующее обозначение:
Тогда
можно записать в виде
Вспомним, что
Далее,
Тогда
Поскольку
есть
-форма, то
Отсюда
Основное свойство внешнего дифференциала:
Доказательство. Предположим вначале, что
степени 0, т. е.
Тогда
Так как
это равенство можно переписать в виде
откуда и следует, что
Пусть теперь
Тогда
Заметим, что каждый член суммы представляет собой внешнее произведение дифференциалов форм степени 0, а именно форм
Остается применить свойство 3) и воспользоваться тем, что для формы степени 0 основное свойство доказано.