Zur Theorie der topologischen Ordnung und der Vektor\-felder in Banachschen Räumen. (Q2600657): Difference between revisions

Der in \(n\)-dimensionalen euklidischen Räumen wohlbekannte Begriff der Ordnung eines Punktes in bezug auf das eindeutige stetige Bild einer Kugelfläche wird ausgedehnt auf Abbildungen ``mit vollstetiger Verschiebung'' in linearen normierten vollständigen Räumen, wobei wesentlicher Gebrauch gemacht wird von einem Lemma von \textit{Leray} und \textit{Schauder} (Ann. sci. Ecole norm. sup. 51 (1934), 45-78; F. d. M. \(60_{\text{I}}\), 322) über die Approximation vollstetiger Abbildungen durch Schichtenabbildungen. Die Haupt\-eigenschaften der Ordnung bleiben auch bei dieser Ausdehnung unverändert gültig; dabei wird auch ein Fixpunktsatz für vollstetige Abbildungen einer Vollkugel \(V^\infty\) (\(\|\mathfrak x-\mathfrak a\|\leqq R\)) von \textit{Schauder} (Studia math., Lwów, 2 (1930), 171-180; F. d. M. \(56_{\text{I}}\), 355) verallgemeinert. Weiter untersucht Verf. Vektorfelder der Form \(\mathfrak v(\mathfrak x)=\mathfrak x+\mathfrak V(\mathfrak x)\) mit vollstetigem \(\mathfrak V(\mathfrak x)\), definiert auf einer Kugel \(S^\infty\) (\(\|\mathfrak x-\mathfrak a\| = R\)) bzw. Vollkugel \(V^\infty\); für solche Felder wird der Begriff der Charakteristik auf dem Rande und des Index einer Nullstelle erklärt und eine Reihe diesbezüglicher Sätze be\-wiesen, so ein Analogon des bekannten funktionentheoretischen Satzes von \textit{Rouché}, ferner ein Satz über die Existenz einer inneren oder äußeren Normalen in einem Vektor\-feld auf einer \(S^\infty\). Für vollstetige Vektorfelder wird ein dem letztgenannten ähnlicher Satz hergeleitet. Als Anwendung eines ``Verschiebungssatzes'', wonach das durch eine in \(V^\infty\) definierte Abbildung \(\mathfrak f(\mathfrak x)\) mit vollstetiger Verschiebung \(\mathfrak f-\mathfrak x\), bei welcher \(\|\mathfrak f-\mathfrak x\|\) kleiner als der Radius von \(V^\infty\) ist, vermittelte Bild eine ganze Kugelumgebung des Mittelpunktes von \(V^\infty\) überdeckt, wird ein neuer Existenzsatz über die Lösung nicht-linearer Integralgleichungen gegeben. (IV 9.)