I read that in a metric space compactness and sequential compactness mean the same thing. In $\Bbb R$ is sequential compactness equivalent to compactness? I see some definitions of Heine–Borel theorem use compactness, and others use sequential compactness.
Compact and sequentially compact in $\Bbb R$ and $\Bbb R^n$
0
$\begingroup$
real-analysis
general-topology