Discrete metriek
Uiterlijk
De discrete metriek is een metriek op een willekeurige verzameling V gedefinieerd door:
- als
- als
De discrete metriek wordt geïnduceerd door de triviale absolute waarde.
De discrete metriek is heel handig bij het vinden van tegenvoorbeelden van bepaalde stellingen. Opmerkelijk is dat met de discrete metriek elke verzameling zowel open als gesloten is.