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^[1]. 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ą^[2].

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=\{{\tfrac {1}{1}},{\tfrac {1}{2}},{\tfrac {1}{3}},{\tfrac {1}{4}},\dots \}$ ^[2].
Lemat Riesza implikuje, że sfera jednostkowa każdej nieskończenie wymiarowej przestrzeni unormowanej zawiera nieskończony, domknięty zbiór dyskretny.

Eric W. Weisstein: CRC Concise Encyclopedia of Mathematics. CRC Press, 2002. ISBN 1-58488-347-2.
Stephen Willard: General Topology. Mineola, New York: Dover Publications, Inc., 2004.
Eric W.E.W. Weisstein Eric W.E.W., Discrete Set, [w:] MathWorld, Wolfram Research [dostęp 2009-04-04] (ang.).

cechy zdefiniowane w dowolnej przestrzeni topologicznej	zbiór otwarty zbiór domknięty zbiór otwarto-domknięty zbiór brzegowy zbiór spójny spójny drogowo spójny łukowo jednospójny obszar zbiór borelowski zbiór gęsty zbiór nigdziegęsty zbiór wszędzie gęsty zbiór doskonały zbiór dyskretny zbiór zwarty continuum własność punktu stałego
cechy zdefiniowane w przestrzeniach metrycznych	zbiór ograniczony całkowicie ograniczony