מרחב וקטורי

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

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

הגדרה פורמלית

חבורה אבלית עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ V} ביחס לחיבור, היא מרחב וקטורי מעל השדה ${\displaystyle \ \mathbb {F} }$ , אם מוגדרת פעולת כפל סקלרי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{F} \times V \rightarrow V} , שמסמנים ב-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ (\alpha,v) \mapsto \alpha \cdot v} , כך שמתקיימות האקסיומות

1. לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ v} ב-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ V} מתקיים ${\displaystyle \ 1\cdot v=v}$ .
2. אסוציאטיביות של כפל סקלרים בווקטור (חוק הקיבּוץ): לכל עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ \alpha ,\beta \in \mathbb {F} } ולכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ v \in V} מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ (\alpha \cdot \beta) \cdot v = \alpha \cdot (\beta \cdot v)} .
3. דיסטריבוטיביות של סקלרים (חוק הפילוג לסקלרים): לכל עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ \alpha ,\beta \in \mathbb {F} } ולכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ v \in V} מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ (\alpha + \beta ) \cdot v = \alpha \cdot v + \beta \cdot v} .
4. דיסטריבוטיביות של וקטורים (חוק הפילוג לווקטורים): לכל ${\displaystyle \ u,v\in V}$ ולכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ \alpha \in \mathbb{F}} מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ \alpha\cdot (u+v) = \alpha \cdot u + \alpha\cdot v } .

דרישת החילופיות של החיבור ב-V נובעת משאר האקסיומות (כפי שניתן לראות אם מפתחים את הביטוי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle (1+1)(u+v)} , פעם אחת לפי דיסטריבוטיביות של סקלרים, ופעם שנייה לפי דיסטריבוטיביות של וקטורים). ובכל זאת נהוג לציינה לשם הנוחות.

סימונים

לעיתים וקטורים מסומנים בסימון מיוחד כדי להבדילם מסקלרים, למשל וקטור עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u \in V} יסומן באחת מהאפשרויות הבאות:

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \underline{u} \ , \ \overline{u} \ , \ \vec{u}\ , \ \mathbf{u}}

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

דוגמאות

• המרחב ${\displaystyle \mathbb {F} ^{n}}$ של n-יות המורכבות מאיברים בשדה ${\displaystyle \ \mathbb {F} }$ כלשהו, כאשר החיבור הוא לפי קואורדינטות (חיבור איבר־איבר) וכך גם הכפל בסקלר. בפרט:

עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle (x_{1},...,x_{n})+(y_{1},...,y_{n})=(x_{1}+y_{1},...,x_{n}+y_{n})} ו-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle c \cdot (x_1,...,x_n) = (c x_1, ... , c x_n) }

האיבר הנייטרלי לחיבור הוא עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \vec{0} = (0,...,0)} .

• • המרחב עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^n} של עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle n} ־יות מספרים ממשיים מעל שדה הממשיים.
  • המרחב האוקלידי התלת־ממדי מעל שדה הממשיים. זהו גם מרחב מכפלה פנימית ביחס למכפלה הסקלרית הסטנדרטית.
• מרחב הפונקציות הממשיות מעל שדה הממשיים.
  • מרחב הפולינומים מעל שדה F. תת־המרחבים של מרחב זה המכילים פולינומים ממעלה n ומטה.
• מרחב המטריצות הממשיות (או המרוכבות) בגודל נתון מעל שדה הממשיים (או המרוכבים).
• מרחב כל ההעתקות הלינאריות מעל מרחב וקטורי נתון.
• אוסף כל תת־הקבוצות של קבוצה X כלשהי הוא מרחב וקטורי מעל השדה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}_2} , כאשר פעולת החיבור היא פעולת ההפרש הסימטרי.

תלות לינארית ופרישה

קבוצה של ווקטורים היא תלויה לינארית אם ניתן להציג ווקטור אחד מתוכה כצירוף לינארי של האחרים. קבוצה לא תלויה לינארית נקראת גם "בלתי תלויה לינארית" (או בקיצור בת"ל). פרוש (Span) של קבוצת ווקטורים הוא קבוצת כל הצירופים הלינאריים של הווקטורים בקבוצה. אומרים שקבוצת וקטורים פורשת את המרחב אם המרחב שווה לפרוש שלה.

בסיס וממד

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

תת־מרחב וקטורי

תת־מרחב של מרחב וקטורי כלשהו הוא תת-קבוצה שלו שמהווה בעצמה מרחב וקטורי. תת־מרחב חייב להיות מעל אותו שדה של המרחב הווקטורי והפעולות בו חייבות להיות אותן פעולות של המרחב הווקטורי. כדי לבדוק שתת־קבוצה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ W} של המרחב הווקטורי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ V} מעל השדה ${\displaystyle \mathbb {F} }$ מהווה מרחב וקטורי, די לבדוק את הפרטים הבאים:

1. עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ W} אינה ריקה (מספיק לדעת כי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ 0 \in W} ).
2. עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ W} סגורה ביחס לחיבור. כלומר לכל ${\displaystyle \ v,u\in W}$ מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ v+u\in W} .
3. עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ W} סגורה ביחס לכפל בסקלר. כלומר לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ v \in W} ו-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \lambda \in \mathbb{F}} מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \lambda \cdot v \in W} .

יריעת גרסמן מקודדת את כל תת־המרחבים מממד נתון של V.

מבנים נוספים

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

ראו גם

• מרחב בנך
• מרחב הילברט
• אגד וקטורי

קישורים חיצוניים

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