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

הגדרה
-----

יהי E אגד וקטורי n-ממדי מעל מרחב טופולוגי {\displaystyle .X}

אוריינטציה על E היא אוריינטציה על כל אחד מהסיבים (Fibers)
{\displaystyle E|\_{x}} של E
התלויה באופן רציף בנקודה x שמעליה הסיב.

כדי להגדיר זאת באופן פורמלי נזדקק למושג התבניות. תבנית על E היא חתך (Section) (רציף) של אגד התבניות {\displaystyle .\Omega ^{n}(E)=\Lambda ^{n}(E^{\*})} במילים זאת פונקציה רציפה \omega  ממכפלת הסיבים (fiber product) {\displaystyle E\times \_{X}E\times \_{X}\dots \times \_{X}E} ל {\displaystyle \mathbb {R} } כך שלכל x\in X הצימצום לסיב 

{\displaystyle \omega \_{x}:=\omega |\_{E|\_{x}\times \dots \times E|\_{x}}:{E|\_{x}\times \dots \times E|\_{x}}\to \mathbb {R} .}
הוא תבנית.

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

כמו מושג האוריינטציה על יריעה חלקה, גם מושג האוריינטציה על אגד הוא מקומי ולכן ניתן להגדיר את כיסוי האוריינטציות {\displaystyle orient\_{E/X}}, אגד האוריינטציות {\displaystyle Orient\_{E/X}}, אגד הצפיפויות {\displaystyle D\_{E/X}} ואלומת האוריינטציות {\displaystyle {\mathcal {O}}rient\_{E/X}} של האגד E. כל אלה יהיו אובייקטים מעל {\displaystyle .X}

ניתן להכליל את ההגדרה הזאת למקרה ש E איננו אגד וקטורי אלא אגד סיבים (Fiber bundle) שהסיבים שלו הם יריעות. ניתן גם להגדיר את האובייקטים המקומיים במקרה זה אולם אז הם יהיו אובייקטים מעל המרחב הכולל
 של {\displaystyle .E}

קשר לאוריינטציה על יריעה
------------------------

אם X יריעה חלקה ו{\displaystyle E=T(X)} הוא האגד המשיק (Tangent bundle)
שלה אז, אוריינטציה על X שקולה לאוריינטציה על {\displaystyle .E} כמו כן



o
r
i
e
n

t

X

=
o
r
i
e
n

t

E

/

X

,

O
r
i
e
n

t

X

=
O
r
i
e
n

t

E

/

X

,

O

r
i
e
n

t

X

=

O

r
i
e
n

t

E

/

X

,

D

X

=

D

E

/

X

.

{\displaystyle orient\_{X}=orient\_{E/X},\quad Orient\_{X}=Orient\_{E/X},\quad {\mathcal {O}}rient\_{X}={\mathcal {O}}rient\_{E/X},\quad D\_{X}=D\_{E/X}.}

{\displaystyle orient_{X}=orient_{E/X},\quad Orient_{X}=Orient_{E/X},\quad {\mathcal {O}}rient_{X}={\mathcal {O}}rient_{E/X},\quad D_{X}=D_{E/X}.}
נשים לב כי אף על פי שמושג האוריינטציה מוגדר לאגד מעל מרחב טופגולוגי X כלשהו, ניתן להגדיר באמצעותו אוריינטציה על X רק אם X יריעה חלקה, זאת מכיוון שהאגד המשיק מוגדר רק עבור יריעה חלקה. בשביל להגדיר 
אוריינטציה על יריעה טופולוגית כללית, צריך להשתמש בשיטה אחרת.

### אוריינטציה יחסית

 ערך מורחב – **אוריינטציה יחסית**  

בהתבסס על מושג האוריינטציה על אגד אפשר להגדיר את מושג האוריינטציה היחסית של ההעתקה {\displaystyle \phi :M\to N} בשני מקרים: 

* \phi  היא אימרסיה (immersion)
* \phi  היא סובמרסיה (submersion)

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

{\displaystyle orient\_{M/N},\quad Orient\_{M/N},\quad D\_{M/N},\quad {\mathcal {O}}rient\_{M/N},\quad \Omega \_{M/N}}

כל אלה יהיו אובייקטים מעל {\displaystyle .M}

אוריינטציה על אגד וטורסורים
---------------------------

ניתן להתייחס אל אגד וקטורי n ממדי, כאל {\displaystyle GL\_{n}(\mathbb {R} )}-טורסור. מנקודת מבט זאת אגד מכוון (אגד עליו נקבעה אוריינטציה) הוא {\displaystyle GL\_{n}^{+}(\mathbb {R} )}-טורסור. כאן {\displaystyle GL\_{n}^{+}(\mathbb {R} )} היא חבורת המטריצות עם דטרמיננטה חיובית.

{\displaystyle GL\_{n}(\mathbb {R} )}-טורסור מעל מרחב טופולוגי X הוא מרחב T המועתק לX שהסיבים (Fiber) שלו הם מרחבים הומוגניים עיקריים (Principal homogeneous space) מעל {\displaystyle GL\_{n}(\mathbb {R} )}. זאת אומרת ש {\displaystyle GL\_{n}(\mathbb {R} )} פעולת עליהם באופן טרנזיטיבי, עם מייצבים טריוויאליים. לכל אגד וקטורי E מעל X ניתן להתאים {\displaystyle GL\_{n}(\mathbb {R} )}-טורסור באופן הבא: 



T
:=
{
(
x
,
b
)

|

x
∈
X
,

 and 

b

 is a basis of 

E

|

x

}

{\displaystyle T:=\{(x,b)|x\in X,{\text{ and }}b{\text{ is a basis of }}E|\_{x}\}}

{\displaystyle T:=\{(x,b)|x\in X,{\text{ and }}b{\text{ is a basis of }}E|_{x}\}}
הפעולה של {\displaystyle GL\_{n}(\mathbb {R} )} נתונה על ידי החלפת בסיס. קל לראות שהתאמה זאת נותנת התאמה חח"ע ועל בין מחלקות איזומורפיזם של אגדים ומחלקות איזומורפיזם של טורסורים.

באופן אנלוגי, לכל אגד וקטורי מכוון {\displaystyle (E,o)} מעל X ניתן להתאים {\displaystyle GL\_{n}^{+}(\mathbb {R} )}-טורסור באופן הבא: 



T
:=
{
(
x
,
b
)

|

x
∈
X
,

 and 

b

 is a positive basis of 

E

|

x

 w.r.t. 

o

x

}

{\displaystyle T:=\{(x,b)|x\in X,{\text{ and }}b{\text{ is a positive basis of }}E|\_{x}{\text{ w.r.t. }}o\_{x}\}}

{\displaystyle T:=\{(x,b)|x\in X,{\text{ and }}b{\text{ is a positive basis of }}E|_{x}{\text{ w.r.t. }}o_{x}\}}
בניות דומות קיימות גם עבור מבנים אחרים. כך למשל:

* אגד עם מכפלה פנימית הוא {\displaystyle O\_{n}(\mathbb {R} )}-טורסור.
* אגד עם תבנית סימפלקטית הוא {\displaystyle Sp\_{n}(\mathbb {R} )}-טורסור.
* אגד (מממד 2n) עם מבנה מרוכב הוא {\displaystyle GL\_{n}(\mathbb {C} )}-טורסור.
* אגד עם תבנית נפח הוא {\displaystyle SL\_{n}(\mathbb {R} )}-טורסור.

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

1. ↑  למעשה, די בכך שהם יריעות טופולוגיות ואין צורך במבנה חלק עליהם. אפשר להתייחס למושג זה כאל מקרה פרטי של אוריינטציה יחסית של יריעות טופולוגיות
2. ↑  Total Space,
 Wolfram Math World
3. ↑  למעשה זוהי שקילות קטגוריות אם אנו מתייחסים רק לאיזומורפיזמים

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