נוסחת לייבניץ לדטרמיננטות

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

אם A היא מטריצה מסדר n×n, אז אם נסמן ב-ai,j את האיבר בשורה ה-i ובעמודה ה-j, הנוסחה היא:

כאשר sgn היא פונקציית הסימן של התמורות בחבורת התמורות Sn, והיא מחזירה 1+ אם התמורה זוגית (כלומר אם היא מתקבלת מתמורת הזהות על ידי מספר זוגי של חילופים) ו-1- אם התמורה אי-זוגית. ויזואלית ניתן לדמות את הנוסחה כסכום מסומן של כל המכפלות האפשריות של n מאיברי המטריצה כאשר הם נבחרים כך שאין שניים באותה עמודה או שורה.

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

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

חישוב ישיר של הדטרמיננטה על פי נוסחת לייבניץ דורש באופן כללי  פעולות בשדה; זה מאוד לא יעיל בעבור מטריצות גדולות. בעזרת דירוג מטריצות ניתן להוריד זאת ל-(O(n3, זאת שכן הדטרמיננטה של מטריצה משולשית שווה למכפלת איברי האלכסון הראשי שלה, ואת הדטרמיננטה המקורית ניתן לשחזר באמצעות "זכירת" הפעולות האלמנטריות שביצענו עד כה אשר שינו את ערכה.

ניסוח פורמלי והוכחה 
משפט.
קיימת פונקציה יחידה

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

הוכחה.

יחידות: תהי  פונקציה כזאת, ותהי  מטריצה מסדר . נקרא ל- העמודה ה- של , כלומר , כך ש-.

בנוסף, תהי  העמודה ה- של מטריצת הזהות.

כעת נרשום את כל אחת מהעמודות  במונחי העמודות , כלומר

.

כיוון ש- היא מולטי-ליניארית, מקבלים:

כיוון ש-F מתחלפת, כל איבר עם אינדקסים חוזרים הוא 0. הסכום לפיכך מוגבל ל-n-יות עם אינדקסים לא חוזרים, או במילים אחרות תמורות:

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

שכן  מוגדרת כשווה ל-.

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

קיום: כעת נראה ש-F, כאשר F היא הפונקציה שמוגדרת של ידי נוסחת לייבניץ, היא בעלת שלוש תכונות.

מולטי-ליניארית:

מתחלפת:

לכל  תהי  ה-n-יה השווה ל- עם האינדקסים  ו- מוחלפים.

לכן אם  אז .

לסיום, נקבל :

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

ראו גם 
 דטרמיננטה
 כלל קרמר

דטרמיננטות