הצגת המקור של הדף "יריעה"

{{פירוש נוסף|נוכחי=יריעה טופולוגית}}
[[קובץ:Triangle on globe.jpg|שמאל|ממוזער|280px|לשטח קטן על פני כדור הארץ ניתן להתייחס בקירוב כאל מישור בו סכום הזויות במשולש הוא 180 מעלות. באזורים גדולים יותר של פני הכדור מתגלות תכונות אחרות.]]
ב[[מתמטיקה]], '''יריעה''' היא [[מרחב טופולוגי|מרחב]] מתמטי מופשט אשר במבט מקרוב (מבט מקומי) דומה למרחב בעל [[גאומטריה אוקלידית]], אך במבט כולל הוא בעל תכונות מורכבות יותר.
שטח פני [[כדור הארץ]] הוא דוגמה ליריעה; מקרוב הוא נראה [[מישור (גאומטריה)|שטוח]] אך במבט כולל מתגלה צורתו [[כדור (גאומטריה)|הכדורית]]. היריעות מתאפיינות בעיקר בעובדה שניתן לפרק אותן למספר אזורים שכל אחד מהם הוא בעצם קבוצה במרחב האוקלידי שנמתחה או כווצה. אף על פי שבאופן מקומי היריעה דומה ל[[מרחב אוקלידי]] התכונות הכלליות שלה יכולות להיות מאוד מפתיעות. לדוגמה, בעוד ש[[מישור (גאומטריה)|במישור האוקלידי]] [[סכום הזוויות במשולש]] הוא 180 מעלות, על פני כדור (שדומה למישור באופן מקומי) ניתן למצוא משולשים עם שלוש [[זווית|זוויות]] ישרות.

==אטלסים ומפות==
כאשר עוסקים במבנים [[טופולוגיה|טופולוגיים]] מורכבים, הרבה פעמים נוח לבחון רק חלקים קטנים שלהם, ששם מתקיימות תכונות מעניינות ([[קומפקטיות מקומית]], [[קשירות מקומית]] ועוד), ומהסביבות האלו להסיק לגבי תכונות המרחב כולו. מקרה מיוחד, הוא כאשר הסביבות האלו [[הומאומורפיזם|נראות כמו]] מרחב טופולוגי מוכר אחר – [[מרחב וקטורי]] מעל [[שדה הממשיים|הממשיים]] למשל. במקרה כזה אפשר "למפות" את המרחב על ידי [[קבוצה (מתמטיקה)|קבוצה]] גדולה (ואפילו [[אינסוף|אינסופית]]) של חלקים ממנו שכל אחד מהם נראה כמו המרחב הטופולוגי המוכר (כלומר [[הומאומורפיזם|הומאומורפי]] אליו). כל אחד מהחלקים האלו, יחד עם ההומאומורפיזם שלו למרחב המדובר, נקרא '''מפה''', ואוסף כל המפות נקרא '''אטלס'''. מקרה חשוב במיוחד הוא כאשר המרחב הטופולוגי שאליו משוים את החלקים של המרחב המקורי הוא [[המרחב האוקלידי]] מממד מסוים. במקרה הזה המבנה נקרא '''יריעה''', וממד היריעה נקבע להיות [[ממד (אלגברה ליניארית)|ממד]] המרחב האוקלידי שאליו היריעה הומומורפית באופן מקומי. כיוון ששני מרחבים אוקלידיים הם הומאומורפיים [[אם ורק אם]] יש להם את אותו ממד – ממד היריעה נקבע באופן יחיד.

מקרה חשוב נוסף הוא כאשר המרחב הטופולוגי שאליו משווים חלקים של המרחב המקורי הוא מרחב וקטורי מממד סופי מעל [[שדה המספרים המרוכבים]]. במקרה הזה היריעה נקראת '''יריעה מרוכבת''' וממדה הוא ממד המרחב הווקטורי שאליו היא מושווית. כל יריעה מרוכבת מממד n היא גם יריעה ממשית רגילה מממד 2n.

== יריעה טופולוגית ==
{{הפניה לערך מורחב|יריעה טופולוגית}}
'''יריעה''' היא [[מרחב האוסדורף]], שמקיים את [[אקסיומות המנייה|אקסיומת המנייה השנייה]], בעל התכונה שלכל נקודה במרחב יש סביבה ש[[הומיאומורפיזם|הומיאומורפית]] ל-<math>\mathbb{R}^n</math>.
אותו ''n'' מוגדר להיות ממד היריעה. <br>
באופן שקול ניתן לדרוש שקיים אוסף של [[קבוצה פתוחה|קבוצות פתוחות]] ש[[כיסוי (טופולוגיה)|מכסה]] את המרחב, כלומר האיחוד של כל הקבוצות באוסף הוא המרחב כולו, כך שכל קבוצה בכיסוי הומיאומורפית לסביבה פתוחה של [[ראשית הצירים]] ב-<math>\mathbb{R}^n</math>, (או לחלופין, של כל נקודה שרירותית אחרת ב-<math>\mathbb{R}^n</math> או ל-<math>\mathbb{R}^n</math> עצמו). כל קבוצה בכיסוי, יחד עם ההומאומורפיזם שלה, נקראת '''מפה''', ואוסף כל המפות נקרא '''אטלס'''.

===הגדרה פורמלית===
מרחב טופולוגי M נקרא '''יריעה טופולוגית''' אם הוא [[מרחב האוסדורף]], מקיים את [[אקסיומות המנייה|אקסיומת המנייה השנייה]] וקיים לו [[כיסוי (טופולוגיה)|כיסוי]] [[קבוצה פתוחה|פתוח]]
<math>\{U_\alpha\}_{\alpha \in A}</math> (כאשר <math>\ A</math> קבוצת אינדקסים) כך שכל <math>\ U_\alpha</math> [[הומיאומורפיזם|הומיאומורפי]] לקבוצה פתוחה <math>\ V_\alpha</math>, <math>\ V_\alpha\subset \mathbb{R}^n</math>.
פונקציית ההומאומורפיזם בין <math>\ U_\alpha</math> ל-<math>\ V_\alpha</math> מסומנת ב-<math>\varphi_\alpha</math>. <br>
קל לראות שלכל <math>\alpha\mbox{ ,}\beta\in A</math> הפונקציה
<math>\varphi_{\alpha}\circ\varphi_{\beta}^{-1}</math> שהיא פונקציה מ-<math>\mathbb{R}^n</math> לעצמו היא [[פונקציה רציפה]] (בתחום שבו ההרכבה מוגדרת). הזוג <math>\left(\ U_\alpha\mbox{,} \varphi_\alpha\right)</math> נקרא מפה ואוסף כל המפות נקרא אטלס. לכל <math>\!\ \alpha</math>, <math>\varphi_\alpha=\left( x_1,x_2,\dots ,x_n \right)</math> כאשר <math>\!\ x_i</math> היא [[פונקציה חד חד ערכית]] מ-M אל <math>\mathbb{R}</math>.
הפונקציות <math>\left( x_1,x_2,\dots ,x_n\right)</math> נקראות [[קואורדינטות]] מקומיות של M.

למעשה התנאי ההכרחי לגבי רציפות ההרכבות הוא כמעט מספיק. כלומר בהינתן קבוצה M שמכוסה על ידי אוסף <math>\{U_\alpha\}_{\alpha \in A}</math> [[קבוצה בת מנייה|בן מנייה]], כך שלכל <math>\ U_\alpha</math> קיימת [[פונקציה חד-חד-ערכית ועל]] <math>\varphi_\alpha</math> שמעבירה את <math>\ U_\alpha</math> לקבוצה פתוחה ב-<math>\mathbb{R}^n</math>, אז ניתן לבנות על M מבנה של [[יריעה טופולוגית]] אם כל הפונקציות <math>\varphi_{\alpha}\circ\varphi_{\beta}^{-1}</math> הן פונקציות רציפות (בתחום שבו ההרכבה מוגדרת), כפונקציות מ-<math>\mathbb{R}^n</math> לעצמו. הבניה מתבצעת בשיטת ה[[טופולוגיה חלשה|טופולוגיה החלשה]] על ידי הגדרת [[בסיס (טופולוגיה)|בסיס]] הטופולוגיה כאוסף כל ההעתקות ההפוכות של הקבוצות הפתוחות שחלקיות ל-<math>\ U_\alpha</math>, עבור <math>\alpha \in A</math> כלשהו.

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

בעצם, המבנה של היריעה מוגדר על ידי אוסף הסביבות שמכסה אותו וההרכבות מהצורה <math>\varphi_{\alpha}\circ\varphi_{\beta}^{-1}</math>. אם הפונקציות שמתקבלות מההרכבה הן רציפות אז ניתן להעביר (ברמה מסוימת) את המבנה הטופולוגי של <math>\mathbb{R}^n</math> ולהגדיר בעזרתו מבנה טופולוגי על M. <br>
אם נדרוש מהפונקציות <math>\varphi_{\alpha}\circ\varphi_{\beta}^{-1}</math> להיות גם [[נגזרת|גזירות]], [[פונקציה חלקה|חלקות]] או [[פונקציה אנליטית| אנליטיות]] אז הפונקציות <math>\varphi_\alpha</math> יגדירו מבנה דיפרנציאלי מסוים על M, בנוסף למבנה הטופולוגי.

כל קבוצה פתוחה (ולא [[הקבוצה הריקה|ריקה]]) של היריעה מהווה יריעה בעצמה, שממדה הוא ממד היריעה המקורית. המפות של היריעה החדשה מתקבלות על ידי צמצום המפות המקוריות לאותה קבוצה פתוחה (כשמתייחסים למפות כפונקציות).

==יריעות חלקות==
{{הפניה לערך מורחב|יריעה חלקה}}
'''יריעה חלקה''' (או [[יריעה חלקה|יריעה דיפרנציאלית]]) היא יריעה טופולוגית שבה דורשים מהפונקציות <math>\varphi_{\alpha}\circ\varphi_{\beta}^{-1}</math> להיות [[פונקציה חלקה|פונקציות חלקות]]. האטלס של היריעה החלקה נקרא '''אטלס דיפרנציאלי'''. שני אטלסים נקראים שקולים אם האיחוד שלהם יוצר שוב אטלס דיפרנציאלי, כלומר המבנים שמוגדרים על ידי כל אחד מהאטלסים לא "מתנגשים" אחד בשני. (אפשר לראות בקלות שזהו בעצם [[יחס שקילות]] על קבוצת כל האטלסים.)<br>
היריעה החלקה היא מבנה חשוב באנליזה שמאפשר הכללות של משפטים בסיסיים (כמו [[משפט הפונקציות הסתומות]], משפט הקיום והיחידות במשוואות דיפרנציאליות רגילות וכו') מהמרחב האוקלידי.<br>
עצמים מתמטיים רבים בנויים כיריעה דיפרנציאלית עם תוספת מבנה לדוגמה אם נוסיף ליריעה דיפרנציאלית מבנה של [[חבורה (מבנה אלגברי)|חבורה]] (כך שפעולות הכפל וההופכי הן חלקות) נקבל [[חבורת לי]], אם נבנה על היריעה [[מטריקה]] חלקה – נקבל [[מטריקה רימנית|יריעה רימנית]] וכן הלאה.

===דוגמאות ליריעות חלקות===
*<math>\mathbb{R}^n</math> הוא יריעה חלקה מממד n, על ידי מפה יחידה שפורשת את כל המרחב, יחד עם העתקת הזהות.
*כל מרחב וקטורי מממד סופי n, הוא יריעה חלקה מממד n על ידי מפה יחידה שמכסה את כל המרחב, וה[[קואורדינטות]] שמוגדרות על ידי בסיס כלשהו.
*הספירה ה-n ממדית, <math>\mathbb{S}^n</math>, שהיא [[שפה (טופולוגיה)|שפת]] [[כדור יחידה|כדור היחידה]] ה-n+1 ממדי, היא יריעה חלקה מממד n.
[[קובץ:Circle with overlapping manifold charts.png|שמאל|ממוזער|פירוק מעגל לארבע מפות]]
לדוגמה את <math>\mathbb{S}^1</math>, הספירה החד-ממדית (שמשוכנת במישור), ניתן לפרק למפות כמו שמתואר בציור. המפה הירוקה לדוגמה ניתנת לביטוי על ידי הזוג: <br>
<math>\left(\{\ (\sqrt{1-y^2},y) : y \in (-1,1)\}\, (x,y) \rightarrow y \right) </math> <br>
כאשר האיבר הימני בזוג הוא הקבוצה שאותה הפונקציה ממפה – הצד הימני של המעגל, והאיבר השמאלי הוא הפונקציה, שהיא פשוט הטלה של הנקודה על ציר ה-Y. <br>
על ידי זיהוי <math>\mathbb{S}^1</math>, עם [[מעגל היחידה]] ב-<math>\mathbb{C}</math> ניתן לראות של-<math>\mathbb{S}^1</math> יש גם מבנה של חבורה, שנובע מהכפל במרוכבים.

===פונקציות חלקות על יריעות===
התכונה החשובה ביותר של היריעות החלקות היא היכולת להגדיר עליהן מושגים של [[נגזרת|גזירות]] ו-[[פונקציה חלקה|חלקות]] בלי תלות במערכת הקואורדינטות המקומית, מה שלא ייתכן ביריעה טופולוגית כללית. <br>
פונקציה <math>\ f:M\rightarrow \mathbb{R}</math> נקראת "פונקציה חלקה בנקודה p" אם קיימת מפה <math>\ (U, \varphi )</math> כך שהפונקציה <math>\ f \circ \varphi^{-1} : \mathbb{R}^n \rightarrow \mathbb{R}</math> [[פונקציה חלקה|חלקה]]. כמו במרחב האוקלידי גם על יריעות קבוצת הפונקציות החלקות בנקודה מהווה [[חוג (מבנה אלגברי)|חוג]]. אפשר לראות שכיוון שלכל זוג אינדקסים <math>\varphi_{\alpha}\circ\varphi_{\beta}^{-1}</math> היא פונקציה חלקה, אז גם כאשר על סביבה מסוימת מוגדרות מספר מפות, פונקציות שחלקות לפי מפה אחת יהיו חלקות גם לפי כל מפה אחרת (כי:
<math>\ f \circ \varphi_\beta^{-1} = \left( f \circ \varphi_\alpha^{-1} \right) \circ \left( \varphi_\alpha \circ \varphi_\beta^{-1} \right)</math>, כלומר זו [[הרכבת פונקציות]] חלקות שהיא תמיד פונקציה חלקה). מהבחינה הזו המושג של פונקציה חלקה היא אינווריאנטי ביחס לשינוי קואורדינטות.

לפי אותו רעיון פונקציה <math>\ F: M \rightarrow N</math> היא פונקציה חלקה בין היריעות M ו-N אם לכל שתי מפות <math>(U,\varphi ), (W, \psi )</math> הפונקציה <math>\psi \circ F \circ \varphi^{-1}</math> היא חלקה בתחום הגדרתה.

אם נתייחס לקטע הפתוח <math>\ (a,b) \sub \mathbb{R}</math> כאל יריעה (עם המבנה הטבעי כקבוצה פתוחה במרחב האוקלידי – שהוא יריעה חלקה) אז ה[[עקומה]] <math>\gamma : (a,b) \rightarrow M</math> היא ''עקומה חלקה'' (או מסילה חלקה) אם היא פונקציה חלקה בין היריעות (a,b) ו-M.

אחת התכונות החשובות של יריעות חלקות היא האפשרות לבנות פונקציות חלקות ששוות ל-1 על [[קבוצה סגורה]] נתונה ומתאפסות מחוץ לקבוצה פתוחה שמכילה אותה (bump function). פונקציות אנליטיות כאלו לא קיימות כלל על יריעות אנליטיות, ואפילו לא במרחב האוקלידי, כי אם פונקציה אנליטית מתאפסת על קטע מסוים – היא מתאפסת על כל הישר.

===המרחב המשיק===
{{הפניה לערך מורחב|המרחב המשיק}}
[[המרחב המשיק]] הוא [[מרחב וקטורי]] שנבנה על יריעה חלקה ומתפקד כ"[[קירוב ליניארי]]" של אותה יריעה באופן מקומי, במובן שהוא מתאר את הכיוונים השונים שבהם ניתן להתקדם על היריעה כווקטורים (שאותם ניתן לחבר ולהכפיל בסקלר). למושג כיוון אין מובן טבעי ביריעות אבל ל[[נגזרת כיוונית]] יש, ולכן מגדיר את הווקטורים במרחב המשיק כהכללה של ה[[נגזרת כיוונית|נגזרות הכיווניות]].<br>
לכל נקודה p, המרחב המשיק בנקודה שמסומן <math>T_p M</math>, הוא מרחב וקטורי שאיבריו הם [[פונקציונל]]ים שפועלים על הפונקציות החלקות כמו הנגזרת הכיוונית הרגילה כלומר הם [[טרנספורמציה ליניארית|ליניאריים]] ומקיימים את כלל הגזירה ("[[כלל לייבניץ]]"):
: <math>\ v(fg)=v(f)g(p)+f(p)v(g)</math> כאשר <math>\ f, g</math> הן פונקציות חלקות ו-<math>\ v</math> הוא וקטור במרחב המשיק. <br>
הווקטורים של המרחב המשיק נקראים וקטורים משיקים.

==יריעה אנליטית==
בדומה להגדרת היריעה החלקה – '''יריעה אנליטית''' היא יריעה טופולוגית שהמפות שלה מתנגשות באופן שמהווה [[פונקציה אנליטית]] כלומר לכל זוג מפות הפונקציה <math>\varphi \circ \psi^{-1}</math> היא פונקציה אנליטית. על יריעות כאלו ניתן להגדיר אלו פונקציות הן פונקציות אנליטיות באופן שאינו תלוי במערכת הקואורדינטות.

השוני העיקרי בין היריעות החלקות והאנליטיות נובע מאי-קיומה של [[חלוקת יחידה]] אנליטית באופן כללי, בעוד שחלוקת יחידה [[פונקציה חלקה|חלקה]] תמיד קיימת.

== דוגמאות ליריעות ==
* [[כדור (גאומטריה)|פני כדור]] (ספרה)
* [[רצועת מביוס]]
* [[בקבוק קליין]]

== ראו גם ==
* [[גאומטריה דיפרנציאלית]]
* [[דיפאומורפיזם]]
* [[קואורדינטות]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{בריטניקה}}
* {{MathWorld}}
{{טופולוגיה גאומטרית}}
{{בקרת זהויות}}

[[קטגוריה:טופולוגיה]]
[[קטגוריה:גאומטריה דיפרנציאלית]]