Thread: Pullback of fibre bundle View Single Post
 Sci Advisor HW Helper P: 9,485 well i looked in bott tu p. 58 for the vector bundle case, and it is knid of like what i said. one shows the isomorphism class of a bundle on YxI, restricted to Yx{0} cannot change locally near 0. i.e. the homotopy gives a pull back bundle E on YxI, and we look at its restriction to Yx{0} and we just cross that restriction with I to get a family F of bundles on YxI, which have isomorphic restrictions to every Yxt. So we have an isomorphism of these bundles E,F over 0 and want to extend the isomorphism say to Yxe where e is a small interval containing 0. To do this view the isomorphism as a section defined over Yx{0}, of the subbundle Iso(E,F) of Hom(E,F). Then since this last bundle has Eucklidean space fibers, we can extend, again by a Urysohn type lemma. then near t=0 the section lies in Iso(E,F), and using compactness of Y and I we get our theorem over YxI. It can be extended to paracompact Y. This argumenT uses that the bundle of isomorphisms of two vector bundies is itself a fiber bundle contained in a euclidean space bundle, which seems a little special for all fiber bundles.. to go further i guess we need to know your definition of a fiber bundle. but i will probably leave it here.