40. Kompaktné množiny

Zhrnutie prednášky

Prednáška zavádza kompaktné množiny ako typ množín, ktorý spojité funkcie zachovávajú pri zobrazení. Množina M ⊆ ℝ je kompaktná, ak z každej postupnosti jej prvkov možno vybrať konvergentnú podpostupnosť, ktorej limita leží v M. Hlavná veta tvrdí, že v ℝ je množina kompaktná práve vtedy, keď je uzavretá a ohraničená, pričom v iných priestoroch to platí len jedným smerom. Dôkaz implikácie „kompaktná ⇒ uzavretá a ohraničená“ využíva postupnosť neohraničenú zhora a charakterizáciu uzavretosti cez hromadné body. Opačná implikácia využíva existenciu hromadnej hodnoty ohraničenej postupnosti a uzavretosť množiny. Ako dôsledok vyplýva, že uzavretý ohraničený interval je kompaktná množina.

• - Množina M ⊆ ℝ je kompaktná, ak z každej postupnosti jej prvkov možno vybrať konvergentnú podpostupnosť s limitou v M.
• - V ℝ je množina kompaktná práve vtedy, keď je uzavretá a ohraničená.
• - V iných priestoroch je kompaktná množina vždy uzavretá a ohraničená, ale opačne to platiť nemusí, preto sa pojmy rozlišujú.
• - Neohraničenosť vedie k sporu: postupnosť s an > n má každú podpostupnosť divergujúcu do +∞.
• - Uzavretosť sa dokazuje cez hromadné body: hromadný bod je limitou postupnosti z M, a z kompaktnosti leží v M.
• - Opačný smer: ohraničená postupnosť v M má hromadnú hodnotu, teda konvergentnú podpostupnosť, a z uzavretosti jej limita patrí do M.
• - Dôsledok: uzavretý ohraničený interval je kompaktná množina.

Zhrnutie pripravené s pomocou AI z prepisu videa.