Cauchyrij
-
- Berichten: 4.246
Cauchyrij
Bewijs dat de rij an convergent is als het de volgende eigenschap heeft:
\( |a_{n+1} - a_n|<2^{n}\ \forall n \in \nn \)
Ik zal het proberen te bewijzen door aan te tonen dat an een Cauchy-rij is. Voor iedere reële \( \epsilon >0 \)
is er een \( N \geq 0 \)
zo dat: \( |a_n-a_N| = |a_n-a_{n-1} + a_{n-1} - a_{n-2}+... +a_{N+1}-a_N | \leq 2^{n-1} +2^{n-2}+....+2^{N} \)
Hoe moet ik vanaf hier verder?Quitters never win and winners never quit.
- Berichten: 5.679
Re: Cauchyrij
De stelling lijkt me onjuist, want bijvoorbeeld de rij
\(a_n = \frac{n}{2}\)
voldoet aan \(|a_{n+1}-a_n}|=\frac{1}{2}<2^n\ \forall n\in\nn\)
, en die is toch echt niet convergent.In theory, there's no difference between theory and practice. In practice, there is.
- Berichten: 24.578
Re: Cauchyrij
Hier staat dat het verschil tussen twee opeenvolgende termen willekeurig groot kan worden, door n voldoende groot te kiezen. Dat staat net haaks op de vereiste om een Cauchyrij te zijn (en dus convergent te zijn, in ). Misschien moet het rechterlid 2-n zijn?dirkwb schreef:Bewijs dat de rij an convergent is als het de volgende eigenschap heeft:
\( |a_{n+1} - a_n|<2^{n}\ \forall n \in \nn \)
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
-
- Berichten: 4.246
Re: Cauchyrij
Inderdaad, typo:
Klopt het zo?
\( |a_{n+1} - a_n|<2^{-n}\ \forall n \in \nn \)
Edit:\( |a_n-a_N| = |a_n-a_{n-1} + a_{n-1} - a_{n-2}+... +a_{N+1}-a_N | \leq 2^{-n+1} +2^{-n+2}+....+2^{-N} \leq N\cdot 2^{-N} \leq N \)
Dus kies \( \epsilon = N \)
.Klopt het zo?
Quitters never win and winners never quit.
- Berichten: 5.679
Re: Cauchyrij
Bijna, bij een gegevenKlopt het zo?
\(\epsilon\)
moet je een N bepalen zodat \(|a_n-a_N|<\epsilon\ \forall n>N\)
(jij doet nu het omgekeerde )In theory, there's no difference between theory and practice. In practice, there is.
-
- Berichten: 4.246
- Berichten: 24.578
Re: Cauchyrij
Als je maar weet dat je N moet geven (eventueel als functie van epsilon). Dat lijkt me inderdaad logischer te noteren als "Kies N = epsilon" (omdat die "kies" dan op N lijkt te slaan), maar met "Kies epsilon = N" ligt N natuurlijk ook vast als epsilon gegeven is
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
-
- Berichten: 4.246
Re: Cauchyrij
Weet ik, alleen ik was luiAls je maar weet dat je N moet geven (eventueel als functie van epsilon). Dat lijkt me inderdaad logischer te noteren als "Kies N = epsilon" (omdat die "kies" dan op N lijkt te slaan), maar met "Kies epsilon = N" ligt N natuurlijk ook vast als epsilon gegeven is
Bedankt voor de hulp.
Quitters never win and winners never quit.