grandes-ecoles 2010 QII.A.2

grandes-ecoles · France · centrale-maths2__mp Proof Direct Proof of a Stated Identity or Equality
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.
Let $F$ and $G$ be two vector subspaces of $E$.
a) Show that $(F+G)^\perp = F^\perp \cap G^\perp$.
b) Show that $(F \cap G)^\perp = F^\perp + G^\perp$.
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.

Let $F$ and $G$ be two vector subspaces of $E$.

a) Show that $(F+G)^\perp = F^\perp \cap G^\perp$.

b) Show that $(F \cap G)^\perp = F^\perp + G^\perp$.