Es sei X {\displaystyle {}X} ein topologischer Raum und seien f 1 , … , f n ∈ C 0 ( X , R ) {\displaystyle {}f_{1},\ldots ,f_{n}\in C^{0}(X,\mathbb {R} )} reellwertige stetige Funktionen auf X {\displaystyle {}X} . Es sei U = ⋃ i ∈ I D ( f i ) ⊆ X {\displaystyle {}U=\bigcup _{i\in I}D(f_{i})\subseteq X} und
vergleiche Bemerkung. Man gebe explizit Trivialisierungen für S {\displaystyle {}S} über D ( f i ) {\displaystyle {}D(f_{i})} an und zeige, dass S {\displaystyle {}S} ein Vektorbündel über U {\displaystyle {}U} vom Rang n − 1 {\displaystyle {}n-1} ist.