Sluitmethoden

Sluitmethoden is een term die verwijst naar de werkwijzen waarmee men de sluiting van een verzameling of structuur onder een gegeven relatie of operatie bepaalt of construeert. Het begrip komt voor in wiskunde, informatica en verwante vakgebieden en draait om het vinden van de kleinste of de gewenste verzamelingen die voldoen aan specifieke regels.

In de wiskunde wordt vaak gesproken van een sluitingsoperator. Een sluitingsoperator cl op een verzameling X geeft voor elke deelverzameling A van X een afsluiting cl(A). Een sluitingsoperator heeft doorgaans drie eigenschappen: extensiviteit (A is subset van cl(A)), monotoniciteit (indien A ⊆ B dan cl(A) ⊆ cl(B)) en idempotentie (cl(cl(A)) = cl(A)). De gesloten verzamelingen zijn precies de verzamelingen die gelijk zijn aan hun afsluiting.

Bekende soorten sluitingen zijn onder meer de topologische afsluiting, die de kleinste gesloten verzameling bevat die A bevat (equivalent aan A plus zijn limietpunten), en de transitive closure in grafen, die alle knopen bereikbaar maken vanuit een gegeven knoop. In algebra en logica verschijnt ook de algebraïsche afsluiting van een veld, waarin alle wortels van polynomen met coefficients uit het veld worden toegevoegd.

In de informatica en databaseontwerp spelen sluitingsmethoden een cruciale rol. Zo wordt de closure van een set attributen onder functionele afhankelijkheden gebruikt om sleutels te bepalen, en in programmeer- en analyse-methoden wordt closure gebruikt bij dataflow- en typeanalyse, om vaste punten te bereiken.

Zie ook: sluiting, topologische afsluiting, transitive closure, algebraïsche afsluiting, Armstrong-axioma’s.