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