ממד (אלגברה ליניארית)

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

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

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

הגדרהעריכה

יהי   מרחב וקטורי מעל שדה  עם בסיס   באורך  . המספר   נקרא הממד של   ומסומן:  .

כשרוצים לציין את התלות בשדה הבסיס מסמנים  , ולפעמים גם  .

הסברעריכה

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

תכונותעריכה

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

  • כל שני מרחבים וקטוריים בעלי אותו ממד סופי מעל אותו שדה הם איזומורפיים זה לזה.
  • המרחב היחיד מממד 0 הוא מרחב האפס, הכולל את וקטור האפס בלבד.
  • אם   מרחב וקטורי מממד סופי ו-  תת-מרחב של   ומתקיים   אז  . כלומר, תת־מרחב מאותו מימד של המרחב המקורי, שווה למימד המקורי.
  • הממד של סכום ישר של מרחבים הוא סכום הממדים.
  • הממד של המכפלה הטנזורית שווה למכפלת הממדים.
  • הממד של מרחב ההעתקות הליניאריות   שווה למכפלת הממדים של המרחבים המעורבים.
  • הממד של מרחב הווקטורים   שווה ל- , והממד של אלגברת המטריצות   הוא  .

משפטיםעריכה

משפט הממדים קושר את הממד של סכום וחיתוך תת-מרחבים: אם  , אז  . זאת בהתאם לעיקרון ההכלה וההדחה.

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

קישורים חיצונייםעריכה

  מדיה וקבצים בנושא ממד בוויקישיתוף