עצרת
מתוך ויקיפדיה, האנציקלופדיה החופשית
- ערך זה עוסק בפונקציה מתמטית. לערך העוסק בחג השבועות, ראו שבועות.
במתמטיקה, עצרת (באנגלית factorial), היא פונקציה הפועלת על המספרים הטבעיים, ומתאימה לכל מספר טבעי את המכפלה של כל המספרים הטבעיים מ-
ועד
זה בזה. העצרת מסומנת בסימן
, כפי שהוצע על-ידי המתמטיקאי כריסטיאן קראמפ בשנת 1808.
דוגמאות לחישובי עצרת:
קל לראות משתי דוגמאות אלה שערכיה של הפונקציה נוסקים במהירות רבה ביחס לפונקציות נפוצות אחרות (דוגמת פולינומים ואף פונקציות מעריכיות).
עבור גדול, ניתן להשיג קירוב טוב לערך של
באמצעות נוסחת סטירלינג, שקובעת:
הערך של מוגדר כשווה 1, משום ש-
היא מכפלה ריקה (כמו
), שערכה הוא תמיד 1.
ניתן להסביר זאת גם באינדוקציה, לפי הכלל ש- , ועל כן
.
לעצרת שימושים רבים בקומבינטוריקה. למשל, מספר התמורות של איברים (כלומר, מספר הדרכים השונות לסידורם של n איברים שונים בשורה) שווה ל-
. באלגברה לעצרת שימוש בחישוב מקדמי הבינום של ניוטון. העצרת משמשמת גם בחשבון אינפיניטסימלי, למשל במשפט טיילור, משום שהנגזרת ה-
של
שווה ל-
.
פונקציית העצרת היא מקרה פרטי של פונקציית גמא. למעשה, זוהי פונקציית גמא המצומצמת על קבוצת המספרים הטבעיים בלבד.
באופן כללי, פונקציה גמא מוגדרת כ
ובאמצעות אינטגרציה בחלקים ניתן לראות שהיא מקיימת
עבור מספרים טבעיים מקבלים ש
ו
ולכן קל לראות שאכן
לכל n טבעי (שלם אי-שלילי).