זוגיות (מתמטיקה)

במתמטיקה, זוגיות היא  שיש לכל מספר שלם, בהתאם לשארית המתקבלת מחלוקתו ב-2:
 כל מספר שלם שמתחלק ב-2 ללא שארית (או ששארית החלוקה שלו ב-2 היא 0) נקרא מספר זוגי
 כל מספר שלם שאינו מתחלקת ב-2 ללא שארית (או ששארית החלוקה שלו ב-2 היא 1) נקרא מספר אי-זוגי
כל מספר שלם הוא או זוגי או אי-זוגי (אך לא שניהם).

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

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

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

תכונות אריתמטיות

חיבור וחיסור

כפל

חזקה 
חזקה במעריך טבעי של מספר זוגי היא זוגית, וחזקה במעריך טבעי של מספר אי־זוגי היא אי־זוגית.

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

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

ההערכה ה-2-אדית 

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

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

 

אריתמטיקה