למה (מתמטיקה)
לֶמה (באנגלית: Lemma; מיוונית: λημμα) היא משפט מתמטי המשמש כלי-עזר להוכחת משפטים אחרים. נקראת לפעמים גם משפט עזר.
מלבד העובדה שהיא מסייעת בהוכחת משפט אחר, ההבחנה בין "לֶמה" לבין "משפט" היא בעיקר ערכית – הלֶמה עשויה להימצא בצילו של המשפט אשר בהוכחתו סייעה. עם זאת הוכחת הלֶמה עשויה לפתור את מרבית הדרך להוכחת משפט המטרה או אף לפתוח צוהר רחב יותר ממנו בגלל מאפיינים ונושאים שונים שהועלו בזמן הוכחתה. לכן בין הלמות קיימות גם תוצאות חשובות רבות: הלמה של צורן, הלמה של בזו, הלמה של פאטו, הלמה של נקאימה ועוד.
מהעת העתיקה מוכרות הלמה של אוקלידס וספר הלמות של ארכימדס.
אטימולוגיה
המילה היוונית "למה" ("λημμα") פירושה: "כל דבר המתקבל. כגון מתנה, רווח או שוחד". על פי ה-"Handbook of writing for the mathematical sciences",[1] הטיית הריבוי לֶמוֹת (באנגלית: Lemmas) נמצאת בשימוש נפוץ, אך למעשה הצורה הנכונה מבחינה לשונית היא לֶמַטה (Lemmata, על-פי המקור: λημματα) בתעתיק מיוונית.
הערות שוליים
- ^ Nicholas J. Higham, 1998. Handbook of writing for the mathematical sciences, Second Edition. Philadelphia: Society for Industrial and Applied Mathematics.
