[tempfile]

Yes and yes, but conditional compactness is different, and Cauchy sequences are not always convergent. That's why I mentioned completeness.