הבדלים בין גרסאות בדף "88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/פונקציות/רציפות במ"ש"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(←‏משפט קנטור)
(←‏משפט)
שורה 82: שורה 82:
 
אם ניקח מרחק שקטן או שווה למינימום שבין דלתא לבין אחד, יתקיים שאם <math>|x_1-x_2|<\delta</math> אזי שתי הנקודות נמצאות בקטע <math>[M,\infty)</math> או בקטע <math>[a,M+1]</math> ולכן ההפרש בין התמונות שלהן תחת f הוא קטן מאפסילון כפי שרצינו.
 
אם ניקח מרחק שקטן או שווה למינימום שבין דלתא לבין אחד, יתקיים שאם <math>|x_1-x_2|<\delta</math> אזי שתי הנקודות נמצאות בקטע <math>[M,\infty)</math> או בקטע <math>[a,M+1]</math> ולכן ההפרש בין התמונות שלהן תחת f הוא קטן מאפסילון כפי שרצינו.
  
−
===משפט===
+
===מסקנה - תנאי מספיק (אבל לא הכרחי) לרציפות במ"ש===
 
תהי f פונקציה רציפה על קטע לאו דווקא סופי, אזי אם הגבולות של הפונקציה בקצות הקטע קיימים וסופיים, הפונקציה רציפה במ"ש בקטע (ההפך אינו נכון בהכרח, שכן ראינו את הפונקציה <math>f(x)=x</math> שאין לה גבול באינסוף, אך היא רציפה במ"ש על כל ציר הממשיים.)
 
תהי f פונקציה רציפה על קטע לאו דווקא סופי, אזי אם הגבולות של הפונקציה בקצות הקטע קיימים וסופיים, הפונקציה רציפה במ"ש בקטע (ההפך אינו נכון בהכרח, שכן ראינו את הפונקציה <math>f(x)=x</math> שאין לה גבול באינסוף, אך היא רציפה במ"ש על כל ציר הממשיים.)
  
−
'''הוכחה.'''
 
  
−
נחלק את ההוכחה לשנים- כאשר קצה הקטע הוא סופי, וכאשר הוא אינסופי. ההוכחות לימין ולשמאל דומות, לכן נוכיח ב.ה.כ לקצה הקטע הימני.
+
===משפט===
 +
פונקציה גזירה שנגזרתה חסומה בקטע, רציפה שם במ"ש

גרסה מ־10:52, 10 בינואר 2012

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

רציפות במידה שווה

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

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


הגדרה. פונקציה f נקראת רציפה במידה שווה (רציפה במ"ש) בקטע A אם:

  • לכל \epsilon >0 קיים \delta>0 כך שלכל זוג נקודות x_1,x_2\in A המקיימות |x_1-x_2|<\delta מתקיים |f(x_1)-f(x_2)|<\epsilon


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

הערה: ברור שאם פונקציה רציפה במ"ש על קטע A, היא גם רציפה במ"ש על כל קטע המוכל ב-A.

דוגמאות.

נבחן את הפונקציה f(x)=x, ונוכיח כי היא רציפה במ"ש על כל ציר הממשיים.

אכן, לכל אפסילון ניקח דלתא שווה לאפסילון ונקבל כי |f(x_1)-f(x_2)|=|x_1-x_2|<\delta=\epsilon


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


ראשית, נביט ב f(x)=x^2 על הקטע הסופי (a,b). יהי אפסילון גדול מאפס, אזי:

|f(x_1)-f(x_2)|=|x_1^2-x_2^2|=|(x_1-x_2)(x_1+x_2)|\leq |x_1-x_2|\cdot 2max(|a|,|b|)

כעת, אם ניקח \delta = \frac{\epsilon}{2max(|a|,|b|)} נקבל את הדרוש.


עכשיו, נבחן את אותה הפונקציה f(x)=x^2 על כל הממשיים, ונוכיח כי היא אינה רציפה שם במ"ש.

ניקח \epsilon=1. צריך להוכיח כי לכל \delta>0 קיים זוג מספרים ממשיים המקיימים |x_1-x_2|<\delta וגם |f(x_1)-f(x_2)|\geq 1.


ניקח x_2=x_1+\frac{\delta}{2} ונראה כי אם נבחר את x_1 להיות גדול מספיק, נקבל את הדרוש. ברור כי |x_1-x_2|=\frac{\delta}{2}<\delta


|f(x_1)-f(x_2)|=|x_1^2-x_2^2|=|(x_1-x_2)(x_1+x_2)|=\frac{\delta}{2}|2x_1+\frac{\delta}{2}|

ברור שאם נגדיל את x_1 מספיק נקבל את הדרוש.


מבחנים לבדיקה האם פונקציה רציפה במ"ש

משפט

פונקציה הרציפה במ"ש על קטע רציפה שם.

משפט קנטור

פונקציה רציפה על קטע סגור וסופי רציפה שם במ"ש

הוכחה

משפט

תהי f רציפה על קטע חצי אינסופי מהצורה [a,\infty), כך שהגבול

\lim_{x\rightarrow\infty}f(x)=L

קיים וסופי, אזי f רציפה במ"ש על הקטע [a,\infty).


הוכחה.

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

לפי הנתון, קיים M כך שלכל x>M מתקיים |f(x)-L|<\frac{\epsilon}{2}.

לכן לכל x_1,x_2>M מתקיים |f(x_1)-f(x_2)|<\epsilon (בעזרת אי שיוויון המשולש).

כעת, לפי משפט קנטור f רציפה במ"ש בקטע [a,M+1], ולכן קיים דלתא כך שלכל זוג נקודות a\leq x_1,x_2\leq M+1 הקרובות עד כדי דלתא, מתקיים |f(x_1)-f(x_2)|<\epsilon.


אם ניקח מרחק שקטן או שווה למינימום שבין דלתא לבין אחד, יתקיים שאם |x_1-x_2|<\delta אזי שתי הנקודות נמצאות בקטע [M,\infty) או בקטע [a,M+1] ולכן ההפרש בין התמונות שלהן תחת f הוא קטן מאפסילון כפי שרצינו.

מסקנה - תנאי מספיק (אבל לא הכרחי) לרציפות במ"ש

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


משפט

פונקציה גזירה שנגזרתה חסומה בקטע, רציפה שם במ"ש

מקור: https://math-wiki.com/index.php?title=88-132_אינפי_1_סמסטר_א%27_תשעב/מערך_תרגול/פונקציות/רציפות_במ%22ש&oldid=18267