 |
יריעה חלקה
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
יריעה חלקה
יריעה חלקה (או יריעה דיפרנציאלית) היא יריעה טופולוגית שבה המפות מתנגשות באופן חלק, כלומר אם 
ו- 
הן מפות אז הפונקציה 
היא פונקציה חלקה מהמרחב האוקלידי אל עצמו. האטלס של היריעה החלקה (שהוא אוסף המפות) נקרא אטלס דיפרנציאלי. שני אטלסים נקראים שקולים אם האיחוד שלהם יוצר שוב אטלס דיפרנציאלי, כלומר המבנים שמוגדרים על ידי כל אחד מהאטלסים לא "מתנגשים" אחד בשני. (אפשר לראות בקלות שזהו באמת יחס שקילות על קבוצת כל האטלסים.)
היריעה החלקה היא מבנה חשוב באנליזה שמאפשר הכללות של משפטים בסיסיים (כמו משפט הפונקציות הסתומות, משפט הקיום והיחידות במשוואות דיפרנציאליות רגילות וכו') מהמרחב האוקלידי.
עצמים מתמטיים רבים בנויים כיריעה דיפרנציאלית עם תוספת מבנה לדוגמה אם נוסיף ליריעה דיפרנציאלית מבנה של חבורה (כך שפעולות הכפל וההופכי הן חלקות) נקבל חבורת לי, אם נבנה על היריעה מטריקה חלקה - נקבל יריעה רימנית וכן הלאה.
היריעה החלקה היא מבנה חשוב באנליזה שמאפשר הכללות של משפטים בסיסיים (כמו משפט הפונקציות הסתומות, משפט הקיום והיחידות במשוואות דיפרנציאליות רגילות וכו') מהמרחב האוקלידי.
עצמים מתמטיים רבים בנויים כיריעה דיפרנציאלית עם תוספת מבנה לדוגמה אם נוסיף ליריעה דיפרנציאלית מבנה של חבורה (כך שפעולות הכפל וההופכי הן חלקות) נקבל חבורת לי, אם נבנה על היריעה מטריקה חלקה - נקבל יריעה רימנית וכן הלאה.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
