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

תוכן שנמחק תוכן שנוסף
Superot (שיחה | תרומות)
Gadial (שיחה | תרומות)
מ ←‏= שיוויון בין קבוצות: - רפלקסיביות, לא סימטריות
שורה 33:
מאחר והגדרנו קבוצה כאוסף של איברים, אנו נבדיל בין הקבוצות לפי האיברים שלהן. כלומר, הביטוי "<math>\ A=B </math>" ייכתב באופן הבא: <math>x\in A \Leftrightarrow x\in B</math>.
*''דוגמה חשובה'': נתונות הקבוצות <math>\ A= \left\{ 1,2,2 \right\} </math> ו- <math>\ B= \left\{ 1,2 \right\} </math>. אזי: <math>\ B=A </math>. (ודאו שהנכם מבינים מדוע!!!!)
*לכל קבוצה <math>\ A </math> מתקיים: <math>\ A=A </math> (תכונת הסימטריותהרפלקסיביות). ניתן לכתוב תכונה זו גם באופן הבא: <math>x\in A \Leftrightarrow x\in A</math>.
*תכונת הטרנזיטיביות: <math>\left( A=B \right) \wedge \left( B=C \right) \Rightarrow \left( A=C \right) </math>. תכונה זו, כמו גם התכונה הקודמת שצוינה, הינה ברורה ודומה כי מיותר לציינה. לדברים שהם ברורים קוראים במתמטיקה "דברים טריוויאלים".