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

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

הגדרה

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

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

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

הוא תבנית.

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

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

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

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

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

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

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

Postscript-viewer-shaded.png ערך מורחב – אוריינטציה יחסית

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

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

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

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

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

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

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

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

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

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

הערות שוליים

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