תבנית דיפרנציאלית

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

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

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

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

נאמר שפונקציה היא חילופית, אם לכל ולכל מתקיים .

נאמר ש- היא פונקציה מולטילינארית, אם לכל ולכל מתקיים .

נסמן את מרחב הפונקציות ה-k מולטילינאריות ומתחלפות ב-. קבוצה זו היא מרחב וקטורי מעל הממשיים.

אם כן, תבנית k-דיפרנציאלית ב- בעלת התחום היא פונקציה .

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

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

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

(כאשר det היא הדטרמיננטה), שתקרא ההטלה לפי האינדקסים ב-. נהוג גם לסמן תבנית זו על ידי , כאשר מכונה "wedge product" (ראו "פעולות על תבניות" בהמשך).

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

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

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

  • במקרה k=n=1, תבנית -1 כללית היא מהצורה , כאשר f פונקציה ממשית.
  • תבנית-1 כללית ב היא מהצורה , כאשר פונקציות ממשיות.
  • תבנית-2 כללית ב היא מהצורה , כאשר P,Q,R פונקציות ממשיות.

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

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

למשל, ב- מתקיים .

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

.

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

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

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

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

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

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