חדוא 1 - ארז שיינר

88-132 חשבון אינפיניטיסימלי 1

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

פרק 1 - מספרים וחסמים

קבוצות מספרים

• הטבעיים $\mathbb{N}=\{1,2,3,...\}$
• השלמים $\mathbb{Z}=\{0,-1,1,-2,2,...\}$
• הרציונאליים $\mathbb{Q}=\{\frac{p}{n}|p\in \mathbb{Z},n\in \mathbb{N}\}$
• הממשיים $\mathbb{R}$, כל השברים העשרוניים כולל האינסופיים

• העשרה: בנייה של שדה הממשיים באמצעות חתכי דדקינד

• לא קיים $x\in \mathbb{Q}$ כך ש $x^2=2$.
• במילים פשוטות, $\sqrt{2}$ אינו רציונאלי (בהמשך נוכיח שיש מספר ממשי כזה).

חסמים

• תהי $A\subseteq \mathbb{R}$ אזי:
  • $M\in \mathbb{A}$ נקרא המקסימום של A או האיבר הגדול ביותר של A אם לכל $a\in A$ מתקיים כי $a\le M$
  • $M\in \mathbb{R}$ נקרא חסם מלעיל של A אם לכל $a\in A$ מתקיים כי $a\le M$
  • $m\in \mathbb{A}$ נקרא המינימום של A או האיבר הקטן ביותר של A אם לכל $a\in A$ מתקיים כי $a\ge M$
  • $m\in \mathbb{R}$ נקרא חסם מלרע של A אם לכל $a\in A$ מתקיים כי $a\ge M$

• כמו כן:
  • אם יש איבר קטן ביותר בקבוצת חסמי המלעיל של A הוא נקרא החסם העליון של A, או הסופרמום של A ומסומן $sup(A)$
  • אם יש איבר גדול ביותר בקבוצת חסמי המלרע של A הוא נקרא החסם התחתון של A, או האינפימום של A ומסומן $inf(A)$

• בשדה הממשיים לכל קבוצה לא ריקה וחסומה מלעיל יש חסם עליון, ולכל קבוצה לא ריקה וחסומה מלרע יש חסם תחתון.
• בשדה הרציונאליים זה לא נכון; לקבוצה $A=\{x\in \mathbb{Q}|x^2<2\}$ אין מספר רציונאלי קטן ביותר מבין חסמי המלעיל שלה.

• תהי $A\subseteq \mathbb{R}$ ויהי $M\in \mathbb{R}$ אזי:
  • M הוא החסם העליון של A אם ורק אם M הוא חסם מלעיל של A ולכל מספר $M-\epsilon <M$ קיים מספר $a\in A$ כך ש $a>M-\epsilon$
  • m הוא החסם התחתון של A אם ורק אם m הוא חסם מלרע של A ולכל מספר $m<m+\epsilon$ קיים מספר $a\in A$ כך ש $a<m+\epsilon$

• דוגמא: תהיינה $\mathrm{\varnothing }\ne A,B\subseteq \mathbb{R}$ חסומות מלעיל כך שA אינה מכילה חסמי מלעיל של B, אזי $sup(A)\le sup(B)$

פרק 2 - סדרות

• הגדרת הגבול של סדרה:
• תהי סדרה ממשית $a_n$ ויהי מספר ממשי $L\in \mathbb{R}$.
• $L$ הינו גבול הסדרה $a_n$ (מסומן $lim{a}_n=L$ או $a_n\to L$) אם:
  • לכל סביבה של הגבול, קיים מקום בסדרה שאחריו כל איברי הסדרה נמצאים בסביבה הנתונה, כלומר:
  • לכל מרחק $\epsilon >0$ קיים מקום $N\in \mathbb{N}$ כך שאחריו לכל $n>N$ מתקיים כי $|a_n-L|<\epsilon$

• נגדיר ש$a_n\to \mathrm{\infty }$ אם לכל $M>0$ קיים $N\in \mathbb{N}$ כך שלכל $n>N$ מתקיים כי $a_n>M$
• נגדיר ש$a_n\to -\mathrm{\infty }$ אם $-a_n\to \mathrm{\infty }$

• טענה: תהי $a_n\to \mathrm{\infty }$ אזי $\frac{1}{a_n}\to 0$
• טענה: תהי $0\ne a_n\to 0$ אזי $\frac{1}{|a_n|}\to \mathrm{\infty }$