Касательное пространство

Совокупность касательных пространств во всех точках многообразия (вместе с самим многообразием) образует векторное расслоение, которое называется касательным расслоением. Соответственно, каждое касательное пространство есть слой касательного расслоения.

В простейшем случае, когда гладкое многообразие гладко вложено в векторное пространство (что возможно всегда, согласно Теореме Уитни о вложении), каждое касательное пространство можно естественно отождествить с некоторым афинным подпространством объемлющего векторного пространства.

Есть два стандартных определения касательного пространства: через класс эквивалентности гладких кривых и через дифференцирование в точке. Первое интуитивно проще, но на этом пути возникает ряд технических сложностей. Второе является наиболее простым, хотя уровень абстракции в нём выше. Второе определение также легче применять на практике.