שינויים
/* תזכורת לגבי מרחבי מכפלה פנימית והיטלים */
===תזכורת לגבי מרחבי מכפלה פנימית והיטלים===
*E הוא המרחב הוקטורי של כל הפונקציות הרציפות למקוטעין <math>f:[-\pi,\pi]\to\mathbb{C}</math> מעל השדה <math>\mathbb{C}</math>.
**פונקציה רציפה למקוטעין היא פונקציה רציפה פרט למספר סופי של נקודות אי רציפות סליקות או קפיצתיות (מין ראשון).
*<math>\langle f,g\rangle=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\overline{g(x)}dx</math> היא מכפלה פנימית מעל E.
*נביט בנורמה המושרית <math>||f||^2=\langle f,f\rangle</math>
*תהי קבוצה אורתונורמלית סופית <math>\{e_1,...,e_n\}</math> הפורשת את המרחב W.
*לכל וקטור <math>v\in V</math> נגדיר את ההיטל של <math>v</math> על W על ידי <math>\widetilde{v}=\sum_{i=1}^n\langle v,e_i\rangle e_i</math>
*מתקיים כי <math>\langle v,\widetilde{v}\rangle = \langle \widetilde{v},\widetilde{v}\rangle</math>
**הוכחה
*מתקיים כי <math>(v-\widetilde{v})\perp \widetilde{v}</math>
**הוכחה
*מתקיים כי <math>||v||^2=||v-\widetilde{v}||^2+||\widetilde{v}||^2</math>
**הוכחה
*מסקנה חשובה: <math>||\widetilde{v}||\leq ||v||</math>
===למת רימן לבג===
