Cauchyrij

Een Cauchyrij is in de wiskunde een rij waarvoor geldt dat hoe verder in de rij men komt, hoe dichter de termen van de rij in elkaars buurt komen te liggen. Intuïtief lijkt dit te betekenen dat de rij convergeert naar een limietwaarde. Dit is echter niet bij iedere Cauchy-rij het geval. Cauchy-rijen zijn echter wel de 'kandidaten' voor convergentie.

[bewerk] Definitie

De precieze definitie is:

Een Cauchyrij in een metrische ruimte $V$ met afstandsfunctie d is een rij $\{x_n\}_{n=1}^{\infty} = (x_1,x_2,x_3,\ldots)$ in V die voldoet aan het volgende:

Voor elk (strikt) positief reëel getal

ε

bestaat er een natuurlijk getal N zodat voor alle natuurlijke getallen n en m die groter dan N zijn, geldt dat

d (x n, x m) < ε

Met kwantoren kan de definitie van een Cauchyrij opgeschreven worden als:

$\forall\,\epsilon>0\;\exists\,N\in\mathbb{N}\; \forall\,n,m\ge N:d(x_m,x_n)<\epsilon$ .

Deze definitie zegt in woorden dat hoe klein je $ε$ ook kiest, vanaf een bepaald punt in de rij de afstand tussen twee willekeurige elementen altijd kleiner is dan $ε$ . Overigens is het voor een rij om een Cauchyrij te zijn niet voldoende dat alleen de afstand tussen twee opeenvolgende punten naar nul gaat.

Het begrip Cauchyrij speelt een rol in de definitie van een volledige metrische ruimte. Een metrische ruimte V wordt volledig genoemd als elke Cauchyrij die binnen die verzameling definieerbaar is, convergeert (naar een limietwaarde die dus ook binnen die verzameling moet liggen). Het bekendste voorbeeld hiervan zijn de reële getallen; de verzameling $\mathbb{R}$ van de reële getallen is gedefinieerd als de kleinste volledige metrische ruimte die de verzameling $\mathbb{Q}$ van de rationale getallen bevat. In $\mathbb{R}$ is elke Cauchyrij dus convergent.

[bewerk] Voorbeeld

Het is mogelijk om een rij $x n$ te definiëren als volgt:

$x_n = max\{x| x \in \mathbb{Q}; 10^{n}x \in \N; x^{2} \leq 2\}$

Uit de definitie volgt dat

x 0 = 1

x 1 = 1.4

x 2 = 1.41

x 3 = 1.414

x 4 = 1.4142

x 5 = 1.41421

x 6 = 1.414213

etc.

De rij $x n$ is een Cauchyrij met elementen in $\mathbb{Q}$ . In $\R$ convergeert $x n$ naar $\sqrt{2}$ , echter in $\mathbb{Q}$ is $x n$ niet convergent ( $\sqrt{2}$ is geen element van $\mathbb{Q}$ , zoals hier is bewezen). We zien dus dat niet iedere Cauchyrij in $\mathbb{Q}$ convergent is.

De Cauchyrij is vernoemd naar de Franse wiskundige Augustin Louis Cauchy (1789-1857).

Categorie: Analyse

Cauchyrij

[bewerk] Definitie

[bewerk] Voorbeeld

Views

Navigatie

Informatie

Zoeken

in andere talen