דיפאומורפיזם – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: zh:微分同胚 |
מ ז |
||
שורה 1:
ב[[גאומטריה דיפרנציאלית]], '''דיפאומורפיזם''' הוא אמצעי לזהות שני מבנים דיפרנציאליים כזהים עד כדי שם. זהו [[איזומורפיזם (מתמטיקה)|איזומורפיזם]] של מבנים עם שימור אינווריאנטים דיפרנציאליים.
בדומה ל[[איזומורפיזם (מתמטיקה)|איזומורפיזם]] ול[[הומאומורפיזם]] הזיהוי נעשה באמצעות [[פונקציה]] [[חד חד ערכית]] ו[[פונקציה על|על]] מ[[יריעה חלקה]] M ליריעה חלקה N. נאמר שפונקציה כזו היא '''דיפאומורפיזם''' אם היא [[יריעה חלקה#פונקציות חלקות על יריעות|חלקה]], והפונקציה ההפוכה לה גם כן חלקה. הגדרה זו דומה להגדרת ה[[הומאומורפיזם]] ששם פונקציה בין מרחבים טופולוגיים היא הומאומורפיזם אם היא רציפה, וגם הפונקציה ההפוכה לה רציפה.
בצורה דומה למושגים הקשורים, נאמר ששתי יריעות הן '''דיפאומורפיות''' אם קיימת פונקציה שהיא דיפאומורפיזם ביניהן. יחס זה מהווה [[יחס שקילות]] על מחלקת כל היריעות הדיפרנציאליות.
לדוגמה הקטע (0,1) והקרן <math>\ (1, \infty )</math> דיפאומורפיות על ידי הדיפאומורפיזם <math>\ x \rightarrow \frac{1}{x}</math>.
שורה 10 ⟵ 11:
פונקציה F נקראת '''דיפאומורפיזם מקומי''' בסביבה של נקודה p, אם קיימת [[סביבה (טופולוגיה)|סביבה]] פתוחה <math>\ p \in U</math>, כך ש- F היא דיפאומורפיזם בין U ו- (F(U. לפי [[משפט הפונקציות ההפוכות]] אם F פונקציה חלקה כך שהנגזרת של F בנקודה p הפיכה, אז F היא דיפאומורפיזם מקומי בנקודה p.
כל דיפאומורפיזם הוא גם הומאומורפיזם (כאשר מסתכלים על היריעות כמרחבים טופולוגיים), כי כל פונקציה חלקה היא בפרט רציפה, אבל לא
{{קצרמר|מתמטיקה}}
| |||