‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫סיכום מבוא למרחבי הילברט ותורת האופרטורים סמסטר א' תש"ע‬

‫שעור ‪1‬‬

‫‪ .1‬הגדרה ‪ -‬מרחב ליניארי (וקטורי)‏הוא‏קב'‏עם‏שתי‏פעולות‏כך‏שהקב'‏סגורה‏וליניארית‏לפעולות‬

‫*‬ ‫(‬ ‫|)‬ ‫| | ∑‬ ‫‪+‬‬ ‫(‬ ‫𝜆)‬ ‫𝜆(‬ ‫‪) .1.1‬‬
‫‏שמקיימת‪:‬‬ ‫‪ .2‬הגדרה ‪ -‬מכפלה פנימית‏היא‏פונקציה‏‬
‫𝜆‬ ‫𝜆‬ ‫𝜆‬ ‫𝜆‬ ‫‪.2.1‬‬
‫𝜆‬ ‫𝜆‬ ‫̅̅̅‬
‫𝜆‬ ‫̅̅̅‬
‫𝜆‬ ‫‪.2.2‬‬
‫‪̅̅̅̅̅̅̅̅̅̅̅ .2.3‬‬
‫‪.2.4‬‬
‫‪.2.5‬‬
‫|| ||‏שמגדירה‏אורך‏של‏וקטור‏ומקיימת‪:‬‬ ‫‪ .3‬הגדרה‏‪-‬‏נורמה‏היא‏פונקציה‏‬
‫‪||λ || |λ||| || .3.1‬‬
‫|| ||‬ ‫‪.3.2‬‬
‫|| ||‬ ‫‪.3.3‬‬
‫||‬ ‫‪ .3.4‬אי‪-‬שוויון‏המשולש‪:‬‏|| || || || ||‬
‫‪ .4‬הגדרה ‪ -‬מרחב מכפלה פנימית‏(ממ"פ)‏הוא‏מרחב‏ליניארי‏עם‏מכפלה‏פנימית‏‬
‫√ || ||‏‬ ‫‪ .4.1‬במרחב מכפלה‏פנימית‏מושרית‏נורמה ‏‬
‫∑‬ ‫‪̅̅̅ .4.2‬‬
‫|‬ ‫‪ .5‬משפט‏‪-‬‏‪Cauchy-Schwartz Inequality‬‏‪-‬‏לכל‏‪y,x‬‏בממ"פ‏מתקיים‏|| || || || |‬
‫||‬ ‫‪ .5.1‬מסקנה‏–‏אי‪-‬שוויון‏המשולש‏מתקיים‏עבור‏נורמה‏מושרית‏מ"פ‪:‬‏|| || || || ||‬
‫‪ .6‬הגדרה‏–‏מרחב נורמי‏הוא‏מרחב‏לינארי‏‪X‬‏עם‏נורמה‬
‫‪ .7‬מרחב‏ממ"פ‏הוא‏מרחב‏נורמי‏‬
‫‏‪-‬‏נורמת‏מקסימום‬ ‫‪,‬‬ ‫‪-‬‬ ‫|| ||‬ ‫‪, - || ( )|| .7.1‬‬

‫‏באשר‏‬ ‫→‬ ‫‪|| -‬‬ ‫→ ||‬ ‫‪ .8‬הגדרה‏‪-‬‏התכנסות במרחב נורמי‏‬

‫‪ .8.1‬במרחב‏בפונקציות‏הרציפות‏בקטע‏ההתכנסות‏היא‏התכנסות‏במ"ש‬
‫|| ||‬ ‫‏חסומה‏אם‏קיים‏‪C‬‏סופי‏כך‏ש‪-‬‬ ‫‪ .9‬הגדרה‏–‏קבוצה‏‬
‫||‬ ‫→ ||‬ ‫‪* +‬‏היא‏סדרת קושי‏אם‏‬ ‫‪ .11‬הגדרה‏‪-‬‏‬
‫הגדרה‏–‏מרחב בנך ‪ Banach‬‏או‏מרחב נורמי שלם‏אם‏כל‏סדרת‏קושי‏במרחב‏מתכנסת‬ ‫‪.11‬‬
‫הגדרה‏–‏מרחב הילברט ‪ Hilbert‬‏הוא‏מרחב‏ממ"פ‏שלם‬ ‫‪.12‬‬
‫|| ||‪p‬‬ ‫טענה‏–‏סדרת קושי במרחב נורמי היא חסומה‏כלומר‏קיים‏ ‏כך‏ש‪-‬‬ ‫‪.13‬‬
‫‏משפט‏‪-‬‏ הוא‏מרחב‏הילברט‬ ‫‪.14‬‬

‫שעור ‪2‬‬

‫)‏למעט‏תכונה‏‪3.3‬‬
‫‏‬ ‫שמקיימת‏את‏תכונות‏הנורמה‏(‪3‬‬
‫‏‬ ‫‪ .15‬הגדרה‏–‏חצי נורמה היא‏פונקציה‏)‪p(x‬‏‬
‫‪ .16‬הגדרה‏‪-‬‏‏אופרטור‏הוא‏העתקה‏ליניארית‏בין‏‪2‬‏מרחבים‏נורמיים‏‬
‫||‬ ‫||‬ ‫‏ חח"ע‏ועל‏ששומרת‏נורמה‏ || ||‬ ‫‪ .17‬הגדרה‏–‏איזומטריה‏בין‏מרחבים‏נורמיים‏היא‏אופרטור‏‬
‫||‬ ‫||‬ ‫||‬ ‫||‬ ‫|| ||‬ ‫‪ .18‬משפט‏–‏שוויון מקבילית‏–‏‪E‬‏ממ"פ‏אזי‏לכל‏‪x,y‬‏ב‪E-‬‏מתקיים‏|| ||‬
‫𝜖∑‬ ‫𝜖∑‬ ‫∑||‬ ‫𝜖‬ ‫||‬ ‫∑‬ ‫כלל‏מורחב‏‪-‬‏ || ||‬ ‫‪.18.1‬‬
‫‏אינם‏איזומטרים‏לאף‏ממ"פ‏(בעזרת‏שוויון‏מקבילית)‬ ‫‪( ,‬‬ ‫‪-‬‬ ‫‪ .19‬טענה‏–‏‏)|| ||‬
‫→‬ ‫→‬ ‫*‏מתקיים‏‬ ‫‪+‬‬ ‫‏אופרטור‏רציף‏אם‏לכל‏סדרה‏‬ ‫‪ .20‬הגדרה‏–‏רציפות‏‪-‬‏‬
‫‪ .21‬הגדרה‏–‏איזומורפיזם‏בין‏מרחבים‏נורמיים‏הוא‏אופרטור‏חח"ע‪,‬‏על‏ורציף‏כך‏שההופכי‏שלו‏רציף‬

‫]‪[1/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫||‬ ‫||‬ ‫קיים‏‪M‬‏סופי‏כך‏שלכל‏‪x‬‏ב‪X-‬‏מתקיים‏|| ||‬ ‫‪ .22‬משפט‏–‏תנאי לרציפות‏–‏אופרטור‏‪T‬‏רציף‏‬

‫‏‬ ‫|| || || ||‬ ‫‏איזומורפיזם‏אז‏קיימים ‏קבועים‏חיוביים‏‪C,c‬‏כך‏ש || ||‬ ‫‪ .23‬מסקנה‏–‏אם‏‬
‫‪ .24‬מסקנה‏–‏איזומורפיזם שומר התכנסות‏ולכן‏מרחבים‏איזומורפיים‏שלמים‏או‏לא‏שלמים‏יחדיו‬
‫בעזרת‏שוויון‏מקבילית‏מורחב‏(‪)18.1‬‬
‫‏‬ ‫‪ ( ,‬‏אינם‏איזומורפים‏לאף‏ממ"פ‏‬ ‫‪-‬‬ ‫‪ .25‬טענה‏–‏)|| ||‬
‫‏אזי‏‪X‬‏איזומורפי‏ל‪-‬‬ ‫‪ .26‬משפט על מרחבים נורמים ממימד סופי‏–‏אם‏‪X‬‏מרחב‏נורמי‏ו‪-‬‬

‫שעור ‪ 3‬‏‬

‫‪ .27‬טענה‏–‏‪Y,X‬‏מרחבים‏נורמים‏איזומורפיים‏ו‪X-‬‏שלם‏אזי‏גם‏‪Y‬‏שלם‏(בנך)‬
‫‪ .28‬מסקנה‏–‏כל‏מרחב‏נורמי‏ממימד‏סופי‏הוא‏שלם‏‬
‫‪λ μ‬‬ ‫תת‪-‬מרחב‏ליניארי‏אם‏‬ ‫‪ .29‬הגדרה‏–‏‬
‫‪ .30‬הגדרה‏– מרחב מנה‪:‬‬
‫‪, -‬‏–‏מחלקת‏שקילות‏של‏‪x‬‬ ‫*‬ ‫|‬ ‫* ‪+‬‬ ‫|‬ ‫‪+‬‬ ‫‪.30.1‬‬
‫𝜙 ‪, - , - , - , -‬‬ ‫‪.30.2‬‬
‫‪, - , -‬‬ ‫‪.30.3‬‬
‫‏–‏מרחב‏המנה‬ ‫| ‪*, -‬‬ ‫‪+‬‬ ‫‪.30.4‬‬
‫‪,‬‏אז‏‪L‬‏תת‪-‬מרחב‏ליניארי‏של‏‪,X‬‏‪X/L‬‏מרחב‏מנה‏‬ ‫* )‪ker(p‬‬ ‫) (‪|p‬‬ ‫‪ .31‬טענה‏‪-‬‏)‪p(x‬‏חצי‪-‬נורמה‏של‏‪,X‬‏‪+‬‬
‫ן‪||, -|| p( )-‬‏היא‏נורמה‏של‏‪X/L‬‬

‫פונקציות ממשיות‬

‫‏קבוצה ממידה אפס‏אם‏יש‏לה‏כיסוי‏מקטעים‏פתוחים‏קטנים‏ככל‏שנרצה‪:‬‏‬ ‫‪ .32‬הגדרה‏–‏‬

‫𝜖‬ ‫*‬ ‫‪+‬‬ ‫‪.32.1‬‬
‫( ∑‬ ‫𝜖 )‬ ‫‪.32.2‬‬
‫( ⋃‬ ‫)‬ ‫‪.32.3‬‬
‫) ( | ‏קבוצה‏ממידה‏אפס‬
‫*‬ ‫‏אם‏‪( )+‬‬ ‫‪ .33‬הגדרה‏–‏שוויון כמעט בכל מקום‏‪-‬‏‬
‫‏‬ ‫→) (‬ ‫‏ממידה‏אפס‏כך‏ש‪( )-‬‬ ‫‏אם‏‬ ‫→‬ ‫‪ .34‬הגדרה‏‏‪ -‬התכנסות כמעט בכל מקום‏‪-‬‏‬
‫‪ .35‬הגדרה‏‪ -‬‏פונקציה‏)‪f(x‬‏ממשית היא‏מדידה‏אם‏היא‏שווה‏כמעט‏בכל‏מקום‏לפונקציה‏רציפה‬
‫∫ ‪p‬‬ ‫‪* | ( )|+‬‬ ‫‪ .36‬הגדרה‏–‏פונקציה‏)‪f(x‬‏אינטגרבילית לפי לבג‏‪Lebesgue‬‏אם‏היא‏מדידה‏ו‪-‬‬
‫‪, ( ) .37‬‏קב'‏הפונקציות‏האינטגרביליות‏לפי‏לבג‪,‬‏היא‏מרחב‏ליניארי‬
‫∫‬ ‫‏ומתקיים‏ ∫‬ ‫‏אז‏) (‬ ‫) (‬ ‫| |‬ ‫‪ .38‬משפט‏הדומיננטי‏–‏ →‬
‫∫‬ ‫‏אבל‏ ∫‬ ‫ללא‏‪g‬‏יתכן‏ש‪-‬‬ ‫‪.38.1‬‬

‫שעור ‪4‬‬

‫𝛼( ‏באשר‏‪f,g‬‏פונקציות‬ ‫‪ .39‬הגדרה‏–‏‪T‬‏פונקציונל ליניארי‏אם ) ( 𝛽 ) ( 𝛼 ) 𝛽‬

‫‪ .40‬טענה‏‪-‬‏‪f‬‏פונקציה מדידה עם תומך קומפקטי‏אז‏היא‏אינטגרבילית‏לפי‏לבג‏והאינטגרל‏הוא‏פונקציונל‏ליניארי‏‬
‫שומר‏סדר‬
‫→ ‏אז‏‏‪f‬‏פונקציה‏מדידה‬ ‫‪ .41‬טענה‏–‏ ‏פונקציות‏מדידות‏ו‪-‬‬
‫‪ .42‬טענה‏–‏פונקציה‏אינטגרבילית‏לפי‏רימן‏היא‏אינטגרבילית‏לפי‏לבג‬
‫‏‬ ‫) (‬ ‫) (‬ ‫‪ .43‬משפט לוי‏–‏‪* +‬‏סדרה‏מונוטונית‏עולה‏של‏פונקציות‏מדידות‏ואי‪-‬שליליות‏ומתקיים‏‬
‫‏אז‪:‬‬ ‫∫‬ ‫וקיים‏הגבול‏‬
‫) (‬ ‫‪.43.1‬‬
‫) (‬ ‫‪.43.2‬‬
‫∫‬ ‫∫‬ ‫‪.43.3‬‬
‫∫‬ ‫‏אז‏‬ ‫→‬ ‫∫‏ו‪-‬‬ ‫‪ .44‬למת פתו‏–‏‪* +‬‏מדידות‏ואי‪-‬שליליות‏‬

‫]‪[2/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫| ∫|‬ ‫‪ .45‬תרגיל‏‪-‬‏| | ∫‬

‫מרחב הפונקציות‬

‫‏‏שמשרה‏חצי‪-‬נורמה‏‬ ‫∫‬ ‫| || מדידה { ומוגדרת‏מ"פ‏ע"י‏ ̅‬ ‫‪( )+‬‬ ‫‪ .46‬הגדרה‏‪-‬‏) (‬

‫‪.47‬‬
‫‪, -, -‬‬ ‫∫‬ ‫‏והמ"פ‏הפנימית‏ ̅‬ ‫*‬ ‫) ( ‏באשר‏‪+‬‬ ‫) (‬ ‫‪ .48‬הגדרה‏‪-‬‏‬
‫) ( ‏‬ ‫) (‬ ‫‪.48.1‬‬
‫̅̅̅̅̅̅̅̅̅‬
‫‪,‬‬ ‫‪-‬‬ ‫‪,‬‬ ‫‪-‬‬ ‫‪.48.2‬‬
‫→‬ ‫→‬ ‫‪.48.3‬‬
‫‪,‬‬ ‫‪-‬‬ ‫‪,‬‬ ‫‪-‬‬
‫) ( מרחבי‏הילברט‬ ‫‪,‬‬ ‫‪ .49‬טענה‏‪-‬‏ ‪-‬‬
‫כאשר‏במקום‏קטעים‏עובדים‏עם‏תיבות‬ ‫‪ .50‬כל‏ההגדרות‏הנ"ל‏עובדות‏גם‏עבור‏) (‬

‫מבנה גיאומטרי של מרחב מכפלה פנימית ‪E‬‬

‫‪ .51‬הגדרה‏–‏אורתוגונליות‏‪-‬‏‬
‫||‬ ‫||‬ ‫|| ||‬ ‫‪ .52‬משפט פיתגורס‏‪-‬‏ || ||‬
‫(‬ ‫)‬ ‫‪ .53‬הגדרה‏–‏זוית‏‪-‬‏‬
‫|| |||| ||‬

‫‪* +‬‬ ‫∑||‬ ‫||‬ ‫‪ .54‬משפט פיתגורס המוכלל ‪|| || -‬‬

‫∑‬
‫שעור ‪5‬‬
‫*‬ ‫‪+‬‬ ‫‪* +‬‬ ‫| *‬ ‫∑‬ ‫𝜆‬ ‫⋂ ‪+‬‬ ‫‪ .55‬הגדרה‏–‏קבוצה פורסת ‪-‬‏‬
‫‪p * +‬‬ ‫‪ .56‬הגדרה‏‪-‬‏‬
‫אורתונורמלית‏אם‏ 𝛿‬ ‫‪*e‬‬ ‫‪+‬‬ ‫‪ .57‬הגדרה‏‪-‬‏‬
‫|∑‬ ‫|‬ ‫‪*e +‬אורתונורמלית אז || ||‬ ‫‪ .58‬משפט‏–‏אי‪-‬שוויון בסל‏‪-‬‏‬
‫‏מתקיים‏כי‏‬ ‫→‬ ‫‏מתכנסת‏‬ ‫‏סגורה אם‏לכל‏סדרה‏‬ ‫‪ .59‬הגדרה‏–‏קבוצה‏‬
‫‪ .60‬הגדרה‏‏‪-‬‏סגור של קבוצה‏‪K‬‏הוא‏חיתוך‏כל‏הקבוצות‏הסגורות‏המכילות‏את‏‪K‬‬
‫̅‬ ‫‏קבוצה צפופה‏ב‪X-‬‏אם‏‬ ‫‪ .61‬הגדרה‏–‏‬
‫‪,‬‬ ‫לפי‏משפט‏ויירשטראס‏‪P‬‏מרחב‏הפולינומים‏צפוף‏ב‪--‬‬ ‫‪.61.1‬‬
‫𝜖‬ ‫||‬ ‫𝜖 ||‬ ‫‏פתוחה‏אם‏‬ ‫‪ .62‬הגדרה‏–‏קבוצה‏‬
‫‪ .63‬טענה‏–‏סגור‏של‏תת‪-‬מרחב‏ליניארי‏הוא‏תת‪-‬מרחב‏ליניארי‬
‫→‬ ‫(‬ ‫→)‬ ‫*‏מתקיים‏) (‬ ‫‪+‬‬ ‫‏פונקציה‏רציפה‏אם‏לכל‏סדרה‏‬ ‫‪ .64‬הגדרה‏–‏רציפות‏‪-‬‏‬
‫נורמה‏היא‏פונקציה‏רציפה‏לפי‏אי‪-‬שוויון‏המשולש‬ ‫‪.64.1‬‬
‫מכפלה‏פנימית‏היא‏פונקציה‏רציפה‏לפי‏אי‪-‬שוויון‏קושי‪-‬שוורץ‬ ‫‪.64.2‬‬
‫̅̅̅̅̅̅̅̅̅̅̅‬
‫‪ .65‬מסקנה‏‪-‬‏) (‬
‫𝜆 ∑‏מתכנס‏ומתקיים‏‬ ‫‪*𝜆 +‬‏אז‏‬ ‫‪* +‬‏סדרה‏אורתונורמלית‏במרחב‏הילברט‪,‬‏‬ ‫‪ .66‬משפט‏–‏‬
‫|| ||‬
‫| 𝜆|∑‬
‫∑‏מתכנס‬ ‫מסקנה‏(בעזרת‏אי‪-‬שוויון‏בסל)‏‪-‬‏‬
‫‪.66.1‬‬
‫‪.66.2‬‬
‫̅̅̅̅̅̅̅̅̅̅̅̅‬
‫‪* 𝛼 +‬‏מערכת שלמה (לאו‏דווקא‏בת‏מנייה)‏אם‏‪* 𝛼 +‬‬ ‫‪ .67‬הגדרה‏–‏‬
‫‪* +‬‏התנאים‏הבאים‏שקולים‪:‬‬ ‫‪ .68‬משפט‏–‏שוויון פרסבל‏‪-‬‏‬
‫המע'‏‪* +‬‏שלמה‬ ‫‪.68.1‬‬
‫‪.68.2‬‬
‫∑‬ ‫‪.68.3‬‬
‫|| ||‬ ‫∑‬ ‫|‬ ‫|‬ ‫)‪(Parseval's equality‬‬ ‫‪.68.4‬‬

‫]‪[3/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫‪ .69‬דוגמאות‪:‬‬
‫(‬ ‫)‬ ‫הבסיס הסטנדרטי ‏‪-‬‏) (‬ ‫‪.69.1‬‬
‫‪, 𝜋 𝜋-‬‬ ‫) (‬ ‫המערכת הטריגונומטרית ‪-‬‏‬ ‫‪.69.2‬‬
‫√‬
‫𝜋‬
‫) (̂‬ ‫∫‬ ‫) (‬ ‫‪ .69.2.1‬מקדם פוריה‏‪-‬‏‬
‫𝜋‬ ‫𝜋‬
‫) (̂‬
‫) (‬ ‫‪ .69.2.2‬טור פוריה ‪-‬‬
‫∑‬
‫‏היא‏איזומטריה‬ ‫(‬ ‫)‬ ‫‪ .70‬מסקנה‏‪-‬‏‪* +‬‏מערכת‏שלמה‏ב‪H-‬‏אז‏‬
‫∑‬
‫‪*𝜆 +‬‬ ‫∑‬ ‫𝜆‬ ‫‪ .71‬מסקנה‏‪ -‬‏‬
‫) (̃‬ ‫‪̃ , 𝜋 𝜋-‬‬ ‫) ( *‬ ‫)𝜋 ( |‪, 𝜋 𝜋-‬‬ ‫‪ .72‬הגדרה‏‪-‬‏מרחב‏הפונקציות‏המחזוריות‏ב‪- 𝜋-‬‏‪(𝜋)+‬‬
‫* ‪Ρ‬‬ ‫‪ .73‬הגדרה‏–‏מרחב‏הפולינומים‏‪-‬‏‪+‬‬
‫{‬ ‫}‬ ‫*‬ ‫) (‬ ‫‪ .74‬הגדרה‏–‏מרחב‏הפונקציות‏הטריגונומטריות‏‪-‬‏ ‪( )+‬‬
‫‪ .75‬משפטי ויירשטראס ‪:Weierstrass‬‬
‫מרחב‏הפולינומים‏צפוף‏במרחב‏הפונקציות‏הרציפות‏עם‏נורמת‏המקסימום‏(פולינומי‏ברנשטיין)‬ ‫‪.75.1‬‬
‫‪,‬‬ ‫‪-‬‬ ‫̅‬ ‫מסקנה‏‪-‬‏‬ ‫‪.75.2‬‬
‫מרחב‏הפונקציות‏הטריגונומטריות‏צפוף‏במרחב‏הפונקציות‏המחזוריות‏עם‏נורמת‏המקסימום‬ ‫‪.75.3‬‬
‫מסקנה‏‪-‬‏̅ ‪ , 𝜋 𝜋-‬‏‬ ‫‪.75.4‬‬
‫‪ .76‬משפט‏–‏אורתוגנליזציה של גרם‪-‬שמידט ‪– Gram-Schmidt‬‏‪E‬‏ממ"פ‏וקיימת‏סדרת‏וקטורים‏אורתוגונליים‏בלתי‪-‬‬
‫תלויים‪.‬‏אזי‏ניתן‏למצוא‏סדרת‏וקטורים‏אורתונומליים‏שפורסת‏את‏אותו‏מרחב‪.‬‏סדרה‏זו‏יחידה‏עד‏כדי‏סיבוב‬
‫||‬
‫∑‬ ‫‪.76.1‬‬
‫||‬
‫‪ .77‬הגדרה‏–‏מרחב‏הילברט‏הוא‏ספרבילי‏אם‏קיימת‏בו‏תת‪-‬קבוצה‏צפופה‏בת‪-‬מנייה‬
‫‏ספרבילי‬ ‫‪.77.1‬‬
‫מסקנה‏–‏כל‏מרחב‏ממימד‏סופי‏הוא‏ספרבילי‬ ‫‪.77.2‬‬

‫שעור ‪7‬‬

‫{‬ ‫}‬ ‫*‬ ‫‪* +‬‏סדרה‏אז‏קיימת‏תת‪-‬סדרה‏בת"ל‏כך‏ש‪+‬‬ ‫‪ .78‬משפט‏עזר‏–‏‪X‬‏מרחב‏ליניארי‏ו‪-‬‬

‫‪ .79‬מסקנה‏–‏במרחב‏הילברט‏ספרבילי‏יש‏סדרה‏אורתונורמלית‏שלמה‏והוא‏איזומטרי‏ל‪-‬‬
‫‪ .80‬פולינומי‏לג'נדר‏מערכת‏שלמה‏ב‪-‬‬
‫‪,‬‬ ‫‪-‬‬ ‫‪ .81‬הגדרה‏–‏פונקצית‏משקל‏‪-‬‏‬
‫{‬ ‫‪,‬‬ ‫‪-‬‬ ‫| |‬ ‫‪,‬‬ ‫‪-+‬‬ ‫̅̅̅̅̅̅) ( ∫‬‫‪ .82‬הגדרה‏‪-‬‏ ) ( ) (‬
‫) (‬ ‫(‬ ‫פולינומי‏צ'בישב‏מערכת‏שלמה‏‪-‬‏ )) (‬ ‫‪.82.1‬‬
‫√‬

‫) (‬ ‫פולינומי‏הרמיט‏מערכת‏שלמה‏‪-‬‏‬ ‫‪.82.2‬‬

‫תתי‪-‬מרחב אורתוגונלים‬

‫*‬ ‫|‬ ‫‪ .83‬הגדרה‏–‏משלים אורתוגונלי‏‪-‬‏‪+‬‬

‫‏תת‪-‬מרחב‏סגור‏(כחיתוך‏של‏גרעינים‏של‏מכפלה‏פנימית)‬ ‫‪ .84‬טענה‏‪-‬‏ ‪⋂ * +‬‬
‫‪ .85‬משפט הצגה ע"י משלים אורתוגונלי‏‪-‬‏‬
‫‪ .86‬משפט‏עזר‏‪-‬‏‬
‫‏‬ ‫(‬ ‫)‬ ‫̅̅̅̅̅̅̅̅̅‬ ‫‪ .87‬משפט‏‪-‬‏‬
‫) (‬ ‫בפרט‏אם‏‪V‬‏תת‪-‬מרחב‏סגור‏אז‏‬ ‫‪.87.1‬‬
‫) ) ((‬ ‫ולכן‏לכל‏‪V‬‏מתקיים‏‬ ‫‪.87.2‬‬

‫שעור ‪8‬‬

‫‏קבוצה קמורה‏אם‏כל‏קטע‏שמחבר‏שתי‏נקודות‏ב‪K-‬‏מוכל‏כולו‏ב‪:K-‬‬ ‫‪ .88‬הגדרה‏‪-‬‏‬

‫]‪[4/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫𝜆‬ ‫𝜆‬ ‫(‬ ‫)𝜆‬ ‫‏‬ ‫‪.88.1‬‬

‫(𝝆‬ ‫)‬ ‫||‬ ‫‏אז‏המרחק‏בין‏‪x‬‏ל‪V-‬‏מוגדר‏||‬ ‫‪ .89‬הגדרה‏–‏‪X‬‏מרחב‏נורמי‪,‬‏‬
‫|| ) (‬ ‫‏קב'‏סגורה‏וקמורה‏אז‏||‬ ‫‪ .90‬משפט ריס ‪ Riesz‬על היטל מינימלי‏‪-‬‏‏‬
‫כלומר‏מוגדרת‏הטלה‏רציפה‪:‬‬ ‫) (‬ ‫||‬ ‫(𝜌 ||‬ ‫)‬ ‫‪.90.1‬‬
‫‏ומתקיים‏|| || ||) ( ||‬ ‫) (‬ ‫‏תת‪-‬מרחב‏סגור‏אז‏‬ ‫‪ .91‬משפט‏‪-‬‏‬
‫‪* +‬‬ ‫‪* +‬‬ ‫‪ .92‬מסקנה‏‪-‬‏‪* +‬‬
‫*‬ ‫* ‪+‬‬ ‫|‬ ‫‏תתי‪-‬מרחב‏לינארים‪,‬‏אז‏‪+‬‬ ‫‪ .93‬הגדרה‏‪-‬‏‬
‫(‬ ‫)‬ ‫‪ .94‬טענה‏‪-‬‏‬
‫‏תת‪-‬מרחב‏סגור‬ ‫‏תתי‪-‬מרחב‏סגורים‪,‬‏אז‏‬ ‫‪ .95‬טענה‏‪-‬‏‬
‫‏סכום‏שני‏מרחבים‏אורתוגונלים‏לפי‏משפט‏ההצגה‏ע"י‏משלים‏אורתוגונלי‬ ‫‪ .96‬הגדרה‏‪-‬‏‬
‫‏תת‪-‬מרחב‏סגור‬ ‫‏ו‪ -‬‏סגור‏אז‏‬ ‫‪ .97‬טענה‏–‏אם‏‬

‫שעור ‪ - 9‬אופרטורים ופונקציונלים חסומים‬

‫||‬ ‫||‬ ‫‏הוא‏אופרטור חסום‏אם‏קיים‏‪C‬‏חיובי‏כך‏ש‪|| ||-‬‬ ‫‪ .98‬הגדרה‏–‬

‫||‬ ‫||‬
‫|| ||‬ ‫‪p‬‬ ‫||‪p‬‬ ‫||‬ ‫||‬ ‫||‬ ‫||‪p‬‬ ‫||‬ ‫||‬ ‫‪ .99‬הגדרה‏–‏נורמה של אופרטור‏‪-‬‏ ||‬
‫|| ||‬
‫( ‏מרחב נורמי של האופרטורים החסומים‏‬ ‫‪ .100‬הגדרה‏‪-‬‏)‬
‫|| || || || || ||‬ ‫‪.100.1‬‬
‫( ‏מרחב‏בנך‏‬ ‫‪ .101‬משפט‏–‏‪X‬‏מרחב‏נורמי‪,‬‏‪Y‬‏מרחב‏בנך‏אז‏)‬
‫‏אז‏קיימת‏הרחבה‏לכל‏‬ ‫(‬ ‫‏תת‪-‬מרחב‏צפוף‪,‬‏)‬ ‫‪ .102‬משפט‏–‏‪X‬‏מרחב‏נורמי‪,‬‏‪Y‬‏מרחב‏בנך‪,‬‏‬
‫(‬ ‫| )‬ ‫המרחב‪:‬‏‬
‫מתקיים‏|| || || ||‬ ‫‪.102.1‬‬
‫דוגמא‏–‏אופרטור‏הילברט‪-‬שמידט‏אינטגרל‬ ‫‪.102.2‬‬
‫‪ .103‬טענה‏–‏גרעין‏של‏אופרטור‏חסום‏הוא‏תת‪-‬מרחב‏סגור‬
‫‏הוא‏פונקציונל ליניארי‏‬ ‫‪ .104‬הגדרה‏‪-‬‏‪X‬‏מרחב‏ליניארי‪,‬‏‬
‫‪ .105‬הגדרה‏‪-‬‏ ‏אוסף‏כל‏הפונקציונלים‏הליניארים‏של‏‪X‬‏(לאו‏דוקא‏חסומים)‬
‫‏המרחב הדואלי‏של‏‪X‬‏–‏מרחב‏בנך‏של‏פונקציונלים‏ליניארים‏חסומים‬ ‫(‬ ‫‪ .106‬הגדרה‏‪-‬‏)‬
‫‏תת‪-‬מרחב‪,‬‏אז‏‬ ‫‪ .107‬הגדרה‏–‏‪X‬‏מרחב‏ליניארי‪,‬‏‬
‫‪ .108‬משפט‏–‏‪X‬‏מרחב‏ליניארי‏אז‏מתקיים‪:‬‬
‫‪ker‬‬ ‫‪.108.1‬‬
‫‪ker‬‬ ‫‪ker‬‬ ‫𝜆‬ ‫𝜆‬ ‫‪.108.2‬‬
‫‪ker‬‬ ‫‏אז‏‬ ‫‏תת‪-‬מרחב‪,‬‏‬ ‫‪.108.3‬‬
‫‪ker‬‏תת‪-‬מרחב‏סגור‬ ‫‪ .109‬משפט‏‪-‬‏‬
‫𝜑‬ ‫) ( 𝜑‬ ‫‪ .110‬הגדרה‏–‏‪H‬‏מרחב‏הילברט‪,‬‏לכל‏‪y‬‏נגדיר‏פונקציונל‏‬
‫) (‬ ‫|| ||‬ ‫משפט ‪Riesz‬‏‪-‬‏ || ||‬ ‫‪.111‬‬

‫שעור ‪11‬‬

‫‏אז‏מוגדר‏‬ ‫‏אם‏‬ ‫(‬ ‫‪ .112‬הגדרה‏‪-‬‏)‬

‫‏‬ ‫(‬ ‫)‬ ‫‏אז‏קיים‏אופרטור צמוד‏‪-‬‏‬ ‫(‬ ‫‪ .113‬הגדרה‏‪-‬‏)‬
‫‪.113.1‬‬
‫|| || || ||‬ ‫‪.113.2‬‬
‫) 𝜆(‬ ‫̅𝜆‬ ‫(‏ואנטי‪-‬ליניארית‏‬ ‫)‬ ‫‏היא‏אדטיבית‏‬ ‫ההעתקה‏‬ ‫‪.113.3‬‬

‫שעור ‪11‬‬

‫]‪[5/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫דוגמאות‪:‬‬ ‫‪.113.4‬‬
‫‏‬ ‫‪.113.4.1‬‬
‫‪,‬‬ ‫‪-‬‬ ‫) (‬ ‫∫‬ ‫(‬ ‫) ( )‬ ‫̅̅̅̅̅̅̅̅ ∫‬
‫‏ ) ( ) (‬ ‫‪.113.4.2‬‬
‫‪,‬‬ ‫𝜑‪-‬‬ ‫‪,‬‬ ‫‪-‬‬ ‫) ( ) (𝜑 ) () ( ) (‬ ‫𝜑‬ ‫‏̅‬
‫𝜑‬ ‫‪.113.4.3‬‬
‫) (‬ ‫(‬ ‫)‬ ‫(‬ ‫( )‬ ‫( )‬ ‫)‬ ‫‪.113.4.4‬‬
‫היטל‏אורתוגונלי‏‪-‬‏‬ ‫‪.113.4.5‬‬
‫‏אז‏מתקיים‪:‬‏‬ ‫(‬ ‫‪ .114‬משפט‏‪-‬‏)‬
‫‪ker‬‬ ‫(‬ ‫)‬ ‫‪.114.1‬‬
‫‪ker‬‬ ‫(‬ ‫)‬ ‫‪.114.2‬‬
‫) ‪̅̅̅̅̅̅ (ker‬‬ ‫‪.114.3‬‬
‫) ‪̅̅̅̅̅̅̅ (ker‬‬ ‫‪.114.4‬‬
‫‏נקרא‏צמוד לעצמו‏אם‏‬ ‫‪ .115‬הגדרה‏–‏אופרטור‏ ) (‬
‫‪ .116‬טענה‏–‏‬
‫(‬ ‫)‬ ‫|| ||‬ ‫||‪p‬‬ ‫||‬ ‫|| ||‬ ‫|‬ ‫|‬ ‫‪p‬‬ ‫|| || || ||‬ ‫‪ .117‬למה‏‪-‬‏‬
‫) (‬ ‫|| ||‬ ‫||‪p‬‬ ‫||‬ ‫|‬ ‫משפט על נורמת אופרטור צמוד לעצמו‏‪-‬‏|‬ ‫‪.118‬‬

‫אופרטורים קומפקטיים‬

‫{‏כך‏‬ ‫*‏קיימת‏תת‪-‬סדרה‏}‬ ‫‪+‬‬ ‫‏הוא‏אופרטור קומפקטי‏אם‏לכל‏סדרה‏חסומה‏‬ ‫(‬ ‫הגדרה‏‪-‬‏)‬ ‫‪.119‬‬

‫{‏סדרת‏קושי‬ ‫}‬ ‫ש‪-‬‬
‫(𝓚‏אוסף‏האופרטורים‏הקומפקטים‬ ‫סימון‏‪-‬‏)‬ ‫‪.119.1‬‬
‫(𝒦‬ ‫)‬ ‫𝜆 𝜆‬ ‫𝜆‬ ‫𝜆‬ ‫(𝒦‬ ‫)‬ ‫‪.119.2‬‬
‫(𝒦‬ ‫)‬ ‫(‬ ‫)‬ ‫(‬ ‫)‬ ‫(‬ ‫)‬ ‫(𝒦‬ ‫)‬ ‫‪.119.3‬‬
‫(‬ ‫* )‬ ‫(‬ ‫|)‬ ‫(𝒦 ‪+‬‬ ‫)‬ ‫‪.119.4‬‬
‫(𝒦‏תת‪-‬מרחב‏סגור‬ ‫)‬ ‫(‬ ‫)‬ ‫‪.119.5‬‬
‫|| ||‬ ‫(𝜌‬ ‫)‬ ‫‏ת"מ‏סגור‪,‬‏אז‏קיים‏‪x‬‏כך‏ש‪-‬‬ ‫למת כמעט ניצב של ‪Reisz‬‏–‏‪X‬‏מרחב‏נורמי‏ו‪-‬‬ ‫‪.120‬‬
‫(‬ ‫)‬ ‫|| ||‬ ‫∑‬ ‫∑‬ ‫|‬ ‫|‬ ‫|| ||‬ ‫(‬ ‫)‬
‫|| ||‬ ‫דוגמא‏‪-‬‏) (𝒦‬ ‫‪.121‬‬
‫הגדרה‏–‏אופרטור הילברט‪-‬שמידט האינטגרלי‪:‬‬ ‫‪.122‬‬
‫‪(,‬‬ ‫‪-‬‬ ‫‪,‬‬ ‫∬ )‪-‬‬ ‫( |‬ ‫|)‬ ‫‪.122.1‬‬
‫‪,‬‬ ‫‪-‬‬ ‫‪,‬‬ ‫‪-‬‬ ‫‪,‬‬ ‫(‪-‬‬ ‫) ()‬ ‫∫‬ ‫(‬ ‫) ( )‬ ‫‪.122.2‬‬
‫|| ||‏בהרכבה‏של‏איזומטריה‏ל‪, -‬‏אופרטור‏‪HS‬‏ואז‏חזרה‬ ‫|| ||‬ ‫‪𝒦( ,‬‬ ‫‪-‬‬ ‫‪,‬‬ ‫)‪-‬‬ ‫‪.122.3‬‬
‫אם‏‪k‬‏פונקציה‏ממשית‏אז‏‪T‬‏צמוד‏לעצמו‬ ‫‪.122.4‬‬

‫שעור ‪13‬‬

‫→ 𝜆‬ ‫‪,‬‏אז‏ ) (𝒦‬ ‫) (‬ ‫𝜆‬ ‫תרגיל‏‪-‬‏‬ ‫‪.123‬‬

‫‏אז‏‪T‬‏קומפקטי‏אם"ם‏*‪T‬‏קומפקטי‬ ‫(‬ ‫משפט הצמוד הקומפקטי‏‪-‬‏)‬ ‫‪.124‬‬

‫הפיכות וספקטרום‬

‫‏כך‏ש‪-‬‬ ‫‏אופרטור הפיך ‪invertible‬‏אם‏קיים‏) (‬ ‫‪ .125‬הגדרה‏‪-‬‏) (‬

‫דוגמא‏‪-‬‏‬ ‫‪.125.1‬‬
‫הפיך‬ ‫תרגיל‏–‏יחידות‏ההעתקה‏ההפוכה‏‪-‬‏‬ ‫‪.125.2‬‬
‫‪ker‬‬ ‫‪* +‬‬ ‫אם‏‪T‬‏הפיך‏אז‏‬ ‫‪.125.3‬‬
‫∑‏(הטור‏של‏נוימן)‬ ‫הפיך‏וההפכי‏שלו‏הוא‬ ‫|| ||‬ ‫‪ .126‬משפט‏–‏‪X‬‏מרחב‏בנך‪,‬‏‬

‫]‪[6/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫(||‬ ‫|| )‬ ‫מסקנה‏‪-‬‏‬ ‫‪.126.1‬‬

‫|| ||‬
‫(‬ ‫)‬ ‫‏‏הפיכים‏אז‏‬ ‫טענה‏‪-‬‏‬ ‫‪.127‬‬
‫||‬ ‫|| || ||‬
‫||‬ ‫(‬ ‫|| )‬
‫|| || ||‬
‫הפיך‏ומתקיים‏‬ ‫|| ||‏אז‏‬ ‫מסקנה‏–‏‪S‬‏הפיך‏ו‪-‬‏‬
‫||‬
‫‪.128‬‬
‫||‬ ‫||‬
‫‏העתקה‏רציפה‬ ‫הערה‏‪-‬‏‬ ‫‪.129‬‬
‫) (𝜌‏אוסף‏הנק' הרגולריות‏של‏‪T‬‬ ‫𝜆*‬ ‫𝜆|‬ ‫הגדרה‏–‏‪X‬‏מרחב‏בנך‪,‬‏‪er e+‬‬ ‫‪.130‬‬
‫טענה‏‪-‬‏) (𝜌 𝜆 || || |𝜆|‬ ‫‪.131‬‬
‫‏העתקה‏אנליטית‬ ‫𝜆‬ ‫) (𝜌 )𝜆(‬ ‫)𝜆(‬ ‫𝜆(‬ ‫הגדרה‏–‏רזולבנטה ‪Resolventa‬‏‪-‬‏ )‬ ‫‪.132‬‬
‫(בעזרת‏[‪)]128‬‬
‫‏‬ ‫𝜆‏‬ ‫𝜇 ) (𝜌‬ ‫𝜇|‬ ‫|𝜆‬ ‫)‬ ‫||‬ ‫𝜇‬ ‫∑‬ ‫𝜆(‬ ‫)𝜇‬ ‫𝜆‬ ‫‪.132.1‬‬
‫𝜆(||‬ ‫|| 𝜆 ||‬
‫‏‏?‬ ‫𝜇‬ ‫𝜆‬ ‫𝜇(‬ ‫)𝜆‬ ‫𝜇 𝜆‬ ‫‪.132.2‬‬
‫𝜆‬ ‫𝜆| 𝜇 ) (𝜌‬ ‫|𝜇‬ ‫𝜇‬ ‫) (𝜌‏קבוצה‏פתוחה‏‪-‬‏) (𝜌‬ ‫‪.133‬‬
‫|| 𝜆 ||‬
‫) (𝝈‏המשלים‏ל‪𝜌( )-‬‬ ‫𝜌‬ ‫𝜆*‬ ‫𝜆|‬ ‫‪ .134‬הגדרה‏–‏ספקטרום‏‪-‬‏‪+‬‬
‫) (𝜍‏קבוצה‏סגורה‏–‏משלים‏לקבוצה‏פתוחה‬ ‫‪.134.1‬‬

‫שעור ‪14‬‬

‫‪H .135‬‏מרחב‏הילברט‪,‬‏‪T‬‏אופרטור‏חסום‏אז‏𝜙 ) (𝜍‬

‫עבור‏‪X‬‏מרחב‏נורמי‏ניתן‏להוכיח‏בעזרת‏פונקציונלים‬ ‫‪.135.1‬‬
‫‏‬ ‫𝜆 ‪,ker‬‏כלומר‏אם‏קיים‏‬ ‫𝜆‏ערך עצמי (ע"ע‪)eigenvalue ,‬‏של‏אופרטור‏‪T‬‏אם‏‪* +‬‬ ‫‪ .136‬הגדרה‏‪-‬‏‬
‫שמקיים‏ 𝜆‬
‫𝜆‏אינו‏הפיך‬ ‫‪𝜆 .137‬‏ע"ע‏של‏ ‪T‬‏אז‏) (𝜍 𝜆‪,‬‏כלומר‏‬
‫‏הוא‏וקטור עצמי (ו"ע‪)eigenvector ,‬‏של‏‪T‬‏‬ ‫𝜆 ‪ker‬‬ ‫‪ .138‬הגדרה‏‪-‬‏‬
‫‪ .139‬דוגמאות‏לע"ע‪:‬‬
‫(‬ ‫( )‬ ‫|| || )‬ ‫| |*‬ ‫|𝜆| ע ע 𝜆 ) (𝜌 ‪+‬‬ ‫| |*‬ ‫) (𝜍 ‪+‬‬ ‫‪.139.1‬‬
‫𝜆 𝜆*‬ ‫‪+‬‬ ‫(‬ ‫𝜆( )‬ ‫𝜆‬ ‫)‬ ‫ע ע 𝜆 ̅ ) (𝜍‬ ‫‪.139.2‬‬
‫) (𝒦‬ ‫‪ .140‬טענה‏‪-‬‏) (𝜍‬
‫‏ת"מ‏סגור‬ ‫‪ker‬‬ ‫|| || || || ‏אז‏‪* +‬‬ ‫‏אופרטור‏בין‏מרחבי‏בנך‪,‬‏‬ ‫(‬ ‫‪ .141‬למה‏‪-‬‏)‬
‫‪ .142‬הגדרה‏–‏אופרטור‏צמוד‏לעצמו‏‪A‬‏הוא‏אופרטור (אי‪-‬שלילי)‏אם‏‬
‫דוגמא‏‪-‬‏הטלה‬ ‫‪.142.1‬‬
‫|‬ ‫|‬ ‫‪,‬‏היא‏מ"פ‏ומתקיים‏‬ ‫‪-‬‬ ‫‪ .143‬למה‏–‏‪A‬‏אופרטור‏חיובי‏אז‏‬
‫|| ||‬ ‫|| ||‪p‬‬ ‫‏אז‏‬ ‫‪ .144‬הגדרה‏‪-‬‏) (‬
‫𝜆‬ ‫) (𝜌‬ ‫𝜆‬ ‫(𝜌‬ ‫‏אז‏)‬ ‫‪ .145‬טענה‏‪-‬‏) (‬
‫) (‬ ‫‪ .146‬משפטים‏על ספקטרום של אופרטור צמוד לעצמו ‪-‬‏‬
‫‪𝜍( ) ,‬‬ ‫‏‏‪-‬‬ ‫‪.146.1‬‬
‫) (𝜍‬ ‫‪.146.2‬‬

‫שעור ‪15‬‬

‫) (𝒦‬ ‫‪ .147‬משפט‏על‏ע"ע של אופרטור קומפקטי צמוד לעצמו‏‪-‬‏|| || |𝜆| ע ע 𝜆‬

‫‏הוא‏תת‪-‬מרחב אינוורינטי ל‪T-‬‏אם‏מתקיים‏‬ ‫‪ .148‬הגדרה‏‪-‬‏) (‬
‫‏תת‪-‬מרחב‏סגור‏‏ואינוורינטי‏ל‪A-‬‏אז‏גם‏ ‏אינוורינטי‏ל‪A-‬‬ ‫‪ .149‬טענה‏‪-‬‏) (‬
‫מסקנה‏‪-‬‏‬ ‫‪.149.1‬‬
‫*‏של‏‬ ‫‏אז‏קיימת‏סדרה‏אורתונורמלית‏‪+‬‬ ‫‪ .150‬משפט פירוק ספקטרלי‏לאופרטור‏צמוד‏לעצמו‏‪-‬‏) (𝒦‬
‫ו"ע‏של‏‪A‬‏כך‏ש‪:‬‬
‫𝜆‬ ‫‪.150.1‬‬

‫]‪[7/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫|| ||‬ ‫| 𝜆|‬ ‫| 𝜆|‬ ‫→ 𝜆‬ ‫‪.150.2‬‬

‫∑‬ ‫𝜆‬ ‫‪.150.3‬‬
‫∑‬ ‫𝜆‬ ‫→‬ ‫‪.150.4‬‬
‫‪* +‬‏בסיס‏אורתונורמלי‏של‏̅̅̅̅̅̅‏ו‪A-‬‏אלכסוני‏לפי‏בסיס‏זה‬ ‫‪.150.5‬‬
‫בסיס‏של‏גרעין‏של‏‪A‬‏ישלים‏את‏הסדרה‏לבסיס‏של‏המרחב‏כולו‬ ‫‪.150.6‬‬

‫שעור ‪16717‬‬

‫𝜆 𝜆 * ) (𝜍 ) (𝒦‬ ‫‪+ .151‬‬

‫𝜆(‬ ‫𝜆 𝜆 * 𝜆‏קיים‏האופרטור‏ההפכי‏‏ )‬ ‫עבור‏‪+‬‬ ‫‪.151.1‬‬
‫̅̅̅̅̅̅‬ ‫∑‬ ‫‪.151.1.1‬‬
‫𝜆 𝜆‬
‫‪ker‬‬ ‫‪.151.1.2‬‬
‫𝜆‬
‫) ‪(λ‬‬ ‫𝜆(‪ker‬‬ ‫‪ .152‬הגדרה‏–‏ריבוי של ע"ע‏‪-‬‏)‬
‫) (𝜍‬ ‫‪ .153‬הגדרה‏–‏ע"ע‏𝜆‏של‏‪T‬‏מריבוי‏סופי‏נקרא‏ע"ע‏מבודד‏אם‏קיימת‏סביבה‏‪D‬‏של‏𝜆‏כך‏ש‪*𝜆+-‬‬
‫𝜆‏נקרא‏נקודה של ספקטרום דיסקרטי‏ואוסף‏נק'‏אלו‏מסומן‏) ( 𝜍‬ ‫‪.153.1‬‬
‫‏בעזרת‏אופרטור‏הילברט‪-‬שמידט‏אינטגרלי‏ומשפט‏הפירוק‏הספקטרלי‬ ‫‪ .154‬דוגמא‏‪-‬‏ 𝜆‬
‫) (‬ ‫‪ .155‬דוגמא‏–‏בעיית‏שטורם‪-‬ליאוביל‏‪Sturm-Liouville‬‏‪-‬‏‬

‫שעור ‪ – 18‬מספרים סינגולריים של אופרטור קומפקטי כללי‬

‫𝜆‏אז‏‬ ‫‏עם‏‬ ‫∑‬ ‫𝜆‬ ‫𝜑‬ ‫‏ולכן‏ 𝜑‬ ‫) (𝒦‬ ‫‪ .156‬הגדרה‏‪-‬‏) (𝒦‬

‫מספרים סינגולריים‏של‏האופרטור‏‪T‬‏הם‏ 𝝀√‬
‫𝜓‏‬ ‫𝜑‬ ‫טענה‏‪-‬‏אורתונורמלים 𝜓‬ ‫‪.157‬‬
‫∑‬ ‫𝜑‬ ‫סימון‏‪-‬‏ 𝜓‬ ‫‪.158‬‬
‫∑‬ ‫𝜑‬ ‫𝜓‬ ‫→‬ ‫משפט פירוק סינגולרי‏‪-‬‏‬ ‫‪.159‬‬
‫| ||‬ ‫} 𝜆√{‬ ‫||√‬ ‫הנורמה‏של‏‪T‬‏‪-‬‏||‬ ‫‪.159.1‬‬
‫‏ואפילו‏קיים‏ה‪.min-‬‏‬ ‫) (‬ ‫) (‬ ‫||‬ ‫משפט‏–‏נוסחת מינימקס‏‪-‬‏ ||‬ ‫‪.160‬‬
‫‏מתקיים‏|) ( 𝜆| ) (‬ ‫עבור‏ ‪T‬‏צמוד‏לעצמו‏‬ ‫‪.161‬‬
‫𝜑‬ ‫‏ולכן‏ 𝜓‬ ‫‏מתקיים‏) ( 𝜆 ) (‬ ‫עבור‏‪T‬‏גם‏חיובי‏‬ ‫‪.162‬‬
‫|) ( 𝜆|‬ ‫| || ||‬ ‫‏אז‏ |‬ ‫עקרון המינימקס‏‪-‬‏‬ ‫‪.163‬‬
‫‏אז‪:‬‬ ‫(𝒦‬ ‫‪ .164‬מסקנות‏‪-‬‏)‬
‫(‬ ‫)‬ ‫) (‬ ‫(‬ ‫)‬ ‫‪.164.1‬‬
‫|‬ ‫(‬ ‫)‬ ‫|| |) (‬ ‫||‬ ‫‪.164.2‬‬
‫) (‬ ‫(‬ ‫)‬ ‫) (‬ ‫) (‬ ‫(‬ ‫)‬ ‫‪.164.3‬‬
‫(‬ ‫)‬ ‫( ) (‬ ‫)‬ ‫‪.164.4‬‬

‫שעור ‪19‬‬

‫∑‬ ‫) (‬ ‫הגדרה‏–‏אופרטור של הילברט שמידט ‪ H.S.‬‏‪-‬‏) (𝒦‬ ‫‪.165‬‬

‫) (‬ ‫∑√‬ ‫הנורמה‏של‏אופרטור‏‪H.S.‬‏) (‬ ‫‪.165.1‬‬

‫‪:‬‬ ‫‪ .166‬אופרטור‏הילברט‪-‬שמידט‏ב‪, --‬‬
‫) ( 𝛾‏אז‏קיימים‏‪*𝜑 + *𝜓 +‬‏אורתונורמלים‏ב‪H-‬‬ ‫) (‬ ‫‪.166.1‬‬
‫(‬ ‫∑ ) ()‬ ‫(𝜑) ( ∫ ) ( 𝜓‬ ‫)̅̅̅̅̅̅̅‬ ‫‪.166.2‬‬
‫(‬ ‫)‬ ‫∑‬ ‫̅̅̅̅̅̅̅̅‬
‫𝜑) ( 𝜓‬ ‫) (‬ ‫(‬ ‫) ()‬ ‫) ( ∫‬ ‫(‬ ‫)‬ ‫‪.166.3‬‬

‫]‪[8/11‬‬
 ‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫( 𝜃‏מערכת‏אורתונורמלית‬ ‫)‬ ‫𝜑) ( 𝜓‬‫̅̅̅̅̅̅̅̅‬

‫) (‬ ‫‪, -‬‬ ‫‪.166.4‬‬
‫(‬ ‫)‬ ‫(‬ ‫∑ )‬ ‫𝜃‬ ‫‪.166.5‬‬
‫𝜃‬ ‫‪,‬‬ ‫‪-‬‬ ‫|| ||‬ ‫) ( 𝛾‬ ‫‪.166.6‬‬
‫‪,‬‬ ‫{‏בסיס‏אורתונורמלי‏ב‪- -‬‬ ‫(‬ ‫)‬ ‫טענה‏‪-‬‏‪* +‬‏בסיס‏אורתונורמלי‏ב‪ , --‬‏אז‏}) ( ) (‬ ‫‪.167‬‬
‫(‬ ‫)‬ ‫∑‬ ‫̅̅̅̅̅̅̅‬
‫𝜑) ( 𝜑 𝜆‬ ‫מסקנה‏–‏לאופרטור‏צמוד‏לעצמו‏מתקיים‪:‬‏) (‬ ‫‪.168‬‬
‫הוא‏אופרטור נורמלי‏אם‏‬ ‫הגדרה‏–‏) (‬ ‫‪.169‬‬
‫אלכסוני‬ ‫הגדרה‏–‏חלק ממשי ומדומה ‪-‬‏‬ ‫‪.170‬‬
‫טענה‏–‏‪T‬‏נורמלי‏ ‏‪AB=BA‬‬ ‫‪.170.1‬‬
‫‪ .171‬טענה‏–‏וקטורים‏עצמיים‏של‏ערכים‏עצמיים‏שונים‏הם‏אורתוגונלים‏ובת"ל‏‬
‫𝜆) (‬ ‫𝜆(‬ ‫)‬ ‫‪ .172‬טענה‏‪-‬‏‬

‫שעור ‪21‬‬

‫‏אז‏קיים‏בסיס‏א"נ‏של‏‪H‬‏של‏ו"ע‏גם‏של‏‪A‬‏וגם‏של‏‪B‬‬ ‫) (𝒦‬ ‫‪ .173‬ספרבילי‬

‫‪ .174‬מסקנה‏–‏משפט פירוק ספקטרלי לאופרטור נורמלי‏–‏‪T‬‏קומפקטי‏ונורמלי‏ב‪H-‬‏ספרבילי‏אז‏קיים‏בסיס‏א"נ‏‬
‫𝜆 ∑‬ ‫𝜑‬ ‫של‏ו"ע‏של‏‪T‬‏כך‏ש‪𝜑 -‬‬
‫אופרטור אוניטרי‏אם‏‬ ‫‪ .175‬הגדרה‏–‏) (‬
‫אופרטור‏אוניטרי‏מקיים‏|| || || ||‬ ‫‪.175.1‬‬
‫‏הוא‏אופרטור‏אוניטרי‬ ‫אופרטור‏על‏שמקיים‏‬ ‫‪.175.2‬‬
‫‪,‬‏‪X‬‏מרחב‏בנך‏אז‏‬ ‫‪ .176‬משפט‏‪-‬‏ספקטרום של אופרטור קומפקטי כללי‏‏‪-‬‏) (𝒦‬
‫𝜖 ‪,‬‏כלומר‏לכל‏ע"ע‏שאינו‏‪0‬‏יש‏מספר‏סופי‏של‏ו"ע‪,‬‏ומחוץ‏לכל‏סביבה‏‬ ‫𝜖 |𝜆| 𝜆∑‬ ‫𝜆(‪ker‬‬ ‫)‬
‫של‏אפס‏יש‏מספר‏סופי‏של‏ע"ע‬

‫שעור ‪ – 21‬אופרטורים מדרגה סופית‬

‫‪ .177‬טענה‏–‏‬
‫‪ker‬‬ ‫‪.177.1‬‬
‫‪ker‬‬ ‫‪ker‬‬ ‫‪.177.2‬‬
‫תת‪-‬מרחב של אופרטורים מדרגה סופית‬ ‫(‬ ‫)‬ ‫*‬ ‫(‬ ‫|)‬ ‫‪ .178‬הגדרה‏‪-‬‏‪+‬‬
‫‏אז‪:‬‬ ‫‪ .179‬טענה‏–‏‪X‬‏בנך‪,‬‏) (‬
‫(‬ ‫)‬ ‫(‪ker‬‬ ‫)‬ ‫‪.179.1‬‬
‫( ‏תת‪-‬מרחב‏סגור‬ ‫)‬ ‫‪.179.2‬‬
‫(‪ker‬‬ ‫( ‪) * +‬‬ ‫הפיך )‬ ‫‪.179.3‬‬
‫‏הפיך‪.‬‏אז‏לגבי‏‪T‬‏מתקיימות‏תוצאות‏הטענה‬ ‫(‬ ‫(‬ ‫))‬ ‫) (‬ ‫‪ .180‬מסקנה‏‪-‬‏) (‬
‫‪:‬‬ ‫𝜆‬ ‫‏ו‪-‬‬ ‫̅̅̅̅̅̅̅‬
‫‪ .181‬מסקנות‪:‬‏עבור‏) (‬
‫) (𝜍 ‪λ‬‬ ‫ע ע𝜆‬ ‫‪.181.1‬‬
‫𝜆(‪ker‬‬ ‫)‬ ‫𝜆(‬ ‫)‬ ‫𝜆(‪ker‬‬ ‫אם‏𝜆‏ע"ע‏של‏‪T‬‏אז‏)‬ ‫‪.181.2‬‬
‫𝜆( ‏תת‪-‬מרחב‏סגור‬ ‫)‬ ‫‪.181.3‬‬
‫̅̅̅̅̅̅̅‬
‫‪ .182‬תוצאה‏‪-‬‏) (𝒦 ) (‬

‫שעור ‪ – 22‬משפטי פרדהולם‬

‫‏‏‏‏‏‏‏‏‏‏‏‏‏‏‏‏‏‏‏‬ ‫||‬ ‫||‬ ‫‏כך‏ש‪-‬‬ ‫משפט‏–‏אופרטורים קומפקטיים כסגור של הסופיים‏–‏‪X‬‏בנך‪,‬‏קיימים‏) (‬ ‫‪.183‬‬

‫)‬ ‫̅̅̅̅̅̅̅ ) (𝒦‏(כלומר‏ ‏מהווה‏יחידה‏אפרוקסימטיבית‏ו‪-‬‬
‫‏אז‏) (‬ ‫ו‪-‬‬
‫̅‬ ‫| *‬‫𝜆‬ ‫}̅𝜆‬ ‫𝜆‬ ‫| *‬ ‫סימון‏‪-‬‏‪𝜆 +‬‬ ‫‪.184‬‬
‫) (𝒦‬ ‫𝜆‬ ‫הילברט‬ ‫מסקנות‏–‏משפטי פרדהולם‏‪-‬‏‬ ‫‪.185‬‬

‫]‪[9/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫‏פתירה‬ ‫𝜆‬ ‫‏יש‏רק‏פתרון‏טריוויאלי‏אז‏‬ ‫אם‏ל‪𝜆 -‬‬ ‫‪.185.1‬‬

‫𝜆‬ ‫̅‬
‫𝜆‬ ‫אם‏יש‏פתרונות‏לא‏טריוויאלים‏אז‏מתקיים‏‬ ‫‪.185.2‬‬
‫𝜆‬ ‫פתירה‬ ‫̅‬
‫𝜆‬ ‫כמוכן‪,‬‏‬ ‫‪.185.3‬‬
‫‪,‬‬ ‫( ‪-‬‬ ‫) ()‬ ‫∫‬ ‫(‬ ‫) ( )‬ ‫דוגמא‏–‏אופרטור וולטרה ‪Voltera‬‏‪-‬‏הפיך‬ ‫‪.186‬‬
‫ספקטרום‏של‏‪T‬‏הוא‏{‪}0‬‬ ‫‪.186.1‬‬

‫אופרטורים איוורינטים ביחס להזזה – פונקציות ממשיות‬

‫) (‬ ‫(‬ ‫הגדרה‏–‏הזזה‏‪-‬‏)‬ ‫‪.187‬‬

‫הגדרה‏–‏‪T‬‏אינוורינטי להזזה‏–‏‬ ‫‪.188‬‬
‫(‬ ‫)‬ ‫הגדרה‏–‏פונקציה מחזורית‏‪-‬‏ ) (‬ ‫‪.189‬‬
‫*‬ ‫)𝜋 ( ‪, 𝜋 𝜋-‬‬ ‫‏–‏מחזור‏של‏שני‏פאי‪,‬‏פונקציות‏על‏המעגל‏‪(𝜋)+‬‬ ‫סימון‏לפרק‏זה‏‪-‬‏𝜋‬ ‫‪.190‬‬
‫𝜋‬
‫(‏ואינוורינטי‏להזזות‏אז‏יש‏‬ ‫( 𝜋 ∫ ) ()‬ ‫טענה‏–‏‪T‬‏אופרטור‏הילברט‏שמידט‏אינטגרלי‏ ) ( )‬ ‫‪.191‬‬
‫) ( ‏כך‏ש‪T-‬‏הוא‏קונבולוציה‏ב‪:k-‬‏‬ ‫(‬ ‫)‬

‫שעור ‪23‬‬

‫( ‪, 𝜋 𝜋-‬‬ ‫‪ .192‬הגדרה‏–‏קונבולוציה‏‪-‬‏ ) ( )‬
‫) ()‬ ‫( ∫‬
‫קומוטטיביות‏‪-‬‏‬ ‫‪.192.1‬‬
‫(‬ ‫)‬ ‫ליניאריות‏‪-‬‏‬ ‫‪.192.2‬‬
‫‪* +‬‏סדרת‏פונק'‏מחזוריות‏היא‏יחידה אפרוקסימטיבית אם‪:‬‬ ‫‪ .193‬הגדרה‏‪-‬‏‪, 𝜋 𝜋-‬‬
‫𝜋‬
‫) ( 𝜋∫‬ ‫‪.193.1‬‬
‫𝜋‬
‫|𝜋 ∫‬ ‫|) (‬ ‫‏כך‏ש‪-‬‬ ‫קיים‏‬ ‫‪.193.2‬‬
‫𝛿‬ ‫𝜋‬
‫𝛿 ‏‬ ‫∫‬ ‫𝜋‬
‫|‬ ‫|) (‬ ‫| 𝛿∫‬ ‫|) (‬ ‫→‬ ‫‪.193.3‬‬
‫‏יחידה‏‬ ‫‪ .194‬משפט היחידה האפרוקסימטיבית‏‪Approximative identity‬‏‪-‬‏)רציפה מחזורית(‪̃ , 𝜋 𝜋-‬‬
‫‏(התכנסות‏במ"ש‪,‬‏לא‏של‏אופרטורים)‬ ‫אפרוקסימטיבית‏אז‏‬
‫‪.195‬‬
‫‏בבחירת‏ ‏מתאימים‏זו‏יחידה‏אפרוקסימטיבית‏‬ ‫‪.‬‬ ‫משפט ויירשטראס‏‪-‬‏ ‪/‬‬ ‫‪.196‬‬
‫𝜆‬ ‫‏עם‏ע"ע‏‬ ‫𝜆‬ ‫‏פונקציות עצמיות של אופרטור הזזה‪:‬‏‬ ‫‪ .197‬טענה‏‪-‬‏‬
‫∑‬ ‫) (̂‬ ‫*‪:‬‏‬ ‫אופרטור‏ההזזה‏אלכסוני‏בבסיס‏‪+‬‬ ‫‪.197.1‬‬
‫𝜇‬ ‫𝜇‬ ‫כל‏אופרטור‏אינוורינטי‏להזזות‏הוא‏אלכסוני‏בבסיס‏זה‏‪-‬‏‬ ‫‪.197.2‬‬
‫מקרה‏פרטי‏–‏אופרטור‏קונבולוציה‬ ‫‪.197.3‬‬
‫) (‬ ‫𝜋‬
‫∑‬ ‫הגדרה‏–‏גרעין דיריכלה ‪ Dirichlet kernel‬‏‪-‬‏‬ ‫‪.198‬‬
‫(‏‬ ‫) ()‬ ‫∑‬ ‫) (̂‬ ‫טענה‏–‏סכום דיריכלה של טור פורייה‏‪-‬‏‬ ‫‪.199‬‬
‫∑‬ ‫‏ואז‏‬ ‫∑‬ ‫הגדרה‏‪-‬‏במקום‏סכומים‏חלקיים‏נגדיר‏סכום צ'יזארו‏‬ ‫‪.200‬‬

‫) (‬ ‫) (‬
‫‏–‏יחידה‏אפרוקסימטיבית‬ ‫) (‬ ‫𝜋‬
‫(‬ ‫הגדרה‏–‏גרעין פאייר ‪Fejer kernel‬‏‪-‬‏ )‬ ‫‪.201‬‬

‫) (‬ ‫‪.201.1‬‬
‫) (‬ ‫‪.201.2‬‬
‫) ( 𝜍‏(מוגדר‏כסכום‏צ'יזארו)‬ ‫הגדרה‏–‏סכום פאייר של טור פורייה‏‪-‬‏‬ ‫‪.202‬‬
‫∑‬ ‫) (̂‬ ‫‏מחזורית‏𝜋 ‏אז‏) (‬ ‫משפט‏פאייר‏‪-‬‏) (‬ ‫‪.203‬‬

‫הזזה על כל הישר – פונקציות לא מחזוריות‬

‫]‪[10/11‬‬
‫‏‪ 08/08/2010‬‏‬ ‫‏‬ ‫‏סיכום‏מבוא‏למרחבי‏הילברט‏ותורת‏האופרטורים‏תש"ע‏‬

‫𝜆‬ ‫𝜆‬ ‫𝜆‬

‫𝜆‬ ‫)𝜆(𝜇‬ ‫)𝜆(𝜇‬ ‫פונקציות‏עצמיות‏של‏אופרטור‏ההזזה‏‪-‬‏‬ ‫‪.204‬‬
‫)𝜆()) ( ( ) (‬ ‫)𝜆(̂‬ ‫∫‬ ‫) (‬ ‫𝜆‬
‫הגדרה‏–‏התמרת פורייה ‪Fourier Transform‬‏‪-‬‏‬ ‫‪.205‬‬
‫)‬ ‫||̂ ||‏(אם‏נגדיר‏אותה‏̂‬ ‫ההתמרה‏שומרת‏נורמה‪:‬‏ || ||‬ ‫‪.205.1‬‬
‫𝜋 √‬ ‫𝜋 √‬
‫ההתמרה‏פועלת‏על‏תת‪-‬מרחב‏חסום‏ולכן‏ניתן‏להרחבה‏לכל‏) (‬ ‫‪.205.2‬‬
‫ההתמרה‏היא‏על‬ ‫‪.205.3‬‬
‫(‬ ‫) ()‬ ‫∫‬ ‫̂‬ ‫)𝜆(‬ ‫𝜆‬
‫‏ע"י‏𝜆‬ ‫לכן‏ההתמרה‏היא‏אוניטרית‏‪-‬‏‬ ‫‪.205.4‬‬
‫𝜋‬
‫)𝜆( ̂‬ ‫)𝜆(̂ )𝜆 (‬ ‫‪.205.5‬‬
‫)𝜆( ̂‬ ‫𝜆 ) ( ∫‬ ‫) ( ‏אז‏‬ ‫???‏) (‬ ‫‪.205.6‬‬
‫‏כך‏ש‪:‬‏‬ ‫‏וקיים‏‬ ‫‪ .206‬משפט‏–‏נוסחת פואסון‏‪-‬‏) (‬
‫∑‬ ‫) 𝜋 (‬ ‫∑‬ ‫|‏אז‏‏) (̂‬ ‫|) (‬ ‫|‬ ‫|) (‬ ‫|‬ ‫|) (‬
‫𝜋‬

‫שעור ‪25‬‬

‫‪ .207‬הגדרות‪:‬‬
‫*‬ ‫) (‬ ‫(|‪p‬‬ ‫|) ( )‬ ‫‪+‬‬ ‫) (‬ ‫‪.207.1‬‬
‫*‬ ‫) (‬ ‫‪+‬‬ ‫‪.207.2‬‬
‫*‬ ‫) (‬ ‫‪+‬‬ ‫‪.207.3‬‬
‫‪ .208‬משפט‏–‏נוסחת‏פואסון‏מתקיימת‏ל‪-‬‬
‫∑‬ ‫𝜋 ) 𝜋 (‬ ‫∑‬ ‫(̂‬ ‫)‬ ‫‪.208.1‬‬
‫𝜋‬
‫) ( ‏‬ ‫∫‬ ‫)𝜆(̂‬ ‫𝜆‬
‫‏אז‏𝜆‬ ‫משפט‏‪-‬‏‬ ‫‪.209‬‬
‫𝜋‬
‫̂ ̂‬ ‫‏אז‏‬ ‫מסקנה‏‪-‬‏‬ ‫‪.210‬‬
‫𝜋‬
‫‏אם‪:‬‬ ‫‪ .211‬הגדרה‏‪-‬‏ 𝒴‬
‫) (‬ ‫‪.211.1‬‬
‫) (‬
‫|‬ ‫|) (‬ ‫‪.211.2‬‬

‫שעור ‪26‬‬

‫̅𝒴‬ ‫משפט‏‪-‬‏) (‬ ‫‪.212‬‬

‫) ( ‏‬ ‫הגדרה‏–‏אופרטור פורייה‏‪-‬‏ ̂‬ ‫‪.213‬‬
‫𝜋 √‬
‫‏חח"ע‏על‬ ‫) (‬ ‫‏חח"ע‏על‏ולכן‏) (‬ ‫𝒴 𝒴‬ ‫‪.213.1‬‬
‫|| ||‬ ‫|| ||‬ ‫‪.213.2‬‬
‫)) ( (‬ ‫‪.213.3‬‬
‫‪.213.4‬‬
‫) (‬ ‫) (𝜍‬ ‫*‬ ‫‪ .214‬משפט‏‪-‬‏ ‪+‬‬

‫שעור ‪27‬‬

‫) (‬ ‫) (‬ ‫) (‬ ‫טענה‏‪-‬‏‬ ‫‪.215‬‬

‫{‏פונקציות‏הרמיט‏ו"ע‏של‏אופרטור‏פורייה‏‬ ‫}‬ ‫מסקנה‏‪-‬‏‬ ‫‪.216‬‬

‫סוף‬ ‫‪.217‬‬

‫]‪[11/11‬‬