Welgedefinieerdheid

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de wiskunde is welgedefinieerdheid een wiskundige of logische definitie van een bepaald concept of object (een functie, een eigenschap, een relatie enz.) die op een geheel ondubbelzinnige wijze gebruik maakt van een verzameling van basisaxioma's en die voldoet aan de eigenschappen, waaraan zij moet voldoen. Definities worden meestal ondubbelzinnig gesteld, en het is in dat geval duidelijk dat ze voldoen aan de vereiste eigenschappen. Soms komt het echter beter uit om een definitie in termen van een arbitraire keuze te formuleren; men moet men controleren of de definitie onafhankelijk is van deze arbitraire keuze. Bij andere gelegenheden hoeven de vereiste eigenschappen niet allen vanzelfsprekend te zijn, men dient deze eigenschappen dan te verifiëren. Deze kwesties ontstaan meestal ​​in de definitie van functies.