Μετάβαση στο περιεχόμενο

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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Για άλλες χρήσεις, δείτε: Λήμμα (αποσαφήνιση).

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

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

Θεωρία αποδείξεων

[Επεξεργασία | επεξεργασία κώδικα]
  1. Higham, Nicholas J. (1998). Handbook of Writing for the Mathematical Sciences. Society for Industrial and Applied Mathematics. σελίδες 16. ISBN 0-89871-420-6. 
  2. Taylor, Paul (1999). Practical Foundations of Mathematics. Cambridge University Press. 
  3. Zeilberger, Doron (2007). «Opinion 82: A Good Lemma is Worth a Thousand Theorems». 
  4. Stout, Lawrence Neff. «How to Study Mathematics».