1
$\begingroup$

Given a bilinear map $B:X\times Y\to F$ where $X,Y$ are vector spaces and given $S\leq X$, why is $\dim S+\dim \operatorname{ann}(S)=\dim Y$ where $\operatorname{ann}(S)$ is the annihilator of $S$ viz. $\operatorname{ann}(S)=\{y\in Y|B(S,y)=0\}$? N.B. $B$ is may or may not be degenerate.

Added in repsonse to Jan's comment: Perhaps a more accurate statement would be $\dim S+\dim \operatorname{ann}(S)\geq\dim Y$? Is this right? How might I prove this?

Thanks.

  • 0
    @Srivatsan: $N$ope, I don't know him :-)2011-11-29

1 Answers 1

1

For B degenerate this is wrong, for B nondegenerate the bilinear form gives you an isomorphism $Y \cong X^*$. This means for each basis $(x_i)$ of $X$ you find a dual basis $(y_j)$ of $Y$ such that $B(x_i,y_j)=\delta_ij$. Now do this with a basis of $X$ which contains a basis of $S$.

  • 0
    Tha$n$ks, Jan. I have added bi$t$s to my question. Perhaps changing the sign makes it right?2011-11-29