פונקציונל – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏פונקציונל מעל מרחב פונקציות: אין צורך בהרחבה נוספת בעניין. נהפוך את זה לדוגמה יסודית.
שורה 23:
[[משפט ההצגה של ריס]] מסייע להבנת המבנה של המרחב הדואלי. למשפט כמה גרסאות, והיסודית שבהן קובעת כי מעל [[מרחב הילברט]], כל הפונקציונלים החסומים הם מכפלה פנימית עם איבר. כלומר, אם <math>\ f</math> הוא פונקציונל חסום מעל מרחב הילברט, אז קיים <math>\ y</math> במרחב כך ש-<math>\ f(x)=\langle x,y\rangle</math>. במקרה זה לא קשה לראות מ[[אי שוויון קושי שוורץ]] כי <math>\ \| f\|=\|y \|</math> (כאשר הנורמה משמאל היא נורמה אופרטורית והנורמה מימין היא הנורמה המתקבלת מהמכפלה הפנימית).
 
==דוגמאות==
==פונקציונל מעל מרחב פונקציות==
באנליזה של [[מרחב פונקציונלי|מרחבים פונקציונלים]] (מרחבים שאיבריהם הם פונקציות, לרוב פונקציות ממשיות בעלות מידה מסוימת של [[חלקות]]), פונקציונל הוא "פונקציה של פונקציה". כלומר: פונקציונל הוא פונקציה המקבלת (פועלת על) פונקציה ומחזירה מספר (ממשי או מרוכב) בתמונה. זהו מקרה פרטי של ההגדרה הכללית.
 
לדוגמה:באנליזה של מרחבי פונקציות, לרוב [[מרחב Lp|מרחבי Lp]], פונקציונל הוא "פונקציה של פונקציות". כלומר, פונקציונל הוא פונקציה המקבלת פונקציה ומחזירה מספר (ממשי או מרוכב). דוגמה יסודית לפונקציונל רציף מעל למרחב <math>L^1([0,1])</math> הוא <math>\!\, I [(f])=\int_0^1{ f(x) \ dx }</math>. זהו פונקציונל המקבל פונקציה ומחזיר את ה[[אינטגרל מסוים|אינטגרל המסוים]] שלה בקטע [0,1]. זהו פונקציונל ליניארי.
 
השימוש בפונקציונלים ליניאריים נפוץ כאשר מעוניינים להגדיר ולחשב [[נורמה (אנליזה)|נורמה]] של פונקציה.
 
==פונקציונל ליניארי==