Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Lemma (mathematics)
Summary
In mathematics, informal logic and argument mapping, a lemma (: lemmas or lemmata) is a generally minor, proven proposition which is used as a stepping stone to a larger result. For that reason, it is also known as a "helping theorem" or an "auxiliary theorem". In many cases, a lemma derives its importance from the theorem it aims to prove; however, a lemma can also turn out to be more important than originally thought.
From the Ancient Greek λῆμμα, (perfect passive εἴλημμαι) something received or taken. Thus something taken for granted in an argument.
There is no formal distinction between a lemma and a theorem, only one of intention (see Theorem terminology). However, a lemma can be considered a minor result whose sole purpose is to help prove a more substantial theorem – a step in the direction of proof.
Some powerful results in mathematics are known as lemmas, first named for their originally minor purpose. These include, among others:
Bézout's lemma
Burnside's lemma
Dehn's lemma
Euclid's lemma
Farkas' lemma
Fatou's lemma
Gauss's lemma (any of several named after Carl Friedrich Gauss)
Greendlinger's lemma
Itô's lemma
Jordan's lemma
Nakayama's lemma
Poincaré's lemma
Riesz's lemma
Schur's lemma
Schwarz's lemma
Sperner's lemma
Urysohn's lemma
Vitali covering lemma
Yoneda's lemma
Zorn's lemma
While these results originally seemed too simple or too technical to warrant independent interest, they have eventually turned out to be central to the theories in which they occur.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.