Otoczenia punktu: definicja, intuicja i zadania do druku

Czytelna definicja otoczenia punktu

Otoczenie punktu w analizie i topologii – ogólna idea

Pojęcie otoczenia punktu leży w samym sercu analizy matematycznej i topologii. Intuicyjnie chodzi o to, aby wskazać taki „mały obszar” wokół danego punktu, w którym coś interesującego ma się dziać: funkcja jest określona, zachowuje się „ładnie”, obowiązuje pewna własność, nie ma innych punktów z danego zbioru itp.

W najprostszym przypadku – w prostej linii liczbowej – otoczeniem punktu nazywa się każdy przedział otwarty zawierający ten punkt, np. dla liczby a takim otoczeniem jest przedział (a−ε, a+ε), gdzie ε>0. W języku topologii mówi się, że jest to otoczenie w sensie przestrzeni metrycznej, a konkretniej – pewna kula otwarta.

W przestrzeni bardziej ogólnej (np. na płaszczyźnie, na sferze, w abstrakcyjnej przestrzeni topologicznej) nie zawsze dysponujemy odległością w zwykłym sensie. Zamiast tego korzystamy z zbiorów otwartych. Otoczenie punktu to wtedy dowolny zbiór, który zawiera w sobie jakiś zbiór otwarty z tym punktem w środku. To podejście jest bardzo elastyczne – działa zarówno na prostej, jak i na dowolnej przestrzeni topologicznej.

Formalna definicja w przestrzeni metrycznej

Przestrzeń metryczna to para (X, d), gdzie X jest zbiorem, a d – metryką, czyli funkcją mierzącą odległość między punktami: d : X×X → ℝ z typowymi własnościami (symetria, nierówność trójkąta, równość zeru tylko na przekątnej).

Dla punktu x ∈ X i liczby r>0 definiuje się kulę otwartą wokół x o promieniu r jako zbiór:

B(x,r) = { y ∈ X : d(x,y) < r }.

W takiej przestrzeni przyjmuje się zwykle następującą definicję:

Otoczeniem punktu x nazywamy każdy zbiór U ⊆ X, dla którego istnieje r>0 takie, że B(x,r) ⊆ U. Innymi słowy, otoczenie x to zbiór, który zawiera jakąś kulę otwartą z centrum w x. Nie wystarczy, że punkt należy do zbioru – musi istnieć również cały „mały bąbel” wokół tego punktu, który jest w całości w środku.

Ta definicja jest bardzo praktyczna, bo pozwala używać intuicji związanej z odległością: otoczenie to coś, w czym możemy „poruszać się odrobinę” bez wychodzenia na zewnątrz.

Definicja w przestrzeni topologicznej

W czystej topologii nie zawsze mamy do dyspozycji odległości w sensie metryki. Zamiast tego pracujemy z rodziną zbiorów otwartych. Przestrzeń topologiczna to para (X, τ), gdzie X jest zbiorem, a τ – topologią, czyli rodziną podzbiorów X, spełniającą kilka aksjomatów (zawiera zbiór pusty i cały X, jest zamknięta na sumy dowolne i przecięcia skończone).

W tej sytuacji:

Otoczeniem punktu x nazywamy każdy zbiór U ⊆ X, dla którego istnieje zbiór otwarty O ∈ τ taki, że x ∈ O ⊆ U. Czyli otoczenie to zbiór, który jest „wystarczająco szeroki”, aby pomieścić jakiś otwarty fragment z punktem w środku.

Taka definicja jest uogólnieniem definicji metrycznej: w przestrzeni metrycznej zbiorami otwartymi są unie kul otwartych. Kula otwarta jest więc szczególnym przypadkiem otoczenia, ale nie każdym otoczeniem musi być kula – otoczenie to zbiór, który ma w sobie pewną kulę.

Intuicja: jak „widzieć” otoczenie punktu

Wyobrażenie na osi liczbowej

Na osi liczbowej ℝ z typową metryką d(x,y)=|x−y| otoczenie punktu a można zobaczyć jako przedział otwarty zawierający a. Klasyczny przykład: dla ε>0 przedział (a−ε, a+ε) jest kulą otwartą B(a,ε). Jeśli zbiór U zawiera taki przedział, wtedy jest otoczeniem a.

Dla liczby a=0 otoczeniami są np.:

• (−1,1),
• (−0,001, 0,001),
• zbiór (−1,1) ∪ (2,3) – bo zawiera cały przedział wokół 0,
• zbiór wszystkich liczb rzeczywistych oprócz 5 – bo też zawiera „mały” przedział wokół 0.

Zbiór {0} nie jest otoczeniem zera, ponieważ nie da się znaleźć dodatniego ε tak, żeby (−ε,ε) ⊆ {0}. Każdy niezerowy punkt z tego przedziału od razu łamie warunek.

Takie oglądanie otoczenia punktu na osi pomaga w zadaniach z granic, ciągłości czy pochodnych: operujemy na pewnym „marginesie swobody” wokół interesującej nas liczby, zamiast patrzeć tylko na sam punkt.

Obraz na płaszczyźnie i w przestrzeni trójwymiarowej

Na płaszczyźnie ℝ² otoczenie punktu (x₀, y₀) można kojarzyć z dyskiem otwartym – wnętrzem okręgu o pewnym promieniu. Klasyczna kula (dysk) otwarta w metryce euklidesowej ma postać:

B((x₀,y₀), r) = { (x,y) : √((x−x₀)² + (y−y₀)²) < r }.

Każdy zbiór, który zawiera taki dysk, jest otoczeniem punktu (x₀,y₀). Może to być np. figura o skomplikowanym kształcie, ważne, aby w środku znalazło się „pełne kółko” wokół punktu.

W przestrzeni trójwymiarowej ℝ³ sytuacja jest analogiczna: podstawowym przykładem otoczenia jest wnętrze kuli (bez powierzchni). W geometrii i fizyce często pojawiają się takie lokalne argumenty: „weźmy małą kulkę wokół punktu i policzmy strumień pola” – to nic innego jak operowanie na otoczeniach.

Otoczenie a „brak brzegu” w punkcie

Otoczenie punktu nie może być „ścięte” od razu na jego brzegu. Jeżeli punkt leży na brzegu zbioru, zwykle nie da się znaleźć otoczenia zawartego całkowicie w tym zbiorze. To fundamentalna intuicja: punkt we wnętrzu zbioru ma ciągłą „buforową strefę” wokół siebie, punkt na brzegu – już nie.

Na osi liczbowej:

• dla zbioru (0,1) punkt 0,5 ma otoczenie zawarte w zbiorze (np. (0,4,0,6)),
• punkt 0 nie ma otoczenia w całości leżącego w (0,1), bo każdy przedział wokół 0 zawiera liczby ujemne.

Stąd naturalna definicja wnętrza zbioru: to zbiór wszystkich punktów, które mają jakieś otoczenie zawarte w tym zbiorze. Otoczenia punktu w sposób automatyczny prowadzą więc do kilku kluczowych pojęć topologicznych – bez nich trudno sensownie mówić o „środku” i „brzegu”.

Różne rodzaje otoczeń punktu

Otoczenia otwarte, domknięte i półotwarte

W praktyce używa się kilku odmian otoczeń, w zależności od potrzeb zadania. Najczęściej pojawiają się:

• otoczenie otwarte,
• otoczenie domknięte,
• otoczenie półotwarte (np. w definicjach jednostronnych granic).

Otoczenie otwarte to po prostu otoczenie w standardowym sensie – zbiór, który zawiera jakiś zbiór otwarty z danym punktem w środku. W metrycznej postaci: zbiór, w którym da się „wrysować” kulę otwartą z centrum w punkcie.

Otoczenie domknięte można rozumieć jako zbiór, który zawiera pewną kulę otwartą wraz z jej brzegiem (lub jest nadzbiorem takiego zbioru). W zadaniach szkolnych częściej spotyka się po prostu sformułowanie „kula domknięta wokół punktu” – wtedy zbiór ma postać {y : d(x,y) ≤ r}.

W definicji otoczenia rzadko wymaga się, aby otoczenie było domknięte. Najczęściej wystarczy, że zawiera w sobie jakiś otwarty „rdzeń”. Domkniętość przydaje się natomiast w zadaniach z ciągłości na przedziałach domkniętych czy w twierdzeniach typu Heinego–Cantora.

Otoczenia jednostronne

W analizie jednej zmiennej kluczowe znaczenie mają otoczenia jednostronne, szczególnie przy granicach jednostronnych oraz pochodnej jednostronnej. Dla punktu a na osi liczbowej definiuje się:

• prawe otoczenie – np. przedział (a, a+ε),
• lewe otoczenie – np. przedział (a−ε, a).

Otoczenie jednostronne można postrzegać jako klasyczne otoczenie, ale rozpatrywane w innej przestrzeni topologicznej: np. dla prawej granicy w przestrzeni [a, +∞) z topologią odziedziczoną z ℝ. W codziennej pracy rachunkowej wystarczy jednak pamiętać, że:

• w granicy lim_x→a⁺ f(x) rozpatrujemy wartości w prawych otoczeniach a,
• w granicy lim_x→a⁻ f(x) – w lewych otoczeniach.

To proste rozróżnienie pomaga szybko zdiagnozować, z której strony funkcja podchodzi do danej wartości i dlaczego granica może nie istnieć, jeśli zachowania lewo- i prawostronne różnią się.

Otoczenia standardowe i usunięte

W definicjach granicy i pochodnej pojawia się jeszcze jedno rozróżnienie: otoczenie standardowe i otoczenie usunięte (nakłute). Dla punktu a na prostej:

• standardowe otoczenie – np. (a−ε, a+ε),
• otoczenie usunięte – np. (a−ε, a+ε) {a}.

W definicji granicy lim_x→a f(x) = L warunek dotyczy wszystkich punktów x dostatecznie blisko a, ale x ≠ a. Dlatego formalnie operuje się na otoczeniu usuniętym:

Dla każdego ε>0 istnieje δ>0 takie, że dla wszystkich x spełniających 0 < |x−a| < δ zachodzi |f(x)−L| < ε. Zapis 0<|x−a|<δ oznacza dokładnie, że x znajduje się w otoczeniu usuniętym a (bez samego punktu).

Przy zadaniach z granicami uczniowie często „gubią” ten warunek x≠a. Świadome odwołanie do pojęcia otoczenia usuniętego porządkuje myślenie: granica opisuje zachowanie funkcji „blisko punktu”, niekoniecznie w nim samym.

Otoczenie punktu a podstawowe pojęcia topologii

Punkt wewnętrzny, brzegowy i przyległy

Mając do dyspozycji pojęcie otoczenia punktu, można precyzyjnie zdefiniować kilka typów punktów względem zbioru A ⊆ X:

• punkt wewnętrzny zbioru A – punkt x, dla którego istnieje otoczenie U takie, że U ⊆ A,
• punkt brzegowy zbioru A – punkt x, którego każde otoczenie przecina zarówno A, jak i jego dopełnienie,
• punkt przyległy (punkt skupienia) – punkt, którego każde otoczenie zawiera inny punkt zbioru A.

Na osi liczbowej dla zbioru (0,1):

Klasyfikacja punktów na prostych przykładach

Dla zbioru A = (0,1) w ℝ z typową metryką:

• każdy punkt z przedziału (0,1) (np. 0,3, 0,9) jest punktem wewnętrznym, bo istnieje przedział otwarty wokół niego całkowicie zawarty w (0,1),
• punkty 0 i 1 są punktami brzegowymi – każde ich otoczenie zawiera liczby z (0,1) oraz spoza tego przedziału,
• każdy punkt z [0,1] jest punktem przyległym dla A, gdyż w każdym jego otoczeniu znajdzie się punkt z (0,1) różny od rozważanego.

Zauważmy przy tym, że punkty brzegowe nie muszą należeć do zbioru: w przykładzie wyżej 0 i 1 są brzegowe, ale nie należą do A. W zadaniach rachunkowych prowadzi to do typowego rozróżnienia: funkcja może mieć „brzeg domeny” w miejscu, w którym sama nie jest zdefiniowana.

Dla zbioru A = [0,1] klasyfikacja wygląda nieco inaczej:

• punkty z (0,1) nadal są wewnętrzne,
• punkty 0 i 1 są brzegowe i jednocześnie należą do zbioru,
• punkty spoza [0,1] (np. −2, 3) nie są ani wewnętrzne, ani brzegowe, ale mogą być przyległe do innych zbiorów.

Wnętrze, domknięcie i brzeg zbioru przez pryzmat otoczeń

Za pomocą otoczeń formułuje się trzy kluczowe operacje na zbiorach w przestrzeni metrycznej (lub topologicznej):

• wnętrze zbioru A – to zbiór wszystkich jego punktów wewnętrznych,
• domknięcie zbioru A – zbiór wszystkich punktów, które są przyległe do A (plus ewentualnie punkty samego A, jeśli definicja punktu przyległego ich nie wymaga),
• brzeg zbioru A – zbiór wszystkich jego punktów brzegowych.

Można to zapisać schematycznie:

• int(A) – wnętrze,
• cl(A) – domknięcie,
• ∂A = cl(A) int(A) – brzeg.

Dla zbioru A = (0,1) na osi mamy:

• int(A) = (0,1),
• cl(A) = [0,1],
• ∂A = {0,1}.

Przy rozwiązywaniu zadań z topologii metrycznej przydatna jest praktyczna reguła: jeżeli dla punktu x można znaleźć jakieś otoczenie zawarte w A, to x należy do wnętrza; jeżeli każde otoczenie x przecina A, to x należy do domknięcia.

Zastosowanie pojęcia otoczenia w analizie

Definicja granicy funkcji przez otoczenia

W ogólnej przestrzeni metrycznej (X,d) i przestrzeni metrycznej wartości (Y,ρ) definicję granicy funkcji f : X ⊇ D → Y w punkcie a można zapisać w języku otoczeń.

Niech a będzie punktem przyległym do dziedziny D. Mówimy, że f(x) dąży do L w punkcie a, jeśli dla każdego otoczenia V punktu L istnieje otoczenie usunięte U{a} punktu a takie, że:

x ∈ D ∩ (U{a}) ⇒ f(x) ∈ V.

Na osi liczbowej, gdy X = Y = ℝ, powyższe zdanie jest odpowiednikiem klasycznej definicji ε–δ. Otoczenia punktu a odpowiadają tu przedziałom otwartym wokół a, a otoczenia punktu L – przedziałom otwartym wokół L.

Ciągłość funkcji przez otoczenia

Pojęcie ciągłości też bardzo naturalnie formułuje się otoczeniowo. Funkcja f : X → Y jest ciągła w punkcie a ∈ X, jeśli dla każdego otoczenia V punktu f(a) istnieje takie otoczenie U punktu a, że:

f(U) ⊆ V.

Innymi słowy, jeżeli „przybliżymy się” do a na tyle, by pozostać w otoczeniu U, to wartości funkcji też pozostaną w odpowiednim „bezpiecznym” otoczeniu V obrazu f(a).

Na prostej rzeczywistej tłumaczy się to następująco: dla każdego „marginesu” ε w pionie (dla wartości funkcji) istnieje „margines” δ w poziomie (dla argumentów), tak że:

|x−a| < δ ⇒ |f(x)−f(a)| < ε,

czyli: x leży w pewnym otoczeniu punktu a, to f(x) leży w odpowiadającym otoczeniu punktu f(a).

Ciągłość globalna i otoczenia obrazów

W bardziej abstrakcyjnym ujęciu mówi się, że funkcja f : X → Y jest ciągła wtedy i tylko wtedy, gdy obraz każdego zbioru otwartego w X jest „dobrze zachowujący się” względem otoczeń, albo równoważnie – przeciwobraz każdego zbioru otwartego w Y jest zbiorem otwartym w X.

Stwierdzenie o przeciwobrazach (preimage) jest praktycznie użyteczne: jeżeli dla dowolnego otwartego V ⊆ Y zbiór f⁻¹(V) jest otwarty w X, to funkcja jest ciągła. W języku otoczeń oznacza to, że topologia – czyli informacja o tym, jakie zbiory są otoczeniami punktów – dobrze przenosi się przez funkcję.

Otoczenia w innych przestrzeniach niż ℝ

Otoczenia w przestrzeniach z inną metryką

Dotychczasowe przykłady korzystały z metryki euklidesowej (standardowej), ale definicja otoczenia nie wymaga jej wprost. Wystarczy dowolna metryka.

Rozważmy na przykład metrykę maksimum na ℝ²:

d_∞((x,y),(x₀,y₀)) = max{|x − x₀|, |y − y₀|}.

Kula otwarta w tej metryce ma postać:

B_∞((x₀,y₀), r) = { (x,y) : max{|x−x₀|, |y−y₀|} < r },

czyli jest kwadratem (bez brzegu) o środku w (x₀,y₀), którego boki są równoległe do osi układu współrzędnych. Otoczenie punktu w tej przestrzeni można więc „widzieć” nie jako dysk, lecz jako kwadrat. To, co pozostaje niezmienne, to sama idea: otoczenie musi zawierać jakąś kulę (tu – kwadratową) wokół punktu.

Otoczenia w przestrzeniach z normą

Jeżeli przestrzeń jest liniowa i wyposażona w normę ∥·∥, to metrykę definiuje się przez d(x,y) = ∥x−y∥. Otoczenia to wtedy zbiory zawierające pewną kulę w sensie tej normy.

Dla przestrzeni ciągów z normą supremum:

c₀ = { (x_n) : x_n → 0 }, ∥x∥ = sup_n |x_n|,

kulą otwartą wokół ciągu x = (x_n) jest zbiór wszystkich ciągów y = (y_n) takich, że sup_n |y_n − x_n| < r. Otoczeniem jest dowolny zbiór zawierający taką kulę. W analizie funkcjonalnej w ten sposób opisuje się „małe perturbacje” funkcji czy ciągów.

Otoczenia w przestrzeni dyskretnej

Skrajnym przykładem jest przestrzeń dyskretna, w której wszystkie jednopunktowe zbiory są otwarte. Można ją uzyskać np. przez metrykę:

d(x,y) = 0, gdy x = y, oraz d(x,y) = 1, gdy x ≠ y.

Jak wtedy wyglądają otoczenia? Dla promienia r < 1 kula otwarta B(x,r) jest po prostu zbiorem {x}. Każde otoczenie punktu x musi więc zawierać co najmniej ten jednoelementowy zbiór, ale nie ma potrzeby, aby obejmowało jakiekolwiek inne punkty.

W takiej przestrzeni każdy zbiór jest otwarty, a każda funkcja z niej do dowolnej innej przestrzeni metrycznej jest ciągła. Pokazuje to, że intuicje z ℝ nie zawsze da się przenieść bez modyfikacji – definicja otoczenia jest ta sama, ale jej konsekwencje zależą od wybranej topologii.

Otoczenia punktu w praktyce rachunkowej

Typowe schematy zadań z granicą

W zadaniach z granicą funkcji jednej zmiennej pojęcie otoczenia najczęściej kryje się za zapisami typu:

• „dla dostatecznie małych dodatnich δ”,
• „dla wszystkich x bliskich a”,
• „istnieje takie δ, że jeśli 0 < |x−a| < δ, to …”.

W każdym z tych sformułowań występuje de facto otoczenie usunięte punktu a. Dobrą praktyką jest rysowanie na osi liczbowej najpierw otoczenia (L−ε, L+ε), a potem poszukiwanie takiego δ, by:

f((a−δ,a+δ){a}) ⊆ (L−ε, L+ε).

Takie podejście „na obrazek z otoczeniami” pomaga szybko wychwycić, gdzie granica nie istnieje – zazwyczaj tam, gdzie nie da się dobrać jednego wspólnego otoczenia wartości L odpowiadającego otoczeniom wokół a z obu stron.

Ciągłość w punktach brzegowych dziedziny

Gdy funkcja jest zdefiniowana na przedziale typu [a,b] lub (a,b], w punkcie brzegowym stosuje się odpowiednie otoczenia jednostronne. Dla funkcji f : [a,b] → ℝ ciągłość w punkcie a można sformułować następująco:

dla każdego otoczenia V punktu f(a) istnieje prawe otoczenie U punktu a (to znaczy takie, że U ⊆ [a,b] i ma postać np. [a,a+δ)), dla którego f(U) ⊆ V.

Na osi oznacza to, że badamy zachowanie funkcji tylko „od strony wnętrza” dziedziny, a nie próbujemy wymuszać istnienia wartości z lewej strony, gdzie funkcja w ogóle nie jest określona. W praktyce uczeń liczy wtedy granicę jednostronną lim_x→a⁺ f(x) i porównuje ją z f(a).

Otoczenia w zadaniach z pochodną

Definicja pochodnej w punkcie a:

f′(a) = lim_x→a (f(x)−f(a))/(x−a),

również opiera się na otoczeniu usuniętym punktu a. Argument x ma „krążyć” wokół a, ale nigdy nie może się z nim zrównać, aby uniknąć dzielenia przez zero. Analiza zbieżności ilorazu różnicowego jest więc badaniem zachowania funkcji w otoczeniu a, a nie w samym punkcie.

Typowe nieporozumienia związane z otoczeniami

Otoczenie to nie „dowolnie mały” zbiór

W wielu rozwiązaniach pojawia się intuicja, że otoczenie punktu to „dowolnie mały przedział” lub „kulką o promieniu bliskim zera”. Tymczasem samą definicję otoczenia formułuje się dla ustalonego promienia lub dla konkretnego zbioru zawierającego jakąś kulę. W rachunku granic operujemy rodziną wszystkich takich otoczeń – „dowolnie małych”, ale zawsze dodatnich.

Przy ocenie granicy nie wolno więc wprost „podstawić δ = 0” albo „ε = 0”, bo wtedy otoczenie przestałoby być otwarte, a warunki definicji granicy lub ciągłości przestają mieć sens. To, że granica „zbliża się” do L, dokładnie znaczy: dla każdego dodatniego rozmiaru otoczenia V wokół L da się dobrać odpowiednie otoczenie argumentów.

Otoczenie punktu to nie tylko przedział

Na osi liczbowej otoczenia naturalnie zapisuje się jako przedziały (np. (a−δ,a+δ)), więc łatwo pomylić „otoczenie” z „przedziałem”. Jednak pojęcie otoczenia jest szersze – nie wymaga kształtu przedziału ani kulki.

W ogólnej przestrzeni metrycznej otoczeniem jest każdy zbiór, który zawiera jakąś kulę wokół danego punktu. Na prostej także: jeżeli U jest zbiorem zawierającym przedział otwarty wokół a, to U jest otoczeniem a, mimo że może mieć bardzo „poszarpany” kształt (np. przedział z kilkoma „dziurami”, dołożonymi pojedynczymi punktami itd.).

Otoczenie usunięte a wartość w punkcie

W definicji granicy lim_x→a f(x) kluczowe jest, że badamy otoczenie usunięte a, czyli U{a}. Nieuwzględnienie tego prowadzi do błędnego wniosku, że granica „zależy” od wartości funkcji w punkcie. Tymczasem można mieć funkcję nieokreśloną w a lub mieć „dziurę”, a granica może istnieć i być dobrze określona.

Typowy przykład rachunkowy to funkcja:

f(x) = (x² − 1)/(x − 1), dla x ≠ 1.

W punkcie x = 1 funkcja nie jest zdefiniowana, ale w otoczeniu usuniętym 1 zgadza się z funkcją x ↦ x+1. Granica przy x→1 istnieje i wynosi 2. Właśnie dlatego, że analizujemy wartości funkcji w otoczeniach punktu, a nie w samym punkcie.

Zadania do samodzielnego rozwiązania

Ćwiczenia z otoczeniami na osi liczbowej

Proste zadania z otoczeniami pomagają oswoić notację ε–δ i zrozumieć, jak „pracuje” definicja granicy. Poniższe przykłady nadają się do przepisania na kartkę i rozwiązania krok po kroku.

Zadanie 1

Dla funkcji f(x) = 3x − 5 oraz punktu a = 2:

1. Narysuj na osi liczbowej otoczenie V = (1,3) punktu L = f(2).
2. Znajdź takie otoczenie U = (2−δ, 2+δ) punktu a, aby f(U) ⊆ V.
3. Sprawdź rachunkowo, jakie wartości δ spełniają ten warunek.

Zadanie 2

Rozważ funkcję g(x) = x² w punkcie a = 1. Niech ε = 0,1 i otoczenie wartości:

V = (1−ε, 1+ε).

1. Wyznacz przedział U = (1−δ, 1+δ) tak, aby dla każdego x ∈ U zachodziło g(x) ∈ V.
2. Na rysunku zaznacz otoczenie V na osi wartości (pionowej) i odpowiadające mu otoczenie U na osi argumentów (poziomej).
3. Spróbuj dobrać δ „na oko” z wykresu, a potem porównaj z wynikiem rachunkowym.

Zadanie 3

Dla funkcji h(x) = 1/x i punktu a = 2 przyjmij otoczenie wartości:

V = (1/2 − 0,01, 1/2 + 0,01).

1. Znajdź takie otoczenie U punktu 2, dla którego h(U{2}) ⊆ V.
2. Uzasadnij, że znalezione U jest otoczeniem punktu 2 w sensie metrycznym.
3. Zastanów się, co zmieni się w obliczeniach, jeśli zamienisz 0,01 na dowolne dodatnie ε.

Otoczenia w zadaniach z przedziałami dziedziny

Zadanie 4

Dana jest funkcja f : [0,3] → ℝ określona wzorem:

f(x) = √x.

1. Sformułuj definicję ciągłości f w punkcie a = 0 w języku otoczeń jednostronnych.
2. Dla wybranego ε > 0 wyznacz prawe otoczenie U punktu 0, dla którego f(U) ⊆ (−ε, ε).
3. Narysuj przedział dziedziny i zaznacz, że rozważasz otoczenia tylko „od środka” przedziału [0,3].

Zadanie 5

Niech g : (−1,2] → ℝ, gdzie:

g(x) = x³.

1. Sprawdź ciągłość funkcji w punkcie brzegowym a = 2 za pomocą definicji otoczeniowej.
2. Opisz słownie, jak wygląda prawe otoczenie punktu 2 w tej dziedzinie.
3. Zaznacz na rysunku dziedzinę funkcji oraz odpowiednie otoczenia U i V.

Ćwiczenia z otoczeniami w innych przestrzeniach

Zadanie 6

W przestrzeni ℝ² z metryką euklidesową rozważ punkt a = (1,2). Niech U będzie zbiorem:

U = { (x,y) ∈ ℝ² : x² + y² < 16 }.

1. Sprawdź, czy U jest otoczeniem punktu a.
2. Jeśli tak, znajdź promień r > 0 taki, że B(a,r) ⊆ U.
3. Narysuj okrąg wyznaczający granicę U i zaznacz punkt a oraz kulę B(a,r).

Zadanie 7

W przestrzeni ℝ² z metryką maksimum d_∞ niech:

V = { (x,y) : |x−1| < 0,5 i |y−2| < 0,5 }.

1. Pokaż, że V jest kulą otwartą w metryce maksimum wokół punktu a = (1,2).
2. Opisz geometrycznie, jak wygląda to otoczenie (jakiego kształtu jest zbiór, jak ustawione są jego boki).
3. Porównaj z kulą euklidesową o środku w a i tym samym „promieniu” 0,5.

Zadanie 8

W przestrzeni ciągów c₀ z normą supremum ∥x∥ = sup_n |x_n| rozważ punkt x = (1, 1/2, 1/3, 1/4, …) i promień r = 0,1.

1. Opisz zbiór B(x,r) słowami: jak wyglądają ciągi należące do tej kuli?
2. Wyjaśnij, dlaczego każda mała zmiana pojedynczego wyrazu ciągu nie większa niż 0,1 daje ciąg należący do B(x,r).
3. Podaj przykład ciągu, który nie należy do B(x,r) ze względu na „za dużą” zmianę któregoś z wyrazów.

Szkice rozwiązań i wskazówki

Wykorzystywanie definicji otoczeniowej

W zadaniach, gdzie pojawiają się warunki typu f(U) ⊆ V, przydatny bywa uporządkowany schemat:

1. Najpierw oblicz wartość funkcji w punkcie a (lub kandydata na granicę L).
2. Zapisz „na czysto” wybrane otoczenie wartości (np. V = (L−ε, L+ε) albo jego odpowiednik w innej przestrzeni).
3. Podstaw postać funkcji do nierówności opisującej V i algebraicznie wyizoluj zmienną x.
4. Z otrzymanych warunków odczytaj, jakie otoczenie U (przedział, kula, kwadrat) działa.

W przybliżeniu: zaczynaj od otoczenia wartości, dochodź do warunku na argumenty. W kierunku przeciwnym (od argumentów do wartości) trudniej jest planowo dobrać parametry.

Rysunkowe myślenie o otoczeniach

W prostych zadaniach na osi liczbowej i w ℝ² dobrze jest każdorazowo wykonać choćby schematyczny rysunek:

• zaznaczyć punkt a,
• narysować jedno przykładowe otoczenie U (przedział, okrąg, kwadrat),
• pokazać, jak funkcja przekształca to otoczenie w obraz f(U) i porównać z V.

Taki obraz pozwala w praktyce szybko rozpoznać, czy szukane otoczenia można dobrać wspólnie z lewej i z prawej strony (istnienie granicy), czy tylko jednostronnie, albo wcale.

Propozycje kart pracy do druku

Układ gotowych zadań na jedną stronę A4

Dla pracy na lekcji lub samodzielnych ćwiczeń można przygotować prostą kartę pracy poświęconą wyłącznie otoczeniom. Przykładowy układ:

1. Część A – otoczenia na osi ℝ
   Krótka definicja otoczenia przedziałowego, a pod nią kilka zadań w stylu:
   • „Zaznacz na osi otoczenia punktu 2 o promieniu 0,5, 1, 3”.
   • „Podaj trzy różne zbiory, które są otoczeniami punktu 0, i trzy różne, które nie są”.
   • „Dla funkcji liniowej f(x) = 2x+1 znajdź U odpowiadające V = (5,7)”
2. Część B – granica przez otoczenia
   Krótka ramka z definicją granicy funkcji jednej zmiennej w zapisie ε–δ, a potem:
   • „Ustal ε = 0,1 i znajdź δ dla funkcji f(x) = x, a = 3”.
   • „Znajdź przykładowe δ dla funkcji f(x) = x², a = 1, ε = 0,5”.
3. Część C – otoczenia w innych przestrzeniach
   Dwa rysunki w ℝ²: kula euklidesowa i kwadrat w metryce maksimum. Krótkie zadania:
   • „Oznacz środek i promień kulki/kwardatu”.
   • „Zaznacz przykładowy punkt z otoczenia i punkt spoza otoczenia”.

Rozbudowana karta z zadaniami dowodowymi

Dla studentów lub uczniów zaawansowanych można przygotować drugą kartę, bardziej teoretyczną. Mogą się na niej znaleźć polecenia typu:

• „Udowodnij równoważność definicji granicy przez otoczenia i przez ciągi”.
• „Pokaż, że jeśli funkcja jest ciągła w sensie otoczeniowym, to przeciwobraz każdego otwartego zbioru jest otwarty”.

Najczęściej zadawane pytania (FAQ)

Co to jest otoczenie punktu w analizie matematycznej?

Otoczenie punktu to „mały obszar” wokół danego punktu, w którym możemy poruszać się odrobinę, nie wychodząc poza rozważany zbiór. Formalnie: to zbiór, który zawiera jakiś zbiór otwarty z tym punktem w środku.

Na prostej liczbowej typowym otoczeniem liczby a jest przedział otwarty (a−ε, a+ε), gdzie ε > 0. W tak rozumianym otoczeniu analizuje się m.in. granice, ciągłość i pochodne funkcji.

Jaka jest definicja otoczenia punktu w przestrzeni metrycznej?

W przestrzeni metrycznej (X, d) otoczeniem punktu x ∈ X nazywamy każdy zbiór U ⊆ X, dla którego istnieje r > 0 takie, że kula otwarta B(x, r) jest zawarta w U, czyli B(x, r) ⊆ U.

Kulę otwartą definiujemy jako B(x, r) = { y ∈ X : d(x, y) < r }. W praktyce: U jest otoczeniem x, jeśli da się „wpisać” w U jakąś kulę otwartą z centrum w x.

Jaka jest definicja otoczenia punktu w przestrzeni topologicznej?

W przestrzeni topologicznej (X, τ) otoczeniem punktu x ∈ X nazywamy każdy zbiór U ⊆ X, dla którego istnieje zbiór otwarty O ∈ τ taki, że x ∈ O ⊆ U.

Oznacza to, że U musi zawierać jakiś otwarty zbiór z x „w środku”. Jest to uogólnienie definicji z przestrzeni metrycznej, gdzie zbiorami otwartymi są m.in. kule otwarte.

Jak rozpoznać, że zbiór jest otoczeniem danego punktu?

Aby zbiór U był otoczeniem punktu x, nie wystarczy, że x ∈ U. Musi istnieć „bufor bezpieczeństwa”: cały mały zbiór otwarty z x w środku musi się mieścić w U.

Na osi liczbowej: U jest otoczeniem a, jeśli da się znaleźć ε > 0 takie, że (a−ε, a+ε) ⊆ U. Na przykład zbiór (−1,1) ∪ (2,3) jest otoczeniem 0, ale zbiór {0} – nie.

Jaka jest różnica między otoczeniem punktu a wnętrzem zbioru?

Otoczenie dotyczy jednego, konkretnego punktu: to dowolny zbiór, który zawiera wokół tego punktu pewien „mały” otwarty fragment. Wnętrze zbioru to z kolei zbiór wszystkich punktów, które mają jakieś otoczenie w całości zawarte w tym zbiorze.

Inaczej mówiąc, punkt należy do wnętrza zbioru A wtedy i tylko wtedy, gdy istnieje jego otoczenie U takie, że U ⊆ A. Punkty, które nie mają takiego otoczenia, traktuje się jako punkty brzegowe.

Czym różni się otoczenie otwarte od domkniętego?

Otoczenie otwarte to standardowe otoczenie: zbiór zawierający jakiś zbiór otwarty z danym punktem w środku. Nie wymaga się, by samo otoczenie było zbiorem otwartym, ważne, żeby miało „otwarty rdzeń”.

Otoczenie domknięte można rozumieć jako zbiór zawierający pewną kulę otwartą wraz z jej brzegiem (lub nadzbiór takiego zbioru), np. kulę domkniętą {y : d(x, y) ≤ r}. W typowych definicjach topologicznych pracuje się jednak głównie z otoczeniami otwartymi.

Co to jest otoczenie jednostronne i kiedy się go używa?

Otoczenie jednostronne na osi liczbowej to otoczenie „z jednej strony” punktu. Dla liczby a:

• prawe otoczenie ma postać (a, a+ε),
• lewe otoczenie ma postać (a−ε, a),

Stosuje się je przy granicach jednostronnych i pochodnych jednostronnych, np. w definicjach lim_x→a⁺ f(x) i lim_x→a⁻ f(x), gdzie patrzymy wyłącznie na wartości funkcji w prawych lub lewych otoczeniach punktu a.

Co warto zapamiętać

• Otoczenie punktu opisuje „mały obszar” wokół niego, w którym może zachodzić interesująca własność (np. funkcja jest określona, ciągła, spełnia dane warunki).
• W przestrzeni metrycznej otoczeniem punktu x jest każdy zbiór U, który zawiera pewną kulę otwartą B(x,r); samo należenie punktu do U nie wystarcza.
• W przestrzeni topologicznej otoczeniem punktu x jest każdy zbiór U, który zawiera jakiś zbiór otwarty O z x w środku, czyli x ∈ O ⊆ U.
• Definicja topologiczna uogólnia metryczną: w przestrzeniach metrycznych kulę otwartą można traktować jako szczególny typ zbioru otwartego, a otoczenie to dowolny zbiór zawierający taką kulę.
• Na osi liczbowej otoczenia punktu to zbiory zawierające otwarty przedział wokół tego punktu; zbiory typu {0} nie są otoczeniami, bo nie zawierają żadnego całego przedziału.
• W ℝ² i ℝ³ otoczenia można wizualizować jako zbiory zawierające odpowiednio otwarty dysk lub wnętrze kuli wokół punktu, niezależnie od zewnętrznego „kształtu” zbioru.
• Punkt należy do wnętrza zbioru, gdy ma otoczenie całkowicie w nim zawarte; punkt brzegowy nie ma takiego otoczenia, co pokazuje związek otoczeń z pojęciami wnętrza i brzegu.

Jeśli spodobał Ci się ten artykuł, sprawdź też:

• 

  Materiały do druku – jak zorganizować własną bazę?

• 

  Jak prowadzić lekcję o zbiorach otwartych: pomysły i…

• 

  Topologia generowana przez metrykę: jak wyznaczyć…

• 

  Intuicyjne wprowadzenie do ciągłości w topologii

• 

  Wnętrze, domknięcie, brzeg: trzy operacje na jednym…

• 

  Aksjomaty topologii: skąd się biorą i jak je…