Lemma (matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m ha spostato Lemma a Lemma (matematica): Per spostare Lemma (disambigua) a Lemma (i wikilink entranti si riferiscono ai diversi significati della parola e non solo a quello matematico. |
m nota disambigua non serve più; rimuovo grassetto |
||
Riga 1:
In [[matematica]] per '''lemma''' si intende un enunciato che viene dimostrato nell'ambito di una [[teoria formale]] (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]].
Esso è in pratica una [[proposizione]] dimostrata, necessaria per la [[dimostrazione]] di un teorema più significativo. L'utilzzo di lemmi ha lo scopo di fornire maggiore chiarezza all'argomentazione separandone le parti in maniera ordinata.
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
Tuttavia accade anche, soprattutto per il rispetto delle tradizioni (in genere molto forte tra i matematici), che si usi il termine lemma anche per enunciati di grande rilievo. Talora si tratta di enunciati la cui dimostrazione è stata richiesta dal teorema successivo quando quest'ultimo era solo intuito ed è stata ottenuta con un elevato impegno dimostrativo. Inoltre un tale "lemma di rilievo" può avere notevoli conseguenze per le quali il teorema può essere ignorato. Oppure possono essere dimostrazioni che sono diventate famose in matematica in quanto alla base di numerose altre dimostrazioni. Questi lemmi quindi è opportuno siano ben conosciuti da chi si occupa del settore al quale essi afferiscono. Tra queste proposizioni ricordiamo il [[lemma di Zorn]], il [[Identità di Bézout|lemma di Bézout]], il [[lemma di Euclide]], il [[lemma di Fatou]], il [[lemma di Gauss (teoria dei numeri)|lemma di Gauss]], il [[lemma di Schur]].
| |||