קוד:הגדרת המאפס

\begin{definition}

יהי $V$ מרחב וקטורי, ותהי $S\subseteq V$ תת-קבוצה. נגדיר $$S^0=\left \{ \varphi\in V^*\mid \forall v\in S:\varphi\left(v \right )=0 \right \}$$ כלומר, זה אוסף כל הפונקציונלים הלינאריים המתאפסים על כל $S$. אזי $S^0$ נקרא \textbf{המאפס של $S$}.

\end{definition}