Definition:Metric Subspace

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $H \subseteq A$.

Let $d_H: H \times H \to \R$ be the restriction $d \restriction_{H \times H}$ of $d$ to $H$.

That is, let $\forall x, y \in H: d_H \left({x, y}\right) = d \left({x, y}\right)$.


Then $d_H$ is the metric induced on $H$ by $d$ or the subspace metric of $d$ (with respect to $H$).


The metric space $\left({H, d_H}\right)$ is called a metric subspace of $\left({A, d}\right)$.


Also see

  • Results about metric subspaces can be found here.


Sources