Koŝia vico

En metrika spaco (M, d), vico

${\displaystyle x_{0},x_{1},x_{2},x_{3},\ldots }$ 

estas koŝia, se por ĉiu pozitiva reelo ${\displaystyle \epsilon >0}$ , ekzistas pozitiva entjero N tia ke por ĉiuj entjeroj m,n tiaj ke por ĉiuj ajn m > N, n > N, la distanco

${\displaystyle d(x_{m},x_{n})}$ 

estas malpli granda ol ${\displaystyle \epsilon }$ . Malglate parolante, la eroj de la vico estas pli kaj pli proksimaj kune kvazaŭ la vico devi havi limigon en M. Tamen, la limigo povas ne ekzisti. Metrika spaco X en kiu ĉiu koŝia vico havas limigon en X estas nomata kiel kompleta metrika spaco.

La spaco de reeloj ${\displaystyle \mathbb {R} }$  estas metrika spaco. En tiu spaco, do, vico de reeloj ${\displaystyle (x_{0},x_{1},x_{2},\dotsc )}$  estas koŝia se, por ĉiu pozitia reelo ${\displaystyle \epsilon >0}$ , ekzistas pozitiva entjero N tia ke, se ${\displaystyle m\geq n>N}$ , do ${\displaystyle |x_{m}-x_{n}|<\epsilon }$ , kie la vertikalaj strekoj estas la absoluta valoro.

Ĉiu konverĝa vico estas koŝia vico. Ĉiu koŝia vico estas barita. Se ${\displaystyle f\colon M\rightarrow N}$  estas unuforme kontinua mapo inter la metrikaj spacoj M kaj N kaj (x_n) estas koŝia vico en M, tiam ${\displaystyle (f(x_{n}))}$  estas koŝia vico en N. Se ${\displaystyle (x_{n})}$  kaj ${\displaystyle (y_{n})}$  estas du koŝiaj vicoj en la spaco de racionalaj reelaj aŭ kompleksaj nombroj, tiam la vicoj de sumoj ${\displaystyle (x_{n}+y_{n})}$  kaj produtoj ${\displaystyle (x_{n}y_{n})}$  estas koŝiaj vicoj.

Jen du ekzemploj de koŝiaj vicoj (sen limeso) en la metrika spaco de racionalaj nombroj.

• La vico difinita per x₀ = 1, x_n+1 = (x_n + 2/x_n)/2 konsistas de racionalaj nombroj (1, 3/2, 17/12,...), kio estas klara de la difino; ĝi estas vico al la neracionala nombro kvadrata radiko de du.
• La valoroj de la eksponenta funkcio e^x, sinuso sin(x) kaj kosinuso cos(x), estas malracionalaj por ĉiuj racionalaj x≠0, sed ĉiu el ili estas difinita kiel limigo de racionala vico kiu estas vico de partaj sumoj de la serio de Taylor.

La koncepto de la koŝia vico nomiĝas laŭ Augustin Louis Cauchy (Esperante Aŭgusteno Koŝio).

• Eric W. Weisstein, Cauchy sequence en MathWorld.