חיבור

באריתמטיקה, חיבור היא פעולה יסודית שמשמעותה צירוף של שני אוספי פריטים לאוסף הכולל את שניהם. את החיבור מסמנים בעזרת הסימן + (פלוס). למספרים שמחברים קוראים "מחוברים" ולתוצאה קוראים "סכום". התמונה משמאל מדגימה את הביטוי 2+3=5: אם נצרף 3 צורות מלמעלה ו-2 צורות מלמטה, נקבל ביחד 5 צורות. לפעולה קוראים "פלוס" או "ועוד" לכן את הביטוי ניתן לקרוא כ"שתים ועוד שלוש" או "שתים פלוס שלוש". הדוגמה מדגימה את המשמעות היסודית של חיבור, היא חיבור מספרים טבעיים, אולם ניתן להגדיר גם חיבור מספרים שליליים, אי-רציונליים ואף מרוכבים, וכמו כן חיבור פונקציות, וקטורים, מטריצות, עוצמות ועוד.

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

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

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

מערכות מספרים אחרות

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

במילים אחרות,  כאשר  מספרים טבעיים.

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

במילים אחרות, חיבור מספרים רציונליים מוגדר בצורה הבאה:

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

מספרים מרוכבים

חיבור של מספרים מרוכבים מוגדר בצורה הבאה:

עוצמות
הסכום  כאשר  עוצמות מוגדר כך: 
בוחרים קבוצות A, B זרות המקיימות , 

העוצמה  מוגדרת כעוצמת האיחוד .

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

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

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

הוכחה
 מספרים טבעיים: נוכיח את שתי התכונות הראשונות על מספרים טבעיים באינדוקציה. התכונה השלישית נובעת מהגדרת החיבור והחילופיות.
 חילופיות: באינדוקציה על b. כצעד ראשון נוכיח באינדוקציה על a ש-. עבור  נקבל , ואם נניח נכונות עבור a, נקבל . על פי הנחת האינדוקציה, הביטוי בסוגריים שווה ל-a, לכן  כמו שרצינו להוכיח. לכן  והוכחנו את בסיס האינדוקציה. כעת נניח עבור b ש ונקבל . כעת נוכיח באינדוקציה על a שהביטוי הנ"ל שווה ל-. עבור  נקבל . נניח עבור a ונקבל . הרכבת ההוכחות הנ"ל תתן לנו ש-, ומעבר האינדוקציה הושלם.
 קיבוציות: באינדוקציה על c. עבור  נקבל . נניח עבור c ונקבל .
 מספרים שלמים:
 חילופיות: 
 קיבוציות: 
 נייטרליות של אפס: 
 קיום איבר נגדי: כאן מצטרפת תכונה חדשה, והיא קיום איבר נגדי - לכל x קיים y כך ש-. נראה זאת: , לכן  הוא הנגדי של , ונסמן .
 מספרים רציונליים:
 חילופיות: 
 קיבוציות: 
 נייטרליות של אפס: 
 קיום איבר נגדי: 
 מספרים ממשיים:
 חילופיות: 
 קיבוציות: 
 נייטרליות של אפס: 
 קיום איבר נגדי: 
 מספרים מרוכבים:
 חילופיות: 
 קיבוציות: 
 נייטרליות של אפס: 
 קיום איבר נגדי: 
(הערה: בחלק ממערכות המספרים השתמשנו לא רק בתכונות החיבור של המערכת הקודמת, אלא גם בכמה מתכונות הכפל, עליהן ניתן לקרוא כאן)

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

ראו גם
 עקרון החיבור
 ארבע פעולות החשבון
 חיבור מטריצות

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

הוכחת תכונת החילופיות של חיבור
 

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