tube lemma
Tube lemma - Let and be topological spaces such that is compact
. If is an open set of containing a ”slice” , then contains some ”tube” , where is a neighborhood
of in .
Proof : is a union of basis elements , with and open sets in and respect. Since is compact (it is homeomorphic to ), only a finite number of such basis elements cover .
We may assume that each of the basis elements actually intersects , since otherwise we could discard it from the finite collection and still have a covering of .
Define . The set is open and contains because each intersects by the previous remark.
We now claim that . Let be a point in . The point is in some and so . We also know that .
Therefore as desired.
References
- 1 J. Munkres, Topology (2nd edition), Prentice Hall, 1999.