כלל המקבילית

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

ניסוח וקטורי של כלל המקבילית

במישור האוקלידי, בהינתן שני וקטורים  ניתן ליצור מקבילית שקודקודיה הם 0, ונקודות הקצה של הווקטורים a,b,a+b (ראו איור משמאל). אלכסוניה של המקבילית הם הווקטורים  ו-. כלל המקבילית קובע ש-.

הכללה למרחבי מכפלה פנימית

בכל מרחב מכפלה פנימית , לכל זוג וקטורים  ו- מתקיים השוויון:

כאשר 
.
הכלל נובע מכך שהמכפלה הפנימית היא ביליניארית.

כלל המקבילית ומרחבים נורמים

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

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

כלל המקבילית במרחבים מטריים כלליים 

במרחב מטרי אין משמעות לחיבור או חיסור של נקודות, ובכל זאת אפשר לשמר גרסה מסוימת של כלל המקבילית. כדי לעשות זאת כראוי, נבחין שאת כלל המקבילית במרחב נורמי אפשר לנסח גם כך: . כלומר, אם o היא נקודת האפס ו-x היא נקודת האמצע בין z ל-'z, אז , כאשר d היא פונקציית המרחק המושרית על ידי הנורמה, . מסיבה זו, אומרים שמרחב מטרי (X,d) מקיים את כלל המקבילית-למחצה אם לכל שתי נקודות  קיימת נקודה x, כך שלכל נקודה o מתקיים . במקרה זה, לכל  הנקודה x היא נקודת האמצע () היחידה בין הנקודות . מרחב מטרי שלם המקיים את כלל המקבילית-למחצה נקרא מרחב ברוה-טיץ. התכונה היסודית של מרחבים כאלה היא שכל קבוצה חסומה S מוכלת בכדור יחיד בעל רדיוס מינימלי; מרכז הכדור הזה הוא "מרכז המעגל החוסם" של S. מכאן נובע משפט נקודת השבת של ברוה-טיץ: אם לחבורת איזומטריות של מרחב ברוה-טיץ יש מסלול חסום, אז יש לה נקודת שבת.

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

 

מקבילית
מקבילית
מקבילית
מקבילית