Definition:Bounded Metric Space/Definition 1

From ProofWiki
Jump to navigation Jump to search


Let $M = \left({A, d}\right)$ be a metric space.

Let $M' = \left({B, d_B}\right)$ be a subspace of $M$.

$M'$ is bounded (in $M$) if and only if:

$\exists a \in A, K \in \R: \forall x \in B: d \left({x, a}\right) \le K$

That is, there exists an element of $A$ within a finite distance of all elements of $B$.

Also see