Skip to content
Counterexample

Is this true?

Closed and bounded ⇒ compact

No — it is false.

The counterexample

Closed unit ball in ℓ2(\ell^{2} (or in C[0,1] with sup norm)

Why it fails

e1,e2,…e_{1}, e_{2}, \dots has no convergent subsequence since ‖en−eme_{n} - e_{m}‖ =2= \sqrt{2}. Heine–Borel is Rn−\mathbb{R}^{n}-only.

Go deeper· Explained in full in Compactness — the implication map· Asked in CSIR NET June 2025· From Metric Spaces › Compactness: open covers, sequential, Heine–Borel

Published . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram