Касательное расслоение гладкого многообразия — есть векторное расслоение над , слой которого в точке является касательным пространством в точке . Касательное расслоение обычно обозначается .
Элемент тотального пространства — это пара , где и . Касательное расслоение обладает естественной топологией (не топологией дизъюнктивного объединения) и гладкой структурой, превращающими его в многообразие. Размерность равна удвоенной размерности .
Если — -мерное многообразие, то оно обладает атласом карт , где — открытое подмножество и
— гомеоморфизм. Эти локальные координаты на порождают изоморфизм между и для любого . Можно определить отображение
как
Эти отображения используются для определения топологии и гладкой структуры на .
Подмножество из открыто тогда и только тогда, когда — открытое в для любого . Эти отображения — гомеоморфизмы открытых подмножеств и , поэтому они образуют карты гладкой структуры на . Функции перехода на пересечениях карт задаются матрицами Якоби соответствующих преобразований координат, поэтому они являются гладкими отображениями открытых подмножеств .
Касательное расслоение — частный случай более общей конструкции, называемой векторным расслоением. Касательное расслоение -мерного многообразия можно определить как векторное расслоение ранга над , функции перехода для которого задаются якобианом соответствующих преобразований координат.
К несчастью, изобразить можно только касательные расслоения действительной прямой и единичной окружности , которые оба являются тривиальными. Для двумерных многообразий касательное расслоение — это 4-хмерное многообразие, поэтому его сложно представить.
Векторное поле — это гладкая векторная функция на многообразии , значение которой в каждой точке — касательный к вектор, то есть гладкое отображение
такое что образ , обозначаемый , лежит в , касательном пространстве в точке . На языке локально тривиальных расслоений, такое отображение называется сечением. Векторное поле на — это сечение касательного расслоения над .
Множество всех векторных полей над обозначается . Векторные поля можно складывать поточечно
и умножать на гладкие функции на
получая новые векторные поля. Множество всех векторных полей получает при этом структуру модуля над коммутативной алгеброй гладких функций на (обозначается ).
Если есть гладкая функция, то операция дифференцирования вдоль векторного поля даёт новую глядкую функцию . Этот оператор дифференцирования обладает следующими свойствами:
Векторное поле на многообразии можно также определить как оператор обладающий вышеперечисленными свойствами.
Локальное векторное поле на — это локальная сечение касательного расслоения. Локальное векторное поле определяется только на каком-то открытом подмножестве из , при этом в каждой точке из задается вектор из соответствующего касательного пространства. Множество локальных векторных полей на образует структуру, называемую пучком вещественных векторных пространств над .
На каждом касательном расслоении можно определить каноническое векторное поле. Если — локальные координаты на , то векторное поле имеет вид
является отображением .
Существование такого векторного поля на можно сравнить с существованием канонической 1-формы на кокасательном расслоении.