מבוא למתמטיקה אוניברסיטאית/הגדרות וסימונים נוספים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 1:
{{מבוא למתמטיקה אוניברסיטאית}}
==
אם נרצה לומר, שהאבר <math>x</math> ''שייך'' [[מבוא למתמטיקה אוניברסיטאית/מבוא לקבוצות|לקבוצה]] <math>X</math> , נוכל לרשום: <math>x\in X</math> .
*גם סימן זה דומה לאות E הלטינית. קל לזכור שזהו הסימן ''לאלמנט'' בקבוצה אם נזכור כי אלמנט באנגלית הוא Element.
==
באותה צורה כמו למעלה, אם נרצה לומר שהאבר <math>y</math> אינו שייך לקבוצה <math>X</math> , נרשום: <math>y\notin X</math> .
שורה 10:
פסוק הנו עובדה, טענה או משפט, שיכולים להיות אמת או שקר. למשל: אם היום יום רביעי, נוכל לומר שהפסוק "היום יום רביעי" הוא פסוק אמת. לעומת זאת, אם היום יום רביעי, הפסוק "היום יום ראשון" הוא פסוק שקרי. בחשבון אינפיניטסימלי ובמתמטיקה בכלל, משתמשים לרוב במילה "טענה" במקום במילה "פסוק". לעתים, משתמשים במילה "משפט", שהוא במתמטיקה בעל משמעות יותר חזקה.
==
אם נרצה לומר, שהקבוצה <math>A</math> מכילה את הקבוצה <math>B</math> , או לחילופין - שהקבוצה <math>B</math> מוכלת בתוך הקבוצה <math>A</math> , נכתוב: <math>B\
למשל: נסמן (או נגדיר): <math>A=\{1,2,3,4\},B=\{1,2,3\}</math> . ואז מתקיים: <math>B\
*במקרה כזה, נגיד
*דרך אחרת להביע את <math>B\
*אם קיים אבר בקבוצה <math>A</math> שאינו נמצא
:סימון ל''הכלה ממש'': <math>B\subset A</math> . במקרה זה, נוכל לכתוב
*יש המסמנים הכלה בעזרת הסימון <math>B\subset A</math> , ואילו הכלה ממש בעזרת <math>B\subsetneq A</math>. בקורס זה, נדבוק בסימונים שצויינו למעלה.
*קל לראות, שכל קבוצות המספרים שהוגדרו בסעיף הקודם מקיימות ביניהן את הקשר הבא:
:למעשה, בכל המקרים מדובר בהכלה ממש.▼
*עבור הקבוצה הריקה <math>\varnothing</math> , מתקיים: לכל קבוצה <math>A</math> , <math>\varnothing\sube A</math>
▲למעשה, בכל המקרים מדובר בהכלה ממש.
*
*תכונת הטרנזיטיביות: אם <math>A\
▲*תכונת הטרנזיטיביות: אם <math>A\subseteq B</math> וגם <math>B\subseteq C</math> , אזי <math>A\subseteq C</math> . אם נרצה להשתמש לגמרי בכתיב של תורת הקבוצות (כלומר בכתיב מתמטי), נכתוב:
*חשוב מאוד להיזהר ולשים לב להבדלים שבין שייכות לבין הכלה! נתבונן, למשל, בדוגמא הבאה: <math>A=\{15,\text{a cow},12,78\}</math> . במקרה זה, נכון לכתוב <math>12\in A</math> , אבל לא נכון לכתוב <math>12\
▲<center><math>(A\subseteq B\wedge B\subseteq C)\Rightarrow A\subseteq C</math></center>
▲*חשוב מאוד להיזהר ולשים לב להבדלים שבין שייכות לבין הכלה! נתבונן, למשל, בדוגמא הבאה: <math>A=\{15,\text{a cow},12,78\}</math> . במקרה זה, נכון לכתוב <math>12\in A</math> , אבל לא נכון לכתוב <math>12\subseteq A</math> ! לעומת זאת, מתקיים: <math>\varnothing\subseteq A</math> (כי כל אבר של <math>\varnothing</math> , באופן ריק, הוא גם אבר של <math>A</math>), אבל לא מתקיים <math>\varnothing\in A</math> , (משום שהקבוצה <math>A</math> אינה מכילה את האבר <math>(\varnothing</math>).
;דוגמא נוספת
נתונה הקבוצה <math>A=\bigl\{1,2,\{2,3,\},\{4,5\}\bigr\}</math> . עבור כל אחד מהבאים, קבעו האם הוא אבר של <math>A</math> או
א. <math>2</math> .{{ש}}
ב. <math>B=\bigl\{\{2,3\}\bigr\}</math>{{ש}}
ג. <math>C=\{2,3\}</math>
שורה 40 ⟵ 39:
ג. הקבוצה <math>C=\{2,3\}</math> הנה הקבוצה שמכילה את האברים <math>2,3</math> . נתבונן בקבוצה <math>A</math> : היא מכילה את הקבוצה <math>C</math> '''''כאבר''''', לכן מתקיים: <math>C=\{2,3\}\in A</math> .
==שלילה==
ישנם שני סימונים אפשריים: <math>\neg</math> או <math>\sim</math> . למשל: לא נכון להגיד ש- <math>2<1</math> , לכן הביטוי <math>\sim(2<1)</math> נכון.
==
כל התנאים הרשומים מצידי הסימן <math>\and</math> נכונים, או לחילופין - כולם צריכים להתמלא על-מנת שפסוק מסוים יהיה אמיתי. למשל: נניח שאדם רוצה לקנות ארטיק בטעם שוקו וגם ארטיק בטעם וניל. על-מנת שהאדם יוכל להגשים את רצונו, צריך שבקיוסק יהיה '''גם''' ארטיק בטעם שוקו '''וגם''' ארטיק בטעם וניל. במילים אחרות, צריך להתקיים:
*(בקיוסק יש ארטיק בטעם שוקו) <math>\and</math> (בקיוסק יש ארטיק בטעם וניל).
==
מספיק שאחד התנאים הרשומים מאחד מצדדיו של סימן ה- <math>\or</math> יתקיימו על-מנת שפסוק כלשהו יהיה אמת, ואין זה משנה כלל אם מתקיים תנאי אחד או אם מתקיימים יותר. למשל: נניח שאדם רוצה לקנות ארטיק בטעם שוקו ''או'' ארטיק בטעם וניל. לשם כך, מספיק שיהיה בקיוסק ''אחד'' הארטיקים המבוקשים, ואין זה מפריע כלל אם שניהם נמצאים בקיוסק. כלומר, הדרישה מתמלאת בכל אחד מהמקרים הבאים:
*יש '''רק''' ארטיק בטעם שוקו בקיוסק.
שורה 55 ⟵ 54:
*(בקיוסק יש ארטיק בטעם שוקו) <math>\or</math> (בקיוסק יש ארטיק בטעם וניל).
==סכימה==
נניח שנתונים לנו <math>n</math> אברים <math>x_1,x_2,x_3,\ldots,x_n</math> , ואנחנו רוצים למצוא את הסכום של כולם. אזי, נוכל לרשום זאת באופן הבא:
:<math>\sum_{k=1}^n x_k=x_1+x_2+x_3+\cdots+x_n</math>
שורה 62 ⟵ 61:
*דוגמא נוספת: הבינום של ניוטון: <math>(a+b)^n=\sum_{k=0}^n\binom{n}{k}a^kb^{n-k}</math> , כאשר מגדירים: <math>\binom{n}{k}=C_n^k=\frac{n!}{k!(n-k)!}</math> .
==מכפלה==
נניח שנתונים לנו <math>n</math> אברים <math>x_1,x_2,x_3,\ldots,x_n</math> , ואנחנו רוצים לחשב את המכפלה של כולם. אזי, נוכל לרשום זאת באופן הבא:
:<math>\prod_{k=1}^n x_k=x_1\times x_2\times x_3\times\dots\times x_n</math> .
==הגדרה==
אמרנו כבר, שכדי להגדיר קבוצה מספיק לרשום אותה. אולם, לעתים נרצה להגדיר דברים אחרים - למשל, משתנים. נניח שאנו משתמשים הרבה בביטוי <math>\sin^2(\alpha)\cos^5(\beta)-15a+12\cot(\alpha)</math> , ומעוניינים לחסוך לעצמנו את הטרחה שבכתיבת הביטוי שוב ושוב. על-מנת לעשות זאת, נוכל להגדיר משתנה חדש, שיסמן עבורינו את הביטוי הנ"ל. נניח שנקרא למשתנה החדש <math>x</math> . נכתוב:
:<math>x:=\sin^2(\alpha)\cdot\cos^5(\beta)-15a+12\cdot\cot(\alpha)</math>
| |||