Lemma (græsk λημμα - antagelse) er et bevist udsagn, der ikke er nyttigt i sig selv, men til at bevise andre udsagn. Af denne grund er det også kendt som "hjælpesætningen" [1] [2] . I mange tilfælde er betydningen af et lemma bestemt af den sætning, det søger at bevise; dog kan lemmaet også vise sig at være vigtigere end oprindeligt antaget [3] . Ordet "lemma" kommer fra det oldgræske λῆμμα ("hvad der end modtages" [2] , såsom en gave, fortjeneste eller bestikkelse).
Eksempler på velkendte lemmaer: Euklids lemma , Jordans lemma , adskillige Gauss-lemmaer , Nakayamas lemma , Burnsides lemma , Morses lemma, vækstlemma , Fatous lemma , Fermats lemma , Zorns lemma , Shapley-Folkmans lemma , Schurs lemma .
Der er ingen formel forskel mellem et lemma og et teorem , kun en forskel i hensigten. Lemmaet kan dog betragtes som et sekundært resultat, hvis eneste formål er at hjælpe med beviset for en mere væsentlig sætning - et skridt i retning af beviset [3] .
Ordbøger og encyklopædier |
---|