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

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

הגדרהעריכה

יהי   אגד וקטורי  -ממדי מעל מרחב טופולוגי  

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

כדי להגדיר זאת באופן פורמלי נזדקק למושג התבניות. תבנית על   היא חתך (Section) (רציף) של אגד התבניות   במילים זאת פונקציה רציפה   ממכפלת הסיבים (fiber product)   ל   כך שלכל   הצימצום לסיב

 

הוא תבנית.

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

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

ניתן להכליל את ההגדרה הזאת למקרה ש   איננו אגד וקטורי אלא אגד סיבים (Fiber bundle) שהסיבים שלו הם יריעות[1]. ניתן גם להגדיר את האובייקטים המקומיים במקרה זה אולם אז הם יהיו אובייקטים מעל המרחב הכולל [2] של  

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

אם   יריעה חלקה ו  הוא האגד המשיק (Tangent bundle) שלה אז, אוריינטציה על   שקולה לאוריינטציה על   כמו כן

 

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

אוריינטציה יחסיתעריכה

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

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

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

 

כל אלה יהיו אובייקטים מעל  

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

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

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

 

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

באופן אנלוגי, לכל אגד וקטורי מכוון   מעל   ניתן להתאים  -טורסור באופן הבא:

 

בניות דומות קיימות גם עבור מבנים אחרים. כך למשל:

  • אגד עם מכפלה פנימית הוא  -טורסור.
  • אגד עם תבנית סימפלקטית הוא  -טורסור.
  • אגד (מממד  ) עם מבנה מרוכב הוא  -טורסור.
  • אגד עם תבנית נפח הוא  -טורסור.

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

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