הצגת המקור של הדף "רציפות"

[[88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/פונקציות|חזרה לפונקציות]]

==רציפות==
אנו מעוניינים להגדיר את המושג האינטואיטיבי של רציפות. כיוון שיש לנו את מושג הגבול (הגובה אליו הפונקציה שואפת בנקודה מסוימת), נרצה באופן טבעי כי ערך הפונקציה יהיה שווה לגבול שלה בנקודה.
<font size=4 color=#3c498e>
'''הגדרה.''' 
</font>
תהי f פונקציה. אומרים כי f '''רציפה בנקודה a''' אם ערכה בנקודה שווה לגבול שלה בנקודה
::<math>\lim_{x\rightarrow a}f(x)=f(a)</math>


'''שימו לב''' כי הגדרת הרציפות הינה נקודתית. נהוג לומר על פונקציה שהיא רציפה בקטע אם היא רציפה בכל נקודה בקטע.

'''משפט.''' תהיינה f,g פונקציות רציפות. אזי פונקצית המנה <math>\frac{f}{g}</math> רציפה בדיוק בנקודות בהן <math>g\neq 0</math>

'''משפט (הרכבה של רציפות).''' תהי g פונקציה רציפה בנקודה L. תהי f פונקציה המקיימת <math>\lim_{x\rightarrow x_0}f(x)=L</math> אזי

::<math>g(f(x))</math> רציפה בנקודה <math>x_0</math>

<font size=4 color=#a7adcd>
'''דוגמא.''' 
</font>
תהיינה f,g פונקציות רציפות. הוכח כי פונקציה המקסימום המוגדרת על ידי
::<math>max(f,g)(x):=max\{f(x),g(x)\}</math>
רציפה.

'''הוכחה.'''
קל להוכיח כי פונקצית הערך המוחלט הינה פונקציה רציפה. עוד קל לראות כי 

::<math>max(f,g)=\frac{f+g}{2}+\frac{|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>


אנו מחלקים את נקודות אי הרציפות לשלושה מקרים:

===אי רציפות סליקה===
אומרים כי ל-f קיימת '''נקודת אי רציפות סליקה''' בנקודה <math>x_0</math> אם היא אינה רציפה בנקודה אך הגבול שלה בנקודה קיים במובן הצר. 

במקרה זה ניתן '''לתקן''' את הפונקציה בנקודה על מנת לקבל פונקציה רציפה בנקודה. נגיד g על ידי:

::<math>g(x):=f(x)</math> כאשר <math>x\neq x_0</math>

::<math>g(x_0):=\lim_{x\rightarrow x_0}f(x)</math>



קל להוכיח כי g רציפה בנקודה <math>x_0</math>

===אי רציפות ממין ראשון===
אומרים כי ל-f קיימת '''נקודת אי רציפות ממין ראשון''' בנקודה <math>x_0</math> אם הגבולות החד צדדיים שלה בנקודה '''קיימים במובן הצר ושונים'''. 

במקרה זה ניתן לחלק את הפונקציה לשתי פונקציה שאחת רציפה מימין בנקודה והשנייה רציפה משמאל בנקודה.

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

לדוגמא: <math>sin(\frac{1}{x})</math> באפס.

==תרגילים==
<font size=4 color=#a7adcd>
'''תרגיל.''' 
</font>
תהי f פונקציה רציפה. מצא וסווג את נקודות אי הרציפות של
::<math>g(x):=\frac{f(x)}{|f(x)|}</math>

'''פתרון.'''
כיוון שזו חלוקה של פונקציות רציפות (ההרכבה של הערך המוחלט על פונקציה רציפה גם נותנת פונקציה רציפה), אזי g רציפה בכל נקודה בה f שונה מאפס.

עוד נשים לב, שכאשר <math>f(x)>0</math> אזי <math>g(x)=1</math>, כאשר <math>f(x)<0</math> אזי <math>g(x)=-1</math>.


בנקודה בה f שווה לאפס:
*אם בסביבה מנוקבת כלשהי של הנקודה הפונקציה f גדולה ממש מאפס, זוהי נקודת אי רציפות סליקה (שכן הגבול בה הוא אחד).
*אם בסביבה מנוקבת כלשהי של הנקודה הפונקציה f קטנה ממש מאפס, זוהי נקודת אי רציפות סליקה.
*אם קיימת סביבה ימנית בה הפונקציה f גדולה מאפס, וקיימת סביבה שמאלית בה הפונקציה f קטנה מאפס (ולהפך) זוהי נקודת אי רציפות ממין ראשון (גבול חד צדדי שווה אחד, והשני מינוס אחד). 
*כל מצב אחר (באחד הצדדים לפחות, בכל סביבה, יש אינסוף אפסים או אינסוף שינויי סימן), זוהי נקודת אי רציפות מהמין השני שכן אין גבול ל-g בנקודה.


'''דוגמא.'''
לפונקציה <math>\frac{sin(x)}{|sin(x)|}</math> יש נקודות אי רציפות ממין ראשון בכל כפולה שלימה של פאי.


<font size=4 color=#a7adcd>
'''תרגיל.''' 
</font>
<math>f(x)=e^{-\frac{1}{sin(x^2)}}</math>


'''פתרון.'''

כיוון שזו הרכבה, של חלוקה, של הרכבה, של פונקציות רציפות, הפונקציה רציפה כאשר כל הפונקציות מוגדרות ומכנה החלוקה שונה מאפס. על כן נקודות אי הרציפות הן מהצורה:

<math>\pm\sqrt{\pi k}</math>

נחלק את נקודות אי הרציפות לשניים: <math>k=0</math> וכל השאר.

כאשר <math>k=0</math>, מתקיים כי <math>\lim_{x\rightarrow 0} \frac{1}{sin (x^2)}=\infty</math> כיוון שהסינוס '''תמיד חיובי''' באיזור זה (הרי <math>x^2</math> גדול ממש מאפס). ולכן סה"כ:


::<math>\lim_{x\rightarrow 0} e^{-\frac{1}{sin(x^2)}}=0</math>

ולכן '''אפס''' היא נקודת אי רציפות '''סליקה'''.


בשאר הנקודות, הסינוס חיובי מצד אחד, ושלילי מהצד השני ולכן בצד אחד הפונקציה אינה חסומה, והן נקודות אי רציפות מ'''מין שני'''