Wnętrze, domknięcie, brzeg: trzy operacje na jednym przykładzie

Trzy operacje na zbiorach: ogólna intuicja

Dlaczego wnętrze, domknięcie i brzeg są tak ważne

Operacje wnętrza, domknięcia i brzegu pojawiają się za każdym razem, gdy pracuje się z przestrzeniami topologicznymi, ciągłością czy zbieżnością. Są podstawowymi narzędziami do opisywania tego, jak zbiór leży w przestrzeni: czy „ma środek”, czy zawiera swoje punkty graniczne, czy składa się głównie z krawędzi, czy raczej z „pełnych” fragmentów.

Intuicyjnie można myśleć tak:

• wnętrze szuka punktów, które leżą „bezpiecznie w środku” zbioru,
• domknięcie dodaje do zbioru wszystkie „punkty graniczne”, które można osiągnąć zbiorem,
• brzeg oddziela to, co „w środku”, od tego, co „na zewnątrz”.

Te trzy operacje są ze sobą ściśle powiązane. Działają na tym samym zbiorze, ale pokazują trzy różne perspektywy. Kluczem do ich zrozumienia jest przeanalizowanie ich na konkretnym, jednym przykładzie i konsekwentne sprawdzanie definicji.

Jedna przestrzeń, jeden przykład – strategia nauki

Zamiast skakać po różnych przestrzeniach, wygodniej jest skupić się na jednej, dobrze znanej. Idealna jest prosta przestrzeń euklidesowa, np. prosta rzeczywista lub płaszczyzna. W takim środowisku intuicja geometryczna dobrze współgra z formalnymi definicjami topologicznymi.

Strategia nauki operacji „wnętrze, domknięcie, brzeg” może wyglądać tak:

1. Wybrać jedną przestrzeń (np. płaszczyznę z metryką euklidesową).
2. Wybrać konkretny zbiór, który nie jest ani zbyt prosty, ani zbyt skomplikowany.
3. Na tym jednym zbiorze, krok po kroku, obliczyć wnętrze, domknięcie i brzeg.
4. Sprawdzić własności ogólne (jak się mają do siebie te operacje) właśnie na tym przykładzie.

Takie podejście pozwala zobaczyć, że abstrakcyjne definicje są praktycznymi narzędziami, a nie czysto formalną zabawą.

Formalne tło: przestrzeń topologiczna i otwartość

Aby mówić o wnętrzu, domknięciu i brzegu, trzeba mieć ustalone pojęcie zbioru otwartego. W standardowym przypadku rozważa się przestrzeń euklidesową, np. R lub R², z topologią generowaną przez kule otwarte (przedziały otwarte na prostej, koła otwarte na płaszczyźnie).

W skrócie:

• zbiór otwarty to taki, który „nie zawiera swoich brzegów”; każdy jego punkt ma małą kulę (na prostej: przedział) w całości zawartą w tym zbiorze,
• zbiór domknięty zawiera wszystkie swoje punkty graniczne,
• ta sama przestrzeń może mieć zbiory zarówno otwarte, jak i domknięte, a niektóre mogą być jednocześnie otwarte i domknięte (np. cała przestrzeń, zbiór pusty).

Na tym fundamencie definiuje się wnętrze, domknięcie i brzeg dowolnego zbioru, korzystając z pojęć otwartości, domkniętości oraz punktów przyległych.

Definicje: wnętrze, domknięcie, brzeg – krok po kroku

Wnętrze zbioru – punkty „w środku”

Niech X będzie przestrzenią topologiczną, a A podzbiorem X. Wnętrze zbioru A oznaczane zwykle jako int(A) lub A°, definiuje się tak:

Wnętrze A to suma wszystkich zbiorów otwartych zawartych w A. Równoważnie:

• punkt x należy do wnętrza A, jeśli istnieje zbiór otwarty U taki, że x ∈ U ⊆ A,
• każdy punkt we wnętrzu ma pewien „margines bezpieczeństwa” – można się od niego ruszyć trochę w dowolnym kierunku i nadal pozostaje się w A.

Intuicja: wnętrze to część zbioru wolna od wszelkich „krawędzi” i „szczelin”. To coś, co w języku potocznym nazywa się „ścisłym środkiem” zbioru.

Domknięcie zbioru – dodawanie punktów granicznych

Domknięcie zbioru A oznacza się często jako cl(A), closure(A) lub z kreską nad zbiorem: Ā. Definicja:

• domknięcie A to najmniejszy zbiór domknięty zawierający A,
• równoważnie: domknięcie A to A wraz ze wszystkimi punktami, które są granicami ciągów z A (w przestrzeni metrycznej).

W praktyce można myśleć, że:

• domknięcie „zamyka” zbiór, dodając wszystkie punkty, do których można się „przybliżać” za pomocą elementów zbioru,
• jeśli zbiór ma jakieś „dziury” w granicy (np. przedział otwarty), domknięcie je domyka.

Domknięcie zawiera zawsze zarówno wnętrze, jak i brzeg, jeśli brzeg nie jest pusty.

Brzeg zbioru – granica między wnętrzem a zewnętrzem

Brzeg zbioru A oznaczany bywa jako ∂A. Definicja topologiczna jest bardzo elegancka:

• brzeg A to zbiór wszystkich punktów x, dla których każde otoczenie x zawiera punkt z A i punkt spoza A,
• innymi słowy: wokół punktu brzegowego nie da się zbudować małej kuli, która leżałaby w całości w A albo w całości w jego dopełnieniu.

Bardzo użyteczna zależność:

Brzeg(A) = Domknięcie(A) − Wnętrze(A).

W wielu obliczeniach najprościej jest więc: znaleźć domknięcie, znaleźć wnętrze i odjąć jedno od drugiego. Właśnie ta relacja będzie intensywnie wykorzystywana przy analizie jednego, starannie dobranego przykładu.

Ustalona przestrzeń: płaszczyzna euklidesowa R²

Dlaczego akurat R² z metryką euklidesową

Płaszczyzna euklidesowa R² jest naturalnym środowiskiem do analizy wnętrza, domknięcia i brzegu, ponieważ:

• intuicja geometryczna jest bardzo silna – można rysować obrazy zbiorów,
• topologia wynika z metryki euklidesowej, a kule otwarte to po prostu okręgi bez brzegu,
• wiele przykładów z analizy matematycznej dzieje się właśnie w R².

W tej przestrzeni zbiory otwarte to takie, które w pobliżu każdego punktu zawierają „pełne” małe kółko. To pomaga łatwo oceniać, czy punkt jest we wnętrzu, na brzegu, czy poza zbiorem.

Podstawowe zbiory w R²: koła, dyski, prostokąty

Kilka typowych rodzin zbiorów w R², na których łatwo oblicza się wnętrze, domknięcie i brzeg, to:

• dysk otwarty: zbiór punktów o odległości mniejszej niż r od środka,
• dysk domknięty: zbiór punktów o odległości nie większej niż r od środka,
• pierścień (okrągły): pomiędzy dwoma okręgami, z różnymi kombinacjami otwartości i domkniętości,
• prostokąty otwarte, domknięte, półotwarte itp.

Każda z tych rodzin pozwala przećwiczyć inne subtelności. Pierścienie świetnie pokazują, co dzieje się z wnętrzem i brzegiem, gdy usunie się pojedyncze okręgi. Z kolei prostokąty przypominają konstrukcje znane z jednowymiarowych przedziałów.

Konwencje zapisu przedziałów i dysków

Aby uniknąć niejasności, ustalmy pewne skróty i konwencje:

• B(x, r) – dysk otwarty o środku w x i promieniu r,
• overline{B}(x, r) – dysk domknięty, razem z okręgiem granicznym,
• S(x, r) – okrąg (brzeg dysku domkniętego),
• na prostej: (a, b) – przedział otwarty, [a, b] – domknięty, (a, b], [a, b) – półotwarte.

W tekście pozostaniemy przy notacji opisowej („dysk otwarty”, „pierścień otwarty” itp.), aby zachować przejrzystość. Kluczowe jest, czy granice należą do zbioru, czy nie – to one decydują o kształcie brzegu.

Jeden przykład bazowy: pierścień na płaszczyźnie

Definicja przykładowego zbioru

Weźmy na płaszczyźnie R² zbiór:

A = { (x, y) ∈ R² : 1 < x² + y² ≤ 4 }.

Geometria:

• warunek x² + y² ≤ 4 opisuje dysk domknięty o promieniu 2,
• warunek x² + y² > 1 wycina z tego dysku otwarty dysk o promieniu 1,
• koło o promieniu 2 (okrąg) jest do zbioru włączone, okrąg o promieniu 1 – usunięty.

Zbiór A to zatem pierścień: obszar pomiędzy kołami o promieniach 1 i 2, przy czym:

• wewnętrzny okrąg nie należy do zbioru,
• zewnętrzny okrąg należy do zbioru.

Ten wybór nie jest przypadkowy: obecność jednej granicy otwartej i jednej domkniętej wymusza precyzyjne rozróżnienie wnętrza, domknięcia i brzegu. Na tym jednym przykładzie dobrze widać, jak te operacje „przesuwają” zbiór.

Opis graficzny i intuicyjny

Wyobraźmy sobie okrąg o promieniu 2, narysowany ciągłą linią. To zewnętrzna granica. W środku znajduje się mniejszy okrąg o promieniu 1, którego linia nie jest częścią zbioru. Wszystkie punkty pomiędzy tymi dwiema liniami, bliżej zewnętrznej granicy niż wewnętrznej, należą do zbioru.

Zbiór nie jest:

• ani całkowicie otwarty (bo zawiera zewnętrzny okrąg),
• ani całkowicie domknięty (bo nie zawiera wewnętrznego okręgu).

W takiej sytuacji nie da się od razu „na oko” zgadnąć, gdzie dokładnie przebiega brzeg, jakie jest wnętrze, a jakie domknięcie. Trzeba krok po kroku zastosować definicje. Dzięki temu przykład świetnie nadaje się do ćwiczenia.

Własności wstępne zbioru A

Na początku kilka obserwacji:

• A jest ograniczony: wszystkie punkty leżą w odległości co najwyżej 2 od środka,
• A nie zawiera punktu (0, 0), czyli środka: bo tam x² + y² = 0, co nie spełnia warunku > 1,
• okrąg o promieniu 1 jest usunięty, więc nie ma w A żadnych punktów w odległości dokładnie 1 od środka,
• okrąg o promieniu 2 jest w całości włączony.

Te kilka prostych informacji wystarczy, aby przejść do właściwego zadania: znalezienia wnętrza, domknięcia i brzegu, bez odwoływania się do innych przykładów.

Wnętrze pierścienia: co naprawdę leży „w środku”

Definicja punktu we wnętrzu na przykładzie A

Punkt p należy do wnętrza A, jeśli istnieje dysk otwarty B(p, r) taki, że:

• B(p, r) ⊆ A.

W kontekście pierścienia:

Jak rozpoznać punkty wewnętrzne w naszym pierścieniu

Rozpatrzmy dowolny punkt p spełniający warunek 1 < |p| < 2, gdzie |p| = √(x² + y²) oznacza odległość od środka. Taki punkt leży „ściśle” pomiędzy dwoma okręgami: nie jest ani na wewnętrznym, ani na zewnętrznym kole.

Dla takiego punktu można dobrać promień r > 0 w prosty sposób. Wystarczy wziąć:

• odległość punktu od wewnętrznego okręgu: d₁ = |p| − 1,
• odległość punktu od zewnętrznego okręgu: d₂ = 2 − |p|.

Obie liczby są dodatnie, bo |p| leży pomiędzy 1 a 2. Jeśli zdefiniujemy:

r = min(d₁, d₂),

to dysk otwarty B(p, r) nie „dotknie” żadnego z okręgów. Cały ten mały dysk mieści się więc w obszarze spełniającym:

1 < x² + y² < 4,

a tym samym w całości zawiera się w A. Z definicji topologicznej:

• każdy punkt spełniający 1 < x² + y² < 4 jest punktem wewnętrznym pierścienia A.

Co z punktami na okręgach brzegowych

Zostały do rozważenia dwa typy punktów:

• na wewnętrznym okręgu: x² + y² = 1,
• na zewnętrznym okręgu: x² + y² = 4.

Punkt na wewnętrznym okręgu w ogóle nie należy do A, więc nie może być punktem wewnętrznym A. Nie spełnia podstawowego warunku p ∈ A.

Punkt na zewnętrznym okręgu (odległość od środka równa 2) należy do A, ale ma inną wadę: każde jego otoczenie zawiera również punkty o odległości większej niż 2, czyli punkty spoza A. Nie istnieje więc dysk otwarty wokół takiego punktu, który w całości siedzi w A. To typowy przykład punktu brzegowego, a nie wewnętrznego.

Algebraiczny opis wnętrza pierścienia

Można teraz zapisać wnętrze zbioru A w sposób zwięzły. Z wcześniejszych rozważań wynika:

int(A) = { (x, y) ∈ R² : 1 < x² + y² < 4 }.

Czyli:

• odcinamy zarówno wewnętrzny, jak i zewnętrzny okrąg,
• zostawiamy tylko te punkty, które mają dodatni „zapas” w obie strony – do wewnątrz i na zewnątrz.

Geometria staje się przejrzysta: wnętrze A to otwarty pierścień, bez żadnych linii brzegowych.

Domknięcie pierścienia: dopełnienie wszystkich braków

Jak uzupełnia się zbiór A do zbioru domkniętego

Domknięcie ma zebrać wszystkie punkty, do których można się dowolnie przybliżać za pomocą elementów A. Na naszym rysunku oznacza to w praktyce włączenie każdej „krawędzi”, przy której można stać coraz bliżej, pozostając w A.

Sprawdźmy po kolei:

• zewnętrzny okrąg o promieniu 2 już jest w A, więc oczywiście znajduje się także w domknięciu,
• wewnętrzny okrąg o promieniu 1 nie jest w A, ale w jego pobliżu leży cała masa punktów A – np. wszystkie punkty o odległości nieco większej niż 1.

Dla dowolnego punktu q na okręgu jednostkowym można zbudować ciąg punktów qₙ należących do A, które zbliżają się do q wraz ze wzrostem n. Wystarczy przesuwać się w kierunku promieniowym: brać punkty o odległości 1 + 1/n od środka na tym samym kierunku co q. Odległość qₙ od q dąży do zera.

Z definicji domknięcia w przestrzeni metrycznej:

• każdy punkt okręgu jednostkowego jest granicą pewnego ciągu z A,
• więc każdy z nich musi znaleźć się w domknięciu A.

Opis domknięcia A

Do zbioru A trzeba więc dodać całą wewnętrzną krawędź (okrąg o promieniu 1), nie trzeba zaś nic zmieniać przy zewnętrznej krawędzi (okrąg o promieniu 2 jest już w zbiorze). Otrzymujemy:

cl(A) = { (x, y) ∈ R² : 1 ≤ x² + y² ≤ 4 }.

Geometria: domknięcie to pełny, domknięty pierścień wraz z obiema granicami. Staje się zbiorem domkniętym w sensie topologicznym – zawiera wszystkie swoje punkty brzegowe.

Brzeg pierścienia: gdzie naprawdę „kończy się” A

Analiza lokalna punktów brzegowych

Z definicji:

• punkt x jest brzegowy dla A, jeśli w każdym jego otoczeniu znajdują się punkty z A i punkty spoza A.

Rozpatrzmy trzy rejony wokół środka:

1. obszar wewnątrz okręgu o promieniu 1: x² + y² < 1,
2. obszar między okręgami: 1 < x² + y² < 4,
3. obszar na zewnątrz okręgu o promieniu 2: x² + y² > 4.

Punkty z obszaru (2) są wewnętrzne – znaleźliśmy dla nich małe dyski zawarte w A. Nie są więc brzegowe. Punkty z regionów (1) i (3) to punkty „czysto zewnętrzne”: można wokół nich dobrać małe dyski, które w całości leżą poza A. Przykładowo, dla punktu bardzo blisko środka istnieje kula, która wciąż nie sięga do odległości 1; dla punktu bardzo daleko od środka – kula, która nie wchodzi do strefy odległości mniejszych lub równych 2.

Zostają tylko punkty z dokładnych okręgów:

• x² + y² = 1,
• x² + y² = 4.

Dla takiego punktu każde otoczenie zawiera punkty leżące trochę „do środka” pierścienia (w odległości pomiędzy 1 a 2), a zarazem punkty nie należące do A (albo o odległości mniejszej niż 1, albo większej niż 2). Tym samym każdy punkt obu tych okręgów spełnia definicję punktu brzegowego.

Opis brzegu A wzorem

Korzystając z wyprowadzonego wcześniej związku:

Brzeg(A) = Domknięcie(A) − Wnętrze(A),

podstawiamy:

• cl(A) = { 1 ≤ x² + y² ≤ 4 },
• int(A) = { 1 < x² + y² < 4 }.

Różnica zbiorów „usuwa” środek pierścienia, zostawiając tylko to, czego nie ma we wnętrzu, a jest w domknięciu, czyli:

∂A = { (x, y) ∈ R² : x² + y² = 1 lub x² + y² = 4 }.

Brzeg A składa się zatem z dwóch okręgów: wewnętrznego i zewnętrznego, niezależnie od tego, że jeden z nich był pierwotnie usunięty, a drugi włączony do zbioru.

Zestawienie: wnętrze, domknięcie i brzeg w jednym obrazie

Porównanie opisów analitycznych

Zebrane wyniki można zestawić w postaci prostych formuł:

• zbiór wyjściowy:
  • A = { (x, y) : 1 < x² + y² ≤ 4 },
• wnętrze:
  • int(A) = { (x, y) : 1 < x² + y² < 4 },
• domknięcie:
  • cl(A) = { (x, y) : 1 ≤ x² + y² ≤ 4 },
• brzeg:
  • ∂A = { (x, y) : x² + y² = 1 lub x² + y² = 4 }.

Różnice między tymi zbiorami dotyczą wyłącznie tego, które z dwóch okręgów są włączone, a które wyłączone. Wnętrze usuwa oba okręgi, domknięcie dodaje oba, a zbiór wyjściowy ma jeden z nich włączony, drugi usunięty.

Relacje zawierania między trzema operacjami

W omawianym przykładzie wyraźnie widać kilka klasycznych zależności topologicznych:

• int(A) ⊆ A ⊆ cl(A),
• int(A) jest zbiorem otwartym,
• cl(A) jest zbiorem domkniętym,
• ∂A = cl(A) int(A),
• ∂A ⊆ cl(A) oraz ∂A ∩ int(A) = ∅.

W praktycznych zadaniach rachunkowych często zaczyna się właśnie od konstrukcji wnętrza i domknięcia, a brzeg otrzymuje jako „resztę” między nimi. Analiza konkretnego pierścienia pokazuje, jak ta procedura działa w naturalny i przewidywalny sposób.

Ćwiczenia na modyfikacjach pierścienia

Pierścień całkowicie otwarty

Zmieńmy definicję zbioru na:

A₁ = { (x, y) ∈ R² : 1 < x² + y² < 4 }.

Tym razem oba okręgi (wewnętrzny i zewnętrzny) są usunięte. Szybka analiza:

• wnętrze int(A₁) pokrywa się z samym A₁, bo każdy punkt ma pełne otoczenie mieszczące się w zbiorze,
• domknięcie cl(A₁) to z kolei { 1 ≤ x² + y² ≤ 4 }, ponieważ oba okręgi są granicami ciągów z A₁,
• brzeg ∂A₁ jest identyczny jak wcześniej: dwa okręgi x² + y² = 1 i x² + y² = 4.

Zmiana z „≤” na „<” w nierównościach wpłynęła na wnętrze i domknięcie, ale nie zmieniła brzegu. Takie zjawisko pojawia się często: brzeg bywa nieczuły na to, czy same punkty graniczne należą do zbioru, czy nie.

Pierścień całkowicie domknięty

Teraz rozważmy:

A₂ = { (x, y) ∈ R² : 1 ≤ x² + y² ≤ 4 }.

To pierścień z obiema krawędziami włączonymi. Obliczenia:

• wnętrze:
  • int(A₂) = { 1 < x² + y² < 4 } – dokładnie ten sam otwarty pierścień, co wcześniej,
• domknięcie:
  • cl(A₂) = A₂, bo zbiór jest domknięty,
• brzeg:
  • ponownie dwa okręgi, x² + y² = 1 i x² + y² = 4.

Wnętrze zależy tylko od „środka” zbioru – od tego, gdzie można wstawić małą kulę bez dotykania krawędzi. Dodawanie lub usuwanie samych krawędzi nie rusza wnętrza. Natomiast domknięcie i brzeg pozostają ściśle związane z tym, jakie okręgi są dopełnieniem granic ciągów.

Pierścień z jednym promieniem równym

Pierścień z jednym końcem „przypiętym” do środka

Rozważmy teraz wariant asymetryczny względem poprzednich przykładów. Definiujemy zbiór:

A₃ = { (x, y) ∈ R² : 1 ≤ x² + y² < 4 }.

Wewnętrzny okrąg o promieniu 1 jest włączony (≤), zewnętrzny o promieniu 2 – usunięty (<). Analiza przebiega podobnie jak wcześniej, ale warto prześledzić każdy krok osobno, żeby zobaczyć, co się zmienia:

• wnętrze:
  • punkty z obszaru 1 < x² + y² < 4 mają całe otoczenia mieszczące się w A₃,
  • punktów z okręgu x² + y² = 1 nie można uznać za wewnętrzne – każde otoczenie wchodzi do wnętrza dysku x² + y² < 1,
  • stąd:
    • int(A₃) = { (x, y) : 1 < x² + y² < 4 }.
• domknięcie:
  • zbiór zawiera już okrąg jednostkowy x² + y² = 1,
  • brakuje mu jedynie zewnętrznego okręgu x² + y² = 4, do którego można się dowolnie zbliżać z wnętrza pierścienia,
  • uzupełniając ten brak, otrzymujemy:
    • cl(A₃) = { (x, y) : 1 ≤ x² + y² ≤ 4 }.
• brzeg:
  • różnica cl(A₃) int(A₃) usuwa środek pierścienia, zostawiając same okręgi,
  • tak jak dotąd:
    • ∂A₃ = { (x, y) : x² + y² = 1 lub x² + y² = 4 }.

Zmiana po jednej stronie pierścienia (włączenie wewnętrznego okręgu, zostawienie zewnętrznego jako usuniętego) nie porusza brzegu – wciąż złożony jest z dwóch okręgów. Przesuwają się tylko granice wnętrza i domknięcia względem pierwotnego A.

Zbiór z „oderwanym” środkiem

Często pojawia się pytanie, co się dzieje, gdy do pierścienia dołączy się pojedynczy punkt, na przykład sam środek układu współrzędnych. Zdefiniujmy:

A₄ = { (x, y) ∈ R² : 1 < x² + y² < 4 } ∪ { (0, 0) }.

Geometrycznie to otwarty pierścień oraz „wysepka” w środku. Ten prosty dodatek ładnie pokazuje, jak operacje wnętrza, domknięcia i brzegu reagują na izolowane punkty.

• wnętrze:
  • środek (0, 0) nie ma żadnego otoczenia zawartego w A₄ – każde koło wokół niego zawiera punkty o odległości pomiędzy 0 a 1, które nie należą do zbioru,
  • punkty w pierścieniu zachowują się tak jak poprzednio: obszar 1 < x² + y² < 4 jest otwarty w R²,
  • stąd:
    • int(A₄) = { (x, y) : 1 < x² + y² < 4 }.
• domknięcie:
  • otwarty pierścień domyka się do { 1 ≤ x² + y² ≤ 4 },
  • punkt (0, 0) jest już w zbiorze, domknięcie musi go więc zawierać,
  • jednocześnie środek nie jest granicą żadnego ciągu punktów z pierścienia (każdy punkt pierścienia leży w odległości co najmniej 1 od środka), więc nie „pojawia się” jako punkt domknięcia pierścienia; jest jednak elementem samego A₄,
  • otrzymujemy:
    • cl(A₄) = { (x, y) : 1 ≤ x² + y² ≤ 4 } ∪ { (0, 0) }.
• brzeg:
  • brzeg obliczamy jako cl(A₄) int(A₄),
  • z domknięcia usuwamy otwarty pierścień 1 < x² + y² < 4,
  • pozostaje:
    • okręgi x² + y² = 1 i x² + y² = 4,
    • punkt (0, 0) – jest on w cl(A₄), ale nie należy do wnętrza,
    • czyli:
      • ∂A₄ = { (x, y) : x² + y² = 1 lub x² + y² = 4 } ∪ { (0, 0) }.

Pojedyncze, izolowane punkty są zawsze brzegowe, jeśli tylko nie są otoczone w całości przez zbiór. Ten przykład pokazuje, że brzeg nie musi mieć „kształtu linii” – może zawierać także dyskretne fragmenty, czasem istotne w zastosowaniach (np. w zadaniach z rachunku prawdopodobieństwa, gdzie pojedyncze punkty mają osobną interpretację).

Usunięty promień: cień dziury jednowymiarowej

Teraz przykład, w którym dziura ma charakter jednowymiarowy. Zdefiniujmy zbiór:

A₅ = { (x, y) ∈ R² : 1 < x² + y² < 4 } { (r, 0) : 1 < r < 2 }.

Startujemy z otwartego pierścienia i „wycinamy” z niego odcinek promienia na osi x od okręgu wewnętrznego do środka pierścienia. Z punktu widzenia geometrii to bardzo cienki wycinek, ale topologia reaguje na niego dość wyraźnie.

• wnętrze:
  • każdy punkt pierścienia, który nie leży na usuniętym promieniu, ma standardowe otoczenie mieszczące się w A₅,
  • dla punktu leżącego dokładnie na granicy wyciętego promienia, np. w jego pobliżu, nadal można dobrać małe koło, które „omija” dziurę – promień ma wymiar 1, a otoczenia są dwuwymiarowe,
  • punktów samego promienia w zbiorze nie ma – zostały usunięte,
  • dlatego:
    • int(A₅) = A₅ – zbiór pozostaje otwarty.
• domknięcie:
  • każdy punkt z usuniętego promienia można przybliżać punktami z A₅ (wystarczy przesunąć się bardzo delikatnie „w bok” od osi x),
  • podobnie jak w przypadku zwykłego otwartego pierścienia, punkty z okręgów x² + y² = 1 i x² + y² = 4 są granicami ciągów z A₅,
  • domknięcie uzupełnia więc zarówno oba okręgi, jak i cały wycięty odcinek promienia:
    • cl(A₅) = { (x, y) : 1 ≤ x² + y² ≤ 4 }.
  • W efekcie „cienka” dziura znika po domknięciu – nie widać jej w zapisie analitycznym domknięcia, bo cały obszar pomiędzy okręgami zostaje wypełniony.
• brzeg:
  • brzeg, jako cl(A₅) int(A₅), wygląda identycznie jak dla zwykłego otwartego pierścienia bez dziury jednowymiarowej:
  • ∂A₅ = { (x, y) : x² + y² = 1 lub x² + y² = 4 }.
  • Usunięcie cienkiego promienia nie wytworzyło nowych punktów brzegowych. Dziura „ma za mały wymiar”, by pojawić się w brzegu – jej punkty już należały do wnętrza, a nadal pozostają punktami wnętrza domknięcia.

Taki przykład bywa zaskakujący: topologiczny brzeg reaguje inaczej na usunięcie „grubej” dziury (np. całego dysku), a inaczej na usunięcie cienkiego odcinka czy krzywej. W zastosowaniach numerycznych podobna sytuacja pojawia się, gdy model matematyczny ignoruje zjawiska na bardzo cienkich strukturach – z punktu widzenia topologii, ich wpływ bywa niewidoczny na poziomie brzegu.

Trzy operacje w ujęciu intuicyjnym

Wnętrze jako miejsce z „komfortowym marginesem”

W omawianych przykładach wnętrze zawsze składało się z punktów, od których w każdą stronę można było zrobić choćby drobny krok, pozostając w zbiorze. W praktyce matematycznej wnętrze to:

• punkty „bezpieczne”,
• odizolowane od świata zewnętrznego pewnym dodatnim marginesem.

Przy analizie błędów pomiaru odpowiada to sytuacjom, w których nawet niewielka niedokładność danych nie wyrzuca nas poza rozważany obszar. Jeśli punkt leży we wnętrzu dopuszczalnych rozwiązań, ma się pewien zapas.

Domknięcie jako zbiór z dołożonymi granicami

Domknięcie w każdym z pierścieni można było opisać obrazowo: „bierzemy cały obszar i dokładamy do niego wszystkie punkty, do których można się dowolnie zbliżać, korzystając z elementów zbioru”. Nieważne, czy punkt graniczny faktycznie był w zbiorze na początku (jak w A₂ i A₃), czy dopiero został dopisany.

W zastosowaniach do równań różniczkowych lub optymalizacji domknięcie reprezentuje często „pełny zasięg” rozwiązań – łącznie z punktami, które można osiągnąć w granicy, ale np. nie są dopuszczalne ze względu na twarde ograniczenia.

Brzeg jako warstwa przejściowa

Brzeg można odczytywać jako cienką warstwę przejścia między „wnętrzem” a „poza zbiorem”. W analizowanych zbiorach brzeg:

• miał strukturę prostych figur (okręgów),
• bywał nieczuły na to, czy same punkty graniczne są w zbiorze,
• w niektórych przypadkach wzbogacał się o punkty izolowane (jak środek w A₄).

Przy analizie warunków brzegowych (np. temperatury na krawędzi płyty, naprężeń na krawędzi konstrukcji) istotny jest właśnie ten „pas graniczny” – tam narzuca się dodatkowe równania czy ograniczenia, niezależnie od tego, czy dane zadanie pochodzi od pierścienia otwartego, domkniętego czy z usuniętymi fragmentami.

Jak korzystać z tych pojęć przy innych zbiorach

Mechanizm, który został przećwiczony na pierścieniu, przenosi się bezpośrednio na inne zbiory. Dobrze jest wyrobić w sobie prostą rutynę:

1. Najpierw zidentyfikować „środek” zbioru – punkty, dla których łatwo narysować małe koło mieszczące się w całości wewnątrz. To kandydaci do wnętrza.
2. Następnie obejrzeć „krawędzie” – miejsca, gdzie w jednym kierunku siedzimy w zbiorze, a w drugim szybko z niego wychodzimy. Tam zazwyczaj gromadzi się brzeg.
3. Na końcu sprawdzić, czy są punkty „oderwane”, odizolowane, cienkie linie lub dyskretne wyspy – zwykle wpływają na domknięcie i brzeg, ale nie na wnętrze.

Dla prostokątów, wielokątów, dysków czy bardziej złożonych obszarów opisy wzorami często sprowadzają się do odpowiednich nierówności (surowych lub z równościami). Pierścień na płaszczyźnie jest tylko jednym, ale bardzo przejrzystym polem treningowym dla tych trzech operacji.

Najczęściej zadawane pytania (FAQ)

Co to jest wnętrze zbioru w topologii i jak je intuicyjnie rozumieć?

Wnętrze zbioru A (oznaczane jako int(A) lub A°) to zbiór punktów, które leżą „bezpiecznie w środku” A. Każdy taki punkt ma wokół siebie małe otwarte otoczenie (np. małe kółko w R²), które w całości zawiera się w A.

Intuicyjnie: jeśli stojąc w danym punkcie możesz „poruszyć się odrobinę” w dowolnym kierunku i wciąż pozostajesz w zbiorze, to ten punkt należy do wnętrza. We wnętrzu nie ma żadnych krawędzi ani punktów „na granicy” z zewnętrzem.

Co to jest domknięcie zbioru i czym różni się od wnętrza?

Domknięcie zbioru A (oznaczane zwykle jako cl(A) lub Ā) to najmniejszy zbiór domknięty, który zawiera A. W przestrzeniach metrycznych można o nim myśleć jako o A powiększonym o wszystkie punkty graniczne, do których można się „zbliżać” za pomocą ciągów elementów z A.

Różnica jest taka, że wnętrze „obcina” zbiór do jego „pełnego środka”, natomiast domknięcie „domyka” zbiór, dodając brakujące punkty na jego brzegu. Zawsze zachodzi int(A) ⊆ A ⊆ cl(A).

Jak zdefiniowany jest brzeg zbioru w przestrzeni topologicznej?

Brzeg zbioru A (∂A) to zbiór wszystkich punktów, których każde otoczenie zawiera zarówno punkty należące do A, jak i nienależące do A. Wokół punktu brzegowego nigdy nie da się znaleźć otwartego otoczenia, które leżałoby w całości w A lub w całości poza A.

W praktyce bardzo wygodna jest zależność: ∂A = cl(A) − int(A). Oznacza to, że aby znaleźć brzeg, można najpierw policzyć domknięcie zbioru, potem jego wnętrze i odjąć jedno od drugiego.

Jak obliczyć wnętrze, domknięcie i brzeg konkretnego zbioru w R², np. pierścienia?

Dla zbioru typu pierścień, np. A = {(x, y) ∈ R² : 1 < x² + y² ≤ 4} postępuje się tak:

• Wnętrze: szukamy punktów, które mają wokół siebie małe kółko w całości zawarte w A. Dla podanego pierścienia wnętrze to punkty spełniające 1 < x² + y² < 4 (bez obu okręgów granicznych).
• Domknięcie: dodajemy wszystkie punkty graniczne, które można osiągnąć z A. W tym przykładzie domknięcie to 1 ≤ x² + y² ≤ 4 (dochodzimy do obu okręgów).
• Brzeg: korzystamy z ∂A = cl(A) − int(A). Otrzymujemy dwa okręgi: x² + y² = 1 oraz x² + y² = 4.

Czy zbiór może być jednocześnie otwarty i domknięty? Jak to się ma do wnętrza i domknięcia?

Tak, w danej przestrzeni topologicznej istnieją zbiory jednocześnie otwarte i domknięte (tzw. zbiory domknięto-otwarte). W standardowej topologii na R lub R² są to tylko: cała przestrzeń i zbiór pusty.

Dla takiego zbioru A zachodzi int(A) = A = cl(A), a jego brzeg jest pusty. Pokazuje to, że wnętrze, domknięcie i brzeg są pojęciami względnymi względem wybranej przestrzeni, a nie „absolutnymi” własnościami samego kształtu.

Dlaczego do nauki wnętrza, domknięcia i brzegu wygodnie używać płaszczyzny R²?

Płaszczyzna euklidesowa R² jest wygodna, ponieważ intuicja geometryczna dobrze współgra tu z formalnymi definicjami. Zbiory takie jak dyski, okręgi, pierścienie czy prostokąty można łatwo narysować, a pojęcia „wnętrza”, „brzegu” i „domknięcia” są wizualnie bardzo czytelne.

Dzięki temu łatwiej jest najpierw zbudować intuicję na jednym przykładzie (np. pierścienia z jednym okręgiem włączonym i drugim wyłączonym), a dopiero potem przenosić tę intuicję na bardziej abstrakcyjne przestrzenie topologiczne.

Jaki jest związek między zbiorami otwartymi/domkniętymi a operacjami wnętrza i domknięcia?

Wnętrze zbioru A jest największym zbiorem otwartym zawartym w A: jest sumą wszystkich otwartych podzbiorów A. Z kolei domknięcie A jest najmniejszym zbiorem domkniętym, który zawiera A: jest przecięciem wszystkich domkniętych zbiorów zawierających A.

Stąd:

• A jest otwarty wtedy i tylko wtedy, gdy A = int(A),
• A jest domknięty wtedy i tylko wtedy, gdy A = cl(A).

Operacje wnętrza i domknięcia są więc „otwartą” i „domkniętą” wersją tego samego: dostosowują dowolny zbiór do najbliższego otwartego lub domkniętego odpowiednika.

Wnioski w skrócie

• Wnętrze, domknięcie i brzeg to podstawowe operacje topologiczne służące do opisu, jak zbiór „leży” w przestrzeni: czy ma punkty wewnętrzne, punkty graniczne i jak oddziela się od otoczenia.
• Wnętrze zbioru (int(A)) to suma wszystkich zbiorów otwartych zawartych w A; tworzą je punkty, wokół których można zbudować małe otoczenie całkowicie mieszczące się w A („bezpieczny środek” zbioru).
• Domknięcie zbioru (cl(A)) to najmniejszy zbiór domknięty zawierający A, czyli A powiększone o wszystkie jego punkty graniczne – wszystkie punkty, do których można się dowolnie zbliżać za pomocą elementów A.
• Brzeg zbioru (∂A) stanowią punkty, których każde otoczenie zawiera zarówno elementy A, jak i jego dopełnienia; żadne małe otoczenie punktu brzegowego nie leży w całości ani w A, ani poza nim.
• Między tymi operacjami zachodzi kluczowa relacja: ∂A = cl(A) − int(A); obliczanie brzegu najczęściej sprowadza się do wyznaczenia domknięcia i wnętrza, a następnie ich „odjęcia”.
• Do nauki tych pojęć najwygodniej przyjąć jedną znaną przestrzeń (np. R² z metryką euklidesową) i jeden niebanalny zbiór, na którym krok po kroku wyznacza się wnętrze, domknięcie i brzeg.

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

• 

  Środek ciężkości trójkąta – gdzie go znaleźć?

• 

  Jak znaleźć środek ciężkości bryły?

• 

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

• 

  Homeomorfizm po ludzku: kiedy kształty są równoważne

• 

  Jak rozumieć przestrzeń topologiczną krok po kroku

• 

  Ile krawędzi ma hipersześcian?