A half-space is a set of the form $\{x \mid a^Tx \leq b\}$. Also it is stated that the set $$\{X \in S^n \mid z^T X z \geq 0 \}$$ where $S^n$ denote the set of symmetric $n\times n$ matrices, is a half space$^1$,
- Can we expand it algebraically to prove it?
- Is is possible to make a graphical intuitive example, e.g in matlab, as the one that can easily be made for $\{x \mid a^Tx \leq b\}$?
Thanks!!
$^{1}$Convex Optimization by Boyd & Vandenberghe, pp.36
$z^\top X z = (z \otimes z)^\top vec(X)$.
Now, $(z \otimes z)$ is a vector.