Otoczenie i sąsiedztwo

Otoczenie – wieloznaczne pojęcie matematyczne, różnie definiowane w analizie i topologii. W każdym wypadku jest to pewien typ zbioru zawierającego dany punkt lub ustalony zbiór. Czasem wymaga się, by otoczenie było zbiorem otwartym.

Blisko powiązanym pojęciem jest sąsiedztwo punktu – otoczenie punktu z wyłączeniem jego samego. Jeśli $U_x$ jest otoczeniem punktu $x,$ to jego sąsiedztwem nazywa się różnicę zbiorów:

$S_x:=U_x\setminus \{x\}.$

Za pomocą otoczeń i sąsiedztw definiuje się inne pojęcia matematyczne, np. część przedmiotów analizy jak ekstremum funkcji i granice funkcji w punkcie.

Otoczenia i sąsiedztwa liczb rzeczywistych

Pokazany przedział na osi rzeczywistej to otoczenie otwarte punktu $a$ z promieniem $\epsilon$ (epsilon).

Na prostej rzeczywistej $ℝ$ otoczenie punktu $x_0$ definiuje się jako pewien typ przedziału otwartego; dokładne znaczenie zależy od kontekstu:

• otoczenie w sensie wąskim (sensu stricto) to każdy przedział otwarty złożony ze wszystkich liczb odległych od $x_0$ o mniej niż ustalona wartość, zwana promieniem otoczenia:

$\begin{array}{cc}U(x_0,\epsilon )& :=\{x\in ℝ:|x-x_0|<\epsilon \}=\\ & =(x_0-\epsilon ;x_0+\epsilon ).\end{array}$

• otoczenie w sensie szerokim (sensu largo) to dowolny przedział otwarty zawierający punkt $x_0$; punkt ten nie musi być pośrodku tego przedziału, a przedział nie musi być ograniczony – może nim być cała oś rzeczywista:

$U_x=(a;b)=\{x:a<x<b\}.$

Oprócz tego dla każdego punktu $x\in ℝ$ definiuje się:

• sąsiedztwo, czyli różnicę odpowiedniego przedziału i tego punktu, tj. sumę mnogościową przedziałów: $S_x=(a;b)\setminus \{x\}=(a;x)\cup (x;b);$
• sąsiedztwo lewostronne, czyli przedział otwarty, którego prawym końcem (kresem górnym) jest ten punkt: $S_x^{-}=(a;x);$
• sąsiedztwo prawostronne, czyli przedział otwarty, którego lewym końcem (kresem dolnym) jest ten punkt: $S_x^{+}=(x;a).$

Za pomocą sąsiedztw jednostronnych definiuje się granice jednostronne funkcji w punkcie.

Otoczenia w przestrzeniach metrycznych

Zbiór $V$ na płaszczyźnie jest otoczeniem punktu $p$ jeżeli istnieje koło bez brzegu (czyli otwarta kula w przestrzeni dwuwymiarowej) zawierające $p$ i zawarte w $V.$

W przestrzeni metrycznej $X$ z metryką $d$ otoczenie punktu można określić za pomocą kul otwartych.

Otoczenia punktu

$V$ jest otoczeniem punktu $p$ jeśli istnieje kula otwarta o środku w punkcie $p$ i promieniu $r>0,$ tj.

$B_r(p)=\{x\in X:d(x,p)<r\},$

która jest zawarta w zbiorze $V.$

Przykłady otoczeń otwartych

• Na płaszczyźnie euklidesowej ${ℝ}^2$ otoczeniem otwartym punktu $x$ jest np. dowolne koło bez brzegu zawierające ten punkt (niekoniecznie umieszczony w środku koła), zaś jego sąsiedztwem jest to koło bez tego punktu.
• W przestrzeni euklidesowej ${ℝ}^3$ otoczeniem otwartym punktu $x$ jest np. dowolna kula bez brzegu zawierająca ten punkt (niekoniecznie umieszczony w środku kuli), zaś jego sąsiedztwem jest kula bez tego punktu.

Otoczenia jednostajne zbioru

Zbiór $S$ na płaszczyźnie i jednostajne otoczenie $V$ zbioru $S.$

Otoczeniem jednostajnym zbioru $S$ w przestrzeni metrycznej nazwiemy zbiór $V$ o tej własności, że istnieje taka liczba $r>0,$ że dla każdego $p\in S$ kula otwarta o środku w punkcie $p$ i promieniu $r,$ tj.

$B_r(p)=\{x\in X:d(x,p)<r\},$

jest zawarta w zbiorze $V.$

Innymi słowy, zbiór $V$ jest sumą wszystkich kul o ustalonym promieniu i środkach w punktach zbioru $S.$

Otoczenia w przestrzeniach topologicznych

Otoczenia punktu

Niech $x$ będzie elementem przestrzeni topologicznej $(X,\tau ).$ Zbiór $V\subseteq X$ jest otoczeniem punktu $x,$ gdy istnieje zbiór otwarty $U\in \tau ,$ dla którego

$x\in U\subseteq V.$

Innymi słowy, zbiór $V$ jest otoczeniem punktu $x,$ jeśli $x\in \text{Int}V,$ gdzie $\text{Int}V$ oznacza wnętrze zbioru $V$Szablon:Odn.

Uwaga 1: Otoczenie punktu nie musi być zbiorem otwartym – wystarczy, że zawiera zbiór otwarty zawierający dany punkt. W szczególności, otoczenie może być zbiorem domkniętym, zwartym itd. Otoczenia takie nazywamy odpowiednio otoczeniem otwartym, domkniętym, zwartym itp.

Uwaga 2: Należy zwracać uwagę na konwencje stosowane przez różnych autorów. Niektórzy z nich za otoczenia punktu przyjmują wyłącznie zbiory otwarte zawierające dany punktSzablon:Odn. W stosowanej tu terminologii otoczenia takie nazywamy otoczeniami otwartymi.

Otoczenia zbioru

Niech $S$ jest podzbiorem $X.$ Otoczeniem zbioru $S$ jest zbiór zawierający zbiór otwarty, który zawiera $S.$ W szczególności, otoczenie zbioru jest otoczeniem każdego punktu tego zbioru

Inaczej mówiąc suma otoczeń wszystkich punktów zbioru jest jego otoczeniem.

System otoczeń a topologia

Jeżeli dla każdego punktu $x$ zbioru $X$ dana jest pewna rodzina $B(x)$ podzbiorów $U$ zbioru $X$ spełniająca warunki:

1. dla każdego $U\in B(x)$ mamy, że $x\in U,$
2. dla dowolnego $U\in B(x)$ istnieje takie $V\in B(x),$ że $U\in B(y)$ dla wszelkich $y\in V,$

to fakt ten można wykorzystać do określenia topologii w zbiorze $X:$ zbiór otwarty definiuje się jako zbiór, który wraz z każdym swoim punktem $x$ zawiera również pewien zbiór z rodziny $B(x).$

Otoczenie jako pojęcie pierwotne aksjomatyki

Pierwsza aksjomatyka przestrzeni topologicznej, podana przez Hausdorffa, była oparta na pojęciu otoczenia.

Definicja. Przestrzenią topologiczną nazywamy parę $(X,\tau )$ złożoną ze zbioru $X$ oraz rodziny

$\tau =\{{\tau }_x{\}}_{x\in X}$

zbiorów ${\tau }_x,$ których elementami są podzbiory (zwane otoczeniami elementu $x$) zbioru $X$ spełniające następujące aksjomaty:

1. Każde otoczenie $x$ zawiera $x$ oraz zbiór $X$ jest otoczeniem każdego swojego punktu.
2. Każdy zbiór zawierający jakieś otoczenie $x$ jest także otoczeniem $x.$
3. Przecięcie dowolnej pary otoczeń $x$ jest także otoczeniem $x.$
4. W każdym otoczeniu $x$ zawarte jest takie otoczenie $x,$ które jest zarazem otoczeniem każdego swojego punktuSzablon:Odn.

Zobacz też

• Baza otoczeń

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę

Linki zewnętrzne

• Szablon:MathWorld [dostęp 2024-02-01].
• Szablon:MathWorld [dostęp 2024-02-01].
• Szablon:Otwarty dostęp Neighbourhood Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-02-01].