מרחב אפיני

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

המרחב האפיני בנוי מאוסף נקודות ומרחב וקטורי המייצג את הכיוונים בין הנקודות השונות במרחב. כך למשל, אפשר להגיד שהכיוון מנקודה ${\displaystyle a}$ לנקודה ${\displaystyle b}$ הוא אותו כיוון כמו מנקודה ${\displaystyle c}$ לנקודה ${\displaystyle d}$ אם אותו וקטור ${\displaystyle {\vec {v}}}$ מייצג תנועה מנקודה ${\displaystyle a}$ ל-${\displaystyle b}$ (קריא, ${\displaystyle b=a+{\vec {v}}}$) ומנקודה ${\displaystyle c}$ ל-${\displaystyle d}$ (קריא, ${\displaystyle d=c+{\vec {v}}}$). באופן דומה, המרחב האפיני מאפשר להגדיר מונחים כגון ישרים מקבילים בעזרת טרמינולוגיה מעולם האלגברה הליניארית.

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

סימונים

בערך זה נסמן ב-${\displaystyle A}$ ו-${\displaystyle B}$ קבוצות של נקודות.

נסמן ב-${\displaystyle F}$ שדה כלשהו, כאשר לרוב ${\displaystyle F=\mathbb {R} }$, שהוא שדה הממשיים. נסמן ב-${\displaystyle 0}$ ו-${\displaystyle 1}$ את איבר האפס ואיבר היחידה של השדה ${\displaystyle F}$ בהתאמה.

נסמן ב-${\displaystyle {\vec {A}}}$ ו-${\displaystyle {\vec {B}}}$ מרחבים וקטוריים מעל ${\displaystyle F}$.

נסמן את פעולת החיבור ${\displaystyle +}$ הן כפעולת החיבור בין הווקטורים במרחב הווקטורי והן כפעולה בין נקודה לוקטור במרחב האפיני. ההבדל בין שתי הפעולות יהיה תלוי בהקשר.

נסמן ב-${\displaystyle 0}$ את וקטור האפס במרחבים וקטורים, כאשר נבדיל בין איבר האפס ב-${\displaystyle F}$ לוקטור האפס במרחב הווקטורי על פי ההקשר.

מוטיבציה

מרחבים וקטוריים כמו אלו מהצורה ${\displaystyle \mathbb {R} ^{n}}$ יכולים לשמש לתיאור מרחב פיזי מנקודת מבטו של צופה אשר נמצא בראשית הצירים. בתוך כך, תתי-מרחבים וקטורים באותו מרחב יכולים לתאר שדה ראייה מצומצם יותר בתוך אותו מרחב. כך למשל, בתוך המרחב התלת־ממדי ${\displaystyle \mathbb {R} ^{3}}$, תת-המרחב ${\displaystyle V:=\left\{(x,y,z)\mid x,y,z\in \mathbb {R} ,2x+3y+7z=0\right\}}$ מתאר מישור בתוך אותו מרחב, אשר עובר כמובן דרך ראשית הצירים ${\displaystyle (0,0,0)}$ גם כן.

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

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

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

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

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

הגדרה מתמטית

בהינתן קבוצת נקודות ${\displaystyle A}$, מרחב וקטורי ${\displaystyle {\vec {A}}}$ מעל ${\displaystyle F}$, ופעולה ${\displaystyle +:A\times {\vec {A}}\to A}$, הזוג הסדור ${\displaystyle (A,{\vec {A}})}$ ייקרא מרחב אפיני אם ורק אם הוא מקיים את התנאים הבאים:^[1]

1. לכל נקודה ${\displaystyle a\in A}$ מתקיים ש-${\displaystyle a+0=a}$
2. אסוציאטיביות: לכל ${\displaystyle a\in A}$ ו-${\displaystyle {\vec {u}},{\vec {v}}\in {\vec {A}}}$ מתקיים ש-${\displaystyle (a+{\vec {u}})+{\vec {v}}=a+({\vec {u}}+{\vec {v}})}$.
3. לכל זוג נקודות ${\displaystyle a,b\in A}$ קיים וקטור יחיד ${\displaystyle {\vec {v}}\in {\vec {A}}}$ כך ש-${\displaystyle a+{\vec {v}}=b}$. מסמנים את וקטור זה ב-${\displaystyle b-a}$ או ב-${\displaystyle {\vec {ab}}}$

תנאי 3 שקול לכך שבהינתן נקודה כלשהי ${\displaystyle a\in A}$, ההעתקה ${\displaystyle {\vec {v}}\mapsto a+{\vec {v}}}$ מ-${\displaystyle {\vec {A}}}$ ל-${\displaystyle A}$ היא העתקה הפיכה.

תכונות אלגבריות

בהינתן מרחב אפיני ${\displaystyle (A,{\vec {A}})}$, קבוצת נקודות ${\displaystyle a,b,c,d\in A}$ ווקטור ${\displaystyle {\vec {v}}\in {\vec {A}}}$, מתקיימים השוויונים הבאים:

• ${\displaystyle b-a=-(a-b)}$
• ${\displaystyle (b-a)+(c-d)=(c-a)+(b-d)}$
• ${\displaystyle (b-a)+(c-b)=c-a}$
• תכונת המקבילית: אם ${\displaystyle b-a=d-c}$ אז בהכרח ${\displaystyle c-a=d-b}$
• ${\displaystyle (a+{\vec {v}})-b=(a-b)+{\vec {v}}}$
• ${\displaystyle a-(b+{\vec {v}})=(a-b)-{\vec {v}}}$

מרכז כובד

בהינתן מרחב אפיני ${\displaystyle (A,{\vec {A}})}$, מספר טבעי ${\displaystyle n\in \mathbb {N} }$, אוסף נקודות ${\displaystyle a_{1},\dots ,a_{n}\in A}$ ואוסף סקלרים ${\displaystyle \lambda _{1},\dots ,\lambda _{n}\in F}$ המקיימים ${\displaystyle \sum _{i=1}^{n}{\lambda _{1}}=1}$, ניתן להוכיח שלכל זוג נקודות ${\displaystyle o_{1},o_{2}\in A}$ כלשהן מתקיים השוויון:

${\displaystyle o_{1}+\sum _{i=1}^{n}{\lambda _{i}(a_{i}-o_{1})}=o_{2}+\sum _{i=1}^{n}{\lambda _{i}(a_{i}-o_{2})}}$

בשל כך, עבור ${\displaystyle o\in A}$ כלשהו ניתן להגדיר את הנקודה ${\displaystyle o+\sum _{i=1}^{n}{\lambda _{i}(a_{i}-o)}}$ להיות מרכז הכובד של ${\displaystyle \{a_{i}\}}$ לפי ${\displaystyle \{\lambda _{i}\}}$. כאמור, נקודה זו אינה תלויה בבחירה של ${\displaystyle o}$. נהוג לסמן נקודה זו בסימון ${\displaystyle \sum _{i=1}^{n}{\lambda _{i}a_{i}}}$.

באופן שקול, מרכז הכובד של ${\displaystyle \{a_{i}\}}$ לפי ${\displaystyle \{\lambda _{i}\}}$ הוא הנקודה ${\displaystyle x\in A}$ כך שמתקיים ${\displaystyle \sum _{i=1}^{n}{\lambda _{i}(a_{i}-x)}=0}$. ניתן להוכיח כי ${\displaystyle x}$ זה קיים תמיד וכי הוא יחיד.

תת-מרחב אפיני

בהינתן מרחב אפיני ${\displaystyle (A,{\vec {A}})}$, תת-מרחב וקטורי ${\displaystyle {\vec {B}}\subseteq {\vec {A}}}$ ונקודה ${\displaystyle b\in A}$, ניתן להגדיר את הקבוצה:

${\displaystyle b+{\vec {B}}:=\{b+{\vec {v}}\mid {\vec {v}}\in {\vec {B}}\}}$

קבוצה ${\displaystyle B\subseteq A}$ תקרא תת-מרחב אפיני של ${\displaystyle A}$ אם ורק אם מתקיים אחד התנאים השקולים הבאים:^[2]

• קבוצת הווקטורים ${\displaystyle {\vec {B}}:=\{a-b\mid a,b\in B\}}$ מהווה תת-מרחב וקטורי של ${\displaystyle {\vec {A}}}$
• קיים תת-מרחב וקטורי ${\displaystyle {\vec {B}}\subseteq {\vec {A}}}$ כך שלכל ${\displaystyle b\in B}$ מתקיים ש-${\displaystyle B=b+{\vec {B}}}$
• קיים תת-מרחב וקטורי ${\displaystyle {\vec {B}}\subseteq {\vec {A}}}$ ו-${\displaystyle b\in B}$ כלשהו כך ש-${\displaystyle B=b+{\vec {B}}}$
• לכל מספר טבעי ${\displaystyle n\in \mathbb {N} }$, אוסף נקודות ${\displaystyle b_{1},\dots ,b_{n}\in B}$ ואוסף סקלרים ${\displaystyle \lambda _{1},\dots ,\lambda _{n}\in F}$ המקיימים ${\displaystyle \sum _{i=1}^{n}{\lambda _{1}}=1}$, מתקיים שמרכז הכובד ${\displaystyle \sum _{i=1}^{n}{\lambda _{i}b_{i}}}$ שייך גם הוא ל-${\displaystyle B}$. כלומר, ${\displaystyle B}$ סגור ללקיחת מרכז כובד.

עבור כל התנאים לעיל, המרחב ${\displaystyle (B,{\vec {B}})}$ הוא מרחב אפיני בפני עצמו ביחס לפעולת החיבור בין נקודה לוקטור כפי שהוגדרה עבור המרחב ${\displaystyle (A,{\vec {A}})}$.

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

קבוצה פורסת, בסיס וממד

בהינתן מרחב אפיני ${\displaystyle (A,{\vec {A}})}$ וקבוצה ${\displaystyle X\subseteq A}$, מגדירים ${\displaystyle {\text{Span}}(X)\subseteq A}$ להיות חיתוך כל תת-המרחבים האפינים של ${\displaystyle A}$ המכילים את ${\displaystyle X}$. קבוצה זו היא תת-מרחב אפיני של ${\displaystyle A}$ בעצמה המכילה את ${\displaystyle X}$ והיא נקראת תת-המרחב האפיני הנפרס על-ידי ${\displaystyle X}$.

אם ${\displaystyle {\text{Span}}(X)=A}$, הקבוצה ${\displaystyle X}$ תקרא קבוצה פורסת של ${\displaystyle A}$. ניתן להוכיח כי ${\displaystyle X}$ קבוצה פורסת של ${\displaystyle A}$ אם ורק אם הקבוצה ${\displaystyle \left\{a-b\mid a,b\in X\right\}}$ היא קבוצה פורסת של ${\displaystyle {\vec {A}}}$ במונחים של אלגברה ליניארית.

אם ${\displaystyle X}$ היא קבוצה פורסת מינימלית (כלומר, שכל תת-קבוצה שלה איננה פורסת), ${\displaystyle X}$ תקרא בסיס אפיני של ${\displaystyle A}$. ניתן להוכיח כי העוצמה של כל הבסיסים של ${\displaystyle A}$ שווה, בדומה למרחבים וקטוריים.

הממד של מרחב אפיני מוגדר להיות הממד של המרחב הווקטורי שלו. אם הממד של מרחב אפיני הוא ${\displaystyle d}$ ו-${\displaystyle X}$ היא בסיס אפיני של המרחב, אזי ${\displaystyle |X|=d+1}$. כלומר, נדרשות ${\displaystyle d+1}$ נקודות כדי לפרוס את המרחב: נקודה אחת כראשית ו-${\displaystyle d}$ נקודות שמגדירות וקטורים בלתי-תלויים מאותה ראשית.

העתקה אפינית

ערך מורחב – העתקה אפינית

בהינתן זוג מרחבים אפינים ${\displaystyle (A,{\vec {A}})}$ ו-${\displaystyle (B,{\vec {B}})}$ מעל אותו שדה ${\displaystyle F}$, העתקה ${\displaystyle f:A\to B}$ תקרא העתקה אפינית אם ורק אם היא מקיימת את אחד התנאים השקולים הבאים:

1. קיימת העתקה ליניארית ${\displaystyle {\vec {f}}:{\vec {A}}\to {\vec {B}}}$ כך שלכל ${\displaystyle a\in A}$ ו-${\displaystyle {\vec {v}}\in {\vec {A}}}$ מתקיים ש-${\displaystyle f(a+{\vec {v}})=f(a)+{\vec {f}}({\vec {v}})}$
2. ${\displaystyle f}$ משמרת מרכז כובד. כלומר, לכל מספר טבעי ${\displaystyle n\in \mathbb {N} }$, אוסף נקודות ${\displaystyle a_{1},\dots ,a_{n}\in A}$ ואוסף סקלרים ${\displaystyle \lambda _{1},\dots ,\lambda _{n}\in F}$ המקיימים ${\displaystyle \sum _{i=1}^{n}{\lambda _{1}}=1}$, מתקיים ש:

${\displaystyle f\left(\sum _{i=1}^{n}{\lambda _{i}a_{i}}\right)=\sum _{i=1}^{n}{\lambda _{i}f(a_{i})}}$

ניתן להוכיח כי לכל העתקה אפינית, ${\displaystyle {\vec {f}}}$ כפי שהוגדרה לעיל מוגדרת היטב ויחידה.

החשיבות של העתקה אפינית היא שהיא משמרת תכונות כגון קו-ליניאריות, ישרים מקבילים, וכו'. תכונה זו באה לידי ביטוי בכך שלכל ${\displaystyle a,b,c,d\in A}$ המקיימים ${\displaystyle a-b=c-d}$ מתקיים גם ש-${\displaystyle f(a)-f(b)=f(c)-f(d)}$.

במקרה שבו התחום והטווח של העתקה אפינית ${\displaystyle f}$ הם אותו המרחב ${\displaystyle A}$, ${\displaystyle f}$ תקרא אנדומורפיזם.

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

באופן דומה למרחב וקטורי, שני מרחבים אפינים איזומורפיים הם בהכרח שווי-ממד.

קואורדינטות

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

בהינתן מרחב אפיני ${\displaystyle (A,{\vec {A}})}$ מממד סופי ${\displaystyle n\in \mathbb {N} }$, ישנם שני סוגים של מערכות קואודינטות טבעיות למרחב זה:

קואורדינטות בריצנטריות

ערך מורחב – קואורדינטות בריצנטריות

בהינתן בסיס אפיני ${\displaystyle x_{0},x_{1},\dots ,x_{n}\in A}$, ניתן להוכיח שלכל נקודה ${\displaystyle x\in A}$ קיימים ${\displaystyle \lambda _{0},\lambda _{1},\dots ,\lambda _{n}\in F}$ יחידים כך ש-${\displaystyle \sum _{i=0}^{n}{\lambda _{1}}=1}$ ו-${\displaystyle x=\sum _{i=0}^{n}{\lambda _{i}x_{i}}}$. הווקטור ${\displaystyle (\lambda _{0},\lambda _{1},\dots ,\lambda _{n})}$ יקרא הקואורדינטות הבריצנטריות של ${\displaystyle x}$ ביחס ל-${\displaystyle \{x_{i}\}}$.

בהינתן שני בסיסים אפינים ${\displaystyle (x_{0},\dots ,x_{n})}$ ו-${\displaystyle (x_{0}',\dots ,x_{n}')}$ של המרחב, מעבר קואורדינטות בריצנטריות בין מערכת אחת לשנייה מתבצע על-ידי כפל במטריצה. כלומר, קיימת מטריצה ${\displaystyle M\in F^{(n+1)\times (n+1)}}$ כך שלכל ${\displaystyle x\in A}$ כלשהו שעבורו הקואודינטות הבריצנטיות שלו ביחס ל-${\displaystyle \{x_{i}\}}$ הן ${\displaystyle \lambda =(\lambda _{0},\dots ,\lambda _{n})^{T}}$ וביחס ל-${\displaystyle \{x_{i}'\}}$ הן ${\displaystyle \lambda '=(\lambda _{0}',\dots ,\lambda _{n}')^{T}}$, מתקיים ש-${\displaystyle \lambda '=M\cdot \lambda }$. ניתן להראות שבמקרה זה, לכל ${\displaystyle 0\leq i\leq n}$:

${\displaystyle x_{i}=M_{0i}x'_{0}+\dots +M_{ni}x'_{n}}$

מסיבה זו, ניתן להראות שסכום האיברים של ${\displaystyle M}$ בכל עמודה שווה ל-1.

קואורדינטות אפיניות

בהינתן נקודה ${\displaystyle p_{0}\in A}$ ובסיס וקטורי ${\displaystyle {\vec {v}}_{1},\dots ,{\vec {v}}_{n}\in {\vec {A}}}$, ניתן להוכיח כי לכל נקודה ${\displaystyle x\in A}$ קיימים ${\displaystyle \lambda _{1},\dots ,\lambda _{n}\in F}$ יחידים כך ש-${\displaystyle x=p_{0}+\sum _{i=1}^{n}{\lambda _{i}{\vec {v}}_{i}}}$. הווקטור ${\displaystyle (p_{0},{\vec {v}}_{1},\dots ,{\vec {v}}_{n})}$ יקרא מערכת אפינית, והווקטור ${\displaystyle (\lambda _{1},\dots ,\lambda _{n})}$ יקרא הקואורדינטות האפיניות של ${\displaystyle x}$ ביחס ל-${\displaystyle (p_{0},{\vec {v}}_{1},\dots ,{\vec {v}}_{n})}$. יש לשים לב כי במקרה של קואורדינטות אפיניות לא נדרש כי סכום הקואורדינטות יהיה שווה ל-1, בניגוד לקואורדינטות הבריצנטריות.

בהינתן שתי מערכות אפיניות ${\displaystyle (p_{0},{\vec {v}}_{1},\dots ,{\vec {v}}_{n})}$ ו-${\displaystyle (p_{0}',{\vec {v}}_{1}',\dots ,{\vec {v}}_{n}')}$, מעבר קואורדינטות אפיניות בין מערכת אחת לשנייה מתבצע על-ידי כפל מטריצה וחיבור בוקטור הסתה. כלומר, קיימת מטריצה ${\displaystyle M\in F^{n\times n}}$ ווקטור עמודה ${\displaystyle b\in F^{n}}$ כך שלכל ${\displaystyle x\in A}$ כלשהו שעבורו הקואודינטות האפיניות שלו ביחס ל-${\displaystyle (p_{0},{\vec {v}}_{1},\dots ,{\vec {v}}_{n})}$ הן ${\displaystyle \lambda =(\lambda _{1},\dots ,\lambda _{n})^{T}}$ וביחס ל-${\displaystyle (p_{0}',{\vec {v}}_{1}',\dots ,{\vec {v}}_{n}')}$ הן ${\displaystyle \lambda '=(\lambda _{1}',\dots ,\lambda _{n}')^{T}}$, מתקיים ש-${\displaystyle \lambda '=M\cdot \lambda +b}$.

ניתן להראות כי:

${\displaystyle p_{0}=p_{0}'+b_{0}{\vec {v}}_{0}'+\dots +b_{n}{\vec {v}}_{n}'}$

וכי לכל ${\displaystyle 1\leq i\leq n}$:

${\displaystyle v_{i}=M_{i0}{\vec {v}}_{0}'+\dots +M_{in}{\vec {v}}_{n}'}$

מרחבים וקטוריים כמרחבים אפינים

ערך מורחב – מרחב וקטורי

ניתן לבנות מכל מרחב וקטורי מרחב אפיני על-ידי זיהוי הווקטורים שבו כנקודות. כלומר, בהינתן מרחב וקטורי ${\displaystyle V}$, הזוג הסדור ${\displaystyle (V,V)}$ יכול להתפרש כמרחב אפיני, כאשר פעולת החיבור של וקטור לנקודה היא פעולת החיבור בין שני וקטורים.

בהינתן מרחב אפיני כללי כלשהו ${\displaystyle (A,{\vec {A}})}$, ניתן להוכיח כי הוא איזומורפי למרחב האפיני ${\displaystyle ({\vec {A}},{\vec {A}})}$ על ידי קביעת נקודה ${\displaystyle a\in A}$ כלשהי והגדרת הפונקציה ${\displaystyle f:A\to {\vec {A}}}$ כך שלכל ${\displaystyle x\in A}$ מתקיים ש-${\displaystyle f(x)=x-a}$. ניתן להוכיח כי ${\displaystyle f}$ היא העתקה אפינית הפיכה, ולכן שני המרחבים איזומורפים.

מרחבים אפינים מממד סופי

בהינתן שדה ${\displaystyle F}$ ומספר טבעי ${\displaystyle n\in \mathbb {N} }$, אפשר להפריד בין שני סוגים של ${\displaystyle n}$-יות על ${\displaystyle F}$:

• ${\displaystyle F^{n}}$ שהוא מרחב וקטורי מעל ${\displaystyle F}$ עם פעולת חיבור איבר-איבר וכפל בסקלר.
• ${\displaystyle \mathbb {A} ^{n}(F)}$ שהוא מרחב של ${\displaystyle n}$-יות סדורות של ${\displaystyle F}$ שבהן אנו "שוכחים" שמדובר באיברי שדה ולא מגדירים פעולות חיבור וכפל בסקלר. כאשר ${\displaystyle F}$ ברור מההקשר נהוג לסמן את המרחב הזה בתור ${\displaystyle \mathbb {A} ^{n}}$.

באופן דומה למרחב הווקטורי שהוזכר לעיל, ניתן להגדיר מרחב אפיני ${\displaystyle (\mathbb {A} ^{n},F^{n})}$ שבו ${\displaystyle \mathbb {A} ^{n}}$ הוא מרחב הנקודות ו-${\displaystyle F^{n}}$ הוא מרחב הווקטורים שבין הנקודות. מרחב זה יקרא המרחב האפיני ה-${\displaystyle n}$ ממדי מעל ${\displaystyle F}$.

ניתן להוכיח שכל מרחב אפיני ${\displaystyle (A,{\vec {A}})}$ מעל ${\displaystyle F}$ מממד סופי ${\displaystyle n\in \mathbb {N} }$ איזומורפי ל-${\displaystyle (\mathbb {A} ^{n},F^{n})}$. האיזומורפיזם מ-${\displaystyle (A,{\vec {A}})}$ ל-${\displaystyle (\mathbb {A} ^{n},F^{n})}$ מתבצע על-ידי לקיחת מערכת אפינית ${\displaystyle (p_{0},{\vec {v}}_{1},\dots ,{\vec {v}}_{n})}$ כלשהי של ${\displaystyle (A,{\vec {A}})}$ והעתקת כל ${\displaystyle x\in A}$ לקואורדינטות האפיניות שלו ${\displaystyle (\lambda _{1},\dots ,\lambda _{n})}$. ניתן להוכיח כי העתקה זו היא העתקה אפינית הפיכה.

קשר למבנים מתמטיים אחרים

מרחב אוקלידי

ערך מורחב – מרחב אוקלידי

כאמור, מרחב אפיני הוא למעשה מרחב אוקלידי ללא הגדרה של אורך ושל גודל זווית. ניתן להגדיר מונחים אלו על-ידי הגדרה של מכפלה פנימית על המרחב הווקטורי. בהינתן מרחב אפיני ${\displaystyle (A,{\vec {A}})}$ ומכפלה פנימית ${\displaystyle \left\langle \cdot ,\cdot \right\rangle }$ על ${\displaystyle {\vec {A}}}$, ניתן להגדיר את המרחק בין זוג נקודות ${\displaystyle a,b\in A}$ כך ש-${\displaystyle d(a,b):=\left\Vert a-b\right\Vert }$, כאשר ${\displaystyle \left\Vert \cdot \right\Vert }$ היא הנורמה המושרית מהמכפלה הפנימית. באופן זהה ניתן להשתמש באי-שוויון קושי-שוורץ כדי להגדיר זווית בין שני וקטורים.

גאומטריה אפינית

ערך מורחב – גאומטריה אפינית

בהינתן מרחב אפיני ${\displaystyle (A,{\vec {A}})}$, נקודה ${\displaystyle a\in A}$ ווקטור ${\displaystyle {\vec {v}}\in {\vec {A}}}$, ניתן להגדיר:

${\displaystyle l_{a}({\vec {v}}):=\left\{a+\lambda {\vec {v}}\mid \lambda \in F\right\}}$

הקבוצה ${\displaystyle l_{a}({\vec {v}})}$ היא בעצם הישר העובר דרך ${\displaystyle a}$ בכיוון ${\displaystyle {\vec {v}}}$. על-ידי הגדרת:

• ${\displaystyle P:=A}$
• ${\displaystyle L:=\left\{l_{a}({\vec {v}})\mid a\in A,{\vec {v}}\in {\vec {A}}\right\}}$
• יחס ${\displaystyle I\in P\times L}$ כך ש-${\displaystyle pIl}$ אם ורק אם ${\displaystyle p\in l}$

השלישייה הסדורה ${\displaystyle (P,L,I)}$ היא מערכת חילה המתארת גאומטריה אפינית, כאשר יחס ההקבלה ${\displaystyle \sim }$ מוגדר כך ש-${\displaystyle l_{1},l_{2}\in L}$ מקיים${\displaystyle l_{1}\sim l_{2}}$ אם ורק אם קיימים ${\displaystyle a,b\in A}$ ו-${\displaystyle {\vec {v}}\in {\vec {A}}}$ כך ש-${\displaystyle l_{1}=l_{a}({\vec {v}})}$ ו-${\displaystyle l_{2}=l_{b}({\vec {v}})}$.

בצורה זו ניתן לבנות מכל מרחב אפיני גאומטריה אפינית. ההפך אינו בהכרח נכון.

יריעה אלגברית אפינית

ערך מורחב – יריעה אלגברית אפינית

בהינתן שדה סגור אלגברית ${\displaystyle F}$ ומספר טבעי ${\displaystyle n\in \mathbb {N} }$, מסמנים ב-${\displaystyle F[x_{1},\dots ,x_{n}]}$ את מרחב הפולינומים ב-${\displaystyle n}$ משתנים מעל ${\displaystyle F}$. אם בוחרים קבוצה כלשהי של פולינומים ${\displaystyle S\subseteq F[x_{1},\dots ,x_{n}]}$, ניתן להגדיר את קבוצת האפסים של ${\displaystyle S}$ על ידי:

${\displaystyle V(S):=\left\{x\in \mathbb {A} ^{n}\mid \forall f\in S,f(x)=0\right\}}$

כאשר כזכור ${\displaystyle \mathbb {A} ^{n}}$ מייצג מרחב של ${\displaystyle n}$-יות סדורות של ${\displaystyle F}$ ללא מבנה של מרחב וקטורי.

קבוצה מהצורה ${\displaystyle V(S)}$ עבור ${\displaystyle S\subseteq F[x_{1},\dots ,x_{n}]}$ כלשהי תקרא יריעה אלגברית אפינית.

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

כך למשל, כל ספירה ${\displaystyle n}$-ממדית ברדיוס ${\displaystyle R}$ היא יריעה אלגברית אפינית מכיוון שהיא ניתנת לתיאור כקבוצת האפסים של הפולינום ${\displaystyle f(x_{1},\dots ,x_{n})=x_{1}^{2}+\dots +x_{n}^{2}-R^{2}}$.

המרחב האפיני ${\displaystyle \mathbb {A} ^{n}}$ עצמו מהווה את הדוגמה הבסיסית ביותר של יריעה אלגברית אפינית.

דוגמאות

• כל מרחב אוקלידי הוא גם מרחב אפיני.
• כל מרחב וקטורי ${\displaystyle V}$ יכול להחשב גם כמרחב אפיני אם מזהים את הווקטורים שבו גם כנקודות.
• בהינתן מרחב וקטורי ${\displaystyle V}$, תת-מרחב וקטורי ${\displaystyle U\subseteq V}$ ונקודה ${\displaystyle a\in V}$ (לאו דווקא ב-${\displaystyle U}$), הזוג הסדור ${\displaystyle (a+U,U)}$ הוא מרחב אפיני.
• בהינתן יריעה חלקה ${\displaystyle M}$ ונקודה ${\displaystyle p\in M}$, המרחב המשיק ${\displaystyle T_{p}M}$ הוא מרחב אפיני.
• בהינתן המרחב הווקטורי ${\displaystyle C^{n}(\mathbb {R} )}$ (מרחב הפונקציות הגזירות והרציפות ${\displaystyle n}$ פעמים), אופרטור ליניארי ${\displaystyle L}$ ופונקציה ${\displaystyle g(x)\in C^{n}(\mathbb {R} )}$, הקבוצה ${\displaystyle \left\{y\in C^{n}(\mathbb {R} )\mid L[y]=g(x)\right\}}$ היא תת-מרחב אפיני של ${\displaystyle C^{n}(\mathbb {R} )}$. המשמעות היא שבהינתן משוואה דיפרנציאלית ליניארית שאינה הומוגנית, מרחב הפתרונות הוא בעצם מרחב אפיני.

ראו גם

• מרחב אוקלידי
• מרחב וקטורי
• מישור אפיני
• גאומטריה אפינית

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

• מרחב אפיני, באתר MathWorld (באנגלית)

הערות שוליים

1. Eric W. Weisstein, Affine Space, mathworld.wolfram.com (באנגלית)
2. Jean H. Gallier, Basics of Affine Geometry, Pen Engineering, ‏9/1/2023