A lemma (görögül λημμα - feltételezés) egy bizonyított állítás, amely nem önmagában hasznos, hanem más állítások bizonyítására. Emiatt "segédtételnek" is nevezik [1] [2] . Sok esetben a lemma fontosságát a bizonyítani kívánt tétel határozza meg; azonban a lemma is fontosabbnak bizonyulhat, mint azt eredetileg gondolták [3] . A "lemma" szó az ógörög λῆμμα szóból származik ("bármit kapnak" [2] , például ajándék, haszon vagy vesztegetés).
Példák az ismert lemmákra: Euclid lemma , Jordan lemma , több Gauss lemma , Nakayama lemma , Burnside lemma , Morse lemma , növekedési lemma , Fatou lemma , Fermat lemma , Zorn lemma , Shapley - Folkman lemma, Schur lemma .
A lemma és a tétel között nincs formai különbség , csak szándékbeli különbség. A lemma azonban másodlagos eredménynek tekinthető, amelynek egyetlen célja egy lényegesebb tétel bizonyítása – lépés a bizonyítás irányába [3] .
Szótárak és enciklopédiák |
---|