Difference between revisions of "Metric subspace"

Revision as of 22:45, 8 March 2015 (view source) Alec (Talk | contribs) (Created page with "==Definition== Given a metric space {{M|(X,d)}} and any {{M|A\subset X}}, we can define a metric as follows: <math>d_A:A\times A\rightarrow\mathbb{R}</math>...") Newer edit →

(No difference)

---

Revision as of 22:45, 8 March 2015

Definition

Given a metric space $(X,d)$ and any $A\subset X$, we can define a metric as follows:

$$d_A:A\times A\rightarrow\mathbb{R}$$ where $$d_A(x,y)\mapsto d(x,y)$$ (so a restriction of the function essentially)

Then $(A,d_A)$ is a metric subspace of $(X,d)$ and $d_H$ is the induced metric.

---

TODO: proof it is a metric space

---