שינויים

קפיצה אל: ניווט, חיפוש
/* הכללה לאיחודים וחיתוכים כל שהם */
===הכללה לאיחודים וחיתוכים כל שהם===
יהיו '''מוטיבציה:''' הגדרנו את החיתוך והאיחוד עבור שתי קבוצות. לעיתים נרצה לחתוך או לאחד יותר קבוצות, לדוגמא נרצה לדבר על חיתוכן של 17 הקבוצות <math>A_1,A_2,\ldots,A_{A_i17}</math>. מכיוון שחיתוך ואיחוד הן פעולות אסוציטיביות, ניתן לרשום <math>A_1\cap A_2\cap \ldots\cap A_{17}</math>, וזה ביטוי חד משמעי. אך צורת רישום זו היא ארוכה, ולכן אנו מסמנים את החיתוך הזה בקיצור הבא: <math>\bigcap _{i\in I=1}^{17} A_i</math> . לעיתים נרצה לחתוך או לאחד אוסף אינסופי של קבוצות כאשר I הוא קבוצת אינדקסים לא ריקה אזי מוגדר האיחוד והחיתוך שלהם , ולכך באה ההכללה הבאה:
'''הגדרה:'''יהיו <math>\cup _{iA_i\in I} A_i := \_{x| \exist i\in I :x\in A_i \} </math>אוסף קבוצות כאשר <math>I</math> הוא קבוצת אינדקסים אזי נגדיר את האיחוד והחיתוך של אוסף הקבוצות כך:
<math>\cap bigcup _{i\in I} A_i := \{x| \exist i\in I :x\in A_i \} </math> <math>\bigcap _{i\in I} A_i := \{x| \forall i\in I :x\in A_i \} </math>. כאן יש להניח שקבוצת האינדקסים <math>I</math> לא ריקה.
דוגמא:
נגדיר <math>\forall n\in \mathbb{N} \; A_n:=[n,n+1]</math> אזי
<math>\cup bigcup _{i\in \mathbb{N}} A_i = [ 1,\infty ) </math>
<math>\cap bigcap _{i\in \mathbb{N}} A_i = \phi </math>
===תרגיל===
233
עריכות