Cauchyrij

Moderators: dirkwb, Xilvo

Reageer
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.

Gebruikersavatar
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.

Gebruikersavatar
Berichten: 24.578

Re: Cauchyrij

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 \)
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 :D ). Misschien moet het rechterlid 2-n zijn?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 4.246

Re: Cauchyrij

Inderdaad, typo:
\( |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.

Gebruikersavatar
Berichten: 5.679

Re: Cauchyrij

Klopt het zo?
Bijna, bij een gegeven
\(\epsilon\)
moet je een N bepalen zodat
\(|a_n-a_N|<\epsilon\ \forall n>N\)
(jij doet nu het omgekeerde :D )
In theory, there's no difference between theory and practice. In practice, there is.

Berichten: 4.246

Re: Cauchyrij

Zo dan?

Kies
\( N = \epsilon \)
Quitters never win and winners never quit.

Gebruikersavatar
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 :D
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 4.246

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 :D
Weet ik, alleen ik was lui :P

Bedankt voor de hulp.
Quitters never win and winners never quit.

Reageer