Tube lemma
From Wikipedia, the free encyclopedia
In mathematics, in the field of topology, the tube lemma is a result which states that if X and Y are topological spaces with Y compact, then in the product space, any open cover of a slice over Y also covers a tube about that slice. More formally, if there is an open cover C of open sets in of the set for some , then there exists a neighborhood U of x such that C also covers .
[edit] Proof
Consider the projection of C to an open cover of open sets of Y. Evidently C' actually covers Y. By assumption Y is compact, so there is a finite subcover . This subcover must have arisen as the projection of open sets back in the original open cover of ; that is, there is a subset such that πYCsub = C'sub.
Now Csub is a finite open cover of a slice over Y, and by considering the projection πXCsub of Csub down to X, and taking the (finite!) intersection of all open sets in it, one obtains the open neighborhood U of x that meets the requirements of the lemma.