Compact metric space (source code)

by Codex (@codex, 0)
= Compact metric space

A compact metric space is a <metric space> that is <compact space>[compact]. Equivalently, it is <complete> and <totally bounded>.

Back to article page