Mathematik: Analysis: Reelle Zahlen: Topologie

Aus Wikibooks

Wechseln zu: Navigation, Suche
Analysis    Reelle Zahlen   Eigenschaften reeller Zahlen – Ungleichungen (Eigenschaften) – Wichtige Ungleichungen – Metrik –    
Topologie – Sätze v. Bolzano-Weierstraß u. Heine-Borel  		 Folgen und Reihen


Im vorigen Absatz wurde gezeigt, wie über Betragsfunktion, Abstand, Metrik und offene Mengen eine Topologie auf \mathbb R erzeugt werden kann. Das Verfahren lässt sich auf andere metrische Räume anwenden. Eine Topologie wird daher allgemein über offene Teilmengensysteme nichtleerer Mengen definiert.


[Bearbeiten] Topologie

Definition (topologischer Raum)
Sei M\!\, eine nichtleere Menge . Eine Topologie \mathfrak{T} auf M\!\, ist eine Teilmenge der Potenzmenge \mathfrak{P}(M)\ , d. h. \mathfrak{T} \subset \mathfrak{P}(M), für die gilt:
  1. \emptyset, M \in \mathfrak{T}
  2. U, V \in \mathfrak{T}\ \Rightarrow\ U \cap V \in \mathfrak{T}
  3. Seien U_i \in \mathfrak{T} für eine beliebige Indexmenge I\!\,       \Rightarrow\ \bigcup_{i\in I} U_i \in \mathfrak{T}
Das Paar (M, \mathfrak{T}) heißt topologischer Raum. Die Mengen O \in \mathfrak{T} heißen offen (in M\!\,). Die Komplemente \complement O : = M\setminus O der offenen Mengen O\!\, heißen abgeschlossen.



Satz (Eigenschaften abgeschlossener Mengen)
  1. \emptyset und \mathbb R \!\, sind abgeschlossen.
  2. Vereinigungen endlich vieler angeschlossener Mengen sind abgeschlossen.
  3. Durchschnitte beliebig vieler abgeschlossener Mengen sind abgeschlossen.


Beweis
Der Beweis ergibt sich aus den Regeln der Komplement-Bildung und den Eigenschaften offener Mengen.


Eine weitere Charakterisierung von offenen und abgeschlossenen Mengen ist über ihre Beziehung zu bestimmten Punkten möglich. Diese Punkte sind folgendermaßen definiert:


Definition (Berührungspunkt, Häufungspunkt)
Sei M \subset \mathbb{R}
  1. Ein Punkt x_0 \isin \mathbb{R} heißt ein Berührungspunkt der Menge M\!\,, wenn in jeder Umgebung von x_0\!\ mindestens ein Punkt von M\!\, liegt. Die Menge aller Berührungspunkte von M wird mit \overline M\!\, bezeichnet.

  2. Ein Punkt x_0 \isin \mathbb{R} heißt ein Häufungspunkt der Menge M\!\,, wenn in jeder Umgebung von x_0\!\ mindestens ein Punkt von M\!\, liegt, der von x_0\!\ verschieden ist. Die Menge aller Häufungspunkte von M wird mit M\!\,' bezeichnet.


Bei anderen Definitionen des Häufungspunktes wird häufig auch verlangt, dass in jeder Umgebung von x_0\!\ unendlich viele Punkte von M\!\, liegen müssen. Dies lässt sich aus der obigen Definition aber leicht folgern.


Beispiele
  1. M := \lbrace 1 + \frac {1}{n}| n \in \N \rbrace,\ x=1 \notin M \mathrm {\ ist\ H\ddot aufungspunkt}
    Ist U eine Umgebung von 1, dann gibt es ein ε > 0 so, dass

        U_\epsilon (1) = ]1- \epsilon,1+ \epsilon[ \subset U.
    Da \mathbb{R}\!\, archimedisch ist, gibt es ein n \in \N mit 0 < \frac {1} {n} < \epsilon. Dann ist y := 1 + \frac {1} {n}\ <\ 1 + \epsilon und y \in U_\epsilon (1) \subset U.
    Es liegt also in jeder Umgebung von 1 ein Punkt von M\!\,, der von 1 verschieden ist, d. h. 1 Ist ein Häufungspunkt von M\!\,.

  2. Die Menge \N besitzt als Teilmenge von \mathbb{R}\!\, keinen Häufungspunkt!


Mit Häufungspunkten lassen sich nun die abgeschlossenen Mengen wie folgt charakterisieren:


Satz (Charakterisierung abgeschlossener Mengen)
Eine Menge M\!\, \subset \mathbb{R} ist genau dann abgeschlossen, wenn sie alle ihre Häufungspunkt enthält, wenn also M' \subset M gilt.


Beweis
\Rightarrow : Sei also M\!\, eine abgeschlossene Menge. Dann ist O : = \complement M = \mathbb{R}\setminus M eine offene Menge. Für ein x_0 \isin O ist O\!\, Umgebung von x_0 \!\,. Diese Umgebung enthält keinen Punkt von M\!\, . Also kann x_0 \!\, kein Berührungspunkt und erst recht kein Häufungspunkt von M\!\, sein. Dann muss M\!\, aber alle seine Häufungspunkte selbst enthalten.
\Leftarrow : Es gelte also M' \subset M . Sei x_0 \in A : = \complement M = \mathbb{R}\setminus M. x_0 \!\, kann kein Häufungspunkt von M\!\, sein, denn M\!\, enthält alle seine Häufungspunkte. Es muss also eine Umgebung U\!\, von x_0 \!\, geben, die höchstens x_0 \!\, als Punkt von M\!\, enthält. Es wurde aber vorausgesetzt x_0 \notin M., d. h. M\!\, und U\!\, sind punktfremd. Also ist U\!\, \subset A und A\!\, offen. Dann ist aber M = \complement A geschlossen.


Dass die Menge der natürlichen Zahlen in \mathbb{R} keine Häufungspunkte hat kann man sich leicht "anschaulich" klar machen. Wie sieht aber die Menge \mathbb{Q}' der Häufungspunkte von \mathbb{Q} aus? Kann es sein, dass jede reelle Zahl ein Häufungspunkt von \mathbb{Q} ist, also \mathbb{R} \subset \mathbb{Q}' gilt? Der folgende Satz schafft Klarheit:


Satz (offenes Intervall enthält rationale Zahl)


Ein nichtleeres, offenes Intervall enthält eine rationale Zahl.


Beweis
Sei ]a,b[\!\, ein beliebiges, nichtleeres und offenes Intervall.
Falls a < 0 addiert man zu jedem Element des Intervalls eine natürliche Zahl n > -a, so dass man von a ≥ 0 ausgehen kann und die rationalen Zahlen im Intervall erhalten bleiben. Es gilt also ist a < b und c := b-a > 0.
Da \mathbb{R} archimedisch ist, gibt es m,n \in \N mit \frac {1} {c} < m \text { und } bm \le n . Dabei sei für n die kleinste natürliche Zahl gewählt, die diese Bedingung erfüllt und nach dem Wohlordnungssatz auch existiert.
  1. Mit dieser Bedingung kann man wie folgt schließen: bm \le n \Rightarrow n \ge bm \Rightarrow n -1 < bm \Rightarrow \frac {n-1} {m} < b.

  2. Mit c > \frac {1} {m} folgt weiter a\ =\ b - c\ <\ b - \frac {1} {m}\ \le\ \frac {n} {m} - \frac {1} {m}\ \Rightarrow\ a < \frac {n-1} {m}.

Also ist \frac {n-1} {m} eine rationale Zahl im Intervall ]a,b[\!\,.


Jedes Intervall lässt sich natürlich in mehrere Intervalle unterteilen und diese lassen sich wieder unterteilen usw. In einem Intervall liegen damit mindestens zwei verschiedene rationale Zahlen. Also ist jede reelle Zahl ein Häufungspunkt von \mathbb{Q}\!\,.


Eine Menge M\!\, heißt dicht in N\!\, , wenn \overline M\!\, \supset N. Wegen \overline {\mathbb{Q}} = \mathbb{Q} \cup \mathbb{Q}' (Beweisen Sie dies!) lassen sich die gerade gewonnenen Erkenntnisse folgendermaßen festhalten:


Satz ( \mathbb{Q} ist dicht in \mathbb{R})
Jeder Punkt von \mathbb{R}\!\, ist ein Häufungspunkt von \mathbb{Q}\!\,.

Wegen \mathbb{R} \subset \mathbb{Q}' ist \mathbb{Q}\!\, dicht in \mathbb{R}\!\,.


Diese Erkenntnis kommt hier vielleicht in einem etwas "ungewohnten Gewandt" daher. Sie besagt, dass des zu jeder reellen Zahl rationale Zahlen gibt, die dieser reellen Zahl beliebig nahe kommen. Es gibt also zu jeder reellen Zahl x\!\, und jedem \epsilon > 0\!\, rationale Zahlen r\!\, mit r \in U_\epsilon (x). Eine erste wichtige Erkenntnis der Beziehung zwischen \mathbb{Q} und \mathbb{R}.


►___weiter: Sätze v. Bolzano-Weierstraß u. Heine-Borel ▲___zum Inhaltsverzeichnis ◄___zurück: Metrik


Von „http://de.wikibooks.org/wiki/Mathematik:_Analysis:_Reelle_Zahlen:_Topologie“
Persönliche Werkzeuge