Distance function to a set
d_Ω(x)=inf{||x−w||: w∈Ω} in a normed space
Let be a normed vector space, and let be nonempty. The distance function to is
Properties
- if and only if .
- is -Lipschitz:
- If is convex, then is convex.
Conversely, if is closed and is convex, then is convex.
Examples
- If , then .
- If is the closed ball with center and radius , then