Strona głównaZagadnienia dodatkoweOtoczenie punktu i punkt skupienia

Otoczenie punktu i punkt skupienia

Słowo „blisko” w zdaniu *„gdy xx jest blisko x0x_0, wartości są blisko gg”* wygląda niewinnie, a jest najsłabszym punktem szkolnej definicji granicy. Otoczenie i punkt skupienia to dwa pojęcia, które zamieniają to „blisko” w warunek dający się sprawdzić. Bez nich nie da się nawet poprawnie zapytać, czy funkcja ma granicę w danym punkcie — a odpowiedź bywa zaskakująca: są punkty, w których pytanie o granicę nie ma sensu.

Dział: Zagadnienia dodatkowePoziom: studia, pierwszy rok — poza podstawą programową (LO 2025)

1Po co formalizować słowo „blisko”

Zagadnienie dodatkowe — poza podstawą programową (SP/LO 2025)

Ten temat nie występuje w podstawie programowej obowiązującej od 2025 roku — ani w zakresie podstawowym, ani w rozszerzonym. Na maturze nie zostanie sprawdzony.

Granice w zakresie rozszerzonym wymagane, ale wprowadza się je opisowo. Aparat pojęciowy z tej strony pojawia się dopiero na wstępie do analizy matematycznej na studiach.

Strona należy do działu Zagadnienia dodatkowe: materiał dla tych, którzy chcą wyjść poza program — na olimpiadę, na studia albo z ciekawości.

W szkole granicę opisuje się słowami: *„gdy xx dąży do x0x_0, wartości f(x)f(x) dążą do gg”*. To działa dopóty, dopóki nie zapytamy o rzeczy, które w tym zdaniu są przemilczane.

Pierwsze przemilczenie: jak blisko trzeba podejść. Zdanie „wartości są blisko gg” nie jest ani prawdziwe, ani fałszywe, dopóki nie powiemy, co znaczy „blisko”. Rozwiązaniem jest otoczenie — zbiór punktów odległych od danego o mniej niż zadana liczba.

Drugie przemilczenie jest poważniejsze: czy w ogóle da się podejść. Żeby mówić o dążeniu do x0x_0, w pobliżu x0x_0 muszą leżeć inne punkty dziedziny — i to dowolnie blisko. Punkty spełniające ten warunek nazywamy punktami skupienia.

Zilustrujmy drugi problem konkretem. Weźmy funkcję określoną tylko na zbiorze liczb całkowitych i zapytajmy o jej granicę w punkcie 33. Pytanie jest źle postawione: nie da się zbliżać do trójki po liczbach całkowitych, bo najbliższe są 22 i 44, a między nimi nie ma żadnego innego punktu dziedziny.

Stąd zasada, która porządkuje cały rachunek granic: granicę funkcji w punkcie definiuje się wyłącznie w punktach skupienia dziedziny. W pozostałych punktach nie jest ona ani skończona, ani nieskończona, ani nieistniejąca — po prostu nie jest zdefiniowana.

Warto zauważyć, że sam punkt x0x_0 nie musi należeć do dziedziny. To nie jest luka w teorii, tylko jej najważniejsze zastosowanie: całe liczenie granic typu 00\tfrac{0}{0} dotyczy właśnie punktów, w których funkcja nie jest określona.

2Otoczenie i sąsiedztwo — komplet definicji

Otoczenie punktu x0x_0 o promieniu r>0r > 0 to po prostu przedział otwarty wyśrodkowany w tym punkcie:

O(x0,r)=(x0r,  x0+r)={xR:xx0<r}O(x_0, r) = (x_0 - r,\; x_0 + r) = \{x \in \mathbb{R} : |x - x_0| < r\}

Zapis z wartością bezwzględną jest wygodniejszy w dowodach, bo xx0|x - x_0| to dokładnie odległość xx od x0x_0. Warunek xx0<r|x - x_0| < r czyta się więc: „xx jest odległy od x0x_0 o mniej niż rr”.

Sąsiedztwo (inaczej otoczenie nakłute) to otoczenie z usuniętym środkiem:

S(x0,r)=O(x0,r){x0}=(x0r,  x0)(x0,  x0+r)S(x_0, r) = O(x_0, r) \setminus \{x_0\} = (x_0 - r,\; x_0) \cup (x_0,\; x_0 + r)

Ta jedna dziurka jest sednem pojęcia granicy

W definicji granicy występuje sąsiedztwo, nie otoczenie — i to nie jest formalny drobiazg.

Gdyby użyć otoczenia, wartość f(x0)f(x_0) wpływałaby na granicę. A cały sens granicy polega na tym, że opisuje ona zachowanie funkcji wokół punktu, niezależnie od tego, co się dzieje w samym punkcie (i czy cokolwiek się tam dzieje).

Dlatego funkcja może mieć w punkcie granicę 22, a wartość 77 — i nie ma w tym sprzeczności. Opisujemy tym samym słowem dwie różne rzeczy.

Przydają się jeszcze dwie odmiany, obie używane przy granicach jednostronnych:

Zwróć uwagę na kierunek myślenia, bo promień działa w dwie strony i łatwo je pomylić. Jako warunek nałożony na sam punkt: im mniejsze rr, tym mniej punktów spełnia xx0<r|x - x_0| < r, czyli tym ostrzejsze żądanie wobec xx. Ale zdanie o całym otoczeniu — „własność zachodzi dla każdego xx z O(x0,r)O(x_0, r)” — zachowuje się odwrotnie: jest tym mocniejsze, im większy promień, bo obejmuje więcej punktów. Przykład: nierówność 1x2>01 - x^2 > 0 zachodzi w całym otoczeniu zera o promieniu 11, ale już nie o promieniu 1,51{,}5.

Stąd zdanie „coś zachodzi w pewnym otoczeniu punktu” znaczy tyle co „zachodzi dostatecznie blisko punktu” — i jest to obietnica skromna, bo wystarczy, że znajdzie się jakikolwiek promień, choćby maleńki. Tę asymetrię widać potem w definicji granicy: po stronie argumentów wolno wziąć δ\delta dowolnie małe, a po stronie wartości to właśnie małe ε\varepsilon jest żądaniem trudnym do spełnienia.

3Punkt skupienia — definicja i to, co w niej zaskakuje

Punkt x0x_0 jest punktem skupienia zbioru AA, jeżeli w każdym jego sąsiedztwie leży co najmniej jeden punkt zbioru AA.

r>0  :  S(x0,r)A\forall r > 0 \;:\; S(x_0, r) \cap A \neq \emptyset

Trzy rzeczy w tej definicji łatwo przeoczyć, a każda z nich jest istotna:

Z warunku „co najmniej jeden” wynika coś mocniejszego: w każdym sąsiedztwie punktu skupienia leży nieskończenie wiele punktów zbioru. Gdyby było ich skończenie wiele, dałoby się wybrać najbliższy i wziąć promień mniejszy od tej odległości — a wtedy sąsiedztwo byłoby puste, wbrew założeniu.

Punkt izolowany to pojęcie przeciwstawne: punkt należący do AA, który punktem skupienia nie jest. Istnieje więc promień rr, dla którego S(x0,r)A=S(x_0, r) \cap A = \emptyset — punkt siedzi w zbiorze samotnie, z pustym pierścieniem wokół siebie.

Każdy punkt zbioru jest dokładnie jednego z tych dwóch rodzajów: albo skupienia, albo izolowany. Punkty skupienia spoza zbioru stanowią osobną, trzecią kategorię — i to one bywają najciekawsze.

4Cztery zbiory, które warto mieć w głowie

Teoria robi się zrozumiała dopiero na przykładach, w których wyniki są różne. Te cztery wystarczą, żeby pokryć wszystkie możliwe zachowania.

Drugi przykład jest najbardziej pouczający, bo pokazuje oba pojęcia naraz. Weźmy element 15\frac{1}{5}: najbliższymi sąsiadami są 14\frac{1}{4} i 16\frac{1}{6}, a odległość do bliższego z nich wynosi 1516=130\frac{1}{5} - \frac{1}{6} = \frac{1}{30}. Promień r=160r = \frac{1}{60} daje puste sąsiedztwo — punkt jest izolowany.

Ale zero zachowuje się przeciwnie: dla dowolnie małego rr znajdziemy nn tak duże, że 1n<r\frac{1}{n} < r. Zawsze, bez wyjątku. Dlatego zero jest punktem skupienia, choć do zbioru nie należy.

Czwarty przykład wyjaśnia, czemu 2\sqrt{2} jest punktem skupienia Q\mathbb{Q}, mimo że sam wymierny nie jest: rozwinięcie dziesiętne 1,411{,}41, 1,4141{,}414, 1,41421{,}4142, … to same liczby wymierne, podchodzące do 2\sqrt{2} dowolnie blisko. Wartości 2\sqrt{2} zostawiamy w postaci dokładnej — żadne z tych przybliżeń nie jest jej równe, na tym polega cały przykład.

Trzeci przykład ma konsekwencję praktyczną: dla ciągów nie mówi się o granicy „w punkcie”, tylko o granicy „w nieskończoności”, i to właśnie dlatego, że dziedzina ciągu (liczby naturalne) nie ma żadnego punktu skupienia. Szerzej przy granicy ciągu.

5Gdzie te pojęcia realnie pracują

Pierwsze zastosowanie to poprawne sformułowanie definicji granicy. W pełnym brzmieniu: limxx0f(x)=g\lim_{x \to x_0} f(x) = g znaczy, że dla każdego ε>0\varepsilon > 0 istnieje δ>0\delta > 0 takie, że dla każdego xx z sąsiedztwa S(x0,δ)S(x_0, \delta) przeciętego z dziedziną wartość f(x)f(x) leży w otoczeniu O(g,ε)O(g, \varepsilon).

Widać teraz, gdzie każde pojęcie pracuje: sąsiedztwo po stronie argumentów (bo x0x_0 wykluczamy), otoczenie po stronie wartości (bo gg jak najbardziej wchodzi w grę), a założenie, że x0x_0 jest punktem skupienia dziedziny, gwarantuje, że przecięcie nigdy nie jest puste.

Drugie zastosowanie to ciągłość, którą definiuje się prawie tak samo — z jedną różnicą: sąsiedztwo zamienia się na otoczenie, bo tym razem wartość w punkcie ma znaczenie. Zestawienie obu definicji obok siebie jest najkrótszą drogą do zrozumienia, czym ciągłość różni się od istnienia granicy.

Trzecie to twierdzenie Bolzana–Weierstrassa: każdy ograniczony zbiór nieskończony ma co najmniej jeden punkt skupienia. To ono stoi za tym, że z ograniczonego ciągu da się wybrać podciąg zbieżny — a stamtąd bierze się między innymi własność Darboux i twierdzenie o osiąganiu kresów.

Czwarte to domknięcie zbioru: zbiór wraz z wszystkimi swoimi punktami skupienia. Domknięciem (0,1)(0,1) jest [0,1][0,1], a domknięciem Q\mathbb{Q} — cała prosta R\mathbb{R}. Zbiór nazywamy domkniętym, gdy zawiera wszystkie swoje punkty skupienia, czyli gdy jest równy swojemu domknięciu.

Warto zapamiętać jedno zdanie podsumowujące: otoczenie mówi jak blisko, punkt skupienia mówi czy w ogóle da się podejść. Pierwsze pojęcie mierzy, drugie orzeka o sensowności pytania.

6Przykłady krok po kroku

Cztery zadania w kolejności, w jakiej najlepiej się je robi: wyznaczanie zbioru punktów skupienia, dowód izolowania, dowód skupienia i przypadek bez punktów skupienia.

Przykład 1 Punkty skupienia przedziału otwartego

Wyznacz wszystkie punkty skupienia zbioru A=(0,1)A = (0, 1) i wskaż, które z nich do AA nie należą.

  1. Biorę dowolny x0(0,1)x_0 \in (0,1) i dowolne r>0r > 0. Przedział (x0r,x0+r)(x_0 - r, x_0 + r) przecięty z (0,1)(0,1) zawiera nieskończenie wiele punktów, bo przecięcie dwóch przedziałów otwartych o wspólnym punkcie wewnętrznym jest przedziałem otwartym niepustym. Każdy punkt wnętrza jest więc punktem skupienia.
  2. Sprawdzam x0=0x_0 = 0. Dla dowolnego r>0r > 0 w sąsiedztwie leży na przykład liczba min(r2,12)\min\left(\frac{r}{2}, \frac{1}{2}\right) — jest dodatnia, mniejsza od 11, więc należy do AA, i mniejsza od rr, więc leży w sąsiedztwie. Zero jest punktem skupienia.
  3. Symetrycznie dla x0=1x_0 = 1: liczba 1min(r2,12)1 - \min\left(\frac{r}{2}, \frac{1}{2}\right) należy do AA i do sąsiedztwa jedynki.
  4. Sprawdzam punkt spoza domknięcia, na przykład x0=2x_0 = 2. Promień r=12r = \frac{1}{2} daje sąsiedztwo (32,2)(2,52)\left(\frac{3}{2}, 2\right) \cup \left(2, \frac{5}{2}\right), w którym nie ma żadnego punktu AA. Wystarczy jeden taki promień, żeby punkt skupienia wykluczyć.
  5. Zbiór punktów skupienia to zatem [0,1][0, 1].

Odpowiedź: Punktami skupienia jest przedział domknięty [0,1][0, 1]. Do AA nie należą dwa z nich: 00 i 11.

Przykład 2 Punkt izolowany — dowód przez wskazanie promienia

Wykaż, że w zbiorze A={1n:n=1,2,3,}A = \left\{\frac{1}{n} : n = 1, 2, 3, \ldots\right\} punkt 15\frac{1}{5} jest izolowany.

  1. Punkt należy do zbioru (dla n=5n = 5), więc pytanie brzmi: czy jest punktem skupienia, czy izolowanym. Trzeba wskazać jeden promień z pustym sąsiedztwem.
  2. Najbliżsi sąsiedzi 15\frac{1}{5} w zbiorze AA to 14\frac{1}{4} z prawej i 16\frac{1}{6} z lewej — bo ciąg 1n\frac{1}{n} jest malejący, więc kolejność elementów odpowiada kolejności wskaźników.
  3. Liczę obie odległości: 1415=5420=120\frac{1}{4} - \frac{1}{5} = \frac{5-4}{20} = \frac{1}{20} oraz 1516=6530=130\frac{1}{5} - \frac{1}{6} = \frac{6-5}{30} = \frac{1}{30}.
  4. Mniejsza z nich to 130\frac{1}{30}, bo 130<120\frac{1}{30} < \frac{1}{20}. Biorę więc dowolny promień mniejszy, na przykład r=160r = \frac{1}{60}.
  5. Sąsiedztwo S(15,160)S\left(\frac{1}{5}, \frac{1}{60}\right) nie zawiera ani 14\frac{1}{4}, ani 16\frac{1}{6}, ani żadnego dalszego elementu (te leżą jeszcze dalej). Przecięcie z AA jest puste.
  6. Kontrola sensowności: gdyby zamiast 160\frac{1}{60} wziąć r=110r = \frac{1}{10}, w sąsiedztwie znalazłoby się 16\frac{1}{6} — i dowód by nie wyszedł. Dlatego trzeba było policzyć odległość do bliższego sąsiada, a nie do dowolnego.

Odpowiedź: Dla r=160r = \frac{1}{60} sąsiedztwo punktu 15\frac{1}{5} nie zawiera żadnego elementu AA, więc punkt jest izolowany.

Przykład 3 Punkt skupienia spoza zbioru

Wykaż, że 00 jest punktem skupienia zbioru A={1n:n=1,2,3,}A = \left\{\frac{1}{n} : n = 1, 2, 3, \ldots\right\}, choć do niego nie należy.

  1. Najpierw przynależność: 0=1n0 = \frac{1}{n} nie zachodzi dla żadnego nn, bo ułamek o liczniku 11 nigdy nie jest zerem. Zatem 0A0 \notin A.
  2. Teraz warunek skupienia. Tym razem nie wolno wskazać jednego promienia — trzeba pokazać, że dla każdego r>0r > 0 w sąsiedztwie coś leży.
  3. Ustalam dowolne r>0r > 0. Szukam nn takiego, że 0<1n<r0 < \frac{1}{n} < r. Nierówność 1n<r\frac{1}{n} < r jest równoważna n>1rn > \frac{1}{r}.
  4. Takie nn istnieje zawsze — to zasada Archimedesa: liczby naturalne nie są ograniczone z góry, więc dla dowolnej liczby 1r\frac{1}{r} znajdzie się większa od niej liczba naturalna. Konkretnie wystarczy n=1r+1n = \left\lfloor \frac{1}{r} \right\rfloor + 1.
  5. Ten element 1n\frac{1}{n} jest dodatni, więc różny od zera, i mniejszy od rr — leży zatem w sąsiedztwie S(0,r)S(0, r) i należy do AA.
  6. Sprawdzenie na liczbach: dla r=11000r = \frac{1}{1000} wzór daje n=1001n = 1001, a 11001<11000\frac{1}{1001} < \frac{1}{1000} ✓.

Odpowiedź: Warunek zachodzi dla każdego r>0r > 0, więc 00 jest punktem skupienia AA — i jedynym, mimo że 0A0 \notin A.

Przykład 4 Zbiór bez punktów skupienia

Wykaż, że zbiór liczb całkowitych Z\mathbb{Z} nie ma żadnego punktu skupienia.

  1. Rozpatruję dwa przypadki, bo kandydatem na punkt skupienia może być dowolna liczba rzeczywista, nie tylko całkowita.
  2. Przypadek 1: x0=kx_0 = k jest liczbą całkowitą. Biorę r=12r = \frac{1}{2}. Sąsiedztwo to (k12,k)(k,k+12)\left(k - \frac{1}{2}, k\right) \cup \left(k, k + \frac{1}{2}\right), a żadna liczba całkowita tam nie leży — najbliższe to k1k-1 i k+1k+1, odległe o 1>121 > \frac{1}{2}.
  3. Przypadek 2: x0x_0 nie jest całkowita. Leży wtedy między dwiema kolejnymi liczbami całkowitymi, powiedzmy k<x0<k+1k < x_0 < k+1. Biorę rr mniejszy od obu odległości: r=12min(x0k,  k+1x0)r = \tfrac{1}{2}\min(x_0 - k,\; k + 1 - x_0), co jest liczbą dodatnią.
  4. Otoczenie O(x0,r)O(x_0, r) nie sięga ani do kk, ani do k+1k+1, a innych liczb całkowitych między nimi nie ma. Przecięcie z Z\mathbb{Z} jest puste.
  5. W obu przypadkach wskazałem promień z pustym sąsiedztwem, więc żaden punkt osi nie jest punktem skupienia Z\mathbb{Z}. Jednocześnie każda liczba całkowita należy do zbioru i nie jest jego punktem skupienia — czyli jest punktem izolowanym.

Odpowiedź: Z\mathbb{Z} nie ma punktów skupienia; wszystkie jego elementy są izolowane.

7Najczęstsze błędy

Cztery pomyłki: pierwsza bierze się z pomylenia kwantyfikatorów, druga z zamiany sąsiedztwa na otoczenie, a dwie ostatnie z mylenia przynależności ze skupieniem.

Dowodzenie skupienia przez wskazanie jednego promienia

Skąd się bierze: Definicja mówi „dla każdego rr”, więc sprawdzenie r=1100r = \frac{1}{100} niczego nie dowodzi — być może dla r=1106r = \frac{1}{10^6} sąsiedztwo byłoby już puste. Kwantyfikator ogólny wymaga rozumowania dla dowolnego rr, nie rachunku na przykładzie.

Jak zrobić dobrze: Zacznij od słów „ustalam dowolne r>0r > 0” i skonstruuj element zbioru zależny od rr — jak n>1rn > \frac{1}{r} w przykładzie trzecim. Odwrotnie przy obalaniu: tam wystarczy jeden promień, bo zaprzeczenie „dla każdego” to „istnieje”.

Używanie otoczenia zamiast sąsiedztwa w definicji punktu skupienia

Skąd się bierze: Z otoczeniem definicja się psuje: dla dowolnego x0Ax_0 \in A przecięcie O(x0,r)AO(x_0, r) \cap A nigdy nie jest puste, bo zawiera sam x0x_0. Każdy punkt zbioru byłby wtedy punktem skupienia, a pojęcie punktu izolowanego przestałoby istnieć.

Jak zrobić dobrze: Zapisuj warunek z symbolem SS, nie OO, i przy każdym sprawdzeniu pytaj: „czy znalazłem punkt różny od x0x_0?”. Znalezienie samego x0x_0 nie jest znalezieniem niczego.

Zakładanie, że punkt skupienia należy do zbioru

Skąd się bierze: Intuicja podpowiada, że skoro punkt „skupia” zbiór, to jest jego częścią. Przeczą temu oba najważniejsze przykłady: 00 jest jedynym punktem skupienia zbioru {1n}\left\{\frac{1}{n}\right\} i do niego nie należy, a 2\sqrt{2} jest punktem skupienia Q\mathbb{Q}, choć wymierna nie jest.

Jak zrobić dobrze: Traktuj przynależność i skupienie jako dwie niezależne własności. Możliwe są wszystkie cztery kombinacje, a najważniejsza dla analizy jest właśnie ta „nie należy, ale jest punktem skupienia” — to w takich punktach liczy się granice.

Pytanie o granicę w punkcie, który nie jest punktem skupienia dziedziny

Skąd się bierze: Zapis limx3f(x)\lim_{x \to 3} f(x) dla funkcji określonej tylko na Z\mathbb{Z} nie jest fałszywy — on jest niezdefiniowany. Nie ma po czym się zbliżać, więc warunek z definicji byłby spełniony pusto przez każdą liczbę gg naraz, co czyniłoby granicę nieokreśloną.

Jak zrobić dobrze: Zanim policzysz granicę, sprawdź, czy punkt jest punktem skupienia dziedziny. Przy funkcjach danych wzorem jest to zwykle oczywiste, ale przy funkcjach określonych na zbiorach dyskretnych albo z dziurami — już nie.

8Pytania i odpowiedzi

Czy otoczenie i punkt skupienia są na maturze?

Nie. Podstawa programowa wprowadza granice opisowo, bez aparatu topologicznego — w zakresie rozszerzonym uczeń oblicza granice ciągów i funkcji, ale definicji z otoczeniami nie musi znać. Te pojęcia pojawiają się na pierwszym wykładzie z analizy matematycznej na studiach.

Czym różni się otoczenie od sąsiedztwa?

Sąsiedztwo to otoczenie z usuniętym środkiem — jedyna różnica polega na wykluczeniu samego punktu. Rozróżnienie jest kluczowe przy granicy: po stronie argumentów używa się sąsiedztwa, bo wartość funkcji w punkcie nie ma wpływu na granicę, a po stronie wartości używa się otoczenia.

Czy punkt skupienia musi należeć do zbioru?

Nie i najczęściej nie należy. Zbiór {1n}\left\{\frac{1}{n}\right\} ma dokładnie jeden punkt skupienia, zero, które do niego nie należy; przedział otwarty (0,1)(0,1) ma dwa takie punkty — swoje końce. Zbiór zawierający wszystkie swoje punkty skupienia nazywamy domkniętym.

Czy zbiór skończony może mieć punkt skupienia?

Nie może. W każdym sąsiedztwie punktu skupienia musi leżeć nieskończenie wiele elementów zbioru, a w zbiorze skończonym nieskończenie wielu elementów po prostu nie ma. Wszystkie elementy zbioru skończonego są więc punktami izolowanymi — wystarczy wziąć promień mniejszy od najmniejszej odległości między nimi.

Po co to komu, skoro granice liczy się bez tych pojęć?

Bo bez nich nie da się rozstrzygnąć przypadków spornych. To dzięki nim wiadomo, dlaczego granica nie zależy od wartości w punkcie, dlaczego dla ciągów mówi się o granicy w nieskończoności, a nie w punkcie, i dlaczego z ograniczonego ciągu zawsze da się wybrać podciąg zbieżny. Rachunkowo są niepotrzebne, pojęciowo — nieodzowne.

Czytaj dalej

Mateusz Będkowski — nauczyciel matematyki, autor serwisu Nie każ mu liczyć

Mateusz Będkowski

nauczyciel matematyki, autor „Nie każ mu liczyć”

Uczę matematyki od 13 lat, w tym 7 lat w szkole — dziś w dwóch szkołach w Kaliszu. Magister pedagogiki ze specjalnością terapia pedagogiczna, po studiach podyplomowych z matematyki. Rozwiązania na tej stronie liczę sam, krok po kroku, i zapisuję dokładnie tak, jak tłumaczę je uczniowi na kartce.

Ostatnia aktualizacja: 2026-08-02. Tekst redakcji „Nie każ mu liczyć”.