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. 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ą.

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).

Przykłady

• 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 \}$.
• Lemat Riesza implikuje, że sfera jednostkowa każdej nieskończenie wymiarowej przestrzeni unormowanej zawiera nieskończony, domknięty zbiór dyskretny.

Zobacz też

• zbiór ciągły
• zbiór doskonały

Bibliografia

• 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.).