כלל המקבילית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
הגהה, תיקון חוסר עקביות בסוגריים [ ] ו ( ).
מ שוחזר מעריכות של 192.114.2.36 (שיחה) לעריכה האחרונה של דוד שי
שורה 19:
כלל המקבילית מנוסח במונחי [[הנורמה המושרית]] במרחב מכפלה פנימית, ולכן אפשר לתהות באלו [[מרחב נורמי|מרחבים נורמים]] הוא חל. מתברר שאם מרחב נורמי מקיים את כלל המקבילית, אז הנורמה שלו מושרית על ידי מכפלה פנימית.
 
להלן דוגמה למרחב נורמי שאינו מקיים את כלל המקבילית (ולכן אינו יכול להיות מושרה על ידי מכפלה פנימית). נסמן ב-<math>\ L^{\infty}(0,1)</math> את [[מרחב וקטורי|מרחב]] ה[[פונקציה ממשית|פונקציות הממשיות]] החסומות על ה[[קטע (מתמטיקה)|קטע]] ([0,1)], עם ה[[נורמה (אנליזה)|נורמת הסופרמום]], <math>\,||f|| = \sup_{x\in ([0,1)]}|f(x)|</math>. בדרך זו הופך <math>\ L^{\infty}(0,1)</math> ל[[מרחב נורמי]], ואף ל[[מרחב בנך]]. לפונקציות <math>f(x) = x</math> ו-<math>g(x) = 1-x</math> יש נורמה 1, ולכן <math>\,2(||f||^2+||g||^2) =2(1^2+1^2) =4</math>, בעוד ש-<math>\,||f+g||^2 + ||f-g||^2 = 1^2 + 1^2 = 2</math>. כלל המקבילית אינו מתקיים, ולכן <math>\ L^{\infty}(0,1)</math> אינו מרחב מכפלה פנימית.
 
== כלל המקבילית במרחבים מטריים כלליים ==