Lemma (řecky λημμα - předpoklad) je osvědčené tvrzení, užitečné ne samo o sobě, ale pro dokazování jiných tvrzení. Z tohoto důvodu je také známá jako „pomocná věta“ [1] [2] . V mnoha případech je důležitost lemmatu určena teorémem, který se snaží dokázat; lemma se však také může ukázat jako důležitější, než se původně myslelo [3] . Slovo „lemma“ pochází ze starořeckého λῆμμα („cokoli je přijato“ [2] , jako je dar, zisk nebo úplatek).
Příklady známých lemmat: Euklidovo lemma , Jordanovo lemma , několik Gaussových lemmat , Nakayamovo lemma , Burnsideovo lemma , Morseovo lemma , růstové lemma, Fatouovo lemma , Fermatovo lemma , Zornovo lemma , Shapley-Folkmanovo lemma, Schurovo lemma .
Mezi lemmatem a teorémem není žádný formální rozdíl , pouze rozdíl v záměru. Lema však lze považovat za sekundární výsledek, jehož jediným účelem je pomoci v důkazu podstatnější věty - krok ve směru důkazu [3] .
Slovníky a encyklopedie |
---|