4
$\begingroup$

Let $ V $ be a vector space of finite dimension on $\mathbb{C} $ and $ \dim(V) \gt 1 $. Show that for every quadratic form $ q : V \to \mathbb{C} $ there exists $ 0 \neq v \in V $ such that $ q(v) = 0 $.

It certainly has something to do with the fact that we are in $\mathbb{C} $ and not $ \mathbb{R} $, but I'm since $ q $ can be represented by any non-singular complex matrix, I don't know how this is even possible.

(edit: V is of finite dimension)

  • 0
    Is the vector space of finite dimension?2011-11-13
  • 0
    If the vector space is finite dimensional, then this statement can certainly not be true.2011-11-13
  • 0
    Are you sure it's not true? This question appeared in a test as is. Can you prove why it's not true?2011-11-13
  • 0
    This can happen even in $\mathbb{R}$ but not to all quadratic forms e.g. $$\pmatrix{1\\0}^T\pmatrix{0&1\\1&0}\pmatrix{1\\0} = 0$$. Note that the matrix is invertible.2011-11-13
  • 0
    @dan Any positive-definite matrix defines a quadratic form, which in turn defines a norm and there is not chance that a nonzero vector is mapped to zero.2011-11-13
  • 0
    It works even when $V$ is infinite dimensional.2011-11-13
  • 0
    @dan: sorry about misleading you. Patrick is right.2011-11-13

1 Answers 1

3

Consider the case $n=2$. Thus we have $$ q(\begin{bmatrix} c_1 & c_2 \\ \end{bmatrix}) = \begin{bmatrix} c_1 & c_2 \\ \end{bmatrix} \begin{bmatrix} q_{11} & q_{12} \\ q_{21} & q_{22} \\ \end{bmatrix} \begin{bmatrix} c_1 \\ c_2 \\ \end{bmatrix} = q_{11} c_1^2 + (q_{12} + q_{21}) c_1 c_2 + q_{22}c_2^2 $$ For every value of $c_2$, we can consider the polynomial in one variable $q_{c_2}(c_1) = q(\begin{bmatrix} c_1 & c_2 \\ \end{bmatrix})$. Since $\mathbb C$ is algebraically closed, this polynomial always has two roots. Thus we have a solution by letting $c_2 \neq 0$.

If $n > 2$, note that $q( \begin{bmatrix} c_1 & c_2 & 0 & \dots & 0 \end{bmatrix} )$ has a non-zero solution since it is a quadratic form in two variables.

If $V $ has infinite dimension, it suffices to take a $2$-dimensional subspace of $V$ and apply the case $n=2$.

Note that this result holds whatever is the matrix that represents $q$, i.e. in the finite dimension case, you could consider singular matrices as well.

Hope that helps,

  • 0
    Edited to reflect that it's an Hermitian form. The original question also called it quadratic form, so I guess from there the confusion ensued...2011-11-13
  • 0
    @dan: actually you have to switch back to "quadratic". In my answer i showed it's not true for Hermitian. But as Patrick shows, it is true for "quadratic".2011-11-13
  • 0
    @dan : You edited what? What is Hermitian? Your comment just makes me more and more confused.2011-11-13
  • 0
    @Patrick: In your comment to my answer that i deleted, maybe if instead of saying that "Hermitian forms are Hermitian forms and Quadratic forms are Quadratic forms" you actually said something more useful, then you would avoid getting confused yourself as well.2011-11-13
  • 0
    You seem to react as if I insulted you... I am confused about dan's comment because he's saying something is an Hermitian form and nothing is Hermitian around here. I did say something useful because I pointed out exactly where your misunderstanding of the question was, so don't take things personally in a community where we're just all trying to help out. Pointing out that someone else is wrong is only insulting when it is done with bad intentions.2011-11-13
  • 0
    @Patrick: i don't feel insulted at all. Indeed you pointed correctly at where i was confused. The thing is that statements like the one you made do not add in one's understanding. No hard feelings from my part.2011-11-13
  • 0
    @Manos : Fine then, we're good!2011-11-13