Topology

The Tube Lemma and Closed Projections

Proves the tube lemma, closedness of projections with compact factors, a closed-graph criterion for continuity, and positive separation of disjoint closed sets when one is compact.