שינויים

קפיצה אל: ניווט, חיפוש

רציפות

הוסרו 163 בתים, 19:31, 19 ביוני 2017
אנו מעוניינים להגדיר את המושג האינטואיטיבי של רציפות. כיון שיש לנו את מושג הגבול (הגובה אליו הפונקציה שואפת בנקודה מסוימת), נרצה באופן טבעי כי ערך הפונקציה יהיה שווה לגבול שלה בנקודה.
;<font size=4 color=#3c498e> '''הגדרה.''' </font>תהי <math>f</math> פונקציה. אומרים כי <math>f</math> '''רציפה בנקודה ''' <math>a</math>''' אם ערכה בנקודה שווה לגבול שלה בנקודה:<math>\lim_lim\limits_{x\to a}f(x)=f(a)</math>
'''שימו לב''' כי הגדרת הרציפות הנה נקודתית. נהוג לומר על פונקציה שהיא רציפה בקטע אם היא רציפה בכל נקודה בקטע.
''';משפט.''' תהיינה <math>f,g</math> פונקציות רציפות. אזי פונקצית המנה <math>\fracdfrac{f}{g}</math> רציפה בדיוק בנקודות בהן <math>g\ne 0ne0</math>. 
''';משפט (הרכבה של רציפות).''' תהי <math>g</math> פונקציה רציפה בנקודה <math>L</math> . תהי <math>f</math> פונקציה המקיימת <math>\lim\limits_{x\to x_0}f(x)=L</math> אזי
:<math>g(f(x))</math> רציפה בנקודה <math>x_0</math>
;<font size=4 color=#a7adcd>'''דוגמא.''' </font>
תהיינה <math>f,g</math> פונקציות רציפות. הוכח כי פונקציה המקסימום המוגדרת על-ידי
:<math>\max(f,g)(x):=\max\Big\{f(x),g(x)\Big\}</math>
רציפה.
''';הוכחה.'''
קל להוכיח כי פונקצית הערך המוחלט הנה פונקציה רציפה. עוד קל לראות כי
:<math>\max(f,g)=\fracdfrac{f+g}{2}+\fracdfrac{|f-g|}{2}</math>
אכן, בנקודה בה <math>f(x)>g(x)</math> מקבלים <math>\max(f,g)(x)=f(x)</math> , ולהפך.
פונקציה אינה רציפה בנקודה <math>x_0</math> אם"ם אחד לפחות מבין התנאים הבאים מתקיים:
#הגבול של הפונקציה ב- בנקודה <math>x_0</math> אינו קיים במובן הצר
#הפונקציה אינה מוגדרת בנקודה <math>x_0</math>
#הגבול קיים במובן הצר, הפונקציה מוגדרת, אך ערך הפונקציה שונה מהגבול בנקודה <math>x_0</math>
===אי-רציפות סליקה===
אומרים כי ל-<math>f </math> קיימת '''נקודת אי-רציפות סליקה''' בנקודה <math>x_0</math> אם היא אינה רציפה בנקודה אך הגבול שלה בנקודה קיים במובן הצר.
במקרה זה ניתן '''לתקן''' את הפונקציה בנקודה על-מנת לקבל פונקציה רציפה בנקודה. נגיד <math>g</math> על-ידי:
:<math>g(x):=\begin{cases}f(x)</math> כאשר <math>&:x\ne x_0</math>:<math>g(x_0):=\lim_\\lim\limits_{x\to x_0}f(x)&:x=x_0\end{cases}</math>
קל להוכיח כי <math>g</math> רציפה בנקודה <math>x_0</math>.
===אי-רציפות ממין ראשון===
אומרים כי ל- <math>f</math> קיימת '''נקודת אי-רציפות ממין ראשון''' בנקודה <math>x_0</math> אם הגבולות החד-צדדיים שלה בנקודה '''קיימים במובן הצר ושונים'''.
במקרה זה ניתן לחלק את הפונקציה לשתי פונקציה שאחת רציפה מימין בנקודה והשניה רציפה משמאל בנקודה.
כל נקודת אי-רציפות אחרת מסווגת כ'''אי-רציפות ממין שני'''. זה עשוי לקרות אם הפונקציה אינה חסומה באף סביבה של הנקודה, או פשוט כאשר לא קיים אחד הגבולות הצדדים.
לדוגמא: <math>\sin\left(\tfrac{1}{x}tfrac1x\right)</math> באפסב-0.
==תרגילים==
;<font size=4 color=#a7adcd>'''תרגיל.''' </font>
תהי <math>f</math> פונקציה רציפה. מצא וסווג את נקודות אי-הרציפות של
:<math>g(x):=\frac{f(x)}{|f(x)|}</math>
''';פתרון.'''כיון שזו חלוקה של פונקציות רציפות (ההרכבה של הערך המוחלט על פונקציה רציפה גם נותנת פונקציה רציפה), אזי <math>g</math> רציפה בכל נקודה בה <math>f</math> שונה מאפס. עוד נשים לב, שכאשר <math>f(x)>0</math> אזי <math>g(x)=1</math> , כאשר <math>f(x)<0</math> אזי <math>g(x)=-1\ne0</math> .
עוד נשים לב כי <math>g(x)=\begin{cases}1&:f(x)>0\\-1&:f(x)<0\end{cases}</math> .
בנקודה בה <math>f=0</math> שווה לאפס:
*אם בסביבה מנוקבת כלשהי של הנקודה הפונקציה <math>f>0</math> , זוהי נקודת אי-רציפות סליקה (שכן הגבול בה הוא אחד).
*אם בסביבה מנוקבת כלשהי של הנקודה הפונקציה <math>f<0</math> , זוהי נקודת אי-רציפות סליקה.
*אם קיימת סביבה ימנית בה הפונקציה <math>f>0</math> , וקיימת סביבה שמאלית בה הפונקציה <math>f<0</math> (ולהפך) זוהי נקודת אי-רציפות ממין ראשון (גבול חד-צדדי שווה <math>1</math> , והשני <math>1-1</math> ).*כל מצב אחר (באחד הצדדים לפחות, בכל סביבה, יש אינסוף אפסים או אינסוף שינויי סימן), זוהי נקודת אי רציפות מהמין השני שכן אין גבול ל-<math>g </math> בנקודה.
''';דוגמא.'''לפונקציה <math>\fracdfrac{\sin(x)}{|\sin(x)|}</math> יש נקודות אי-רציפות ממין ראשון בכל כפולה שלימה שלמה של פאי<math>\pi</math> .
<font size=4 color=#a7adcd>'''תרגיל.''' </font><math>f(x)=e^{-\frac{1}frac1{\sin(x^2)}}</math>
''';פתרון.'''כיון שזו הרכבה, של חלוקה, של הרכבה, של פונקציות רציפות, הפונקציה רציפה כאשר כל הפונקציות מוגדרות ומכנה החלוקה שונה מאפסמ-0. על כן נקודות אי-הרציפות הן מהצורה:
<math>\pm\sqrt{\pi k}</math>
נחלק את נקודות אי-הרציפות לשניים: <math>k=0</math> וכל השאר.
כאשר <math>k=0</math> , מתקיים כי <math>\lim\limits_{x\to 0to0}\frac{1}dfrac1{\sin(x^2)}=\infty</math> כיון שהסינוס '''תמיד חיובי''' באיזור באזור זה (הרי <math>x^2>0</math> גדול ממש מאפס). ולכן סה"כ::<math>\lim_lim\limits_{x\to 0to0}e^{-\frac{1}frac1{\sin(x^2)}}=0</math>
ולכן '''אפס''' היא נקודת אי-רציפות '''סליקה'''.
בשאר הנקודות, הסינוס חיובי מצד אחד, ושלילי מהצד השני ולכן בצד אחד הפונקציה אינה חסומה, והן נקודות אי-רציפות מ'''מין שני'''.
226
עריכות