Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Definition of scalar product: if $g:V \times V\to\Bbb{R}$ is nondegenerate symmetric bilinear form, $g$ is a scalar product on $V$ vector space.
Here is my question If $g$ scalar product is indefinite there is always a degenerate subspace of $V$.

How can I prove this? How do I have to start with?

share|cite|improve this question

Since $g$ is indefinite, there exists a non-zero $x$ such that $g(x,x)=0$. Consider the subspace generated by $x$.

share|cite|improve this answer

Put $M = \{x\in V| g(x,x) = 0\}.$ Since $x\mapsto g(x,x)$ is a seminorm on $V$, $M$ is a subspace of $V$. You can use $g$ to define an inner product on $V/M$.

share|cite|improve this answer
I don't understand this. $M$ does not have to be a subspace, e.g., if we have a basis $\{e,f\}$ with $g(e,e) = 1, g(f,f) = -1, g(e,f)=g(f,e) = 0$ then $e+f$ and $e-f$ are in $M$ but their sum is not. – Ted Jan 5 '13 at 23:34
Are you allowing degneracy or calling off positive-semidefinitness altogether? – ncmathsadist Jan 6 '13 at 0:54
The OP assumes $g$ is indefinite. The scalar product I defined is indefinite and non-degenerate. – Ted Jan 6 '13 at 1:14
My answer only applies if the form is nonnegative definite. Otherwise, I don't think the zero-set of $x\mapsto g(x,x)$ will be a subspace. – ncmathsadist Jan 6 '13 at 1:17

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.