www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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
Dt. Schulen im Ausland: Mathe-Seiten:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Folgen und Reihen" - konvergente Teilfolge
konvergente Teilfolge < Folgen und Reihen < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Folgen und Reihen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

konvergente Teilfolge: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:17 Fr 16.11.2012
Autor: Anabella

Aufgabe
Sei [mm] (a_n) [/mm] eine gegen a konvergierende Folge.
zz: Jede Teilfolge von [mm] (a_n) [/mm] konvergiert ebenfalls gegen a.

Da [mm] (a_n) [/mm] gegen a konvergiert, weiß ich:
$ [mm] \forall \varepsilon [/mm] > 0\   [mm] \exists N(\varepsilon) [/mm] \  [mm] \forall [/mm] n [mm] \ge N(\varepsilon) [/mm] \   [mm] |a_n [/mm] - a| < [mm] \varepsilon [/mm] $

Nun sei [mm] (a_{n_{k}}) [/mm] eine beliebige Teilfoge von [mm] (a_n). [/mm]
Wie zeige ich, dass
$ [mm] \forall \varepsilon [/mm] > 0\   [mm] \exists N(\varepsilon) [/mm] \ [mm] \forall n_k \ge N(\varepsilon) [/mm] \   [mm] |a_{n_{k}} [/mm] - a| < [mm] \varepsilon [/mm] $ gilt?

Vor allem ist mir nicht klar, wie ich von [mm] \forall [/mm] n [mm] \ge N(\varepsilon) [/mm] auf [mm] \forall n_k \ge N(\varepsilon) [/mm]  kommen könnte.

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
konvergente Teilfolge: Antwort
Status: (Antwort) fertig Status 
Datum: 17:24 Fr 16.11.2012
Autor: reverend

Hallo Anabella, [willkommenmr]

> Sei [mm](a_n)[/mm] eine gegen a konvergierende Folge.
>  zz: Jede Teilfolge von [mm](a_n)[/mm] konvergiert ebenfalls gegen a.

Heißt die Aufgabe wirklich so? Das ist unpräzise. Da fehlt ein wesentliches Wort, das zugleich die Lösung beherbergt:
Jede unendliche Teilfolge von [mm] (a_n) [/mm] konvergiert ebenfalls gegen a.

>  Da [mm](a_n)[/mm] gegen a konvergiert, weiß ich:
>  [mm]\forall \varepsilon > 0\ \exists N(\varepsilon) \ \forall n \ge N(\varepsilon) \ |a_n - a| < \varepsilon[/mm]
>  
> Nun sei [mm](a_{n_{k}})[/mm] eine beliebige Teilfoge von [mm](a_n).[/mm]
>  Wie zeige ich, dass
> [mm]\forall \varepsilon > 0\ \exists N(\varepsilon) \ \forall n_k \ge N(\varepsilon) \ |a_{n_{k}} - a| < \varepsilon[/mm]
> gilt?
>  
> Vor allem ist mir nicht klar, wie ich von [mm]\forall[/mm] n [mm]\ge N(\varepsilon)[/mm]
> auf [mm]\forall n_k \ge N(\varepsilon)[/mm]  kommen könnte.

Wenn die Teilfolge unendlich ist, hat sie sozusagen einen endlichen Teil von [mm] n_k
Klar?

Grüße
reverend


Bezug
                
Bezug
konvergente Teilfolge: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:16 Fr 16.11.2012
Autor: Anabella

Danke für die Antwort.

Das hört sich schlüssig an, aber ganz verstehe ich noch nicht, warum jede unendliche Teilfolge einen unendlichen Teil mit $ [mm] n_k\ge N(\varepsilon) [/mm] $ haben muss.

Hat das damit zu tun, dass [mm] (n_k) [/mm] nach unten beschränkt ist, weil [mm] (n_k) [/mm] = [mm] (n_1, n_2, [/mm] ... ) mit [mm] n_1 [/mm] < [mm] n_2 [/mm] < ... ?

Bezug
                        
Bezug
konvergente Teilfolge: Antwort
Status: (Antwort) fertig Status 
Datum: 20:13 Fr 16.11.2012
Autor: Marcel

Hallo Anabella,

> Danke für die Antwort.
>  
> Das hört sich schlüssig an, aber ganz verstehe ich noch
> nicht, warum jede unendliche Teilfolge einen unendlichen
> Teil mit [mm]n_k\ge N(\varepsilon)[/mm] haben muss.
>  
> Hat das damit zu tun, dass [mm](n_k)[/mm] nach unten beschränkt
> ist, weil [mm](n_k)[/mm] = [mm](n_1, n_2,[/mm] ... ) mit [mm]n_1[/mm] < [mm]n_2[/mm] < ... ?

ist [mm] $\epsilon [/mm] > 0,$ so existiert wegen [mm] $a_{n} \to [/mm] a$ ein [mm] $N=N_\epsilon \in \IN$ [/mm]
so, dass [mm] $|a_n-a| [/mm] < [mm] \epsilon$ [/mm] für alle $n [mm] \ge N\,.$ [/mm]

Nun hattet ihr doch definiert, dass, wenn [mm] $\phi: \IN \to \IN$ [/mm] streng wächst,
dann [mm] $(a_{\phi(n)})_n$ [/mm] eine Teilfolge von [mm] $(a_n)_n$ [/mm] heißt.
(Ihr habt's anders notiert, aber das hier ist nur eine Umformulierung
Eurer Definition: Setze einfach [mm] $\phi(k):=n_k$ [/mm] in Eurer Notation!)

Jetzt überlege mal: Wenn $k [mm] \ge N=N_\epsilon$ [/mm] - was gilt dann für
[mm] $\phi(k)$ [/mm] für $k [mm] \ge N\,,$ [/mm] wenn [mm] $\phi: \IN \to \IN$ [/mm] streng wächst?
Was bedeutet das für [mm] $|a_{\phi(k)}-a|$ [/mm] bei $k [mm] \ge [/mm] N$?

Und wenn Dich das [mm] $\phi(k)$ [/mm] stört: Wie gesagt, Du kannst es wieder zu
[mm] $n_k=\phi(k)$ [/mm] umschreiben.

P.S. Nur mal als Beispiel:
Nehmen wir mal an, es wäre [mm] $|a_n-a| [/mm] < 1/2$ für alle $n [mm] \ge 10=N\,.$ [/mm]
Jetzt nehmen wir mal an, dass [mm] $n_k$ [/mm] die $k$-te Primzahl sei:
[mm] $$n_1=2,\;n_2=3,\;n_3=5,\;n_4=7,\;n_5=11,\;n_6=13,\;n_7=17,\;...$$ [/mm]
Dann ist zwar sicher schon [mm] $|a_{n_k}-a| [/mm] < 0.5$ für alle $k [mm] \ge 5\,,$ [/mm] denn
es ist ja schon [mm] $n_5 \ge 10=N\,.$ [/mm] Aber was wir definitiv wüssten:
[mm] $|a_{n_{k}}-a| [/mm] < 1/2$ für alle $k [mm] \ge [/mm] 10=N$ wird sicher gelten, denn es
ist ja [mm] $n_N=n_{10} \ge [/mm] 10=N$...

Gruß,
  Marcel

Bezug
                                
Bezug
konvergente Teilfolge: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:07 Fr 16.11.2012
Autor: Anabella

Danke für die ausführliche Antwort!

> Jetzt überlege mal: Wenn [mm]k \ge N=N_\epsilon[/mm] - was gilt
> dann für
>  [mm]\phi(k)[/mm] für [mm]k \ge N\,,[/mm] wenn [mm]\phi: \IN \to \IN[/mm] streng
> wächst?
>  Was bedeutet das für [mm]|a_{\phi(k)}-a|[/mm] bei [mm]k \ge N[/mm]?

Wenn k [mm] \ge N(\epsilon), [/mm] dann gilt [mm] n_k \ge n_{N(\epsilon)} \ge N(\epsilon). [/mm] Aber was bedeutet das für $ [mm] |a_{n_k}-a| [/mm] $?

Bezug
                                        
Bezug
konvergente Teilfolge: Antwort
Status: (Antwort) fertig Status 
Datum: 21:14 Fr 16.11.2012
Autor: Marcel

Hallo,

> Danke für die ausführliche Antwort!
>  
> > Jetzt überlege mal: Wenn [mm]k \ge N=N_\epsilon[/mm] - was gilt
> > dann für
>  >  [mm]\phi(k)[/mm] für [mm]k \ge N\,,[/mm] wenn [mm]\phi: \IN \to \IN[/mm] streng
> > wächst?
>  >  Was bedeutet das für [mm]|a_{\phi(k)}-a|[/mm] bei [mm]k \ge N[/mm]?
>  
> Wenn k [mm]\ge N(\epsilon),[/mm] dann gilt [mm]n_k \ge n_{N(\epsilon)} \ge N(\epsilon).[/mm]
> Aber was bedeutet das für [mm]|a_{n_k}-a| [/mm]?

na, es ist doch [mm] $|a_n [/mm] - a| < [mm] \epsilon$ [/mm] für alle $n [mm] \ge N(\epsilon)\,.$ [/mm]
Und nun hast Du oben selbst überlegt, dass aus $k [mm] \ge N(\epsilon)$ [/mm]
auch [mm] $n_k \ge N(\epsilon)$ [/mm] folgt.

Also gilt - wenn $k [mm] \ge N(\epsilon)$ [/mm] ist -  für [mm] $|a_{n_k}-a|$ [/mm] demzufolge
was? Und was hast Du dann gezeigt? (Schau' nochmal bei Wolfgang
(Helbig) nach, was genau eigentlich zu zeigen ist, wenn Du's gerade nicht
siehst!)

P.S.
Oder nochmal so:
Wenn [mm] $\phi: \IN \to \IN$ [/mm] streng wächst, dann gilt [mm] $\phi(k) \ge [/mm] k$ für alle
$k [mm] \in \IN\,.$ [/mm]

Zu [mm] $\varepsilon [/mm] > 0$ existiert wegen [mm] $a_n \to [/mm] a$ ein [mm] $N(\varepsilon)$ [/mm]
so, dass [mm] $|a_n-a|< \varepsilon$ [/mm] für alle $n [mm] \ge N(\varepsilon)\,.$ [/mm]

Wegen [mm] $\phi(k) \ge N(\varepsilon)$ [/mm] für alle $k [mm] \ge N(\varepsilon)$ [/mm] folgt
dann für alle $k [mm] \ge N(\varepsilon)$ [/mm] sodann
[mm] $$|a_{\phi(k)}-a| [/mm] < [mm] \ldots?$$ [/mm]

Gruß,
  Marcel

Bezug
                                                
Bezug
konvergente Teilfolge: Danke
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:28 Fr 16.11.2012
Autor: Anabella

Das fettgedruckte "für alle" war der Hinweis, bei dem es Klick gemacht hat. Vielen Dank nochmals.

Bezug
                                                        
Bezug
konvergente Teilfolge: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:46 Fr 16.11.2012
Autor: Marcel

Hallo,

> Das fettgedruckte "für alle" war der Hinweis, bei dem es
> Klick gemacht hat. Vielen Dank nochmals.

gerne. :-)

Gruß,
  Marcel

Bezug
                
Bezug
konvergente Teilfolge: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:00 Fr 16.11.2012
Autor: Marcel

Hallo reverend,

> Hallo Anabella, [willkommenmr]
>  
> > Sei [mm](a_n)[/mm] eine gegen a konvergierende Folge.
>  >  zz: Jede Teilfolge von [mm](a_n)[/mm] konvergiert ebenfalls
> gegen a.
>  
> Heißt die Aufgabe wirklich so? Das ist unpräzise. Da
> fehlt ein wesentliches Wort, das zugleich die Lösung
> beherbergt:
>  Jede unendliche Teilfolge von [mm](a_n)[/mm] konvergiert ebenfalls
> gegen a.

das ist Definitionssache, siehe etwa

[]Definition 5.22

Nach dieser Definition gibt es keine "abbrechenden" Teilfolgen...

Gruß,
  Marcel

Bezug
        
Bezug
konvergente Teilfolge: Was ist eine Teilfolge?
Status: (Antwort) fertig Status 
Datum: 19:11 Fr 16.11.2012
Autor: Helbig


> Sei [mm](a_n)[/mm] eine gegen a konvergierende Folge.
>  zz: Jede Teilfolge von [mm](a_n)[/mm] konvergiert ebenfalls gegen
> a.
>  Da [mm](a_n)[/mm] gegen a konvergiert, weiß ich:
>  [mm]\forall \varepsilon > 0\ \exists N(\varepsilon) \ \forall n \ge N(\varepsilon) \ |a_n - a| < \varepsilon[/mm]
>  
> Nun sei [mm](a_{n_{k}})[/mm] eine beliebige Teilfoge von [mm](a_n).[/mm]
>  Wie zeige ich, dass
> [mm]\forall \varepsilon > 0\ \exists N(\varepsilon) \ \forall n_k \ge N(\varepsilon) \ |a_{n_{k}} - a| < \varepsilon[/mm]
> gilt?

Dies mußt Du gar nicht zeigen. Sondern:
[mm]\forall \varepsilon > 0\ \exists N(\varepsilon) \ \forall k \ge N(\varepsilon) \ |a_{n_{k}} - a| < \varepsilon[/mm]

Und um dies zu folgern, muß Du wissen, was eine Teilfolge ist. Und wir können Dir nur weiterhelfen, wenn Du uns sagst, wie in Eurer Vorlesung der Begriff "Teilfolge" definiert ist.

>  
> Vor allem ist mir nicht klar, wie ich von [mm]\forall[/mm] n [mm]\ge N(\varepsilon)[/mm]
> auf [mm]\forall n_k \ge N(\varepsilon)[/mm]  kommen könnte.

Dieser Schluß ist trivial. Übersetzt auf deutsch lautet die erste Aussage:

Ist die Nummer $n$ eines Folgengliedes größer als [mm] $N(\varepsilon)$, [/mm] so ist [mm] $|a_n-a|<\varepsilon$. [/mm]

Nun kann ich die Nummer eines Folgengliedes auch [mm] $n_k$ [/mm] nennen und erhalte die zweite Aussage.

Aber: Mit diesem Schluß hast Du nicht die Aufgabe gelöst!

Gruß,
Wolfgang

Bezug
                
Bezug
konvergente Teilfolge: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:38 Fr 16.11.2012
Autor: Anabella

Aufgabe
Was ist eine Teilfolge?

Eine Teilfolge [mm] (a_{n_k}) [/mm] der Folge [mm] (a_n) [/mm] ist eine Teilmenge [mm] n_1 [/mm] < [mm] n_2 [/mm] < ... < [mm] n_n [/mm] < ... der natürlichen Zahlen.
So habe ich mir die Definition notiert.

Kann ich $ k [mm] \ge N(\varepsilon) [/mm] $ annehmen und dadurch auf $ [mm] n_k \ge n_{N(\varepsilon)} [/mm] $ schließen? Hilft mir das?

Bezug
                        
Bezug
konvergente Teilfolge: Antwort
Status: (Antwort) fertig Status 
Datum: 20:00 Fr 16.11.2012
Autor: Marcel

siehe andere Antwort

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Folgen und Reihen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorhilfe.de