Кодифференциал (дифференциальная геометрия)

У этого термина существуют и другие значения, см. ифференциал.

ифференциал — обратный образ ковариантных тензорных полей на дифференцируемом многообразии относительно гладкого отображения.

Гладкое отображение между дифференцируемыми многообразиями определяет отображение между кокасательными расслоениями и , направленное в обратную сторону, по формуле .

Это отображение один раз менее гладко, чем исходное отображение . Оно продолжается на ковариантные тензорные поля на , в том числе на тензорные степени и внешние степени кокасательного расслоения для любого натурального . Поскольку последние являются в точности дифференциальными формами , получается обратный образ дифференциальных форм .

ифференциал не является обратным к дифференциалу дифференциальных форм, которое вообще задано для одного многообразия и не связано с каким-либо отображением.