Separabel
Van Wikipedia
Separabiliteit is een begrip uit de tak van de wiskunde die topologie heet. Een separabele (topologische) ruimte is een ruimte die een aftelbare dichte deelruimte heeft. Dat wil zeggen dat er een rij punten p1,p2,... bestaat met de eigenschap dat iedere open verzameling punten uit die rij bevat.
De meeste ruimten uit de huis-, tuin- en keukenwiskunde zijn separabel: de reële en de complexe getallen met hun natuurlijke afstandbegrip, de reële n-dimensionale ruimte, iedere eindige of aftelbaar oneindige ruimte, ... Als een topologische ruimte separabel is, dan zijn vanzelfsprekend al zijn topologische deelruimten separabel.
Separabele ruimten zijn in bepaalde opzichten makkelijker wiskundig hanteerbaar dan niet-separabele ruimten.
