Параллелизуемое многообразие
Параллелизу́емое многообра́зие, многообразие размерности , допускающее поле реперов , т. е. линейно независимых в каждой точке векторных полей . Поле задаёт изоморфизм касательного расслоения на тривиальное расслоение , сопоставляющий касательному вектору его координаты относительно репера и его начало. Поэтому параллелизуемое многообразие можно также определить как многообразие, имеющее тривиальное касательное расслоение. Примерами параллелизуемого многообразия являются открытые подмногообразия евклидова пространства, все трёхмерные многообразия, пространство произвольной группы Ли, многообразие реперов произвольного многообразия. Сфера является параллелизуемым многообразием только при . Для параллелизуемости 4-мерного многообразия необходимо и достаточно обращение в нуль его второго характеристического класса Штифеля – Уитни. В общем случае равенство нулю всех характеристических классов Штифеля – Уитни, Чжэня и Понтрягина является необходимым, но недостаточным условием для того, чтобы многообразие было параллелизуемым многообразием.