Perusjärjestys
Perusjono , itsekonvergoituva sekvenssi tai Cauchyn sekvenssi on metriavaruuden pisteiden sarja siten, että mille tahansa nollasta poikkeavalle tietylle etäisyydelle on sekvenssin elementti, josta alkaen kaikki sekvenssin elementit ovat alle tietyn etäisyyden toisistaan.
Määritelmä
Pistesarjaa metriavaruudessa kutsutaan perusarvoksi , jos se täyttää Cauchyn kriteerin :
![\{x_{n}\}_{{n=1}}^{\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/02d3ffd73dbe0cdd90a51b461341f72fdc95734d)
![(X,\rho )](https://wikimedia.org/api/rest_v1/media/math/render/svg/400baf4641fe0f7cb42620b04fac73913b1a7448)
Kaikille on niin
luonnollinen , että kaikille .
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
![\rho (x_{{n}},x_{{m}})<\varepsilon \](https://wikimedia.org/api/rest_v1/media/math/render/svg/62fec37b93a47072d56b39dd6b48a60a65856ae6)
Aiheeseen liittyvät määritelmät
- Metrista avaruutta, jossa jokainen perussekvenssi konvergoi saman avaruuden elementtiin, kutsutaan täydelliseksi .
Ominaisuudet
- Jokainen konvergenttisekvenssi on perustavanlaatuinen, mutta jokainen perussekvenssi ei konvergoi avaruudestaan olevaan elementtiin.
- Metrinen avaruus on täydellinen silloin ja vain, jos missä tahansa sisäkkäisten suljettujen pallojen järjestelmässä, jonka säde on äärettömästi pienenevä, on ei-tyhjä leikkauspiste, joka koostuu yhdestä pisteestä.
- Jos sekvenssi on perustavanlaatuinen ja sisältää konvergentin osajonon, itse sekvenssi konvergoi.
- Jos sekvenssi on perustavanlaatuinen, se on rajoitettu.
Kirjallisuus
- Kolmogorov A. N., Fomin S. V. Funktioteorian ja funktionaalisen analyysin elementit, - M .: Nauka, 2004. - 7. painos.
- Shilov G. E. Matemaattinen analyysi. Yhden muuttujan funktiot. Osa 3, - M . : Nauka, 1970.