חיבור

פעולה מתמטית
(הופנה מהדף לוח החיבור)

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

הדגמה של הפעולה 2+3

הגדרותעריכה

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

לוח החיבור
9 8 7 6 5 4 3 2 1 0 +
9 8 7 6 5 4 3 2 1 0 0
10 9 8 7 6 5 4 3 2 1 1
11 10 9 8 7 6 5 4 3 2 2
12 11 10 9 8 7 6 5 4 3 3
13 12 11 10 9 8 7 6 5 4 4
14 13 12 11 10 9 8 7 6 5 5
15 14 13 12 11 10 9 8 7 6 6
16 15 14 13 12 11 10 9 8 7 7
17 16 15 14 13 12 11 10 9 8 8
18 17 16 15 14 13 12 11 10 9 9

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

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

  •  .
  •  .
  • לדוגמה,  

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

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

מספרים שלמיםעריכה

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

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

מספרים רציונלייםעריכה

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


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

 

מספרים ממשייםעריכה

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

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

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

 

עוצמותעריכה

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

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

וקטוריםעריכה

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

סוגרייםעריכה

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

תכונותעריכה

לחיבור כמה תכונות בסיסיות:

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

הוכחהעריכה

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

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

פעולות דומותעריכה

ראו גםעריכה

קישורים חיצונייםעריכה

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