Overdekking (topologie)
topologie / Uit Wikipedia, de vrije encyclopedia
In de wiskunde is een overdekking van een verzameling een geindiceerde verzameling van verzamelingen zodat een deelverzameling van de vereniging van de verzamelingen is. In symbolen: als een geindiceerde verzameling van verzamelingen is, dan is een overdekking van als
- , waarin alle en de indexverzameling is voor de geindiceerde verzameling verzamelingen in .
Noteer . De geindiceerde verzameling is met geïndexeerd.
Wanneer de eis wordt gesteld dat de een deelverzameling van zijn, kan er in de vereniging geen element buiten liggen.