If $A$ is a subset of $E$, we denote $A^{\perp\varphi} = \{ x \in E \mid \forall a \in A,\ \varphi(x,a) = 0 \}$. Show that $A^{\perp\varphi}$ is a vector subspace of $E$.
If $A$ is a subset of $E$, we denote $A^{\perp\varphi} = \{ x \in E \mid \forall a \in A,\ \varphi(x,a) = 0 \}$. Show that $A^{\perp\varphi}$ is a vector subspace of $E$.