кодифференциал

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