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

תוכן שנמחק תוכן שנוסף
מ הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג) (דיון)
מאין תקציר עריכה
שורה 1:
ב[[מתמטיקה]] ובפרט ב[[אנליזה פונקציונלית]], '''פונקציונל''' או '''פונקציונל ליניארי''' הוא [[טרנספורמציה ליניארית]] מ[[מרחב נורמי]] אל [[שדה (מבנה אלגברי)|שדה]].
 
בעבר פונקציונל הוגדר כפונקציה שהתחום שלה הוא מרחב פונקציות, כלומר פונקציה שפועלת על פונקציות. הרקע להגדרה זו הוא המחקר המוקדם באנליזה פונקציונלית שעסק במרחבי פונקציות. שימוש זה במונח "פונקציונל" עדיין נפוץ ב[[פיזיקה]] וב[[מדעי המחשב]]. לאחר שאומצה גישה [[אקסיומה|אקסיומטית]] כללית לאנליזה פונקציונלית ומרחבי פונקציות זוהו כמקרה פרטי של מרחבים נורמיים, המובן של פונקציונל הפך להיות כללילכללי יותר.
 
הפונקציונלים החשובים ביותר הם כאלה המוגדרים מעל [[מרחב בנך]], או אף [[מרחב הילברט]], לתוך [[שדה המספרים הממשיים]] או ה[[שדה המספרים המרוכבים|מרוכבים]].
שורה 17:
את משפחת כל הפונקציונלים הליניאריים והחסומים על <math>\ X</math> מסמנים ב-<math>\ X^*</math>. אפילו אם <math>X</math> עצמו אינו מרחב בנך, משפחה זו היא [[מרחב בנך]] המכונה "[[המרחב הדואלי]]" של <math>\ X</math>, והוא בעל חשיבות יסודית באנליזה פונקציונלית.
 
[[משפט ההצגה של ריס]] מסייע להבנת המבנה של המרחב הדואלי. למשפט כמה גרסאות, והיסודית שבהן קובעת כי מעל [[מרחב הילברט]], כל הפונקציונלים החסומים הם מכפלה פנימית עם איבר. כלומר, אם <math>\ f</math> הוא פונקציונל חסום מעל מרחב הילברט, אז קיים <math>\ y</math> במרחב כך ש-<math>\ f(x)=\langle x,y\rangle</math>. במקרה זה לא קשה לראות מ[[אי שוויון קושי שוורץ]] כי <math>\ \| f\|=\|y \|</math> (כאשר הנורמה משמאל היא נורמה אופרטורית והנורמה מימין היא הנורמה המתקבלת מהמכפלה הפנימית).
 
==דוגמאות==