עקרון הכפל

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

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

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

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

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

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

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

תורת הקבוצות

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

בהכללה, המכפלה של קבוצה כלשהי של עוצמות מוגדרת לפי:

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

ראו גם
תלות (הסתברות)

קישורים חיצוניים
 

משפטים בקומבינטוריקה
תורת הקבוצות
כפל