עקרון החיבור
עֶקְרוֹן הַחִיבּוּר הוא עיקרון יסודי בקומבינטוריקה המופיע בצורות שונות בתחומים רבים במתמטיקה. העיקרון קובע עבור קבוצות זרות, כי אם באחת יש עצמים ובשנייה עצמים, אז מספר העצמים בשתי הקבוצות יחדיו שווה לסכום .
קומבינטוריקה
עריכהבניסוח פורמלי עקרון החיבור קובע כי אם בקבוצה סופית יש איברים ובקבוצה סופית יש איברים, והקבוצות ו- זרות, אז באיחוד יש איברים. או בסימון מקובל: . ניתן להוכיח את עקרון החיבור באינדוקציה בהסתמך על הגדרת החיבור במערכת פאנו.
באינדוקציה מכלילים את עקרון החיבור למספר כלשהו של קבוצות. אם הקבוצות סופיות וזרות בזוגות, אז .
הכללה נוספת של עקרון החיבור היא למקרה שהקבוצות אינן בהכרח זרות. במקרה כזה על סמך החלוקה של לקבוצות הזרות (ראו הפרש וחיתוך) ועל סמך עקרון החיבור, מתקבל: .
מצירוף שתי ההכללות מתקבל עקרון ההכלה וההפרדה הקובע את מספר האיברים באיחוד כלשהו של מספר קבוצות סופיות.
תורת הקבוצות
עריכהבתורת הקבוצות משתמשים בעקרון החיבור כדי להגדיר פעולת חיבור בין עוצמות. עוצמות סופיות הן מספרים טבעיים ולכן הסכום שלהן תואם את עקרון החיבור. לכן טבעי להכליל את עקרון החיבור כך שיגדיר גם סכום של עוצמות אינסופיות: , כאשר ו- זרות.
נראה כי תמיד קיימות קבוצות זרות כאלו: בהינתן עוצמות שיש לחבר, ובהינתן קבוצות בעלות העוצמות הללו בהתאמה, הקבוצות זרות ועוצמותיהן הן בהתאמה .
נראה כי החיבור לא תלוי בקבוצות שנבחרו, כלומר אם (הסימן מייצג שעוצמותיהן שוות, כלומר קיימת פונקציה חח"ע ועל ביניהן) כך שA,B זרות וC,D זרות, אז : יהו חד חד ערכיות ועל. הפונקציה תוגדר . פונקציה זו חח"ע ועל, לכן .
בהכללה, הסכום של קבוצה כלשהי של עוצמות מוגדרת לפי: , כשהקבוצות הנציגות זרות בזוגות.
תורת המידה
עריכהאם לוקחים קטע ממשי באורך ומחברים אותו לקטע באורך הממשיך מהקצה שלו, מתקבל קטע באורך (בהנחה כי נקודת החיבור מתיישבת טוב). באופן כללי יותר, חיבור של שני קטעים זרים צריך לתת קבוצה חדשה שמידתה היא סכום המידות של הקטעים. זוהי תכונה יסודית שמצופה שכל פונקציית מידה תקיים אותה (ואף שתקיים סיגמא-אדיטיביות). באופן כללי, פונקציה ממשפחה של קבוצות לחבורה חיבורית נקראת אדיטיבית, אם , לכל ו- זרות.
בפרט, עקרון החיבור למידת הסתברות קובע שלכל שני מאורעות זרים ו- , ההסתברות ש- יקרה או יקרה היא הסכום של ההסתברויות המתאימות.