שינויים

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

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

נוספו 275 בתים, 11:46, 9 במרץ 2014
== המרחב <math>l_\infty</math> ==
בתרגול האחרון הגדרנו את: <math>l_\infty=\{(x_n)|\ \forall n\epsilon in \mathbb{N}:x_n\epsilon in \mathbb{R} \wedge sup|x_n|< \infty\}</math>
''(דמיינו שיש מסביב להגדרה סוגריים מסולסלים, משום מה זה לא מצייר לי אותם. גם בכל ה-<math>\{e_n\}</math> אמורים להיות סוגריים מסולסלים...)''
כלומר, <math>l_\infty</math> הוא מרחב של סדרות ממשיות חסומות.
אחר כך הגדרנו סדרה <math>\{e_n\}</math> על ידי:
<math>e_1=(1,0,0,0,...)</math>
<math>e_2=(0,1,0,0,...)</math>
וכן הלאה.
ואז התבקשנו להראות ש-<math>\{e_n\}</math> לא מתכנסת ב-<math>l_\infty</math> (למרות שהיא כן מתכנסת רכיב-רכיב).  אבל, למיטב הבנתי, <math>\{e_n\}</math> בכלל לא שייכת למרחב <math>l_\infty</math>, כי איבריה לא ממשיים (לכל <math>i</math> סדרת הרכיבים ה-<math>i</math>-ים היא ממשית, אבל <math>\{e_n\}</math> היא סדרה וקטורית). לא?...
אבל, למיטב הבנתי, <math>{e_n}</math> בכלל לא שייכת למרחב <math>l_\infty</math>, כי איבריה לא ממשיים (לכל <math>i</math> סדרת הרכיבים ה-<math>i</math>-ים היא ממשית, אבל <math>{e_n}</math> היא סדרה וקטורית). לא?...
:: הסדרה <math>\{e_n\}_{n\in \mathbb N}</math> אכן לא שייכת ל <math>l_\infty</math> היא '''מוכלת''' בו וזה מה שצריך. כלומר לכל <math>n\in \mathbb N</math> מתקיים <math>e_n\in l_\infty</math>. תמיד כשמדברים על התכנסות של סדרה במרחב מטרי לנקודה אז הסדרה אמורה להיות מוכלת במרחב. אצלנו מדובר בסדרה של סדרות כי כפי שאמרת אכן כל איבר במרחב עפ"י ההגדרה הוא סדרה חסומה.--[[משתמש:מני ש.|מני]] ([[שיחת משתמש:מני ש.|שיחה]]) 06:22, 9 במרץ 2014 (EDT)
 
''הערה לגבי הכתיבה המתמטית: ''
*שימו לב שהסינטקס של סימן השייכות הוא "in\"
*על מנת לעשות סוגריים מסולסלים בתוך הפורמט המתמטי, יש לשים לפניהם את הלוכסן: "{\"