גרמיאן

תבנית:להשלים באלגברה ליניארית, מטריצת הגרמיאן (או מטריצת גראם) של סדרת וקטורים $v_1,\dots ,v_n$ במרחב מכפלה פנימית היא המטריצה ההרמיטית שאיבריה הם כל המכפלות הפנימיות של שני וקטורים מתוך הסדרה, כלומר המטריצה אשר איבריה נתונים בנוסחה $G_{ij}=⟨v_i,v_j⟩$. הדטרמיננטה של מטריצת הגרמיאן שווה לריבוע הדטרמיננטה של המטריצה המקורית ממנה נבנתה, על כן יישום חשוב אחד שלה הוא בקביעה האם סדרת וקטורים תלויה ליניארית: אוסף של וקטורים הוא בלתי תלוי ליניארית אם ורק אם דטרמיננטת הגרמיאן שונה מאפס.

נקראת על שם יורגן פדרסן גרם.

הגדרה ויישומים

במרחב וקטורי ממשי בעל מספר ממדים סופי עם המכפלה הסקלרית האוקלידית הסטנדרטית, הגרמיאן היא פשוט $G=V^{\mathrm{T}}V$ (או $G=\stackrel{\mathrm{T}}{\bar{V}}V$ בעבור מרחבים וקטוריים מעל המרוכבים), כאשר $V$ היא המטריצה שעמודותיה הן הווקטורים $v_k$.

יישומים

• בגאומטריה רימנית, בהינתן יריעה משוכנת $k$-ממדית $M\subset {ℝ}^n$ ומערך קואורדינטות $\varphi :U\to {ℝ}^n$ בעבור $(x_1,\dots ,x_k)\in U\subset {ℝ}^k$, תבנית הנפח $\omega$ המושרית על $M$ על ידי השיכון ניתנת לחישוב באמצעות הגרמיאן של סדרת וקטורים המהווים בסיס למרחב המשיק ל-$M$:

$\omega =\sqrt{\det G}d{x}_1\cdots d{x}_k,G=\left[⟨\frac{\partial \varphi }{\partial x_i},\frac{\partial \varphi }{\partial x_j}⟩\right].$

נוסחה זאת מכלילה את הנוסחה הקלאסית לאינטגרל המשטחי של משטח פרמטרי $\varphi :U\to S\subset {ℝ}^3$ בעבור $(x,y)\in U\subset {ℝ}^2$:

$\underset{S}{\int }fdA=\underset{U}{\iint }f(\varphi (x,y))|\frac{\partial \varphi }{\partial x}\times \frac{\partial \varphi }{\partial y}|dxdy.$

שטח המשטח מתקבל מאינטגרל על פונקציה שערכה על המשטח קבוע על 1.

דטרמיננטת גרם

הדטרמיננטה של מטריצת הגרמיאן היא:

$G(x_1,\dots ,x_n)=\left|\begin{array}{cccc}⟨x_1,x_1⟩& ⟨x_1,x_2⟩& \dots & ⟨x_1,x_n⟩\\ ⟨x_2,x_1⟩& ⟨x_2,x_2⟩& \dots & ⟨x_2,x_n⟩\\ ⋮& ⋮& \ddots & ⋮\\ ⟨x_n,x_1⟩& ⟨x_n,x_2⟩& \dots & ⟨x_n,x_n⟩\end{array}\right|$

גאומטרית, דטרמיננטת הגרמיאן היא ריבוע הנפח של המקבילון היסודי הנוצר על ידי וקטורי העמודות של המטריצה. תוצאה זאת נובעת מתכונת הכפליות של הדטרמיננטה (הווה אומר, $\det (AB)=\det (A)\cdot \det (B)$) ומכך שלפי הגדרת הגרמיאן $G=V^{\mathrm{T}}V$ (שכן הדטרמיננטה של מטריצה שווה לזו של המטריצה המשוחלפת שלה).

ראו גם

• תהליך גרם-שמידט

קישורים חיצוניים

• תבנית:MathWorld