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

תוכן שנמחק תוכן שנוסף
Superot (שיחה | תרומות)
Superot (שיחה | תרומות)
שורה 23:
 
==חיסור בין קבוצות==
לכל שתי קבוצות <math>\ A </math>, <math>\ B </math> נוכל להגדיר את פעולת החיסור באופן הבא: <math>C=A-B=A\backslash B= \left\{ x\in A|x\not\in B \right\}</math> כלומר, הקבוצה <math>\ C </math> מכילה את כל איברי <math>\ A </math> ש''אינם'' נמצאים בקבוצה <math>\ B </math>.
*עבור <math>\ C=A \backslash B</math>, מתקיים: <math>C\subseteq A</math>.
*לכל קבוצה <math>\ A </math>, מתקיים: <math>A=A\backslash\empty</math>.
*דוגמה: נתון: <math> {1,2,3}=A= \left\{ 2,3,4 \right\} </math>, <math> B= \left\{ 1,2,3 \right\} </math>. אזי: <math>A\backslash B={1}</math>.
*'''''חשוב''''': לא להתבלבל בין סימן חיסור הקבוצות "<math>\" \backslash </math> לבין הסימן "<math>\ / </"math> (שמשמש, לרוב, לסימון חילוק, או בקורסים אחרים לסימון מחלקות שקילות)!!! המשמעות של כל אחד מהסימנים שונה לחלוטין!
*שימו לב, שבניגוד לסימנים שראינו עד כה, כאן הסדר '''''כן''''' משנה. כלומר, מתקיים: <math>\ A\cup B=B\cup A </math>, וכן <math>\ A\cap B=B\cap A </math>. לעומת זאת, לרוב <math>\ A\backslash B\ne B\backslash A </math>.
 
== = שיוויון בין קבוצות==