コンパクト性と完備性

距離空間  $(X, d) $において，コンパクトであることと，全有界かつ完備であることは同値である．

Vita brevis, ars longa. Omnia vincit Amor.