אגד וקטורי

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

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

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

אגד וקטורי המתקבל מהישר העובר דרך הראשית וגרף הפונקציה f בכל נקודה

נניח למשל $\,y=f(x)$ היא עקומה רציפה במישור האוקלידי, שאינה עוברת דרך ראשית הצירים. לכל נקודה $\,(x,f(x))$ על גרף הפונקציה נוכל להעביר ישר $\,L_x$ העובר דרך הראשית ודרך הנקודה $\,(x,f(x))$ שעל גרף הפונקציה (ראו איור משמאל). מכיוון שישר העובר דרך הראשית הוא תת מרחב וקטורי (ממימד 1) של $\,\mathbb{R}^2$ , הרי שבדרך זו התאמנו לכל נקודה $\,(x,f(x))$ על גרף הפונקציה מרחב וקטורי $\,L_x$ . אוסף המרחבים הווקטורים הללו "משתנה בצורה רציפה", ולפיכך מהווה אגד וקטורי רציף מעל המרחב המוגדר על ידי גרף הפונקציה f.

הדוגמה הפשוטה ביותר לאגד וקטורי היא משפחה קבועה של מרחבים וקטורים, כלומר, יש מרחב וקטורי קבוע V כך שלכל x ב X מתקיים V(x) = V. במקרה זה יש עותק של V לכל נקודה ב-X, ועותקים אלו יוצרים את האגד הווקטורי X×V מעל X. אגד כזה נקרא אגד טריוויאלי.

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

[עריכה] הגדרה פורמלית

[עריכה] רעיון ההגדרה

נניח כי X הוא מרחב טופולוגי. כאמור, האגד הווקטורי הפשוט ביותר מעל X הוא האגד בו המרחבים הווקטורים כלל אינם משתנים מנקודה לנקודה, כלומר האגד הטריוויאלי $\,X \times \mathbb{R}^r$ . בדומה להגדרה של יריעות, נשתמש באגד הטריוויאלי כ"מודל מקומי" לאגד וקטורי כללי. במילים אחרות, נדרוש שבאופן מקומי כל אגד וקטורי E יראה כמו האגד הטריוויאלי. דרישה זו נקראת הטריוויאליזציה המקומית של האגד, ובשפה מתמטית היא מוגדרת כך: נדרוש כי לכל $\,x \in X$ תהייה קיימת סביבה $U \subseteq X$ של x כך שאם נסתכל על החלק של האגד E אשר "נמצא מעל U", אז יתקיים $\,E|_{U} \cong U \times \mathbb{R}^r$ . בנוסף לדרישת הטריוויאליזציה המקומית, בדומה לאפשרות לבצע "מעבר קואורדינטות חלק" ביריעות חלקות, נדרוש שבהינתן שתי טריוויאליזציות מקומיות על קבוצות פתוחות $\,U_1$ ו- $\,U_2$ הנחתכות, אז המעבר בין שתי הטריוויאליזציות יהיה פונקציה רציפה (או חלקה) ולינארית על כל מרחב וקטורי.

[עריכה] ההגדרה

יהי X מרחב טופולוגי. אגד וקטורי (רציף) 'E' מעל 'X' ממימד 'r' הוא מרחב טופולוגי 'E', ביחד עם העתקה רציפה $\pi:E \mapsto X$ כך ש $π$ היא העתקה על, וכך שמתקיימים התנאים הבאים:

לכל $x\in X$ לקבוצה $\ \pi^{-1}(x)$ יש מבנה של מרחב וקטורי ממימד r.
לכל נקודה $x\in X$ קיימת קבוצה פתוחה U המכילה את X והומיאומורפיזם $\phi:U\times \mathbb{R}^r \mapsto \pi^{-1}(U)$ כך שמתקיים:

$\pi \circ \phi(y,v) = y$ לכל $y\in U$ ולכל $v \in \mathbb{R}^r$ .
הפונקציה $v \mapsto \phi(y,v)$ היא איזומורפיזם של המרחבים הווקטורים $\mathbb{R}^r$ ו- $\ \pi^{-1}(y)$ לכל $y \in U$

הפונקציה

φ

תיקרא טריוויאליזציה מקומית של האגד E. הרעיון הבסיסי הוא שהאגד E נראה באופן מקומי בדיוק כמו $U \times \mathbb{R}^r$ , אך באופן גלובלי האגד משתנה בצורה רציפה כך שאינו טריוויאלי.

[עריכה] אגד וקטורי חלק

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

ל-E מבנה של יריעה דיפרנציאלית.
ההעתקה $\pi:E \mapsto X$ היא פונקציה חלקה של יריעות.
בהינתן שתי קבוצות פתוחות $U,V \subseteq X$ עם חיתוך לא ריק, וטריוויאליזציות מקומיות $φ U,φ V$ הפונקציה $\phi_U\circ{\phi_V}^{-1}:(U\cap V)\times \mathbb{R}^r \mapsto (U\cap V)\times \mathbb{R}^r$ היא מהצורה $\phi_U \circ {\phi_V}^{-1}(x,v) = (x,f_{U,V}(x)\cdot v)$

כאשר נדרוש שהפונקציה $f_{U,V}:U \cap V \mapsto M_{r}(\mathbb{R})$ היא פונקציה חלקה.

באופן דומה ניתן להגדיר אגד וקטורי אנליטי (הולומורפי) מעל יריעה אנליטית.

[עריכה] אגד קווי

אגד וקטורי ממימד 1 נקרא אגד קווי (באנגלית - Line bundle).

[עריכה] דוגמאות

לכל מרחב טופולוגי X קיים האגד הטריוויאלי $X \times \mathbb{R}^r$ ביחד עם פונקציית הזהות כטריוויאליזציה בודדת.
האגד המשיק ליריעה דיפרנציאלית הוא דוגמה לאגד חלק.

[עריכה] חתך של אגד וקטורי

תהי X יריעה דיפרנציאלית ויהי $\pi:E \mapsto X$ אגד וקטורי חלק מעל X. בהינתן קבוצה פתוחה U ב-X, חתך של E מעל U הוא פונקציה חלקה $f:U \mapsto E$ כך שלכל $x \in U$ הערך $\ f(x)$ שייך לסיב $E x$ . במילים אחרות, לכל $x \in U$ מתקיים $\pi \circ f(x) = x$ . נשים לב שניתן לחבר 2 חתכים מעל קבוצה פתוחה U, וכן להכפיל חתך בסקלר, ולפיכך לאוסף החתכים מעל קבוצה פתוחה יש בעצמו מבנה של מרחב וקטורי. למעשה, ההתאמה המתאימה לכל קבוצה פתוחה U את אוסף החתכים מעל U מהווה אלומה. ניתן להוכיח שאלומה זאת מגדירה את האגד הווקטורי E באופן יחיד, ולפיכך ניתן לזהות את האגד הווקטורי E עם אלומת החתכים שלו, ובכך לראות בכל אגד וקטורי מקרה פרטי של אלומה של מרחבים וקטורים.

חתך חלק של האגד המשיק של יריעה חלקה נקרא שדה וקטורי.

[עריכה] מורפיזמים

יהיו $X 1$ ו- $X 2$ יריעות דיפרנציאלית. בהינתן שני אגדים וקטורים חלקים $\pi_1:E_1 \mapsto X_1$ ו- $\pi_2:E_2 \mapsto X_2$ , מורפיזם של אגדים וקטורים $f:E_1 \mapsto E_2$ הוא פונקציה חלקה f בין היריעות $E 1$ ו- $E 2$ ופונקציה חלקה $g:X_1 \mapsto X_2$ כך ש: