שיחה:88-132 סמסטר א' תשעא/ ארכיון 10
תרגול עם אפי
מישהו יודע איפה התירגול מחר בבוקר עם אפי כהן?
- מבנה 216, חדר 201.
לגבי הבוחן.
צריך לדעת לבוחן את התהליך וביצועו של שינוי איברים בטור בכדי שיתכנס? או שמספיק לדעת לבוחן אם ניתן לעשות את השינוי/ מתכנסת בהחלט וכו... [ידוע שצריך לדעת את החומר הזה בגדול והן למבחן הסופי, השאלה אם זה גם נכלל בהיקף המידע והביצוע של הבוחן....] תודה.
- לא צריך את זה לבוחן. --ארז שיינר 20:43, 5 בדצמבר 2010 (IST)
הגשת תרגיל 8
אם אפשר לדעת מתי תאריך הגשת תרגיל 8
- תלוי מי. אצלי (ארז) ההגשה היא לשבוע הקרוב, כלומר יום ראשון --ארז שיינר 20:18, 6 בדצמבר 2010 (IST)
- אם אתה אצל אפי, ההגשה גם ביום א (הבהרה: הודעה זו נשלחה על ידי תלמיד של אפי ולא על ידי אפי עצמו...)
- ומי שאצל אדוארד?
בוחן
שלום רב,
האם תעלו בהמשך את הבוחן ואת התשובות לו (אני מדבר גם על הוחן שנערך לתיכוניסטים וגם לבוחן שנערך לסטודנטים הרגילים)?
תודה רבה מראש!
- לגבי התיכוניסטים אני לא יודע, לרגילים נעלה בימים הקרובים
תרגיל 7 שאלה 3
ארז, לא הבנתי את הפתרון שלך לשאלה 3 בתרגיל 7 (הבנתי את מה שאמרת בהתחלה, ואז כשפירקת את הסכום ל2 שברים, לא הבנתי בכלל מאיפה הגעת אליהם). אפשר קצת הסבר? תודה!
תשובה
תציב שם a=0,1,...5 ותראה שסה"כ מקבלים את כל האינדקסים האפשריים. למה הדבר דומה? נסתכל על מספרים קטנים יותר, במקום 12 ניקח 4. נראה לחלק את הטוב [math]\displaystyle{ \sum a_n }[/math] לשני טורים: [math]\displaystyle{ \sum a_{4n-a+2}-a_{4n-a} }[/math] עבור a=0,1.
מה נקבל? [math]\displaystyle{ 4n-0+2,4n-0,4n-1+2,4n-1 }[/math] שזה סה"כ [math]\displaystyle{ 4n-1,4n,4n+1,4n+2 }[/math] וזה בדיוק לחלק את הסדרה ל4 תתי סדרות שבהן לוקחים כל איבר רביעי..
אחרי שמבינים שלקחנו 12 תתי סדרות, שאר הפתרון הוא אלגברי/טריגונומטרי/אינפיניטיסימלי :) --ארז שיינר 18:36, 8 בדצמבר 2010 (IST)
- אבל לא הבנתי גם את הרעיון שמאחורי ההוכחה.. הרי חילוק לתתי סדרות הוא כמו השמת סוגריים (נראה לי), ולמדנו שאם הטור שהתקבל מטור אחר ע"י השמת סוגריים והטור המקורי לא מתכנסים ומתבדרים יחד..
- זה לא כמו השמת סוגריים, בכיתה שלי הראתי כיצד אפשר לחלק טורים באופן חוקי. נניח אתה רוצה לחלק טור לשניים, אתה פשוט מאפס פעם את האיברים הזוגיים ופעם את האי זוגיים. בינתיים ברור שסכום שני הטורים הללו שווה למקורי. עכשיו יש משפט שאם אתה מעלים את האפסים האלה, סכום הטור נשאר זהה. והנה חלקנו טור לסכום טור האיבריים הזוגיים וטור האיברים האי זוגיים. (בתרגיל אנחנו מחלקים ל6 טורים בעלי סימנים מתחלפים). --ארז שיינר 13:18, 10 בדצמבר 2010 (IST)
- אה, הבנתי, אבל לא עשינו את זה בכיתת התרגול שלי (אדוארד)...
- אפשר להראות את זה גם בעזרת סכומים חלקיים. כל סכום חלקי של הטור ניתן לפרק לסכום של שישה סכומים חלקיים אחרים, כאשר אלה מתכנסים, ואז להשתמש באריתמטיקה של גבולות של סדרות. --ארז שיינר 13:46, 10 בדצמבר 2010 (IST)
- אה, הבנתי, אבל לא עשינו את זה בכיתת התרגול שלי (אדוארד)...
- סליחה על ההטרדה, אבל לא הבנתי את החלוקה לסכום של 2 הביטויים... מה עשית? בעצם חילקת את הטור ל12 טורים רק שחיברת כל 2 מהם ביחד?
- זה לא כמו השמת סוגריים, בכיתה שלי הראתי כיצד אפשר לחלק טורים באופן חוקי. נניח אתה רוצה לחלק טור לשניים, אתה פשוט מאפס פעם את האיברים הזוגיים ופעם את האי זוגיים. בינתיים ברור שסכום שני הטורים הללו שווה למקורי. עכשיו יש משפט שאם אתה מעלים את האפסים האלה, סכום הטור נשאר זהה. והנה חלקנו טור לסכום טור האיבריים הזוגיים וטור האיברים האי זוגיים. (בתרגיל אנחנו מחלקים ל6 טורים בעלי סימנים מתחלפים). --ארז שיינר 13:18, 10 בדצמבר 2010 (IST)
- משהו כזה, צורת הרישום שם קצת לא מדויקת. זה לא בדיוק שאני מחבר כל שניים מהם, אלא אני בפועל מחלק את הטור ל6 ולא ל12 (כי מתקבלים במונה 6 ערכים שונים, כל אחד בפלוס מינוס. בכל טור אני משאיר את הפלוס מינוס של ערך מסוים, וכך אני מקבל טור עם סימנים מתחלפים). --ארז שיינר 17:57, 10 בדצמבר 2010 (IST)
- אני עדיין מתקשה להבין מה אומר הסכום של 2 האיברים שבטור. הסכום של שני הביטויים שמופיעים בטור, זה בעצם סכום של כל איבר וזה שאחריו? (בכל אחד מ6 הטורים)? אבל אם כן, אז זה לא אמור להיות לכל n אי-זוגי? (כי אם זה סכום של איבר ועוקבו, אז כל האיברים פרט לראשון ולאחרון יופיעו פעמיים). ועוד שאלה- אז איך חילקנו את הטור ל6 ולא ל12 אם המחזור של n הוא 12 ולא 6?
- משהו כזה, צורת הרישום שם קצת לא מדויקת. זה לא בדיוק שאני מחבר כל שניים מהם, אלא אני בפועל מחלק את הטור ל6 ולא ל12 (כי מתקבלים במונה 6 ערכים שונים, כל אחד בפלוס מינוס. בכל טור אני משאיר את הפלוס מינוס של ערך מסוים, וכך אני מקבל טור עם סימנים מתחלפים). --ארז שיינר 17:57, 10 בדצמבר 2010 (IST)
תשובה
אני אנסה להבהיר באמצעות דוגמא. שוב, נניח שמדובר במחזור 4 במקום 12, כלומר [math]\displaystyle{ sin(\frac{n\pi}{2}) }[/math]. הסינוס מקבל 4 ערכים שונים, עבור [math]\displaystyle{ n=1,2,3,4 }[/math] והם
[math]\displaystyle{ r_1=1,r_2=0,r_3=-r_1=-1,r_4=-r_2=0 }[/math].
ניתן, איפוא, לחלק את הערכים האלה לזוגות [math]\displaystyle{ \pm r_1, \pm r_2 }[/math]. נסתכל על איברי הטור [math]\displaystyle{ \sum \frac{sin(\frac{n\pi}{2})}{ln(n+1)} }[/math]:
[math]\displaystyle{ \frac{r_1}{ln(2)}+\frac{r_2}{ln(3)}+\frac{r_3}{ln(4)}+\frac{r_4}{ln(5)}+\frac{r_1}{ln(6)}+\frac{r_2}{ln(7)}+\frac{r_3}{ln(8)}+\frac{r_4}{ln(9)}+... }[/math]
לפי האמור מעלה, זה שווה בעצם ל
[math]\displaystyle{ \frac{r_1}{ln(2)}+\frac{r_2}{ln(3)}-\frac{r_1}{ln(4)}-\frac{r_2}{ln(5)}+\frac{r_1}{ln(6)}+\frac{r_2}{ln(7)}-\frac{r_1}{ln(8)}-\frac{r_2}{ln(9)}+... }[/math]
אז מחלקים את הטור הזה ל2 (זה המקבילה של לחלק את הטור בשאלה ל6):
[math]\displaystyle{ \sum b_n=\frac{r_1}{ln(2)}-\frac{r_1}{ln(4)}+\frac{r_1}{ln(6)}-\frac{r_1}{ln(8)}+... }[/math]
[math]\displaystyle{ \sum c_n=\frac{r_2}{ln(3)}-\frac{r_2}{ln(5)}+\frac{r_2}{ln(7)}-\frac{r_2}{ln(9)}+... }[/math]
קל מאד לראות שהטורים b_n,c_n מתכנסים לפי משפט לייבניץ.
בשאלה המקורית זה בדיוק אותו דבר רק שיש [math]\displaystyle{ \pm r_1,...,\pm r_6 }[/math].
- הבנתי עכשיו לגמרי תודה רבה מקרב לב!!
לא הבנתי את שאלה 7 (תרגיל 7)..
איך בסעיף א' זה מתבדר וב-ב' זה מתכנס?? שני התנאים בסעיפים א' ו-ב' הם אותו התנאי!!
- התנאי איננו אותו התנאי בשני הסעיפים, התנאי בסעיף ב' חזק יותר. בסעיף ב' לא רק שהמנה בערך מוחלט קטנה מ1, אלא גם קיים איזשהו מספר קטן מ1 שהמנה בערך מוחלט תהיה תמיד קטנה שווה לו, כלומר היא לא שואפת ל1, מה שיכול להיות בסעיף א'. לראיה קח את הסדרה [math]\displaystyle{ {a_n} = \frac{1}{n} }[/math], המקיימת את התנאי שבסעיף א' ואינה מקיימת את התנאי שבסעיף ב'. -לידור.א.- 12:20, 10 בדצמבר 2010 (IST)
- אבל התנאי בסעיף א' גורר את ב', כי אם נסמן את הביטוי הזה שקטן מאלפא xn, אז נניח בשלילה שxn<1 לכל n אבל לא מתקיים ש xn<=a<1 לכל n, ולכן קיים n שבשבילו xn>a, לכל a שקטן מאחד, או במילים אחרות xn הוא חסם מלעיל של הקבוצה [math]\displaystyle{ (-infinity, 1) }[/math] ולכן xn הנ"ל בהכרח גדול שווה ל1 בסתירה לכך שהוא קטן מאחד. לא ככה?
- תנאי ב' גורר את תנאי א'. אתה ניסית להוכיח ההפך, אבל בחוסר הצלחה. x_n אינו מספר מסויים שגדול מכל a. זו סדרה שיש בה איברים שגדולים מכל a. דוגמא פשוטה: [math]\displaystyle{ 0.9,0.99,0.999,0.9999,... }[/math]. ברור שאין a קטן מאחד שגדול יותר מכל איברי הסדרה כיוון שהיא שואפת לאחד. --ארז שיינר 13:20, 10 בדצמבר 2010 (IST)
- לא הבנתי...... x_n עבור n מסוים הוא מספר, לא סדרה...
- רשמת "ולכן קיים n שבשבילו xn>a, לכל a שקטן מאחד" זה לא נכון. לכל a יהיה x_n אחר כמו בדוגמא לעיל, כמו בחסמים.--ארז שיינר 13:20, 10 בדצמבר 2010 (IST)
- עכשיו אני מבין בערך את הכוונה של מה שאתם אומרים, אבל זה עדיין לא מסתדר עם העובדה, שהשלילה של המשפט, "לכל n מתקיים x_n (הביטויים התהפכו) קטן מכל a שקטן מאחד" (המשפט הנתון), היא "קיים x_n שגדול מכל a שקטן מאחד".
- לא נסחת את המשפט כמו שצריך ולכן השלילה שגוייה. המשפט הינו "קיים a כך שלכל n מתקיים x_n<a", והשלילה שלו הינה "לכל a קיים n כך ש x_n>=a" --ארז שיינר 13:49, 10 בדצמבר 2010 (IST)
- אוקי
- לא נסחת את המשפט כמו שצריך ולכן השלילה שגוייה. המשפט הינו "קיים a כך שלכל n מתקיים x_n<a", והשלילה שלו הינה "לכל a קיים n כך ש x_n>=a" --ארז שיינר 13:49, 10 בדצמבר 2010 (IST)
- עכשיו אני מבין בערך את הכוונה של מה שאתם אומרים, אבל זה עדיין לא מסתדר עם העובדה, שהשלילה של המשפט, "לכל n מתקיים x_n (הביטויים התהפכו) קטן מכל a שקטן מאחד" (המשפט הנתון), היא "קיים x_n שגדול מכל a שקטן מאחד".
- רשמת "ולכן קיים n שבשבילו xn>a, לכל a שקטן מאחד" זה לא נכון. לכל a יהיה x_n אחר כמו בדוגמא לעיל, כמו בחסמים.--ארז שיינר 13:20, 10 בדצמבר 2010 (IST)
- לא הבנתי...... x_n עבור n מסוים הוא מספר, לא סדרה...
- תנאי ב' גורר את תנאי א'. אתה ניסית להוכיח ההפך, אבל בחוסר הצלחה. x_n אינו מספר מסויים שגדול מכל a. זו סדרה שיש בה איברים שגדולים מכל a. דוגמא פשוטה: [math]\displaystyle{ 0.9,0.99,0.999,0.9999,... }[/math]. ברור שאין a קטן מאחד שגדול יותר מכל איברי הסדרה כיוון שהיא שואפת לאחד. --ארז שיינר 13:20, 10 בדצמבר 2010 (IST)
- אבל התנאי בסעיף א' גורר את ב', כי אם נסמן את הביטוי הזה שקטן מאלפא xn, אז נניח בשלילה שxn<1 לכל n אבל לא מתקיים ש xn<=a<1 לכל n, ולכן קיים n שבשבילו xn>a, לכל a שקטן מאחד, או במילים אחרות xn הוא חסם מלעיל של הקבוצה [math]\displaystyle{ (-infinity, 1) }[/math] ולכן xn הנ"ל בהכרח גדול שווה ל1 בסתירה לכך שהוא קטן מאחד. לא ככה?
משפט ליפשיץ ומשפט לייבניץ
בתרגול, כתבנו שמשפט לייבניץ, הוא מה שכתבנו בהרצאה שהוא משפט ליפשיץ. (על התכנסות טור מתחלף). מישהו שיודע בוודאות, יכול להגיד מהו משפט ליפשיץ ומהו משפט לייבניץ? תודה!
- משפט לייבניץ - תהי an סדרה לא עולה חיובית מתכנסת לאפס, אזי הטור [math]\displaystyle{ \sum (-1)^na_n }[/math]מתכנס.
- אז מה זה משפט ליפשיץ?
- לא יודע.
- אז מה זה משפט ליפשיץ?
לגבי הבוחן
בעמוד הראשי כתוב "הבוחן ופתרונו", עם ה' הידיעה, כאילו קיים רק בוחן אחד. ז"א שלא יופיע באתר הבוחן של התיכוניסטים ופתרונו? תודה
- ממש ניתוח בלשני (:. אני אזכיר שוב, המתרגלים של התיכוניסטים לא נכנסים לפורום, תדברו איתם ישירות (במייל) ואם הם רוצים לפרסם פתרון הם יעשו זאת. אין קשר לשימוש הרשלני שלי בהא הידיעה --ארז שיינר 17:18, 10 בדצמבר 2010 (IST)
האם מותר לי?
האם מותר לי לכתוב ש (x-8)^2+(19x-358)}/(x-8)<= (x-8)^2/(x-8)} כש x שואף ל 7, הרי ש 19X7<358
- תוכיח את זה אלגברית. תאמר איזה תנאי דלתא צריך לקיים כך שבסביבת דלתא יתקיים אי השיוויון שרשמת. בגדול נשמע כמו רעיון נכון (בלי שבדקתי לעומק את המספרים). --ארז שיינר 18:15, 11 בדצמבר 2010 (IST)
רק ליתר ביטחון
לא צריך לפרט את ההכנה להוכחות של התכנסות פונקציות, נכון? כלומר למה הגענו דווקא ל-[math]\displaystyle{ \delta=\varepsilon }[/math] (למשל) ולא [math]\displaystyle{ \delta=\varepsilon-1 }[/math]. תודה, אור שחףשיחה 19:39, 11 בדצמבר 2010 (IST)
- צריך להוכיח שאם דלתא מקיים את התכונה אזי הגדרת הגבול מתקיימת, כלומר לכל איקס שקרוב לאיקס-אפס עד כדי דלתא, הפונקציה מופעלת על איקס קרובה לגבול עד כדי אפסילון. --84.108.188.70 00:55, 12 בדצמבר 2010 (IST)
הגשת תרגיל בקבוצה של אדוארד
האם מי שנמצא בקבוצה של אדוארד צריך להגיש למחר את תרגיל 8?
- רק את תרגיל 7, לפי הידוע לי (אני אצל אדוארד).
תרגיל 7, שאלה 2, סעיף a
לא ברורה לי ההגדרה של [math]\displaystyle{ D_n^k }[/math]. הרי אם [math]\displaystyle{ d_k=\sum_{n=k}^{\infty }a_n=d_1,d_2,...d_k=\sum_{n=1}^{\infty }a_n,\sum_{n=2}^{\infty }a_n,...,\sum_{n=k}^{\infty }a_n }[/math] אז סדרת הסכומים החלקיים [math]\displaystyle{ D_n^k=\sum_{k=1}^{n }d_k=d_1,d_1+d_2,...,\sum_{k=1}^{n }d_k }[/math]
ולא [math]\displaystyle{ D_n^k=a_k+...+a_{k+n} }[/math] כמו שכתוב.
תשובה
אני לא מבין את המשוואה [math]\displaystyle{ \sum_{n=k}^{\infty }a_n=d_1,d_2,...d_k }[/math]. איך סכום על הסדרה a_n מk עד אינסוף הפך לסכום על d_n מ1 עד k?
[math]\displaystyle{ d_k=\sum_{n=k}^{\infty }a_n=a_k+a_{k+1}+... }[/math]. ולכן סדרת הסכומים החלקיים של הטור הזה הינה [math]\displaystyle{ D^k_1=a_k, D^k_2=a_{k+1},... }[/math]
אני אדגיש: עבור k קבוע, [math]\displaystyle{ D^k_n }[/math] היא סדרת הסכומים החלקיים של הטור [math]\displaystyle{ d_k }[/math].
--ארז שיינר 13:20, 12 בדצמבר 2010 (IST)
- נראה לי שהבנתי: כשאמרת סדרת סכומים חלקיים, התכוונת לסדרת הסכומים החלקיים של הטור, שמיוצג על ידי [math]\displaystyle{ d_k }[/math]. אני חשבתי שהתכוונת לסדרת הסכומים החלקיים של הסדרה [math]\displaystyle{ d_k }[/math] שאבריה הם סכומים. תודה.
תרגיל 8
שכחתי להגיש את התרגיל בשיעור היום, איך אוכל להעביר אותו לבדיקה בכל זאת?
- להגיש יום חמישי.
תרגיל 9
מתי הוא יעלה?
- היום
מספר ממשי בחזקת סדרה מתכנסת
בכיתה הזכרת, ובתרגיל 9 מובאת שאלה שקשורה בנושא. למה אני יכול לומר: אם Xn ->X אזי a^Xn ->a^X עבור כל סדרה Xn של מספרים ממשיים?
תשובה
למדנו ש [math]\displaystyle{ a^x }[/math] רציף, והרכבה של פונקציה רציפה על פונקציה עם גבול בנקודה שווה לערך של הרציפה בגבול (שאלה 5 בתרגיל תשע)