עצרת כפולה

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

במתמטיקה, עצרת כפולה של מספר שלם ואי-שלילי , היא מכפלת כל המספרים השלמים מ-1 ועד  , שלהם אותה זוגיות כמו .

העצרת הכפולה הוכנסה לשימוש במקור על מנת לפשט ביטויים של אינטגרלים טריגונומטריים המופיעים בגזירה של מכפלת ואליס. העצרת הכפולה נפוצה גם בביטויי נפח של היפר-ספרות (קבוצת נקודות במרחק קבוע מנקודת מרכז), ובבעיות קומבינטוריות.

הגדרה

הגדרתה המתמטית של העצרת הכפולה:

כאשר .

מהגדרה זו נגזר (כמכפלה ריקה) שהערך של עצרת כפולה של 0:

למשל, לחישוב עצרת כפולה של 9:

סדרת הערכים של עצרת כפולה עבור המספרים הזוגיים מתחילה ב

1, 2, 8, 48, 384, 3840, 46080, 645120, .... (סדרה A000165 ב־OEIS)

סדרת הערכים של עצרת כפולה עבור המספרים האי-זוגיים מתחילה ב

1, 3, 15, 105, 945, 10395, 135135, .... (סדרה A001147 ב־OEIS)

עצרת כפולה בהשוואה לעצרת

מאחר שעצרת כפולה מערבת רק כחצי מהאיברים של עצרת רגילה, הערך שלה אינו גדול בהרבה מ־ , והיא קטנה בהרבה מ־ .

בביטוי האי־זוגי המכנה שווה ל־ ומבטל את הזוגיים במונה.

עבור מספרים אי־זוגיים ניתן לבטא את העצרת הכפולה גם באמצעות k-תמורות של 2k כך:

הרחבות

הרחבה לשליליים

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

ולקבל

באמצעות נוסחת נסיגה הפוכה זו, מספרים שליליים אי-זוגיים בעלי ערך מוחלט גדול יותר הם שברים.[1] בפרט כאשר אי-זוגי מתקיים:

הרחבה למרוכבים

קיימת דרך אחרת להרחיב את ההגדרה של עצרת כפולה שמאפשרת הגדרה שלה עבור מרוכבים. גישה זו מבוססת על ההבחנה כי עבור מספר אי-זוגי חיובי z מתקיים:

15 דיאגרמות של מיתרים שונים של 6 נקודות, או 15 שידוכים של 6 צמתים בגרף שלם
15 עצים בינאריים בעלי שורשים (עם ילדים חסרי סדר) שניתן להגדיר עבור קבוצה של 4 עלים

מכך ניתן לגזור הגדרה חלופית ל- עבור מספרים זוגיים אי-שליליים:

הביטוי עבור מוגדר עבור מספרים מרוכבים, מלבד מספרים זוגיים שליליים. כאשר משתמשים בהגדרה זו, הנפח של היפר-ספרה -ממדית הוא

שימושים קומבינטורים

עצרת כפולה מופיעה באופן שכיח בבעיות קומבינטורית.

  • בשידוך של גרף שלם של עבור אי־זוגי. בגרף כזה לכל קודקוד יש אפשרויות שידוך, ולאחר שבוחרים שידוך לקודקוד אחד עם אחר נותר לבחור שידוך ליתר הקודקודים מלבד שני אלו ששודכו. למשל בגרף שלם של ארבעה קודקודים, א', ב', ג' וד' יש שלושה שידוכים מושלמים: א+ב וג+ד, א+ג וב+ד, וא+ד וב+ג.
  • תמורות סטירלינג הן תמורות של רב-קבוצה (multiset) של המספרים שבה כל זוג מספרים שווים מופרד רק על ידי מספר גדול יותר, כאשר . שני העותקים של חייבים להיות סמוכים; הסרתם מותיר בעיה של תמורה שבה האיבר המקסימלי הוא עם מקומות שבהם הסמוך ל- יכול להיות ממוקם. מבנייה רקורסיבית זו ניתן להוכיח באינדוקציה שתמורות סטירלינג נספרות על ידי פרמוטציות כפולות.
  • עצי ערימה שבהם קודקודים בעלי ערכים של שבהם השורש הוא 0, כל קודקוד אחר הוא בעל ערך גבוה יותר מקודקוד האב, ולצאצאיו של כל קודקוד יש סדר מוגדר. טיול אוילר בעץ (עם קשתות כפולות) מניב תמורת סטירלינג, וכל תמורת סטירלינג מתארת עץ בדרך זו.
  • עצים בינאריים חסרי שורש עם עלים ממוספרים. כל עץ כזה יכול להיווצר מעץ עם עלה אחד פחות, באמצעות פיצול אחד מ- קשתות העץ, והפיכת הקודקוד החדש להיות האב של העלה.
  • בעצים בינאריים בעלי שורש, עם עלים. במקרה זה בדומה לעצים חסרי שורש, אך מספר הקשתות שאותו ניתן לפצל הוא זוגי, ובנוסף לפיצול של קשת ניתן להוסיף קודקוד לעץ עם עלה אחד פחות באמצעות הוספת שורש ששני בניו הם העץ הקטן יותר והעלה החדש.

הערות שוליים

  1. ^ Callan, David (2009), A combinatorial survey of identities for the double factorial, arXiv:0906.1317 .


Logo hamichlol.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0