Subtraction theorems and approximate openness for multifunctions: Topological and infinitesimal viewpoints (Q1269559)

In der vorliegenden Arbeit geht es um eine stärkere Quantifizierung der weitreichenden Verallgemeinerungen des klassischen Banach'schen ``open mapping theorems'' für den Fall mengenwertiger Abbildungen. Dies gelingt mit einer Verallgemeinerung des bekannten Subtraktionssatzes von \textit{V. Pták} [Czechosl. Math. J. 24(99), 503-506 (1974; Zbl 0315.46007)] und der Orientierung an Begriffen wie der approximativen Offenheit und der approximativen Entwicklung einer mengenwertigen Abbildung (multifunction). Da sich nicht alle Resultate dieser Richtung unter ein insgesamt einheitliches Konzept bringen lassen, wird hier versucht, möglichst viele Ergebnisse durch eine einfache Vorgehensweise zu gewinnen. Dies gelingt unter Zuhilfenahme folgender Begriffe. Eine Funktion \(\alpha: \mathbb{R}^+\to \mathbb{R}^+\) heißt \(r\)-kleiner (\(r:\mathbb{R}^+\to \mathbb{R}^+\) eine gegebene Funktion) als die nichtfallende Funktion \(\delta:\mathbb{R}^+\to \mathbb{R}^+\), die zusätzlich bei \(0\) stetig ist und für die \(\delta(0)= 0\) gilt, in Zeichen: \(\alpha<_r\delta\), wenn es eine Folge \((r_n)\) von Funktionen \(r_n: \mathbb{R}^+\to \mathbb{R}^+\) gibt, mit \(r_0(t)= t\), für die für jedes hinreichend kleine \(t>0\) die Gleichung \(\sum^\infty_{n= 0} r_n(t)= r(t)\) gilt und die die Relationen \(\alpha\circ r_n(t)< \delta\circ r_{n+ 1}(t)\) erfüllen (für die abgeschwächte Bedingung \(\alpha\circ r_n(t)\leq \delta\circ r_{n+ 1}(t)\) schreibt man \(\alpha\leq_r\delta\)). Ist \(\delta\) eine Funktion wie soeben genannt und \(\alpha: \mathbb{R}^+\to\mathbb{R}^+\) gegeben, so heißt eine mengenwertige Abbildung \(F\subset X\times Y\) (\(X\), \(Y\) auch im folgenden metrische Räume) ``\(\alpha\)-approximativ fast \(\delta\)-offen of \(Z\subset X\times Y\)'', wenn es ein \(\tau>0\) gibt, so daß für alle \((x,y)\in Z\cap F\) und \(t\in (0,\tau]\) die Inklusion \(B_{\delta(t)}(y)\subseteq \text{cl }B_{\alpha(t)}(F(B_t(x)))\) gilt. (Wie üblich sei \(B_\varepsilon(A)\) gleich der Vereinigung aller abgeschlossenen Kugeln \(B_\varepsilon(a)\) für alle \(a\in A\).) Eine mengenwertige Abbildung \(F\subset X\times Y\) heiße ``\(\delta\)-offen bezüglich der Funktion \(r:\mathbb{R}^+\to \mathbb{R}^+\) (mit \(\lim_{t\to 0} r(t)= 0\)) auf der Menge \(Z\subset X\times Y\)'', wenn es ein \(\tau> 0\), so dass für alle \(t\in(0,\tau]\) und für alle \((x,y)\in F\cap Z\) die Inklusion \(B_{\delta(t)}(y)\subset F(B_{r(t)}(x))\) gilt. Ein Hauptergebnis der Arbeit (Subtraktionssatz) ist der folgende Satz (Theorem 2.1.). Es seien \(X\), \(Y\) metrische Räume, \(X\) sei vollständig und \(F\subset X\times Y\) eine abgeschlossene (mengenwertige) Abbildung. Ist \(\delta: \mathbb{R}^+\to\mathbb{R}^+\) eine Funktion mit den oben genannten Eigenschaften, \(\alpha:\mathbb{R}^+\to \mathbb{R}^+\), \(r: \mathbb{R}^+\to\mathbb{R}^+\) mit \(\lim_{t\to 0} r(t)= 0\), für die \(\alpha<_r\delta\) gilt (bzw. abgeschwächt \(\alpha\leq_r\delta\)). Es sei \(F\) als \(\alpha\)-approximativ fast \(\delta\)-offen auf einer Teilmenge \(\Omega\subseteq X\times Y\) vorausgesetzt (bzw. als \(\alpha\)-approximativ \(\delta\)-offen, d.h., die oben genannte Bedingung enthält nicht die cl-Operation). Dann ist für jede Teilmenge \(Z\subset\Omega\) mit \(B_\varepsilon(Z)\subset \Omega\) für ein gewisses \(\varepsilon> 0\) die (mengenwertige) Abbildung \(F\) auf der Menge \(Z\) sogar \(\delta\)-offen bezüglich \(r\). Ausgehend von diesem Satz werden weitere Varianten für Offenheitseigenschaften bewiesen und diskutiert, wobei insbesondere sogenannte infinitesimale Bedingungen, die die Verwandtschaft des behandelten Themas zur Theorie der Optimierung andeuten, eine Rolle spielen [auf die bekannten Arbeiten von \textit{H. Frankowska}, Ann. Inst. Henri Poincaré, Anal. Non-Linéaire 7, No. 3, 183-234 (1990; Zbl 0727.26014) wird mehrfach hingewiesen]. Als Anwendung der allgemeinen Resultate der Arbeit beweisen die Autoren einen -- ebenfalls in Richtung Optimierung orientierten -- Satz über die Unterhalbstetigkeit des Durchschnitts zweier mengenwertiger Abbildungen (Theorem 4.1.).