רציפות: הבדלים בין גרסאות בדף

מתוך Math-Wiki
אין תקציר עריכה
 
(2 גרסאות ביניים של 2 משתמשים אינן מוצגות)
שורה 4: שורה 4:
<videoflash>OvCi6W1BOh8</videoflash>
<videoflash>OvCi6W1BOh8</videoflash>


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


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


'''שימו לב''' כי הגדרת הרציפות הינה נקודתית. נהוג לומר על פונקציה שהיא רציפה בקטע אם היא רציפה בכל נקודה בקטע.
;משפט
תהיינה <math>f,g</math> פונקציות רציפות. אזי פונקצית המנה <math>\dfrac{f}{g}</math> רציפה בדיוק בנקודות בהן <math>g\ne0</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</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>


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


'''הוכחה.'''
;הוכחה
קל להוכיח כי פונקצית הערך המוחלט הינה פונקציה רציפה. עוד קל לראות כי  
קל להוכיח כי פונקצית הערך המוחלט הנה פונקציה רציפה. עוד קל לראות כי
 
:<math>\max(f,g)=\dfrac{f+g}{2}+\dfrac{|f-g|}{2}</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>f(x)>g(x)</math> מקבלים <math>max(f,g)(x)=f(x)</math>, ולהפך.


אם כך, פונקצית המקסימום הנה סכום, כפל בקבוע, ו'''הרכבה''' של פונקציות רציפות ולכן רציפה.


אם כך, פונקצית המקסימום הינה סכום, כפל בקבוע, ו'''הרכבה''' של פונקציות רציפות ולכן רציפה.
==אי-רציפות==
<videoflash>UmJuPo5QnaU</videoflash>


==אי רציפות==
פונקציה אינה רציפה בנקודה <math>x_0</math> אם"ם אחד לפחות מבין התנאים הבאים מתקיים:
פונקציה אינה רציפה בנקודה <math>x_0</math> אם"ם אחד לפחות מבין התנאים הבאים מתקיים:
#הגבול של הפונקציה ב-<math>x_0</math> אינו קיים במובן הצר
#הגבול של הפונקציה בנקודה <math>x_0</math> אינו קיים במובן הצר
#הפונקציה אינה מוגדרת בנקודה <math>x_0</math>
#הפונקציה אינה מוגדרת בנקודה <math>x_0</math>
#הגבול קיים במובן הצר, הפונקציה מוגדרת, אך ערך הפונקציה שונה מהגבול בנקודה <math>x_0</math>
#הגבול קיים במובן הצר, הפונקציה מוגדרת, אך ערך הפונקציה שונה מהגבול בנקודה <math>x_0</math>


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


אנו מחלקים את נקודות אי הרציפות לשלושה מקרים:
===אי-רציפות סליקה===
 
אומרים כי ל-<math>f</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>
במקרה זה ניתן '''לתקן''' את הפונקציה בנקודה על-מנת לקבל פונקציה רציפה בנקודה. נגיד <math>g</math> על-ידי:


:<math>g(x)=\begin{cases}f(x)&:x\ne x_0\\\lim\limits_{x\to x_0}f(x)&:x=x_0\end{cases}</math>




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


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


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


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


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


==תרגילים==
==תרגילים==
<font size=4 color=#a7adcd>
;<font size=4 color=#a7adcd>תרגיל</font>
'''תרגיל.'''
תהי <math>f</math> פונקציה רציפה. מצא וסווג את נקודות אי-הרציפות של
</font>
:<math>g(x):=\frac{f(x)}{|f(x)|}</math>
תהי 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>.
;פתרון
כיון שזו חלוקה של פונקציות רציפות (ההרכבה של הערך המוחלט על פונקציה רציפה גם נותנת פונקציה רציפה), אזי <math>g</math> רציפה בכל נקודה בה <math>f\ne0</math> .


עוד נשים לב כי <math>g(x)=\begin{cases}1&:f(x)>0\\-1&:f(x)<0\end{cases}</math> .


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


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


'''דוגמא.'''
<font size=4 color=#a7adcd>תרגיל</font>
לפונקציה <math>\frac{sin(x)}{|sin(x)|}</math> יש נקודות אי רציפות ממין ראשון בכל כפולה שלימה של פאי.
<math>f(x)=e^{-\frac1{\sin(x^2)}}</math>


 
;פתרון
<font size=4 color=#a7adcd>
כיון שזו הרכבה, של חלוקה, של הרכבה, של פונקציות רציפות, הפונקציה רציפה כאשר כל הפונקציות מוגדרות ומכנה החלוקה שונה מ-0. על כן נקודות אי-הרציפות הן מהצורה:
'''תרגיל.'''
</font>
<math>f(x)=e^{-\frac{1}{sin(x^2)}}</math>
 
 
'''פתרון.'''
 
כיוון שזו הרכבה, של חלוקה, של הרכבה, של פונקציות רציפות, הפונקציה רציפה כאשר כל הפונקציות מוגדרות ומכנה החלוקה שונה מאפס. על כן נקודות אי הרציפות הן מהצורה:


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


נחלק את נקודות אי הרציפות לשניים: <math>k=0</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>
 
ולכן '''אפס''' היא נקודת אי רציפות '''סליקה'''.


כאשר <math>k=0</math> , מתקיים כי <math>\lim\limits_{x\to0}\dfrac1{\sin(x^2)}=\infty</math> כיון שהסינוס '''תמיד חיובי''' באזור זה (הרי <math>x^2>0</math>). ולכן סה"כ:
:<math>\lim\limits_{x\to0}e^{-\frac1{\sin(x^2)}}=0</math>
ולכן '''אפס''' היא נקודת אי-רציפות '''סליקה'''.


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

גרסה אחרונה מ־19:31, 19 ביוני 2017

חזרה לפונקציות

רציפות

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

הגדרה

תהי [math]\displaystyle{ f }[/math] פונקציה. אומרים כי [math]\displaystyle{ f }[/math] רציפה בנקודה [math]\displaystyle{ a }[/math] אם ערכה בנקודה שווה לגבול שלה בנקודה

[math]\displaystyle{ \lim\limits_{x\to a}f(x)=f(a) }[/math]

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

משפט

תהיינה [math]\displaystyle{ f,g }[/math] פונקציות רציפות. אזי פונקצית המנה [math]\displaystyle{ \dfrac{f}{g} }[/math] רציפה בדיוק בנקודות בהן [math]\displaystyle{ g\ne0 }[/math] .


משפט (הרכבה של רציפות)

תהי [math]\displaystyle{ g }[/math] פונקציה רציפה בנקודה [math]\displaystyle{ L }[/math] . תהי [math]\displaystyle{ f }[/math] פונקציה המקיימת [math]\displaystyle{ \lim\limits_{x\to x_0}f(x)=L }[/math] אזי

[math]\displaystyle{ g(f(x)) }[/math] רציפה בנקודה [math]\displaystyle{ x_0 }[/math]
דוגמא

תהיינה [math]\displaystyle{ f,g }[/math] פונקציות רציפות. הוכח כי פונקציה המקסימום המוגדרת על-ידי

[math]\displaystyle{ \max(f,g)(x):=\max\Big\{f(x),g(x)\Big\} }[/math]

רציפה.

הוכחה

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

[math]\displaystyle{ \max(f,g)=\dfrac{f+g}{2}+\dfrac{|f-g|}{2} }[/math]

אכן, בנקודה בה [math]\displaystyle{ f(x)\gt g(x) }[/math] מקבלים [math]\displaystyle{ \max(f,g)(x)=f(x) }[/math] , ולהפך.

אם כך, פונקצית המקסימום הנה סכום, כפל בקבוע, והרכבה של פונקציות רציפות ולכן רציפה.

אי-רציפות

פונקציה אינה רציפה בנקודה [math]\displaystyle{ x_0 }[/math] אם"ם אחד לפחות מבין התנאים הבאים מתקיים:

  1. הגבול של הפונקציה בנקודה [math]\displaystyle{ x_0 }[/math] אינו קיים במובן הצר
  2. הפונקציה אינה מוגדרת בנקודה [math]\displaystyle{ x_0 }[/math]
  3. הגבול קיים במובן הצר, הפונקציה מוגדרת, אך ערך הפונקציה שונה מהגבול בנקודה [math]\displaystyle{ x_0 }[/math]

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

אי-רציפות סליקה

אומרים כי ל-[math]\displaystyle{ f }[/math] קיימת נקודת אי-רציפות סליקה בנקודה [math]\displaystyle{ x_0 }[/math] אם היא אינה רציפה בנקודה אך הגבול שלה בנקודה קיים במובן הצר.

במקרה זה ניתן לתקן את הפונקציה בנקודה על-מנת לקבל פונקציה רציפה בנקודה. נגיד [math]\displaystyle{ g }[/math] על-ידי:

[math]\displaystyle{ g(x)=\begin{cases}f(x)&:x\ne x_0\\\lim\limits_{x\to x_0}f(x)&:x=x_0\end{cases} }[/math]


קל להוכיח כי [math]\displaystyle{ g }[/math] רציפה בנקודה [math]\displaystyle{ x_0 }[/math] .

אי-רציפות ממין ראשון

אומרים כי ל-[math]\displaystyle{ f }[/math] קיימת נקודת אי-רציפות ממין ראשון בנקודה [math]\displaystyle{ x_0 }[/math] אם הגבולות החד-צדדיים שלה בנקודה קיימים במובן הצר ושונים.

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

אי-רציפות ממין שני

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

לדוגמא: [math]\displaystyle{ \sin\left(\tfrac1x\right) }[/math] ב-0.

תרגילים

תרגיל

תהי [math]\displaystyle{ f }[/math] פונקציה רציפה. מצא וסווג את נקודות אי-הרציפות של

[math]\displaystyle{ g(x):=\frac{f(x)}{|f(x)|} }[/math]
פתרון

כיון שזו חלוקה של פונקציות רציפות (ההרכבה של הערך המוחלט על פונקציה רציפה גם נותנת פונקציה רציפה), אזי [math]\displaystyle{ g }[/math] רציפה בכל נקודה בה [math]\displaystyle{ f\ne0 }[/math] .

עוד נשים לב כי [math]\displaystyle{ g(x)=\begin{cases}1&:f(x)\gt 0\\-1&:f(x)\lt 0\end{cases} }[/math] .

בנקודה בה [math]\displaystyle{ f=0 }[/math] :

  • אם בסביבה מנוקבת כלשהי של הנקודה הפונקציה [math]\displaystyle{ f\gt 0 }[/math] , זוהי נקודת אי-רציפות סליקה (שכן הגבול בה הוא אחד).
  • אם בסביבה מנוקבת כלשהי של הנקודה הפונקציה [math]\displaystyle{ f\lt 0 }[/math] , זוהי נקודת אי-רציפות סליקה.
  • אם קיימת סביבה ימנית בה הפונקציה [math]\displaystyle{ f\gt 0 }[/math] , וקיימת סביבה שמאלית בה הפונקציה [math]\displaystyle{ f\lt 0 }[/math] (ולהפך) זוהי נקודת אי-רציפות ממין ראשון (גבול חד-צדדי שווה 1, והשני 1-).
  • כל מצב אחר (באחד הצדדים לפחות, בכל סביבה, יש אינסוף אפסים או אינסוף שינויי סימן), זוהי נקודת אי רציפות מהמין השני שכן אין גבול ל-[math]\displaystyle{ g }[/math] בנקודה.
דוגמא

לפונקציה [math]\displaystyle{ \dfrac{\sin(x)}{|\sin(x)|} }[/math] יש נקודות אי-רציפות ממין ראשון בכל כפולה שלמה של [math]\displaystyle{ \pi }[/math] .

תרגיל [math]\displaystyle{ f(x)=e^{-\frac1{\sin(x^2)}} }[/math]

פתרון

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

[math]\displaystyle{ \pm\sqrt{\pi k} }[/math]

נחלק את נקודות אי-הרציפות לשניים: [math]\displaystyle{ k=0 }[/math] וכל השאר.

כאשר [math]\displaystyle{ k=0 }[/math] , מתקיים כי [math]\displaystyle{ \lim\limits_{x\to0}\dfrac1{\sin(x^2)}=\infty }[/math] כיון שהסינוס תמיד חיובי באזור זה (הרי [math]\displaystyle{ x^2\gt 0 }[/math]). ולכן סה"כ:

[math]\displaystyle{ \lim\limits_{x\to0}e^{-\frac1{\sin(x^2)}}=0 }[/math]

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

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