Индуцированное расслоение
Индуци́рованное расслое́ние, расслоение , индуцированное отображением и расслоением , где – подпространство прямого произведения , состоящее из пар , для которых , а – отображение, определяемое соответствием . Отображение индуцированного расслоения в исходное расслоение, определённое формулой , является морфизмом расслоений, накрывающим . Для каждой точки ограниченияявляются гомеоморфизмами. Кроме того, для любого расслоения и морфизма , накрывающего , существует один и только один –морфизм , удовлетворяющий соотношениям , , так что имеет место коммутативная диаграмма:
Расслоения, индуцированные изоморфными расслоениями, изоморфны, расслоение, индуцированное постоянным отображением, изоморфно тривиальному.
Для любого сечения расслоения отображение , определённое формулой , является сечением индуцированного расслоения и удовлетворяет соотношению . Например, отображение индуцирует расслоение с пространством и базой – квадрат расслоения , оно обладает единственным сечением .