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

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

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

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



o
r
i
e
n

t

M

/

N

,

O
r
i
e
n

t

M

/

N

,

D

M

/

N

,

O

r
i
e
n

t

M

/

N

,

Ω

M

/

N

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

{\displaystyle orient_{M/N},\quad Orient_{M/N},\quad D_{M/N},\quad {\mathcal {O}}rient_{M/N},\quad \Omega _{M/N}}
כל אלה יהיו אובייקטים מעל {\displaystyle .M}

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

המקרה החלק
----------

### המקרה של אימרסיה

העתקה חלקה {\displaystyle \phi :M\to N} נקראת אימרסיה (או הטבעה) אם הדיפרנציאל {\displaystyle d\_{x}\phi } שלה בכל {\displaystyle x\in M} הוא חד-חד-ערכי. לפי משפט הפונקציה הסתומה תנאי זה שקול לכך שלכל {\displaystyle x\in M} קיימת סביבה פתוחה {\displaystyle U\subset M} כך ש {\displaystyle \phi (U)} היא תת-יריעה סגורה מקומית (Locally closed) והצמצום (Restriction) {\displaystyle \phi |\_{U}:U\to \phi (U)} הוא דיפאומורפיזם.

במקרה כזה ניתן להגדיר את האגד הנורמלי (Normal bundle) {\displaystyle Norm\_{M}^{N}} לM בתוך N ע"י
{\displaystyle Norm\_{M}^{N}:=\phi ^{\*}(T(N))/Im(d\phi )}
כאשר אנו מתייחסים לדיפרנציאל {\displaystyle d\phi } בתור העתקה מהאגד המשיק {\displaystyle T(N)} למשיכה לאחור (Pullback bundle) {\displaystyle \phi ^{\*}(T(N))} של האגד המשיק {\displaystyle .T(N)}

**הגדרה**: *אוריינטציה יחסית* על M (ביחס לN) היא אוריינטציה על האגד הנורמלי {\displaystyle .Norm\_{M}^{N}}

### המקרה של סובמרסיה

העתקה חלקה {\displaystyle \phi :M\to N} נקראת סובמרסיה אם הדיפרנציאל {\displaystyle d\_{x}\phi :T\_{x}(M)\to T\_{p(x)}M} שלה בכל {\displaystyle x\in M} הוא על. לפי משפט הפונקציה הסתומה תנאי זה שקול לכך שלכל {\displaystyle x\in M} קיימת סביבה פתוחה {\displaystyle U\subset M} כך ש {\displaystyle \phi (U)} היא קבוצה פתוחה והצמצום
{\displaystyle \phi |\_{U}:U\to \phi (U)} ניתן לפירוק {\displaystyle p\circ i} כאשר

* {\displaystyle i:U\to \phi (U)\times \mathbb {R} ^{\dim M-\dim N}} הוא דיפאומורפיזם ו
* {\displaystyle p:\phi (U)\times \mathbb {R} ^{\dim M-\dim N}\to \phi (U)} היא ההטלה.

במקרה כזה נתבונן בגרעין {\displaystyle \ker(d\phi )} בתור תת-אגד של {\displaystyle .T(M)}

**הגדרה**: *אוריינטציה יחסית* על M (ביחס לN) היא אוריינטציה על האגד {\displaystyle .\ker(d\phi )}

המקרה הכללי
-----------

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

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

|
|  |
| **האנלוג של אימרסיה:** | לכל x\in X קיימת סביבה פתוחה {\displaystyle U\subset M} ומספר טבעי k כך ש {\displaystyle \phi (U)} היא תת-קבוצה סגורה מקומית (Locally closed subset) והצמצום {\displaystyle \phi |\_{U}:U\to Y} ניתן לפירוק {\displaystyle h\circ i} כאשר {\displaystyle i:U\to U\times \mathbb {R} ^{k}} הוא השיכון הסטנדרטי ו{\displaystyle h:U\times \mathbb {R} ^{k}\to Y} הוא הומיאומורפיזם לתמונה. |
| **האנלוג של סובמרסיה:** | לכל x\in X קיימת סביבה פתוחה {\displaystyle U\subset X} ומספר טבעי k כך ש {\displaystyle \phi (U)} היא קבוצה פתוחה והצמצום {\displaystyle \phi |\_{U}:U\to \phi (U)} ניתן לפירוק {\displaystyle p\circ h} כאשר {\displaystyle h:U\to \phi (U)\times \mathbb {R} ^{k}} הוא הומיאומורפיזם ו {\displaystyle p:\phi (U)\times \mathbb {R} ^{k}\to \phi (U)} הוא ההטלה. |

נשים לב שתנאים אלה מתקיימים לעיתים גם כאשר המרחבים הטופולוגיים {\displaystyle X,Y} אינם יריעות.

קשר בין אוריינטציה יחסית ואוריינטציה
------------------------------------

בהינתן אוריינטציה על N ואוריינטציה יחסית על M ניתן להגדיר אוריינטציה על {\displaystyle .M} התאמה זאת לוקלית, כך שניתן להגדיר איזומורפיזם 


ϕ

∗

(

O

r
i
e
n

t

N

)
⊗

O

r
i
e
n

t

M

/

N

≅

O

r
i
e
n

t

M

,

{\displaystyle \phi ^{\*}({\mathcal {O}}rient\_{N})\otimes {\mathcal {O}}rient\_{M/N}\cong {\mathcal {O}}rient\_{M},}

{\displaystyle \phi ^{*}({\mathcal {O}}rient_{N})\otimes {\mathcal {O}}rient_{M/N}\cong {\mathcal {O}}rient_{M},}
ובאופן דומה גם איזומורפיזמים 

{\displaystyle \phi ^{\*}(Orient\_{N})\otimes Orient\_{M/N}\cong Orient\_{M},\,\phi ^{\*}(\Omega \_{N})\otimes \Omega \_{M/N}\cong \Omega \_{M},\,\phi ^{\*}(D\_{N})\otimes D\_{M/N}\cong D\_{M}}

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

{\displaystyle 0\to V\to W\to L\to 0.}
קיים איזומורפיזם טבעי 


Ω

t
o
p

(
L
)
⊗

Ω

t
o
p

(
V
)
≅

Ω

t
o
p

(
W
)
.

{\displaystyle \Omega ^{top}(L)\otimes \Omega ^{top}(V)\cong \Omega ^{top}(W).}

{\displaystyle \Omega ^{top}(L)\otimes \Omega ^{top}(V)\cong \Omega ^{top}(W).}
**הערה:** האיזומורפיזמים האלה מכלילים את מושג האוריינטציה המושרית על היפר-משטח. לכן כמוהו הם תלויים במוסכמות סימן. מוסכמות אלו מורכבות יותר מאשר במקרה של היפר-משטח ואין להן גרסה מקובלת יחידה. מצב זה גורם לעיתים לבלבולים וטעויות. מטבע הדברים טעויות אלו הן טעויות סימן, ולכן בדרך כלל אינן משמעותיות.

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

1. ↑  שני האיזומורפיזמים האחרונים מוגדרים רק עבור המקרה החלק
2. ↑  (R. Hartshorne, Residues and Duality, Springer Lecture Notes. no. 20 (1966
3. ↑  .(B. Conrad, Grothendieck duality and base change, Springer Lecture Notes. no. 1750 (2000
4. ↑  טעות מהסוג הזה (אם-כי בהקשר שונה) ארעה בספר Residues and duality. הטעות תוקנה רק כשלושה עשורים מאוחר יתר.

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