PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
References to 'a space is compact iff any family of closed sets having fip has non-empty intersection'
1. closed subsets of a compact set are compact by Wkbj79
2. compactness is preserved under a continuous map by yark
3. finite intersection property by azdbacks4234
4. Tychonoff's theorem implies AC by CWoo