הבדלים בין גרסאות בדף "מתמטיקה בדידה - ארז שיינר"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(משפט קנטור)
(חומר עזר)
 
(88 גרסאות ביניים של 3 משתמשים אינן מוצגות)
שורה 2: שורה 2:
 
*[[מדיה:16BdidaOrit.pdf|סיכומי ההרצאות של  ד״ר ארז שיינר, ע״י אורית חסון, קיץ 2016]]
 
*[[מדיה:16BdidaOrit.pdf|סיכומי ההרצאות של  ד״ר ארז שיינר, ע״י אורית חסון, קיץ 2016]]
 
*[[מבחנים בבדידה]]
 
*[[מבחנים בבדידה]]
 +
*[[בחנים בבדידה]]
 +
*[[מבחנים בקורס בדידה למורים]] - שימו לב, הקורס למורים מכיל משמעותית פחות חומר, והמבחנים קלים יותר. יחד עם זאת, יש שם כמות גדולה של תרגילים רלוונטיים ברמה נמוכה.
  
 
=סרטוני ותקציר הרצאות=
 
=סרטוני ותקציר הרצאות=
 +
 +
 +
[https://www.youtube.com/playlist?list=PLHinTfsAOC-vhY2xtz4MJzkm5tefKT3Dg פלייליסט של כל הסרטונים]
 +
  
 
==פרק 1 - מבוא ללוגיקה מתמטית==
 
==פרק 1 - מבוא ללוגיקה מתמטית==
 +
 +
 
===פסוקים, קשרים, כמתים, פרדיקטים===
 
===פסוקים, קשרים, כמתים, פרדיקטים===
  
שורה 19: שורה 27:
  
 
===אינדוקציה===
 
===אינדוקציה===
 +
 +
*משפט האינדוקציה המתמטית
 +
*תהי סדרת טענות כך שמתקיימים שני התנאים הבאים:
 +
**הטענה הראשונה נכונה.
 +
**לכל <math>n\in \mathbb{N}</math> אם הטענה הn מתקיימת אז גם הטענה הn+1 מתקיימת.
 +
*אזי כל הטענות בסדרה נכונות
 +
  
 
<videoflash>n6xkPhKmhQo</videoflash>
 
<videoflash>n6xkPhKmhQo</videoflash>
 +
 +
 +
*דוגמא:
 +
*<math>\sum_{k=1}^{2^{n-1}}\frac{1}{k} > \frac{n}{2}</math>
 +
 +
 +
*אינדוקציה שלמה (מלאה)
 +
*תהי סדרת טענות כך ש:
 +
**לכל <math>n\in \mathbb{N}</math> אם כל הטענות עד ולא כולל הטענה הn מתקיימות, אזי גם הטענה הn מתקיימת.
 +
*אזי כל הטענות בסדרה מתקיימות.
 +
*שימו לב: לפני הטענה הראשונה אין טענות, ולכן כולן מתקיימות באופן ריק. כלומר מנוסח התנאי נובע שצריך להוכיח שהטענה הראשונה מתקיימת.
 +
  
 
<videoflash>BBUxvnjuA04</videoflash>
 
<videoflash>BBUxvnjuA04</videoflash>
 +
 +
 +
*פרדוקס הסוסים (או פתיתי השלג)
 +
  
 
<videoflash>E0rf-Cg3IVM</videoflash>
 
<videoflash>E0rf-Cg3IVM</videoflash>
שורה 30: שורה 61:
 
====תרגול====
 
====תרגול====
 
*[[88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 1.5|תרגול בנושא אינדוקציה]]
 
*[[88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 1.5|תרגול בנושא אינדוקציה]]
*[[מכינה למתמטיקה קיץ תשעב/תרגילים/4|תרגילי אינדוקציה נוספים]] ו[[מכינה למתמטיקה קיץ תשעב/תרגילים/4/פתרון 4|פתרונם]]
+
*[[מכינה למתמטיקה קיץ תשעב/תרגילים/4|תרגילי אינדוקציה נוספים]] ו[[מכינה למתמטיקה קיץ תשעב/תרגילים/4/פתרון 4|פתרונותיהם]]
  
 
==פרק 2 - מבוא לתורת הקבוצות==
 
==פרק 2 - מבוא לתורת הקבוצות==
  
 
===קבוצות ופעולות על קבוצות===
 
===קבוצות ופעולות על קבוצות===
 +
 +
*איבר שייך לקבוצה <math>a\in A</math> אם הוא אחד האיברים בקבוצה.
 +
*קבוצה מוכלת בקבוצה אחרת <math>A\subseteq B</math> אם <math>\forall a\in A : a\in B</math>
 +
 +
 +
*<math>\{1,2\}=\{2,1\}</math>
 +
*<math>\{1,1,2\}=\{1,2\}</math>
 +
 +
 +
*תהי קבוצה <math>U</math> ותהיינה <math>A,B\subseteq U</math>. נגדיר את:
 +
**קבוצת האיחוד <math>A\cup B =\{ x\in U:x\in A \or x\in B\}</math>
 +
**קבוצת החיתוך <math>A\cap B =\{ x\in U:x\in A \and x\in B\}</math>
 +
**קבוצת ההפרש <math>A\setminus B =\{ x\in U:x\in A \and x\not\in B\}</math>
 +
**קבוצת ההפרש הסימטרי <math>A\Delta B = (A\setminus B)\cup (B\setminus A)</math>
 +
**קבוצת המשלים <math>\overline{A}=\{x\in U:x\not\in A\}</math>
 +
 +
 
<videoflash>UgNl63BrzCM</videoflash>
 
<videoflash>UgNl63BrzCM</videoflash>
  
שורה 40: שורה 88:
  
 
*[[שיטות הוכחה בסיסיות]]
 
*[[שיטות הוכחה בסיסיות]]
 +
 +
*הוכחת טענות מכומתות - טענות 'לכל' וטענות 'קיים'
 +
 +
 +
<videoflash>QIwz6eyrcuI</videoflash>
 +
 +
 +
*הוכחת הכלה בין קבוצות, ושיוויון בין קבוצות
 +
 +
 +
<videoflash>Dts0NamGWbE</videoflash>
  
 
===איחוד וחיתוך כלליים===
 
===איחוד וחיתוך כלליים===
 +
 +
*תהי S קבוצה של קבוצות, נגדיר:
 +
**<math>\cup_{A\in S}A = \{x|\exists A\in S :x\in A\}</math>
 +
**<math>\cap_{A\in S}A = \{x|\forall A\in S :x\in A\}</math>
 +
 +
 
<videoflash>xP9VIaCCH7A</videoflash>
 
<videoflash>xP9VIaCCH7A</videoflash>
 +
 
===קבוצת החזקה===
 
===קבוצת החזקה===
 +
 +
*<math>X\in P(A) \iff X\subseteq A</math>
 +
 
<videoflash>uZVMvwbs5kw</videoflash>
 
<videoflash>uZVMvwbs5kw</videoflash>
  
שורה 52: שורה 121:
 
===מכפלה קרטזית ויחסים===
 
===מכפלה קרטזית ויחסים===
 
<videoflash>wyDw5XXmPp8</videoflash>
 
<videoflash>wyDw5XXmPp8</videoflash>
 +
 +
 +
====תכונות של יחסים====
 +
*יהי R יחס על A (כלומר <math>R\subseteq A\times A</math>) אזי:
 +
**R נקרא רפלקסיבי אם לכל <math>a\in A</math> מתקיים <math>aRa</math>.
 +
**R נקרא סימטרי אם לכל <math>a,b\in A</math> המקיימים <math>aRb</math> מתקיים <math>bRa</math>
 +
**R נקרא אנטי-סימטרי אם לכל <math>a,b\in A</math> המקיימים <math>aRb\and bRa</math> מתקיים <math>a=b</math>
 +
**R נקרא טרנזיטיבי אם לכל <math>a,b,c\in A</math> המקיימים <math>aRb \and bRc</math> מתקיים <math>aRc</math>
 +
**R נקרא מלא אם לכל <math>a,b\in A</math> מתקיים כי <math>aRb\or bRa</math>
 +
 +
 +
*יהי R יחס מA לB (כלומר <math>R\subseteq A\times B</math>) אזי:
 +
**R נקרא חד-ערכי (ח"ע) אם לכל <math>a\in A</math> ולכל <math>b_1,b_2\in B</math> המקיימים <math>aRb_1 \and aRb_2</math> מתקיים <math>b_1=b_2</math>
 +
**R נקרא שלם אם לכל <math>a\in A</math> קיים <math>b\in B</math> כך ש <math>aRb</math>
 +
**R נקרא חד-חד-ערכי (חח"ע) אם לכל <math>a_1,a_2\in A</math> ולכל <math>b\in B</math> המקיימים <math>a_1Rb\and a_2Rb</math> מתקיים <math>a_1=a_2</math>
 +
**R נקרא על אם לכל <math>b\in B</math> קיים <math>a\in A</math> כך ש <math>aRb</math>
  
 
===יחסי שקילות===
 
===יחסי שקילות===
 +
*יחס R על קבוצה A נקרא '''יחס שקילות''' אם הוא רפלקסיבי, סימטרי וטרנזיטיבי.
 +
 +
*יהי R יחס שקילות על A.
 +
*לכל <math>a\in A</math> מוגדרת קבוצת '''מחלקת השקילות של a''' ע"י:
 +
**<math>[a]_R=\{x\in A|aRx\}</math>
 +
*קבוצת כל קבוצות מחלקות השקילות נקראת '''קבוצת המנה''':
 +
**<math>A/R=\{[a]_R:a\in A\}</math>
 +
 +
 +
*תהי קבוצה A. קבוצת תתי קבוצות <math>U\subseteq P(A)</math> נקראת '''חלוקה''' של A אם:
 +
**<math>\cup_{X\in U}X=A</math>
 +
**<math>\emptyset\notin U</math>
 +
**לכל <math>X_1,X_2\in U</math> אם <math>X_1\cap X_2\neq \emptyset</math> אזי <math>X_1=X_2</math>
 +
 +
 +
*היחס המושרה מחלוקה:
 +
*תהי קבוצה A ותהי חלוקה שלה U. נגדיר יחס R על A על ידי:
 +
**<math>aRb</math> אם ורק אם קיימת <math>X\in U</math> כך ש<math>a,b\in X</math>
 +
 +
 +
*היחס המושרה מחלוקה הוא יחס שקילות.
 +
*קבוצת המנה היא חלוקה של A.
 +
*היחס המושרה מקבוצת המנה, הוא יחס השקילות המקורי; קבוצת המנה של יחס שקילות מושרה היא החלוקה המקורית.
 +
 +
 
<videoflash>jKprPSfRysE</videoflash>
 
<videoflash>jKprPSfRysE</videoflash>
 +
  
 
====תרגול====
 
====תרגול====
שורה 60: שורה 171:
  
 
===יחסי סדר===
 
===יחסי סדר===
 +
*יחס R על קבוצה A נקרא '''יחס סדר חלקי''' אם הוא רפלקסיבי, אנטי-סימטרי וטרנזיטיבי
 +
 +
 
<videoflash>6X0OGf5CJrU</videoflash>
 
<videoflash>6X0OGf5CJrU</videoflash>
 +
  
 
====איברים מינימליים ומקסימליים, וחסמים====
 
====איברים מינימליים ומקסימליים, וחסמים====
 +
*יהי R יחס סדר חלקי על קבוצה X, ותהי <math>A\subseteq X</math> תת קבוצה.
 +
**איבר <math>M\in A</math> נקרא '''מקסימלי''' בA אם לכל <math>a\in A</math> המקיים <math>MRa</math> מתקיים כי <math>a=M</math> (אין גדולים ממנו)
 +
**איבר <math>m\in A</math> נקרא '''מינימלי''' בA אם לכל <math>a\in A</math> המקיים <math>aRm</math> מתקיים כי <math>a=m</math> (אין קטנים ממנו)
 +
**איבר <math>M\in A</math> נקרא '''הגדול ביותר''' (מקסימום) בA אם לכל <math>a\in A</math> מתקיים <math>aRM</math> (הוא גדול מכולם)
 +
**איבר <math>m\in A</math> נקרא '''הקטן ביותר''' (מינימום) בA אם לכל <math>a\in A</math> מתקיים <math>mRa</math> (הוא קטן מכולם)
 +
**איבר <math>M\in X</math> נקרא '''חסם מלעיל''' של A אם לכל <math>a\in A</math> מתקיים <math>aRM</math> (הוא גדול מכל איברי הקבוצה, אבל לאו דווקא נמצא בקבוצה)
 +
**איבר <math>m\in X</math> נקרא '''חסם מלרע''' של A אם לכל <math>a\in A</math> מתקיים <math>mRa</math> (הוא קטן מכל איברי הקבוצה, אבל לאו דווקא נמצא בקבוצה)
 +
**אם בקבוצת חסמי המלעיל של A יש איבר קטן ביותר הוא נקרא '''חסם עליון''' (supremum) של A.
 +
**אם בקבוצת חסמי המלרע של A יש איבר גדול ביותר הוא נקרא '''חסם תחתון''' (infimum) של A.
 +
 +
 +
*איבר גדול ביותר ביותר הוא יחיד.
 +
*אם חסם מלעיל שייך לקבוצה, אז הוא הגדול ביותר.
 +
*האיבר הגדול ביותר בקבוצה הוא איבר מקסימלי, ואין איברים מקסימליים אחרים.
 +
 +
 +
 +
*האם תתכן קבוצה עם איבר מקסימלי יחיד שאינו האיבר הגדול ביותר בקבוצה?
 +
 +
 +
*ביחס ההכלה על קבוצת חזקה, האיחוד הכללי של קבוצת קבוצות הוא החסם העליון שלה, והחיתוך הכללי הוא החסם התחתון.
 +
*ביחס 'מחלק את' על הטבעיים, המחלק המשותף המקסימלי הוא החסם התחתון, והמכפלה המשותפת המינימלית הוא החסם העליון.
 +
  
 
<videoflash>EX6sPaiiu3k</videoflash>
 
<videoflash>EX6sPaiiu3k</videoflash>
 +
 +
====שרשראות====
 +
 +
*יחס סדר חלקי R על A נקרא '''מלא''' (או לינארי, או קווי) אם:
 +
**<math>\forall a,b\in A:aRb\or bRa</math>
 +
 +
 +
*יהי R יחס סדר חלקי על A, ותהי <math>S\subseteq A</math>.
 +
*אזי <math>S</math> נקראת '''שרשרת''' אם היחס מלא עליה, כלומר <math>\forall a,b\in S:aRb\or bRa</math>
  
 
====תרגול====
 
====תרגול====
שורה 71: שורה 218:
 
==פרק 4 - פונקציות==
 
==פרק 4 - פונקציות==
 
===הגדרת פונקציות===
 
===הגדרת פונקציות===
 +
*יחס f מA לB נקרא פונקציה אם הוא ח"ע ושלם, ומסמנים במקרה זה <math>f:A\to B</math>, וכן <math>f(a)=b\iff (a,b)\in f</math>.
 +
*A נקרא תחום הפונקציה (או תחום הגדרה), B נקרא הטווח של הפונקציה.
 +
 +
 +
*שימו לב, הסרטון ישן, ושם פונקציה הוגדרה כיחס ח"ע בלבד, בניגוד להגדרה העדכנית שלנו בקורס.
 +
 +
 
<videoflash>XP-SwmSlTUc</videoflash>
 
<videoflash>XP-SwmSlTUc</videoflash>
  
 
===חח"ע ועל, תמונה ותמונה הפוכה===
 
===חח"ע ועל, תמונה ותמונה הפוכה===
 +
*תהי <math>f:A\to B</math> פונקציה. אזי:
 +
**f חח"ע אם לכל <math>x_1,x_2\in A</math> המקיימים <math>f(x_1)=f(x_2)</math> מתקיים כי <math>x_1=x_2</math>
 +
**f על אם לכל <math>y\in B</math> קיים <math>x\in A</math> כך ש<math>f(x)=y</math>
 +
**תהי <math>X\subseteq A</math> נגדיר את קבוצת התמונה <math>f[X]=\{f(a)|a\in X\}</math>
 +
**תהי <math>Y\subseteq B</math> נגדיר את קבוצת התמונה ההפוכה <math>f^{-1}[Y]=\{a\in A|f(a)\in Y\}</math>
 +
**<math>f[]:P(A)\to P(B)</math> היא פונקצית התמונה, השולחת כל תת קבוצה לקבוצת התמונה שלה
 +
**<math>f^{-1}[]:P(B)\to P(A)</math> היא פונקצית התמונה ההפוכה, השולחת כל תת קבוצה לקבוצת התמונה ההפוכה שלה
 +
 +
 +
*שימו לב
 +
**<math>x\in f^{-1}[Y]\iff f(x)\in Y</math>
 +
**<math>y\in f[X] \iff \exist a\in X :f(a)=y </math>
 +
 +
 
<videoflash>BgCrOeJEjDo</videoflash>
 
<videoflash>BgCrOeJEjDo</videoflash>
  
 
===הרכבת פונקציות, פונקציות הפיכות===
 
===הרכבת פונקציות, פונקציות הפיכות===
 +
 +
*תהיינה <math>f:A\to B</math> וכן <math>g:B\to C</math> אזי נגדיר את פונקצית ההרכבה <math>g\circ f:A\to C</math> ע"י <math>g\circ f(a)=g(f(a))</math>
 +
*פעולת ההרכבה היא אסוציאטיבית.
 +
 +
 +
*תהי קבוצה A נגדיר את '''פונקצית הזהות''' <math>I_A:A\to A</math> ע"י <math>I_A(x)=x</math>.
 +
*לכל פונקציה <math>f:A\to B</math> מתקיים כי <math>I_B\circ f = f\circ I_A = f</math>
 +
 +
 +
*פונקציה <math>f:A\to B</math> נקראת הפיכה אם קיימות פונקציות <math>g,h:B\to A</math> כך ש:
 +
**<math>g\circ f = I_A</math> וכן <math>f\circ h = I_B</math>
 +
*נשים לב כי
 +
**<math>h=I_A\circ h = (g\circ f)\circ h = g\circ (f\circ h)=g\circ I_B = g</math>
 +
*לכן אם פונקציה הפיכה, יש פונקציה יחידה שהופכת אותה (ההופכית), נסמנה <math>f^{-1}:B\to A</math>.
 +
*שימו לב: עם סוגריים מרובעים זו פונקצית התמונה ההפוכה שיש לכל פונקציה ופועלת על תתי קבוצות, עם סוגריים עגולים זו הפונקציה ההופכית שיש רק להפיכות ופועלת על איברים.
 +
  
 
<videoflash>t5QyDk-Mo2g</videoflash>
 
<videoflash>t5QyDk-Mo2g</videoflash>
שורה 97: שורה 281:
  
 
===השוואת עוצמות===
 
===השוואת עוצמות===
 +
 +
*A שקולת עוצמה לB או עוצמתה של A שווה לB, אם קיימת פונקציה הפיכה (חח"ע ועל) <math>f:A\to B</math>.
 +
*במקרה זה מסמנים <math>A\sim B</math> או <math>|A|=|B|</math>.
 +
**כל קבוצה שקולת עוצמה לעצמה
 +
**אם A שקולת עוצמה לB, גם B שקולת עוצמה לA
 +
**אם A שקולת עוצמה לB וB שקולת עוצמה לC אזי A שקולת עוצמה לC
 +
 +
 +
*עוצמתה של A קטנה או שווה לזו של B, אם קיימת פונקציה חח"ע <math>f:A\to B</math>.
 +
*במקרה זה מסמנים <math>|A|\leq |B|</math>
 +
 +
 +
*כל קבוצה A השקולת עוצמה לקבוצת הטבעיים מסומנת <math>|A|=\aleph_0</math>
 +
 +
*כל קבוצה A השקולת עוצמה לקבוצת הממשיים מסומנת <math>|A|=\aleph</math>
 +
  
 
<videoflash>Zu0tX3VcZbg</videoflash>
 
<videoflash>Zu0tX3VcZbg</videoflash>
שורה 104: שורה 304:
 
<videoflash>H4IwZiUCUvM</videoflash>
 
<videoflash>H4IwZiUCUvM</videoflash>
  
===משפט קנטור-שרדר-שרנשטיין===
+
===קבוצות בנות מנייה===
 +
*קבוצה A נקראת בת מנייה אם <math>|A|\leq \aleph_0</math>
 +
 
 +
*כל קבוצה A בת מנייה אינסופית מקיימת <math>|A|=\aleph_0</math>
 +
 
 +
<videoflash>7TyjNpInOsc</videoflash>
 +
 
 +
===חשבון עוצמות (אריתמטיקה של עוצמות)===
 +
 
 +
====חיבור עוצמות====
 +
*תהיינה שתי עוצמות a,b ותהיינה שתי נציגות זרות לעוצמות A,B.
 +
*נגדיר <math>a+b=|A\cup B|</math>, הגדרה זו אינה תלוייה בבחירת הנציגות.
 +
 
 +
 
 +
<videoflash>eDpiO50cDmI</videoflash>
 +
 
 +
====כפל עוצמות====
 +
*תהיינה שתי עוצמות a,b ותהיינה שתי נציגות לעוצמות A,B.
 +
*נגדיר <math>a\cdot b=|A\times B|</math>, הגדרה זו אינה תלוייה בבחירת הנציגות.
 +
 
 +
 
 +
<videoflash>AQNIw1ys8B4</videoflash>
 +
 
 +
====חזקת עוצמות====
 +
 
 +
*תהיינה שתי עוצמות a,b ותהיינה שתי נציגות לעוצמות A,B.
 +
*נגדיר את <math>A^B</math> להיות אוסף כל הפונקציות מB לA (מהמעריך לבסיס).
 +
*נגדיר <math>a^b=|A^B|</math>, הגדרה זו אינה תלוייה בבחירת הנציגות.
 +
 
 +
 
 +
<videoflash>aBV5Vt1eMG4</videoflash>
 +
 
 +
*חוקי חזקות
 +
*תהיינה עוצמות a,b,c אזי
 +
**<math>a^b\cdot a^c = a^{b+c}</math>
 +
**<math>(a^b)^c = a^{b\cdot c}</math>
 +
**<math>a^b\cdot c^b = (a\cdot c)^b</math>
 +
 
 +
 
 +
<videoflash>KUTIHDhwjsE</videoflash>
 +
 
 +
 
 +
====עוצמת קבוצת החזקה====
 +
 
 +
*<math>|P(A)|=2^{|A|}</math>
 +
 
 +
 
 +
<videoflash>pPG6BgSY_Wg</videoflash>
 +
 
 +
====השוואת חשבון עוצמות====
 +
*תהיינה עוצמות a,b,c,d כך ש <math>a\leq c</math> וכן <math>b\leq d</math> אזי:
 +
**<math>a+b\leq c+d</math>
 +
**<math>a\cdot b\leq c\cdot d</math>
 +
*אם בנוסף נתון כי <math>c\neq 0</math> אזי
 +
**<math>a^b\leq c^d</math>
 +
 
 +
<videoflash>i07f9wwcjtU</videoflash>
 +
 
 +
===משפט קנטור-שרדר-ברנשטיין===
 
*אם <math>|A|\leq |B|</math> וגם <math>|B|\leq |A|</math> אזי <math>A\sim B</math>
 
*אם <math>|A|\leq |B|</math> וגם <math>|B|\leq |A|</math> אזי <math>A\sim B</math>
 
====למת נקודת השבת====
 
====למת נקודת השבת====
שורה 112: שורה 370:
 
====הוכחת המשפט====
 
====הוכחת המשפט====
 
<videoflash>KlZHXHxkzJk</videoflash>
 
<videoflash>KlZHXHxkzJk</videoflash>
===נושאים שעוד לא נערכו===
+
 
*משפט ק.ש.ב
+
 
*משפט קנטור
+
====עוצמות קטעים ממשיים====
*קבוצות בנות מנייה, עוצמת תתי קבוצות של הטבעיים.
+
 
*עקרון המקסימום של האוסדורף
+
*<math>|\mathbb{R}|=|[a,\infty)|=|[a,b]|=|(a,b)|=\aleph</math>
*אקסיומת הבחירה
+
 
*קשר בין פונקציה על להשוואת עוצמות
+
 
*כל קבוצה אינסופית גדולה שווה מאלף אפס
+
<videoflash>qDGHoXKOpzk</videoflash>
*אריתמטיקה של עוצמות
+
 
**סכום עוצמות
+
 
**כפל עוצמות
+
 
**חזקת עוצמות
+
===אקסיומת הבחירה ועקרון המקסימום של האוסדורף===
**הקשר בין השוואת הקבוצות לפני הפעולה, להשוואתן אחרי הפעולה
+
====אקסיומת הבחירה====
*הקשר בין אלף אפס לאלף
+
*תהי S קבוצת קבוצות לא ריקות, ונסמן את האיחוד הכללי ב <math>U=\cup_{X\in S}X</math>.
*סכום וכפל עוצמות הוא המקסימום
+
*אזי קיימת פונקצית בחירה <math>f:S\to U</math> הבוחרת איבר מתוך כל קבוצה, כלומר:
*תמיד ניתן להשוות עוצמות
+
**<math>\forall X\in S: f(X)\in X</math>
 +
 
 +
 
 +
*דוגמא:
 +
**תהי פונקציה על <math>f:A\to B</math> אזי קיימת תת קבוצה <math>X\subseteq A</math> כך ש <math>f:X\to B</math> חח"ע ועל.
 +
 
 +
 
 +
<videoflash>q2OP1NCWKHU</videoflash>
 +
 
 +
*תהיינה <math>A,B\neq\emptyset</math> אזי <math>|A|\leq |B|</math> אם ורק אם קיימת <math>g:B\to A</math> על.
 +
 
 +
 
 +
*בכיוון ראשון:
 +
**תהי <math>f:A\to B</math> חח"ע
 +
**כיוון ש<math>A\neq \emptyset</math> קיים <math>a\in A</math>
 +
**נגדיר פונקציה <math>g:B\to A</math> באופן הבא:
 +
***לכל <math>b\in B</math>
 +
***אם קיים <math>x\in A</math> כך ש <math>f(x)=b</math> נגדיר <math>f(b)=x</math> (בגלל החח"ע זה מוגדר היטב)
 +
***אם <math>b\not\in Im(f)</math> נגדיר <math>f(b)=a</math>
 +
**הפונקציה <math>g</math> שהגדרנו היא אכן על, כי לכל <math>x\in A</math> מתקיים כי <math>g(f(x))=x</math>
 +
*בכיוון שני:
 +
**תהי <math>g:B\to A</math> על, אזי כל הקבוצות באוסף <math>U=\left\{g^{-1}[\{a\}]|a\in A\right\}</math> אינן ריקות.
 +
**ניקח פונקצית בחירה <math>h:U\to B</math> ונגדיר <math>f:A\to B</math> ע"י <math>f(a)=h(g^{-1}[\{a\}])</math>
 +
**אכן <math>f</math> חח"ע כי אם <math>f(a_1)=f(a_2)=b</math> אזי <math>b\in g^{-1}[\{a_1\}]</math> וכן <math>b\in g^{-1}[\{a_2\}]</math>
 +
**ולכן <math>g(b)=a_1</math> וכן <math>g(b)=a_2</math>, כלומר <math>a_1=a_2</math>
 +
 
 +
 
 +
<videoflash>Dl6sgVGZksk</videoflash>
 +
 
 +
====עקרון המקסימום של האוסדורף====
 +
*תהי קבוצה A עם יחס סדר חלקי, תת קבוצה <math>S\subseteq A</math> נקראת שרשרת אם היחס מלא עליה (ניתן להשוות בין כל שני איברים בS).
 +
*שרשרת נקראת מקסימלית בA אם היא אינה מוכלת באף שרשרת אחרת.
 +
*עקרון המקסימום של האוסדורף אומר שכל שרשרת מוכלת בשרשרת מקסימלית.
 +
 
 +
 
 +
*דוגמא - אוסף עיגולים במישור שאינם חותכים זה את זה, ולא ניתן להוסיף אפילו עיגול אחד נוסף.
 +
 
 +
 
 +
<videoflash>O_uDtoDRRZ8</videoflash>
 +
 
 +
 
 +
*טענות שימושיות להמשך:
 +
*תהי <math>U</math> קבוצה של יחסים מ<math>A</math> ל <math>B</math>, תהי <math>M\subseteq U</math> שרשרת ביחס ההכלה ונסמן את האיחוד הכללי של השרשרת ב<math>f=\cup_{R\in M} R</math>
 +
*אזי:
 +
**אם כל היחסים ב<math>M</math> ח"ע, אז גם <math>f</math> ח"ע
 +
***אכן, יהיו <math>(a,b_1),(a,b_2)\in f</math>
 +
***לכן קיימים <math>R_1,R_2\in M</math> כך ש <math>(a,b_1)\in R_1</math> וכן <math>(a,b_2)\in R_2</math>
 +
***כיוון ש<math>M</math> שרשרת, אזי <math>R_1\subseteq R_2</math> (או ההפך) ולכן <math>(a,b_1),(a,b_2)\in R_2</math>
 +
***כיוון ש<math>R_2</math> ח"ע נובע כי <math>b_1=b_2</math> כפי שרצינו.
 +
**אם כל היחסים ב<math>M</math> חח"ע, אזי גם <math>f</math> חח"ע
 +
***הוכחה דומה לח"ע
 +
 
 +
 
 +
===איחוד בן מנייה של קבוצות בנות מנייה===
 +
(בהנחת אקסיומת הבחירה)
 +
 
 +
*תהי S קבוצה בת מנייה של קבוצות בנות מנייה, כלומר:
 +
**<math>|S|\leq\aleph_0</math>
 +
**<math>\forall X\in S:|X|\leq\aleph_0</math>
 +
*אזי גם האיחוד הכללי הוא בן מנייה:
 +
**<math>|\cup_{X\in S}X|\leq \aleph_0</math>
 +
 
 +
 
 +
*מסקנה: אוסף תתי הקבוצות הסופיות של המספרים הטבעיים הוא בן מנייה.
 +
 
 +
 
 +
*הערה לסרטון: אנחנו משתמשים באקסיומת הבחירה כאשר "בוחרים" את הפונקציות החח"ע מהקבוצות באוסף אל הטבעיים.
 +
 
 +
 
 +
<videoflash>0S6r0s2SnNc</videoflash>
 +
 
 +
===השוואת עוצמות===
 +
(בהנחת עיקרון המקסימום של האוסדורף)
 +
 
 +
*תהיינה שתי קבוצות A,B אזי <math>|A|\leq|B|</math> או <math>|A|\geq |B|</math>
 +
 
 +
 
 +
*נביט ב<math>U</math> אוסף היחסים הח"ע והחח"ע מ<math>A</math> ל<math>B</math>, וניקח שרשרת מקסימלית ביחס ההכלה <math>M\subseteq U</math>
 +
*נסמן ב<math>f</math> את האיחוד הכללי על השרשרת <math>M</math>
 +
*ראינו שנובע במקרה זה כי <math>f</math> יחס ח"ע וחח"ע מ<math>A</math> ל<math>B</math>.
 +
**אם <math>f</math> שלם, אזי <math>f:A\to B</math> פונקציה חח"ע ולכן <math>|A|\leq |B|</math>
 +
**אם <math>f</math> על, אזי <math>f:X\to B</math> פונקציה על עבור <math>X\subseteq A</math> ולכן <math>|B|\leq |X|\leq |A|</math>
 +
**אחרת, קיים זוג <math>(a,b)\in A\times B</math> כך ש <math>f\cup\{(a,b)\}</math> יחס ח"ע וחח"ע שניתן להוסיף לשרשרת <math>M</math> בסתירה למקסימליות שלה.
 +
 
 +
 
 +
<videoflash>XZkMt26fQyE</videoflash>
 +
 
 +
====אלף אפס היא העוצמה האינסופית הקטנה ביותר====
 +
(בהנחת עקרון המקסימום של האוסדורף)
 +
 
 +
*תהי A קבוצה אינסופית, אזי <math>\aleph_0\leq |A|</math>
 +
 
 +
 
 +
*דרך נוספת לזו המופיעה בסרטון:
 +
**נוכיח בהמשך כי ניתן להשוות עוצמה בין כל שתי קבוצות
 +
**אם <math>|A|\leq |\mathbb{N}|</math>, כיוון ש<math>A</math> אינסופית נובע כי <math>|A|=\aleph_0</math>
 +
**אחרת, <math>|\mathbb{N}|\leq |A|</math> ולכן <math>\aleph_0\leq |A|</math> כפי שרצינו.
 +
 
 +
 
 +
<videoflash>W4see8tTArk</videoflash>
 +
 
 +
 
 +
 
 +
*תהי A קבוצה אינסופית, ותהי B קבוצה סופית, אזי:
 +
**<math>|A|=|A\cup B|=|A\setminus B|</math>
 +
 
 +
 
 +
*דרך נוספת לזו המופיעה בסרטון:
 +
**בהמשך נוכיח כי לכל קבוצה אינסופית <math>X</math> מתקיים כי <math>|X|+|X|=|X|</math>
 +
**לכן <math>|A|\leq |A\cup B|=|A|+|B\setminus A|\leq |A|+|A|=|A|</math> ולפי ק.ש.ב <math>|A|=|A\cup B|</math>.
 +
***שימו לב כי <math>B\setminus A</math> סופית ולכן קטנה יותר מהקבוצה האינסופית <math>A</math>.
 +
**כמו כן <math>|A|=|A\setminus B|+|B\cap A|</math>
 +
**כעת <math>|A\setminus B|\leq|A\setminus B|+|B\cap A|\leq |A\setminus B|+|A\setminus B|=|A\setminus B|</math>.
 +
***שימו לב כי <math>B\cap A</math> סופית ולכן קטנה יותר מהקבוצה האינסופית <math>A\setminus B</math>.
 +
**לכן לפי ק.ש.ב <math>|A|=|A\setminus B|+|B\cap A|=|A\setminus B|</math>
 +
 
 +
 
 +
<videoflash>eaonM-yfR3w</videoflash>
 +
 
 +
===סכום ומכפלה של עוצמות אינסופיות שווה לגדולה מבין העוצמות===
 +
 
 +
*תהיינה עוצמות <math>a\leq b</math> אזי:
 +
**<math>b\leq a+b</math>
 +
*נניח בנוסף כי <math>2\leq a\leq b</math> אזי:
 +
**<math>a+b\leq a\cdot b</math>
 +
*נניח בנוסף כי b אינסופית, ונקבל ביחד
 +
**<math>b\leq a+b \leq a\cdot b\leq b\cdot b =b</math> (המעבר <math>b\cdot b=b</math> מוכח בסרטון השני).
 +
*ולכן לפי משפט ק.ש.ב נקבל כי
 +
**<math>a+b=a\cdot b = b</math>
 +
 
 +
 
 +
*דוגמא - מה היא עוצמת קבוצת המספרים האי-רציונאליים?
 +
*<math>\mathbb{R}=\mathbb{Q}\cup (\mathbb{R}\setminus\mathbb{Q})</math> (איחוד זר כמובן)
 +
*לכן <math>|\mathbb{R}|=|\mathbb{Q}|+ |(\mathbb{R}\setminus\mathbb{Q})|</math>
 +
*לכן <math>\aleph=\aleph_0 +|(\mathbb{R}\setminus\mathbb{Q})|</math>
 +
*לפי המשפט לעיל, סכום העוצמות הוא העוצמה הגדולה מבין השתיים.
 +
*כיוון ש <math>\aleph\neq \aleph_0</math> נקבל כי <math>|(\mathbb{R}\setminus\mathbb{Q})|=\aleph</math>
 +
 
 +
 
 +
<videoflash>Ty-lY6-uRPo</videoflash>
 +
 
 +
 
 +
====עוצמה כפול עצמה====
 +
*תהי קבוצה אינסופית <math>B</math> אזי <math>B\times B\sim B</math>
 +
 
 +
 
 +
*הוכחה:
 +
*תהי <math>S</math> קבוצת כל היחסים <math>R\subseteq (B\times B)\times B</math>, כך שקיימת תת קבוצה <math>X\subseteq B</math> כך ש <math>R:X\times X\to X</math> פונקציה הפיכה.
 +
*כיוון ש<math>B</math> אינסופית, יש לה תת קבוצה <math>Y\subseteq B</math> כך ש <math>|Y|=\aleph_0</math>.
 +
*כיוון ש <math>\aleph_0\times\aleph_0=\aleph_0</math> קיימת פונקציה הפיכה <math>R:Y\times Y\to Y</math>.
 +
*נביט ביחס ההכלה על <math>S</math>. לפי עקרון המקסימום של האוסדורף, קיימת שרשרת מקסימלית <math>\{R\}\subseteq M\subseteq S</math>.
 +
*נסמן ב<math>f</math> את האיחוד הכללי של השרשרת <math>f=\cup_{T\in M} T</math>.
 +
*נוכיח כי קיימת <math>D\subseteq B</math> כך ש <math>f:D\times D\to D</math> פונקציה הפיכה, ואף <math>|D|=|B|</math> וכך נסיים את ההוכחה.
 +
 
 +
 
 +
*הוכחה כי <math>f\in S</math> פונקציה הפיכה <math>f:D\times D\to D</math> עבור תת קבוצה <math>D\subseteq B</math>:
 +
*ראשית, נגדיר את <math>D=\{d\in B | \exists a,b\in B:((a,b),d)\in f\}</math>
 +
*נוכיח כי <math>f\subseteq (D\times D)\times D</math>:
 +
**יהי זוג <math>((a,b),d)\in f</math>, לפי ההגדרה <math>d\in D</math>
 +
**כמו כן, לפי הגדרת האיחוד קיים <math>T\in M</math> כך ש <math>((a,b),d)\in T</math>.
 +
**קיימת <math>X\subseteq B</math> כך ש <math>T:X\times X\to X</math> פונקציה הפיכה.
 +
**כיוון ש <math>T</math> על, לכל <math>x\in X</math> קיימים <math>p,q\in X</math> כך ש <math>((p,q),x)\in T</math> ולכן <math>((p,q),x)\in f</math> ולכן <math>x\in D</math>
 +
**ביחד עם העובדה ש <math>a,b\in X</math> נובע כי <math>a,b\in D</math>
 +
*כיוון שכל איברי השרשרת הם יחסים ח"ע, גם <math>f</math> ח"ע.
 +
*כיוון שכל איברי השרשרת הם יחסים חח"ע, גם <math>f</math> חח"ע.
 +
*כעת נוכיח כי <math>f:D\times D\to D</math> יחס שלם:
 +
**יהיו <math>d_1,d_2\in D</math>.
 +
**ראינו כי קיימים <math>T_1,T_2\in M</math> ואיברים <math>a_1,b_1,a_2,b_2\in D</math> כך ש <math>((a_1,b_1),d_1)\in T_1</math> וכן <math>((a_2,b_2),d_2)\in T_2</math>
 +
**כיוון ש<math>M</math> שרשרת, <math>T_1\subseteq T_2</math> (או ההפך) ולכן <math>a_1,a_2,b_1,b_2\in X</math> עבור תת קבוצה <math>X\subseteq D</math> כך ש <math>T_2:X\times X\to X</math> פונקציה הפיכה.
 +
**לכן קיים <math>d_3\in X\subseteq D</math> כך ש <math>((d_1,d_2),d_3)\in T_2</math> ולכן <math>((d_1,d_2),d_3)\in f</math> כלומר <math>f</math> שלם.
 +
*הוכחנו כי <math>f:D\times D\to D</math> היא פונקציה (יחס ח"ע ושלם) חח"ע, נותר להוכיח כי היא על:
 +
**יהי <math>d\in D</math>. ראינו כי קיים <math>T\in M</math> וקיימים <math>a,b\in D</math> כך ש <math>((a,b),d)\in T</math> ולכן <math>((a,b),d)\in f</math> ולכן הפונקציה על.
 +
 
 +
 
 +
*הוכחה כי <math>|D|=|B|</math>:
 +
*ראשית, נשים לב כי <math>Y\subseteq D</math> כיוון ש <math>R:Y\times Y\to Y</math> פונקציה הפיכה וכן <math>R\in M</math>, ולכן <math>D</math> אינסופית.
 +
*כעת, נזכור שהוכחנו כי <math>|D\times D|=|D|</math>.
 +
*נביט ב <math>B\setminus D</math> ונחלק למקרים:
 +
*אם <math>|B\setminus D|\leq D</math> אזי:
 +
**<math>|B|=|D|+|B\setminus D|\leq |D|+|D|\leq |D|\times |D| =|D|</math>
 +
**כמובן ש <math>|D|\leq |B|</math> ולפי ק.ש.ב נסיק כי במקרה זה <math>|B|=|D|</math> וסיימנו.
 +
*אם <math>|B\setminus D|\geq |D|</math> נראה כי נגיע לסתירה, ולכן מקרה זה בלתי אפשרי:
 +
**ניקח תת קבוצה <math>U\subseteq B\setminus D</math> כך ש <math>|U|=|D|</math>.
 +
**לכן <math>|(U\times D) \cup (D\times U) \cup (U\times U)|=|D|+|D|+|D|=|D|</math> (הרי ראינו מקודם כי <math>|D|+|D|=|D|</math>)
 +
**לכן קיימת פונקציה הפיכה <math>g:(U\times D) \cup (D\times U) \cup (U\times U)\to U</math>.
 +
**האיחוד <math>h=f\cup g</math> הוא פונקציה הפיכה <math>h:(U\cup D)\times (U\cup D)\to (U\cup D)</math>, ולכן <math>h\in S</math>.
 +
**ניתן להוסיף את <math>h</math> לשרשרת <math>M</math> ולהגדיל אותה, בסתירה למקסימליות שלה.
 +
 
 +
 
 +
 
 +
 
 +
<videoflash>e6cBpbJzs2A</videoflash>
 +
 
 +
===הקשר בין עוצמת הטבעיים לעוצמת הממשיים===
 +
 
 +
*<math>2^{\aleph_0}=\aleph</math> כלומר <math> P(\mathbb{N})\sim\mathbb{R}</math>
 +
 
 +
 
 +
<videoflash>dhrT0edcmJE</videoflash>
  
 
===תרגול===
 
===תרגול===

גרסה אחרונה מ־07:35, 18 ביולי 2023

תוכן עניינים

חומר עזר

סרטוני ותקציר הרצאות

פלייליסט של כל הסרטונים


פרק 1 - מבוא ללוגיקה מתמטית

פסוקים, קשרים, כמתים, פרדיקטים


תרגול

אינדוקציה

  • משפט האינדוקציה המתמטית
  • תהי סדרת טענות כך שמתקיימים שני התנאים הבאים:
    • הטענה הראשונה נכונה.
    • לכל n\in \mathbb{N} אם הטענה הn מתקיימת אז גם הטענה הn+1 מתקיימת.
  • אזי כל הטענות בסדרה נכונות



  • דוגמא:
  • \sum_{k=1}^{2^{n-1}}\frac{1}{k} > \frac{n}{2}


  • אינדוקציה שלמה (מלאה)
  • תהי סדרת טענות כך ש:
    • לכל n\in \mathbb{N} אם כל הטענות עד ולא כולל הטענה הn מתקיימות, אזי גם הטענה הn מתקיימת.
  • אזי כל הטענות בסדרה מתקיימות.
  • שימו לב: לפני הטענה הראשונה אין טענות, ולכן כולן מתקיימות באופן ריק. כלומר מנוסח התנאי נובע שצריך להוכיח שהטענה הראשונה מתקיימת.



  • פרדוקס הסוסים (או פתיתי השלג)


תרגול

פרק 2 - מבוא לתורת הקבוצות

קבוצות ופעולות על קבוצות

  • איבר שייך לקבוצה a\in A אם הוא אחד האיברים בקבוצה.
  • קבוצה מוכלת בקבוצה אחרת A\subseteq B אם \forall a\in A : a\in B


  • \{1,2\}=\{2,1\}
  • \{1,1,2\}=\{1,2\}


  • תהי קבוצה U ותהיינה A,B\subseteq U. נגדיר את:
    • קבוצת האיחוד A\cup B =\{ x\in U:x\in A \or x\in B\}
    • קבוצת החיתוך A\cap B =\{ x\in U:x\in A \and x\in B\}
    • קבוצת ההפרש A\setminus B =\{ x\in U:x\in A \and x\not\in B\}
    • קבוצת ההפרש הסימטרי A\Delta B = (A\setminus B)\cup (B\setminus A)
    • קבוצת המשלים \overline{A}=\{x\in U:x\not\in A\}


שיטות הוכחה בסיסיות

  • הוכחת טענות מכומתות - טענות 'לכל' וטענות 'קיים'



  • הוכחת הכלה בין קבוצות, ושיוויון בין קבוצות


איחוד וחיתוך כלליים

  • תהי S קבוצה של קבוצות, נגדיר:
    • \cup_{A\in S}A = \{x|\exists A\in S :x\in A\}
    • \cap_{A\in S}A = \{x|\forall A\in S :x\in A\}


קבוצת החזקה

  • X\in P(A) \iff X\subseteq A

תרגול

פרק 3 - יחסים

מכפלה קרטזית ויחסים


תכונות של יחסים

  • יהי R יחס על A (כלומר R\subseteq A\times A) אזי:
    • R נקרא רפלקסיבי אם לכל a\in A מתקיים aRa.
    • R נקרא סימטרי אם לכל a,b\in A המקיימים aRb מתקיים bRa
    • R נקרא אנטי-סימטרי אם לכל a,b\in A המקיימים aRb\and bRa מתקיים a=b
    • R נקרא טרנזיטיבי אם לכל a,b,c\in A המקיימים aRb \and bRc מתקיים aRc
    • R נקרא מלא אם לכל a,b\in A מתקיים כי aRb\or bRa


  • יהי R יחס מA לB (כלומר R\subseteq A\times B) אזי:
    • R נקרא חד-ערכי (ח"ע) אם לכל a\in A ולכל b_1,b_2\in B המקיימים aRb_1 \and aRb_2 מתקיים b_1=b_2
    • R נקרא שלם אם לכל a\in A קיים b\in B כך ש aRb
    • R נקרא חד-חד-ערכי (חח"ע) אם לכל a_1,a_2\in A ולכל b\in B המקיימים a_1Rb\and a_2Rb מתקיים a_1=a_2
    • R נקרא על אם לכל b\in B קיים a\in A כך ש aRb

יחסי שקילות

  • יחס R על קבוצה A נקרא יחס שקילות אם הוא רפלקסיבי, סימטרי וטרנזיטיבי.
  • יהי R יחס שקילות על A.
  • לכל a\in A מוגדרת קבוצת מחלקת השקילות של a ע"י:
    • [a]_R=\{x\in A|aRx\}
  • קבוצת כל קבוצות מחלקות השקילות נקראת קבוצת המנה:
    • A/R=\{[a]_R:a\in A\}


  • תהי קבוצה A. קבוצת תתי קבוצות U\subseteq P(A) נקראת חלוקה של A אם:
    • \cup_{X\in U}X=A
    • \emptyset\notin U
    • לכל X_1,X_2\in U אם X_1\cap X_2\neq \emptyset אזי X_1=X_2


  • היחס המושרה מחלוקה:
  • תהי קבוצה A ותהי חלוקה שלה U. נגדיר יחס R על A על ידי:
    • aRb אם ורק אם קיימת X\in U כך שa,b\in X


  • היחס המושרה מחלוקה הוא יחס שקילות.
  • קבוצת המנה היא חלוקה של A.
  • היחס המושרה מקבוצת המנה, הוא יחס השקילות המקורי; קבוצת המנה של יחס שקילות מושרה היא החלוקה המקורית.



תרגול

יחסי סדר

  • יחס R על קבוצה A נקרא יחס סדר חלקי אם הוא רפלקסיבי, אנטי-סימטרי וטרנזיטיבי



איברים מינימליים ומקסימליים, וחסמים

  • יהי R יחס סדר חלקי על קבוצה X, ותהי A\subseteq X תת קבוצה.
    • איבר M\in A נקרא מקסימלי בA אם לכל a\in A המקיים MRa מתקיים כי a=M (אין גדולים ממנו)
    • איבר m\in A נקרא מינימלי בA אם לכל a\in A המקיים aRm מתקיים כי a=m (אין קטנים ממנו)
    • איבר M\in A נקרא הגדול ביותר (מקסימום) בA אם לכל a\in A מתקיים aRM (הוא גדול מכולם)
    • איבר m\in A נקרא הקטן ביותר (מינימום) בA אם לכל a\in A מתקיים mRa (הוא קטן מכולם)
    • איבר M\in X נקרא חסם מלעיל של A אם לכל a\in A מתקיים aRM (הוא גדול מכל איברי הקבוצה, אבל לאו דווקא נמצא בקבוצה)
    • איבר m\in X נקרא חסם מלרע של A אם לכל a\in A מתקיים mRa (הוא קטן מכל איברי הקבוצה, אבל לאו דווקא נמצא בקבוצה)
    • אם בקבוצת חסמי המלעיל של A יש איבר קטן ביותר הוא נקרא חסם עליון (supremum) של A.
    • אם בקבוצת חסמי המלרע של A יש איבר גדול ביותר הוא נקרא חסם תחתון (infimum) של A.


  • איבר גדול ביותר ביותר הוא יחיד.
  • אם חסם מלעיל שייך לקבוצה, אז הוא הגדול ביותר.
  • האיבר הגדול ביותר בקבוצה הוא איבר מקסימלי, ואין איברים מקסימליים אחרים.


  • האם תתכן קבוצה עם איבר מקסימלי יחיד שאינו האיבר הגדול ביותר בקבוצה?


  • ביחס ההכלה על קבוצת חזקה, האיחוד הכללי של קבוצת קבוצות הוא החסם העליון שלה, והחיתוך הכללי הוא החסם התחתון.
  • ביחס 'מחלק את' על הטבעיים, המחלק המשותף המקסימלי הוא החסם התחתון, והמכפלה המשותפת המינימלית הוא החסם העליון.


שרשראות

  • יחס סדר חלקי R על A נקרא מלא (או לינארי, או קווי) אם:
    • \forall a,b\in A:aRb\or bRa


  • יהי R יחס סדר חלקי על A, ותהי S\subseteq A.
  • אזי S נקראת שרשרת אם היחס מלא עליה, כלומר \forall a,b\in S:aRb\or bRa

תרגול

פרק 4 - פונקציות

הגדרת פונקציות

  • יחס f מA לB נקרא פונקציה אם הוא ח"ע ושלם, ומסמנים במקרה זה f:A\to B, וכן f(a)=b\iff (a,b)\in f.
  • A נקרא תחום הפונקציה (או תחום הגדרה), B נקרא הטווח של הפונקציה.


  • שימו לב, הסרטון ישן, ושם פונקציה הוגדרה כיחס ח"ע בלבד, בניגוד להגדרה העדכנית שלנו בקורס.


חח"ע ועל, תמונה ותמונה הפוכה

  • תהי f:A\to B פונקציה. אזי:
    • f חח"ע אם לכל x_1,x_2\in A המקיימים f(x_1)=f(x_2) מתקיים כי x_1=x_2
    • f על אם לכל y\in B קיים x\in A כך שf(x)=y
    • תהי X\subseteq A נגדיר את קבוצת התמונה f[X]=\{f(a)|a\in X\}
    • תהי Y\subseteq B נגדיר את קבוצת התמונה ההפוכה f^{-1}[Y]=\{a\in A|f(a)\in Y\}
    • f[]:P(A)\to P(B) היא פונקצית התמונה, השולחת כל תת קבוצה לקבוצת התמונה שלה
    • f^{-1}[]:P(B)\to P(A) היא פונקצית התמונה ההפוכה, השולחת כל תת קבוצה לקבוצת התמונה ההפוכה שלה


  • שימו לב
    • x\in f^{-1}[Y]\iff f(x)\in Y
    • y\in f[X] \iff \exist a\in X :f(a)=y


הרכבת פונקציות, פונקציות הפיכות

  • תהיינה f:A\to B וכן g:B\to C אזי נגדיר את פונקצית ההרכבה g\circ f:A\to C ע"י g\circ f(a)=g(f(a))
  • פעולת ההרכבה היא אסוציאטיבית.


  • תהי קבוצה A נגדיר את פונקצית הזהות I_A:A\to A ע"י I_A(x)=x.
  • לכל פונקציה f:A\to B מתקיים כי I_B\circ f = f\circ I_A = f


  • פונקציה f:A\to B נקראת הפיכה אם קיימות פונקציות g,h:B\to A כך ש:
    • g\circ f = I_A וכן f\circ h = I_B
  • נשים לב כי
    • h=I_A\circ h = (g\circ f)\circ h = g\circ (f\circ h)=g\circ I_B = g
  • לכן אם פונקציה הפיכה, יש פונקציה יחידה שהופכת אותה (ההופכית), נסמנה f^{-1}:B\to A.
  • שימו לב: עם סוגריים מרובעים זו פונקצית התמונה ההפוכה שיש לכל פונקציה ופועלת על תתי קבוצות, עם סוגריים עגולים זו הפונקציה ההופכית שיש רק להפיכות ופועלת על איברים.


פונקציה מוגדרת היטב

תרגול

תרגול בנושא פונקציות

תרגול נוסף בנושא פונקציות

פרק 5 - עוצמות

מבוא

השוואת עוצמות

  • A שקולת עוצמה לB או עוצמתה של A שווה לB, אם קיימת פונקציה הפיכה (חח"ע ועל) f:A\to B.
  • במקרה זה מסמנים A\sim B או |A|=|B|.
    • כל קבוצה שקולת עוצמה לעצמה
    • אם A שקולת עוצמה לB, גם B שקולת עוצמה לA
    • אם A שקולת עוצמה לB וB שקולת עוצמה לC אזי A שקולת עוצמה לC


  • עוצמתה של A קטנה או שווה לזו של B, אם קיימת פונקציה חח"ע f:A\to B.
  • במקרה זה מסמנים |A|\leq |B|


  • כל קבוצה A השקולת עוצמה לקבוצת הטבעיים מסומנת |A|=\aleph_0
  • כל קבוצה A השקולת עוצמה לקבוצת הממשיים מסומנת |A|=\aleph


משפט קנטור

  • |A|<|P(A)|

קבוצות בנות מנייה

  • קבוצה A נקראת בת מנייה אם |A|\leq \aleph_0
  • כל קבוצה A בת מנייה אינסופית מקיימת |A|=\aleph_0

חשבון עוצמות (אריתמטיקה של עוצמות)

חיבור עוצמות

  • תהיינה שתי עוצמות a,b ותהיינה שתי נציגות זרות לעוצמות A,B.
  • נגדיר a+b=|A\cup B|, הגדרה זו אינה תלוייה בבחירת הנציגות.


כפל עוצמות

  • תהיינה שתי עוצמות a,b ותהיינה שתי נציגות לעוצמות A,B.
  • נגדיר a\cdot b=|A\times B|, הגדרה זו אינה תלוייה בבחירת הנציגות.


חזקת עוצמות

  • תהיינה שתי עוצמות a,b ותהיינה שתי נציגות לעוצמות A,B.
  • נגדיר את A^B להיות אוסף כל הפונקציות מB לA (מהמעריך לבסיס).
  • נגדיר a^b=|A^B|, הגדרה זו אינה תלוייה בבחירת הנציגות.


  • חוקי חזקות
  • תהיינה עוצמות a,b,c אזי
    • a^b\cdot a^c = a^{b+c}
    • (a^b)^c = a^{b\cdot c}
    • a^b\cdot c^b = (a\cdot c)^b



עוצמת קבוצת החזקה

  • |P(A)|=2^{|A|}


השוואת חשבון עוצמות

  • תהיינה עוצמות a,b,c,d כך ש a\leq c וכן b\leq d אזי:
    • a+b\leq c+d
    • a\cdot b\leq c\cdot d
  • אם בנוסף נתון כי c\neq 0 אזי
    • a^b\leq c^d

משפט קנטור-שרדר-ברנשטיין

  • אם |A|\leq |B| וגם |B|\leq |A| אזי A\sim B

למת נקודת השבת

  • תהי פונקציה עולה h:P(A)\to P(A) כלומר המקיימת לכל X_1\subseteq X_2 כי h(X_1)\subseteq h(X_2)
  • אזי קיימת נק' שבת K\subseteq A כך ש h(K)=K.

הוכחת המשפט


עוצמות קטעים ממשיים

  • |\mathbb{R}|=|[a,\infty)|=|[a,b]|=|(a,b)|=\aleph



אקסיומת הבחירה ועקרון המקסימום של האוסדורף

אקסיומת הבחירה

  • תהי S קבוצת קבוצות לא ריקות, ונסמן את האיחוד הכללי ב U=\cup_{X\in S}X.
  • אזי קיימת פונקצית בחירה f:S\to U הבוחרת איבר מתוך כל קבוצה, כלומר:
    • \forall X\in S: f(X)\in X


  • דוגמא:
    • תהי פונקציה על f:A\to B אזי קיימת תת קבוצה X\subseteq A כך ש f:X\to B חח"ע ועל.


  • תהיינה A,B\neq\emptyset אזי |A|\leq |B| אם ורק אם קיימת g:B\to A על.


  • בכיוון ראשון:
    • תהי f:A\to B חח"ע
    • כיוון שA\neq \emptyset קיים a\in A
    • נגדיר פונקציה g:B\to A באופן הבא:
      • לכל b\in B
      • אם קיים x\in A כך ש f(x)=b נגדיר f(b)=x (בגלל החח"ע זה מוגדר היטב)
      • אם b\not\in Im(f) נגדיר f(b)=a
    • הפונקציה g שהגדרנו היא אכן על, כי לכל x\in A מתקיים כי g(f(x))=x
  • בכיוון שני:
    • תהי g:B\to A על, אזי כל הקבוצות באוסף U=\left\{g^{-1}[\{a\}]|a\in A\right\} אינן ריקות.
    • ניקח פונקצית בחירה h:U\to B ונגדיר f:A\to B ע"י f(a)=h(g^{-1}[\{a\}])
    • אכן f חח"ע כי אם f(a_1)=f(a_2)=b אזי b\in g^{-1}[\{a_1\}] וכן b\in g^{-1}[\{a_2\}]
    • ולכן g(b)=a_1 וכן g(b)=a_2, כלומר a_1=a_2


עקרון המקסימום של האוסדורף

  • תהי קבוצה A עם יחס סדר חלקי, תת קבוצה S\subseteq A נקראת שרשרת אם היחס מלא עליה (ניתן להשוות בין כל שני איברים בS).
  • שרשרת נקראת מקסימלית בA אם היא אינה מוכלת באף שרשרת אחרת.
  • עקרון המקסימום של האוסדורף אומר שכל שרשרת מוכלת בשרשרת מקסימלית.


  • דוגמא - אוסף עיגולים במישור שאינם חותכים זה את זה, ולא ניתן להוסיף אפילו עיגול אחד נוסף.



  • טענות שימושיות להמשך:
  • תהי U קבוצה של יחסים מA ל B, תהי M\subseteq U שרשרת ביחס ההכלה ונסמן את האיחוד הכללי של השרשרת בf=\cup_{R\in M} R
  • אזי:
    • אם כל היחסים בM ח"ע, אז גם f ח"ע
      • אכן, יהיו (a,b_1),(a,b_2)\in f
      • לכן קיימים R_1,R_2\in M כך ש (a,b_1)\in R_1 וכן (a,b_2)\in R_2
      • כיוון שM שרשרת, אזי R_1\subseteq R_2 (או ההפך) ולכן (a,b_1),(a,b_2)\in R_2
      • כיוון שR_2 ח"ע נובע כי b_1=b_2 כפי שרצינו.
    • אם כל היחסים בM חח"ע, אזי גם f חח"ע
      • הוכחה דומה לח"ע


איחוד בן מנייה של קבוצות בנות מנייה

(בהנחת אקסיומת הבחירה)

  • תהי S קבוצה בת מנייה של קבוצות בנות מנייה, כלומר:
    • |S|\leq\aleph_0
    • \forall X\in S:|X|\leq\aleph_0
  • אזי גם האיחוד הכללי הוא בן מנייה:
    • |\cup_{X\in S}X|\leq \aleph_0


  • מסקנה: אוסף תתי הקבוצות הסופיות של המספרים הטבעיים הוא בן מנייה.


  • הערה לסרטון: אנחנו משתמשים באקסיומת הבחירה כאשר "בוחרים" את הפונקציות החח"ע מהקבוצות באוסף אל הטבעיים.


השוואת עוצמות

(בהנחת עיקרון המקסימום של האוסדורף)

  • תהיינה שתי קבוצות A,B אזי |A|\leq|B| או |A|\geq |B|


  • נביט בU אוסף היחסים הח"ע והחח"ע מA לB, וניקח שרשרת מקסימלית ביחס ההכלה M\subseteq U
  • נסמן בf את האיחוד הכללי על השרשרת M
  • ראינו שנובע במקרה זה כי f יחס ח"ע וחח"ע מA לB.
    • אם f שלם, אזי f:A\to B פונקציה חח"ע ולכן |A|\leq |B|
    • אם f על, אזי f:X\to B פונקציה על עבור X\subseteq A ולכן |B|\leq |X|\leq |A|
    • אחרת, קיים זוג (a,b)\in A\times B כך ש f\cup\{(a,b)\} יחס ח"ע וחח"ע שניתן להוסיף לשרשרת M בסתירה למקסימליות שלה.


אלף אפס היא העוצמה האינסופית הקטנה ביותר

(בהנחת עקרון המקסימום של האוסדורף)

  • תהי A קבוצה אינסופית, אזי \aleph_0\leq |A|


  • דרך נוספת לזו המופיעה בסרטון:
    • נוכיח בהמשך כי ניתן להשוות עוצמה בין כל שתי קבוצות
    • אם |A|\leq |\mathbb{N}|, כיוון שA אינסופית נובע כי |A|=\aleph_0
    • אחרת, |\mathbb{N}|\leq |A| ולכן \aleph_0\leq |A| כפי שרצינו.



  • תהי A קבוצה אינסופית, ותהי B קבוצה סופית, אזי:
    • |A|=|A\cup B|=|A\setminus B|


  • דרך נוספת לזו המופיעה בסרטון:
    • בהמשך נוכיח כי לכל קבוצה אינסופית X מתקיים כי |X|+|X|=|X|
    • לכן |A|\leq |A\cup B|=|A|+|B\setminus A|\leq |A|+|A|=|A| ולפי ק.ש.ב |A|=|A\cup B|.
      • שימו לב כי B\setminus A סופית ולכן קטנה יותר מהקבוצה האינסופית A.
    • כמו כן |A|=|A\setminus B|+|B\cap A|
    • כעת |A\setminus B|\leq|A\setminus B|+|B\cap A|\leq |A\setminus B|+|A\setminus B|=|A\setminus B|.
      • שימו לב כי B\cap A סופית ולכן קטנה יותר מהקבוצה האינסופית A\setminus B.
    • לכן לפי ק.ש.ב |A|=|A\setminus B|+|B\cap A|=|A\setminus B|


סכום ומכפלה של עוצמות אינסופיות שווה לגדולה מבין העוצמות

  • תהיינה עוצמות a\leq b אזי:
    • b\leq a+b
  • נניח בנוסף כי 2\leq a\leq b אזי:
    • a+b\leq a\cdot b
  • נניח בנוסף כי b אינסופית, ונקבל ביחד
    • b\leq a+b \leq a\cdot b\leq b\cdot b =b (המעבר b\cdot b=b מוכח בסרטון השני).
  • ולכן לפי משפט ק.ש.ב נקבל כי
    • a+b=a\cdot b = b


  • דוגמא - מה היא עוצמת קבוצת המספרים האי-רציונאליים?
  • \mathbb{R}=\mathbb{Q}\cup (\mathbb{R}\setminus\mathbb{Q}) (איחוד זר כמובן)
  • לכן |\mathbb{R}|=|\mathbb{Q}|+ |(\mathbb{R}\setminus\mathbb{Q})|
  • לכן \aleph=\aleph_0 +|(\mathbb{R}\setminus\mathbb{Q})|
  • לפי המשפט לעיל, סכום העוצמות הוא העוצמה הגדולה מבין השתיים.
  • כיוון ש \aleph\neq \aleph_0 נקבל כי |(\mathbb{R}\setminus\mathbb{Q})|=\aleph



עוצמה כפול עצמה

  • תהי קבוצה אינסופית B אזי B\times B\sim B


  • הוכחה:
  • תהי S קבוצת כל היחסים R\subseteq (B\times B)\times B, כך שקיימת תת קבוצה X\subseteq B כך ש R:X\times X\to X פונקציה הפיכה.
  • כיוון שB אינסופית, יש לה תת קבוצה Y\subseteq B כך ש |Y|=\aleph_0.
  • כיוון ש \aleph_0\times\aleph_0=\aleph_0 קיימת פונקציה הפיכה R:Y\times Y\to Y.
  • נביט ביחס ההכלה על S. לפי עקרון המקסימום של האוסדורף, קיימת שרשרת מקסימלית \{R\}\subseteq M\subseteq S.
  • נסמן בf את האיחוד הכללי של השרשרת f=\cup_{T\in M} T.
  • נוכיח כי קיימת D\subseteq B כך ש f:D\times D\to D פונקציה הפיכה, ואף |D|=|B| וכך נסיים את ההוכחה.


  • הוכחה כי f\in S פונקציה הפיכה f:D\times D\to D עבור תת קבוצה D\subseteq B:
  • ראשית, נגדיר את D=\{d\in B | \exists a,b\in B:((a,b),d)\in f\}
  • נוכיח כי f\subseteq (D\times D)\times D:
    • יהי זוג ((a,b),d)\in f, לפי ההגדרה d\in D
    • כמו כן, לפי הגדרת האיחוד קיים T\in M כך ש ((a,b),d)\in T.
    • קיימת X\subseteq B כך ש T:X\times X\to X פונקציה הפיכה.
    • כיוון ש T על, לכל x\in X קיימים p,q\in X כך ש ((p,q),x)\in T ולכן ((p,q),x)\in f ולכן x\in D
    • ביחד עם העובדה ש a,b\in X נובע כי a,b\in D
  • כיוון שכל איברי השרשרת הם יחסים ח"ע, גם f ח"ע.
  • כיוון שכל איברי השרשרת הם יחסים חח"ע, גם f חח"ע.
  • כעת נוכיח כי f:D\times D\to D יחס שלם:
    • יהיו d_1,d_2\in D.
    • ראינו כי קיימים T_1,T_2\in M ואיברים a_1,b_1,a_2,b_2\in D כך ש ((a_1,b_1),d_1)\in T_1 וכן ((a_2,b_2),d_2)\in T_2
    • כיוון שM שרשרת, T_1\subseteq T_2 (או ההפך) ולכן a_1,a_2,b_1,b_2\in X עבור תת קבוצה X\subseteq D כך ש T_2:X\times X\to X פונקציה הפיכה.
    • לכן קיים d_3\in X\subseteq D כך ש ((d_1,d_2),d_3)\in T_2 ולכן ((d_1,d_2),d_3)\in f כלומר f שלם.
  • הוכחנו כי f:D\times D\to D היא פונקציה (יחס ח"ע ושלם) חח"ע, נותר להוכיח כי היא על:
    • יהי d\in D. ראינו כי קיים T\in M וקיימים a,b\in D כך ש ((a,b),d)\in T ולכן ((a,b),d)\in f ולכן הפונקציה על.


  • הוכחה כי |D|=|B|:
  • ראשית, נשים לב כי Y\subseteq D כיוון ש R:Y\times Y\to Y פונקציה הפיכה וכן R\in M, ולכן D אינסופית.
  • כעת, נזכור שהוכחנו כי |D\times D|=|D|.
  • נביט ב B\setminus D ונחלק למקרים:
  • אם |B\setminus D|\leq D אזי:
    • |B|=|D|+|B\setminus D|\leq |D|+|D|\leq |D|\times |D| =|D|
    • כמובן ש |D|\leq |B| ולפי ק.ש.ב נסיק כי במקרה זה |B|=|D| וסיימנו.
  • אם |B\setminus D|\geq |D| נראה כי נגיע לסתירה, ולכן מקרה זה בלתי אפשרי:
    • ניקח תת קבוצה U\subseteq B\setminus D כך ש |U|=|D|.
    • לכן |(U\times D) \cup (D\times U) \cup (U\times U)|=|D|+|D|+|D|=|D| (הרי ראינו מקודם כי |D|+|D|=|D|)
    • לכן קיימת פונקציה הפיכה g:(U\times D) \cup (D\times U) \cup (U\times U)\to U.
    • האיחוד h=f\cup g הוא פונקציה הפיכה h:(U\cup D)\times (U\cup D)\to (U\cup D), ולכן h\in S.
    • ניתן להוסיף את h לשרשרת M ולהגדיל אותה, בסתירה למקסימליות שלה.



הקשר בין עוצמת הטבעיים לעוצמת הממשיים

  • 2^{\aleph_0}=\aleph כלומר  P(\mathbb{N})\sim\mathbb{R}


תרגול