מרחב דואלי – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
ברוקולי (שיחה | תרומות)
מ מופיע כבר בראש הערך
Xqbot (שיחה | תרומות)
מ בוט משנה: ca:Estructura lineal dual
שורה 52: שורה 52:


[[en:Dual space]]
[[en:Dual space]]
[[ca:Estructures lineals duals]]
[[ca:Estructura lineal dual]]
[[cs:Duální prostor]]
[[cs:Duální prostor]]
[[de:Dualraum]]
[[de:Dualraum]]

גרסה מ־23:56, 21 ביולי 2010

המרחב הדואלי הוא מבנה טבעי המוגדר על מרחב וקטורי V מעל שדה F. זהו מרחב הכולל את כל הפונקציונלים הלינאריים מ-V לשדה F. למבנה זה יש חשיבות רבה באלגברה לינארית ובפרט באנליזה פונקציונלית וגאומטריה דיפרנציאלית.

הגדרת המרחב הדואלי

מעל מרחב וקטורי

יהי מרחב וקטורי מעל השדה .

המרחב הדואלי של שיסומן ב- הוא המרחב הווקטורי שאיבריו הם הפונקציות הלינאריות . החיבור והכפל בסקלר מוגדרים בצורה הטריויאלית.

איבר ב- נקרא פונקציונאל לינארי.

מעל מרחב בנך

יהי מרחב בנך מעל שדה סקלרי . אזי פונקציונל הוא פונקציה המתאימה לכל איבר במרחב מספר כלשהו מהשדה .

נהוג לסמן את קבוצת כל הפונקציונלים הלינאריים מעל בסימון . זהו מרחב לינארי. בדרך כלל עוסקים רק בפונקציונלים לינאריים ולכן בהרבה טקסטים בנושא המונח "פונקציונל" כולל את דרישת הלינאריות.

מגדירים נורמה של פונקציונל כפי שמגדירים נורמה על כל אופרטור במרחב נורמי, באופן הבא:

אזי תמיד מתקיים ש .

פונקציונל שהנורמה שלו סופית ( ) נקרא "פונקציונל חסום" ואז הוא גם בפרט פונקציונל רציף לפי תנאי ליפשיץ.

את קבוצת כל הפונקציונלים הלינאריים והחסומים על מסמנים ב-. זהו מרחב בנך - הוא לינארי, הוא נורמי, והוא שלם. למרחב קוראים "המרחב הדואלי" של .

למרחב הדואלי יש חשיבות רבה באנליזה פונקציונלית.

הבסיס הדואלי

נניח כי ממימד סופי ויהי בסיס עבורו.

נסמן ב- את הפונקציונאל הלינארי המקבל 1 על ו-0 על שאר אברי הבסיס (כמובן שיש פונקציונאל לינארי יחיד כנ"ל).

הקבוצה מהווה בסיס ל- שיקרא הבסיס הדואלי. בסיס זה מקיים את כלל הדלתא של קרונקר - - ואומרים שהוא בי-אורתוגונלי לבסיס הישר.

ההעתקה הדואלית

תהי העתקה לינארית. ההעתקה המוגדרת על ידי תקרא ההעתקה הדואלית של .

אם היא המטריצה המייצגת של ביחס לבסיסים כלשהם של ו- אז המטריצה תייצג את בבסיסים הדואליים המתאימים.