Inductie (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k →Welgefundeerde inductie: oplopend |
→Welgefundeerde inductie: gaat om alle ketens |
||
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
:<math>x_0,x_1,x_2,\ldots</math> met voor alle <math>n\geq 0: x_n\prec x_{n+1}</math>.
| |||