Approximation from the exterior of multifunctions with connected values

DOI10.1007/BF01033068MaRDI QIDQ1344273zbMATH OpenFDO

Publication date 19 November 1995

Published in Set-Valued Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01033068

approximation by Lipschitz function multi-function upper semicontinuity

Set-valued functions (26E25) Set-valued set functions and measures; integration of set-valued functions; measurable selections (28B20) Set-valued maps in general topology (54C60)

Review text

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)\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Approximation from the exterior of multifunctions with connected values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344273)