פעולה אחת המשמשת לעתים קרובות ליצירת קבוצות חדשות מאלו הישנות נקראת האיחוד. בשימוש נפוץ, המילה איחוד מסמנת התכנסות, כמו איגודים בעבודה מאורגנת או מצב האומה כתובת כי ארה"ב הנשיא עושה לפני מושב משותף של הקונגרס. במובן המתמטי, האיחוד בין שתי קבוצות שומר על רעיון זה להפגיש. ליתר דיוק, איחוד של שתי מערכות א ו ב היא הסט של כל האלמנטים איקס כך ש איקס הוא מרכיב בערכה א או איקס הוא מרכיב בערכה ב. המילה המסמנת שאנו משתמשים באיחוד היא המילה "או".
המילה "או"
כאשר אנו משתמשים במילה "או" בשיחות יומיומיות, אנו עשויים שלא להבין כי משתמשים במילה זו בשתי דרכים שונות. בדרך כלל מסקרים את הדרך מהקשר השיחה. אם הייתם נשאלים "האם תרצו את העוף או הסטייק?" ההשלכה הרגילה היא שיש לך כזה או אחר, אך לא את שניהם. התנגדו עם השאלה "האם תרצו חמאה או שמנת חמוצה על תפוח האדמה האפוי שלך?" הנה "או" נמצא משתמשים במובן הכללי בכך שתוכלו לבחור רק חמאה, רק שמנת חמוצה, או גם חמאה וגם חמוצה קרם.
במתמטיקה משתמשים במילה "או" במובן הכלול. אז ההצהרה, "איקס הוא מרכיב של א או מרכיב של ב"פירושו שאחד מהשלושה אפשרי:
- איקס הוא מרכיב של צודק א ולא מרכיב של ב
- איקס הוא מרכיב של צודק ב ולא מרכיב של א.
- איקס הוא מרכיב של שניהם א ו ב. (אפשר לומר זאת גם איקס הוא מרכיב בצומת של א ו ב
דוגמא
לדוגמא כיצד איחוד של שני סטים מהווה מערך חדש, הבה נבחן את הסטים א = {1, 2, 3, 4, 5} ו- ב = {3, 4, 5, 6, 7, 8}. כדי למצוא את האיחוד של שתי מערכות אלה, אנו פשוט מפרטים כל רכיב שאנחנו רואים, ונזהר שלא לשכפל אלמנטים כלשהם. המספרים 1, 2, 3, 4, 5, 6, 7, 8 נמצאים בקבוצה כזו או אחרת, ולכן האיחוד של א ו ב הוא {1, 2, 3, 4, 5, 6, 7, 8}.
סימון לאיחוד
בנוסף להבנת המושגים הנוגעים לפעולות תיאוריות מוגדרות, חשוב להיות מסוגלים לקרוא סמלים המשמשים לציון פעולות אלה. הסמל המשמש לאיחוד בין שתי הקבוצות א ו ב ניתן ע"י א ∪ ב. אחת הדרכים לזכור את הסמל ∪ מתייחס לאיחוד היא לשים לב לדמיונו לבירה U, שהיא קיצור למילה "איחוד". היזהר, כי הסמל לאיחוד דומה מאוד לסמל של צומת. האחד מתקבל מהשני על ידי היפוך אנכי.
כדי לראות סימון זה בפעולה, עיין בדוגמה לעיל. כאן היו לנו הסטים א = {1, 2, 3, 4, 5} ו- ב = {3, 4, 5, 6, 7, 8}. אז היינו כותבים את המשוואה שנקבעה א ∪ ב = {1, 2, 3, 4, 5, 6, 7, 8 }.
התאחדות עם הסט הריק
זהות בסיסית אחת המערבת את האיחוד מראה לנו מה קורה כאשר אנו לוקחים את האיחוד של כל קבוצה עם הסט הריק, המסומן על ידי # 8709. הסט הריק הוא הסט ללא אלמנטים. אז ההצטרפות לכל קבוצה אחרת לא תשפיע. במילים אחרות, האיחוד של כל סט עם הסט הריק ייתן לנו את הסט המקורי
זהות זו הופכת לקומפקטית עוד יותר עם השימוש בסימן שלנו. יש לנו זהות: א ∪ ∅ = א.
איחוד עם הסט האוניברסלי
בקיצוניות האחרת, מה קורה כאשר אנו בוחנים את איחוד של סט עם הסט האוניברסלי? מכיוון שהתפאורה האוניברסלית מכילה כל אלמנט, איננו יכולים להוסיף לזה שום דבר אחר. אז האיחוד או כל סט עם הסט האוניברסלי הוא הסט האוניברסלי.
שוב הסבר שלנו עוזר לנו לבטא זהות זו בפורמט קומפקטי יותר. לכל סט א והסט האוניברסלי U, א ∪ U = U.
זהויות אחרות המערבות את האיחוד
ישנן הרבה יותר זהויות קבועות הכרוכות בשימוש במבצע האיגוד. כמובן, זה תמיד טוב תרגול באמצעות שפת תורת הקבוצות. להלן כמה מהחשובים יותר. לכל הסטים א, ו ב ו ד יש לנו:
- נכס רפלקסיבי: א ∪ א =א
- רכוש קומולטטיבי: א ∪ ב = ב ∪ א
- רכוש אסוציאטיבי: (א ∪ ב) ∪ ד =א ∪ (ב ∪ ד)
- חוק DeMorgan I: (א ∩ ב)ג = אג ∪ בג
- חוק DeMorgan II: (א ∪ ב)ג = אג ∩ בג