Approximation from the exterior of multifunctions with connected values (Q1344273): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q435174 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Yuri A. Brudnyi / rank | |||
Normal rank |
Revision as of 04:23, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximation from the exterior of multifunctions with connected values |
scientific article |
Statements
Approximation from the exterior of multifunctions with connected values (English)
0 references
19 November 1995
0 references
Let \(({\mathcal M}, d)\) be a metric space and \(\mathcal K\) be the family of all compact connected subsets of \(\mathbb{R}^n\). Equip \(\mathcal K\) with the Hausdorff metric \(h\). Then one can define the set \(\text{Lip}({\mathcal M}, {\mathcal K})\) of Lipschitz (multi-) functions \(f: ({\mathcal M}, d)\to ({\mathcal K}, h)\). Theorem. For every upper semicontinuous multi-function \(F: ({\mathcal M}, d)\to ({\mathcal K}, h)\) there exists a sequence \(\{F_n\}_{n\in \mathbb{N}}\subset \text{Lip}({\mathcal M}, {\mathcal K})\) such that \[ F(t)\leq F_{n+ 1}(t)\leq F_n(t)\tag{a} \] for all \(t\in {\mathcal M}\) and \(n\in \mathbb{N}\); \[ \lim_{n\to+ \infty} h(F_n(t), F(t))= 0\tag{b} \] for every \(t\in {\mathcal M}\). A function \(G: {\mathcal M}\to {\mathcal K}\) is said to be upper semicontinuous if for every \(t\in {\mathcal M}\) and \(\varepsilon> 0\) there is an open set \(U\ni t\) such that \(F(t')\) for every \(t'\in U\) lies in the \(\varepsilon\)- neighbourhood of \(F(t)\).
0 references
upper semicontinuity
0 references
approximation by Lipschitz function
0 references
multi-function
0 references