What is this Hilbert space? Is it the complex Hilbert space of wavefunctionals spanned by using the spinor-field configurations as the basis vectors?
I know that the wavefunctional space carries a representation of the commutator quantisation $$[\phi (x), \pi (y) ]=i\delta (x-y) .$$ But does the wavefunctional space carry a representation of the anti-commutator quantisation?
If the wavefunctional space isn't the right one, then we could also define this Hilbert space using a representation of $$\{ a_r(p_1), a_s^{\dagger} (p_2) \}=\delta ^r_s\delta (p_1-p_2).$$ The representation of this is well-known : four basis vectors $|0\rangle _r$ and $|1\rangle _r$ at each $p$, with $r=1, 2$
Is this all that's known about the Hilbert space of the quantised spinor field? Is there no analogue of the wavefunctional space here?
Also, are we working with some-sort of generalised Hilbert space which allows for Grassman number coefficients of the basis vectors?
If yes, why are we doing this? In elementary linear algbera, it is proved that complex numbers are sufficient to solve the eigenvalue problem of any operator. Then why are we generalising the notion of a complex Hilbert space? Is this not against a postulate of quantum mechanics?