Lemma (kreikaksi λημμα - oletus) on todistettu väite, joka ei ole hyödyllinen sinänsä, vaan muiden väitteiden todistamiseen. Tästä syystä se tunnetaan myös "apulauseena" [1] [2] . Monissa tapauksissa lemman tärkeyden määrää se lause, jonka se yrittää todistaa; lemma voi kuitenkin myös osoittautua tärkeämmäksi kuin alun perin luultiin [3] . Sana "lemma" tulee antiikin kreikan sanasta λῆμμα ("mitä tahansa vastaanotetaan" [2] , kuten lahja, voitto tai lahjus).
Esimerkkejä tunnetuista lemmoista: Eukleideen lemma , Jordanin lemma , useat Gaussin lemmat , Nakayaman lemma , Burnsiden lemma , Morsen lemma, kasvulemma , Fatoun lemma , Fermatin lemma , Zornin lemma , Shapley - Folkmanin lemma, Schurin lemma .
Lemman ja lauseen välillä ei ole muodollista eroa , vain tarkoitusero. Lemmaa voidaan kuitenkin pitää toissijaisena tuloksena, jonka ainoana tarkoituksena on auttaa olennaisemman lauseen todistuksessa - askel todistuksen suuntaan [3] .
Sanakirjat ja tietosanakirjat |
---|