The nearest point mapping is single valued nearly everywhere (Q752527): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5596489 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How Many Sets are Porous? / rank | |||
Normal rank |
Latest revision as of 12:02, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The nearest point mapping is single valued nearly everywhere |
scientific article |
Statements
The nearest point mapping is single valued nearly everywhere (English)
0 references
1990
0 references
The function \(p_ K: {\mathbb{R}}^ d\to 2^{{\mathbb{R}}^ d}\) called metric projection or nearest point mapping is well-known: For a given closed set \(K\subset {\mathbb{R}}^ d\), \(p_ K\) associates to each \(x\in {\mathbb{R}}^ d\) the set of all points of K closest to x. It is known that, \(p_ K\) is single valued almost everywhere and at most points of \({\mathbb{R}}^ d\) [\textit{S. Stechkin}, Rev. Roum. Math. Pures Appl. 8, 5-18 (1963; Zbl 0198.162)], i.e. \(p_ K\) is not single valued on a set of measure zero and first Baire category. We prove that \(p_ K\) is single valued nearly everywhere, i.e. \(p_ K\) is not single valued on a \(\sigma\)-porous set, which implies both preceding assertions. We also establish that, for most compact sets K, \(p_ K\) is not single valued at densely many points. This will not happen, however, if the boundary of K is smooth enough.
0 references
metric projection
0 references
nearest point mapping
0 references
set of measure zero
0 references
first Baire category
0 references
\(\sigma \) -porous set
0 references