www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Analysis-Sonstiges" - Metrik
Metrik < Sonstiges < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Metrik: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:31 Fr 22.04.2011
Autor: diddy449

Aufgabe
Sei [mm] $d:\IR^n\times\IR^n\to \IR_{\ge 0}$ [/mm] mit $d(x,x):=0$ und [mm] $d(x,y):=\|x\|_2+\|y\|_2$, [/mm] falls [mm] $x\not= [/mm] y$, eine Metrik auf [mm] \IR^n. [/mm]

Zeigen Sie, dass bzgl. dieser Metrik d folgend Äquivalenz gilt:
[mm] $$lim_k x_k=a\not=0\Leftrightarrow \exists k_0 \forall k\ge k_0: x_k=a$$ [/mm]

Hey,
ich krieg die Hinrichtung der Äquivalenz nicht hin.

Mein Ansatz:
[mm] $lim_k x_k=a [/mm]
[mm] \Leftrightarrow \forall\varepsilon>0\exists k_0 \forall k\ge k_0: d(x_k,a)\le\varepsilon [/mm]
[mm] \Leftrightarrow \forall\varepsilon>0\exists k_0 \forall k\ge k_0: \|x_k\|_2+\|a\|_2\le\varepsilon [/mm]

Ich denke, dass ich nun [mm] \varepsilon [/mm] geschickt wählen muss.
Doch wie ich es wählen muss, komm ich nicht drauf.

Gruß
Diddy


        
Bezug
Metrik: Antwort
Status: (Antwort) fertig Status 
Datum: 20:51 Fr 22.04.2011
Autor: rainerS

Hallo Diddy!

> Sei [mm]d:\IR^n\times\IR^n\to \IR_{\ge 0}[/mm] mit [mm]d(x,x):=0[/mm] und
> [mm]d(x,y):=\|x\|_2+\|y\|_2[/mm], falls [mm]x\not= y[/mm], eine Metrik auf
> [mm]\IR^n.[/mm]
>  
> Zeigen Sie, dass bzgl. dieser Metrik d folgend Äquivalenz
> gilt:
>  [mm]lim_k x_k=a\not=0\Leftrightarrow \exists k_0 \forall k\ge k_0: x_k=a[/mm]
>  
> Hey,
>  ich krieg die Hinrichtung der Äquivalenz nicht hin.
>  
> Mein Ansatz:
>  [mm]$lim_k x_k=a[/mm]
>  [mm]\Leftrightarrow \forall\varepsilon>0\exists k_0 \forall k\ge k_0: d(x_k,a)\le\varepsilon[/mm]

[ok]

>  
> [mm]\Leftrightarrow \forall\varepsilon>0\exists k_0 \forall k\ge k_0: \|x_k\|_2+\|a\|_2\le\varepsilon[/mm]

Das stimmt nicht ganz, es ist nur richtig für [mm] $d(x_k,a) [/mm] > 0$. Also:

[mm] d(x_k,a)\le\varepsilon \gdw \text{ entweder }\|x_k\|_2+\|a\|_2\le\varepsilon \text{ oder $x_k=a$} [/mm] .

> Ich denke, dass ich nun [mm]\varepsilon[/mm] geschickt wählen
> muss.
>  Doch wie ich es wählen muss, komm ich nicht drauf.

Du musst [mm] $\varepsilon [/mm] < [mm] \|a\|_2$ [/mm] wählen.

Viele Grüße
   Rainer

Bezug
                
Bezug
Metrik: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 10:19 Sa 23.04.2011
Autor: diddy449

Alles klar,
und dann mit [mm] $\varepsilon=\|a\|_2$ [/mm] einen Widerspruch erzeugen für [mm] $d(x_k,a)>0$. [/mm]

Vielen Dank

Gruß
Diddy


Bezug
        
Bezug
Metrik: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:27 So 24.04.2011
Autor: diddy449

Aufgabe
> Sei [mm]d:\IR^n\times\IR^n\to \IR_{\ge 0}[/mm] mit [mm]d(x,x):=0[/mm] und
> [mm]d(x,y):=\|x\|_2+\|y\|_2[/mm], falls [mm]x\not= y[/mm], eine Metrik auf
> [mm]\IR^n.[/mm]
>  
> Zeigen Sie, dass bzgl. dieser Metrik d folgend Äquivalenz
> gilt:
>  [mm]lim_k x_k=a\not=0\Leftrightarrow \exists k_0 \forall k\ge k_0: x_k=a[/mm]


Hey,
bei der Rückrichtung schaffe ich es nicht zu zeigen, dass [mm] $a\not=0$ [/mm] sein muss.

Mein Ansatz:
[mm] $"\Leftarrow"$ [/mm]
Es gelte:

[mm] $$\exists k_0\forall k\ge k_0:x_k=a [/mm]
[mm] \Rightarrow \exists k_0\forall k\ge k_0:d(x_k,a)=0 [/mm]
[mm] \Rightarrow \forall\varepsilon>0\exists k_0\forall k\ge k_0:d(x_k,a)<\varepsilon [/mm]
[mm] \Rightarrow \limes_{k\rightarrow\infty}x_k=a$$ [/mm]

Da fehlt wie gesagt noch der Schritt, warum [mm] $a\not=0$ [/mm] sein muss.

Gruß Diddy




Bezug
                
Bezug
Metrik: Antwort
Status: (Antwort) fertig Status 
Datum: 23:42 So 24.04.2011
Autor: SEcki


>  bei der Rückrichtung schaffe ich es nicht zu zeigen, dass
> [mm]a\not=0[/mm] sein muss.

Es ist auch einfach falsch.

SEcki


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]