===משפט הפירוק הניצב===
יהי V מרחב מכפלה פנימית, ויהי <math>U\subseteq V</math> תת מרחב הוכיחו כי <math>U\oplus U^\perp = V</math>
===0===
יהי V מרחב מכפלה פנימית, ותהי <math>S\subseteq V</math>. '''הוכח/הפרך:''' <math>(S^\perp)^\perp=S</math>
===1===
