חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 122:
פסוק הינו עובדה, טענה או משפט, שיכולים להיות אמת או שקר. למשל: אם היום יום רביעי, נוכל לומר שהפסוק "היום יום רביעי" הוא פסוק אמת. לעומת זאת, אם היום יום רביעי, הפסוק "היום יום ראשון" הוא פסוק שקרי. בחשבון אינפיטיסימלי ובמתמטיקה בכלל, משתמשים לרוב במילה "טענה" במקום במילה "פסוק". לעיתים, משתמשים במילה "משפט", שהוא במתמטיקה בעל משמעות יותר חזקה.
=== <math>\subseteq</math> סימן ה"מכיל את" (או "מוכל ב")===
למשל: נסמן (או נגדיר): <math> A=\left\{ 1,2,3,4 \right\}, B=\left\{ 1,2,3 \right\} </math>. ואז מתקיים: <math>B\subseteq A</math>.
*במקרה כזה, נגיד ש-B היא ''תת קבוצה'' של A או ''קבוצה חלקית'' ל- A.
*דרך אחרת להביע את <math>B\subseteq A</math>, היא לכתוב: <math>\forall x\in B, x\in A </math> (כלומר: כל איבר השייך לקבוצה B שייך גם לקבוצה A).
*אם קיים איבר בקבוצה A שאינו נמצא בקבוצה B, נגיד שהקבוצה B ''מוכלת ממש'' בקבוצה A. נכתוב זאת בשפת
:סימון ל
*יש המסמנים הכלה בעזרת הסימון <math>B\subset A</math>, ואילו הכלה ממש בעזרת <math>B\subsetneq A</math>. בקורס זה, נדבוק בסימונים שצויינו למעלה.
*קל לראות, שכל קבוצות המספרים שהוגדרו בסעיף הקודם מקיימות ביניהן את הקשר הבא:
<center><math>\empty\subseteq\mathbb{N}\subseteq\mathbb{Z}\subseteq\ *עבור הקבוצה הריקה , מתקיים: לכל קבוצה , .
*לכל קבוצה A, מתקיים: (תכונת הסימטריות).
*תכונת הטרנזיטיביות: אם וגם , אזי . אם נרצה להשתמש לגמרי בכתיב של תורת הקבוצות (כלומר בכתיב מתמטי), נכתוב: .
▲ .
▲ חשוב מאוד להיזהר ולשים לב להבדלים שבין שייכות לבין הכלה! נתבונן, למשל, בדוגמה הבאה: {78,12,15, חתול} = . אז נכון לכתוב : , אבל לא נכון לכתוב ! לעומת זאת, מתקיים : (כי כל איבר של , באופן ריק, הוא גם איבר של ) , אבל לא מתקיים , (משום שהקבוצה אינה מכילה את האיבר ).
</math>
אל תדאגו - עוד מעט אני אחזור לסיים! (אני צריכה להוציא את הכלבה שלי).
| |||