Λήμμα (μαθηματικά)

Στα μαθηματικά, ένα λήμμα είναι μία αποδεδειγμένη μαθηματική πρόταση που συνήθως έχει βοηθητική σημασία στην απόδειξη ενός πιο σημαντικού θεωρήματος. Η διάκριση μεταξύ θεωρημάτων και λημμάτων είναι αυθαίρετη και υποκειμενική, και από τεχνικής απόψεως τα δύο είναι εντελώς ισοδύναμα.

Κάποια λήμματα στα μαθηματικά αναδείχθηκαν πιο σημαντικά από τα θεωρήματα στα οποία χρησιμοποιήθηκαν. Μερικά από αυτά διατήρησαν τον τίτλο "λήμμα" (αντί για θεώρημα) μόνο και μόνο για την αρχική τους δευτερεύουσα σημασία.

 Παραδείγματα 

 Θεωρία αριθμών 
 Λήμμα Γκάους
 Λήμμα Μπεζού
 Λήμμα του Ευκλείδη
 Ανάλυση 
 Λήμμα Φάρκας
 Λήμμα των Σάπλεϊ-Φόλκμαν
 Λήμμα του Σβαρτς
 Θεωρία αποδείξεων 
 Λήμμα του Τσορν

 Δείτε επίσης 
 Θεώρημα
 Πόρισμα
 Μαθηματική απόδειξη

 Παραπομπές 

Κατηγορία:Μαθηματική ορολογία
Κατηγορία:Μαθηματικές αποδείξεις
Κατηγορία:Φιλοσοφία της γλώσσας
Κατηγορία:Έννοιες στη λογική