Punkt skupienia zbioru

Punkt skupienia zbioru – dla danego zbioru $A$ przestrzeni topologicznej T1 taki punkt $p,$ dla którego dowolny zbiór otwarty zawierający $p$ zawiera przynajmniej jeden punkt zbioru $A$ różny od $p,$ tzn. przekrój dowolnego sąsiedztwa punktu $p$ ze zbiorem $A$ jest niepusty.

Punktem skupienia zbioru może być punkt nienależący do niego. Zbiór wszystkich punktów skupienia danego zbioru nazywamy pochodną tego zbioru.

Własności

• Punkt $p$ jest punktem skupienia zbioru $A$ wtedy i tylko wtedy, gdy należy do domknięcia zbioru $A\setminus \{p\}$.

• W przestrzeni metrycznej, lub ogólniej, w przestrzeni topologicznej spełniającej pierwszy aksjomat przeliczalności, punkt $p$ jest punktem skupienia zbioru $A$ wtedy i tylko wtedy, gdy jest granicą pewnego ciągu elementów zbioru $A\setminus \{p\}$.

Związane pojęcia

• Jeśli punkt należy do zbioru, ale nie jest jego punktem skupienia, to nazywamy go punktem izolowanym (tego zbioru). A zatem punkt $p$ należący do zbioru $A$ jest izolowany wtedy i tylko wtedy, gdy istnieje takie jego otoczenie, które nie zawiera punktów zbioru $A$ różnych od $p.$

• Jeśli w dowolnym otoczeniu punktu $p$ znajduje się nieprzeliczalnie wiele elementów zbioru $A,$ to punkt $p$ nazywamy punktem kondensacji zbioru $A.$ Punkt kondensacji zbioru jest więc także jego punktem skupienia (ale nie odwrotnie).

• Przy definiowaniu granic jednostronnych potrzebne jest pojęcie jednostronnego punktu skupienia. Jeśli $A\subseteq \mathbb {R}$ (lub ogólniej: dowolnej przestrzeni porządkowej), punkt $x_{0}\in A$ jest lewostronnym punktem skupienia zbioru $A,$ jeśli jest punktem skupienia zbioru $A\cap (x,x_{0})$ dla pewnego $x<x_{0}.$ Podobnie punkt $x_{0}\in A$ jest prawostronnym punktem skupienia zbioru $A,$ jeśli jest punktem skupienia zbioru $A\cap (x_{0},x)$ dla pewnego $x>x_{0}.$
• Punktem skupienia ciągu $(x_{n})_{n=1}^{\infty }$ nazywamy każdą z granic podciągów zbieżnych ciągu $(x_{n})_{n=1}^{\infty }.$ Innymi słowy, $p$ jest punktem skupienia $(x_{n})_{n=1}^{\infty },$ gdy dowolne otoczenie otwarte $p$ zawiera pewien element ciągu $x_{n}.$ Ciąg zbieżny ma jednopunktowy zbiór punktów skupienia (złożony z granicy ciągu). Z drugiej strony, ciąg $x_{n}=0$ dla $n$ nieparzystych i $x_{n}=n$ dla $n$ parzystych, ma jednopunktowy zbiór punktów skupienia, ale nie jest zbieżny. Należy też być ostrożnym i rozróżniać punkt skupienia ciągu od punktu skupienia jego zbioru wyrazów. Np. ciąg $x_{1}=1,$ $x_{n}=2$ dla $n\geqslant 2,$ jest zbieżny do 2 (i to jedyny element jego zbioru punktów skupienia), natomiast zbiór wyrazów ciągu $x_{n}$ to $\{1,2\},$ czyli zbiór, którego wszystkie punkty są izolowane. (Omawiane przykłady dotyczą ciągów na prostej rzeczywistej $\mathbb {R}$).

Przykłady

• Każda liczba rzeczywista jest punktem skupienia zbioru liczb rzeczywistych. Jest ona także punktem kondensacji tego zbioru.
• Każda liczba rzeczywista jest punktem skupienia zbioru liczb wymiernych.
• Pochodną (zbiorem punktów skupienia) przedziałów $(0,1)$ oraz $(0,1]$ jest przedział $[0,1].$ Jest on także zbiorem punktów kondensacji tych przedziałów.
• Zbiór $\{0,1,2\}$ nie ma punktów skupienia – wszystkie punkty tego zbioru są punktami izolowanymi.
• Jedynym punktem skupienia zbioru $\{1,1/2,1/3,1/4,1/5,\dots \}$ jest $0,$ wszystkie punkty tego zbioru są izolowane. Zbiór jest przeliczalny, więc nie może mieć punktów kondensacji.
• Jedynymi punktami skupienia zbioru $\{1/4,3/4,1/5,4/5,1/6,5/6,1/7,6/7,\dots \}$ są $0$ i $1,$ pozostałe punkty są izolowane.

Zobacz też

• kres dolny i górny
• punkt skupienia ciągu uogólnionego
• zbiór doskonały