הבדלים בין גרסאות בדף "אינפי 1 לתיכוניסטים תש"ע - ארכיון 2"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
 
שורה 12: שורה 12:
  
 
===תשובה===
 
===תשובה===
<math>\lim_{x\rightarrow \frac{\pi}{2} +\pi k}tgx - x= \lim_{x\rightarrow \frac{\pi}{2} +\pi k}\frac{sinx}{cosx} - x = \pm \infty</math>
+
<math>\lim\limits_{x\to\frac{\pi}{2}+\pi k}\Big[\tan(x)-x\Big]=\lim\limits_{x\to\frac{\pi}{2}+\pi k}\left[\frac{\sin(x)}{\cos(x)}-x\right]=\pm\infty</math>
  
ולכן לפי משפט ערך הביניים כל ערך ממשי מתקבל בין השאיפה לאינסוף ומינוס אינסוף, וזה קורה אינסוף פעמים (לכל k). בפרט, 0 מתקבל אינסוף פעמים, ולכן <math>tgx=x</math> אינסוף פעמים.
+
ולכן לפי משפט ערך הביניים כל ערך ממשי מתקבל בין השאיפה לאינסוף ומינוס אינסוף, וזה קורה אינסוף פעמים (לכל k). בפרט, 0 מתקבל אינסוף פעמים, ולכן <math>\tan(x)=x</math> אינסוף פעמים.
  
 
==שאלה==
 
==שאלה==
שורה 20: שורה 20:
  
 
===תשובה===
 
===תשובה===
רציפה או לא? קח את x על הרציונליים, ו2x על האי רציונליים, חח"ע ועל ואינה מונוטונית.  
+
רציפה או לא? קח את <math>x</math> על הרציונאלים, ו- <math>2x</math> על האי-רציונאלים, חח"ע ועל ואינה מונוטונית.  
  
 
אם היא רציפה, היא חייבת להיות מונוטונית לפי משפט ערך הביניים (תרגיל) ואפילו לא צריך את העל.
 
אם היא רציפה, היא חייבת להיות מונוטונית לפי משפט ערך הביניים (תרגיל) ואפילו לא צריך את העל.
  
 
==שאלה==
 
==שאלה==
נניח שיש לי פונקצייה שמוגדרת בתחום x>a, ובדיוק בנק' x=a יש אי-רציפות בצורה של 'אסימפטוטה' - האם זו אי רציפות מסוג ראשון, או שני?
+
נניח שיש לי פונקציה שמוגדרת בתחום <math>x>a</math> , ובדיוק בנק' <math>x=a</math> יש אי-רציפות בצורה של 'אסימפטוטה' - האם זו אי-רציפות מסוג ראשון, או שני?
  
 
===תשובה===
 
===תשובה===
 
מה זה צורה של אסימפטוטה. ההגדרה מאד מאד פשוטה:
 
מה זה צורה של אסימפטוטה. ההגדרה מאד מאד פשוטה:
  
אי רציפות סליקה: קיים גבול סופי בנקודה
+
אי-רציפות סליקה: קיים גבול סופי בנקודה
  
אי רציפות ממין ראשון: קיימים גבולות חד צדדיים סופיים בנקודה
+
אי-רציפות ממין ראשון: קיימים גבולות חד-צדדיים סופיים בנקודה
  
אי רציפות ממין שני: כל מצב אחר
+
אי-רציפות ממין שני: כל מצב אחר
  
  
 
+
הדבר היחיד שאני לא בטוח לגביו, באמת בהקשר השאלה שלך, הוא מה קורה כאשר מדברים על פונקציה בתחום הגדרה מסוים. כלומר, מה היא האי-רציפות של פונקציה  
הדבר היחיד שאני לא בטוח לגביו, באמת בהקשר השאלה שלך, הוא מה קורה כאשר מדברים על פונקציה בתחום הגדרה מסוים. כלומר, מה היא האי רציפות של פונקציה <math>\frac{x}{\sqrt{x}}</math> בנקודה אפס. מצד אחד לפי ההגדרה שרשמתי למעלה זה מין שני כי לא קיים הגבול החד צדדי משמאל. מצד שני, אם נחליף את הנקודה ב0 נקבל פונקציה רציפה ב(אינסוף,0], אז זה נשמע כמו סליקה. אז אני באמת לא בטוח מה ההגדרה במקרה כזה.
+
<math>\frac{x}{\sqrt x}</math> באפס. מצד אחד לפי ההגדרה שרשמתי למעלה זה מין שני כי לא קיים הגבול החד-צדדי משמאל. מצד שני, אם נחליף את הנקודה באפס נקבל פונקציה רציפה ב- <math>[x,\infty)</math> , אז זה נשמע כמו סליקה. אז אני באמת לא בטוח מה ההגדרה במקרה כזה.
  
 
==שאלה==
 
==שאלה==
איך אפשר להוכיח שאם יש לי סדרה : <math>a_n</math> המתכנסת ל-0, אזי : <math>\frac{\sum_{n=1}^{\infty}{a_n}}{n} = 0</math> (כלומר הוכחה לפי הגדרת הגבול) ?
+
איך אפשר להוכיח שאם יש לי סדרה: <math>a_n</math> המתכנסת לאפס, אזי : <math>\frac{1}{n}\sum\limits_{n=1}^\infty a_n=0</math> (כלומר הוכחה לפי הגדרת הגבול)?
  
 
===תשובה===
 
===תשובה===
שורה 47: שורה 47:
  
 
===תשובה===
 
===תשובה===
לא הבנתי איך זה קשור שהטור לא מתכנס...
+
לא הבנתי איך זה קשור שהטור לא מתכנס... בכל מקרה מה שרשמת זה הממוצע החשבוני של <math>a_n</math> , והוכחנו בהרצאה שהממוצע החשבוני של <math>a_n</math> מתכנס לאותו גבול כמו <math>\{a_n\}_{n=1}^\infty</math> לכן אם הגבול של <math>\{a_n\}_{n=1}^\infty</math> הוא אפס זה גם הגבול של הממוצע החשבוני :)
בכל מקרה מה שרשמת זה ההממוצע החשבוני של <math>\ a_n </math>,והוכחנו בהרצאה שהממוצע החשבוני של <math>\ a_n </math> מתכנס לאותו גבול כמו <math>\left\{a_n\right\}_{n=1}^{\infty}</math>  
+
לכן אם הגבול של <math>\left\{a_n\right\}_{n=1}^{\infty}</math> הוא 0 זה גם הגבול של הממוצע החשבוני :)
+
  
  
שורה 55: שורה 53:
 
http://he.wikipedia.org/wiki/%D7%9E%D7%A9%D7%A4%D7%98_%D7%A9%D7%98%D7%95%D7%9C%D7%A5#.D7.A0.D7.99.D7.A1.D7.95.D7.97_.D7.94.D7.9E.D7.A9.D7.A4.D7.98
 
http://he.wikipedia.org/wiki/%D7%9E%D7%A9%D7%A4%D7%98_%D7%A9%D7%98%D7%95%D7%9C%D7%A5#.D7.A0.D7.99.D7.A1.D7.95.D7.97_.D7.94.D7.9E.D7.A9.D7.A4.D7.98
  
הטעות היא שלפי מה שכתבת, זה נראה כאילו דיברת על סכום של הטור האינסופי עד אינסוף (כאיבר אחד) נחלק ל-n (שהוא מה שרץ) ואז כמו שנאמר, זה לא ממש מוגדר. וכמו שאמרו, ההוכחה בעזרת שטולץ היא די פשוטה
+
הטעות היא שלפי מה שכתבת, זה נראה כאילו דיברת על סכום של הטור האינסופי עד אינסוף (כאבר אחד) נחלק ל- <math>n</math> (שהוא מה שרץ) ואז כמו שנאמר, זה לא ממש מוגדר. וכמו שאמרו, ההוכחה בעזרת שטולץ היא די פשוטה
:אפשר גם להוכיח בעזרת סנדוויץ'? לומר שהביטוי גדול שווה מסדרת המינימומים וקטן שווה מסדרת המקסימומים, שהם תתי סדרה של an ולכן הגבול שלהם הוא 0, ולכן גם הביטוי שואף ל0?
+
:אפשר גם להוכיח בעזרת סנדוויץ'? לומר שהביטוי גדול שווה מסדרת המינימומים וקטן שווה מסדרת המקסימומים, שהם תתי-סדרה של <math>a_n</math> ולכן הגבול שלהם הוא אפס, ולכן גם הביטוי שואף לאפס?
  
 
==שאלה==
 
==שאלה==
בתחילת הקורס נאמר שיש חובת הגשה של 80 אחוז. לא הגשתי את התרגילים 7,8 מפני שלא יכלתי להגיע לאוניברסיטה בזמן חופשת הסמסטר. האם אי הגשת שני תרגילים אלה יורד לי ציון?
+
בתחילת הקורס נאמר שיש חובת הגשה של 80 אחוז. לא הגשתי את התרגילים 7,8 מפני שלא יכולתי להגיע לאוניברסיטה בזמן חופשת הסמסטר. האם אי הגשת שני תרגילים אלה יורד לי ציון?
:אפשר להגיש אותם גם ביום ראשון.
+
:אפשר להגיש אותם גם ביום ראשון.
  
 
==שאלה==
 
==שאלה==
תהי סדרה an. אם הגבול של an^2 קיים ושווה למס' ממשי כלשהו, מה זה אומר לי לגבי הגבול של an? הוא לא חייב להיות קיים, נכון? אבל במידה וכן: הוא יכול להיות פלוס מינוס השורש של הגבול הנ"ל, ואלו האפשרויות היחידות, נכון?
+
תהי סדרה <math>\{a_n\}_{n=1}^\infty</math> . אם הגבול של <math>{a_n}^2</math> קיים ושווה למס' ממשי כלשהו, מה זה אומר לי לגבי הגבול של <math>a_n</math> ? הוא לא חייב להיות קיים, נכון? אבל במידה וכן: הוא יכול להיות פלוס מינוס השורש של הגבול הנ"ל, ואלו האפשרויות היחידות, נכון?
  
 
===תשובה===
 
===תשובה===
בדיוק. תמיד התת סדרה המורכבת מהשליליים של an תתכנס למינוס השורש, ותת הסדרה של החיוביים תתכנס לשורש. אם המספר הינו אפס, אז גם an תתכנס בהכרח לאפס.
+
בדיוק. תמיד תת-הסדרה המורכבת מהשליליים של <math>a_n</math> תתכנס למינוס השורש, ותת הסדרה של החיוביים תתכנס לשורש. אם המספר הנו אפס, אז גם <math>a_n</math> תתכנס בהכרח לאפס.
:מגניב. אבל שוב, זה לא דורש שיהיה קיים גבול לan נכון?
+
:מגניב. אבל שוב, זה לא דורש שיהיה קיים גבול ל- <math>a_n</math> נכון?
  
::אם יש סדרות חלקיות שמתכנסות לגבולות שונים ברור שאין גבול. וכמו שאמרתי, אם הגבול המקורי הוא אפס אז כן חייב להיות הגבול אפס גם של an.
+
::אם יש סדרות חלקיות שמתכנסות לגבולות שונים ברור שאין גבול. וכמו שאמרתי, אם הגבול המקורי הוא אפס אז כן חייב להיות הגבול אפס גם של <math>a_n</math> .
  
== שאלה ==
+
==שאלה==
 
מה המשמעות האינטואיטיבית/גאומטרית של רציפות במידה שווה?
 
מה המשמעות האינטואיטיבית/גאומטרית של רציפות במידה שווה?
  
 
===תשובה===
 
===תשובה===
מה היא רציפות? פונקציה הינה רציפה אם הגבול שלה בנקודה הוא הערך שלה בנקודה, כלומר שבכל נקודה היא שואפת לערך שלה בנקודה.
+
מה היא רציפות? פונקציה הנה רציפה אם הגבול שלה בנקודה הוא הערך שלה בנקודה, כלומר שבכל נקודה היא שואפת לערך שלה בנקודה.
  
מידה שווה יכולה לדבר על גבולות באופן כללי. המילה "מידה" מתכוונת למהירות ההתכנסות. כלומר כמה מהר הפונקציה מגיעה לגבול שלה בנקודה. ואיך ניתן למדוד מהירות התכנסות? על ידי כמה קטן הדלתא שנדרש על מנת שהפונקציה תהיה במרחק אפסילון מסויים מהגבול.
+
מידה שווה יכולה לדבר על גבולות באופן כללי. המילה "מידה" מתכוונת למהירות ההתכנסות. כלומר כמה מהר הפונקציה מגיעה לגבול שלה בנקודה. ואיך ניתן למדוד מהירות התכנסות? על-ידי כמה קטן ה- <math>\delta</math> שנדרש על-מנת שהפונקציה תהיה במרחק <math>\epsilon</math> מסוים מהגבול.
  
כעת, המילה "שווה" אומרת שה"מידה" כלומר מהירות ההתכנסות שווה בכל נקודה בקטע בו יש רציפות במידה שווה. כלומר, לכל אפסילון, קיים דלתא, כך שאם ניקח מסדרון באורך דלתא איפשהו על ציר x, הפונקציה לא תצא בתוכו ממסדרון באורך אפסילון בציר y. ובמילים, הפונקציה מתכנסת פחות או יותר באותה מהירות לגבול שלה בכל נקודה בקטע.
+
כעת, המילה "שווה" אומרת שה"מידה" כלומר מהירות ההתכנסות שווה בכל נקודה בקטע בו יש רציפות במידה שווה. כלומר, לכל <math>\epsilon</math> קיים <math>\delta</math> כך שאם ניקח מסדרון באורך דלתא איפשהו על ציר <math>x</math> , הפונקציה לא תצא בתוכו ממסדרון באורך <math>\epsilon</math> בציר <math>y</math> . ובמילים, הפונקציה מתכנסת פחות או יותר באותה מהירות לגבול שלה בכל נקודה בקטע.
  
 
==שאלה==
 
==שאלה==
האם יש דרך למדוד למה מתכנס הטור <math>(-1)^n*1/n</math>?
+
האם יש דרך למדוד למה מתכנס הטור <math>\frac{(-1)^n}{n}</math> ?
  
 
ועוד שאלה לא קשורה: זה ארז שעוזר לנו כאן בכל השאלות או המתרגלים האחרים באינפי?
 
ועוד שאלה לא קשורה: זה ארז שעוזר לנו כאן בכל השאלות או המתרגלים האחרים באינפי?
שורה 93: שורה 91:
  
 
==שאלה - קיום גבול חד-צדדי==
 
==שאלה - קיום גבול חד-צדדי==
איך אפשר להפריך קיומו של גבול חד צדדי? למשל, בפונקצייה sin(1/x) : האם מותר לי לומר שהגבול החד צדדי של 0 מימין שווה ממש לגבול של sin(x) כאשר x שואף לאינסוף, אם קיים?
+
איך אפשר להפריך קיומו של גבול חד-צדדי? למשל, בפונקציה <math>\sin\left(\frac{1}{x}\right)</math> : האם מותר לי לומר שהגבול החד-צדדי של 0 מימין שווה ממש ל- <math>\lim\limits_{x\to\infty}\sin(x)</math> , אם קיים?
  
 
===תשובה===
 
===תשובה===
 
עושים את זה באלגנטיות באמצעות סדרות והגדרת הגבול לפי היינה.
 
עושים את זה באלגנטיות באמצעות סדרות והגדרת הגבול לפי היינה.
  
לוקחים שתי סדרות <math>0\leq x_n,y_n \rightarrow 0</math>. אם היה גבול חד צדדי מימין, לפי היינה <math>f(x_n),f(y_n) \rightarrow L</math> כאשר L הינו הגבול. אבל אנחנו נבנה סדרות כך שאחרי הפעלת הפונקציה עליהן נגיע לגבולות '''שונים''' בסתירה להגדרה הגבול לפי היינה.
+
לוקחים שתי סדרות <math>0\le x_n,y_n\to0</math> . אם היה גבול חד צדדי מימין, לפי היינה <math>f(x_n),f(y_n)\to L</math> כאשר L הנו הגבול. אבל אנחנו נבנה סדרות כך שאחרי הפעלת הפונקציה עליהן נגיע לגבולות '''שונים''' בסתירה להגדרה הגבול לפי היינה.
  
הסדרות במקרה זה הינן
+
הסדרות במקרה זה הנן
  
<math>x_n = \frac{1}{\frac{\pi}{2}+2 \pi n}</math>
+
<math>x_n=\frac{1}{\frac{\pi}{2}+2\pi n}</math>
  
<math>y_n = \frac{1}{-\frac{\pi}{2}+2 \pi n}</math>
+
<math>y_n=\frac{1}{-\frac{\pi}{2}+2\pi n}</math>
  
וכמובן ש <math>\forall n: f(x_n)=1,f(y_n)=-1</math> עבור <math>f=sin(\frac{1}{x})</math>
+
וכמובן ש- <math>\forall n:f(x_n)=1,f(y_n)=-1</math> עבור <math>f=\sin\left(\frac{1}{x}\right)</math>
  
 
==שאלה - רציפות במידה שווה==
 
==שאלה - רציפות במידה שווה==
היום בתרגול עם ראובן הוזכר משפט על רציפות במידה שווה שמעולם לא שמעתי עליו, לא מצאתי אותו בהרצאות או בספר : אם f רציפה, וקיים עבורה גבול סופי כש-x שואף לפלוס\מינוס אינסוף (שניהם קיימים), אזי f רציפה במידה שווה.
+
היום בתרגול עם ראובן הוזכר משפט על רציפות במידה שווה שמעולם לא שמעתי עליו, לא מצאתי אותו בהרצאות או בספר : אם <math>f</math> רציפה, וקיים עבורה גבול סופי <math>\lim\limits_{x\to\pm\infty}f(x)</math> (שניהם קיימים), אזי <math>f</math> רציפה במידה שווה.
 
מאיפה הגיע המשפט הזה? ולמה הוא נכון?
 
מאיפה הגיע המשפט הזה? ולמה הוא נכון?
:תיקון - מצאתי אותו, והוא מנוסח כך : f רבמ"ש בקטע (a,b) <==> הפונק' f רציפה בקטע זה, וקיימים גבולות חד צדיים ל-a ו-b. השאלה שלי היא : הוא גם עובד עבור a או b שהם אינסופיים, נכון? ודבר שני, אם קיים גבול שהוא אינסוף לפונק' כאשר היא שואפת ל-b, למשל (לאחד מהם) - האם זה בהכרח סותר את רבמ"שיות הפונקצייה?
+
:תיקון - מצאתי אותו, והוא מנוסח כך: <math>f</math> רבמ"ש בקטע <math>(a,b)</math> אם ורק אם הפונק' <math>f</math> רציפה בקטע זה, וקיימים גבולות חד-צדדיים ל-a ו-b. השאלה שלי היא: הוא גם עובד עבור a או b שהם אינסופיים, נכון? ודבר שני, אם קיים גבול שהוא אינסוף לפונק' כאשר היא שואפת ל-b, למשל (לאחד מהם) - האם זה בהכרח סותר את רבמ"שיות הפונקצייה?
  
 
===תשובה===
 
===תשובה===
 
+
1. אם פונקציה רציפה ב- <math>(a,b)</math> ואחד מהם או שניהם הוא אינסוף אבל יש לה גבולות בקצות הקטע היא רציפה במ"ש. בצד הסופי, נניח a, זה אומר שניתן להשלים אותה לפונקציה רציפה בקטע <math>[a,b)</math> . בצד האינסופי, אם לפונקציה יש גבול זה אומר שהחל ממקום מסוים <math>M</math> המרחק שלה מהגבול קטן מ- <math>\epsilon</math> , ובפרט המרחק בין כל שני <math>f(x_1),f(x_2)</math> קטן מ- <math>2\epsilon</math> , ללא תלות כלל במרחק בין <math>x_1,x_2</math> . לכן מפרידים את הפונקציה ל- <math>[a,M]</math> שזה קטע סגור וחסום לכן הפונקציה רציפה בו במ"ש ולכן יש <math>\delta</math> לאפסילון ו- <math>[M,\infty)</math> שם ראינו שהמרחק קטן מ- <math>2\epsilon</math> בלי שום קשר ל- <math>\delta</math> , ולכן הפונקציה רציפה באיחוד הקטעים במ"ש. אם שני הצדדים אינסופיים מחלקים את הפונקציה לשלוש וההוכחה דומה.
1. אם פונקציה רציפה ב(a,b) ואחד מהם או שניהם הוא אינסוף אבל יש לה גבולות בקצות הקטע היא רציפה במ"ש. בצד הסופי, נניח a, זה אומר שניתן להשלים אותה לפונקציה רציפה בקטע (a,b]. בצד האינסופי, אם לפונקציה יש גבול זה אומר שהחל ממקום מסוים M המרחק שלה מהגבול קטן מאפסילון, ובפרט המרחק בין כל שני <math>f(x_1),f(x_2)</math> קטן מפעמים אפסילון, ללא תלות כלל במרחק בין <math>x_1,x_2</math>. לכן מפרידים את הפונקציה ל<math>[a,M]</math> שזה קטע סגור וחסום לכן הפונקציה רציפה בו במ"ש ולכן יש דלתא לאפסילון ו<math>[M,\infty)</math> שם ראינו שהמרחק קטן מפעמים אפסילון בלי שום קשר לדלתא, ולכן הפונקציה רציפה באיחוד הקטעים במ"ש. אם שני הצדדים אינסופיים מחלקים את הפונקציה לשלוש וההוכחה דומה.
+
  
  
2. אם בצד הסופי הגבול הינו אינסוף הפונקציה אינה רציפה במ"ש, מכיוון שלפי משפט אם f אינה חסומה בקטע חסום אזי היא אינה רציפה שם במ"ש. אם הגבול הוא אינסוף באינסוף אי אפשר לדעת כי <math>x</math> הינה כזו, והיא רציפה במ"ש, ואילו <math>x^2</math> אינה רציפה במ"ש.
+
2. אם בצד הסופי הגבול הנו אינסוף הפונקציה אינה רציפה במ"ש, מכיון שלפי משפט אם <math>f</math> אינה חסומה בקטע חסום אזי היא אינה רציפה שם במ"ש. אם הגבול הוא אינסוף באינסוף אי אפשר לדעת כי <math>x</math> הינה כזו, והיא רציפה במ"ש, ואילו <math>x^2</math> אינה רציפה במ"ש.
  
 
:תודה רבה, הבהרת לי את העניין בצורה מלאה - עכשיו הצלחתי לטפל בכ"כ הרבה תרגילים שלא הצלחתי קודם, ואיכשהו באותם תרגילים שיוצא ששואף לאינסוף באינסוף - ההוכחה צריכה להיות בצורה פורמלית והיא מסתדרת בקלות!
 
:תודה רבה, הבהרת לי את העניין בצורה מלאה - עכשיו הצלחתי לטפל בכ"כ הרבה תרגילים שלא הצלחתי קודם, ואיכשהו באותם תרגילים שיוצא ששואף לאינסוף באינסוף - ההוכחה צריכה להיות בצורה פורמלית והיא מסתדרת בקלות!
  
  
::בשמחה. שים לב רק לנקודה חשובה (זלצמן מטעה בה בכוונה תמיד) אם הפונקציה אינה רציפה בקטע היא בוודאי אינה רציפה בו במ"ש גם אם הגבולות קיימים בקצוות. למשל <math>sin(1/x)</math> יש לה גבולות בפלוס מינוס אינסוף אבל בוודאי היא אינה רציפה במ"ש כי יש לה אי רציפות ב0. (היא גם לא רציפה במ"ש בקטע (0,אינסוף)
+
::בשמחה. שים לב רק לנקודה חשובה (זלצמן מטעה בה בכוונה תמיד) אם הפונקציה אינה רציפה בקטע היא בוודאי אינה רציפה בו במ"ש גם אם הגבולות קיימים בקצוות. למשל <math>\sin\left(\frac{1}{x}\right)</math> יש לה גבולות בפלוס מינוס אינסוף אבל בוודאי היא אינה רציפה במ"ש כי יש לה אי-רציפות באפס. (היא גם לא רציפה במ"ש בקטע <math>(0,\infty)</math>)
  
 
==שאלות גבוליות על מקרי-קיצון==
 
==שאלות גבוליות על מקרי-קיצון==
*נניח שיש לי פונקצייה, כמו logx. ידוע שהיא מוגדרת רק עבור x>0, אז האם אי-הרציפות ב-x=0 נחשבת לרציפות מסוג שני? (מפני שהגבול השמאלי לא קיים)
+
*נניח שיש לי פונקציה, כמו <math>\log(x)</math> . ידוע שהיא מוגדרת רק עבור <math>x>0</math> , אז האם אי-הרציפות ב- <math>x=0</math> נחשבת לרציפות מסוג שני? (מפני שהגבול השמאלי לא קיים)
*אם יש לי פונקצייה כמו f(x)=\frac{1}{|x|} (כלומר, יש לה 'אסימפטוטה' ב-x=0 ששואפת לפלוס-אינסוף משני הצדדים), האם מדובר באי-רציפות מסוג שני? (הגבול השמאלי והימני לא סופיים, ולכן כביכול לא קיימים?) או שאולי באי-רציפות סליקה (מה שממש לא נראה לי - למרות ששני הגבולות שווים)
+
*אם יש לי פונקציה כמו <math>f(x)=\frac{1}{|x|}</math> (כלומר, יש לה 'אסימפטוטה' ב- <math>x=0</math> ששואפת לפלוס-אינסוף משני הצדדים), האם מדובר באי-רציפות מסוג שני? (הגבול השמאלי והימני לא סופיים, ולכן כביכול לא קיימים?) או שאולי באי-רציפות סליקה (מה שממש לא נראה לי - למרות ששני הגבולות שווים)
 
*אם בשאלה השנייה שלי התשובה הנכונה היא הראשונה, אז האם אפשר להסיק שבכל מקרה בו אומרים "אם קיים הגבול", בלי לומר מילה על 'גבול במובן הרחב', בכל הקשור לפונקציות\גבולות\רציפות\רבמ"ש, מתכוונים לגבול סופי?
 
*אם בשאלה השנייה שלי התשובה הנכונה היא הראשונה, אז האם אפשר להסיק שבכל מקרה בו אומרים "אם קיים הגבול", בלי לומר מילה על 'גבול במובן הרחב', בכל הקשור לפונקציות\גבולות\רציפות\רבמ"ש, מתכוונים לגבול סופי?
  

גרסה אחרונה מ־13:57, 9 בנובמבר 2016

שאלה

אני לא בטוח במשהו: במבחן ד'אלמבר, כתוב במייזלר שהטור מתבדר אם החלוקה גדולה או שווה ל 1. אני זוכר שהמתרגל פעם קיבל שהחלוקה שווה ל 1 אבל אמר שזה לא אומר כלום. אז מה נכון?

תשובה

אני אסביר. אם \forall n:\frac{a_{n+1}}{a_n}\ge1 זה אומר שהסדרה מונוטונית עולה. מכיוון שהיא חיובית, זה אומר שהיא בהכרח לא שואפת לאפס ולכן הטור מתבדר.

לעומת זאת, אם \lim\limits_{n\to\infty}\frac{a_{n+1}}{a_n}=1 לא ניתן לדעת אם הטור מתכנס, משמע יש דוגמאות לשני הכיוונים. הטור ההרמוני \sum\limits_{n=1}^\infty\frac{1}{n} מקיים את התכונה הזו ומתבדר, ואילו הטור \sum\limits_{n=1}^\infty\frac{1}{n^2} מקיים את התכונה הזו ומתכנס (\lim\limits_{n\to\infty}\frac{n^2}{(n+1)^2}=1)

שאלה

איך אני מראה שלמשוואה \tan(x)=x יש אינסוף פתרונות ממשיים?

תשובה

\lim\limits_{x\to\frac{\pi}{2}+\pi k}\Big[\tan(x)-x\Big]=\lim\limits_{x\to\frac{\pi}{2}+\pi k}\left[\frac{\sin(x)}{\cos(x)}-x\right]=\pm\infty

ולכן לפי משפט ערך הביניים כל ערך ממשי מתקבל בין השאיפה לאינסוף ומינוס אינסוף, וזה קורה אינסוף פעמים (לכל k). בפרט, 0 מתקבל אינסוף פעמים, ולכן \tan(x)=x אינסוף פעמים.

שאלה

האם פונ' חח"ע ועל היא מונוטונית?

תשובה

רציפה או לא? קח את x על הרציונאלים, ו- 2x על האי-רציונאלים, חח"ע ועל ואינה מונוטונית.

אם היא רציפה, היא חייבת להיות מונוטונית לפי משפט ערך הביניים (תרגיל) ואפילו לא צריך את העל.

שאלה

נניח שיש לי פונקציה שמוגדרת בתחום x>a , ובדיוק בנק' x=a יש אי-רציפות בצורה של 'אסימפטוטה' - האם זו אי-רציפות מסוג ראשון, או שני?

תשובה

מה זה צורה של אסימפטוטה. ההגדרה מאד מאד פשוטה:

אי-רציפות סליקה: קיים גבול סופי בנקודה

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

אי-רציפות ממין שני: כל מצב אחר


הדבר היחיד שאני לא בטוח לגביו, באמת בהקשר השאלה שלך, הוא מה קורה כאשר מדברים על פונקציה בתחום הגדרה מסוים. כלומר, מה היא האי-רציפות של פונקציה \frac{x}{\sqrt x} באפס. מצד אחד לפי ההגדרה שרשמתי למעלה זה מין שני כי לא קיים הגבול החד-צדדי משמאל. מצד שני, אם נחליף את הנקודה באפס נקבל פונקציה רציפה ב- [x,\infty) , אז זה נשמע כמו סליקה. אז אני באמת לא בטוח מה ההגדרה במקרה כזה.

שאלה

איך אפשר להוכיח שאם יש לי סדרה: a_n המתכנסת לאפס, אזי : \frac{1}{n}\sum\limits_{n=1}^\infty a_n=0 (כלומר הוכחה לפי הגדרת הגבול)?

תשובה

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

תשובה

לא הבנתי איך זה קשור שהטור לא מתכנס... בכל מקרה מה שרשמת זה הממוצע החשבוני של a_n , והוכחנו בהרצאה שהממוצע החשבוני של a_n מתכנס לאותו גבול כמו \{a_n\}_{n=1}^\infty לכן אם הגבול של \{a_n\}_{n=1}^\infty הוא אפס זה גם הגבול של הממוצע החשבוני :)


מוכיחים את המשפט של השוויון בין הגבולות (בצורה כללית) בעזרת משפט שטולץ. http://he.wikipedia.org/wiki/%D7%9E%D7%A9%D7%A4%D7%98_%D7%A9%D7%98%D7%95%D7%9C%D7%A5#.D7.A0.D7.99.D7.A1.D7.95.D7.97_.D7.94.D7.9E.D7.A9.D7.A4.D7.98

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

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

שאלה

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

אפשר להגיש אותם גם ביום ראשון.

שאלה

תהי סדרה \{a_n\}_{n=1}^\infty . אם הגבול של {a_n}^2 קיים ושווה למס' ממשי כלשהו, מה זה אומר לי לגבי הגבול של a_n ? הוא לא חייב להיות קיים, נכון? אבל במידה וכן: הוא יכול להיות פלוס מינוס השורש של הגבול הנ"ל, ואלו האפשרויות היחידות, נכון?

תשובה

בדיוק. תמיד תת-הסדרה המורכבת מהשליליים של a_n תתכנס למינוס השורש, ותת הסדרה של החיוביים תתכנס לשורש. אם המספר הנו אפס, אז גם a_n תתכנס בהכרח לאפס.

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

שאלה

מה המשמעות האינטואיטיבית/גאומטרית של רציפות במידה שווה?

תשובה

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

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

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

שאלה

האם יש דרך למדוד למה מתכנס הטור \frac{(-1)^n}{n} ?

ועוד שאלה לא קשורה: זה ארז שעוזר לנו כאן בכל השאלות או המתרגלים האחרים באינפי?

יש לי דה ז'ה וו שמישהו עונה לי ואומר לי כן אבל לא אומר לי איך, אז בבקשה תגידו גם איך :)

כן. (זה שארז עונה. ואני באמת לא יודע איך הוא עושה את זה D: ). במחשבון אני מקבל שהוא שווה ל-(-0.69),
כן אבל התכוונתי לתשובה ממש עם נוסחאות ומשפטים..

שאלה - קיום גבול חד-צדדי

איך אפשר להפריך קיומו של גבול חד-צדדי? למשל, בפונקציה \sin\left(\frac{1}{x}\right) : האם מותר לי לומר שהגבול החד-צדדי של 0 מימין שווה ממש ל- \lim\limits_{x\to\infty}\sin(x) , אם קיים?

תשובה

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

לוקחים שתי סדרות 0\le x_n,y_n\to0 . אם היה גבול חד צדדי מימין, לפי היינה f(x_n),f(y_n)\to L כאשר L הנו הגבול. אבל אנחנו נבנה סדרות כך שאחרי הפעלת הפונקציה עליהן נגיע לגבולות שונים בסתירה להגדרה הגבול לפי היינה.

הסדרות במקרה זה הנן

x_n=\frac{1}{\frac{\pi}{2}+2\pi n}

y_n=\frac{1}{-\frac{\pi}{2}+2\pi n}

וכמובן ש- \forall n:f(x_n)=1,f(y_n)=-1 עבור f=\sin\left(\frac{1}{x}\right)

שאלה - רציפות במידה שווה

היום בתרגול עם ראובן הוזכר משפט על רציפות במידה שווה שמעולם לא שמעתי עליו, לא מצאתי אותו בהרצאות או בספר : אם f רציפה, וקיים עבורה גבול סופי \lim\limits_{x\to\pm\infty}f(x) (שניהם קיימים), אזי f רציפה במידה שווה. מאיפה הגיע המשפט הזה? ולמה הוא נכון?

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

תשובה

1. אם פונקציה רציפה ב- (a,b) ואחד מהם או שניהם הוא אינסוף אבל יש לה גבולות בקצות הקטע היא רציפה במ"ש. בצד הסופי, נניח a, זה אומר שניתן להשלים אותה לפונקציה רציפה בקטע [a,b) . בצד האינסופי, אם לפונקציה יש גבול זה אומר שהחל ממקום מסוים M המרחק שלה מהגבול קטן מ- \epsilon , ובפרט המרחק בין כל שני f(x_1),f(x_2) קטן מ- 2\epsilon , ללא תלות כלל במרחק בין x_1,x_2 . לכן מפרידים את הפונקציה ל- [a,M] שזה קטע סגור וחסום לכן הפונקציה רציפה בו במ"ש ולכן יש \delta לאפסילון ו- [M,\infty) שם ראינו שהמרחק קטן מ- 2\epsilon בלי שום קשר ל- \delta , ולכן הפונקציה רציפה באיחוד הקטעים במ"ש. אם שני הצדדים אינסופיים מחלקים את הפונקציה לשלוש וההוכחה דומה.


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

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


בשמחה. שים לב רק לנקודה חשובה (זלצמן מטעה בה בכוונה תמיד) אם הפונקציה אינה רציפה בקטע היא בוודאי אינה רציפה בו במ"ש גם אם הגבולות קיימים בקצוות. למשל \sin\left(\frac{1}{x}\right) יש לה גבולות בפלוס מינוס אינסוף אבל בוודאי היא אינה רציפה במ"ש כי יש לה אי-רציפות באפס. (היא גם לא רציפה במ"ש בקטע (0,\infty))

שאלות גבוליות על מקרי-קיצון

  • נניח שיש לי פונקציה, כמו \log(x) . ידוע שהיא מוגדרת רק עבור x>0 , אז האם אי-הרציפות ב- x=0 נחשבת לרציפות מסוג שני? (מפני שהגבול השמאלי לא קיים)
  • אם יש לי פונקציה כמו f(x)=\frac{1}{|x|} (כלומר, יש לה 'אסימפטוטה' ב- x=0 ששואפת לפלוס-אינסוף משני הצדדים), האם מדובר באי-רציפות מסוג שני? (הגבול השמאלי והימני לא סופיים, ולכן כביכול לא קיימים?) או שאולי באי-רציפות סליקה (מה שממש לא נראה לי - למרות ששני הגבולות שווים)
  • אם בשאלה השנייה שלי התשובה הנכונה היא הראשונה, אז האם אפשר להסיק שבכל מקרה בו אומרים "אם קיים הגבול", בלי לומר מילה על 'גבול במובן הרחב', בכל הקשור לפונקציות\גבולות\רציפות\רבמ"ש, מתכוונים לגבול סופי?


תשובה

יש תשובה בדיוק על השאלות האלה בדף הזה.

  • לא יודע
  • הגבולות חייבים להיות קיימים וסופיים.
  • תלוי בהקשר ובניסוח ובכוונת המשורר

הלצה

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

מצחיק מאוד, אהבתי את הביצוע D: !

גבול של פונקצייה

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

  • תהי f(x)=(cos(2x))^{\frac{1}{x^2}} . האם קיים גבול ב-x שואף ל-0, ומהו?
  • ד"א, אם אני רוצה להפריך קיום של גבול, האם אני יכול לעשות זאת לא באמצעות סדרות?
  • נניח שיש לי פונקצייה כמו xsin\frac{1}{x}, שאמנם מבצעת אינסוף מחזורים בסביבת אפס, אבל כולם שואפים ל-0 - ניתן לומר שהגבול הוא 0, נכון? (באופן כללי חייב להיות גבול, כי רציפות בנק' גוררת קיום של גבול בה)


ניתן גם להוכיח באמצעות סדרות, ואני אוכיח מיד:

  • מאיפה השאלה? אחד התלמידים שלי פתר משהו דומה בשיטות פשוטות, אבל אני רואה את השאלה וישר חושב לפתור אותה באמצעות כלל לופיטל (אני לא חושב שלמדתם). לכן השאלה היא אם זה בכלל בחומר שלכם או לא.
  • כן, אפשר לפריך לפי קושי, פשוט זה נראה לי יותר מסובך. למצוא סדרות ששואפות למספרים שונים, או סדרה שואפת לאינסוף הרבה יותר קל.
  • אבל אין רציפות באפס, אז בוודאי זה לא גורר קיום גבול! אבל, הגבול אכן קיים. קח סדרה ששואפת לאפס x_n \rightarrow 0. אזי x_n \cdot sin\frac{1}{x_n} הינה סדרה המורכבת מסדרה השואפת לאפס כפול חסומה! ולפי משפט מסדרות זה אומר שהגבול הינו אפס ללא תלות בסדרה (רק בעזרת העובדה שהיא שואפת לאפס) וזו הוכחה לפי היינה שהגבול הינו אפס.

תת-סדרה של תת סדרה

  • תהי a_n סדרה. הוכח שהיא שואפת לאפס <==> לכל תת סדרה a_{n_k} קיימת תת סדרה a_{n_{k_j}} כך שהטור \sum{a_{n_{k_j}}} מתכנס בהחלט.
  • הוכח או הפרך : הסדרה x_n מתכנסת ל-x_0 <==> לכל תת סדרה x_{n_k} יש תת סדרה x_{n_{k_j}} שמתכנסת ל-x_0.


אני אפילו לא יודע איך לגשת לתרגילים מהסוג הזה - באילו כלים אני צריך להשתמש כאן?


תשובה

נתחיל מהראשון. הכיוון הפשוט יותר הינו שאם לכל תת סדרה יש תת סדרה שעבורה הטור מתכנס, לכן לכל תת סדרה יש תת סדרה ששואפת לאפס (טור מתכנס -> סדרה שואפת לאפס). אבל מזה נובע שכל הגבולות החלקיים הם אפס, אחרת יש גבול חלקי שונה מאפס, יש תת סדרה ששואפת אליו, וכל תת סדרה שלה גם תשאף אליו בסתירה לכך שאחת מהן שואפת לאפס. ומכיוון שכל הגבולות החלקיים הינם אפס, גבול הסדרה הינו בהכרח אפס (limsup=liminf).


בכיוון השני, מספיק להוכיח את המשפט הבא: אם סדרה שואפת לאפס, יש לה תת סדרה שהטור שלה מתכנס (קל לראות לוגית שהמשפט הזה מספיק). ומה הטריק פה? לדלל את הסדרה המקורית... נניח הסדרה המקורית הינה \frac{1}{n} ברור ש\frac{1}{n^2} הינה תת סדרה שלה. האלגוריתם המדויק הוא כזה. ניקח את הסדרה \epsilon_n כך ש 0<\epsilon_n < \frac{1}{n^2}. כעת, לכל \epsilon_n קיים n_{\epsilon_n} כך שהחל ממנו והלאה הסדרה קטנה מ\epsilon_n. ניקח את האיברים המתאימים לאפסילונים לפי הסדר (לכל אפסילון נבחר את האיבר הראשון שקטן ממנו) וקל לראות לפי מבחן ההשוואה שהטור של תת הסדרה הנ"ל יתכנס.


מתוך הדברים שאמרתי, קל להוכיח את התרגיל השני.

שאלה

אני נתקל בבעיה הזו הרבה פעמים: איך אומים שהסדרה לוג איקס חלקי איקס היא מונוטונית יורדת? ואיך אומרים שלוג איקס חלקי איקס שואפת לאפס?? תודה..

עבור סדרות (n טבעי) זה טרוויאלי - אפשר להראות את זה באינדוקציה. באופן כללי, בגלל ש-e^x שואפת לכל גבול מהר יותר מכל פולינום, אז ln(x) שהוא הפעולה ההפוכה שואף לכל גבול לאט יותר מכל פולינום.

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

כמו שכותב התשובה אמר, באינדוקציה. אתה מעלה הכל בחזקת e (ידוע שe מונוטונית, ולכן אם מעלים בחזקת e המונוטוניות נשמרת). נותר להוכיח שe^{\frac{logn}{n} }= \frac{n}{e^n} \rightarrow 0. מוכיחים באינדוקציה ש\frac{n}{e^n} < \frac{1}{n} כלומר \frac{n^2}{e^n}<1 וזו לא אינדוקציה מסובכת מידי... ואז נובעת השאיפה לאפס לפי מבחן הסנדביץ, או כפי שהורוביץ מכנה אותו "כריך פריך"

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

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

שאלה - רציפות במידה שווה

נניח שיש לי פונקצייה כמו arctan(x) (ההופכית ל-tan) - האם היא מוגדרת כאשר x שואף לאינסוף? למשל, בשאלה: האם arctan(e^x) רבמ"ש בתחום (0, אינסוף), רציתי לומר שכן, כי יש לה גבולות סופיים (רבע פאי ב-0, חצי פאי באינסוף), אבל מצד שני tan של חצי פאי לא מוגדר.

(arctan(e^x היא אכן רציפה במ"ש כי היא רציפה על כל R ויש לה גבולות סופיים בקצוות. למי אכפת מה קורה לtan? שכן arctan הינה פונקציה רציפה על כל R לתוך הקבוצה (-\pi/2,\pi/2). השאלה עצמה מוטעית "האם היא מוגדרת כאשר איקס שואף לאינסוף" ההגדרה לשאיפת גבול לאינסוף הינה אחת לפי קושי (או היינה, אבל הן שקולות). קל מאד לראות שכאשר איקס גדול, arctanx מתקרב לחצי פאי. בעזרת זה ניתן להוכיח שהגבול הינו חצי פאי.
(עוד שאלה, לא משואל השאלה הקודמת..)ונניח שיש לי שאלה לגבי רציפות במ"ש עם tan. היא לא תהיה רציפה במ"ש בכל תחום שכולל את פאי חלקי 2, נכון? כי בפרט היא לא רציפה שם (כי אין לה גבול), ולכן היא בוודאי לא רציפה במ"ש..? (תנאי הכרחי אבל לא מספיק של רציפות במ"ש הוא רציפות)
תלוי בשאלה הספציפית. זה נכון למשל לגבי tg(\frac{10}{1+x^2}) שאינה רציפה במ"ש אבל הפונקציה tg(\frac{1}{1+x^2}) כן רציפה במ"ש

שאלה

לגבי רבמ"ש, יש משפט שאומר שפונקציה רבמ"ש ב(a,b) אם היא רציפה בו ויש לה גבולות בצדדים. הכוונה היא לגבולות חד צדדים נכון? כלומר צ"ל שיש גבול בa+ וb-?

תשובה

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

למה לפונק' \sqrt{x} אין גבול שמאלי ב-0?

שאלה

תהי an סדרה כך שקיים אפסילון>0 עבורו קיים n0 כל שאם m,n>n0 אזי <am-an> גדול שווה אפסילון. (הסימן הזה מייצג ערך מוחלט). צ"ל כל תת סדרה של an מתבדרת. זה לא בדיוק קריטריון קושי להתכנסות (בצורת השלילה)- כאילו- לפי הנתון ולפי קריטריון קושי an מתבדרת, ולכן כל תת סדרה שלה שואפת לאותו גבול ולכן גם מתבדרת. אבל זה נראה לי קל מידי. איפה הקאצ'?

תשובה

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

בוודאי סדרות שיש להן גבולות חלקיים שונים מתבדרות ואילו יש להן תתי סדרות מתכנסות ממש מההגדרה של גבול חלקי.

דבר נוסף, השלילה של קושי אומרת קיים אפסילון, כך שלכל n0 קיימים זוג m,n>n0 כך השמרחק בינהם גדול שווה אפסילון. הניסוח למעלה הוא שונה, ויש להתייחס לכך בהתאם.

רציפות במ"ש

  • אני יודע ש- xsin\frac{1}{x} אינה רציפה במ"ש (כי היא אינה רציפה - היא לא מוגדרת ב-x=0), אבל אם למשל הייתי מגדיר את אותה פונקצייה עבור x שונה מאפס, וכאשר x=0 ערך הפונקצייה יהיה 0 - היא כן הייתה במ"ש, נכון? כי גבול הפונק' מימין ומשמאל ב-x שואף ל-0 הוא אפס, וכן הגבולות שלה באינסוף ובמינוס אינסוף קיימים וסופיים - f=1.
  • איך מוכיחים / מפריכים רציפות במידה שווה של : f(x)=x^\frac{1}{3}

תשובה

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

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

זו פונקציה רציפה במ"ש. ניתן להוכיח את זה באמצעות הנוסחא a^3-b^3 = (a-b)(a^2+2ab+b^2) תחשבו לבד איך.

תודה רבה :)!

שאלה

תהי f פונק' מונוטונית ב-(a,b), ו-x_0 נק' אי רציפות של f בתחום זה. הוכח ש- x_0 היא נק' אי רציפות מהסוג הראשון. הרעיון הוא שפתרתי את התרגיל (עבור מונוטוניות חלשה, הנחתי בה"כ שהיא מונוטונית עולה), וקבלתי שהיא נקודת אי רציפות סליקה, כלומר שהגבול הימני שווה לשמאלי. (הראיתי את זה לפי זה שלקחתי סדרה שואפת לאפס x_n, והראיתי שאם לכל x_1>x_2 מתקיים f(x_1) גדול או שווה ל- f(x_2(, ולכן לכל x גדול מאפס בתחום ההגדרה של הפונק' מתקיים: f(x_0+x) גדול או שווה ל- f(x_0-x), בפרט עבור סדרה מונוטונית יורדת וחיובית השואפת לאפס שנציב במקום x. קבלנו ש: f(x_0-x_n)\le f(x_0-x_{n+1})\le f(x_0+x_{n+1})\le f(x_0+x_n), ולכן לפי הלמה של קנטור קיימת נק' יחידה ביניהם ששניהם שואפים אליה (הכוונה ל- f(x_0-x_n), f(x_0+x_n)), ולכן קיים גבול מימין וגבול משמאל לפי היינה שהוא c, וזו נק' אי רציפות סליקה.

מה לא נכון בהוכחה שלי? דרך אגב, האם השתמשתי נכון בלמה של קנטור?

תשובה

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

אי הרציפות יכולה להיות סליקה, למשל קח את הפונקציה x^2/x היא מונוטונית עם נקודת אי רציפות סליקה. אבל היא בהחלט יכולה להיות מהמין השני, לדוגמא \frac{x}{|x|}.


רמז להוכחה הנכונה: סדרה מונוטונית וחסומה, מה ניתן לומר עליה?

אני מכיר את הגרסא הזו של הלמה של קנטור (הגרסא לקטעים סגורים), אבל יש גם גרסא לסדרות, שעליה הסתמכתי: אם a_n, b_n סדרות מונוטוניות המקיימות:

a_n \le a_{n+1} \le b_{n+1} \le b_n וכן הגבול של a_n-b_n שווה לאפס, אזי קיים מספר יחיד בין שתי הסדרות ששתיהן שואפות אליו.

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

ציטוט שלך "וכן הגבול של a_n-b_n שווה לאפס" זה מה שאתה לא מוכיח ב"הוכחה" שלך למעלה.

שאלה

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

קח סדרה כזו: a_n=\frac{1}{n} עבור n שלא מתחלק ב-3, ו- a_n=\frac{2}{n} עבור n שכן מתחלק ב-3.