נוסחת לייבניץ לדטרמיננטות – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
Matanyabot (שיחה | תרומות)
מ בוט החלפות: \1ליניארי
שורה 18:
:<math> F : M_n (\mathbb K) \rightarrow \mathbb K </math>
 
אשר הינה מתחלפת, מולטי-לינאריתליניארית ביחס לעמודות ושורות המטריצה, ומנורמלת כך ש-<math>F(I) = 1</math>.
 
'''הוכחה.'''
שורה 30:
:<math>A^j = \sum_{k = 1}^n a_k^j E^k</math>.
 
כיוון ש-<math>F</math> היא מולטי-לינאריתליניארית, מקבלים:
 
:<math>
שורה 54:
שכן <math>F(I)</math> מוגדרת כשווה ל-<math>1</math>.
 
לפיכך אף פונקציה אחרת חוץ מזו המוגדרת על ידי נוסחת לייבניץ יכולה להיות מולטי-לינאריתליניארית, מתחלפת ומנורמלת כך ש-<math>F\left(I\right)=1</math>.
 
'''קיום''': כעת נראה ש-F, כאשר F היא הפונקציה שמוגדרת של ידי נוסחת לייבניץ, היא בעלת שלוש תכונות.
 
מולטי-לינאריתליניארית:
:<math>
\begin{align}
שורה 107:
</math>
 
לפיכך הפונקציות המולטי-לינאריותליניאריות ומתחלפות היחידות עם <math>F(I)=1</math> מוגבלות לצורה הפונקציונלית המוגדרת על ידי נוסחת לייבניץ, שלמעשה מקיימת את שלושת התנאים הללו.
 
== ראו גם ==