Koŝia vico: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto |
movi parton al kompleta metrika spaco |
||
Linio 15:
La spaco de reeloj <math>\mathbb R</math> estas [[metrika spaco]]. En tiu spaco, do, vico de reeloj <math>(x_0,x_1,x_2,\dotsc)</math> estas '''koŝia''' se, por ĉiu pozitia reelo <math>\epsilon>0</math>, ekzistas pozitiva [[entjero]] ''N'' tia ke, se <math>m\ge n>N</math>, do <math>|x_m - x_n| < \epsilon</math>, kie la vertikalaj strekoj estas la [[absoluta valoro]].
== Propraĵoj ==▼
=== Ekzemplo: reelaj nombroj ===▼
Ĉiu [[konverĝa vico]] estas koŝia vico. Ĉiu koŝia vico estas [[barita funkcio|barita]]. Se <math>f \colon M \rightarrow N</math> estas [[unuforme kontinua]] mapo inter la metrikaj spacoj ''M'' kaj ''N'' kaj ''(x<sub>n</sub>) ''estas koŝia vico en ''M'', tiam <math>(f(x_n))</math> estas koŝia vico en ''N''. Se <math>(x_n)</math> kaj <math>(y_n)</math> estas du koŝiaj vicoj en la spaco de racionalaj reelaj aŭ kompleksaj nombroj, tiam la vicoj de sumoj <math>(x_n + y_n)</math> kaj produtoj <math>(x_n y_n)</math> 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<sub>0</sub> = 1'', ''x<sub>n+1</sub>'' = (''x<sub>n</sub>'' + 2/''x<sub>n</sub>'')/2 konsistas de racionalaj nombroj (1, 3/2, 17/12,...), kio estas klara de la difino; ĝi
▲* La vico difinita per ''x<sub>0</sub> = 1'', ''x<sub>n+1</sub>'' = (''x<sub>n</sub>'' + 2/''x<sub>n</sub>'')/2 konsistas de racionalaj nombroj (1, 3/2, 17/12,...), kio estas klara de la difino; ĝi konverĝas al la [[neracionala nombro]] [[kvadrata radiko de du]].
* La valoroj de la [[eksponenta funkcio]] ''e<sup>x</sup>'', [[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 [[parta sumo|partaj sumoj]] de la [[serio de Taylor]].
▲== Propraĵoj ==
▲Ĉiu [[konverĝa vico]] estas koŝia vico. Ĉiu koŝia vico estas [[barita funkcio|barita]]. Se <math>f \colon M \rightarrow N</math> estas [[unuforme kontinua]] mapo inter la metrikaj spacoj ''M'' kaj ''N'' kaj ''(x<sub>n</sub>) ''estas koŝia vico en ''M'', tiam <math>(f(x_n))</math> estas koŝia vico en ''N''. Se <math>(x_n)</math> kaj <math>(y_n)</math> estas du koŝiaj vicoj en la spaco de racionalaj reelaj aŭ kompleksaj nombroj, tiam la vicoj de sumoj <math>(x_n + y_n)</math> kaj produtoj <math>(x_n y_n)</math> estas koŝiaj vicoj.
== Historio ==
|