Punct izolat

„0” este un punct izolat al A = {0} ∪ [1, 2]

În matematică, un punct Format:Mvar este denumit punct izolat al unei submulțimi Format:Mvar (într-un spațiu topologic Format:Mvar) dacă Format:Mvar este un element al lui Format:Mvar și există o vecinătate al lui Format:Mvar care nu conține alte puncte din Format:Mvar. Acest lucru este echivalent cu a spune că singletonul x este o mulțime deschisă în spațiul topologic Format:Mvar (considerat ca un subspațiu al Format:Mvar). O altă formulare echivalentă este: un element Format:Mvar din Format:Mvar este un punct izolat al Format:Mvar dacă și numai dacă nu este un punct de acumulare al lui Format:Mvar.

Dacă spațiul Format:Mvar este un spațiu euclidian (sau oricare alt spațiu metric), atunci un element Format:Mvar din Format:Mvar este un punct izolat al Format:Mvar dacă există o bilă în jurul lui Format:Mvar care conține doar un număr finit de elemente dinFormat:Mvar.

Noțiuni înrudite

O mulțime care este alcătuită numai din puncte izolate se numește mulțime discretă (vezi și Format:Ill-wd). Orice submulțime discretă Format:Mvar a spațiului euclidian trebuie să fie numărabilă, deoarece izolarea fiecăruia dintre punctele sale împreună cu faptul că numerele raționale sunt dense între numerele reale înseamnă că punctele lui Format:Mvar pot fi puse în corespondență cu o mulțime de puncte cu coordonate raționale. Totuși, nu orice mulțime numărabilă este discretă, dintre care numerele raționale din metrica euclidiană obișnuită sunt exemplul canonic.

O mulțime închisă fără puncte izolate se numește mulțime perfectă (conține toate punctele sale de acumulare și niciun punct izolat).

Numărul de puncte izolate este un invariant topologic, adică dacă două spații topologice Format:Mvar și Format:Mvar sunt Format:Ill-wd, au același număr de puncte izolate.

Exemple

Exemple standard

Spațiile topologice din următoarele trei exemple sunt considerate subspații ale dreptei reale cu topologia standard.

• Pentru mulțimea $S=\{0\}\cup [1,2]$, punctul 0 este un punct izolat (exemplul din imagine).
• Pentru mulțimea $S=\{0\}\cup \{1,1/2,1/3,\dots \}$, fiecare dintre punctele 1/Format:Mvar este un punct izolat, dar 0 nu este un punct izolat deoarece există alte puncte în Format:Mvar oricât de aproape de 0 se dorește.
• Mulțimea $\mathbb{N}=\{0,1,2,\dots \}$ de numere naturale este o mulțime discretă.

În spațiul topologic $X=\{a,b\}$ cu topologia $\tau =\{\mathrm{\varnothing },\{a\},X\}$, elementul $a$ este un punct izolat, chiar dacă $b$ aparține închiderii lui $\{a\}$ (prin urmare este, într-un anumit sens, „apropiat” de $a$). O astfel de situație nu este posibilă într-un spațiu Hausdorff.

Lema Morse afirmă că punctele critice nedegenerate ale anumitor funcții sunt izolate.

Două exemple neintuitive

Fie mulțimea $F$ de puncte $x$ din intervalul real $(0,1)$ astfel încât fiecare cifră $x_i$ din reprezentarea lor binară îndeplinește următoarele condiții:

• Este fie $x_i=0$, fie $x_i=1$.
• $x_i=1$ există doar pentru un număr finit de indici $i$.
• Dacă se notează cu $m$ cel mai mare indice astfel încât $x_m=1$, atunci $x_{m-1}=0$.
• Dacă $x_i=1$ și $i<m$, atunci este valabilă exact una dintre următoarele două condiții: $x_{i-1}=1$ sau $x_{i+1}=1$.

Informal, aceste condiții înseamnă că fiecare cifră a reprezentării binare a lui $x$ care este egală cu 1 aparține unei perechi ...0110..., cu excepția ...010... de la sfârșit.

Acum, $F$ este o mulțime explicită constând în întregime din puncte izolate care are proprietatea neintuitivă că închiderea este o mulțime nenumărabilă.

Altă mulțime $F$ cu aceleași proprietăți poate fi obținută după cum urmează. Fie $C$ treimea de mijloc a mulțimii Cantor, fie $I_1,I_2,I_3,\dots$ intervalele componente ale $[0,1]-C$ și fie $F$ o mulțime formată dintr-un punct din fiecare $I_k$. Deoarece fiecare $I_k$ conține doar câte un punct din $F$, fiecare punct din $F$ este un punct izolat. Totuși, dacă $p$ este orice punct din mulțimea Cantor, atunci fiecare vecinătate a lui $p$ conține cel puțin un $I_k$ și, prin urmare, cel puțin un punct de $F$. Rezultă că fiecare punct al mulțimii Cantor se află în închiderea lui $F$, prin urmare $F$ are o închidere nenumărabilă.

Legături externe

• Format:En icon Format:MathWorld