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

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

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

הגדרה

נסמן את הממד הסופי, במרחב הווקטורי הממשי, ב-V, ונסמן ב-b1 וב-b2 שני בסיסים סדורים של V. תוצאה ידועה באלגברה ליניארית היא שקיימת העתקה ליניארית A: V→V שהופכת את b1 ל-b2. יוצא מכך, שלבסיסים b1 ו-b2 יש את אותה אוריינטציה אם ל-A יש דטרמיננטה חיובית, ואוריינטציה הפוכה אם אין לו. התכונה, שיש להם את אותה אוריינטציה, מגדירה יחס שקילות על המערכת של כל הבסיסים הסדורים של V. אם V שונה מאפס, קיימים בדיוק שני חוגי שקילות שמוגדרים על ידי היחסים הנ"ל. אוריינטציה על V היא העברה של 1+ לחוג שקילות אחד ו-1− לשני.

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

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

באופן דומה, נסמן את A כמיפוי ליניארי א-סינגולרי של המרחב הווקטורי Rn עד Rn. מיפוי זה הוא "שימור אוריינטציה" אם הדטרמיננטה שלו היא חיובית. לדוגמה, ב-R³, סיבוב מסביב לציר ה-Z הקרטזי בזווית של α, הוא "שימור אוריינטציה".

בעוד ששיקוף במישור הקרטזי XY הוא לא "שימור אוריינטציה".

הערות שוליים 

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