Касательное расслоение
Каса́тельное расслое́ние дифференцируемого многообразия , векторное расслоение , пространство которого является касательным пространством к (объединением касательных пространств в точках ), состоящим из касательных векторов к , а проекция отображает в . Сечение касательного расслоения – векторное поле на многообразии . Атлас многообразия определяется атласом многообразия и условием локальной тривиальности расслоения . Функции перехода касательного расслоения являются матрицами Якоби функций перехода атласа многообразия.
К касательному расслоению присоединено главное расслоение реперов многообразия . Расслоение , двойственное касательному расслоению , называется кокасательным расслоением, а его пространство – кокасательным пространством. Сечениями его являются линейные дифференциальные формы (формы Пфаффа).
Дифференцируемое отображение индуцирует морфизм касательных расслоений ; соответствующее отображение касательных пространств называется касательным к отображением. В частности, если – иммерсия, то является подрасслоением индуцированного расслоения . Факторрасслоение называется нормальным расслоением иммерсии. Двойственно, если – субмерсия, то факторрасслоение называется субрасслоением . Если в качестве и взяты соответственно и , а , то называется вторым касательным расслоением.
Если касательное расслоение тривиально, то называется параллелизуемым многообразием.