• Support PF! Buy your school textbooks, materials and every day products Here!

Is it possible to reference Lemmas inside another Lemma?

  • Thread starter number0
  • Start date
  • #1
104
0

Homework Statement



Is it possible to reference Lemmas inside another Lemma?

That is, while you are trying to prove a lemma, you refer to another lemma you have just proven. Is this accepted?


Homework Equations



None.

The Attempt at a Solution



None.
 

Answers and Replies

  • #2
Gib Z
Homework Helper
3,346
5
Yes, its fine. If it's happening too much though, you might want to reconsider what you are calling theorems and what are lemmas, as the lemmas are meant to be the simpler, preliminary results to be used for the proofs of theorems.
 
  • #3
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
407
Math books use the terms "proposition", "theorem", "lemma" and "corollary", but they all refer to theorems. They're just used in slightly different contexts.

Lemma: A theorem that isn't particularly interesting on its own, but is used in the proof of a more interesting theorem.

Theorem: Sometimes reserved for theorems of a greater significance than most.

Proposition: What most theorems are called if the author likes to use the word "theorem" only for the fancy ones.

Corollary: A theorem that's easy to prove if we use the theorem(s) we just proved.
 

Related Threads on Is it possible to reference Lemmas inside another Lemma?

Replies
2
Views
1K
  • Last Post
Replies
0
Views
3K
  • Last Post
Replies
7
Views
585
  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
2
Replies
41
Views
4K
Top