Inductie (wiskunde): verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Madyno (overleg | bijdragen)
Geen bewerkingssamenvatting
Madyno (overleg | bijdragen)
Regel 11:
 
===Welgefundeerde inductie===
Een algemene vorm van inductie is ''welgefundeerde inductie'' (ook ''Noetheriaanse inductie'' genoemd''). Het principe is toepasbaar op een verzameling ''V'' met daarop een [[Welgefundeerde relatie|welgefundeerde]] partiële orde "<math>\prec</math>". Dat impliceert dat elke oneindige keten een minimaal element heeft. Een oneindige keten is dus altijd van de vorm:
:<math>x_0,x_1,x_2,\ldots</math>&nbsp; met voor alle <math>n\geq 0: x_n\prec x_{n+1}</math>