Definition:Bounded Metric Space/Definition 1

Definition

Let $M = \struct {A, d}$ be a metric space.

Let $M' = \struct {B, d_B}$ 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: \map {d_B} {x, a} \le K$

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

Also see

• Equivalence of Definitions of Bounded Metric Space

Sources

• 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): $2.2$: Examples: Definitions $2.2.12$