Zbiór dyskretny

Zbiór dyskretny – podzbiór $D$ przestrzeni topologicznej $X,$ którego każdy punkt $x$ ma takie otoczenie otwarte $U_{x},$ że

D \cap U_{x} = {x},

tj. każdy punkt zbioru $D$ jest jego punktem izolowanym Szablon:Odn. Innymi słowy, podzbiór $D$ przestrzeni topologicznej $X$ jest dyskretny wtedy i tylko wtedy, gdy $D$ z przestrzenią dziedziczoną z $X$ jest przestrzenią dyskretną Szablon:Odn.

Własności

Zbiór dyskretny nie zawiera więc żadnego swojego punktu skupienia (o ile takie w ogóle istnieją). Rzeczywiście, jeżeli $x$ jest punktem skupienia zbioru podzbioru $D$ przestrzeni topologicznej $X$ oraz $x \in D$ to każde otoczenie punktu $x$ zawiera punkt zbioru $D$ różny od $x .$
W dowolnej przestrzeni topologicznej każdy zbiór jednopunktowy jest zbiorem dyskretnym.
W przestrzeniach T₁ każdy zbiór skończony jest zbiorem dyskretnym.
W przestrzeniach dyskretnych każdy podzbiór jest dyskretny.
Każdy podzbiór zbioru dyskretnego oraz część wspólna zbiorów dyskretnych są również dyskretne. Suma dwóch zbiorów dyskretnych nie musi być zbiorem dyskretnym (jeżeli dany zbiór dyskretny ma punkt skupienia to jego suma wraz ze zbiorem jednoelementowym złożonym z tego punktu nie będzie zbiorem dyskretnym).

W zbiorze liczb rzeczywistych z naturalną topologią następujące zbiory są dyskretne:
- $A = {\dots, - 2, - 1, 0, 1, 2, \dots},$
- $B = {\frac{1}{1}, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots}$ Szablon:Odn.
Lemat Riesza implikuje, że sfera jednostkowa każdej nieskończenie wymiarowej przestrzeni unormowanej zawiera nieskończony, domknięty zbiór dyskretny.