0 Daumen
791 Aufrufe

Aufgabe:

Seien (X,d),(W,d') wobei d die diskrete Metrik und d' eine beliebige Metrik sei. Beweisen Sie, dass jede Abbildung f : X → W stetig ist.

Problem/Ansatz:

Muss man nicht eine Stetige funktion durch eine bestimmte punkt beweisen? Bei stetig muss man zeigen lim x→a f(x)=f(a) und  d ist diskrete und ich kann sagen d(x,y)= 1 dann x≠y und wenn d(x,y)=0 dann x=y aber wie kann ich d' schreiben. ich denke es hat etwas mit dem komposition zu tun?

wie mach ich es genau?

dankee

Avatar von

Überleg Dir mal, was Du über eine Folge (x_n) in X sagen kannst,  wenn diese Folge gegen einen Punkt a konvergiert.

mit der epsilon delta argument?

Ich habe nur nach Folgenkonvergenz gefragt. Was soll da ein delta epsilon Argument sein?

Screen Shot 2021-11-16 at 10.57.25.png

Text erkannt:

Aufgabe 4:
2pt 2 p t
Wir wollen zeigen dass sei ein yX y \in X und f : XW f: X \rightarrow W eine Abbildung dann f \mathrm{f} ist genau dann stetig in y wenn für jede Folge (Xn)nN \left(X_{n}\right)_{n \in N} in X die limnxn=y \lim \limits_{n \rightarrow \infty} x_{n}=y erfüllt limnf(xn)=f(y) \lim \limits_{n \rightarrow \infty} f\left(x_{n}\right)=f(y) :
 1. ()(X,d)d(x,y)(W,dˉ)dˉ(f(x),f(y)) \text { 1. }(\Rightarrow)(\mathrm{X}, \mathrm{d})-\mathrm{d}(\mathrm{x}, \mathrm{y})(\mathrm{W}, \bar{d})-\bar{d}(f(x), f(y))
Wir nehmen eine Folge (xn)nN \left(x_{n}\right)_{n \in N} in X mit lim nxn=y _{n \rightarrow \infty} x_{n}=y .
ϵ>0 \epsilon>0 und f \mathrm{f} ist stetig in y dann gibt es ein δ>0 \delta>0 so dass:
d(x,y)<δ d(x, y)<\delta folgt dass dˉ(f(x),f(y))<ϵ \bar{d}(f(x), f(y))<\epsilon somit ist limnf(x)=f(y) \lim \limits_{n \rightarrow \infty} f(x)=f(y)
2. () (\Leftarrow) Angenommen f \mathrm{f} ist nicht stetig in y dann gab es ein ϵ>0 \epsilon>0 und einee Folge (Xn)nN \left(X_{n}\right)_{n \in N} in X mit xnx0 x_{n} \rightarrow x_{0} sodass dˉ(f(xn),f(y))ϵ,n \bar{d}\left(f\left(x_{n}\right), f(y)\right) \geq \epsilon, \forall n .
f(x)f(y) f(x) \rightarrow f(y) und deshalb gibt es ein N \mathrm{N} sodass dˉ(f(xn),f(y))<ϵ,nN \bar{d}\left(f\left(x_{n}\right), f(y)\right)<\epsilon, \forall n \geq N
Wir sehen dass auch dˉ(f(xn),f(y))ϵ \bar{d}\left(f\left(x_{n}\right), f(y)\right) \geq \epsilon und auch dˉ(f(xn),f(y))<ϵ \bar{d}\left(f\left(x_{n}\right), f(y)\right)<\epsilon was zusammen ein wiederspruch ist deshalb f \mathrm{f} ist stetig in y \mathrm{y} .

is das richtig?

1 Antwort

0 Daumen

Hallo,

ich verstehe nicht, warum Du jetzt eine andere Aufgabe in den Kommentar rein schreibst.

Ich schreibe mal die Lösung für die ursprüngliche Frage auf:

Wir prüfen Stetigkeit von f im Punkt aXa \in X. Dazu betrachten wir eine beliebige Folge (xn)(x_n) mit xnax_n \to a. Wegen dieser Konvergenz existiert ein natürliches N mit

nN : d(xn,a)<0.5 (zum Beispiel)\forall n \geq N: \quad d(x_n,a)< 0.5 \text{ (zum Beispiel)}

Weil d die diskrete Metrik ist, folgt für nNn \geq N, dass xn=ax_n=a. D.h. die Folge xnx_n ist ab einem Index konstant. Das überträgt sich auf die Folge (f(xn))(f(x_n)) der Bilder. Jede ab einem Index konstante Folge ist auch konvergent. Also gilt:

f(xn)f(a)f(x_n) \to f(a).

Gruß Mathhilf

Avatar von 14 k

Ein anderes Problem?

Stell deine Frage