Twierdzenie Ascoliego-Arzeli
Z Wikipedii
Twierdzenie Ascoliego-Arzeli – twierdzenie charakteryzujące przekształcenia ciągłe z przestrzeni zwartej w przestrzeń euklidesową.
Spis treści |
[edytuj] Definicje
- rodzina przekształceń ciągłych z przestrzeni topologicznej (X,τ) w przestrzeń euklidesową jest jednakowo ciągła, jeśli dla każdego i istnieje otoczenie takie, że dla wszystkich jest średnica .
- rodzina jest ograniczona, jeśli dla pewnego r > 0 obrazy f(X) wszystkich przekształceń leżą w kuli B(0,r).
[edytuj] Teza
Niech (X,τ) będzie przestrzenią zwartą i niech rodzina będzie jednakowo ciągła i ograniczona. Wówczas domknięcie w przestrzeni metrycznej w przestrzeni metrycznej jest zwarte.