grandes-ecoles 2010 QII.C.3

grandes-ecoles · France · centrale-maths2__mp Proof Proof of Set Membership, Containment, or Structural Property
For the rest of this problem, we assume that $\varphi$ is a non-degenerate symmetric bilinear form on $E$, and we denote by $q$ its quadratic form.
Show that $\bar{F} = G \oplus P_1 \oplus \ldots \oplus P_s$ is non-singular. We will say that $\bar{F}$ is a non-singular completion of $F$.
For the rest of this problem, we assume that $\varphi$ is a non-degenerate symmetric bilinear form on $E$, and we denote by $q$ its quadratic form.

Show that $\bar{F} = G \oplus P_1 \oplus \ldots \oplus P_s$ is non-singular. We will say that $\bar{F}$ is a non-singular completion of $F$.