הבדלים בין גרסאות בדף "אנליזת פורייה ויישומים קיץ תשעב/סיכומים/הרצאות/30.7.12"
מ |
|||
שורה 1: | שורה 1: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
''הערה:'' השיעור החל בחזרה על כמה מהמושגים הבסיסיים באלגברה לינארית: מרחב לינארי, צירוף לינארי, תלות וקטורים, בסיס, מרחבים לינאריים של פונקציות (כגון <math>F(-\infty,\infty),C^n(-\infty,\infty)</math>), מכפלה פנימית (כגון <math>\langle f,g\rangle=\int\limits_a^b f(x)g(x)\mathrm dx</math> ב־<math>C[a,b]</math>), נורמה, אי־שיוויון קושי־שוורץ (Cauchy-Schwarz)‏ (<math>|\langle\mathbf u,\mathbf v\rangle|\le\|\mathbf u\|\cdot\|\mathbf v\|</math>), מרחבי הסדרות <math>\ell_p=\left\{(x_n)_{n\in\mathbb N}\in\mathbb C^\infty:\ \sum_{n=1}^\infty|x_n|^p<\infty\right\}</math> עם <math>\langle x,y\rangle=\sum_{n=1}^\infty x_i \overline{y_i}</math> ואורתוגונליות. חזרה זו אינה מופיעה כאן במלואה, אך נפרט את הנושאים הקשים לזכירה והחדשים: | ''הערה:'' השיעור החל בחזרה על כמה מהמושגים הבסיסיים באלגברה לינארית: מרחב לינארי, צירוף לינארי, תלות וקטורים, בסיס, מרחבים לינאריים של פונקציות (כגון <math>F(-\infty,\infty),C^n(-\infty,\infty)</math>), מכפלה פנימית (כגון <math>\langle f,g\rangle=\int\limits_a^b f(x)g(x)\mathrm dx</math> ב־<math>C[a,b]</math>), נורמה, אי־שיוויון קושי־שוורץ (Cauchy-Schwarz)‏ (<math>|\langle\mathbf u,\mathbf v\rangle|\le\|\mathbf u\|\cdot\|\mathbf v\|</math>), מרחבי הסדרות <math>\ell_p=\left\{(x_n)_{n\in\mathbb N}\in\mathbb C^\infty:\ \sum_{n=1}^\infty|x_n|^p<\infty\right\}</math> עם <math>\langle x,y\rangle=\sum_{n=1}^\infty x_i \overline{y_i}</math> ואורתוגונליות. חזרה זו אינה מופיעה כאן במלואה, אך נפרט את הנושאים הקשים לזכירה והחדשים: | ||
גרסה אחרונה מ־17:32, 31 ביולי 2012
הערה: השיעור החל בחזרה על כמה מהמושגים הבסיסיים באלגברה לינארית: מרחב לינארי, צירוף לינארי, תלות וקטורים, בסיס, מרחבים לינאריים של פונקציות (כגון ), מכפלה פנימית (כגון ב־), נורמה, אי־שיוויון קושי־שוורץ (Cauchy-Schwarz) (), מרחבי הסדרות עם ואורתוגונליות. חזרה זו אינה מופיעה כאן במלואה, אך נפרט את הנושאים הקשים לזכירה והחדשים:
תוכן עניינים
אי־שיוויון הולדר (Holder)
אם כאשר (כלומר, צמודים) אזי .
הוכחה
נעזר באי־שיוויון יונג (Jung): . נבחר עבור כרצוננו , ונסכום לכל : . נכפול ב־ ונקבל את הדרוש.
קירוב לווקטור
נניח ש־ מרחב לינארי, תת־מרחב ו־. נרצה להראות שקיים וקטור יחיד שהוא קירוב ל־ ב־, כלומר שעבורו .
מובן של מציאת קירוב
הקירוב הטוב ביותר ל־ ב־ הוא .
טענת עזר
יהי מרחב מכפלה פנימית, ותהי קבוצה אורתונורמלית ב־. אם אזי .
הוכחה
את ההמשך עשינו בשיעור שאחריו:
הוכחה
הגדרה: נקרא "מקדם פורייה".
צריך להוכיח ש־. אזי יהי ונסמן . לכן
מתקיים |
||||||
המקרה המינימלי הוא כאשר |
מכאן ש־ מינימלי כאשר . התוצאה נותנת לנו גם את אי־שיוויון בסל: .
הכללה
בהינתן בסיס אורתוגונלי של (שאינו בהכרח אורתונורמלי) ניתן להכליל את הנוסחה הנ״ל ל־.
הוכחה
בסיס ולכן וקטור האפס אינו נמצא בו. לפיכך הקבוצה מוגדרת ואורתונורמלית, ולבסוף
תרגיל
נתבונן בממ״פ של פונקציות רציפות בקטע . נגדיר מ״פ באופן הבא: . מצאו קירוב ל־ בתת־מרחב הנפרש ע״י המערכת האורתונורמלית .
פתרון
מתקיים:ולפיכך מינימלי בקטע.