הצגת המקור של הדף "מרחב אפיני"

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

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

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

== סימונים ==
בערך זה נסמן ב-<math>A</math> ו-<math>B</math> [[קבוצה (מתמטיקה)|קבוצות]] של נקודות.

נסמן ב-<math>F</math> [[שדה (מבנה אלגברי)|שדה]] כלשהו, כאשר לרוב <math>F=\mathbb{R}</math>, שהוא [[שדה המספרים הממשיים|שדה הממשיים]]. נסמן ב-<math>0</math> ו-<math>1</math> את [[איבר האפס]] ואיבר היחידה של השדה <math>F</math> בהתאמה.

נסמן ב-<math>\vec{A}</math> ו-<math>\vec{B}</math> מרחבים וקטוריים מעל <math>F</math>.

נסמן את פעולת החיבור <math>+</math> הן כפעולת החיבור בין הווקטורים במרחב הווקטורי והן כפעולה בין נקודה לוקטור במרחב האפיני. ההבדל בין שתי הפעולות יהיה תלוי בהקשר.

נסמן ב-<math>0</math> את וקטור האפס במרחבים וקטורים, כאשר נבדיל בין איבר האפס ב-<math>F</math> לוקטור האפס במרחב הווקטורי על פי ההקשר.

== מוטיבציה ==
מרחבים וקטוריים כמו אלו מהצורה <math>\mathbb{R}^n</math> יכולים לשמש לתיאור מרחב פיזי מנקודת מבטו של צופה אשר נמצא בראשית הצירים. בתוך כך, תתי-מרחבים וקטורים באותו מרחב יכולים לתאר שדה ראייה מצומצם יותר בתוך אותו מרחב. כך למשל, בתוך המרחב התלת־ממדי <math>\mathbb{R}^3</math>, תת-המרחב <math>V:=\left\{(x,y,z)\mid x,y,z\in \mathbb{R},2x+3y+7z=0\right\}</math> מתאר [[מישור (גאומטריה)|מישור]] בתוך אותו מרחב, אשר עובר כמובן דרך ראשית הצירים <math>(0,0,0)</math> גם כן.
[[קובץ:Image Tangent-plane.svg|טקסט=מישור משיק לספרה תלת-ממדית|ממוזער|מישור משיק לספירה תלת-ממדית. אף מישור כזה לא עובר דרך ראשית הצירים במקרה שראשית הצירים מתלכדת עם מרכז הספרה, ולכן אינו יכול להיות מתואר באופן מלא על-ידי מרחב וקטורי.]]
עם זאת, מרחבים וקטורים מוגבלים במבנים שאותם הם יכולים לתאר מכיוון שהם מתארים אך ורק מרחבים מנקודת מבטו של צופה בראשית הצירים. מאידך, הם אינם מאפשרים לתאר תתי-מרחבים אשר אינם עוברים דרך ראשית הצירים.

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

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

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

== הגדרה מתמטית ==
בהינתן קבוצת נקודות <math>A</math>, מרחב וקטורי <math>\vec{A}</math> מעל <math>F</math>, ו[[פעולת חבורה|פעולה]] <math>+:A\times \vec{A}\to A</math>, הזוג הסדור <math>(A,\vec{A})</math> ייקרא '''מרחב אפיני''' אם ורק אם הוא מקיים את התנאים הבאים:<ref>{{קישור כללי|כתובת=https://mathworld.wolfram.com/AffineSpace.html|הכותב=Eric W. Weisstein|כותרת=Affine Space|אתר=mathworld.wolfram.com|שפה=en|תאריך_וידוא=2024-11-19}}</ref>

# לכל נקודה <math>a\in A</math> מתקיים ש-<math>a+0=a</math>
# [[פעולה אסוציאטיבית|אסוציאטיביות]]: לכל <math>a\in A</math> ו-<math>\vec{u}, \vec{v} \in \vec{A}</math> מתקיים ש-<math>(a+\vec{u})+\vec{v}=a+(\vec{u}+\vec{v})</math>.
# לכל זוג נקודות <math>a,b\in A</math> קיים וקטור יחיד <math>\vec{v} \in \vec{A}</math> כך ש-<math>a+\vec{v}=b</math>. מסמנים את וקטור זה ב-<math>b-a</math> או ב-<math>\vec{ab}</math>

תנאי 3 שקול לכך שבהינתן נקודה כלשהי <math>a\in A</math>, ה[[פונקציה|העתקה]] <math>\vec{v} \mapsto a+\vec{v}</math> מ-<math>\vec{A}</math> ל-<math>A</math> היא [[פונקציה הפיכה|העתקה הפיכה]].

== תכונות אלגבריות ==
בהינתן מרחב אפיני <math>(A,\vec{A})</math>, קבוצת נקודות <math>a,b,c,d\in A</math> ווקטור <math>\vec{v} \in \vec{A}</math>, מתקיימים השוויונים הבאים:

* <math>b-a=-(a-b)</math>
* <math>(b-a)+(c-d)=(c-a)+(b-d)</math>
* <math>(b-a)+(c-b)=c-a</math>
* '''תכונת המקבילית''': אם <math>b-a=d-c</math> אז בהכרח <math>c-a=d-b</math>
* <math>(a+\vec{v})-b=(a-b)+\vec{v}</math>
* <math>a-(b+\vec{v})=(a-b)-\vec{v}</math>

== מרכז כובד ==
בהינתן מרחב אפיני <math>(A,\vec{A})</math>, מספר טבעי <math>n\in\mathbb{N}</math>, אוסף נקודות <math>a_1,\dots,a_n\in A</math> ואוסף סקלרים <math>\lambda_1,\dots,\lambda_n\in F</math> המקיימים <math>\sum_{i=1}^n{\lambda_1}=1</math>, ניתן להוכיח שלכל זוג נקודות <math>o_1,o_2\in A</math> כלשהן מתקיים השוויון:

<math>o_1+\sum_{i=1}^n{\lambda_i (a_i-o_1)}=o_2+\sum_{i=1}^n{\lambda_i (a_i-o_2)}</math>

בשל כך, עבור <math>o\in A</math> כלשהו ניתן להגדיר את הנקודה <math>o+\sum_{i=1}^n{\lambda_i (a_i-o)}</math> להיות '''מרכז הכובד של <math>\{a_i\}</math>''' '''לפי <math>\{\lambda_i\}</math>'''. כאמור, נקודה זו אינה תלויה בבחירה של <math>o</math>. נהוג לסמן נקודה זו בסימון <math>\sum_{i=1}^n{\lambda_i a_i}</math>.

באופן שקול, מרכז הכובד של <math>\{a_i\}</math> לפי <math>\{\lambda_i\}</math> הוא הנקודה <math>x\in A</math> כך שמתקיים <math>\sum_{i=1}^n{\lambda_i(a_i-x)}=0</math>. ניתן להוכיח כי <math>x</math> זה קיים תמיד וכי הוא יחיד.

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

<math>b+\vec{B}:=\{b+\vec{v}\mid \vec{v}\in\vec{B} \}</math>

קבוצה <math>B\subseteq A</math> תקרא '''תת-מרחב אפיני של <math>A</math>''' [[אם ורק אם]] מתקיים אחד ה[[שקילות (לוגיקה)|תנאים השקולים]] הבאים:<ref>{{קישור כללי|כתובת=https://www.cis.upenn.edu/~cis6100/cis61009sl2.pdf|הכותב=Jean H. Gallier|כותרת=Basics of Affine Geometry|אתר=Pen Engineering|תאריך=9/1/2023}}</ref>

* קבוצת הווקטורים <math>\vec{B}:=\{a-b\mid a,b\in B\}</math> מהווה תת-מרחב וקטורי של <math>\vec{A}</math>
* קיים תת-מרחב וקטורי <math>\vec{B}\subseteq \vec{A}</math> כך שלכל <math>b\in B</math> מתקיים ש-<math>B=b+\vec{B}</math>
* קיים תת-מרחב וקטורי <math>\vec{B}\subseteq \vec{A}</math> ו-<math>b\in B</math> כלשהו כך ש-<math>B=b+\vec{B}</math>
* לכל [[מספר טבעי]] <math>n\in\mathbb{N}</math>, אוסף נקודות <math>b_1,\dots,b_n\in B</math> ואוסף סקלרים <math>\lambda_1,\dots,\lambda_n\in F</math> המקיימים <math>\sum_{i=1}^n{\lambda_1}=1</math>, מתקיים ש[[מרחב אפיני#מרכז כובד|מרכז הכובד]] <math>\sum_{i=1}^n{\lambda_i b_i}</math> שייך גם הוא ל-<math>B</math>. כלומר, <math>B</math> סגור ללקיחת [[מרכז מסה|מרכז כובד]].
עבור כל התנאים לעיל, המרחב <math>(B,\vec{B})</math> הוא מרחב אפיני בפני עצמו ביחס לפעולת החיבור בין נקודה לוקטור כפי שהוגדרה עבור המרחב <math>(A,\vec{A})</math>.

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

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

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

אם <math>X</math> היא קבוצה פורסת מינימלית (כלומר, שכל תת-קבוצה שלה איננה פורסת), <math>X</math> תקרא '''בסיס אפיני של <math>A</math>'''. ניתן להוכיח כי ה[[עוצמה (מתמטיקה)|עוצמה]] של כל הבסיסים של <math>A</math> שווה, בדומה למרחבים וקטוריים.

ה[[ממד (אלגברה ליניארית)|ממד]] של מרחב אפיני מוגדר להיות הממד של המרחב הווקטורי שלו. אם הממד של מרחב אפיני הוא <math>d</math> ו-<math>X</math> היא בסיס אפיני של המרחב, אזי <math>|X|=d+1 </math>. כלומר, נדרשות <math>d+1</math> נקודות כדי לפרוס את המרחב: נקודה אחת כראשית ו-<math>d</math> נקודות שמגדירות וקטורים בלתי-תלויים מאותה ראשית.

== העתקה אפינית ==
{{הפניה לערך מורחב|העתקה אפינית}}
בהינתן זוג מרחבים אפינים <math>(A,\vec{A})</math> ו-<math>(B,\vec{B})</math> מעל אותו שדה <math>F</math>, העתקה <math>f:A\to B</math> תקרא '''העתקה אפינית''' אם ורק אם היא מקיימת את אחד התנאים השקולים הבאים:

# קיימת [[העתקה ליניארית]] <math>\vec{f}:\vec{A}\to\vec{B}</math> כך שלכל <math>a\in A</math> ו-<math>\vec{v} \in \vec{A}</math> מתקיים ש-<math>f(a+\vec{v})=f(a)+\vec{f}(\vec{v})</math>
# <math>f</math> משמרת מרכז כובד. כלומר, לכל מספר טבעי <math>n\in\mathbb{N}</math>, אוסף נקודות <math>a_1,\dots,a_n\in A</math> ואוסף סקלרים <math>\lambda_1,\dots,\lambda_n\in F</math> המקיימים <math>\sum_{i=1}^n{\lambda_1}=1</math>, מתקיים ש:
<math>f\left(\sum_{i=1}^n{\lambda_i a_i}\right)=\sum_{i=1}^n{\lambda_i f(a_i)}</math>

ניתן להוכיח כי לכל [[טרנספורמציה אפינית|העתקה אפינית]], <math>\vec{f}</math> כפי שהוגדרה לעיל [[מוגדר היטב|מוגדרת היטב]] ויחידה.

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

במקרה שבו ה[[תחום של פונקציה|תחום]] וה[[טווח של פונקציה|טווח]] של העתקה אפינית <math>f</math> הם אותו המרחב <math>A</math>, <math>f</math> תקרא '''[[אנדומורפיזם]]'''.

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

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

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

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

=== קואורדינטות בריצנטריות ===
{{הפניה לערך מורחב|קואורדינטות בריצנטריות}}
בהינתן בסיס אפיני <math>x_0,x_1,\dots,x_n\in A</math>, ניתן להוכיח שלכל נקודה <math>x\in A</math> קיימים <math>\lambda_0,\lambda_1,\dots,\lambda_n\in F</math> יחידים כך ש-<math>\sum_{i=0}^n{\lambda_1}=1</math> ו-<math>x=\sum_{i=0}^n{\lambda_i x_i}</math>. הווקטור <math>(\lambda_0,\lambda_1,\dots,\lambda_n)</math> יקרא '''הקואורדינטות הבריצנטריות של <math>x</math> ביחס ל-<math>\{x_i\}</math>'''.

בהינתן שני בסיסים אפינים <math>(x_0,\dots,x_n)</math> ו-<math>(x_0',\dots,x_n')</math> של המרחב, מעבר [[קואורדינטות בריצנטריות]] בין מערכת אחת לשנייה מתבצע על-ידי [[כפל מטריצות|כפל במטריצה]]. כלומר, קיימת [[מטריצה]] <math>M\in F^{(n+1)\times (n+1)}</math> כך שלכל <math>x\in A</math> כלשהו שעבורו הקואודינטות הבריצנטיות שלו ביחס ל-<math>\{x_i\}</math> הן <math>\lambda=(\lambda_0,\dots,\lambda_n)^T</math> וביחס ל-<math>\{x_i'\}</math> הן <math>\lambda'=(\lambda_0',\dots,\lambda_n')^T</math>, מתקיים ש-<math>\lambda'=M\cdot\lambda</math>. ניתן להראות שבמקרה זה, לכל <math>0 \le i \le n</math>:

<math>x_i=M_{0i}x'_0+\dots+M_{ni}x'_n</math>

מסיבה זו, ניתן להראות שסכום האיברים של <math>M</math> בכל עמודה שווה ל-1.

=== קואורדינטות אפיניות ===
בהינתן נקודה <math>p_0\in A</math> ובסיס וקטורי <math>\vec{v}_1,\dots,\vec{v}_n\in\vec{A}</math>, ניתן להוכיח כי לכל נקודה <math>x\in A</math> קיימים <math>\lambda_1,\dots,\lambda_n\in F</math> יחידים כך ש-<math>x=p_0+\sum_{i=1}^n{\lambda_i \vec{v}_i}</math>. הווקטור '''<math>(p_0,\vec{v}_1,\dots,\vec{v}_n)</math>''' יקרא '''מערכת אפינית''', והווקטור <math>(\lambda_1,\dots,\lambda_n)</math> יקרא '''הקואורדינטות האפיניות של <math>x</math> ביחס ל-<math>(p_0,\vec{v}_1,\dots,\vec{v}_n)</math>'''. יש לשים לב כי במקרה של קואורדינטות אפיניות לא נדרש כי סכום הקואורדינטות יהיה שווה ל-1, בניגוד לקואורדינטות הבריצנטריות.

בהינתן שתי מערכות אפיניות '''<math>(p_0,\vec{v}_1,\dots,\vec{v}_n)</math>''' ו-'''<math>(p_0',\vec{v}_1',\dots,\vec{v}_n')</math>''', מעבר קואורדינטות אפיניות בין מערכת אחת לשנייה מתבצע על-ידי כפל מטריצה וחיבור בוקטור הסתה. כלומר, קיימת מטריצה <math>M\in F^{n\times n}</math> ווקטור עמודה <math>b\in F^n</math> כך שלכל <math>x\in A</math> כלשהו שעבורו הקואודינטות האפיניות שלו ביחס ל-'''<math>(p_0,\vec{v}_1,\dots,\vec{v}_n)</math>''' הן <math>\lambda=(\lambda_1,\dots,\lambda_n)^T</math> וביחס ל-'''<math>(p_0',\vec{v}_1',\dots,\vec{v}_n')</math>''' הן <math>\lambda'=(\lambda_1',\dots,\lambda_n')^T</math>, מתקיים ש-<math>\lambda'=M\cdot\lambda+b</math>.

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

<math>p_0=p_0'+b_0\vec{v}_0'+\dots+b_n \vec{v}_n'</math>

וכי לכל <math>1 \le i \le n</math>:

<math>v_i=M_{i0}\vec{v}_0'+\dots+M_{in}\vec{v}_n' </math>

== מרחבים וקטוריים כמרחבים אפינים ==
{{הפניה לערך מורחב|מרחב וקטורי}}
ניתן לבנות מכל מרחב וקטורי מרחב אפיני על-ידי זיהוי הווקטורים שבו כנקודות. כלומר, בהינתן מרחב וקטורי <math>V</math>, הזוג הסדור <math>(V,V)</math> יכול להתפרש כמרחב אפיני, כאשר פעולת החיבור של וקטור לנקודה היא פעולת החיבור בין שני וקטורים.

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

== מרחבים אפינים מממד סופי ==
בהינתן שדה <math>F</math> ומספר טבעי <math>n\in\mathbb{N}</math>, אפשר להפריד בין שני סוגים של <math>n</math>-יות על <math>F</math>:

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

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

ניתן להוכיח שכל מרחב אפיני <math>(A,\vec{A})</math> מעל <math>F</math> מממד סופי <math>n\in\mathbb{N}</math> [[איזומורפיזם|איזומורפי]] ל-<math>(\mathbb{A}^n,F^n)</math>. האיזומורפיזם מ-<math>(A,\vec{A})</math> ל-<math>(\mathbb{A}^n,F^n)</math> מתבצע על-ידי לקיחת מערכת אפינית '''<math>(p_0,\vec{v}_1,\dots,\vec{v}_n)</math> '''כלשהי של <math>(A,\vec{A})</math> והעתקת כל <math>x\in A</math> לקואורדינטות האפיניות שלו <math>(\lambda_1,\dots,\lambda_n)</math>. ניתן להוכיח כי העתקה זו היא העתקה אפינית הפיכה.

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

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

=== גאומטריה אפינית ===
{{הפניה לערך מורחב|גאומטריה אפינית}}
בהינתן מרחב אפיני <math>(A,\vec{A})</math>, נקודה <math>a\in A</math> ווקטור <math>\vec{v} \in \vec{A}</math>, ניתן להגדיר:

<math>l_a(\vec{v}):=\left\{a+\lambda \vec{v}\mid \lambda \in F\right\}</math>

הקבוצה <math>l_a(\vec{v})</math> היא בעצם ה[[ישר]] העובר דרך <math>a</math> בכיוון <math>\vec{v}</math>. על-ידי הגדרת:

* <math>P:=A</math>
* <math>L:=\left\{ l_a(\vec{v})\mid a\in A, \vec{v}\in \vec{A}\right\}</math>
* [[יחס (תורת הקבוצות)|יחס]] <math>I\in P\times L</math> כך ש-<math>pIl</math> אם ורק אם <math>p\in l</math>

השלישייה הסדורה <math>(P,L,I)</math> היא [[מערכת חילה]] המתארת [[גאומטריה אפינית]], כאשר יחס ההקבלה <math>\sim</math> מוגדר כך ש-<math>l_1,l_2\in L</math> מקיים<math>l_1\sim l_2</math> אם ורק אם קיימים <math>a,b\in A</math> ו-<math>\vec{v} \in \vec{A}</math> כך ש-<math>l_1=l_a(\vec{v})</math> ו-<math>l_2=l_b(\vec{v})</math>.

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

=== יריעה אלגברית אפינית ===
{{הפניה לערך מורחב|יריעה אלגברית אפינית}}
בהינתן [[שדה סגור אלגברית]] <math>F</math> ומספר טבעי <math>n\in\mathbb{N}</math>, מסמנים ב-<math>F[x_1,\dots,x_n]</math> את מרחב ה[[פולינום|פולינומים]] ב-<math>n</math> משתנים מעל <math>F</math>. אם בוחרים קבוצה כלשהי של פולינומים <math>S\subseteq F[x_1,\dots,x_n]</math>, ניתן להגדיר את קבוצת האפסים של <math>S</math> על ידי:

<math>V(S):=\left\{x\in\mathbb{A}^n\mid\forall f\in S, f(x)=0\right\}</math>

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

קבוצה מהצורה <math>V(S)</math> עבור <math>S\subseteq F[x_1,\dots,x_n]</math> כלשהי תקרא '''[[יריעה אלגברית אפינית]]'''.

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

כך למשל, כל ספירה <math>n</math>-ממדית ברדיוס <math>R</math> היא יריעה אלגברית אפינית מכיוון שהיא ניתנת לתיאור כקבוצת האפסים של הפולינום <math>f(x_1,\dots,x_n)=x_1^2+\dots+x_n^2-R^2</math>.

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

== דוגמאות ==

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

== ראו גם ==

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

==קישורים חיצוניים==
* {{MathWorld}}

== הערות שוליים ==
{{הערות שוליים|יישור=שמאל}}

{{בקרת זהויות}}

[[קטגוריה:גאומטריה]]
[[קטגוריה:אלגברה]]
[[קטגוריה:מבנים אלגבריים]]