אקסיומת האיחוד

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

באופן פורמלי:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall A \exist B (\forall x (\exist C \in A, \, x\in C) \iff x \in B) }

העובדה שקיים חיתוך של כל אוסף (לא ריק) של קבוצות נובע מאקסיומת ההפרדה - נבחר איבר E של אוסף הקבוצות A ונקבל:

הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \bigcap _{C\in A}C=\{x\in E|\forall C\in A,\,x\in C\}}

אקסיומת האיחוד היא אקסיומה מקובלת מאד וכל מערכת אקסיומות סבירה של תורת הקבוצות מכילה אותה או גוררת את נכונותה.

דוגמאות לשימוש

אקסיומת האיחוד מאפשרת לאחד כל זוג קבוצות A,B. לפי אקסיומת הזוג הלא-סדור {A,B} היא קבוצה. הפעלת אקסיומת האיחוד על הקבוצה הזו תתן את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \cup B} .

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