למה (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הוא זה על המשפט |
מ האמת שאני לא בטוח, עוזי יחליט |
||
שורה 1:
'''לֶמה''' (ב[[אנגלית]]: '''Lemma'''; מ[[יוונית]]: '''λημμα''')
מלבד העובדה שהיא מסייעת בהוכחת משפט אחר, ההבחנה בין "לֶמה" לבין "משפט" היא בעיקר ערכית – הלֶמה עשויה להימצא בצילו של המשפט אשר בהוכחתו סייעה. עם זאת הוכחת הלֶמה עשויה לפתור את מרבית הדרך להוכחת משפט המטרה או אף לפתוח צוהר רחב יותר ממנו בגלל מאפיינים ונושאים שונים שהועלו בזמן הוכחתה. לכן בין הלמות קיימות גם תוצאות חשובות רבות: [[הלמה של צורן]], [[הלמה של בזו]], [[הלמה של פאטו]], [[הלמה של נקאימה]] ועוד.
| |||