En induktiv definisjon består av tre ledd: et basistrinn, et induksjonstrinn og en ekstremalbetingelse.
Basistrinnet angir direkte visse elementer i den søkte mengde. I eksempelet med de naturlige tall er det tallet 1 som angis.
Induksjonstrinnet tillater oss å definere nye elementer i den søkte mengde ut fra allerede gitte elementer i mengden. Ved de naturlige tall er det etterfølgeroperasjonen som gir de nye elementene.
Ekstremalbetingelsen sier at den søkte mengde skal være den minste mengde som inneholder elementene fra basis, og som er lukket under de krav som ligger i induksjonstrinnet.
Et induksjonsbevis med utgangspunkt i en slik definisjon består i å først bevise utsagnet for de gitte «basiselementene», og deretter vise at om utsagnet gjelder for et vilkårlig element i mengden, vil det gjelde for et hvilket som helst element man kan danne ved hjelp av induksjonstrinnet.
Mer generelle induktive definisjoner kan tilbakeføres til induktive definisjoner av mengder. Et viktig eksempel fra logikken karakteriserer induktivt klassen av teoremer innen et formalt system (se bevis) som den minste klasse formler som inneholder aksiomene (basis), og som er lukket under systemets slutningsregler (induksjonstrinnet). Induktive definisjoner og konstruksjoner forekommer også hyppig innen algoritmeteori, der basis svarer til en direkte beregning, og induksjonsleddet svarer til en såkalt beregningsløkke («loop»).
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.