Distance from a point to a set
From Maths
Revision as of 20:28, 9 April 2017 by Alec (Talk | contribs) (Created page with "__TOC__ ==Definition== Let {{M|(X,d)}} be a metric space and let {{M|A\in\mathcal{P}(X)}} be given. For any point {{M|x\in X}} we define the ''distance between {{M|x}} and...")
Definition
Let [ilmath](X,d)[/ilmath] be a metric space and let [ilmath]A\in\mathcal{P}(X)[/ilmath] be given. For any point [ilmath]x\in X[/ilmath] we define the distance between [ilmath]x[/ilmath] and [ilmath]A[/ilmath][1] to be:
- [math]d(x,A):\eq\mathop{\text{Inf} }_{a\in A}\Big(d(x,a)\Big)[/math]
We immediately see the following claims:
- Claim 1: if [ilmath]x\in A[/ilmath] also then [ilmath]d(x,A)\eq 0[/ilmath][1]
Properties
- If [ilmath]A[/ilmath] is a closed set in the topology induced by the metric then [ilmath]d(x,A)\eq 0\iff x\in A[/ilmath][1] - Claim 2
- For [ilmath]x,y\in X[/ilmath] we see [ilmath]\Big\vert d(x,A)-d(y,A)\Big\vert\le d(x,y)[/ilmath][1] - Claim 3
- For [ilmath]A\in\mathcal{P}(X)[/ilmath] define the map: [ilmath]g_A:X\rightarrow\mathbb{R} [/ilmath] by [ilmath]g_A:x\mapsto d(x,A)[/ilmath] then this map is uniformly continuous[1] - Claim 4
Proof of claims
Grade: C
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
This proof has been marked as an page requiring an easy proof
The message provided is:
Easy stuff, found in page 34-35 of reference
This proof has been marked as an page requiring an easy proof
