Knoopcomplement

In de knopentheorie, een deelgebied van de topologie, is het knoopcomplement van een tamme knoop K het verzamelingtheoretisch complement van het inwendige van de inbedding van een vaste torus in de 3-sfeer. Deze vaste torus is een verdikte omgeving van K. Merk op dat het knoopcomplement een compacte 3-variëteit is met een begrenzing die homeomorf is aan een torus. Soms betekent een "knoopcomplement" het complement in de 3-sfeer van een knoop (of deze nu tam is of niet), in welk geval het knoopcomplement niet compact is. Om het gebruik te bepalen is de context noodzakelijk. Er bestaan soortgelijke definities voor het linkcomplement.