Intuicja: o co chodzi ze zbiorami zwartymi?
Motywacja: „skończoność” bez liczenia elementów
Pojęcie zbioru zwartego pojawia się w topologii, analizie rzeczywistej, analizie funkcjonalnej, a nawet w geometrii i teorii miary. W tle zawsze powtarza się ta sama myśl: zwartość to pewien rodzaj skończoności, tylko ujętej w języku topologicznym, a nie wprost jako „zestaw skończonej liczby punktów”.
Skończony zbiór punktów jest łatwy do „kontrolowania” – da się go opisać, otoczyć, oszacować. Zwartość to uogólnienie tej kontroli na zbiory często nieskończone, ale zachowujące się tak, jakby były „prawie skończone”. W praktyce prowadzi to do bardzo silnych twierdzeń: funkcje ciągłe na zbiorach zwartych osiągają ekstrema, ciągłości łatwiej się dowodzi, a wiele patologii „nie ma gdzie się schować”.
Intuicję najprościej wyrabia się na prostej rzeczywistej. Tam klasycznym przykładem zbioru zwartego jest domknięty odcinek ([a,b]). Odcinek otwarty ((a,b)) zwarty nie jest, mimo że na pierwszy rzut oka różni się od ([a,b]) tylko dwoma punktami. Różnica w zachowaniu (szczególnie wobec granic i ciągłości) jest jednak fundamentalna.
Trzy intuicje zwartości: pokrycia, domkniętość+ograniczoność, ciągi
Dla przestrzeni metrycznych (a więc dla większości „typowych” przykładów) warto mieć w głowie trzy równoważne obrazy zwartości:
- Definicja z otwartymi pokryciami: z każdego otwartego przykrycia zbioru da się wybrać skończone podpokrycie.
- Twierdzenie Heinego–Borela: w (mathbb{R}^n) zbiory zwarte to dokładnie te, które są jednocześnie domknięte i ograniczone.
- Zwarta = ciągowozwarta (w przestrzeni metrycznej): z każdego ciągu punktów w zbiorze da się wybrać podciąg zbieżny do punktu z tego zbioru.
Każda z tych intuicji jest użyteczna w innym kontekście. W topologii ogólnej podstawowa jest definicja przez otwarte pokrycia. W analizie rzeczywistej zwykle operuje się na opisie domknięty i ograniczony. W analizie funkcjonalnej i teorii miary często korzysta się z ciągowej interpretacji zwartości, bo wygodnie pracuje się tam na ciągach.
Prosty obraz geometryczny
Na prostych obrazkach można zbudować następujący obraz. Zbiór zwarty w (mathbb{R}^2) to coś w rodzaju „zamkniętej i ograniczonej bryły/plamy” – bez „uciekających” w nieskończoność ogonów i bez „dziur” na brzegu. Na przykład:
- koło wraz z brzegiem – zwarty,
- koło bez brzegu – niezwarty (brakuje punktów granicznych),
- półprosta – niezwarta (ucieka w nieskończoność).
Ten obraz jest kuszący, ale nie wolno go traktować jako definicji. W przestrzeniach bardziej abstrakcyjnych nie ma „rysunków”, a zwartość trzeba rozumieć przez pokrycia lub własności ciągów.
Definicja formalna zbioru zwartego
Definicja przez otwarte pokrycia
Niech (X) będzie przestrzenią topologiczną, a (K subseteq X). Zbiór (K) nazywa się zwartym, jeśli spełniony jest następujący warunek:
Jeżeli ({U_alpha}_{alpha in A}) jest rodziną zbiorów otwartych w (X) taką, że
[;K subseteq bigcup_{alpha in A} U_alpha,]
to istnieje skończony podzbiór indeksów (alpha_1,dots,alpha_nin A) taki, że
[;K subseteq U_{alpha_1}cupdotscup U_{alpha_n}.]
Innymi słowy: z każdego otwartego pokrycia zbioru zwartego można wybrać skończone podpokrycie. To jest definicja kanoniczna w topologii ogólnej. Wszystko, co robimy z intuicjami typu „domknięty i ograniczony”, w istocie jest skutkiem tej definicji w konkretnych przestrzeniach (np. euklidesowych).
Otwarte pokrycie – co to praktycznie znaczy?
Rodzina ({U_alpha}) nazywa się otwartym pokryciem zbioru (K), jeżeli:
- każdy (U_alpha) jest zbiorem otwartym w (X),
- każdy punkt (xin K) należy do przynajmniej jednego (U_alpha).
Można myśleć o tym tak: mamy nieskończoną kolekcję „placków” otwartych, która przykrywa cały zbiór (K). Zwartość zapewnia, że da się wybrać z tej kolekcji kończący się podzbiór „placków”, który nadal zakrywa cały (K). Gdy tego zrobić się nie da – zbiór nie jest zwarty.
Uwaga o zależności od topologii
Zwartość nie jest własnością „samego” zbioru w sensie czystej teorii mnogości. Zawsze mówi się: zbiór zwarty w danej przestrzeni topologicznej. Ten sam zbiór punktów może być zwarty w jednej topologii, a niezwarty w innej. Klasycznym przykładem jest:
- ([0,1]) jest zwarty w standardowej topologii euklidesowej na (mathbb{R}),
- ta sama rodzina punktów może przestać być zwarta w innej, „mocniejszej” topologii zdefiniowanej na tym samym nośniku.
W praktyce, w analizie rzeczywistej, domyślnie pracuje się w standardowej topologii euklidesowej, więc ten niuans bywa niewidoczny, ale w bardziej zaawansowanych zastosowaniach jest kluczowy.
Zwarty na prostej: [a,b] kontra (a,b) i inne przykłady
Klasyczny przykład: odcinek domknięty jest zwarty
W (mathbb{R}) z metryką euklidesową twierdzenie Heinego–Borela mówi: zbiór jest zwarty wtedy i tylko wtedy, gdy jest domknięty i ograniczony. To pozwala bardzo łatwo klasyfikować zbiory zwarte na prostej rzeczywistej.
Odcinek domknięty ([a,b]) jest:
- ograniczony – zawiera się w jakimś przedziale ([-M,M]) (np. (M = max(|a|,|b|))),
- domknięty – zawiera wszystkie swoje punkty brzegowe, tzn. jeśli ciąg z ([a,b]) zbiega do (x), to (xin[a,b]).
W związku z tym ([a,b]) jest zwarty. W praktyce ma to potężne skutki: funkcje ciągłe na ([a,b]) osiągają maksimum i minimum, są jednostajnie ciągłe itd.
Dlaczego (a,b) nie jest zwarty?
Dla przedziału otwartego ((a,b)) łatwo znaleźć otwarte pokrycie, z którego nie da się wybrać skończonego podpokrycia. Klasyczny trik polega na podejściu „z lewej” do punktu (a), który nie należy do zbioru.
Rozważmy rodzinę zbiorów otwartych:
[;U_n = left(a + tfrac{1}{n},, bright)quadtext{dla }ninmathbb{N}.]
Każdy punkt (xin (a,b)) należy do jakiegoś (U_n), bo wystarczy wziąć (n) tak duże, żeby (a + tfrac{1}{n} < x). Zatem ({U_n}) jest otwartym pokryciem ((a,b)).
Teraz spójrzmy na skończone podzbiory tego pokrycia: jeśli weźmiemy skończony zbiór indeksów ({n_1,dots,n_k}), to najmniejszy z nich, niech będzie (N), daje nam zbiór
[;U_N = left(a+tfrac{1}{N},, bright).]
Wszystkie pozostałe (U_{n_i}) będą zawarte w (U_N). To oznacza, że skończone podpokrycie ma postać jednego takiego odcinka. Ale
[left(a + tfrac{1}{N},, bright)neq (a,b),]
bo brakuje w nim punktów bardzo blisko (a). Zatem żadne skończone podpokrycie rodziny ({U_n}) nie przykrywa całego ((a,b)). Wniosek: ((a,b)) nie jest zwarty.
Przykłady zwartych i niezwartych zbiorów w R
Kilka typowych konfiguracji w (mathbb{R}):
- Zwarte:
- ([0,1]), ([-5,7]), w ogóle każdy przedział domknięty ([a,b]) z (ale b),
- skończony zbiór punktów, np. ({1,3,pi}),
- sumy skończone zbiorów zwartych, np. ([0,1]cup{2}).
- Niezwarte:
- przedział otwarty ((a,b)), półotwarty ([a,b)), ((a,b]),
- półproste ((a,infty)), ((-infty,a)),
- cała prosta (mathbb{R}), bo jest nieograniczona.
Wszystkie przykłady „niezwartych” można złapać jednym z dwóch mechanizmów z twierdzenia Heinego–Borela: albo brakuje granicznych punktów (zbiór nie jest domknięty), albo jest „zbyt duży przestrzennie” (nie jest ograniczony).
Heine–Borel: domknięty i ograniczony w Rⁿ
Treść i znaczenie twierdzenia Heinego–Borela
Twierdzenie Heinego–Borela jest jednym z najważniejszych w analizie rzeczywistej. W przestrzeni euklidesowej (mathbb{R}^n) mamy równoważność:
Zbiór (K subseteq mathbb{R}^n) jest zwarty wtedy i tylko wtedy, gdy jest domknięty i ograniczony.
To niezwykle upraszcza badanie zwartości w praktyce: zamiast analizować wszystkie możliwe otwarte pokrycia, wystarczy sprawdzić dwie proste własności:
- Ograniczoność: istnieje kula (B(0,R)) taka, że (Ksubseteq B(0,R)) dla pewnego (R>0).
- Domkniętość: dopełnienie (K) jest otwarte (w sensie topologii euklidesowej), albo równoważnie – każdy ciąg w (K) zbieżny w (mathbb{R}^n) ma granicę w (K).
Ten opis jest specyficzny dla (mathbb{R}^n) z metryką euklidesową. W ogólnych przestrzeniach metrycznych, a tym bardziej topologicznych, zwartość nie zawsze da się tak elegancko ująć.
Jak praktycznie testować ograniczoność i domkniętość?
W zastosowaniach (np. przy zadaniach rachunkowych) zwykle postępuje się schematycznie:
- Ograniczoność:
- jeśli zbiór to przedział, prostokąt, kula, elipsa itp. – widać „z obrazka”,
- dla zbiorów zdefiniowanych równaniami/ nierównościami – analizuje się warunki typu (|x|le M), (|y|le N) lub inne ograniczenia.
- Domkniętość:
- sprawdza się, czy „brzegi” wchodzą do zbioru (np. ([a,b]) kontra ((a,b))),
- dla zbiorów danych przez równania typu (f(x)=0) z funkcją ciągłą – jest to zwykle zbiór domknięty,
- dla nierówności typu (f(x)le 0) z ciągłym (f) – taki zbiór też jest domknięty.
Łącząc te obserwacje z twierdzeniem Heinego–Borela, można błyskawicznie klasyfikować zbiory zwarte i niezwartych kandydatów w przestrzeniach euklidesowych.
Przykłady w R² i R³
Kilka ilustracji w (mathbb{R}^2):
- Zbiór
[K={(x,y)inmathbb{R}^2:; x^2+y^2le 1}]
– to koło zamknięte. Jest ograniczony (zawiera się w kuli promienia 1) i domknięty (warunek (x^2+y^2le 1) z ciągłą funkcją (f(x,y)=x^2+y^2-1)). Zatem (K) jest zwarty. - Zbiór
[A={(x,y)inmathbb{R}^2:; x^2+y^2<1}]
– otwarty dysk (bez brzegu). Jest ograniczony, ale nie jest domknięty (nie zawiera okręgu (x^2+y^2=1)), więc nie jest zwarty. - Zbiór
[B={(x,y)inmathbb{R}^2:; x^2+y^2le 1, xge 0},]
czyli „półkoło” zamknięte wraz z jego średnicą. Domknięty (nierówności z funkcjami ciągłymi) i ograniczony – zatem zwarty. - Zbiór
[C={(x,y)inmathbb{R}^2:; xge 0, x^2+y^2le x+1}.]
Nierówność (x^2+y^2le x+1) opisuje koło; dodatkowy warunek (xge 0) „odcina” jego część. Zbiór pozostaje zawarty w pewnej kuli i jest przecięciem zbiorów domkniętych, więc jest zwarty. - Zbiór
[D={(x,y)inmathbb{R}^2:; xy=1}.]
To hiperbola. Nie jest ograniczona (punkty uciekają do nieskończoności), więc nie jest zwarty, mimo że jest domknięta jako przeciwobraz ({1}) przez funkcję ciągłą ((x,y)mapsto xy). - Znajdź ciąg ((x_n)subset K),
- pokaż, że ma on granicę (xnotin K) albo że nie ma żadnego zbieżnego podciągu.
- Dla zbioru ((0,1)) bierzemy (x_n=tfrac{1}{n}). Mamy (lim_{ntoinfty}x_n=0notin(0,1)), więc ((0,1)) nie jest sekwencyjnie zwarty, a więc nie jest zwarty.
- Dla półprostej ([0,infty)) w (mathbb{R}) bierzemy (x_n=n). Ten ciąg nie ma zbieżnego podciągu (wartości „uciekają” do nieskończoności), więc zbiór nie jest sekwencyjnie zwarty.
- jeśli (K) jest ograniczony i domknięty, to każdy ciąg w (K) jest ograniczony (bo (K) jest w kuli) i ma podciąg zbieżny w (mathbb{R}^n);
- domkniętość gwarantuje, że granica tego podciągu należy do (K).
- ciągach funkcji i zamianie granic z całkowaniem,
- dowodach zbieżności szeregu funkcyjnego,
- analizie błędów numerycznych (stabilność obliczeń na ograniczonych przedziałach).
- Każdy podzbiór domknięty zbioru zwartego jest zwarty (w danej przestrzeni).
- Skończona unia zbiorów zwartych jest zwarta.
- Iloczyn kartezjański skończonej liczby zbiorów zwartych (z topologią produktową) jest zwarty. W szczególności, jeśli (Ksubsetmathbb{R}^m) i (Lsubsetmathbb{R}^n) są zwarte, to (Ktimes Lsubsetmathbb{R}^{m+n}) jest zwarty.
-
Zadanie 1. Zbadaj, które z poniższych zbiorów są zwarte w (mathbb{R}):
- (A_1 = [0,1)),
- (A_2 = (-1,2]),
- (A_3 = [-1,2]),
- (A_4 = {1/n : ninmathbb{N}}cup{0}).
Szkic rozwiązania.
- (A_1) – ograniczony, ale nie domknięty (brak punktu 1), więc niezwarty.
- (A_2) – ograniczony, ale nie domknięty (brak (-1)), więc niezwarty.
- (A_3) – ograniczony i domknięty (przedział domknięty), więc zwarty.
- (A_4) – zbiór jest ograniczony i domknięty (punkt 0 dołączony; wszystkie punkty graniczne są w zbiorze), więc jest zwarty.
-
Zadanie 2. Pokaż, że zbiór
[B = bigcup_{n=1}^inftyleft[0,1-frac{1}{n}right)]
nie jest zwarty w (mathbb{R}).
Szkic rozwiązania. Suma jest równa przedziałowi ([0,1)) (każdy punkt mniejszy od 1 „wpada” do któregoś przedziału), więc jak w Zadaniu 1 – ograniczony, ale nie domknięty. -
Zadanie 3. Ustal, czy zbiory są zwarte w (mathbb{R}^2):
- (C_1={(x,y): x^2+y^2le 4}),
- (C_2={(x,y): x^2+y^2< 4}),
- (C_3={(x,y): x^2-y^2le 1}).
Szkic rozwiązania.
- (C_1) – zamknięte koło o promieniu 2; domknięte (nierówność z ciągłą funkcją), ograniczone (kula promienia 2) – zwarty.
- (C_2) – otwarte koło; brak brzegu, nie jest domknięty, choć ograniczony – niezwarty.
- (C_3) – nierówność (x^2-y^2le 1) opisuje „pas” wzdłuż osi (y), sięgający w nieskończoność, więc zbiór nie jest ograniczony – niezwarty.
-
Zadanie 4. Znajdź maksimum i minimum funkcji
[f(x)=x^2-2x+3]
na przedziale zwartym ([0,3]).
Szkic rozwiązania.- Przedział ([0,3]) jest domknięty i ograniczony, więc zwarty – ekstremalne wartości istnieją.
- Liczymy pochodną: (f'(x)=2x-2). Punkt krytyczny: (2x-2=0Rightarrow x=1).
- Sprawdzamy wartości: (f(0)=3), (f(1)=1-2+3=2), (f(3)=9-6+3=6).
- Minimum: (2) w punkcie (x=1). Maksimum: (6) w punkcie (x=3).
-
Zadanie 5. Dana jest funkcja
[g(x,y)=x^2+y^2-2x-4y+5]
na zbiorze
[K={(x,y)inmathbb{R}^2 : x^2+y^2le 9}.]
Wyznacz jej minimum na (K).
Szkic rozwiązania.- Zbiór (K) to domknięte koło o promieniu 3, więc jest zwarty.
- Używamy „ukończenia kwadratu”:
[g(x,y)=(x^2-2x+1)+(y^2-4y+4)+5-1-4=(x-1)^2+(y-2)^2.] - Minimum wyrażenia ((x-1)^2+(y-2)^2) jest równe 0 i osiąga się w punkcie ((1,2)).
- Punkt ((1,2)) należy do (K), bo (1^2+2^2=5le 9). Minimum funkcji na (K) wynosi więc 0.
- Nie trzeba badać brzegu – „środek okręgu” leży wewnątrz zbioru. Zwartość gwarantuje istnienie minimum; obliczenia pokazują, gdzie ono przypada.
-
Zadanie 6. Znajdź maksimum funkcji
[h(x,y)=x+y]
na kwadracie
[Q=[0,1]times[0,1].]
Szkic rozwiązania.- Zbiór (Q) jest iloczynem dwóch przedziałów domkniętych i ograniczonych, więc jest zwarty.
- Funkcja liniowa (h) nie ma punktów krytycznych wewnątrz, więc ekstremum musi leżeć na brzegu.
- Na kwadracie ([0,1]^2) suma (x+y) jest największa w rogu, gdzie oba współczynniki są jak największe: ((1,1)).
- Maksimum równe jest (h(1,1)=2). Minimum, dla porządku, wynosi (0) i jest w punkcie ((0,0)).
-
Zadanie 7. Pokaż, że funkcja
[f(x)=sqrt{x}]
jest jednostajnie ciągła na ([0,1]).
Szkic rozwiązania.- Przedział ([0,1]) jest zwarty (Heine–Borel).
- Funkcja pierwiastkowa jest ciągła na ([0,1]).
- Z twierdzenia o jednostajnej ciągłości na zbiorach zwartach: (f) jest jednostajnie ciągła na ([0,1]).
- Można dodatkowo zauważyć, że (f'(x)=frac{1}{2sqrt{x}}) jest ograniczona na ([varepsilon,1]) dla dowolnego (varepsilon>0), a blisko zera można użyć prostego oszacowania (|sqrt{x}-sqrt{y}|lesqrt{|x-y|}).
-
Zadanie 8. Zbadaj, czy funkcja
[f(x)=frac{1}{x}]
jest jednostajnie ciągła na:- (a) ([1,5]),
- (b) ((0,1]).
Szkic rozwiązania.
- (a) Przedział ([1,5]) jest zwarty, (f) jest na nim ciągła, więc jest jednostajnie ciągła.
- (b) Zbiór ((0,1]) nie jest domknięty (brak punktu 0), więc nie jest zwarty. Funkcja „wystrzela” w nieskończoność, gdy (xto 0^+). Łatwo zbudować kontrprzykład do jednostajnej ciągłości, np. ciągi (x_n=frac{1}{n+1}), (y_n=frac{1}{n}) – różnice (x_n-y_nto 0), ale (|f(x_n)-f(y_n)|=1) dla każdego (n).
-
Zadanie 9. Wykaż, że funkcja
[F(x)=int_0^x sin(t^2),dt]
jest jednostajnie ciągła na każdym zwartym przedziale ([a,b]subsetmathbb{R}).
Szkic rozwiązania.- Dla stałego przedziału ([a,b]), funkcja (F) jest ciągła (całka z funkcji ciągłej zależna od parametru).
- Przedział ([a,b]) jest zwarty.
- Stosujemy tezę: każda funkcja ciągła na zbiorze zwartym jest jednostajnie ciągła, więc (F) ma tę własność na ([a,b]).
- Nie trzeba tu znać dokładnej postaci (F) – wystarcza ogólna teoria.
-
Zadanie 10. Niech (K=[0,1]times[0,1]subsetmathbb{R}^2), a
[T(x,y)=(x+y,,x-y).]
Pokaż, że obraz (T(K)subsetmathbb{R}^2) jest zbiorem zwartym.
Szkic rozwiązania.- Odwzorowanie (T) jest liniowe, więc ciągłe.
- Zbiór (K) jest zwarty jako iloczyn przedziałów domkniętych i ograniczonych.
- Z twierdzenia o ciągłym obrazie zbioru zwartego: (T(K)) jest zwarty.
- Jeśli ktoś lubi obrazek, łatwo zauważyć, że kwadrat ([0,1]^2) przechodzi w równoległobok w nowym układzie współrzędnych – nadal jest to zbiór domknięty i ograniczony.
-
Zadanie 11. Niech (K=[0,2pi]), a
[f(x)=(cos x,sin x).]
Uzasadnij, że okrąg jednostkowy
[S^1={(u,v)inmathbb{R}^2: u^2+v^2=1}]
jest zbiorem zwartym.
Szkic rozwiązania.- Przedział ([0,2pi]) jest zwarty.
- Funkcja (f) jest ciągła jako para funkcji ciągłych (cos) i (sin).
- Obraz (f([0,2pi])) to dokładnie okrąg (S^1) (parametryzacja standardowa).
- Z ciągłości i zwartości: (S^1=f(K)) jest zwarty.
-
Zadanie 12. Niech (Ksubsetmathbb{R}^n) będzie dowolnym zwartym zbiorem, a
[d(x)=operatorname{dist}(x,K)=inf{|x-y|:yin K}.]
Pokaż, że funkcja (d:mathbb{R}^ntomathbb{R}) jest Lipschitzowska z stałą 1, a szczególnie jednostajnie ciągła.
Szkic rozwiązania.- Dla dowolnych (x,zinmathbb{R}^n) i dowolnego (yin K) mamy z nierówności trójkąta
[|x-y|le |x-z|+|z-y|.] - Biorąc infimum po (yin K), dostajemy
[d(x)le |x-z|+d(z).]
Po zamianie ról (x,z): (d(z)le |x-z|+d(x)). - Stąd
[|d(x)-d(z)|le |x-z|,]
czyli (d) jest Lipschitzowska z stałą 1. - Lipschitzowskość implikuje jednostajną ciągłość na całej przestrzeni, bez względu na zwartość. Zwarty charakter (K) gwarantuje ponadto, że infimum w definicji odległości jest minimum i zawsze istnieje punkt w (K), w którym odległość się osiąga.
- Dla dowolnych (x,zinmathbb{R}^n) i dowolnego (yin K) mamy z nierówności trójkąta
-
Zadanie 13. Pokaż za pomocą ciągów, że przedział otwarty ((0,1)) nie jest zwarty w (mathbb{R}).
Szkic rozwiązania.- Rozważ ciąg (x_n=frac{1}{n}). Każdy jego wyraz leży w ((0,1)).
- Ciąg zbiega do 0, który nie należy do ((0,1)).
- Wszystkie podciągi też mają granicę 0, więc żaden nie zbiega w ((0,1)).
- Z definicji sekwencyjnej zwartości wynika, że ((0,1)) nie jest zwarty.
-
Zadanie 14. Udowodnij, że zbiór
[K=left{frac{1}{n}:ninmathbb{N}right}cup{0}subsetmathbb{R}]
jest sekwencyjnie zwarty.
Szkic rozwiązania.- Weź dowolny ciąg ((x_k)) w (K).
- Albo nieskończenie wiele wyrazów ma wartość 0 – wtedy istnieje stały podciąg zbieżny do 0.
- Albo tylko skończenie wiele z nich to 0 – wtedy od pewnego miejsca wszystkie wyrazy to elementy ciągu (frac{1}{n}). Tych wartości jest policzalnie wiele, więc istnieje jakaś wartość (frac{1}{m}), która pojawia się nieskończenie często; stały podciąg złożony z tych wyrazów zbiega do (frac{1}{m}in K).
- W obu przypadkach znaleziono zbieżny podciąg z granicą w (K). Zatem (K) jest sekwencyjnie zwarty, a w (mathbb{R}) równoważnie – zwarty.
-
Zadanie 15. Udowodnij, że kula otwarta
[B(0,1)={xinmathbb{R}^n:|x|<1}]
nie jest sekwencyjnie zwarta.
Szkic rozwiązania.- Wybierz ciąg (x_k=left(1-frac{1}{k}right)e), gdzie (e) jest ustalonym wektorem jednostkowym.
- Każdy (x_k) leży w (B(0,1)), bo (|x_k|=1-frac{1}{k}<1).
- Ciąg zbiega do (e), którego norma wynosi 1, więc (enotin B(0,1)).
- Wszystkie podciągi zbiegać będą do (e), więc żadna granica nie leży w kuli. Kula otwarta nie jest więc sekwencyjnie zwarta, a tym samym nie jest zwarta.
-
Zadanie 16. Pokaż, że każdy zbiór zwarty w przestrzeni metrycznej jest zupełny jako przestrzeń z metryką odziedziczoną.
Szkic rozwiązania.- Weź dowolny ciąg Cauchy’ego ((x_n)) w zbiorze zwartym (K).
- Ciąg Cauchy’ego jest ograniczony, więc w przestrzeni metrycznej z własnością Bolzano–Weierstrassa (np. w (mathbb{R}^n)) ma zbieżny podciąg.
- Zwarty charakter (K) gwarantuje, że ten podciąg zbiega do punktu z (K).
- Definicja przez otwarte pokrycia: z każdego otwartego pokrycia można wybrać skończone podpokrycie.
- Heine–Borel w (mathbb{R}^n): zbiór jest zwarty wtedy i tylko wtedy, gdy jest domknięty i ograniczony.
- Ciągowozwartość: z każdego ciągu punktów zbioru da się wydzielić zbieżny podciąg, którego granica należy do tego zbioru.
- osiągają swoje maksimum i minimum,
- są jednostajnie ciągłe,
- mają obrazy zwarte (ciągły obraz zbioru zwartego jest zwarty).
- Zwartość to topologiczne uogólnienie „skończoności” – umożliwia kontrolę nad (często nieskończonymi) zbiorami tak, jakby były niemal skończone.
- W przestrzeniach metrycznych istnieją trzy równoważne obrazy zwartości: przez otwarte pokrycia, jako „domknięty i ograniczony” (Heine–Borel w (mathbb{R}^n)) oraz jako ciągowozwartość (istnienie zbieżnych podciągów).
- W (mathbb{R}^n) zbiory zwarte można intuicyjnie widzieć jako „zamknięte i ograniczone bryły/plamy” – bez uciekania w nieskończoność i bez brakujących punktów brzegowych, choć nie jest to definicja ogólna.
- Definicja kanoniczna: zbiór (K) jest zwarty, gdy z każdego jego otwartego pokrycia można wybrać skończone podpokrycie, które nadal go całego przykrywa.
- Zwartość zależy od topologii: ten sam zbiór punktów może być zwarty w jednej topologii, a niezwarty w innej, dlatego zawsze mówimy o zwartości „w danej przestrzeni topologicznej”.
- W (mathbb{R}) domknięty odcinek ([a,b]) jest zwarty (bo jest domknięty i ograniczony), co gwarantuje m.in. istnienie ekstremów i jednostajną ciągłość funkcji ciągłych na tym zbiorze.
- Otwarty przedział ((a,b)) nie jest zwarty – można dla niego zbudować otwarte pokrycie, z którego nie da się wybrać skończonego podpokrycia; brak punktów brzegowych jest tu kluczowy.
Najczęściej zadawane pytania (FAQ)
Co to jest zbiór zwarty w topologii?
Zbiór zwarty to taki podzbiór przestrzeni topologicznej, dla którego z każdego otwartego pokrycia można wybrać skończone podpokrycie. Mówiąc mniej technicznie: jeśli przykryjemy zbiór nieskończoną rodziną zbiorów otwartych, to i tak da się go zakryć tylko pewną skończoną ich liczbą.
Intuicyjnie zwartość jest pewnym rodzajem „skończoności” opisywanej językiem topologicznym. Zbiory zwarte, choć często nieskończone, zachowują się jak „prawie skończone”: łatwo nad nimi panować, a wiele twierdzeń o funkcjach ciągłych ma tam szczególnie ładną postać.
Jak intuicyjnie rozumieć zwartość zbioru?
Intuicyjnie zbiór zwarty to taki, który nie ucieka w nieskończoność i nie ma brakujących punktów na brzegu. W przestrzeni euklidesowej (mathbb{R}^2) można o nim myśleć jako o „zamkniętej, ograniczonej plamie”: bez ogonów idących w nieskończoność i bez „dziur” na krawędzi.
Inna intuicja to ta z otwartymi pokryciami: jeśli do przykrycia zbioru zawsze wystarcza skończenie wiele „placków” otwartych, to mamy do czynienia z zwartą sytuacją. W przestrzeniach metrycznych to też oznacza, że z każdego ciągu punktów w zbiorze można wybrać zbieżny podciąg, który zbiega do punktu z tego zbioru.
Dlaczego przedział [a,b] jest zwarty, a (a,b) nie jest?
W (mathbb{R}) z klasyczną metryką obowiązuje twierdzenie Heinego–Borela: zbiór jest zwarty wtedy i tylko wtedy, gdy jest jednocześnie domknięty i ograniczony. Przedział domknięty ([a,b]) spełnia oba warunki: jest ograniczony (leży w jakimś ([-M,M])) i domknięty (zawiera wszystkie swoje punkty graniczne).
Przedział otwarty ((a,b)) jest ograniczony, ale nie jest domknięty – brakuje mu punktów granicznych (a) i (b). Da się też jawnie podać otwarte pokrycie ((a,b)), z którego nie istnieje skończone podpokrycie (np. rodzina (bigl(a+tfrac1n,bbigr))), co pokazuje, że ((a,b)) nie jest zwarty.
Jakie są równoważne definicje zwartości w przestrzeniach metrycznych?
W przestrzeniach metrycznych często korzysta się z trzech równoważnych opisów zwartości:
W różnych działach matematyki wygodniej jest używać różnych charakterystyk, ale wszystkie one opisują to samo pojęcie zwartości (w kontekście przestrzeni metrycznych).
Czy zwartość zależy od wybranej topologii?
Tak, zwartość zależy od topologii, a nie od „nagiego” zbioru punktów. Ten sam zbiór rozumiany jako czysta rodzina punktów może być zwarty w jednej topologii, a niezwarty w innej, „mocniejszej” lub „słabszej” topologii zdefiniowanej na tym samym nośniku.
Dlatego poprawnie mówi się „zbiór zwarty w danej przestrzeni topologicznej” albo „zwarty względem danej topologii”. W analizie rzeczywistej ten niuans często jest ukryty, bo niemal zawsze pracuje się w standardowej topologii euklidesowej.
Dlaczego zbiory zwarte są tak ważne w analizie?
Zbiory zwarte mają bardzo silne własności, które upraszczają dowody i eliminują patologie. Najważniejsze jest to, że funkcje ciągłe na zbiorach zwartych:
Dzięki temu na zbiorach zwartych łatwiej badać zbieżność, ciągłość, ekstremalne wartości funkcji i wiele innych zjawisk analitycznych.
Jak rozpoznać, czy zbiór jest zwarty w R lub Rⁿ?
W (mathbb{R}) i ogólnie w (mathbb{R}^n) z metryką euklidesową działa kryterium Heinego–Borela: zbiór jest zwarty wtedy i tylko wtedy, gdy jest jednocześnie domknięty i ograniczony. To prosta praktyczna reguła do klasyfikowania większości typowych przykładów.
Przykładowo: odcinki domknięte ([a,b]), kule domknięte w (mathbb{R}^n), skończone zbiory punktów czy skończone sumy takich zbiorów są zwarte. Z kolei przedziały otwarte, półproste czy cała prosta (mathbb{R}) nie są zwarte, bo są albo nieograniczone, albo niedomknięte.
Najważniejsze lekcje
Jeśli spodobał Ci się ten artykuł, sprawdź też:
Więcej przykładów zwartości i jej braku w R²
Kolejne, trochę bardziej złożone konfiguracje w (mathbb{R}^2):
Nawet złożone zbiory „opisane równaniami” analizuje się tym samym schematem: osobno sprawdza się domkniętość (ciągłość funkcji, warunki równości/ nierówności), osobno ograniczoność (czy zbiór może „uciec” poza każdą kulę).
Zwartaść a ciągi: charakterystyka sekwencyjna
Zwartaść sekwencyjna w przestrzeniach metrycznych
W przestrzeniach metrycznych, w szczególności w (mathbb{R}^n), istnieje bardzo użyteczna charakterystyka zwartości przez ciągi.
Definicja. Zbiór (K) w przestrzeni metrycznej jest sekwencyjnie zwarty, jeśli z każdego ciągu ((x_n)subset K) można wybrać podciąg zbieżny w (K).
W (mathbb{R}^n) zachodzi równoważność:
(Ksubsetmathbb{R}^n) jest zwarty (w sensie otwartych pokryć) wtedy i tylko wtedy, gdy jest sekwencyjnie zwarty.
Przy rozwiązywaniu zadań rachunkowych pracuje się więc często z ciągami, nawet jeśli definicja ogólna mówi o otwartych pokryciach.
Jak używać ciągów do wykazywania niezwartości?
Jeśli chcemy pokazać, że zbiór (Ksubsetmathbb{R}^n) nie jest zwarty, wygodny jest schemat:
W pierwszym przypadku pokazujemy, że (K) nie jest domknięty (brak punktu granicznego), w drugim – że nie jest ograniczony.
Kilka typowych konstrukcji:
Takie konstrukcje są praktyczne np. przy badaniu zbiorów poziomicowych funkcji – często łatwiej znaleźć konkretny „uciekający” ciąg niż zbudować wymagające otwarte pokrycie bez skończonego podpokrycia.
Relacja z twierdzeniem Bolzano–Weierstrassa
Twierdzenie Bolzano–Weierstrassa mówi, że każdy ciąg ograniczony w (mathbb{R}^n) ma podciąg zbieżny. Gdy połączymy je z definicją domkniętości, dostajemy:
W ten sposób z twierdzenia Bolzano–Weierstrassa wynika sekwencyjna zwartość każdego zbioru domkniętego i ograniczonego, czyli zwartość w sensie Heinego–Borela.
Dlaczego zwartość jest tak użyteczna dla funkcji ciągłych?
Osiąganie maksimum i minimum (twierdzenie Weierstrassa)
Najbardziej „widoczna” konsekwencja zwartości to istnienie ekstremów funkcji ciągłych.
Twierdzenie (Weierstrass). Jeśli (K) jest zbiorem zwartym w (mathbb{R}^n), a (f:Ktomathbb{R}) jest funkcją ciągłą, to (f) osiąga na (K) swoje maksimum i minimum, tzn. istnieją punkty (x_{min},x_{max}in K) takie, że
[;f(x_{min})le f(x)le f(x_{max})quadtext{dla każdego }xin K.]
Przykład z praktyki rachunkowej: jeśli trzeba znaleźć globalne maksimum funkcji na domkniętym przedziale ([a,b]) czy na zamkniętym dysku w (mathbb{R}^2), nie trzeba zastanawiać się, czy ono w ogóle istnieje – zwartość daje gwarancję. Zostaje „tylko” policzyć pochodne, zbadać punkty krytyczne i brzeg.
Jednostajna ciągłość na zbiorach zwartej
Kolejna kluczowa własność: ciągłość funkcji na zbiorze zwartym wzmaga się do jednostajnej ciągłości.
Twierdzenie. Jeśli (K) jest zbiorem zwartym w (mathbb{R}^n), a (f:Ktomathbb{R}^m) jest ciągła, to (f) jest jednostajnie ciągła na (K).
Jednostajna ciągłość to silniejszy warunek: „to samo (delta)” działa w definicji (varepsilon{-}delta) w całym zbiorze, a nie tylko w małych otoczeniach wyboru punktu. Używa się tego przy:
W praktyce: jeśli ktoś pracuje z funkcją ciągłą na ([a,b]), można swobodnie korzystać z jednostajnej ciągłości bez dodatkowych założeń – to po prostu wynika ze zwartości tego przedziału.
Ciągły obraz zbioru zwartego
Przydatna jest też następująca ogólna własność.
Twierdzenie. Jeśli (K) jest zwarty w przestrzeni topologicznej (X), a (f:Xto Y) jest funkcją ciągłą, to obraz (f(K)subset Y) jest zwarty.
W przestrzeni euklidesowej znów możemy to przetłumaczyć: obraz zbioru domkniętego i ograniczonego przez funkcję ciągłą jest zwarty, a więc znowu domknięty i ograniczony (w (mathbb{R}^n)). Szczególnie użyteczne jest domknięcie obrazu, bo gwarantuje np. istnienie punktów, w których wartości minimalne/ maksymalne są przyjmowane.
Krótki przegląd ważniejszych twierdzeń o zbiorach zwartach
Zwartość podzbiorów i sum
Bez sięgania w skomplikowane dowody, kilka reguł „rachunku na zbiorach zwartych”:
Zestawiając to z twierdzeniem Heinego–Borela: jeśli w (mathbb{R}) zbiory (K_1,dots,K_k) są domknięte i ograniczone, to ich suma skończona i iloczyny kartezjańskie dają kolejne zbiory zwarte. Dzięki temu przesuwając się z 1D do 2D czy 3D często nie trzeba osobno analizować zwartości – wynika ona „z konstrukcji”.
Zwartaść a zupełność i całkowita ograniczoność
W przestrzeniach metrycznych istnieje jeszcze jedna charakterystyka:
Twierdzenie. Zbiór (K) w przestrzeni metrycznej jest zwarty wtedy i tylko wtedy, gdy jest zupełny (każdy ciąg Cauchy’ego w (K) ma granicę w (K)) i całkowicie ograniczony (dla każdego (varepsilon>0) można przykryć (K) skończoną liczbą kul o promieniu (varepsilon)).
Ta postać nie jest zwykle wykorzystywana w kursach podstawowych, ale pomaga zrozumieć, że zwartość to coś więcej niż „nie uciekamy do nieskończoności”: zbiór jest „gęsto upakowany” w sensie skończalnej liczby małych kul dla każdego poziomu dokładności.
Krótkie zadania i typowe schematy rozwiązań
Zadania w R: rozpoznawanie zwartości
Kilka prostych ćwiczeń pozwala utrwalić kryterium Heinego–Borela.
Zadania w R²: zbiory dane nierównościami
W dwuwymiarze najczęściej pojawiają się zbiory opisane prostymi nierównościami.
Zadania z funkcjami: ekstremum na zbiorach zwartych
Teraz kilka zadań, gdzie zwartość jest narzędziem do badania funkcji.
Zadania z funkcjami: ekstremum na zbiorach zwartych – przykłady
Kilka prostych schematów obliczeniowych pokazuje, jak praktycznie używać zwartości przy badaniu ekstremów.
Zadania z jednostajną ciągłością na zbiorach zwartych
Poniższe ćwiczenia pokazują, jak wykorzystać zwartość zamiast rozwijania wiadra rachunków z definicji jednostajnej ciągłości.
Krótkie zadania na obraz zbioru zwartego
Następne zadania wykorzystują fakt, że ciągły obraz zbioru zwartego też jest zwarty.
Ćwiczenia sekwencyjne: „uciekające” ciągi i zwartość
W wielu dowodach szybciej jest zbudować ciąg wychodzący z każdego możliwego zbioru domniemanego pokrycia niż konstruować samo pokrycie. Kilka krótkich zadań w tym duchu.
Krótki „trening” z twierdzeniem o zupełności i całkowitej ograniczoności
Trzy zadania, które pomagają oswoić alternatywną charakterystykę zwartości w przestrzeniach metrycznych.
