Касательное расслоение

дифференцируемого многообразия М- вектор ное расслоение х: [img: http://localhost:8080/file/021206-30.jpg] пространство к-рого ТМ является касательным пространством к М(объединением касательных пространств ТМ|x в точке [img: http://localhost:8080/file/021206-31.jpg]), состоящим из касательных векторов к М, а проекция t отображает ТМ|x в х. Сечение К. р. х(М)- векторное поле на многообразии М. Атлас многообразия ТМ определяется атласом многообразия Ми условием локальной тривиальности расслоения т (М). Функции перехода К. р. являются матрицами Якоби функций перехода атласа многообразия. К К. р. присоединено главное расслоение реперов многообразия М. Расслоение х* (М), двойственное К. р. х(М), наз. кокасательным расслоением, а его пространство Т*М- кокасательным пространством. Сечениями его являются линейные дифференциальные формы (Пфаффа формы). Дифференцируемое отображение h: M->N индуцирует морфизм К. р. [img: http://localhost:8080/file/021206-32.jpg] соответствующее отображение касательных пространств hT: [img: http://localhost:8080/file/021206-33.jpg] наз. касательным к hотображением. В частности, если i: [img: http://localhost:8080/file/021206-34.jpg] - иммерсия, то х(М)является подрасслоением индуцированного расcлоения i*t(N). Факторрасслоение v(i)=i*x(M)/t(M)наз. нормальным расслоение м иммерсии. Двойственно, если j: [img: http://localhost:8080/file/021206-35.jpg] -субмерсия, то факторрасслоение х(М)/j*t(М)наз. субрасслоением j. Если в качестве Ми N взяты соответственно ТМ и М,a h=t: [img: http://localhost:8080/file/021206-36.jpg] то t*t(М)наз. вторым касательным расслоением. Если К. р. х(М)- тривиально, то Мназ. параллелизуемым многообразием.