Induzione transfinita: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m added Category:Ricorsione usando HotCat |
mNessun oggetto della modifica |
||
Riga 1:
{{F|matematica|luglio 2012}}
L''''induzione transfinita''' è una tecnica di [[dimostrazione matematica]] analoga all'[[induzione matematica]] applicata ad [[buon ordine|insiemi ben ordinati]], ad esempio all'insieme dei [[numero ordinale (teoria degli insiemi)|numeri ordinali]] o dei [[numeri cardinali]].
Se si vuole dimostrare che una proprietà P vale per tutti gli ordinali, si può applicare l'induzione transfinita coi seguenti passi:
* Dimostrare che P(0) vale
| |||