קוד:הגדרת המרחב הניצב

\begin{definition}

יהי $V$ מרחב מכפלה פנימית, $\emptyset\neq S\subseteq V$ קבוצה כלשהי. נגדיר $S^\perp=\left \{ v\in V\mid\forall u\in S: \left \langle v,u \right \rangle=0 \right \}$. $S^\perp$ נקרא \textbf{המרחב הניצב ל-$S$}.

\end{definition}

זוהי בעצם קבוצת כל הווקטורים המאונכים לכל $S$.