Normen, Metriken, Topologie

Audiokommentierte Folien - Wiki2Reveal Bearbeiten

Diese Wikiversityseite ist als Foliensatz für Wiki2Reveal mit Audiokommentaren erstellt worden. Diese Präsentation wird in den Kursen:

verwendet (siehe Wiki2Reveal). Ferner gibt es ein Quiz zu dieser Lernressource.

Intro

Topologischer Raum Bearbeiten

Ein Topologischer Raum ist der grundlegende Gegenstand der Teildisziplin Topologie der Mathematik. Durch die Einführung einer topologischen Struktur auf einer Menge lassen sich

intuitive Lagebeziehungen wie „Nähe“ und
„Konvergenz gegen“ aus den reellen Zahlen ${\mathbb {R} }$ bzw. aus dem ${\mathbb {R} }^{n}$

auf viele und sehr allgemeine Strukturen übertragen (wie z.B. die Topologie von Funktionenräumen).

Topologie allgemein

Definition - Topologie Bearbeiten

Eine Topologie ist ein Mengensystem ${\cal {T}}$ bestehend aus Teilmengen (offene Mengen genannt) einer Grundmenge $X$ , für die die folgenden definierenden Eigenschaften erfüllt sind

(T1) $\emptyset ,X\in {\cal {T}}$
(T2) $U\cap V\in {\cal {T}}$ für alle $U,V\in {\cal {T}}$ .
(T3) Für eine beliebige Indexmenge $I$ und $U_{i}\in {\cal {T}}$ für alle $i\in I$ gilt: $\bigcup _{i\in I}U_{i}\in {\cal {T}}$ .

Eine Menge $X$ zusammen mit einer Topologie ${\cal {T}}$ auf $X$ heißt topologischer Raum $(X,{\cal {T)}}$ .

Definition Topologie

Bemerkung - abgeschlossene Mengen Bearbeiten

Mit der Definition aller offenen Mengen in $X$ durch die Topologie ${\mathcal {T}}$ sind auch alle abgeschlossenen Mengen als Komplement einer offenen Menge $U\in {\mathcal {T}}$ definiert.

A\subseteq X{\mbox{ abgeschlossen }}:\Longleftrightarrow \exists _{U\in {\mathcal {T}}}:\,A=X\setminus U=U^{c}

Definition - offener Kern einer Menge Bearbeiten

Sei in $M\subseteq X$ in dem topologischen Raum $(X,{\cal {T)}}$ , dann ist der offene Kern ${\stackrel {\circ }{M}}$ als die "größte" in $M$ enthaltene offene Menge definiert:

{\stackrel {\circ }{M}}:=\bigcup _{U\in {\mathcal {T}},U\subseteq M}U

Bemerkung - offener Kern Bearbeiten

Da in der Defintion ${\stackrel {\circ }{M}}$ als Vereinigung von offenen Mengen $U\in {\mathcal {T}}$ dargestellt ist, ist ${\stackrel {\circ }{M}}\in {\mathcal {T}}$ offen nach Eigenschaft (T3).

Definition - Abschluss einer Menge Bearbeiten

Sei in $M\subseteq X$ in dem topologischen Raum $(X,{\cal {T)}}$ , dann ist der Abschluss ${\overline {M}}$ als die "kleinste" abgeschlossene Menge definiert, die $M$ enthält:

{\overline {M}}:=\bigcap _{U\in {\mathcal {T}},U^{c}\supseteq M}U^{c}

Bemerkung - Abschluss einer Menge Bearbeiten

Da in der Defintion ${\overline {M}}$ als Schnitt von abgeschlossenen Mengen $U^{c}$ mit $U\in {\mathcal {T}}$ dargestellt ist, ist ${\overline {M}}$ als Komplement einer beliebigen Vereinigung von offenen Mengen abgeschlossen:

{\overline {M}}:=\bigcap _{U\in {\mathcal {T}},U^{c}\supseteq M}U^{c}={\bigg (}\underbrace {\bigcup _{U\in {\mathcal {T}},U^{c}\supseteq M}U} _{\in {\mathcal {T}}}{\bigg )}^{c}

Definition - Rand einer Menge Bearbeiten

Sei $M\subseteq X$ eine Menge in dem topologischen Raum $(X,{\cal {T)}}$ , dann der Rand einer Menge aus dem Abschluss der Menge $M$ ohne den offenen Kern ${\stackrel {\circ }{M}}$ von $M$ . Der Rand wird daher wie folgt definiert:

\partial {M}:={\overline {M}}\setminus {\stackrel {\circ }{M}}

.

Bemerkung Bearbeiten

Die Mengen $X,\emptyset$ sind per Definition offen und wechselseitig bilden die beiden Mengen jeweils die Komplemente zu einander. Damit sind diese beiden Mengen zugleich offen und abgeschlossen. Daher haben die beiden Mengen keine Randpunkte.

Definition - Umgebung Bearbeiten

Sei $x_{o}\in X$ und $U\subseteq X$ eine Menge in einem topologischen Raum $(X,{\cal {T)}}$ , dann heißt der $U$ Umgebung von $x_{o}$ , wenn eine offene Menge ${\stackrel {\circ }{U}}\in {\cal {T}}$ existiert mit:

x_{o}\in {\stackrel {\circ }{U}}\subseteq U

Die Menge aller Umgebungen von $x_{o}$ bzgl. der Topologie ${\mathcal {T}}$ wird mit ${\mathfrak {U}}_{\mathcal {T}}(x_{o})$ bezeichnet. ${\stackrel {\circ }{\mathfrak {U}}}_{\mathcal {T}}(x_{o})$ bezeichnet die Menge aller offenen Umgebungen von $x_{o}$ .

Definition - Umgebungsbasis Bearbeiten

Sei $x_{o}\in X$ und ${\mathcal {B}}\subseteq \wp (X)$ ein Mengensystem in einem topologischen Raum $(X,{\cal {T)}}$ , dann heißt der ${\mathcal {B}}$ Umgebungsbasis von $x_{o}$ , wenn gilt:

(B1) ${\mathcal {B}}\subseteq {\mathfrak {U}}_{\mathcal {T}}(x_{o})$
(B2) zu jeder Umgebung $U\in {\mathfrak {U}}_{\mathcal {T}}(x_{o})$ eine Umgebung $B\in {\mathcal {B}}$ mit $B\subseteq U$

Beispiel Bearbeiten

Die Menge der offenen $\varepsilon$ -Umgebungen $(x_{o}-\varepsilon ,x_{o}+\varepsilon )\subset \mathbb {R}$ in $(\mathbb {R} ,|\cdot |)$ mit der vom Betrag $|\cdot |$ erzeugten euklidischen Topologie ${\mathcal {T}}_{\mathbb {R} }$ ist eine Umgebungsbasis von ${\mathfrak {U}}_{{\mathcal {T}}_{\mathbb {R} }}(x_{o})$ .

Bemerkung Bearbeiten

Die Begriff der Umgebungsbasis hilft dabei, Konvergenzaussagen nur für die Umgebungsbasis nachzuweisen und damit auch die Aussagen für beliebige Umgebungen ebenfalls zu erhalten. In der Analysis verwendet man $\varepsilon$ -Umgebungen in Definitionen ohne den topologischen Aspekt der Umgebungsbasis explizit zu thematisieren. Man hat die Aussagen streng genommen nicht für beliebige Umgebungen gezeigt hat, sondern nur für die Umgebungsbasis aus den $\varepsilon$ -Umgebungen.

Definition - Basis der Topologie Bearbeiten

Sei $x_{o}\in X$ und ${\mathcal {B}}\subseteq \wp {(X)}$ ein Mengensystem in einem topologischen Raum $(X,{\cal {T)}}$ , dann heißt ${\mathcal {B}}_{\mathcal {T}}$ Basis von ${\mathcal {T}}$ , wenn gilt:

(BT1) ${\mathcal {B}}_{\mathcal {T}}\subseteq {\mathcal {T}}$
(BT2) zu jeder offenen Menge $U\in {\mathcal {T}}$ gibt es eine offene Menge $B\in {\mathcal {B}}_{\mathcal {T}}$ mit $B\subseteq U$

Beispiel Bearbeiten

Die Menge aller offenen Intervalle $(a,b)\subset \mathbb {R}$ ist eine Basis der Topologie in dem topologischen $(\mathbb {R} ,|\cdot |)$ mit der vom Betrag $|\cdot |$ erzeugten euklidischen Topologie ${\mathcal {T}}_{\mathbb {R} }$ .

Bemerkung - Merkhilfe Bearbeiten

Für die Unterscheidung der Begriffe

"Umgebungsbasis" und
"Basis der Topologie"

für einen topologischen Raum $(X,{\mathcal {T}})$ kann man folgende Merkhilfe aus der Terminologie ableiten.

Merkhilfe - Umgebungsbasis Bearbeiten

Der Begriff "Umgebungsbasis" enthält den Begriff "Umgebung". Damit ist die Umgebungsbasis eine Teilmenge aller Umgebungen ${\mathfrak {U}}_{\mathcal {T}}(x_{o})$ von einem Punkt $x_{o}\in X$ .

Merkhilfe - Basis der Topologie Bearbeiten

Der Begriff der "Basis der Topologie" bezieht auf die "Topologie" ${\mathcal {T}}$ - also auf das System aller offenen Menge in dem Raum $X$ .

Konvergenz in topologischen Räumen Bearbeiten

In der Analysis ist die Konvergenz von Folgen eine zentrale Definition, um darauf aufbauende Begriffe wie Stetigkeit, Differenz und Integrale zu definieren. Folgen $(a_{n})_{n\in \mathbb {N} }$ mit $\mathbb {N}$ als Indexmenge sind in allgemeinen topologischen Räumen ungeeignet Konvergenz zu definieren, da die Indexmenge $\mathbb {N}$ bzgl. der Umgebungsbasis nicht mächtig genug ist. Dies ist nur dann möglich, wenn der topologische Raum eine abzählbare Umgebungsbasis besitzt. Daher geht man entweder zu Netzen oder Filtern über

Beispiel: Topologie auf Texten Bearbeiten

In der Regel geht man davon aus, dass Topologien auf mathematischen Räumen definiert werden (z.B. Zahlenräume, Funktionenräume, (topologische) Gruppen, Vektorräume, ...). Die Allgemeinheit der Definition macht es aber auch möglich, eine Topologie auf Texten zu definieren. Dieses Beispiel wurde ergänzt, weil rein anschaulich z.B. Texte in der deutschen Sprache

eine ähnliche Aussage haben können und
unterschiedliche Wörter verwenden.

Diese Ähnlichkeit der Semantik oder auch Syntax wird als Übung in "Topologie auf Texten" näher untersucht.

Ähnlichkeit von Wörter durch Metrik beschreiben Bearbeiten

Stellen Sie von gesprochenen Wörtern die Buchstabenanzahl und die Menge der vorkommenden Buchstaben als Tabelle dar. Wie kann man aus der tabellarische Aufstellung einen Abstand von Wörtern ableiten. machen Sie dazu einen Vorschlag. Welche Eigenschaften hat die von Ihnen vorgeschlagene Abstandsfunktion. Ist es eine Metrik auf dem Raum der Wörter?

Aufgabe - Abstand zwischen Wörtern Bearbeiten

Betrachten Sie die Wörter "Eimer", "Eimr", "Eimerr". Wie können Sie die Unterschiede der Wörter durch eine Metrik ausdrücken
Phonetische Ähnlichkeit Wörter "Aihmähr" und "Eimer" haben eine phonetische Ähnlichkeit, aber von der Sequenz von Buchstaben unterscheiden sich die Schreibweisen stark. Wie können Sie Ähnlichkeit von gesprochen Wörtern (Spracherkennung) durch eine phonetische Schreibweise notieren und in dieser Notation der Phoneme eine Ähnlichkeit der Wörter ebenfalls ausdrücken.

Klassifikation topologischer Räume Bearbeiten

Hierarchie Topologischer Räume

Bedeutung: Notation Topologie Bearbeiten

(T1) $\emptyset ,X\in {\mathcal {T}}$ leere Menge und die Grundmenge $X$ sind offene Mengen
(T2) $U\cap V\in {\mathcal {T}}$ für alle $U,V\in {\mathcal {T}}$ : Der Durchschnitt endlich vieler offener Mengen ist eine offene Menge.
(T3) Die Vereinigung beliebig vieler offener Mengen ist wieder eine offene Menge.

Semantik: Metrik Bearbeiten

Eine Metrik $d$ ordnet mit $d(x,y)$ zwei Elementen $x,y\in X$ aus einem Grundraum $X$ den Abstand $d(x,y)$ zwischen $x$ und $y$ zu.

Definition: Metrik Bearbeiten

Sei $X\not =\emptyset$ eine beliebige Menge. Eine Abbildung $d\colon X\times X\to \mathbb {R}$ heißt Metrik auf $X$ , wenn für beliebige Elemente $x$ , $y$ und $z$ von $X$ die folgenden Eigenschaften erfüllt sind:

(M1) Trennung: $d\left(x,y\right)=0\Leftrightarrow x=y$ ,
(M2) Symmetrie: $d\left(x,y\right)=d(y,x)$ ,
(M3) Dreiecksungleichung: $d\left(x,y\right)\leq d(x,z)+d(z,y)$ .

Definition: Metrischer Raum Bearbeiten

Sei $d\colon X\times X\to \mathbb {R}$ auf $X\not =\emptyset$ eine Metrik, dann nennt bezeichnet mit $(X,d)$ eine metrischen Raum.

Aufgabe Bearbeiten

Zeigen Sie, dass jeder metrische Raum ein Hausdorff-Raum ist.

Veranschaulichung: Metrik Dreiecksungleichung Bearbeiten

Nicht-Negativität Bearbeiten

Aus den drei Eigenschaften der Metrik folgt die Nicht-Negativität, d.h. für alle $x,y\in X$ gilt. $d(x,y)\geq 0$ . Die Nicht-Negativität folgt aus den anderen Eigenschaften mit:

0={\frac {1}{2}}d(x,x)\leq {\frac {1}{2}}(d(x,y)+d(y,x))=

$={\frac {1}{2}}(d(x,y)+d(y,x))={\frac {1}{2}}(d(x,y)+d(x,y))=d(x,y).$

Definition - Halbmetrik Bearbeiten

Sei $X$ eine beliebige Menge. Eine Abbildung $d\colon X\times X\to \mathbb {R}$ heißt Pseudometrik, Halbmetrik oder Spanne, wenn für beliebige Elemente $x$ , $y$ und $z$ von $X$ die folgenden Bedingungen erfüllt sind:

(HM1) $d(x,x)=0$ ,
(HM2) $d(x,y)=d(y,x)$ (Symmetrie) und
(HM3) $d(x,y)\leq d(x,z)+d(z,y)$ (Dreiecksungleichung).

Offene Mengen in metrischen Räumen Bearbeiten

In einem metrische Raum $(X,d)$ definiert man eine Menge $U\subset X$ als offen (d.h. $U\in {\mathcal {T}}_{d}$ ), wenn es zu jedem $u\in U$ ein $\epsilon >0$ gibt, dass die $\epsilon$ -Kugel $B_{\epsilon }^{d}(u):=\{\ x\in X|\ d(x,u)<\epsilon \}$ ganz in $U$ liegt (d.h. $B_{\epsilon }^{d}(u)\subset U$ )
Zeigen Sie, dass mit diesem definierten ${\mathcal {T}}_{d}$ das Paar $(X,{\mathcal {T}}_{d})$ ein topologischer Raum ist (d.h. (T1), (T2), (T3) erfüllt).

Norm auf Vektorräumen Bearbeiten

Eine Norm ist eine Abbildung $\|\cdot \|$ von einem Vektorraum $V$ über dem Körper $\mathbb {K}$ der reellen oder der komplexen Zahlen in die Menge der nichtnegativen reellen Zahlen ${\mathbb {R} }_{0}^{+}$ . Dabei ordnet die Norm jedem Vektor $x\in V$ seine Länge $\|x\|$ zu.

Definition: Norm Bearbeiten

Sei $V$ ein $\mathbb {K}$ -Vektorraum und $\|\cdot \|\colon V\to {\mathbb {R} }_{0}^{+},\;x\mapsto \|x\|,$ eine Abbildung Erfüllt $\|\cdot \|$ die folgenden Eigenschaften N1,N2, N3, so heißt $\|\cdot \|$ Norm auf $V$ .

(N1) Definitheit: $\|x\|=0\;\Rightarrow \;x=\mathbb {0} _{V}$ für alle $x\in V$ ,
(N2) absolute Homogenität: $\|\lambda \cdot x\|=|\lambda |\cdot \|x\|$ für alle $x\in V$ und $\lambda \in \mathbb {K}$
(N3) Dreiecksungleichung: $\|x+y\|\leq \|x\|+\|y\|$ für alle $x,y\in V$ .

Definition Halbnorm Bearbeiten

Gelten für ein Funktional nur die Bedingungen (N2) und (N3) dann nennt man dieses Funktional Halbnorm.

Bemerkung: N1 Bearbeiten

Das Eigenschaft (N1) ist eigentlich eine Äquivalenz und es gilt in jedem normierten Raum ( $\mathbf {0} _{V}\in V$ ist der Nullvektor in $V$ und $0\in \mathbb {K}$ ist die Null im Körper $\mathbb {K}$ , wenn $V$ ein $\mathbb {K}$ -Vektorraum ist).

(N1)' Definitheit: $\|x\|=0\;\Leftrightarrow \;x=\mathbf {0} _{V}$ für alle $x\in V$ ,
Da man für Definitionen ein Minimalitätsprinzip für die definierenden Eigenschaft verwendet, würde man keine stärkere Formulierung (N1)' in der Definition für (N1) verwenden, da die Äquivalenz aus den definierenden Eigenschaften der Norm den Eigenschaften des Vektorraumes bereits für jeden normierten Raum folgen.

x\equiv \mathbf {0} _{V}\Rightarrow \|x\|=\|0\cdot \mathbf {0} _{V}\|=|0|\cdot \|\mathbf {0} _{V}\|=0

Normierter Raum / Metrischer Raum Bearbeiten

Ein normierter Raum $(V,\|\cdot \|)$ ist zugleich auch ein metrischer Raum.

Ein Norm $\|\cdot \|$ ordnet einem Vektor $v\in V$ seine Vektorlänge $\|v\|$ zu.
Mit der Norm $\|\cdot \|$ kann man über $d(x,y):=\|x-y\|$ eine Metrik definieren, die den Abstand zwischen $x$ und $y$ angibt.

Aufgabe: Metrik aus gegebener Norm generieren Bearbeiten

Sei $(V,\|\cdot \|)$ ein normierter Raum mit der Norm $\|\cdot \|:V\to \mathbb {R} _{o}^{+}$ . Zeigen Sie, dass die definierte Abbildung $d:V\times V\rightarrow \mathbb {R}$ mit $d(x,y):=\|x-y\|$ die Eigenschaften einer Metrik erfüllt.

Notation: Norm Bearbeiten

In der Eigenschaft (N2) $\|\lambda \cdot x\|=|\lambda |\cdot \|x\|$ bezeichnet $|\cdot |$ den Betrag des Skalars. " $\cdot$ "-Zeichen: Äußere Verknüpfung im Vektorraum bzw. Multiplikation $(\mathbb {R} ,\cdot )$ .
$\|x\|$ gibt die Länge des Vektors $x\in V$ an.
In (N3) $\|x+y\|\leq \|x\|+\|y\|$ für alle $x,y\in V$ . " $+$ "-Zeichen bezeichnet zwei unterschiedliche Verknüpfungen (d.h. Addition in $(V,+)$ bzw. $(\mathbb {R} ,+)$

Veranschaulichung: Norm Dreiecksungleichung Bearbeiten

Def: Konvergenz im normierten Raum Bearbeiten

Sei $(V,\|\cdot \|)$ ein normierter Raum und $(v_{n})_{n\in \mathbb {N} }\in V^{\mathbb {N} }$ eine Folge in $V$ und $v_{o}\in V$ :

\lim _{n\to \infty }^{\|\cdot \|}v_{n}=v_{o}\ :\Longleftrightarrow \ \forall _{\epsilon >0}\exists _{n_{\epsilon }\in \mathbb {N} }\forall _{n\geq n_{\epsilon }}\ :\ \|v_{n}-v_{o}\|<\epsilon

audio15_def_konvergenz_norm.ogg

Def: Konvergenz im metrischen Raum Bearbeiten

Sei $(X,d)$ ein metrischer Raum und $(x_{n})_{n\in \mathbb {N} }\in X^{\mathbb {N} }$ eine Folge in $X$ und $x_{o}\in X$ :

\lim _{n\to \infty }^{d}x_{n}=x_{o}\ :\Longleftrightarrow \ \forall _{\epsilon >0}\exists _{n_{\epsilon }\in \mathbb {N} }\forall _{n\geq n_{\epsilon }}\ :\ d(x_{n},x_{o})<\epsilon

Def: Cauchy-Folgen in metrischen Räumen Bearbeiten

Sei $(X,d)$ ein metrischer Raum und $(x_{n})_{n\in \mathbb {N} }\in X^{\mathbb {N} }$ eine Folge in $X$ . $(x_{n})_{n\in \mathbb {N} }$ heißt Cauchy-Folge in $X^{\mathbb {N} }$ :

\ \forall _{\epsilon >0}\exists _{n_{\epsilon }\in \mathbb {N} }\forall _{m,n\geq n_{\epsilon }}\ :\ d(x_{n},x_{m})<\epsilon

Äquivalenz: Normen Bearbeiten

Seien zwei Normen $\|\cdot \|_{1}$ und $\|\cdot \|_{2}$ auf dem $\mathbb {K}$ -Vektorraum $V$ gegeben. Die beiden Normen sind äquivalent, wenn gilt:

\exists _{C_{1},C_{2}>0}\forall _{x\in V}\ :\ C_{1}\|x\|_{1}\leq \|x\|_{2}\leq C_{2}\|x\|_{1}

Zeigen Sie, dass eine Folge genau dann in $\|\cdot \|_{1}$ konvergiert, wenn es auch bzgl. $\|\cdot \|_{2}$ konvergiert.

audio17_aequivalenz_normen.ogg

Äquivalenz von topologieerzeugende Funktionalen Bearbeiten

Die Äquivalenz von Normen ist ein Spezialfall von topologieerzeugende Funktionalen, sogenannten Äquivalenz von Gaugefunktionalsystemen.

Betrag in komplexen Zahlen Bearbeiten

Sei $z=z_{1}+i\cdot z_{2}\in \mathbb {C}$ eine komplexe Zahl mit $z_{1},z_{2}\in \mathbb {R}$ . Zeigen Sie, dass $|z|:={\sqrt {z\cdot {\overline {z}}}}$ eine Norm auf dem $\mathbb {R}$ -Vektorraum $\mathbb {C}$ ist!

audio18_norm_komplexe_zahlen.ogg

Historische Anmerkung: Norm Bearbeiten

Diese axiomatische Definition der Norm wurde von Stefan Banach 1922 in seiner Dissertation aufgestellt. Das heute übliche Normsymbol wurde erstmals von Erhard Schmidt 1908 als Abstand $\|x-y\|$ zwischen Vektoren $x$ und $y$ verwendet.

Aufgaben Bearbeiten

In den folgenden Aufgaben geht es darum, definierende Eigenschaften einer Norm, einer Metrik oder allgemein eines topologischen Raumes nachzuweisen.

Aufgabe: Metrische Räume Bearbeiten

Zeigen Sie, dass die folgende Abbildung $d$ auf $V:={\mathcal {C}}([a,b],\mathbb {R} )$ mit $a,b\in \mathbb {R}$ als Menge der stetigen Abbildungen von dem Intervall $[a,b]$ nach $\mathbb {R}$ eine Metrik ist.

d:V\times V\to \mathbb {R}

mit

(f,g)\mapsto d(f,g):=\int _{a}^{b}|f(x)-g(x)|\,dx\ .

Weisen Sie also die 3 Eigenschaften einer Metrik $d$ nach. Berechnen Sie dann den Abstand zwischen den beiden Funktionen $f(x):=x^{2}$ und $g(x):=x^{3}-2x+2$ mit $a=-1$ und mit $b=3$ !

Optionale Aufgabe: Normierte Räume Bearbeiten

Zeigen Sie, dass der metrische Raum $(V,\|\cdot \|):=({\mathcal {C}}([a,b],\mathbb {R} ),\|\cdot \|)$ mit

\|f\|:=\int _{a}^{b}|f(x)|\,dx\

nicht vollständig ist. Betrachten Sie dazu z.B. stetige Funktionen, die stückweise aus linearen und konstanten Funktionen definiert sind.

Funktionenfolge definieren Bearbeiten

Sei $[a,b]:=[-2,+2]$ und fefinieren Sie eine Funktionenfolge $\left(f_{n}\right)_{n\in \mathbb {N} }$ mit expliziten Funktionen $f_{n}:[a,b]\to \mathbb {R}$ mit Funktionsterm.

$f_{n}(x)=0$ für alle $x\notin \textstyle \left[-{\frac {1}{n}},+{\frac {1}{n}}\right]$ für alle $n\in \mathbb {N}$ .
$f_{n}(x)=0$ für alle $n\in \mathbb {N}$ .
der Graph von $f_{n}$ interpoliert die Punkte $\textstyle \left(-{\frac {1}{n}},0\right)$ $\left(0,1\right)$ bzw. $\left(0,1\right)$ und $\textstyle \left({\frac {1}{n}},0\right)$ .

Zeigen Sie, dass $\left(f_{n}\right)_{n\in \mathbb {N} }$ eine Cauchy-Folge in dem oben definierte Funktionenraum $({\mathcal {C}}([a,b],\mathbb {R} ),\|\cdot \|)$ ist und die Folge keinen Grenzwert in ${\mathcal {C}}([a,b],\mathbb {R} )$ besitzt.

Aufgabe: Topologische Räume Bearbeiten

Betrachten Sie als Grundmenge des toplogischen Raumes das Intervall $X:=[0,3]$ und die Mengen ${\mathfrak {E}}_{k}$ , die die Topologie ${\mathcal {T}}_{k}$ enthalten soll. Erweitern Sie die Erzeugermenge minimal ${\mathfrak {E}}_{k}$ mit weiteren Menge, damit ${\mathcal {T}}_{k}$ mit ${\mathfrak {E}}_{k}\subseteq {\mathcal {T}}_{k}$ zu einem topologischen Raum wird.

${\mathfrak {E}}_{1}:=\left\{(0,1),(1,2),(2,3)\right\}$ besteht aus 3 offenen Intervallen
${\mathfrak {E}}_{2}:=\left\{(0,2),(1,3)\right\}$ besteht aus 2 offenen Intervallen
${\mathfrak {E}}_{2}:=[0,3]$ , wobei der Erzeuger der Topologie alle Einpunktmengen aus $X=[0,3]$ enthalten soll.