What is a lemma?

1. Dec 17, 2009

Char. Limit

What is a lemma?

I hear people talking about "lemmas" all the time. A great example is the math joke that ends with the devil saying "But I found this really interesting lemma..." This joke would likely be much funnier to me if I knew what a lemma (or Riemann's hypothesis, but if you want to, I don't necessarily need to know that) is.

All help appreciated.

2. Dec 17, 2009

Hurkyl

Staff Emeritus
Re: Lemmas

A lemma is a statement you can prove so that you can prove something else. The only reason we don't call them theorems is that they are typically aren't interesting enough to "deserve" that title.

Last edited: Dec 17, 2009
3. Dec 18, 2009

HallsofIvy

Re: Lemmas

You might also want to note "corrollary". A corrollary is a statement that is not important enough be called a "theorem" in its own right but follows easily from a given theorem.

"Lemmas" are used to prove a theorem so are proved before the theorem. "Corrollaries" are proved from the theorem an so are proved after the theorem.

Last edited by a moderator: Dec 19, 2009
4. Dec 18, 2009

Char. Limit

Re: Lemmas

Thanks for the help.

5. Dec 18, 2009

arildno

Re: Lemmas

There are SOME lemmas, though, that have shown themselves to be far more useful than the theorem originally sought to be proven by the aid of that lemma..

Zorn's lemma, for example.