עקרון הכפל

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

העקרון קובע כי אם יש קבוצה אחת בת $n$ עצמים וקבוצה שנייה בת $m$ עצמים, אז מספר העצמים בקבוצה המורכבת מכל הזוגות האפשריים של עצם אחד מן הקבוצה הראשונה ועצם שני מן הקבוצה השנייה שווה למכפלה $n\times m$ .

קומבינטוריקה

בניסוח פורמלי עקרון הכפל קובע כי אם בקבוצה סופית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} יש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} איברים ובקבוצה סופית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} יש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m} איברים, אז במכפלה הקרטזית $A\times B$ יש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\cdot m} איברים. ניתן להוכיח את עקרון הכפל באינדוקציה בהסתמך על הגדרת הכפל במערכת פאנו ועל עקרון החיבור (הקובע כי מספר האיברים באיחוד של שתי קבוצות זרות שווה לסכום מספר האיברים בכל אחת).

לדוגמה קלף משחק סטנדרטי (שאינו ג'וקר) מוגדר על ידי צורה מבין הצורות ♠, ♣, ♥, ♦ ומספר מבין המספרים 1-13. לכן מספר הקלפים בחפיסה (ללא ג'וקרים) הוא מספר הצורות כפול מספר המספרים: 4×13=52.

באינדוקציה מכלילים את עקרון הכפל למספר כלשהו של קבוצות. אם מספר האיברים בקבוצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_1,\ldots,A_n} הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m_1,\ldots,m_n} בהתאמה, אז מספר האיברים במכפלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_1\times\cdots\times A_n} הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \prod^n_{i=1}m_i} .

מקרה פרטי חשוב הוא כאשר הקבוצות במכפלה כולן זהות, אז מספר האיברים במכפלה הקרטזית הוא $m^{n}$ . המשמעות הקומבינטורית היא שמספר הדרכים לסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} עצמים בשורה, כאשר הם נבחרים מתוך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m} עצמים ומתירים חזרות על אותו עצם, היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m^n} . תוצאה נוספת הנובעת מעקרון הכפל היא שמספר הדרכים לסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} עצמים בשורה בלי חזרות היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n!} (ראו עצרת).

תורת הקבוצות

ערך מורחב – עוצמה (מתמטיקה)#אריתמטיקה של עוצמות

בתורת הקבוצות משתמשים בעקרון הכפל כדי להגדיר פעולת כפל בין עוצמות. עוצמות סופיות הן מספרים טבעיים ולכן המכפלה שלהן תואמת את עקרון הכפל. לכן טבעי להכליל את עקרון הכפל כך שיגדיר גם מכפלה בין עוצמות אינסופיות: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |A|\cdot|B|:=|A\times B|} . הגדרה זו אינה תלויה בבחירת נציגים.

בהכללה, המכפלה של קבוצה כלשהי של עוצמות מוגדרת לפי: הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \prod _{i\in I}|A_{i}|:=\left|\prod _{i\in I}A_{i}\right|}

שטח מלבן

ניתן לחלק מלבן שהאורך והרוחב שלו הם מספרים טבעיים למספר טבעי של ריבועי יחידה. לפי עקרון הכפל מספר הריבועים שווה למכפלת אורך המלבן ברוחבו. אם מוסכם ששטחו של ריבוע יחידה הוא 1, ניתן להגדיר כי שטחו של מלבן כזה שווה למכפלת אורכו ברוחבו. באמצעות חשבון אינפיניטסימלי ניתן להכליל את התוצאה לכל מספר ממשי ולקבל כי שטחו של מלבן כלשהו שווה שמכפלת האורך ברוחב. באמצעות אינטגרל לבג הדבר מאפשר להגדיר את שטחה של צורה דו-ממדית (או באופן כללי את המידה של צורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} -ממדית) בהסתמך על הגדרת שטחו של ריבוע היחידה ומידת לבג בלבד.

ראו גם

• תלות (הסתברות)