Search the corpus

    Continuous image of compact is compact

    T-TJBYR

    Continuous maps carry compact subsets to compact subsets.Suggest a slogan

    Let \(f\colon X\to Y\) be continuous and \(K\subseteq X\) compact. Then \(f(K)\) is compact [@Mun00].

    Guide Appearances

    What links to this