אוריינטציה (אלגברה ליניארית)

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

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

יהיה <math>V</math> מרחב ליניארי ממשי <math>n</math> ממדי.

===הגדרה באמצעות בסיסים===
ניתן להגדיר את המושג אוריינטציה על <math>V</math> כך:

הגדרה:
אוריינטציה על <math>V</math> היא מחלקת שקילות של בסיסים סדורים תחת יחס השקיליות הבא: שני בסיסים שקולים אם הדטרמיננטה של מטריצת המעבר ביניהן היא חיובית.

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

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

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

===== אוריינטציה סטנדרטית =====
על מרחבים ליניאריים מסוימים מוגדר בסיס סטנדרטי.
אוריינטציה שבסיס זה מגדיר נקראת האוריינטציה הסטנדרטית על המרחב. לדוגמה על המרחב <math>\mathbb{R}^n</math>
האוריינטציה המוגדרת על ידי הבסיס הסטנדרטי:
<center><math> \left\langle \begin{pmatrix}1 \\ 0 \\ 0\\ \vdots \\ 0 \\ \end{pmatrix} ,\begin{pmatrix}0 \\ 1\\ 0 \\ \vdots \\ 0 \\ \end{pmatrix} ,\dots, \begin{pmatrix}0 \\ 0\\ \vdots\ \\ 0 \\ 1 \\ \end{pmatrix} \right\rangle</math>.
</center>
נקראת האוריינטציה הסטנדרטית.

באופן דומה, על המרחב הפיזיקאלי הסובב אותנו, כלל יד ימין מגדיר את האוריינטציה הסטנדרטית. במילים אחרות, כל בסיס מהצורה <math>\langle v,w,v \times w\rangle</math> נקרא חיובי ביחס לאוריינטציה הסטנדרטית.
כמו כן,
במישור שנמצא מולנו (כמו מישור הלוח או מישור דף הניר) מוגדרת אוריינטציה סטנדרטית על ידי בסיס בו הווקטור הראשון מופנה ימינה והשני למעלה.

===הגדרה באמצעות תבניות===
ניתן להגדיר את מושג האוריינטציה על <math>V</math> גם באמצעות <math>n</math>-תבניות אנטי-סימטריות (להלן תבניות). תבנית היא פונקציה
<math display="block">\omega:\underset{n \text{ copies }}{\underbrace{V\times\dots\times V}} \to \mathbb R</math>
המקיימת:
* <math>\omega</math> ליניארית על פי כל אחד מהמשתנים ב-<math>V</math>
* <math>\omega</math> אנטי-סימטרית ביחס להחלפת כל שני משתנים ב-<math>V</math>.
מרחב התבניות הוא חד-ממדי. לכן בין כל שתי תבניות שונות מ-0 ניתן להגדיר את מושג היחס ביניהן (זהו מספר ממשי).
כעת ניתן להגדיר

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

הגדרה זו שקולה להגדרה באמצעות בסיס כיוון שלכל בסיס <math>B=\langle e_1,\dots, e_n\rangle</math> ב-<math>V</math> אפשר להתאים תבניות <math>\omega_B</math> באופן הבא: התבנית היחידה המקיימת <math>\omega_B(e_1,\dots,e_n)=1</math>
הדטרמיננטה של מטריצת המעבר בין שני בסיסים היא בדיוק היחס בין התבניות המתאימות להן. מכאן ששני בסיסים שקולים אם ורק אם שתי התבניות המתאימות שקולות.

===אוריינטציה על נקודה===
ההגדרות האלה לא ברורות במקרה ש <math>n=0</math>. במקרה זה המוסכמה היא שיש שתי אוריינטציות אחת מסומנת בסימן + או במספר 1 ונקראת חיובית והשנייה בסימן - או במספר 1- ונקראת שלילית.

==העתקות שומרות אוריינטציה==
העתקה ליניארית הפיכה ממרחב וקטורי <math>V</math> לעצמו נקראת שומרת אוריינטציה אם הדטרמיננטה שלה היא חיובית והופכת אוריינטציה אם הדטרמיננטה שלה היא שלילית. הגדרה אלטרנטיבית להעתקה שומרת אוריינטציה היא ההעתקה שניתן לשנות באופן הדרגתי ורציף כך שתתקבל בסופו של דבר העתקת הזהות וכך שבכל שלבי הביניים ההעתקה תישאר הפיכה. במילים אחרות, ההעתקות הליניאריות שומרות האוריינטציה הן בדיוק ההעתקות שנמצאת ברכיב הקשירות של היחידה בחבורת ההעתקות ההפיכות <math>GL(V)</math>.
===דוגמאות===
* ב-<math>\R^3</math>, סיבוב מסביב לציר ה-<math>Z</math> בזווית <math>\alpha</math> שומר אוריינטציה.
::<math>
\mathbf {A}_1 = \begin{pmatrix}
 \cos \alpha & \sin \alpha & 0 \\
 -\sin \alpha & \cos \alpha & 0 \\
 0 & 0 & 1 
\end{pmatrix}
</math>

* השיקוף לפי מישור ה-<math>XY</math> הופך אוריינטציה.
::<math>
\mathbf {A}_2 = \begin{pmatrix}
 1 & 0 & 0 \\
 0 & 1 & 0 \\
 0 & 0 & -1 
\end{pmatrix}
</math>
* מטריצת תמורה שומרת אוריינטציה אםם התמורה המתאימה היא זוגית

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

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

==ראו גם==
*אוריינטציה (מתמטיקה)

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

== הערות שוליים ==

קטגוריה:גאומטריה אנליטית
קטגוריה:אלגברה ליניארית