252. Cauchyovské postupnosti

Zhrnutie prednášky

Prednáška zavádza pojem cauchyovskej (fundamentálnej) postupnosti reálnych čísel, ktorej členy sú si ľubovoľne blízko, ak majú dostatočne veľké indexy. Tento pojem je užitočný pri zámenách limít, derivácie a integrálu, pretože umožňuje dokázať existenciu limity bez znalosti jej hodnoty. Dokazuje sa lema, že postupnosť reálnych čísel je cauchyovská práve vtedy, keď je konvergentná. Implikácia z konvergencie na cauchyovskosť sa ukáže rozpisom cez ε/2 a trojuholníkovú nerovnosť. Opačná implikácia využíva ohraničenosť cauchyovskej postupnosti, existenciu konečného limes superior a výber vhodného člena podpostupnosti. Autor dodáva, že v nekonečnorozmerných priestoroch ekvivalencia neplatí a priestory, kde platí, sa nazývajú úplné.

• - Cauchyovská postupnosť: pre každé ε > 0 existuje n0 také, že pre všetky m, k > n0 platí |a_m − a_k| < ε.
• - Cauchyovskosť sa často overuje ľahšie ako konvergencia, lebo nevyžaduje znalosť limity.
• - Lema: v reálnych číslach je postupnosť cauchyovská práve vtedy, keď je konvergentná.
• - Z konvergencie vyplýva cauchyovskosť: využije sa ε/2 a trojuholníková nerovnosť.
• - Cauchyovská postupnosť je ohraničená, preto má konečný limes superior h.
• - Podpostupnosť konvergujúca k h spolu s cauchyovskosťou a voľbou n0 = max(n_k0, n1) dáva limitu celej postupnosti.
• - Ekvivalencia neplatí vo všeobecných priestoroch; tie, kde platí, sa nazývajú úplné.

Zhrnutie pripravené s pomocou AI z prepisu videa.