שיחה:88-132 תשעג סמסטר א: הבדלים בין גרסאות בדף

מתוך Math-Wiki
 
(289 גרסאות ביניים של 38 משתמשים אינן מוצגות)
שורה 1: שורה 1:
{{הוראות דף שיחה}}
{{הוראות דף שיחה}}


=ארכיון =
*[[שיחה:88-132 תשעג סמסטר א/ארכיון 1|ארכיון שאלות ותשובות 1]]
*[[שיחה:88-132 תשעג סמסטר א/ארכיון 2|ארכיון שאלות ותשובות 2]]
=שאלות=
=שאלות=


==הערה לגבי הצגת שאלות==
<font size=5 color=#ff0000>
<font size=5 color=#ff0000>
==הערה לגבי הצגת שאלות==
כשמתייחסים לשאלה משיעורי הבית אז בשורת הכותרת פרט למספר התרגיל ולמספר השאלה רצוי מאוד לומר על איזה קבוצה מדובר:מתמטיקאים,תיכוניסטים או מדמ"ח. אחרת, זה יכול לבלבל הן את הסטודנטים והן את המתרגלים.   
כשמתייחסים לשאלה משיעורי הבית אז בשורת הכותרת פרט למספר התרגיל ולמספר השאלה רצוי מאוד לומר על איזה קבוצה מדובר:מתמטיקאים,תיכוניסטים או מדמ"ח. אחרת, זה יכול לבלבל הן את הסטודנטים והן את המתרגלים.   
</font> --[[משתמש:מני ש.|מני]] 18:27, 31 באוקטובר 2012 (IST)
</font> --[[משתמש:מני ש.|מני]] 18:27, 31 באוקטובר 2012 (IST)


== (מתמטיקאים) תרגיל 7 שאלה 5 ==


כדי להפריך התכנסות של טור מראים שהאיבר הכללי לא שואף לאפס.
השאלה שלי האם אפשר להפריד באיבר הכללי ולהראות פעם אחת על האיבר הכללי הזוגי (כאשר n זוגי) שהוא לא מתכנס לאפס ופעם שניה על האיבר הכללי האי זוגי שהוא לא מתכנס לאפס. האם די בכך כדי לטעון שהאיבר הכללי לא מתכנס לאפס?


==שאלה 1 תרגיל 1 (מתמטיקאים)==
מתן, אני עונה לשאלה שלך כאן כי אין לי פייסבוק. מה שאתה אומר נכון כאשר <math>a</math> אי שלילי אבל אינו נכון כאשר <math>a</math> שלילי. שים לב שבשני אי השווינים זה שנתון וזה שצ"ל יש ערך מוחלט גם באגף ימין. --[[משתמש:מני ש.|מני]] 12:50, 22 באוקטובר 2012 (IST)


== תרגילי בית ==
היי,
'''מקווה שאני לא טועה ומטעה''', אבל לדעתי מספיק להוכיח על אחת מתתי הסדרות (זוגיים או אי זוגיים) שאינה שואפת לאפס, בכדי להוכיח שכל הסדרה שאינה שואפת לאפס.
הרי מתקיים: אם סדרה an שואפת ל-l אזי כל תת-סדרה ank שואפת ל-l. וזה בדיוק כמו: אם יש תת-סדרה ank שלא שואפת ל-l, אזי הסדרה an אינה שואפת ל-l.


אתה יכול להעלות את תרגילי הבית בPDF?
אגב, יש עוד דרכים להפריך התכנסות של טור (להוכיח שסדרת הסכומים החלקיים לא מתכנסת לגבול סופי או להשתמש באחד מהמבחנים לטורים חיוביים- של קושי וחבריו). בהצלחה.
(כי גם ככה לא צריך לערוך את זה אחרי שנה)
:מטרת העל היא להעלות הכל בפורמט ויקי. כל תרגיל וכל פתרון מתכנסים לכדי מאגר גדול, ואתם נהנים מפירות השנים הקודמות. ניתן לבחור גרסאת הדפסה מימין למטה ולהדפיס. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>


::אבל האיכות של זה היא לא איכות של PDF.תדפיס תרגיל כזה ולידו תרגיל שנתנו לנו בקיץ.ותראה שמה שבPDF הרבה יותר נעים לקרוא. --[[משתמש:Caspim|Caspim]] 23:55, 21 באוקטובר 2012 (IST)
== אפשר בבקשה לפרסם את תרגיל 8 למתמטיקאים? ==


:::כל אחד וההקרבות שלו. אני מקים את כל האתר הזה ומנהל את כל התוכן, אתם צריכים להתמודד עם פונטים של latex... אם אני אוכל לשפר את האיכות בעתיד אעשה זאת. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
תודה!


:::: אני חושב שצריך להוריד בגרסה להדפסה את החלק של הפיסבוק. זה מבזבז לי קצת טונר --[[משתמש:Avital|Avital]] 20:19, 22 באוקטובר 2012 (IST)
== תרגיל מס' 8 שאלה 1 ==


== האוני' פתוחה ==
לפי לייבניץ, אם an היא סדרה מונוטונית יורדת של מס' חיובים השואפת ל-0, אזי הטור מתכנס, האם נכון גם לגבי תתי-סדרות, זוגיים ואי-זוגיים? האם ניתן להראות מונוטיות יורדת עבור שני איברים זוגיים ולאחר מכן, עבור שני איברים א"ז?
תודה.


הספרם של האוניברסיטה הפתוחה מתחילים מיחידה 3?


:אני לא בטוח מה כוונת השאלה, ואני לא בטוח מה יש בספרים של הפתוחה. כמדומני הם מדלגים על סדרות וטורים ומתחילים ישר מגבולות של פונקציות. זה לא הסדר שאנחנו נעבוד לפיו. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
(לא מתרגל / מרצה) זה אכן אפשרי, אך זה לא אומר כלום על מונוטוניות הסדרה כולה, שכן יכול להיות שגם הזוגיים וגם האי זוגיים מונוטוניים עולים, אבל לכל <math>n\in\mathbb{N}</math> מתקיים <math>a_{2n}>a_{2n+1}</math>, ואז אין מונוטוניות של הסדרה כולה --[[משתמש:גיא|גיא]] 17:40, 23 בדצמבר 2012 (IST)


::אז איזה ספר אתה ממליץ?
== תרגיל 8 שאלה 5 ==


:::מייזלר הולך מאד מאד קרוב לתוכנית הלימודים שלנו. אני ממליץ לנסות לדבר עם סטודנטים בוגרים יותר לשמוע מה הם מצאו כיעיל --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
חסר במקרה נתון של מונוטוניות??.. כי לא ברור איך לפתור.. או שצריך לחלק למיקרים אם Bn מונוטונית ואם לא..


== תרגיל 1 (תיכוניסטים) ==


בשאלות 1 ו2 x ממשי, נכון? --[[משתמש:Avital|Avital]] 20:15, 22 באוקטובר 2012 (IST)
(לא מתרגל / מרצה) לא חסר שום נתון. באיזה כיוון את/ה מתקשה להוכיח? --[[משתמש:גיא|גיא]] 06:47, 26 בדצמבר 2012 (IST)


בשני הכיוונים למען האמת, נניח בכיוון הישר הטור An מתכנס בהחלט אז מה זה נותן לי??.. שהסידרה שואפת לאפס אבל לא נתון מונוטונית אז אי אפשר לפי דריכלה כי גם לא נתור '''שהטור''' Bn חסום, אבל גם אי אפשר abel כי מי אמר שBn מונוטונית יכולה להיות חסומה ולא מונוטונית... וגם לפי לייבניץ אני לא רואה כיוון כי לא נתון ש An מונוטונית בכלל.. בקיצור איך מתקדמים??..
::בכיוון שציינת שווה לנסות להוכיח יותר, עד כמה שזה נשמע מוזר, שהטור <math>\sum_{n=1}^\infty a_nb_n</math> מתכנס אפילו בהחלט לכל סדרה חסומה. אפשר בהקשר זה לחשוב על מבחני התכנסות נוספים. --[[משתמש:מני ש.|מני]] 10:45, 26 בדצמבר 2012 (IST)


:מצטרפת, ואם יוצא לי לא ממשי צריך להתעלם מזה?
== תרגיל 8 ==


::x הוא ממשי --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
אם נתונה סדרה חסומה אזי בהכרח הטור של הסדרה חסום???.. ולהיפך?.. אם טור חסום אזי הסדרה חסומה??..


== תרגיל 1ב (תיכוניסטים) ==


יש מצב זה אמור להיות <math>x^2-4x+3</math> במקום <math>x^2-4x-3</math>?
(לא מתרגל / מרצה) בוודאי שלא. לדוגמה ניקח את הטור ההרמוני <math>\sum _{n=1}^\infty \frac{1}{n}</math> - הסדרה <math>\frac{1}{n}</math> חסומה ע"י 1, אבל טורה מתבדר ולכן אינו חסום. לגבי הכיוון השני, אני חושב שגם לו ניתן למצוא הפרכה אבל אני לא בטוח סופית --[[משתמש:גיא|גיא]] 06:45, 26 בדצמבר 2012 (IST)
::הכיוון השני כן נכון. כי אם קיים <math>M>0</math> כך ש<math> \forall n \in \mathbb{N} \  M\geq |S_n|</math>
אז<math> \forall n \in \mathbb{N} \  |a_{n+1}|=|S_{n+1}-S_n|\leq |S_{n+1}|+|S_n|\leq 2M</math>. --[[משתמש:מני ש.|מני]] 10:56, 26 בדצמבר 2012 (IST)


הפתרון יוצא יותר יפה.. :)
== זהויות טריגונומטריות ==
:מה יותר יפה משורש? --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>


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


== מישהו יכול לעזור לי? ==
תודה
::אני לא יודע בשלב זה  לספק רשימת זהויות חיוניות. אני מניח שכל הזהויות שניתקלים בהן בהרצאה, תרגול/ש"ב הן הזהויות ההכרחיות. דברים שכן חשובים ואני יכול להצביע עליהם אלו הזהויות של קוסינוס וסינוס זווית כפולה וגם מעבר ממכפלה לסכום (יש טבלה כזו בקישור שציינת). --[[משתמש:מני ש.|מני]] 19:51, 26 בדצמבר 2012 (IST)


איך מוכיחים:
== שלילת התכנסות טור ==


<math>\lim_{n \rightarrow \infty}\frac{n^2-n+1}{3n^2+2n+1}=\frac{1}{3}</math>
האם על סמך התנאי an+1/an>1 ניתן להסיק ש lim an שונה מ-0 ? ובכך לקבוע ישירות התבדרות הטור.


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


תודה תודה רבה :)
אם הטור מתכנס אז הסדרה שואפת לאפס.


אפשר להסיק שהטור מתבדר.
::נכון. תובנה יפה. בהמשך לכך שימו לב שאם התנאי <math>\frac{a_{n+1}}{a_n}>1</math> מתקיים נניח החל מ<math>n_0</math> אז אם
<math>a_{n_0}</math> שלילי  אז התנאי דווקא יגרום לכך שהסדרה מונוטונית יורדת מאותו מקום,וגם אז הגבול לא יכול להיות אפס. כי אם תהיה התכנסות הגבול יהיה קטן או שווה ל<math>a_{n_0}</math> שהוא שלילי. --[[משתמש:מני ש.|מני]] 20:02, 26 בדצמבר 2012 (IST)


*(לא מתרגל) אצלנו בהרצאה המרצה הביא את הכיוון. הוא אמר שאפשר לעשות זאת בקלות על ידי אריתמטיקה של גבולות, כלומר כל מני חוקים שמתקיימים בגבולות של כמה סדרות, עליהם נלמד בשיעור הבא. בכל מקרה, הכיוון שהוא הביא: צריך לחלק את המונה והמכנה בn^2, ואז נקבל:
== תרגיל 6 שאלת בונוס (מתמטיקאים) ==
http://www.math-wiki.com/images/b/bc/Daum_equation_1351689248875.png


מכאן זה דיי פשוט - לפי החוקים שנלמד, הגבול של המכפלה הוא מכפלת הגבולות, כנ"ל עם חילוק, חיסור וחיבור, ואפשר לראות שאחת חלקי n שואף לאפס, גם 2 חלקי n, גם 1 חלק n^2, וכו'. בנוסף "נפטרים" מכל הדברים עם n, חוץ מה1 למעלה והשלוש למטה, ונשאר שליש כי 1 ו-3 הם סדרה קבועה.
נתון בשאלה שמתקיים: <math>\lim_{n\to \infty}  (a_{n+1}-a_{n})=0</math>
כלומר, לכל <math>\varepsilon> 0 </math>  קיים <math>n_{0}</math>  שהחל ממנו <math>\left |a_{n+1}-a_{n}  \right |< \varepsilon</math>


ניסיתי להשתמש בקושי ולטעון:
<math>\left | a_{n+p}-a_{n} \right |=\left | a_{n+p}-a_{n+p-1}+a_{n+p-1}-a_{n+p-2}+...+a_{n+1}-a_{n} \right |\leq \left | a_{n+p}-a_{n+p-1} \right |+\left | {n+p-1}-a_{n+p-2} \right |+...+\left | a_{n+1}-a_{n} \right |
</math>


ואיך מוכיחים זאת בלי אריתמטיקה של גבולות?
ולכל <math>n\geq n_{0}</math> מתקיים:


<math>\left | a_{n+p}-a_{n} \right |< \varepsilon +\varepsilon +...+\varepsilon =p\cdot \varepsilon </math>


* אני לא בטוח שאפשר, אבל בעיקרון כמו שמוכיחים ש1 חלקי n שואף לאפס. ננחש שהגבול הוא שליש, ונפעל לפי ההגדרה. כלומר, לכל אפסילון גדול מאפס, נרצה למצוא n0 כך שלכל n>n0 המרחק בין an לשליש (בערך מוחלט) קטן מאפסילון. לא בטוח שזה יעבוד בכזו קלות, אולי לא יעבוד בכלל.


נבחר <math>\varepsilon=\frac{\varepsilon _{0}}{p} \Rightarrow \varepsilon \cdot p=\varepsilon _{0}
</math>


אוקי תודה :)
ונקבל : לכל <math>\varepsilon _{0}</math> (בהתאם לבחירת <math>\varepsilon</math> כרצוננו):


== שאלה 7 בתרגיל 2 ==


האם צריך להוכיח כי קיים חסם עליון ל A וחסם תחתון ל B, או שאפשר לצאת מנקודת הנחה שיש להם את החסמים הנ"ל?
<math>\left | a_{n+p}-a_{n}\right |< \varepsilon _{0}</math>




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


== תרגיל 2 שאלה 5 ב' (תיכוניסטים) ==
האם זה נכון?
::לא. יש בעיה עם הכמתים (קיים,לכל).  בהגדרה לפי קושי, אם אשתמש בסימונים שלך צריך להוכיח שלכל <math>\epsilon_0</math> קיים <math>n_0</math> כך שלכל <math>n\geq n_0</math> '''ולכל''' <math>p</math> טבעי<math>\left | a_{n+p}-a_{n}\right |< \varepsilon _{0}</math>.


אם אני רוצה להפריך ע"י הבאת שתי קבוצות שהחסמים שלהן מקיימים את התנאי, צריך למצוא לשתיהן את החסמים בשיטה הרגילה או שאפשר להסתפק בכך שברור שהם החסמים (אם מדובר בקבוצות שהחסמים שלהן ברורים)? [[משתמש:Avichai|Avichai]] 21:08, 1 בנובמבר 2012 (IST)
אני אציג מה שלא עובד בהוכחה שציינת. בגדול אי אפשר יהיה לקבוע מהו <math>n_0</math>. למה?


כנלגבי הפרכות בשאלה 6.
נציב לפי ההצעה שלך <math>p</math> טבעי מסוים ועבור <math>\varepsilon _0</math> מסוים,
<math>\epsilon=\frac{\varepsilon_0}{p}</math> ונשתמש בגבול הנתון ונסיק שקיים <math>n_0</math> שתלוי  ב <math>\varepsilon</math> ולכן '''תלוי ב<math>p</math> '''  כך  שלכל <math>n\geq n_{0}</math> ועבור  אותו <math>p</math> ספציפי <math>\left | a_{n+p}-a_{n}\right |< \varepsilon _{0}</math>. אבל 
כדי להוכיח קריטריון קושי צריך שהניתקיים '''לכל <math>p</math>''' ולא ל <math>p</math> מסויים.
אם היינו משנים את <math>p</math> גם <math>n_0</math> היה יכול להשתנות (כי הוא תלוי ב<math>\varepsilon</math> '''שתלוי ב<math>p</math>''').


:צריך להסביר, לא חייבים להוכיח עם אפסילון. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>


== תרגיל 2 שאלה 4 (תיכוניסטים) ==
אגב, אי אפשר להוכיח שקריטריון קושי מתקיים ושהסדרה מתכנסת שכן קיימות דוגמאות נגדיות לסדרות שלא יתכנסו אך עדיין יקימו את התנאי בשאלה. --[[משתמש:מני ש.|מני]] 11:50, 28 בדצמבר 2012 (IST)


אפשר למצוא חסם עליון וחסם תחתון בעזרת אינדוקציה?
::אני מניחה שהשאלה היא: אחרי שיש לי רעיון מהו החסם, האם ניתן להוכיח באינדוקציה שהוא אכן החסם? התשובה היא כן...--[[משתמש:לואי פולב|לואי]] 21:08, 3 בנובמבר 2012 (IST)


== תרגיל 2 שאלה 5ג (תיכוניסטים) ==
נכון. תודה (:


האם אפשר לכתוב רק את המקרה הכללי או שצריך גם להוכיח?
== מועד הבוחן ==


== תרגיל 2 שאלה 8 (תיכוניסטים) ==
מתי יתקיים הבוחן השני לתיכוניסטים?


בסוף בסוגריים זה לא אמור להיות אפס חסם תחתון של A אם"ם A^-1 לא חסומה מלעיל?


כי אם לא אפשר להפריך את זה, לדוגמה אם A היא קבוצת כל המספרים הממשיים הגדולים מ-0, אז 0 יהיה חסם תחתון של A^-1.
(לא מתרגל / מרצה) התאריך אמור להתפרסם בקרוב :) --[[משתמש:גיא|גיא]] 21:58, 1 בינואר 2013 (IST)


== תיכוניסטים תרגיל 9 שאלה 3 ==


* קבוצה חסומה היא קבוצה שיש לה חסם מלעיל וחסם מלרע. בR זה אומר שיש גם אינפימום וגם סופרימום.
האם L ממשי או שייך לקו הממשי המורחב(כלומר כולל פלוס ומינוס אינסוף)?
:ממשי --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>


== תרגיל 2, שאלה 2 (בוגרים) ==
== תרגיל 9 שאלה 1 ==


האם ניתן להפריך את הטענה :
כאשר רוצים לדרוש ערך מוחלט גדול מחיובי כלשהו (חסם לפי קושי)..אפשר לבחור את דלתא עצמה??.. כי ידוע שהיא חיובית, תודה!
שאלה 2 
::אם הבנתי נכון את השאלה אז התשובה היא לא. אנחנו לא יודעים שדלתא חיובית. אנחנו רוצים להוכיח שקיימת דלתא חיובית כך ש...
יהי x∈ℝ מספר ממשי המקיים x ≥ 0 . נניח בנוסף שמתקיים x < ε לכל ε > 0. הוכיחו
או הפריכו: x = 0  .
ע"י הוכחת הטענה: לכל אפסילון גדול מאפס קיים n טבעי כך ש- אפסילון גדול מ 1/n??


תודה
חוץ מזה אנחנו לוקחים איקס לפי דלתא למשל <math>\delta>|x-1|>0</math> כשבודקים גבול פונקציה בנקודה 1.
בעצם כתוב כאן קיימת דלתא כך שלכל איקס המקיים <math>\delta>|x-1|>0</math>. לכן האיקסים אמורים להיות תלויים בדלתא ולא ההיפך... אי אפשר להגיד פתאום ש <math>|x+5|>\delta</math>. הרעיון הוא להוסיף אילוץ על דלתא שלא תלוי באיקס למשל שדלתא קטנה משליש ואז דווקא לקבל מידע על הטווח של האיקסים לפי  <math>\delta>|x-1|>0</math> בדוגמא שלי --[[משתמש:מני ש.|מני]] 20:28, 2 בינואר 2013 (IST)


::בעיקרון - לא. הערה כללית: זה לא ממש המקום לרשום הוכחות/הפרכות של שאלות. זה עלול להרוס לאנשים שעדיין מנסים לפתור את השאלות בעצמם... =) זה כן המקום לשאול שאלות על החומר, לבקש הבהרות ורמזים על התרגילים, וכדומה... --[[משתמש:לואי פולב|לואי]] 21:06, 3 בנובמבר 2012 (IST)
== תיכוניסטים תרגיל 9 שאלה 2b ==


== תרגיל 2 (מדמ"ח) ==
ניתן להניח שאם
<math> \lim_{x \rightarrow - \infty }f(x)=- \infty</math> וגם <math> \lim_{x \rightarrow - \infty }g(x)=- \infty </math>
אז <math> \lim_{x \rightarrow - \infty }f(x)g(x)= \infty </math> ?


למה אין שאלה מספר אחת? לא אמורה להיות, או שהיא נשמטה?
:אין שאלה אחת, לא לדאוג (: --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>


== ספר באינפי של הוכמן ==
(לא מתרגל / מרצה) כן, לפי אריתמטיקה של גבולות --[[משתמש:גיא|גיא]] 20:07, 4 בינואר 2013 (IST)


האם הספר "חשבון אינפיניטסימלי" של מיכאל הוכמן בהוצ' אקדמון טוב לקורס שלנו ?
== שאלה כללית ==
תודה.
::אני לא מכיר את הספר. --[[משתמש:מני ש.|מני]] 12:07, 7 בנובמבר 2012 (IST)
 
== ספר באינפי של הוכמן ==
 
האם הספר "חשבון אינפיניטסימלי" של מיכאל הוכמן בהוצ' אקדמון טוב לקורס שלנו ?
תודה.
 
== תרגיל 2 ,שאלה 3(מתמטיקאים בוגרים) ==
 
הכוונה שם זה לתת הפרכה, ככה שאני בוחר את A ,ובוחר אפסילון שיתאים?
תודה
::לא. הטענה היא שאם  A קבוצה שעבורה מתקיים התנאי שמופיע בתרגיל אז בהכרח 0 אינו חסם תחתון. לכן אתה לא יכול לבחור A ספציפית אלא להוכיח  עבור '''כל''' A שמקיימת את התנאי. זאת אומרת אתה צריך לקחת A שרירותית אבל מותר לך להניח שהתנאי עם אפסילון מתקיים (גם כאן אתה לא יכול לבחור את אפסילון). מזה אתה צריך ויכול להסיק  שאפס בהכרח אינו החסם התחתון. --[[משתמש:מני ש.|מני]] 12:12, 7 בנובמבר 2012 (IST)
 
== תרגיל 2 שאלה 5 (מתמטיקאים) ==
 
מצאו חסם עליון תחתון מינ' מקס' .
צריך גם להוכיח ? למשל אם לא קיים מקס' להוכיח זאת ?
::כן. צריך להוכיח. אם מוצאים את החסם עליון (כמובן עם הוכחה) והוא לא שייך לקבוצה אז זה מספיק להסיק שאין מקסימום.--[[משתמש:מני ש.|מני]] 22:50, 7 בנובמבר 2012 (IST)
 
== תרגיל 3 שאלה 4 ו (תיכוניסטים) ==


אם לדוגמא קיים i כך ש ai = 0, אז התרגיל מוגדר בכלל?
איך אני מחשב גבולות חד צדדיים של פונקציות?


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


???
אם f פונקציה חסומה ומונוטונית בקטע סגור [a,b] אזי קיימים הגבול מימין של a והגבול משמאל של b. דבר נחמד נוסף הוא שבמקרה בו הפונקציה עולה לדוגמא, הגבול השמאלי של b הוא הsup של כל ה(f(x בקטע, ובנוגע לגבול הימני בa הוא הinf בהתאמה. ביורדת בדומה. כלומר, אפשר לפתור את הבעיה עם חסמים במידה ומתרחש מקרה כמו המתואר לעיל.


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


(לא מתרגל / מרצה) זה תלוי. מותר למספר סופי של איברים להיות 0, אך חייב להיות <math>n_1\in N</math> עבורו לכל <math>n\ge n_1</math>, <math>a_n\neq 0</math> --[[משתמש:גיא|גיא]] 16:48, 9 בנובמבר 2012 (IST)
== רציפות במידה שווה ==


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


מותר בשאלה 1 להשתמש מבלי להוכיח בכך ש
לא הבנתי כל-כך למה זה נכון..
<math>\lim_{n\rightarrow \propto}\frac{1}{n}=0</math>
?


== תרגיל 3 שאלה 4 (תיכוניסטים) ==


למה הכוונה "מתכנסת במובן הרחב לאינסוף" ? לא למדנו את המושג בכלל(לא בהרצה ולא בתרגול).
(לא מתרגל / מרצה) הנה ההסבר שלי:


ההגדרה לרציפות היא נקודתית. כלומר <math>f</math> רציפה בנקודה <math>x_0</math> אם <math>lim_{x\rightarrow x_0}f(x)=f(x_0)</math>, כלומר <math>\forall\varepsilon>0\exists\delta>0\forall x,0<|x-x_0|<\delta: |f(x)-f(x_0)|<\varepsilon</math>. כלומר בבחירת <math>\delta</math> יש גם תלות ב-<math>x_0</math>.


(לא מרצה / מתרגל) תהי <math>a_n</math> סדרה. אזי נאמר ש-<math>a_n</math> מתכנסת לאינסוף (במובן הרחב) אם <math>\forall M>0, \exist N_M\in N ,\forall n\ge N_M : a_n\ge M</math> --[[משתמש:גיא|גיא]] 22:59, 8 בנובמבר 2012 (IST)
לעומת זאת, ההגדרה לרציפות במידה שווה היא כוללת. פונקציה <math>f</math> היא רציפה שווה בקטע <math>A</math> אם <math>\forall\varepsilon>0\exists\delta>0\forall x_1,x_2\in A, |x_1-x_2|<\delta:|f(x_1)-f(x_2)|<\varepsilon</math>. כלומר פה אין קודם בחירה של הנקודה, אלא ה-<math>\delta</math> מתאים לכל שתי נקודות.


== תרגיל 2 שאלה 6 אינפי למתמטיקאים ==
זו הכוונה בכך ש-<math>\delta</math> אינו תלוי ב-<math>x_0</math>. --[[משתמש:גיא|גיא]] 23:21, 6 בינואר 2013 (IST)


בשאלה 6 הגדרתם ש A ו B חסומות מלרע, האם אני יכול לקחת כדוגמאות קבוצות שהן גם חסומות מלעיל וגם חסומות מלרע?
::כן.


== תרגיל 3 שאלה 1 סעיף א' ==
תודה רבה הבנתי :) כשאמרו שבחירת הדלתא תלוי ב x, לא הבנתי שהם מתכוונים ל xo.


אני יכול להוציא שורש לגבול? לדוגמא
== שאלה טכנית ==
אם
<math>(\lim_{n \to \infty }\frac{1}{\sqrt n})^2=0</math>
אז
<math>(\lim_{n \to \infty }\frac{1}{\sqrt n})=0</math>


== תרגיל 3 שאלה 4ה' (תיכוניסטים) ==
אם יש לי, נניח, דבר כזה:


האם אני יכול להפריך את הטענה ע"י כך שאני אומר ש-An היא סדרה אינסופית שכל אחד מהאיברים שלה הוא 0?
<math>lim_{x\rightarrow 0} (\frac{1}{x}+x)</math>


ואני רוצה לחשב גבולות חד-צדדיים. האם מותר לי, לפני חישוב הגבולות, לומר:


*(לא מתרגל) אני חושב שאפשר להניח שAn הוא לא אפס, אחרת לתרגיל אין כל כך משמעות, כי Bn לא מוגדרת בכלל (וגם לסעיפים ד,ו תחת אותו רעיון).
<math>lim_{x\rightarrow 0} (\frac{1}{x}+x)=lim_{x\rightarrow 0} \frac{1}{x} + 0=lim_{x\rightarrow 0} \frac{1}{x}</math>


== שאלה לגבי שאיפה במובן הרחב (תיכוניסטים) ==
כאילו לעשות מעבר גבול על "חלק" מהארגומנט, אותו החלק שאינו תלוי בצד הגבול (מימין או משמאל)?
::יש קצת בעיה לכתוב את זה כך כי גבול שווה לסכום הגבולות בהנחה שהגבולות בכלל קיימים בדוגמא שציינת הגבול <math>lim_{x\rightarrow 0} \frac{1}{x}</math> כלל לא קיים ומן הסתם גם הגבול שהתחלת איתו לא קיים. מצד שני לכתוב
<math>lim_{x\rightarrow 0^+} (\frac{1}{x}+x)=lim_{x\rightarrow 0^+} \frac{1}{x} + 0=lim_{x\rightarrow 0^+} \frac{1}{x}</math> נראה יותר מדוייק וכנ"ל בגבול החד צדדי השמאלי שכן הגבולות החד צדדיים האלו כן קיימים--[[משתמש:מני ש.|מני]] 15:04, 8 בינואר 2013 (IST)


בשאלות 5 ו6 בתרגיל 3 צריך להוכיח את הטענות גם עבור המובן הרחב (כלומר עבור שאיפה ל<math>\pm\infty
== בתרגיל 10 שאלה 1ב (מתמטיקאים) ==
</math>)?


== תרגיל 3 (מדמ"ח) ==
צריך להוכיח רציפות של הפונקציות sin ו-cos?
::לא. --[[משתמש:מני ש.|מני]] 16:19, 9 בינואר 2013 (IST)


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


תשובה: כן, מותר להשתמש בשיטות שראינו בתרגול - אבל צריך לצטט את הטענה ולציין שהוכחנו אותה בתרגול.--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 11 בנובמבר 2012 (IST)
מה החומר לבוחן (הקבוצה של פרופ' אגרונובסקי)?


== תרגיל 3 שאלה 2 (מתמטיקאים) ==
== העלאת תרגיל 10 לתיכוניסיטים ==


בהגדרה של אקסיומת דדקינד בכיתה הגדרנו עבור 2 קבוצות שמוכלות בF.
ניתן בבקשה להעלאות את התרגיל של השבוע?
האם אפשר להשתמש באקסיומה על 2 קבוצות ב R?
::שאלה טובה. אפשר להסתכל מה בדיוק היה אותו F באקסיומת דדיקנד ומה נאמר על <math>\mathbb{R}</math> בהמשך אותה ההרצאה. אני לא רוצה לענות תשובה של כן/לא למרות שיש תשובה כזו. יש לך את כל הכלים להחליט מהי התשובה לשאלה.  --[[משתמש:מני ש.|מני]] 11:02, 12 בנובמבר 2012 (IST)


== תרגיל 3 (רגילים) ==
== הבחנים ==


האם ניתן להגדיר סופ/ ו אינפ על קבוצה בעלת איבר יחיד??
מה התאריכים של הבחנים, ומה החומר שהם יכסו? תודה
 
::בהחלט כן. --[[משתמש:לואי פולב|לואי]] 16:48, 12 בנובמבר 2012 (IST)
 
== (מתמטיקאים), תרגיל 3 שאלה 1 ==
 
האם ניתן עבור הוכחת sup,inf שקיימים m,n שמקיימים לדוגמא הביטוי בתרגיל<0+ε(אפסילון) לבחור m,n כביטוי עם אפסילון לדוגמא n=אפסילון/2?
תודה
::לפני שאענה יש לי הערה. אני די מנחש מההקשר מה ניסית לעשות. ההשערה שלך היא שאפס הוא החסם התחתון וזאת הבדיקה שמוצעת כאן, נכון? הייתי שמח אם אפשר היה להוסיף עוד שתי מילים כדי שהשאלה תהיה ברורה יותר.
 
בכל מקרה התשובה לשאלה עצמה שהעלית היא שלילית. m,n אמורים להיות טבעיים ואפסילון לא צריך להיות טבעי וגם לא אפסילון חלקי 2 מה שאומר שאי אפשר לבחור n ששוה לאפסילון חלקי 2 (אגב אני לא יודע מהי קבוצת התרגול שלך אבל בתרגול האחרון שלי עשיתי  טעות דומה לזאת ואח"כ תיקנתי אותה). לעומת זאת אי שוויון במקום שוויון .... --[[משתמש:מני ש.|מני]] 14:57, 13 בנובמבר 2012 (IST)
 
== שלילת גבול (תיכוניסטים) ==
 
אם אני רוצה להפריך קיום גבול של סדרת, בהינתן סדרת נסיגה: האם אפשר להניח בשלילה שקיים גבול <math>\lim_{n\rightarrow\infty}a_n=L</math>, להשתמש בעובדה ש <math>\lim_{n\rightarrow\infty}a_n=\lim_{n\rightarrow\infty}a_{n+1}</math> ואז להראות סתירה? (לדוגמא ש L שלילי, בעוד שאנחנו יודעים שכל האיברים חיוביים)?
::כן.--[[משתמש:מני ש.|מני]] 16:02, 15 בנובמבר 2012 (IST)


== שאלה כללית ==
== שאלה כללית ==


אם An שואף לאינסוף וBn שואף למינוס אינסוף אני יכול להגיד ש-An/Bn שואף ל1- ?
מה ההבדל בין סופרמום של פונקציה למקסימום שלה??..ואם אפשר לרשום את ההגדרה הפורמלית של כל אחד מהמושגים, תודה!
 
*(לא מתרגל) צריך להוכיח.
::אינסוף חלקי אינסוף לא מוגדר וכך גם מינוס אינסוף חלקי אינסוף. יכולות להיות הרבה תוצאות אפשריות. לדוגמא <math>\frac{n^2}{-n}</math> הוא גבול מהצורה אינסוף חלקי מינוס אינסוף והוא שואף דוקא למינוס אינסוף. --[[משתמש:מני ש.|מני]] 16:02, 15 בנובמבר 2012 (IST)


== תרגיל 4 שאלות 6,8 לתיכוניסטים ==
http://www.math-wiki.com/index.php?title=88-132_%D7%90%D7%99%D7%A0%D7%A4%D7%99_1_%D7%A1%D7%9E%D7%A1%D7%98%D7%A8_%D7%90%27_%D7%AA%D7%A9%D7%A2%D7%91/%D7%9E%D7%A2%D7%A8%D7%9A_%D7%AA%D7%A8%D7%92%D7%95%D7%9C/%D7%97%D7%A1%D7%9E%D7%99%D7%9D


== הגדרת גבול של פונקציה ==


== כותרת ==
אם פונקציה שואפת לאינסוף, מה זה אומר??


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


== הגדרה של סדרה ששואפת לאינסוף ==
אם פונקציה שואפת לאינסוף, מה זה אומר??
כלומר אם איקס שואף לאינסוף, והגבול הוא L, מה זה אומר??


ההגדרה אומרת שסדרה an שואפת לאינסוף אם לכל מס' ממשי A קיים N שהחל ממנו an>A.


N לא איבר בסדרה?
(לא מתרגל / מרצה) <math>\forall\varepsilon>0\exists\delta>0\forall x, x>\frac{1}{\delta}:|f(x)-L|<\varepsilon</math>, כי כזכור <math>U_\delta (+\infty)=(\frac{1}{\delta},+\infty)</math>. --[[משתמש:גיא|גיא]] 19:24, 12 בינואר 2013 (IST)
::לא. N  הוא מקום בסדרה (אינדקס)--[[משתמש:מני ש.|מני]] 22:11, 15 בנובמבר 2012 (IST)


== התבדרות/התכנסות במובן הרחב ==


סדרה שמתכנסת במובן הרחב היא סדרה מתבדרת?
קצת מבלבל אותי הסביבות הללו XD
סדרה מתבדרת היא סדרה שמתכנסת במובן הרחב?
::התכנסות במובן הרחב פירושה התכנסות לגבול ממשי או <math>\pm \infty</math>. התכנסות במובן הצר היא התכנסות למספר ממשי בלבד. סדרה שלא מתכנסת בשום מובן שהוא היא מתבדרת. לגבי התכנסות לערך אינסופי יש חוסר התאמה במינוחים. אנשים שונים משתמשים במינוחים שונים. יש כאלו שיקרא לזה מתבדרת אבל אז הם כמובן מתכונים שהיא דוקא מתבדרת במובן הצר ושאינה מתכנסת לגבול ממשי. אחרים(וזו הגישה שגם אנו נשתדל לאמץ בקורס זה)לא משתמשים בלשון של מתבדרת כאשר ההתכנסות היא לגבול אינסופי ופשוט קוראים לזה מתכנסת לאינסוף או מינוס אינסוף.
התשובה לשאלה השניה היא שלילית בכל מקרה (בלי תלות במינוחים שציינתי קודם) כי יש סדרות שלא מתכנסות לשום גבול ממשי או אינסופי, למשל, <math>(-1)^n</math>
מתבדרת אך אינה מתכנסת לשום גבול ממשי או אינסופי.
--[[משתמש:מני ש.|מני]] 22:25, 15 בנובמבר 2012 (IST)


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


האם הסדרה 1 חלקי n היא סדרה חסומה שאינה מתכנסת במובן הרחב?
(לא מתרגל / מרצה) אם <math>x\rightarrow\infty</math> והגבול הוא <math>L</math>, אז לכל <math> \varepsilon>0 </math> שנבחר (מרחק על ציר <math>y</math>), קיים מרחק על ציר <math>x</math>, שבשפה מתמטית קיים <math>\delta>0</math> כך שלכל <math>x>\frac{1}{\delta}</math>, ערכי הפונקציה יהיו באזור של <math>L</math>, כלומר יתקיים <math>|f(x)-L|<\varepsilon</math>. מקווה שיותר מובן :) --[[משתמש:גיא|גיא]] 18:24, 16 בינואר 2013 (IST)
::לא. היא מתכנסת לאפס ובפרט מתכנסת במובן הרחב (פירוט מופיע בתשובה לשאלה הקודמת).--[[משתמש:מני ש.|מני]] 22:31, 15 בנובמבר 2012 (IST)


== תרגיל 4 שאלה 5(תיכוניסטים) ==


אומרים ש an חסומה, וצריך להוכיח שקיימת לה תת סדרה מונוטונית.
יש הבדל בין <math>x>\frac{1}{\delta}</math> לבין <math>x>\delta</math>?
אבל הוכחנו בהרצאה שלכל סדרה יש תת סדרה מונוטונית. למה צריך להגיד גם שהיא חסומה?




(לא מתרגל / מרצה) באופן עקרוני אם מדובר בכל <math>\delta</math>, אז אין הבדל גדול, אך בגלל הגדרת הסביבה אנו כותבים <math>x>\frac{1}{\delta}</math> --[[משתמש:גיא|גיא]] 23:13, 16 בינואר 2013 (IST)


??


*(לא מתרגל)כבר ענו על השאלה הזו למעלה. אתה צודק, מספיק להוכיח שלכל סדרה יש תת סדרה מונוטנית, זו טענה חזקה יותר (אם כי לא מצאתי מה הנתון של חסומה עוזר בחיים).
למה בהגדרת הסביבה צריך לרשום <math>x>\frac{1}{\delta}</math> ולא <math>x>\delta</math>?


== סדרה חסומה ==
== האם יש מחר לימודים ??? (תיכוניסטים) דחוף ! ==


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


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


== סדרה עולה וחסומה מלעיל היא סדרה חסומה? אם כן, למה? ==
(לא מתרגל) כן. כרגיל


סדרה עולה וחסומה מלעיל היא סדרה חסומה? אם כן, למה?
== מבחנים לדוגמא (תיכוניסטים) ==


*(לא מתרגל) זה נכון, כי אם הסדרה עולה האיבר הראשון שלה קטן(שווה) מהשני, שקטן(שווה) לשלישי, שקטן (שווה) לרביעי וכו' וכו'. כלומר a1 משמש חסם מלרע. חסם מלעיל יש לפי השאלה שלך, ולכן היא חסומה בסה"כ.
מישהו יכול להוסיף לכאן קישור למבחנים לדוגמא באינפי 1 ובלינארית 2? תודה!


== כל סדרה מונוטונית מתכנסת במובן הרחב? ==
== רציפות במ"ש ==


כל סדרה מונוטונית מתכנסת במובן הרחב?
יש לי שאלה כללית: יש משפט שאומר שאם פונקציה רציפה בקטע והגבולות בקצות הקטע קיימים וסופיים אז הפונקציה רציפה במ"ש עכשיו אם הפונקציה מוגדרת רק בסביבה ימנית של קצה הקטע האם המשפט יהיה נכון ע"י בדיקת הגבול הימני בקצות הקטע לדוגמא האם אפשר להוכיח ששורש x רציפה במ"ש ב(0,1) בעזרת זה שהיא רציפה בקטע הגבול ב-1 הוא 1 והגבול הימני באפס הוא אפס ? ואם לא איך אפשר להוכיח ששורש x רציפה במ"ש?
::הכוונה בגבולות בקצות הקטע הם לגבולות מתוך הקטע כלומר החד צדדיים כמו שרצית. אני לא בטוח אם למדתם השנה את המשפט הזה בהרצאה. בכל מקרה בקטע סופי ההוכחה די ברורה מרחיבים את הגדרת הפונקציה בקצוות לפי עררכי הגבול בקצוות ואז קל לראות שהפונקציה המורחבת גם כן רציפה. מכאן היא רציפה במ"ש בקטע הסגור לפי קנטור ולכן רבמ"ש גם בתת הקטע שממנו התחלנו אבל בתת הקטע היא מתלכדת עם הפונקציה המקורית. --[[משתמש:מני ש.|מני]] 23:47, 23 בינואר 2013 (IST)


*(לא מתרגל) כן, זהו משפט מההרצאה.
== רשימת משפטים ==


== תרגיל 4 שאלה 4 ב (תיכוניסטים) ==
האם רשימת המשפטים שהועלתה לאתר היא מהסיבה שתהיה הוכחת משפט/ים מתוכם? או כי פשוט החלטתם להעלות ללא קשר למבחן?


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


הכוונה היא + אינסוף.


== העלאת תרגילים (תיכוניסטים) ==
(לא מתרגל / מרצה) רשימת המשפטים והוכחתם שעלו לאתר מיועדים לקבוצת התיכוניסטים (אני לא יודע מה עם הבוגרים) של פרופ' אגרנובסקי. במבחן אחד המשפטים מהרשימה או יותר עשויים להופיע כשאלה --[[משתמש:גיא|גיא]] 14:52, 25 בינואר 2013 (IST)


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


== בוחן (תיכוניסטים) ==
== שיעור חזרה לקבוצה של שמחה ==


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


== תרגיל 3 (מדמ"ח) ==


שלום,
(לא מתרגל / מרצה) של איזה מרצה ואיזו קבוצה? --[[משתמש:גיא|גיא]] 13:28, 26 בינואר 2013 (IST)
הגשת תרגיל 3 נדחתה? לכולם? לחלק?
תודה מראש.


== תרגיל 5 שאלה 1 (תיכוניסטים) ==


האם מותר להסתמך על כך ש (sin(1/n שואף לאפס או שצריך להוכיח את זה על פי ההגדרה?
לקבוצה של שמחה הורוביץ.


== תרגיל 4 ==
== מספר שאלות לגבי רשימת המשפטים של פרופ' אגרונובסקי (תיכוניסטים) ==


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


בשאלה 1 בנוסף למציאת הגבול, אני כאילו צריכה להראות שזה באמת הגבול לפי ההגדרה, עם הערך מוחלט וקטן מאפסילון? או שמספיק שאני מוכיחה את זה על ידי אמירה למה כל מרכיב שואף?
2) אם בחלק מההוכחות שפרופ' אגרונובסקי הראה לנו יש התעלמות ממקרי קצה, האם ניתן להתעלם מהם במבחן?
::אפשר לפי ההגדרה, אפשר לפי אריתמטיקה של גבולות ואפשר לפי משפטים אחרים. אם בחרת בשתי האפשרויות האחרונות אין צורך להוכיח לפי הגדרה.--[[משתמש:מני ש.|מני]] 22:23, 19 בנובמבר 2012 (IST)


== תרגיל 5 שימושים במשפט + שאלה 4 ==
בתודה מראש, [[משתמש:Avichai|Avichai]] 20:21, 26 בינואר 2013 (IST)


1. האם ניתן להשתמש בהכללה שהמרצה (דר הורוביץ) הראה לנו בהרצאה - lim((1+1/an)^(an))=e לכל סדרה -{an} ששואפת לאינסוף ?
(לא מרצה / מתרגל) שאלתי אותו במייל והעלתי עדכון להוכחות. הוא ביקש שנדע גם את ההוכחה להכללה של משפט קושי. --[[משתמש:Dvir1352|דביר חדד ]] 15:06, 29 בינואר 2013 (IST)
2.שאלה 4 הייתה גם בתרגיל 3, האם זו טעות או שלפתור עוד פעם?
::באופן כללי אם למדתם משפט ודאי שאתם יכולים להשתמש בו. כמובן תוך התיחסות אליו. --[[משתמש:מני ש.|מני]] 16:48, 21 בנובמבר 2012 (IST)


== תרגיל 4 שאלה 7 סעיף א (מתמטיקאים בוגרים) ==


אם ב-א אם היא מתכנסת, צריך להוכיח או משהו אחר?
דביר- פרופ' אגרונובסקי עבר על ההוכחות שלך? - זה ההוכחות שהוא רוצה שנכתוב? (צריך גם את של רול ואת שתי הפשרויות למבחן קושי של טורים??)
תודה
::אם היא מתכנסת אז צריך להוכיח ולהגיד מהו הגבול. --[[משתמש:מני ש.|מני]] 16:30, 21 בנובמבר 2012 (IST)


== תרגיל 5 שאלה 8 (תיכוניסטים) ==


אפשר להשתמש בזה שסדרה מתכנסת לגבול L אם ורק אם כל תת סדרה שלה מתכנסת ל L
אני אשלח לו מייל עם ההוכחות בדיוק, ומחר גם אפגוש אותו. ככה שרק אז אוכל לענות ב100%. כרגע מדובר בדיוק בהוכחות שהוא נתן בכיתה, פלוס ההערות שהוא הוסיף בעקבות שאלות שנשלחו אליו במייל. --[[משתמש:Dvir1352|דביר חדד ]] 23:56, 30 בינואר 2013 (IST)


???
'''הועלה עדכון לעמוד של הקורס'''
::מותר להשתמש בכל משפט שלמדתם --[[משתמש:מני ש.|מני]] 16:48, 21 בנובמבר 2012 (IST)
--[[משתמש:Dvir1352|דביר חדד ]] 21:30, 31 בינואר 2013 (IST)


== שאלה כללית בנושא תתי סדרות ==
== היינה-בורל ==


תת סדרה של an יכולה להיות מספר סופי של איברים מתוך an?
[[מדיה:Example.ogg]]
:: קודם כל הערה על המושג איברי סדרה בניגוד לאיברי קבוצה. אם מסתכלים למשל על הסדרה: <math>-1,1,-1,1,-1</math> או בקיצור <math>(-1)^n</math> אז כקבוצה מספר האיברים הוא סופי אבל כשאומרים איברי הסדרה  יש חשיבות למיקום האיברים ובכל סדרה יש אינסוף איברים. לכל מספר טבעי מתאימים איבר של הסדרה ויש חשיבות לא רק לאיבר אלא גם למיקומו. כנ"ל לגבי תת סדרה. כל תת סדרה היא בפרט סדרה. כזאת שהתקבלה מהסדרה המקורית ע"י בחירת אינסוף מקומות. לכן גם על תת סדרה הייתי אומר שמספר איברי הסדרה של תת הסדרה הוא אינסופי בהכרח. אך אם השאלה על מספר האיברים בהסתכלות כקבוצה אז בדומה לסדרה ודאי שהמספר יכול להיות סופי. --[[משתמש:מני ש.|מני]] 19:33, 21 בנובמבר 2012 (IST)


== תרגיל 4 שאלה 6 _מתמטיקאים בוגרים ==
למדנו את משפט היינה בורל ?


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


תודה
::זה אכן ערך מוחלט. לכל סדרת חיוביים  המתכנסת לאפס  צריך להוכיח שקיימות שתי סדרות: אחת גדולה מהסדרה הנתונה (בערך מוחלט) ואחת קטנה ממנה (בערך מוחלט) שגם הן מתכנסות לאפס. --[[משתמש:מני ש.|מני]] 19:24, 21 בנובמבר 2012 (IST)


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


האם אפשר להראות סדרות המקיימות bn<an<cn פרט למספר סופי של איברים?
== שאלה על הקשר בין פונקציה לנגזרתה ==
::כן. --[[משתמש:מני ש.|מני]] 19:31, 24 בנובמבר 2012 (IST)


== תרגיל 4 (מתמטיקאים) ==


האם n < 2^n לכל n טבעי דורש הוכחה באינדוקציה או שאפשר להסתמך על זה בלי להוכיח?
אם פונקציה רציפה אז האם בהכרח גם נגזרתה רציפה ?
::אפשר להסתמך ללא הוכחה.--[[משתמש:מני ש.|מני]] 19:19, 21 בנובמבר 2012 (IST)
אם כן אשמח להוכחה ואם לא אשמח להפרכה.


== שאלה כללית (תיכוניסטים) ==
פונקציה רציפה לא גוררת גזירות.. למשל פונקציית הערך המוחלט


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


*(לא מתרגל) כן: ניקח תת סדרה שמתכנסת לגבול העליון. אם נניח בשלילה שהוא אינסוף, אזי לפי ההגדרה לכל M ממשי קיים n0 כך שלכל k>k0 מתקיים ak>M. בפרט זה נכון עבור החסם העליון של הסדרה (כי היא חסומה על ידי מספר ממשי), ואם נניח שהחסם הזה הוא S, נקבל כי קיים k0 כלשהו כך שאם k>k0 מתקיים ank>S, בסתירה להגדרה של S כחסם של הסדרה an.
:גם לא, למשל הפונקציה הבאה: אם <math>x<1</math> אז <math>f(x)=1</math>, אחרת <math>f(x)=x</math>. הפונק' גזירה בכל הנקודות למעט 1, ושם גם הנגזרת לא רציפה.


== תרגיל 4 שאלה 7 (מתמטיקאים) ==
כנראה לא הייתי ברור מספיק. נניח שיש פונקציה f גזירה בכל הממשיים ! (ולכן גם רציפה). האם גם נגזרתה רציפה ? בדוגמא שלך הפונקציה לא גזירה ב-1.


אם לדוגמא אני מניח ש bn--->0 אז אני צריך לבדוק מה קורה עם an/bn או שאני עדיין יכול להניח ש an/bn---->c
::אני לא בטוח על איזה סעיף אתה מדבר אבל ככלל אם אתה מוסיף הנחה משלך אתה חייב לבדוק שהיא אינה סותרת את מה שנתון.  אם היא סותרת זה כמובן אומר שמה שהנחת אינו אפשרי בדיוק בדומה לרעיון של הוכחה בדרך השלילה. --[[משתמש:מני ש.|מני]] 21:18, 22 בנובמבר 2012 (IST)


* טוב, הדיון הזה נהיה קצת הזוי... :) בואו נראה האם הבנתי את השאלה. יש פונקציות רציפות וגזירות כך שנגזרתן אינן רציפה. הדוגמה הסטנדרטית היא: <math>f(x)=x^2\sin{\frac{1}{x}}</math> עבור <math>x\neq 0</math>, ו- <math>f(0)=0</math>. למרות שהנגזרת באפס קיימת, פונקציית הנגזרת אינה רציפה שם. --[[משתמש:לואי פולב|לואי]] 18:03, 2 בפברואר 2013 (IST)


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


גם בסעיף א וגם בסעיף ג יש לך שתי אפשרויות שרק אחת מהן נכונה. האחת: להוכיח שהסדרה מתכנסת לגבול ממשי או אינסופי ואז בסעיף א גם להגיד מהו הגבול.  מן הסתם במקרה זה לא תהיה דוגמא נגדית שהסדרה לא מתכנסת כי הוכחת שבהכרח יש התכנסות. השניה:  למצוא דוגמא נגדית שהסדרה לא מתכנסת (כמובן כשמתקיימים נתוני השאלה) האפשרות הזו כמובן סותרת את האפשרות הראשונה.
מתי מתקיים שיעור החזרה לקבוצה של שמחה הורוביץ'?
רק אחת משתי האפשרויות האלה באמת קיימת ואותה אתה צריך להראות כלומר להוכיח את האפשרות הראשונה או למצוא דוגמא נגדית עבור השניה.  --[[משתמש:מני ש.|מני]] 19:27, 24 בנובמבר 2012 (IST)


== תרגיל 5 שאלה 5 ==
*ההודעה נשלחה במייל ממלי:


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


== תת סידרה מתכנסת ==
שם המרצה : ד"ר הורוביץ שמחה


זה נכון להגיד שאם סידרה an מתכנסת ל b כלשהו, אזי כל תת סידרה מתכנסת של an מתכנסת אף היא לאותו b?
שעור חזרה עם ד"ר הורוביץ יתקיים ב תאריך 5/2/13 בשעה  16-18 בכיתה 202/103
ואם זה נכון, אפשר כיוון להוכחה של טענה כזו?


== הבוחן השני (תיכוניסטים) ==


(לא מתרגל / מרצה) זהו משפט שלמדנו בהרצאה - אם סדרה מתכנסת אז כל תת סדרה שלה מתכנסת גם. כדי להוכיח ניתן להיעזר בהגדרת הגבול --[[משתמש:גיא|גיא]] 11:54, 23 בנובמבר 2012 (IST)
אפשר הסבר לשאלה 3 סעיף ג', למה x = 0 היא נקודת אי רציפות ממין שני?


== צריך ללמוד הוכחות של משפטים שאינם ברשימה? ==


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


::זאת שאלה מעולה. למרצים. :) --[[משתמש:לואי פולב|לואי]] 17:56, 3 בפברואר 2013 (IST)


(לא מתרגל / מרצה) כן --[[משתמש:גיא|גיא]] 13:53, 23 בנובמבר 2012 (IST)


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


http://www.math-wiki.com/index.php?title=88-132_%D7%90%D7%99%D7%A0%D7%A4%D7%99_1_%D7%A1%D7%9E%D7%A1%D7%98%D7%A8_%D7%90%27_%D7%AA%D7%A9%D7%A2%D7%91/%D7%9E%D7%A2%D7%A8%D7%9A_%D7%AA%D7%A8%D7%92%D7%95%D7%9C/%D7%A1%D7%93%D7%A8%D7%95%D7%AA/%D7%9E%D7%95%D7%A0%D7%95%D7%98%D7%95%D7%A0%D7%99%D7%95%D7%AA
== רציפות במידה שווה של אקספוננט ולאן ==


אני מדבר על התרגיל השני בדף הזה...השאלה עם האלפא ובטא.
האם האקספוננט רציף במ"ש על כל הישר הממשי ואותה שאלה לגבי ln x בין 0 לאינסוף
למה רוצים להוכיח כי איברי הסדרה an גדולים בהתאמה מאיברי הסדרה bn? מה המוטיבציה לצעד הזה?
אם אפשר לצרף הוכחה
תודה


דבר שני, איך בכלל יודעים מבחינה אינטואיטיבית שאיברי הסדרה an גדולים מאיברי הסדרה bn? הרי לפני שאני בא להוכיח כזה דבר,
::נמצא במערכי תרגול ובשיעורי הבית. --[[משתמש:לואי פולב|לואי]] 17:57, 3 בפברואר 2013 (IST)


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


אשמח לקבל תשובה לשתי השאלות הללו.
בנוגע לe^x אפשר לקחת שתי סדרות ולהפריך זאת, לדוגמא על ידי Xn=n+1/n וכן Yn=n. זה יוצא קצת ארוך ועם הרבה לופיטל, אבל בסוף מתקבל שהגבול הוא מינוס אינסוף. אפשר גם לקחת Xn=lnn+1/n וכן Yn=lnn ולקבל כי ההפרש של הפונ' שואף ל-1, זה מעט קצת יותר.


תודה מראש
== איפה אפשר למצוא מבחנים של פרופסור אגרנובסקי? ==


או בכלל?...


(לא מתרגל / מרצה) השאיפה הייתה להראות ששתי הסדרות חסומות ומונוטוניות. שים לב כי <math>a_n</math> מונוטונית יורדת, ואילו <math>b_n</math> מונוטונית עולה. כשהראנו שאיברי הסדרה <math>a_n</math> גדולים בהתאמה מאיברי <math>b_n</math>, מצאנו חסמים (מלעיל ומלרע) לכל אחת מהסדרות - ובכך הוכחנו כי הן מתכנסות. לגבי אינטואיציה - צריך לנסות. אפשר לקחת דוגמאות מספריות כדי לקבל אינטואיציה, למרות שעם ניסיון מגיעה אינטואיציה --[[משתמש:גיא|גיא]] 16:14, 23 בנובמבר 2012 (IST)
http://u.cs.biu.ac.il/~sheinee/


== בהמשך לשאלה מהמערת תרגול ==
ודביר חדד העלה מבחנים ממקומות אחרים:
http://www.math-wiki.com/index.php?title=%D7%90%D7%99%D7%A0%D7%A4%D7%99_1_-_%D7%9E%D7%91%D7%97%D7%A0%D7%99%D7%9D_%D7%9E%D7%90%D7%95%D7%A0%D7%99%D7%91%D7%A8%D7%A1%D7%99%D7%98%D7%90%D7%95%D7%AA_%D7%A9%D7%95%D7%A0%D7%95%D7%AA


http://www.math-wiki.com/index.php?title=88-132_%D7%90%D7%99%D7%A0%D7%A4%D7%99_1_%D7%A1%D7%9E%D7%A1%D7%98%D7%A8_%D7%90%27_%D7%AA%D7%A9%D7%A2%D7%91/%D7%9E%D7%A2%D7%A8%D7%9A_%D7%AA%D7%A8%D7%92%D7%95%D7%9C/%D7%A1%D7%93%D7%A8%D7%95%D7%AA/%D7%9E%D7%95%D7%A0%D7%95%D7%98%D7%95%D7%A0%D7%99%D7%95%D7%AA
בהצלחה לנו (:


לא ממש מובן לי כיצד יתכן ש-an גדולה מ-bn לכל n בזמן ש-an יורדת ו-bn עולה. איך זה שאין שלב כלשהו שבו איברי bn יהיו גדולים מאיברי an עבור n כלשהו????
== האם אפשר להסתמך על ההגדרה של ==


תודה מראש
0^0=1?


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


(לא מתרגל / מרצה) ניקח לדוגמה את שתי הסדרות <math>b_n=-1/n</math>, <math>a_n=1/n</math>. שים לב ש-<math>a_n</math> מונוטונית יורדת, <math>b_n</math> מונוטונית עולה ולמרות זאת לכל <math>n\in N</math>, מתקיים <math>b_n<a_n</math>. זו רק דוגמה אחת - פשוט גבול כל סדרה גם יהיה קטן (או גדול) או שווה לאיברי הסדרה השנייה --[[משתמש:גיא|גיא]] 16:16, 23 בנובמבר 2012 (IST)
*(לא מתרגל) נוסחאת טיילור מתבססת על 3 דברים במקרה שבו k=0 מתקבל בסכום : 1=0^(x-x0), הנגזרת האפס של פו' בנקודה שווה לערך הפו' בנקודה, ו1=!0.


== מדעי המחשב שאלה 1 תרגיל4 ==
== איך מראים שלמשוואה tanx=x יש אינסוף פתרונות? ==


נניח שאני רוצה להוכיח שהסדרה an חסומה ומונוטונית ולכן מתכנסת.
תודה..


א', איך אני יודע האם לנחש שהיא יורדת או לנחש שהיא עולה?
tg(pi/4+pi*k)=1
tg(-pi/4+pi*k)=-1
הפונקציה רציפה בקטע הנ"ל ולכן לפי ערך הביניים קיימות אינסוף נקודות שבהן f(x)=0


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


ג', איך אפשר להראות שהסדרה חסומה??
למה:


*(לא מתרגל) א' אפשר להציב כמה מספרים ולראות.
<math>lim_{x\rightarrow \infty } \frac{3e^{3x}-5}{e^{3x}-5x}= lim_{x\rightarrow \infty } \frac{9e^{3x}}{3e^{3x}-5}</math>  ?


ב' יש כמה דרכים, אינדוקציה זו אחת מהן. דרך נוספת: נניח שאנחנו רוצים להוכיח שהסדרה עולה, לכן נוכיח כי עבור האיבר הכללי an מתקיים
לופיטל
http://latex.codecogs.com/gif.latex?\frac%20{%20{%20a%20}_{%20n+1%20}%20}{%20{%20a%20}_{%20n%20}%20}%20\ge%201\quad%20or\quad%20{%20a%20}_{%20n+1%20}-{%20a%20}_{%20n%20}\ge%200


ובדומה עבור יורדת.
נכון! מהמם, תודה (:


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


== סדרה שאינה חסומה מלעיל היא סדרה מונוטונית עולה? ==
עוד שאלה: בסעיף ד הבנתי שהשתמשנו בלופיטל:


<math>e^{lim_{x\rightarrow \infty}\frac{lnx}{x}}=e^{lim_{x\rightarrow \infty}\frac{\frac{1}{x}}{1}}</math>


סדרה שאינה חסומה מלעיל היא סדרה מונוטונית עולה?
אבל למה בלי נוסחת הגזירה של מנה?


::בלהופיטל גוזרים את המונה והמכנה בנפרד...


(לא מתרגל / מרצה) לא בהכרח. קח את הסדרה: <math>x_n=(-1)^n\cdot n</math> --[[משתמש:גיא|גיא]] 16:08, 23 בנובמבר 2012 (IST)


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


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


: לגבי לא שואפת לאינסוף, היא לא חסומה מלמטה ע"י 0 החל משלב מסויים


מישהו יודע מתי המבחן יגמר ? (עם תוספת זמן ובלי תוספת זמן)


(לא מתרגל / מרצה) השלילה של שאיפה לאינסוף היא <math>\exists M\in R \forall n\in N \exists n_1\ge n : x_{n_1}\leq M</math>. קל לראות שאפילו לכל <math>M</math> שתבחר, לכל <math>n\in N</math> - אם <math>M<0</math> אז <math>x_{n+2}<M</math> ואם <math>M\ge 0</math> אז <math>x_{n+1}<M</math>. בצורה דומה לא חסומה --[[משתמש:גיא|גיא]] 17:23, 23 בנובמבר 2012 (IST)
מה יהיה מבנה המבחן והאם תהיה בחירה ?


== שאלה חשובה ==
== אפשר בבקשה לפרסם פתרון למבחן של המתמטיקאים מועד א'? ==


אם הגבול של הסדרה an הוא L אז הגבול של הסדרה an+1 הוא גם L?
רוב תודות!


(n+1 מופיע כאינדקס)
::אני חושב שהמתרגלים יצאו לחופש =) אפשר לכתוב פתרונות בעצמנו כמו שהתיכוניסטים עשו (ראיתי באתר שלהם בשנה שעברה) ואז אפשר לבקש מהמתרגלים שיעלו לכולם ואולי גם יבדקו אם זה נכון מה שעשינו.


רעיון מעולה!אז תכתוב אתה ותעלה לאתר לכולם?


(לא מתרגל) כן
== איך ללמוד למועד ב? ==


== מדעי המחשב שאלה 1 תרגיל 4 ==
מישהו יכול להמליץ לי על דרך טובה להתכונן למועד ב? אני די תקוע...


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


אם לא, כיצד אני מנמק שההוכחה של חסומה מלמטה + יורדת==>מתכנסת? הרי המשפט אומר שצריך להוכיח שהסדרה מונוטונית וגם חסומה (כלומר חסומה מלמעלה וגם חסומה מלמטה)
איך בודקים אם פונקצייה גזירה פעמיים, או שלושה פעמים, וכו׳ (עד הרמה הn)??
::אם זו פונקציה אלמנטרית היא גזירה אינסוף פעמים בתחום הגדרתה.
כדי לבדוק גזירות פונקציה מפוצלת למשל פשוט צריך לבדוק לפי ההגדרה. בהנחה שבכל תחום הפונקציה היא פונקציה גזירה (למשל אלמנטרית שמוגדרת בכל הממשיים) אז הנקודות היחידות שצריך לבדוק לפי הגדרה הן הנקודות שבין התחומים המפוצלים. אם הפונקציה היתה גזירה אז אפשר לרשום את פונקציית הנגזרת. כלומר את הגדרה של פונקציית הנגזרת בכל נקודה. אחרי שרושמים אותה שוב אפשר לבחון אם פונקציה זו שהתקבלה, זאת אומרת פונקציית הנגזרת הראשונה, גזירה בכל נקודה או לא בדיוק כמו שעשינו בשלב הקודם.  --[[משתמש:מני ש.|מני]] 00:34, 22 בפברואר 2013 (IST)


*(לא מתרגל) סדרה מונוטונית יורדת תמיד חסומה מלעיל, על ידי האיבר הראשון.
== סמסטר ב' ==


== קיימת סדרה ששואפת לאינסוף ולא עולה? ==
מתי מתחיל סמסטר ב'? (לתיכוניסטים)
:מה זה קשור לתיכוניסטים? מתחיל לכולם ב-26/2


קיימת סדרה ששואפת לאינסוף ולא עולה?
== ללומדים עם ד"ר מיכאל בשימושי המחשב ==


כן, ניקח לדוגמא את הסדרה הבאה: במקומות האי זוגיים שלה n ובמקומות זוגיים n+2, כלומר הסדרה:
באיזה יום ושעה יש את ההרצאה?


....1,3,2,4,3,5,4,6,5
== בחירת c בנוסחת טיילור עם שארית לגרנג' ==


היא שואפת לאינסוף, כי לכל M בR קיים n0 כך שלכל n>n0 מתקיים an>M, והוא לדוגמא M+10000. אבל היא לא עולה.
איך בוחרים את c? אני יודע שהוא בין x לx0 אבל זה אומר שניתן לבחור כל ערך ביניהם? זה לא ישנה את הקירוב?


== שאלה לגבי סכום חלקי של טור ==
*(לא מתרגל) לא בוחרים את c. משפט טיילור מבטיח שהוא קיים, זה הכל - אי אפשר לדעת עליו כלום. המידע היחיד עליו שהוא נמצא בין X לX0. ברוב התרגילים זה עוזר להעריך את השארית, שכן אפשר לאמר שהנגזרת ה-n+1 בטוח קטנה מהצבת ערך הקצה(כלומר הנגזרת הn+1 בX או בX0, תלוי בפונקציה).


נניח שיש לי את הטור
== איך מחשבים את הגבול הבא ==


2+4+6+8+10...
sqrt(x)sin(1/x)
אשמח לעזרה..תודה מראש...x שואף לאינסוף..שכחתי לציין..


בדרת הסכומים החלקיים שלו היא
(לא מתרגל / מרצה) x שואף למה? --[[משתמש:גיא|גיא (לא מתרגל / מרצה)]] 19:24, 11 במאי 2013 (IDT)


2,6,12,20,30,.....
(לא מתרגל / מרצה) פתרון: <BR>
<math>\lim_{x\rightarrow\infty}\sqrt{x}\cdot\sin{\frac{1}{x}}=\left \{ y=\frac{1}{x}\ ; \ y\rightarrow 0 \right \}=\lim_{y\rightarrow 0}\frac{\sin y}{\sqrt{y}}=\left \{ L'hopital \right \}=\lim_{y\rightarrow 0}\frac{\cos{y}}{\frac{1}{2\sqrt{y}}}=\lim_{y\rightarrow 0}2\sqrt y\cos y=0</math> --[[משתמש:גיא|גיא (לא מתרגל / מרצה)]] 20:18, 11 במאי 2013 (IDT)


??
== שאלה חשובה לגבי הגדרת גבול של פונקציות ==


* כן, כי סדרת הסכומים החלקיים היא <math>2+4+6+...+2n=n^{ 2 }+n</math> ואם נציב n טבעיים נקבל את הסדרה שהראית.
מדוע הטיעון האינטואיטיבי הבא לא שקול בדיוק למה שאומרת ההגדרה של גבול פונקציות. כלומר אפשר לקבל דוגמה שבה ההגדרה הפורמלית של גבול פונקציות מתקיימת בעוד שהטיעון האינטואיטיבי לא מתקיים?


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


סדרה חסומה מלעיל יכולה להתכנס לאינסוף?
ההגדרה הפורמלית אומרת שלכל סביבת אפסילון של L קיימת סביבת דלתא של Xo כך שלכל x ששייך לסביבת דלתא של Xo מתקיים ש
f(x) שייך לסביבת אפסילון של L.


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


1,2,3,4,5,0,6,7,8,9,10,0,11,12,13,14,15,0,......
אם אין דוגמה כזו, אזי הטיעון האינטואיטיבי משקף באופן מושלם את ההגדרה הפורמלית, רק שהוא לא כתוב בכתיב מתמטי פורמלי?


== משהו שלא מובן לי בהגדרה של התכנסות לאינסוף ==
תודה מראש.
 
נניח יש לי את הסדרה
1,4,9,16,25,....
ההגדרה של התכנסות לאינסוף אומרת שלכל מספר ממשי M קיים No טבעי כך שלכל n>No מתקיים an>M.
 
אני רוצה לראות ע"י הצבת מס' ספציפי ב-M כיצד ההגדרה מתקיימת..אני לא כל כך מבין וויזואלית מה ה-M הזה אומר.
 
נניח אני לוקח M=100. אז אני צריך להראות שקיים No (שאני מבין שזה אינדקס בסדרה) כך שכל האיברים שיופיעו באינדקסים שאחרי No, גדולים מ-M?
 
כלומר כאן אני יכול לקחת במקום No=10, והחל מהאיבר שהאינדקס שלו הוא 10 (ערך האיבר הזה הוא 100) מתקיים an>100?

גרסה אחרונה מ־07:57, 13 במאי 2013

חזרה לדף הקורס


גלול לתחתית העמוד


הוספת שאלה חדשה

הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).

-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן

אם אתם רוצים לשאול שאלה עליכם ליצור חשבון משתמש באתר.


ארכיון

שאלות

הערה לגבי הצגת שאלות

כשמתייחסים לשאלה משיעורי הבית אז בשורת הכותרת פרט למספר התרגיל ולמספר השאלה רצוי מאוד לומר על איזה קבוצה מדובר:מתמטיקאים,תיכוניסטים או מדמ"ח. אחרת, זה יכול לבלבל הן את הסטודנטים והן את המתרגלים. --מני 18:27, 31 באוקטובר 2012 (IST)

(מתמטיקאים) תרגיל 7 שאלה 5

כדי להפריך התכנסות של טור מראים שהאיבר הכללי לא שואף לאפס. השאלה שלי האם אפשר להפריד באיבר הכללי ולהראות פעם אחת על האיבר הכללי הזוגי (כאשר n זוגי) שהוא לא מתכנס לאפס ופעם שניה על האיבר הכללי האי זוגי שהוא לא מתכנס לאפס. האם די בכך כדי לטעון שהאיבר הכללי לא מתכנס לאפס?


היי, מקווה שאני לא טועה ומטעה, אבל לדעתי מספיק להוכיח על אחת מתתי הסדרות (זוגיים או אי זוגיים) שאינה שואפת לאפס, בכדי להוכיח שכל הסדרה שאינה שואפת לאפס. הרי מתקיים: אם סדרה an שואפת ל-l אזי כל תת-סדרה ank שואפת ל-l. וזה בדיוק כמו: אם יש תת-סדרה ank שלא שואפת ל-l, אזי הסדרה an אינה שואפת ל-l.

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

אפשר בבקשה לפרסם את תרגיל 8 למתמטיקאים?

תודה!

תרגיל מס' 8 שאלה 1

לפי לייבניץ, אם an היא סדרה מונוטונית יורדת של מס' חיובים השואפת ל-0, אזי הטור מתכנס, האם נכון גם לגבי תתי-סדרות, זוגיים ואי-זוגיים? האם ניתן להראות מונוטיות יורדת עבור שני איברים זוגיים ולאחר מכן, עבור שני איברים א"ז? תודה.


(לא מתרגל / מרצה) זה אכן אפשרי, אך זה לא אומר כלום על מונוטוניות הסדרה כולה, שכן יכול להיות שגם הזוגיים וגם האי זוגיים מונוטוניים עולים, אבל לכל [math]\displaystyle{ n\in\mathbb{N} }[/math] מתקיים [math]\displaystyle{ a_{2n}\gt a_{2n+1} }[/math], ואז אין מונוטוניות של הסדרה כולה --גיא 17:40, 23 בדצמבר 2012 (IST)

תרגיל 8 שאלה 5

חסר במקרה נתון של מונוטוניות??.. כי לא ברור איך לפתור.. או שצריך לחלק למיקרים אם Bn מונוטונית ואם לא..


(לא מתרגל / מרצה) לא חסר שום נתון. באיזה כיוון את/ה מתקשה להוכיח? --גיא 06:47, 26 בדצמבר 2012 (IST)

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

בכיוון שציינת שווה לנסות להוכיח יותר, עד כמה שזה נשמע מוזר, שהטור [math]\displaystyle{ \sum_{n=1}^\infty a_nb_n }[/math] מתכנס אפילו בהחלט לכל סדרה חסומה. אפשר בהקשר זה לחשוב על מבחני התכנסות נוספים. --מני 10:45, 26 בדצמבר 2012 (IST)

תרגיל 8

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


(לא מתרגל / מרצה) בוודאי שלא. לדוגמה ניקח את הטור ההרמוני [math]\displaystyle{ \sum _{n=1}^\infty \frac{1}{n} }[/math] - הסדרה [math]\displaystyle{ \frac{1}{n} }[/math] חסומה ע"י 1, אבל טורה מתבדר ולכן אינו חסום. לגבי הכיוון השני, אני חושב שגם לו ניתן למצוא הפרכה אבל אני לא בטוח סופית --גיא 06:45, 26 בדצמבר 2012 (IST)

הכיוון השני כן נכון. כי אם קיים [math]\displaystyle{ M\gt 0 }[/math] כך ש[math]\displaystyle{ \forall n \in \mathbb{N} \ M\geq |S_n| }[/math]

אז[math]\displaystyle{ \forall n \in \mathbb{N} \ |a_{n+1}|=|S_{n+1}-S_n|\leq |S_{n+1}|+|S_n|\leq 2M }[/math]. --מני 10:56, 26 בדצמבר 2012 (IST)

זהויות טריגונומטריות

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

תודה

אני לא יודע בשלב זה לספק רשימת זהויות חיוניות. אני מניח שכל הזהויות שניתקלים בהן בהרצאה, תרגול/ש"ב הן הזהויות ההכרחיות. דברים שכן חשובים ואני יכול להצביע עליהם אלו הזהויות של קוסינוס וסינוס זווית כפולה וגם מעבר ממכפלה לסכום (יש טבלה כזו בקישור שציינת). --מני 19:51, 26 בדצמבר 2012 (IST)

שלילת התכנסות טור

האם על סמך התנאי an+1/an>1 ניתן להסיק ש lim an שונה מ-0 ? ובכך לקבוע ישירות התבדרות הטור.

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

אם הטור מתכנס אז הסדרה שואפת לאפס.

אפשר להסיק שהטור מתבדר.

נכון. תובנה יפה. בהמשך לכך שימו לב שאם התנאי [math]\displaystyle{ \frac{a_{n+1}}{a_n}\gt 1 }[/math] מתקיים נניח החל מ[math]\displaystyle{ n_0 }[/math] אז אם

[math]\displaystyle{ a_{n_0} }[/math] שלילי אז התנאי דווקא יגרום לכך שהסדרה מונוטונית יורדת מאותו מקום,וגם אז הגבול לא יכול להיות אפס. כי אם תהיה התכנסות הגבול יהיה קטן או שווה ל[math]\displaystyle{ a_{n_0} }[/math] שהוא שלילי. --מני 20:02, 26 בדצמבר 2012 (IST)

תרגיל 6 שאלת בונוס (מתמטיקאים)

נתון בשאלה שמתקיים: [math]\displaystyle{ \lim_{n\to \infty} (a_{n+1}-a_{n})=0 }[/math] כלומר, לכל [math]\displaystyle{ \varepsilon\gt 0 }[/math] קיים [math]\displaystyle{ n_{0} }[/math] שהחל ממנו [math]\displaystyle{ \left |a_{n+1}-a_{n} \right |\lt \varepsilon }[/math]

ניסיתי להשתמש בקושי ולטעון: [math]\displaystyle{ \left | a_{n+p}-a_{n} \right |=\left | a_{n+p}-a_{n+p-1}+a_{n+p-1}-a_{n+p-2}+...+a_{n+1}-a_{n} \right |\leq \left | a_{n+p}-a_{n+p-1} \right |+\left | {n+p-1}-a_{n+p-2} \right |+...+\left | a_{n+1}-a_{n} \right | }[/math]

ולכל [math]\displaystyle{ n\geq n_{0} }[/math] מתקיים:

[math]\displaystyle{ \left | a_{n+p}-a_{n} \right |\lt \varepsilon +\varepsilon +...+\varepsilon =p\cdot \varepsilon }[/math]


נבחר [math]\displaystyle{ \varepsilon=\frac{\varepsilon _{0}}{p} \Rightarrow \varepsilon \cdot p=\varepsilon _{0} }[/math]

ונקבל : לכל [math]\displaystyle{ \varepsilon _{0} }[/math] (בהתאם לבחירת [math]\displaystyle{ \varepsilon }[/math] כרצוננו):


[math]\displaystyle{ \left | a_{n+p}-a_{n}\right |\lt \varepsilon _{0} }[/math]


ולכן, לפי קושי, הסדרה מתכנסת לגבול סופי.

האם זה נכון?

לא. יש בעיה עם הכמתים (קיים,לכל). בהגדרה לפי קושי, אם אשתמש בסימונים שלך צריך להוכיח שלכל [math]\displaystyle{ \epsilon_0 }[/math] קיים [math]\displaystyle{ n_0 }[/math] כך שלכל [math]\displaystyle{ n\geq n_0 }[/math] ולכל [math]\displaystyle{ p }[/math] טבעי[math]\displaystyle{ \left | a_{n+p}-a_{n}\right |\lt \varepsilon _{0} }[/math].

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

נציב לפי ההצעה שלך [math]\displaystyle{ p }[/math] טבעי מסוים ועבור [math]\displaystyle{ \varepsilon _0 }[/math] מסוים, [math]\displaystyle{ \epsilon=\frac{\varepsilon_0}{p} }[/math] ונשתמש בגבול הנתון ונסיק שקיים [math]\displaystyle{ n_0 }[/math] שתלוי ב [math]\displaystyle{ \varepsilon }[/math] ולכן תלוי ב[math]\displaystyle{ p }[/math] כך שלכל [math]\displaystyle{ n\geq n_{0} }[/math] ועבור אותו [math]\displaystyle{ p }[/math] ספציפי [math]\displaystyle{ \left | a_{n+p}-a_{n}\right |\lt \varepsilon _{0} }[/math]. אבל כדי להוכיח קריטריון קושי צריך שהנ"ל יתקיים לכל [math]\displaystyle{ p }[/math] ולא ל [math]\displaystyle{ p }[/math] מסויים. אם היינו משנים את [math]\displaystyle{ p }[/math] גם [math]\displaystyle{ n_0 }[/math] היה יכול להשתנות (כי הוא תלוי ב[math]\displaystyle{ \varepsilon }[/math] שתלוי ב[math]\displaystyle{ p }[/math]).


אגב, אי אפשר להוכיח שקריטריון קושי מתקיים ושהסדרה מתכנסת שכן קיימות דוגמאות נגדיות לסדרות שלא יתכנסו אך עדיין יקימו את התנאי בשאלה. --מני 11:50, 28 בדצמבר 2012 (IST)


נכון. תודה (:

מועד הבוחן

מתי יתקיים הבוחן השני לתיכוניסטים?


(לא מתרגל / מרצה) התאריך אמור להתפרסם בקרוב :) --גיא 21:58, 1 בינואר 2013 (IST)

תיכוניסטים תרגיל 9 שאלה 3

האם L ממשי או שייך לקו הממשי המורחב(כלומר כולל פלוס ומינוס אינסוף)?

ממשי --ארז שיינר

תרגיל 9 שאלה 1

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

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

חוץ מזה אנחנו לוקחים איקס לפי דלתא למשל [math]\displaystyle{ \delta\gt |x-1|\gt 0 }[/math] כשבודקים גבול פונקציה בנקודה 1. בעצם כתוב כאן קיימת דלתא כך שלכל איקס המקיים [math]\displaystyle{ \delta\gt |x-1|\gt 0 }[/math]. לכן האיקסים אמורים להיות תלויים בדלתא ולא ההיפך... אי אפשר להגיד פתאום ש [math]\displaystyle{ |x+5|\gt \delta }[/math]. הרעיון הוא להוסיף אילוץ על דלתא שלא תלוי באיקס למשל שדלתא קטנה משליש ואז דווקא לקבל מידע על הטווח של האיקסים לפי [math]\displaystyle{ \delta\gt |x-1|\gt 0 }[/math] בדוגמא שלי --מני 20:28, 2 בינואר 2013 (IST)

תיכוניסטים תרגיל 9 שאלה 2b

ניתן להניח שאם [math]\displaystyle{ \lim_{x \rightarrow - \infty }f(x)=- \infty }[/math] וגם [math]\displaystyle{ \lim_{x \rightarrow - \infty }g(x)=- \infty }[/math] אז [math]\displaystyle{ \lim_{x \rightarrow - \infty }f(x)g(x)= \infty }[/math] ?


(לא מתרגל / מרצה) כן, לפי אריתמטיקה של גבולות --גיא 20:07, 4 בינואר 2013 (IST)

שאלה כללית

איך אני מחשב גבולות חד צדדיים של פונקציות?

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

אם f פונקציה חסומה ומונוטונית בקטע סגור [a,b] אזי קיימים הגבול מימין של a והגבול משמאל של b. דבר נחמד נוסף הוא שבמקרה בו הפונקציה עולה לדוגמא, הגבול השמאלי של b הוא הsup של כל ה(f(x בקטע, ובנוגע לגבול הימני בa הוא הinf בהתאמה. ביורדת בדומה. כלומר, אפשר לפתור את הבעיה עם חסמים במידה ומתרחש מקרה כמו המתואר לעיל.

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

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

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

לא הבנתי כל-כך למה זה נכון..


(לא מתרגל / מרצה) הנה ההסבר שלי:

ההגדרה לרציפות היא נקודתית. כלומר [math]\displaystyle{ f }[/math] רציפה בנקודה [math]\displaystyle{ x_0 }[/math] אם [math]\displaystyle{ lim_{x\rightarrow x_0}f(x)=f(x_0) }[/math], כלומר [math]\displaystyle{ \forall\varepsilon\gt 0\exists\delta\gt 0\forall x,0\lt |x-x_0|\lt \delta: |f(x)-f(x_0)|\lt \varepsilon }[/math]. כלומר בבחירת [math]\displaystyle{ \delta }[/math] יש גם תלות ב-[math]\displaystyle{ x_0 }[/math].

לעומת זאת, ההגדרה לרציפות במידה שווה היא כוללת. פונקציה [math]\displaystyle{ f }[/math] היא רציפה שווה בקטע [math]\displaystyle{ A }[/math] אם [math]\displaystyle{ \forall\varepsilon\gt 0\exists\delta\gt 0\forall x_1,x_2\in A, |x_1-x_2|\lt \delta:|f(x_1)-f(x_2)|\lt \varepsilon }[/math]. כלומר פה אין קודם בחירה של הנקודה, אלא ה-[math]\displaystyle{ \delta }[/math] מתאים לכל שתי נקודות.

זו הכוונה בכך ש-[math]\displaystyle{ \delta }[/math] אינו תלוי ב-[math]\displaystyle{ x_0 }[/math]. --גיא 23:21, 6 בינואר 2013 (IST)


תודה רבה הבנתי :) כשאמרו שבחירת הדלתא תלוי ב x, לא הבנתי שהם מתכוונים ל xo.

שאלה טכנית

אם יש לי, נניח, דבר כזה:

[math]\displaystyle{ lim_{x\rightarrow 0} (\frac{1}{x}+x) }[/math]

ואני רוצה לחשב גבולות חד-צדדיים. האם מותר לי, לפני חישוב הגבולות, לומר:

[math]\displaystyle{ lim_{x\rightarrow 0} (\frac{1}{x}+x)=lim_{x\rightarrow 0} \frac{1}{x} + 0=lim_{x\rightarrow 0} \frac{1}{x} }[/math]

כאילו לעשות מעבר גבול על "חלק" מהארגומנט, אותו החלק שאינו תלוי בצד הגבול (מימין או משמאל)?

יש קצת בעיה לכתוב את זה כך כי גבול שווה לסכום הגבולות בהנחה שהגבולות בכלל קיימים בדוגמא שציינת הגבול [math]\displaystyle{ lim_{x\rightarrow 0} \frac{1}{x} }[/math] כלל לא קיים ומן הסתם גם הגבול שהתחלת איתו לא קיים. מצד שני לכתוב

[math]\displaystyle{ lim_{x\rightarrow 0^+} (\frac{1}{x}+x)=lim_{x\rightarrow 0^+} \frac{1}{x} + 0=lim_{x\rightarrow 0^+} \frac{1}{x} }[/math] נראה יותר מדוייק וכנ"ל בגבול החד צדדי השמאלי שכן הגבולות החד צדדיים האלו כן קיימים--מני 15:04, 8 בינואר 2013 (IST)

בתרגיל 10 שאלה 1ב (מתמטיקאים)

צריך להוכיח רציפות של הפונקציות sin ו-cos?

לא. --מני 16:19, 9 בינואר 2013 (IST)

חומר לבוחן (תיכוניסטים)

מה החומר לבוחן (הקבוצה של פרופ' אגרונובסקי)?

העלאת תרגיל 10 לתיכוניסיטים

ניתן בבקשה להעלאות את התרגיל של השבוע?

הבחנים

מה התאריכים של הבחנים, ומה החומר שהם יכסו? תודה

שאלה כללית

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

http://www.math-wiki.com/index.php?title=88-132_%D7%90%D7%99%D7%A0%D7%A4%D7%99_1_%D7%A1%D7%9E%D7%A1%D7%98%D7%A8_%D7%90%27_%D7%AA%D7%A9%D7%A2%D7%91/%D7%9E%D7%A2%D7%A8%D7%9A_%D7%AA%D7%A8%D7%92%D7%95%D7%9C/%D7%97%D7%A1%D7%9E%D7%99%D7%9D

הגדרת גבול של פונקציה

אם פונקציה שואפת לאינסוף, מה זה אומר??

הגדרת גבול של פונקציה

אם פונקציה שואפת לאינסוף, מה זה אומר??

כלומר אם איקס שואף לאינסוף, והגבול הוא L, מה זה אומר??


(לא מתרגל / מרצה) [math]\displaystyle{ \forall\varepsilon\gt 0\exists\delta\gt 0\forall x, x\gt \frac{1}{\delta}:|f(x)-L|\lt \varepsilon }[/math], כי כזכור [math]\displaystyle{ U_\delta (+\infty)=(\frac{1}{\delta},+\infty) }[/math]. --גיא 19:24, 12 בינואר 2013 (IST)


קצת מבלבל אותי הסביבות הללו XD


(לא מתרגל / מרצה) אם [math]\displaystyle{ x\rightarrow\infty }[/math] והגבול הוא [math]\displaystyle{ L }[/math], אז לכל [math]\displaystyle{ \varepsilon\gt 0 }[/math] שנבחר (מרחק על ציר [math]\displaystyle{ y }[/math]), קיים מרחק על ציר [math]\displaystyle{ x }[/math], שבשפה מתמטית קיים [math]\displaystyle{ \delta\gt 0 }[/math] כך שלכל [math]\displaystyle{ x\gt \frac{1}{\delta} }[/math], ערכי הפונקציה יהיו באזור של [math]\displaystyle{ L }[/math], כלומר יתקיים [math]\displaystyle{ |f(x)-L|\lt \varepsilon }[/math]. מקווה שיותר מובן :) --גיא 18:24, 16 בינואר 2013 (IST)


יש הבדל בין [math]\displaystyle{ x\gt \frac{1}{\delta} }[/math] לבין [math]\displaystyle{ x\gt \delta }[/math]?


(לא מתרגל / מרצה) באופן עקרוני אם מדובר בכל [math]\displaystyle{ \delta }[/math], אז אין הבדל גדול, אך בגלל הגדרת הסביבה אנו כותבים [math]\displaystyle{ x\gt \frac{1}{\delta} }[/math] --גיא 23:13, 16 בינואר 2013 (IST)


למה בהגדרת הסביבה צריך לרשום [math]\displaystyle{ x\gt \frac{1}{\delta} }[/math] ולא [math]\displaystyle{ x\gt \delta }[/math]?

האם יש מחר לימודים ??? (תיכוניסטים) דחוף !

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


(לא מתרגל) כן. כרגיל

מבחנים לדוגמא (תיכוניסטים)

מישהו יכול להוסיף לכאן קישור למבחנים לדוגמא באינפי 1 ובלינארית 2? תודה!

רציפות במ"ש

יש לי שאלה כללית: יש משפט שאומר שאם פונקציה רציפה בקטע והגבולות בקצות הקטע קיימים וסופיים אז הפונקציה רציפה במ"ש עכשיו אם הפונקציה מוגדרת רק בסביבה ימנית של קצה הקטע האם המשפט יהיה נכון ע"י בדיקת הגבול הימני בקצות הקטע לדוגמא האם אפשר להוכיח ששורש x רציפה במ"ש ב(0,1) בעזרת זה שהיא רציפה בקטע הגבול ב-1 הוא 1 והגבול הימני באפס הוא אפס ? ואם לא איך אפשר להוכיח ששורש x רציפה במ"ש?

הכוונה בגבולות בקצות הקטע הם לגבולות מתוך הקטע כלומר החד צדדיים כמו שרצית. אני לא בטוח אם למדתם השנה את המשפט הזה בהרצאה. בכל מקרה בקטע סופי ההוכחה די ברורה מרחיבים את הגדרת הפונקציה בקצוות לפי עררכי הגבול בקצוות ואז קל לראות שהפונקציה המורחבת גם כן רציפה. מכאן היא רציפה במ"ש בקטע הסגור לפי קנטור ולכן רבמ"ש גם בתת הקטע שממנו התחלנו אבל בתת הקטע היא מתלכדת עם הפונקציה המקורית. --מני 23:47, 23 בינואר 2013 (IST)

רשימת משפטים

האם רשימת המשפטים שהועלתה לאתר היא מהסיבה שתהיה הוכחת משפט/ים מתוכם? או כי פשוט החלטתם להעלות ללא קשר למבחן?

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


(לא מתרגל / מרצה) רשימת המשפטים והוכחתם שעלו לאתר מיועדים לקבוצת התיכוניסטים (אני לא יודע מה עם הבוגרים) של פרופ' אגרנובסקי. במבחן אחד המשפטים מהרשימה או יותר עשויים להופיע כשאלה --גיא 14:52, 25 בינואר 2013 (IST)

הבוגרים קיבלו את אותה רשימת משפטים.

שיעור חזרה לקבוצה של שמחה

באיזה תאריך ושעה השיעור חזרה יתקיים?


(לא מתרגל / מרצה) של איזה מרצה ואיזו קבוצה? --גיא 13:28, 26 בינואר 2013 (IST)


לקבוצה של שמחה הורוביץ.

מספר שאלות לגבי רשימת המשפטים של פרופ' אגרונובסקי (תיכוניסטים)

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

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

בתודה מראש, Avichai 20:21, 26 בינואר 2013 (IST)

(לא מרצה / מתרגל) שאלתי אותו במייל והעלתי עדכון להוכחות. הוא ביקש שנדע גם את ההוכחה להכללה של משפט קושי. --דביר חדד 15:06, 29 בינואר 2013 (IST)


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


אני אשלח לו מייל עם ההוכחות בדיוק, ומחר גם אפגוש אותו. ככה שרק אז אוכל לענות ב100%. כרגע מדובר בדיוק בהוכחות שהוא נתן בכיתה, פלוס ההערות שהוא הוסיף בעקבות שאלות שנשלחו אליו במייל. --דביר חדד 23:56, 30 בינואר 2013 (IST)

הועלה עדכון לעמוד של הקורס --דביר חדד 21:30, 31 בינואר 2013 (IST)

היינה-בורל

מדיה:Example.ogg

למדנו את משפט היינה בורל ?

מערכי תירגול במשפט ערך הביניים (תיכוניסטים)

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

שאלה על הקשר בין פונקציה לנגזרתה

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

פונקציה רציפה לא גוררת גזירות.. למשל פונקציית הערך המוחלט

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

גם לא, למשל הפונקציה הבאה: אם [math]\displaystyle{ x\lt 1 }[/math] אז [math]\displaystyle{ f(x)=1 }[/math], אחרת [math]\displaystyle{ f(x)=x }[/math]. הפונק' גזירה בכל הנקודות למעט 1, ושם גם הנגזרת לא רציפה.

כנראה לא הייתי ברור מספיק. נניח שיש פונקציה f גזירה בכל הממשיים ! (ולכן גם רציפה). האם גם נגזרתה רציפה ? בדוגמא שלך הפונקציה לא גזירה ב-1.


  • טוב, הדיון הזה נהיה קצת הזוי... :) בואו נראה האם הבנתי את השאלה. יש פונקציות רציפות וגזירות כך שנגזרתן אינן רציפה. הדוגמה הסטנדרטית היא: [math]\displaystyle{ f(x)=x^2\sin{\frac{1}{x}} }[/math] עבור [math]\displaystyle{ x\neq 0 }[/math], ו- [math]\displaystyle{ f(0)=0 }[/math]. למרות שהנגזרת באפס קיימת, פונקציית הנגזרת אינה רציפה שם. --לואי 18:03, 2 בפברואר 2013 (IST)

שיעור חזרה לקבוצה של שמחה

מתי מתקיים שיעור החזרה לקבוצה של שמחה הורוביץ'?

  • ההודעה נשלחה במייל ממלי:

שם הקורס : חשבון אינפיניטסימלי 1

שם המרצה : ד"ר הורוביץ שמחה

שעור חזרה עם ד"ר הורוביץ יתקיים ב תאריך 5/2/13 בשעה 16-18 בכיתה 202/103

הבוחן השני (תיכוניסטים)

אפשר הסבר לשאלה 3 סעיף ג', למה x = 0 היא נקודת אי רציפות ממין שני?

צריך ללמוד הוכחות של משפטים שאינם ברשימה?

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

זאת שאלה מעולה. למרצים. :) --לואי 17:56, 3 בפברואר 2013 (IST)


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

רציפות במידה שווה של אקספוננט ולאן

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

נמצא במערכי תרגול ובשיעורי הבית. --לואי 17:57, 3 בפברואר 2013 (IST)
  • (לא מתרגל) בנוגע לlnx אפשר לראות כי היא לא חסומה על (0,1),והוא תת קטע של הקטע המדובר, לכן היא לא רציפה שם במ"ש ולכן לא רציפה במ"ש גם בקטע המקורי.

בנוגע לe^x אפשר לקחת שתי סדרות ולהפריך זאת, לדוגמא על ידי Xn=n+1/n וכן Yn=n. זה יוצא קצת ארוך ועם הרבה לופיטל, אבל בסוף מתקבל שהגבול הוא מינוס אינסוף. אפשר גם לקחת Xn=lnn+1/n וכן Yn=lnn ולקבל כי ההפרש של הפונ' שואף ל-1, זה מעט קצת יותר.

איפה אפשר למצוא מבחנים של פרופסור אגרנובסקי?

או בכלל?...

http://u.cs.biu.ac.il/~sheinee/

ודביר חדד העלה מבחנים ממקומות אחרים: http://www.math-wiki.com/index.php?title=%D7%90%D7%99%D7%A0%D7%A4%D7%99_1_-_%D7%9E%D7%91%D7%97%D7%A0%D7%99%D7%9D_%D7%9E%D7%90%D7%95%D7%A0%D7%99%D7%91%D7%A8%D7%A1%D7%99%D7%98%D7%90%D7%95%D7%AA_%D7%A9%D7%95%D7%A0%D7%95%D7%AA

בהצלחה לנו (:

האם אפשר להסתמך על ההגדרה של

0^0=1?

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

  • (לא מתרגל) נוסחאת טיילור מתבססת על 3 דברים במקרה שבו k=0 מתקבל בסכום : 1=0^(x-x0), הנגזרת האפס של פו' בנקודה שווה לערך הפו' בנקודה, ו1=!0.

איך מראים שלמשוואה tanx=x יש אינסוף פתרונות?

תודה..

tg(pi/4+pi*k)=1 tg(-pi/4+pi*k)=-1 הפונקציה רציפה בקטע הנ"ל ולכן לפי ערך הביניים קיימות אינסוף נקודות שבהן f(x)=0

בפתרון תרגיל 12 שאלה 9 סעיף ב

למה:

[math]\displaystyle{ lim_{x\rightarrow \infty } \frac{3e^{3x}-5}{e^{3x}-5x}= lim_{x\rightarrow \infty } \frac{9e^{3x}}{3e^{3x}-5} }[/math]  ?

לופיטל

נכון! מהמם, תודה (:


עוד שאלה: בסעיף ד הבנתי שהשתמשנו בלופיטל:

[math]\displaystyle{ e^{lim_{x\rightarrow \infty}\frac{lnx}{x}}=e^{lim_{x\rightarrow \infty}\frac{\frac{1}{x}}{1}} }[/math]

אבל למה בלי נוסחת הגזירה של מנה?

בלהופיטל גוזרים את המונה והמכנה בנפרד...


אוף, נכון...

כמה שאלות לגבי המבחן (תיכוניסטים)

מישהו יודע מתי המבחן יגמר ? (עם תוספת זמן ובלי תוספת זמן)

מה יהיה מבנה המבחן והאם תהיה בחירה ?

אפשר בבקשה לפרסם פתרון למבחן של המתמטיקאים מועד א'?

רוב תודות!

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

רעיון מעולה!אז תכתוב אתה ותעלה לאתר לכולם?

איך ללמוד למועד ב?

מישהו יכול להמליץ לי על דרך טובה להתכונן למועד ב? אני די תקוע...

בדיקת גזירות

איך בודקים אם פונקצייה גזירה פעמיים, או שלושה פעמים, וכו׳ (עד הרמה הn)??

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

כדי לבדוק גזירות פונקציה מפוצלת למשל פשוט צריך לבדוק לפי ההגדרה. בהנחה שבכל תחום הפונקציה היא פונקציה גזירה (למשל אלמנטרית שמוגדרת בכל הממשיים) אז הנקודות היחידות שצריך לבדוק לפי הגדרה הן הנקודות שבין התחומים המפוצלים. אם הפונקציה היתה גזירה אז אפשר לרשום את פונקציית הנגזרת. כלומר את הגדרה של פונקציית הנגזרת בכל נקודה. אחרי שרושמים אותה שוב אפשר לבחון אם פונקציה זו שהתקבלה, זאת אומרת פונקציית הנגזרת הראשונה, גזירה בכל נקודה או לא בדיוק כמו שעשינו בשלב הקודם. --מני 00:34, 22 בפברואר 2013 (IST)

סמסטר ב'

מתי מתחיל סמסטר ב'? (לתיכוניסטים)

מה זה קשור לתיכוניסטים? מתחיל לכולם ב-26/2

ללומדים עם ד"ר מיכאל בשימושי המחשב

באיזה יום ושעה יש את ההרצאה?

בחירת c בנוסחת טיילור עם שארית לגרנג'

איך בוחרים את c? אני יודע שהוא בין x לx0 אבל זה אומר שניתן לבחור כל ערך ביניהם? זה לא ישנה את הקירוב?

  • (לא מתרגל) לא בוחרים את c. משפט טיילור מבטיח שהוא קיים, זה הכל - אי אפשר לדעת עליו כלום. המידע היחיד עליו שהוא נמצא בין X לX0. ברוב התרגילים זה עוזר להעריך את השארית, שכן אפשר לאמר שהנגזרת ה-n+1 בטוח קטנה מהצבת ערך הקצה(כלומר הנגזרת הn+1 בX או בX0, תלוי בפונקציה).

איך מחשבים את הגבול הבא

sqrt(x)sin(1/x) אשמח לעזרה..תודה מראש...x שואף לאינסוף..שכחתי לציין..

(לא מתרגל / מרצה) x שואף למה? --גיא (לא מתרגל / מרצה) 19:24, 11 במאי 2013 (IDT)

(לא מתרגל / מרצה) פתרון:
[math]\displaystyle{ \lim_{x\rightarrow\infty}\sqrt{x}\cdot\sin{\frac{1}{x}}=\left \{ y=\frac{1}{x}\ ; \ y\rightarrow 0 \right \}=\lim_{y\rightarrow 0}\frac{\sin y}{\sqrt{y}}=\left \{ L'hopital \right \}=\lim_{y\rightarrow 0}\frac{\cos{y}}{\frac{1}{2\sqrt{y}}}=\lim_{y\rightarrow 0}2\sqrt y\cos y=0 }[/math] --גיא (לא מתרגל / מרצה) 20:18, 11 במאי 2013 (IDT)

שאלה חשובה לגבי הגדרת גבול של פונקציות

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

הטיעון הוא שככל ש-X קרוב יותר ל-Xo, כך ערכי הפונקציה קרובים יותר לגבול L.

ההגדרה הפורמלית אומרת שלכל סביבת אפסילון של L קיימת סביבת דלתא של Xo כך שלכל x ששייך לסביבת דלתא של Xo מתקיים ש f(x) שייך לסביבת אפסילון של L.

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

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

תודה מראש.