Benutzer:KleinKlio/Topnetz

Ein Netz oder eine Moore-Smith-Folge stellt in der Topologie (einem Teilgebiet der Mathematik) eine Verallgemeinerung einer Folge dar. Der Begriff geht auf Eliakim Hastings Moore und H. L. Smith zurück. Mit Cauchynetzen lässt sich der Begriff der Vollständigkeit von Metrischen Räumen auf uniforme Räume verallgemeinern. Darüberhinaus kann man sie in der Integralrechnung zur Beschreibung der Riemann-Integrierbarkeit verwenden.

Definitionen

Für eine gerichtete Menge $(I,\triangleleft )$ und eine Menge $X$ ist ein Netz eine Abbildung $x:I\to X$. Meist schreibt man analog zu Folgen $(x_{i})_{i\in I}$. Da die natürlichen Zahlen mit der gewöhnlichen Anordnung eine gerichtete Menge bilden, sind Folgen spezielle Netze.

Teilnetz

$(I,\triangleright )$ und $(J,\triangleright )$ seien gerichtete Mengen, $(x_{i})_{i\in I}$ ein Netz in $X$ und $\varphi \colon J\to I$ eine Abbildung, die der Bedingung

$\forall i_{o}\in I\ \exists j_{0}\in J\colon \ \forall j\geq j_{0}\ \varphi (j)\geq i_{0}$ genügt. Das Netz $(x_{\varphi (j)})_{j\in J}$ heißt dann Teilnetz des Netzes $(x_{i})_{i\in I}$.

Konvergente Netze

Ist $X$ ein topologischer Raum, so definiert man wie bei Folgen: Ein Netz heißt konvergent gegen $x\in X$, wenn gilt:

$\forall U\in {\mathcal {U}}(x)\ \exists i_{0}\in I\ \forall i\in I:i_{0}\triangleleft i\Rightarrow x_{i}\in U$

Man schreibt dann $(x_{i})_{i\in I}\to x$ oder $x_{i}\to x$. Die formale Definition lässt sich so umschreiben: Für jede Umgebung von x gibt es einen Anfangsindex i₀ in der gerichteten Menge I, so dass Glieder des Netzes mit Index i nach $i_{0}\;(i\triangleright i_{0})$ in der vorgelegten Umgebung enthalten sind.

Cauchynetz

Ist $(X,\Phi )$ ein uniformer Raum, so definiert man: Ein Netz auf X heißt Cauchynetz, wenn zu jeder Nachbarschaft $N\in \Phi$ ein Index $i_{0}\in I$ existiert, so dass alle Paare von Gliedern des Netzes mit späteren Indizes $j,k\triangleright i_{0}$ von der Ordnung N benachbart sind, d. h. dass $(x_{j},x_{k})\in N$ gilt. Die formalisierte Definition lautet

$\forall N\in \Phi \;\exists i_{0}\in I\;\forall j,k\triangleright i_{0}:\;(x_{j},x_{k})\in N$

Vollständigkeit

Ein uniformer Raum ist genau dann vollständig, wenn jedes Cauchynetz auf X konvergent ist.

Anwendungen

Definition der abgeschlossenen Hülle

Ist A eine Teilmenge des topologischen Raumes X, dann ist $y\in X$ genau dann ein Berührpunkt von A (d. h. in der abgeschlossenen Hülle von A enthalten), wenn es ein Netz $(x_{i})_{i\in I}$ mit Gliedern $x_{i}\in A$ gibt, das gegen y konvergiert.

Lokale Definition der Stetigkeit

• Seien X und Y topologische Räume. Eine Abbildung $f:X\to Y$ ist stetig im Punkt $x\in X$ genau dann, wenn für jedes Netz $(x_{i})_{i\in I}$ in X gilt: Aus $x_{i}\to x$ folgt $f(x_{i})\to f(x)$.

Riemann-Integral

Die Menge ${\mathcal {Z}}$ der Zerlegungen $Z:=(x_{0},x_{1},x_{2},\ldots ,x_{n})$ des reellen Intervalls $[a,b]$, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a=x_0<x_1<\ldots<x_n=b} , wird durch die Inklusion zu einer gerichteten Menge: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z_1\triangleleft Z_2}  : Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z_2} enthält alle Punkte von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z_1} . Für eine reellwertige beschränkte Funktion auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [a,b]} werden durch die Obersumme

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{O}(f) : \mathcal{Z} \to \mathbb{R}; (x_0,x_1,x_2,\ldots, x_n) \mapsto \sum_{j=1}^n (x_j-x_{j-1})\cdot\sup_{x\in [x_{j-1},x_j]} f(x)}

und die Untersumme

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{U}(f) : \mathcal{Z} \to \mathbb{R}; (x_0,x_1,x_2,\ldots, x_n) \mapsto \sum_{j=1}^n (x_j-x_{j-1})\cdot\inf_{x\in [x_{j-1},x_j]} f(x)}

zwei Netze definiert. Die Funktion f ist genau dann Riemann-integrierbar auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [a,b]} , wenn beide Netze gegen die gleiche reelle Zahl c konvergieren. In dem Fall ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c=\int_a^b f(x)\, dx} .

Literatur

• Boto v. Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer, Berlin 2001, ISBN 3540677909

• E. H. Moore, H. L. Smith (1922): A General Theory of Limits. American Journal of Mathematics 44 (2), 102–121
• Lydia Außenhofer: Mengentheoretische Topologie.