Lemma (matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
LiveRC : Annullata la modifica di 93.32.168.87; ritorno alla versione di LaaknorBot |
||
Riga 1:
{{Nota disambigua|descrizione=i significati di lemma al di fuori della matematica|titolo=[[Lemma (disambigua)]]}}
In [[matematica]] per '''lemma''' si intende un enunciato che viene dimostrato nell'ambito di una teoria (come un [[teorema]], un [[corollario]] o una qualsiasi proposizione derivabile dagli [[assioma (matematica)|assiomi]] della teoria stessa mediante un procedimento dimostrativo) e che in una esposizione sistematica della teoria viene presentato come fatto preliminare ad un enunciato di maggiore evidenza cui si riserva il ruolo di [[teorema]]
La maggior parte degli enunciati chiamati lemmi quindi rivestono una importanza circoscritta. Un buon numero di lemmi vengono formulati solo per costituire un chiaro punto di passaggio per uno sviluppo dimostrativo ampio e articolato e non vengono presi in considerazione da chi non vuole addentrarsi nei particolari della dimostrazione del teorema rispetto al quale hanno un ruolo di preliminari, in quanto da essi non si ricavano conseguenze diverse da quelle che portano al teorema. Questi lemmi potrebbero essere chiamati '''lemmi ancillari'''.
| |||