יריעה אוריינטבילית

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
Nuvola apps edu mathematics blue-p.svg

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

טורוס - יריעה אוריינטבילית. לטורוס שני צדדים - הפנימי (אינו נראה לצופה) והחיצוני (נראה לצופה).
טבעת מביוס - יריעה לא אוריינטבילית.לא ניתן לבחור צד של טבעת מביוס או במילים אחרות "יש לה צד אחד".

במתמטיקה ובפרט בטופולוגיה וגאומטריה, יריעה נקראת אוריינטבילית (Orientable) אם ניתן להגדיר עליה אוריינטציה. באופן מקומי כל יריעה איזומורפית ל \R^n ולכן ניתן לבחור עליה אוריינטציה. אולם מכיוון שבכל נקודה יש שתי אפשרויות לבחירה זו, לעתים לא ניתן לבצע בחירה באופן גלובלי. זאת הסיבה שחלק מהיריעות אינן אוריינטביליות. הדוגמה הסטנדרטית ליריעה לא אוריינטבילית היא טבעת מביוס.

משטחים אוריינטבילים (במרחב)[עריכת קוד מקור | עריכה]

בחירת שדה נורמלי[1] למשטח או במילים אחרות "בחירת צד", מגדירה אוריינטציה על המשטח

משטח במרחב נקרא אוראנטבילי אם ניתן לבחור לו צד. בחירת צד של המשטח שקולה לבחירת שדה וקטורי נורמלי[1] למשטח המכוון לעבר הצד הנבחר. הגדרה זו של אוריינטציה ניתנת להכללה לממדים גבוהים יותר, אולם היא תקפה רק להיפר-משטחים (Hypersurface), זאת אומרת ליריעות k ממדיות ב\mathbb{R}^{k+1}.

המקרה הרב ממדי[עריכת קוד מקור | עריכה]

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

המקרה החלק[עריכת קוד מקור | עריכה]

יריעה חלקה M מממד n היא אוריינטבילית אם קיימת עליה תבנית הפיכה‏[2].

המקרה הכללי[עריכת קוד מקור | עריכה]

יריעה טופולוגית סגורה וקשירה M מממד n היא אוריינטבילית אם H_n(M,\Z) \neq 0 (או, באופן שקול, H_n(M,\Z) \cong \Z). לקריטריון זה יש גרסה גם עבור יריעות כלליות, לרבות יריעות עם שפה.

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

עקומים[עריכת קוד מקור | עריכה]

כל עקום (יריעה חד ממדית) הוא איחוד זר (Disjoint union) של קטעים ומעגלים. לכן כל עקום הוא יריעה אוירנטבילית.

טבעת מביוס וטבעת רגילה[עריכת קוד מקור | עריכה]

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

הדוגמה הבסיסית ביותר ליריעה לא אוריינטבילית היא טבעת מביוס.

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

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

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

בקבוק קליין וטורוס[עריכת קוד מקור | עריכה]

טורוס, יריעה אוריינטבילית
בקבוק קליין, מוטבע במרחב התלת-ממדי, יריעה לא אוריינטבילית

הדבקה של בקבוק קליין וטורוס
טורוס
בקבוק קליין
על מנת לקבל את היריעות (בקבוק קליין וטורוס), יש להדביק כל צלע לצלע הנגדית (זאת שצבועה באותו צבע), לפי כיוון החץ.
Postscript-viewer-shaded.png ערך מורחב – בקבוק קליין

בקבוק קליין הוא משטח סגור (Closed manifold) לא אוריינטבילי. כפי שנראה בהמשך, עובדה זו מוכיחה שאי-אפשר לשכנו במרחב התלת ממדי. אולם ניתן להטביעו במרחב כזה (ראה איור), זאת אומרת קיימת אימרסיה (immersion) מבקבוק קליין למרחב תלת ממדי.

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

בעזרת תיאור זה ניתן להראות שכיסוי האוריינטציות של בקבוק קליין הוא הטורוס. הטורוס הוא יריעה אוריינטבילית.

מישור פרויקטיבי, ספירה ומישור[עריכת קוד מקור | עריכה]

ספירה, יריעה אוריינטבילית
משטח שטיינר (Roman surface) – הטבעה של המישור פרויקטיבי במרחב, יריעה לא אוריינטבילית
Postscript-viewer-shaded.png ערך מורחב – מישור פרויקטיבי

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

משטחים[עריכת קוד מקור | עריכה]

משטח אוריינטבילי מגנוס 3
Postscript-viewer-shaded.png ערכים מורחבים – משטח, גנוס

ניתן למיין את כל המשטחים (הקשירים) הסגורים (Closed manifold) על ידי האוריינטביליות והגנוס שלהם. משטח (קשיר) אוריינטבילי \Sigma_n מגנוס n נראה כספירה שחיברו אליה n ידיות. לחלופין ניתן לתאר אותו בתור הסכום הקשיר (Connected sum)

\Sigma_n=S^2\# \underset{n \text{ copies }}{\underbrace {T^2\#\dots \#T^2}},

כאשר S^2 היא הסיפרה וT^2 הוא הטורוס. משטח (קשיר) לא אוריינטבילי \Sigma'_n מגנוס n הוא

\Sigma'_n=\underset{n \text{ copies }}{\underbrace{\mathbb{RP}^2\#\dots \#\mathbb{RP}^2}},

כאשר \mathbb{RP}^2 הוא המישור הפרויקטיבי.

ניתן להראות ש:

  • בקבוק קליין הוא המישטח \Sigma'_2
  • T^2=\Sigma_1
  • כיסוי האוריינטציות של \Sigma'_{n} הוא \Sigma_{n-1}.

מרחב פרויקטיבי, ספירה רב ממדית ומרחב לינארי[עריכת קוד מקור | עריכה]

Postscript-viewer-shaded.png ערך מורחב – מרחב פרויקטיבי

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

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

קריטריונים[עריכת קוד מקור | עריכה]

פעולות עם יריעות אוריינטביליות[עריכת קוד מקור | עריכה]

היפר משטחים[עריכת קוד מקור | עריכה]

את בקבוק קליין לא ניתן לשכן במרחב מכיוון שהוא משטח סגור (Closed manifold) לא אוריינטבילי. אילו ניתן היה, אז בקבוק קליין חייב היה להיות אוריינטבילי.

ממשפט ז'ורדן (Jordan curve theorem) ותהליך השראת האוריינטציה על שפה של יריעה ניתן להסיק את הטענה הבאה:

טענה: היפר-משטח סגור (Closed Hypersurface) (במרחב לינארי) תמיד אוריינטבילי.

החבורה היסודית[עריכת קוד מקור | עריכה]

Postscript-viewer-shaded.png ערך מורחב – החבורה היסודית

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

טענה: תהי M יריעה טופולוגית. נניח שלחבורה היסודית שלה אין תת-חבורות מאינדקס 2. אז M אוריינטבילית.

מסקנה: יריעה פשוטת קשר תמיד אוריינטבילית.

יריעות מרוכבות[עריכת קוד מקור | עריכה]

Postscript-viewer-shaded.png ערכים מורחבים – יריעה אנליטית מרוכבת, יריעה אלגברית, יריעה כמעט מרוכבת

יריעה כמעט מרוכבת (Almost complex manifold) היא יריעה חלקה M מממד זוגי, שעל המרחב המשיק T_x(M) בכל נקודה x \in M נתון מבנה של מרחב לינארי מעל \C (התלוי באפן חלק בנקודה x).

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

טענה: יריעה כמעט מרוכבת תמיד אוריינטבילית.

מסקנה: יריעה אנליטית מרוכבת, ובפרט יריעת הנקודות של יריעה אלגברית חלקה (Algebraic manifold) מרוכבת, תמיד אוריינטבילית.

יריעות סימפלקטיות[עריכת קוד מקור | עריכה]

Postscript-viewer-shaded.png ערך מורחב – יריעה סימפלקטית

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

טענה: יריעה סימפלקטית תמיד אוריינטבילית.

סיכום[עריכת קוד מקור | עריכה]

יריעות אוריינטביליות יריעות לא אוריינטביליות
  • יריעה אליה מועתקת יריעה לא אוריינטבילית על ידי הומאומורפיזם מקומי
    • יריעה בעלת תת-קבוצה פתוחה לא אוריינטבילית
      • סכום קשיר של יריעה לא אוריינטבילית עם יריעה כלשהי
        • משטחים לא אוריינטבילים – סכום קשיר של מישורים פרויקטיבים
  • מכפלה של יריעות אוריינטביליות
  • מכפלה של יריעה לא אוריינטבילית עם יריעה כלשהי

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

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ 1.0 1.1 שדה וקטורי נורמלי למשטח הוא התאמה של וקטור באורך יחידה לכל נקודה במשטח המאונך למשטח בנקודה זאת.
  2. ^ לעתים מכנים תבנית דיפרנציאליות הפיכות "תבנית נפח". כינוי זה עלול לבלבל כי לעתים הוא מתייחס לאגד הצפיפויות
  3. ^ עובדה זאת נובעת מכך שעבור אוטומורפיזם A כזה מיתקיים det_\R(A)=|det_\C(A)|^2>0