כלל המקבילית
כלל המקבילית הוא משפט בגאומטריה אוקלידית, הקובע כי סכום ריבועי ארבע צלעות המקבילית שווה לסכום ריבועי האלכסונים. במקרה שהמקבילית היא מלבן, האלכסונים שווים ומתקבל משפט פיתגורס. כלל המקבילית חל בכל מרחב מכפלה פנימית, ואף מאפיין את מרחבי המכפלה הפנימית בין כל המרחבים הנורמיים.
ניסוח וקטורי של כלל המקבילית
במישור האוקלידי, בהינתן שני וקטורים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a,b\ne0} ניתן ליצור מקבילית שקודקודיה הם 0, ונקודות הקצה של הווקטורים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a,b,a+b} (ראו איור משמאל). אלכסוניהּ של המקבילית הם הווקטורים . כלל המקבילית קובע כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2\left(|a|^2+|b|^2\right)=|a+b|^2+|a-b|^2} .
הכללה למרחבי מכפלה פנימית
בכל מרחב מכפלה פנימית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} , לכל זוג וקטורים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z,z'} מתקיים השוויון:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \|z+z'\|^2+\|z-z'\|^2=2\left(\|z\|^2+\|z'\|^2\right)}
כאשר
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \|x\|^2=\langle x,x\rangle}
הכלל נובע מכך שהמכפלה הפנימית היא בילינארית.
כלל המקבילית ומרחבים נורמים
כלל המקבילית מנוסח במונחי הנורמה המושרית במרחב מכפלה פנימית, ולכן אפשר לתהות באלו מרחבים נורמים הוא חל. מתברר שאם מרחב נורמי מקיים את כלל המקבילית, אז הנורמה שלו מושרית על ידי מכפלה פנימית.
להלן דוגמה למרחב נורמי שאינו מקיים את כלל המקבילית (ולכן אינו יכול להיות מושרה על ידי מכפלה פנימית). נסמן ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L^\infty(0,1)} את מרחב הפונקציות הממשיות החסומות על הקטע הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [0,1]} , עם הנורמת הסופרמום, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \|f\|=\sup_{x\in[0,1]}|f(x)|} . בדרך זו הופך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L^\infty(0,1)} למרחב נורמי, ואף למרחב בנך. לפונקציות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)=x,g(x)=1-x} יש נורמה 1, ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2\left(\|f\|^2+\|g\|^2\right)=2(1^2+1^2)=4} , בעוד ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \|f+g\|^2+\|f-g\|^2=1^2+1^2=2} . כלל המקבילית אינו מתקיים, ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L^\infty(0,1)} אינו מרחב מכפלה פנימית.
כלל המקבילית במרחבים מטריים כלליים
במרחב מטרי אין משמעות לחיבור או חיסור של נקודות, ובכל זאת אפשר לשמר גרסה מסוימת של כלל המקבילית. כדי לעשות זאת כראוי, נבחין שאת כלל המקבילית במרחב נורמי אפשר לנסח גם כך:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 4\left\|\frac{z+z'}{2}\right\|^2+\|z-z'\|^2 =2\left(\|z\|^2+\|z'\|^2\right)}
כלומר, אם היא נקודת האפס ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} היא נקודת האמצע בין הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z} ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 'z} , אז
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(z,z')^2+4d(o,x)^2= 2d(o,z)^2+2d(o,z')^2}
כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} היא פונקציית המרחק המושרית על ידי הנורמה, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(x,y)=\|x-y\|} . מסיבה זו, אומרים שמרחב מטרי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (X,d)} מקיים את כלל המקבילית-למחצה אם לכל שתי נקודות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z,z'\in X} קיימת נקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} , כך שלכל נקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle o} מתקיים
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(z,z')^2+4d(o,x)^2\le2d(o,z)^2+2d(o,z')^2}
במקרה זה, לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z,z'} הנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} היא נקודת האמצע (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(z,x)=d(x,z')} ) היחידה בין הנקודות . מרחב מטרי שלם המקיים את כלל המקבילית-למחצה נקרא מרחב ברוה-טיץ. התכונה היסודית של מרחבים כאלה היא שכל קבוצה חסומה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} מוכלת בכדור יחיד בעל רדיוס מינימלי; מרכז הכדור הזה הוא "מרכז המעגל החוסם" של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} . מכאן נובע משפט נקודת השבת של ברוה-טיץ: אם לחבורת איזומטריות של מרחב ברוה-טיץ יש מסלול חסום, אז יש לה נקודת שבת. כלל_המקבילית20291295Q919125
