Sequential compactness of a compact metric space
ID: sequential-compactness-of-a-compact-metric-space
Every sequence in a compact metric space has a convergent subsequence. Conversely, sequential compactness and compactness are equivalent for metric spaces.
New to topics? Read the docs here!