שיחה:88-222 תשעד סמסטר ב נוביק

מתוך Math-Wiki
גרסה מ־17:14, 20 במרץ 2014 מאת Caspim (שיחה | תרומות) (תרגיל 4 שאלה 2: פסקה חדשה)

קפיצה אל: ניווט, חיפוש

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


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


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

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

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

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

שאלות

המרחב l_\infty

בתרגול האחרון הגדרנו את: l_\infty=\{(x_n)|\ \forall n\in \mathbb{N}:x_n\in \mathbb{R}     \wedge sup|x_n|< \infty \}

(דמיינו שיש מסביב להגדרה סוגריים מסולסלים, משום מה זה לא מצייר לי אותם. גם בכל ה-\{e_n\} אמורים להיות סוגריים מסולסלים...)

כלומר, l_\infty הוא מרחב של סדרות ממשיות חסומות.


אחר כך הגדרנו סדרה \{e_n\} על ידי: e_1=(1,0,0,0,...) e_2=(0,1,0,0,...) e_3=(0,0,1,0,...) וכן הלאה.

ואז התבקשנו להראות ש-\{e_n\} לא מתכנסת ב-l_\infty (למרות שהיא כן מתכנסת רכיב-רכיב).


אבל, למיטב הבנתי, \{e_n\} בכלל לא שייכת למרחב l_\infty, כי איבריה לא ממשיים (לכל i סדרת הרכיבים ה-i-ים היא ממשית, אבל \{e_n\} היא סדרה וקטורית). לא?...


הסדרה \{e_n\}_{n\in \mathbb N} אכן לא שייכת ל l_\infty היא מוכלת בו וזה מה שצריך. כלומר לכל n\in \mathbb N מתקיים e_n\in l_\infty. תמיד כשמדברים על התכנסות של סדרה במרחב מטרי לנקודה אז הסדרה אמורה להיות מוכלת במרחב. אצלנו מדובר בסדרה של סדרות כי כפי שאמרת אכן כל איבר במרחב עפ"י ההגדרה הוא סדרה חסומה.--מני (שיחה) 06:22, 9 במרץ 2014 (EDT)

הערה לגבי הכתיבה המתמטית:

  • שימו לב שהסינטקס של סימן השייכות הוא "in\"
  • על מנת לעשות סוגריים מסולסלים בתוך הפורמט המתמטי, יש לשים לפניהם את הלוכסן: "{\"

--לואי (שיחה) 07:47, 9 במרץ 2014 (EDT)


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

אבל עכשיו יש לי שאלה נוספת...כל איבר (במרחב וכן בסדרה \{e_n\}_{n\in \mathbb N}) הוא סדרה או וקטור אינסופי. אז איך מוגדרת המטריקה במרחב? מה המרחק, נניח, בין e_1 לבין e_2?

למעשה l_\infty זו הקבוצה של הסדרות הממשיות החסומות עם נורמה ספציפית שהיא הסורפמום של הערכים המוחלטים של איברי הסדרה. תמיד כשנדבר על מטריקה בסיטואציה של מרחב נורמי נתכוון למטריקה המושרית מהנורמה. המרחק בין שני איברים הוא הנורמה של ההפרש. בוקטור e_1-e_2 יש 1 ברכיב הראשון, מינוס 1 בשני ואפס בכל השאר. לכן הסופרמום של הערכים המוחלטים הוא 1. אם ממש רוצים לכתוב פורמלית כנראה שצריך לעבוד עם אינדקסציה כפולה-

d(e_1,e_2)=||e_1-e_2||=\sup\{|(e_1-e_2)_k|:k\in \mathbb N\}=1. באופן כללי לכל n טבעי הרכיב הקיי של איבר e_n מקיים (e_n)_k=1 אם n=k ואפס אחרת. כך גם אפשר להגיע ל \sup\{|(e_1-e_2)_k|:k\in \mathbb N\}=1 לפי מה שציינתי קודם. --מני (שיחה) 18:36, 9 במרץ 2014 (EDT)


הבנתי. תודה!

בבקשה. שמתי לב עכשיו ששכחתי להוסיף את הערך המוחלט בתוך הנוסחה עצמה. תיקנתי את זה למעלה.--מני (שיחה) 04:33, 11 במרץ 2014 (EDT)

עזרה בהוכחת כיוון במשפט מההרצאה

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

"אם יש סדרת נקודות {x_n} שבה p לא מופיע וגם x_n->p אזי בכל סביבה של p יש אינסוף נקודות של A.

הנתונים הם:M מרחב מטרי ו-A מוכל ב-M. ובנוסף p שייכת ל-A

כמה דברים שיכולים לעזור
  • אני חושב שיש טעות בנתונים. הסדרה מוכלת בA והנקודה p שייכת ל-M ולא בהכרח ל-A.
  • להשתמש בהגדרה של התכנסות דרך סביבות.
  • קבוצה פתוחה פחות סגורה זה למעשה חיתוך של שתי פתוחות ולכן פתוחה.
  • כל נקודון במ"מ הוא קבוצה סגורה וכנ"ל מספר סופי של נקודות.
  • מחלק מהשלבים הקודמים נקבל שסביבה של נקודה p פחות קבוצה סופית של נקודות השונות מp גם היא סביבה של p. שוב אפשר להיעזר בשלב הראשון.

--מני (שיחה) 12:04, 18 במרץ 2014 (EDT)


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


  • קובץ שמועלה מן הסתם יכול להכיל טעויות וזה המקרה כאן. מה שטענתי הוא שלא צריך להניח שp שייכת ל-A ההוכחה עובדת בכל מקרה אם הנקודה בקבוצה או לא. לגבי מה שנאמר בהרצאה אני מניח שיש טעות כאן בקובץ עצמו. אם תסתכלי בסיכומי הרצאות מלפני שנתיים שהועלו לאתר תראי שp שייכת ל-M. ככלל נקודת הצטברות של קבוצה לא צריכה להשתייך לקבוצה.--מני (שיחה) 16:39, 18 במרץ 2014 (EDT)

תרגיל 2, שאלה 4

הסבר קצת יותר מפורט בשאלה 4 תרגיל בית 2:האם זה פשוט לקחת כל רכיב בסדרה ולמצוא לה סופרמום ואז זה הגבול? או שאולי אני מתבלבלת

תודה מראש


  • תחילה שימי לב שבכל רכיב אין מדובר בסופרמום. למשל, ברכיב השלישי האיבר הראשון יהיה \frac{4}{3}, שהוא יותר גדול מהגבול, ולכן הגבול הוא אינו הסופרמום.
  • שימי לב שהתכנסות רכיב-רכיב אינה מספיקה להתכנסות. מצד שני, זה כן אפשרי להשתמש בגבול רכיב-רכיב על מנת לקבל אינטואיציה/לנחש את הגבול.
  • הערה כללית: להבא נא להפריד שאלות שלא קשורות זו לזו. תודה :)

--לואי (שיחה) 11:41, 18 במרץ 2014 (EDT)

תרגיל 4 שאלה 2

הפרכה לשקילות א' וג':

R מ"מ, S=\{ \}

באופן ריק, כל סדרה \{x_n\} \subseteq S השואפת ל3 היא קבועה לבסוף.

והרי 3 אינה שייכת לא לS ולא לS-S'

תרגיל 4 שאלה 2

הפרכה לשקילות א' וג':

R מ"מ, S=\{ \}

באופן ריק, כל סדרה \{x_n\} \subseteq S השואפת ל3 היא קבועה לבסוף.

והרי 3 אינה שייכת לא לS ולא לS-S'