ד. לכל קבוצה <math>S\subseteq V</math> מתקיים <math>\Big(span(S)\Big)^\perp = S^\perp</math>
'''פתרון:'''
א.
<math>\{0\}^\perp = \{v\in V|<v,0>=0\}=V</math>
ב.
<math>V^\perp = \{w\in V|\forall v\in V:<w,v>=0\}</math>
אם כך, נניח <math>w\in V^\perp</math>, כיוון <math>w\in V</math> מתקיים ביחד <math><w,w>=0</math> ולפי אי שליליות <math>w=0</math>
לכן סה"כ <math>V^\perp=\{0\}</math>
===2===