Malfermi la ĉefan menuon

En analitiko, koŝia vico, nomita laŭ Augustin Koŝio, estas vico kies eroj iĝas proksimaj kiam la plu kaj plu sekvaj eroj de la vico estas konsiderataj. Alivorte, per preno de finia numero de eroj de la starto de la vico oni povas fari la distancon inter ĉiu paro da ceteraj eroj ajne malgranda.

Koŝiaj vicoj postulas la nocion de distanco tiel ili povas nur esti difinitaj en metrika spaco. Ĝeneraligoj al pli abstraktaj uniformaj spacoj ekzistas en la formo de koŝia filtrilo kaj koŝia reto.

Ili estas interesaj ĉar en plena spaco, ĉiuj tiaj vicoj konverĝas al limigo, kaj oni povas provi la koŝiecon sen scio de la valoro de la limigo (se ĝi ekzistas), en kontrasto al la difino de konverĝo.

Koŝia vico de reelaj nombrojRedakti

Vico

 

de reelaj nombroj estas koŝia, se por ĉiu pozitiva reela nombro r > 0 estas pozitiva entjero N tia ke por ĉiuj entjeroj m,n tiaj ke m > N, n > N:

 

kie la vertikalaj strekoj estas la absoluta valoro.

Koŝia vico en metrika spacoRedakti

Laŭ la sama maniero oni povas difini koŝiajn vicojn de racionalaj nombroj kaj kompleksaj nombroj kaj en ĉiu metrika spaco; tiam   estas anstataŭigita per la distanco   inter   kaj  .

Formale por donita metrika spaco (M, d), vico

 

estas koŝia, se por ĉiu pozitiva reela nombro r > 0 estas pozitiva entjero N tia ke por ĉiuj entjeroj m,n tiaj ke m > N, n > N la distanco

 

estas malpli granda ol r. 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.

PlenecoRedakti

Metrika spaco X en kiu ĉiu koŝia vico havas limigon en X estas nomata kiel plena spaco.

Ekzemplo: reelaj nombrojRedakti

La spaco de reelaj nombroj estas plena, kaj la norma konstruado de la reelaj nombroj engaĝas koŝiajn vicojn de racionalaj nombroj.

Kontraŭekzemplo: racionalaj nombrojRedakti

La racionalaj nombroj Q estas ne plenaj (por la kutima distanco): Estas vicoj de racionalaj nombroj kiu konverĝi (en R) al neracionalaj nombroj; ĉi tiuj estas koŝiaj vicoj ne havantaj limigon en Q.

Ekzemple:

PropraĵojRedakti

Ĉiu konverĝa vico estas koŝia vico. Ĉiu koŝia vico estas barita. Se   estas unuforme kontinua mapo inter la metrikaj spacoj M kaj N kaj (xn) estas koŝia vico en M, tiam   estas koŝia vico en N. Se   kaj   estas du koŝiaj vicoj en la spaco de racionalaj reelaj aŭ kompleksaj nombroj, tiam la vicoj de sumoj   kaj produtoj   estas koŝiaj vicoj.