| |
| | Symplectic spaces |
 | | Recall that ``alternating'' means that (v,v)=0 for all v in V, from which it follows that (v,w) = -(w,v) for all v,w in V; and ``nondegenerate'' means that the only vector v such that (v,w=0) for all v in V is the zero vector. |
 | | The first claim is clear: any nondegenerate pairing identifies V with its dual; under this identification, W is just the annihilator of H; and we know that the dimensions of a space and its annihilator add up to dim(V). |
 | | The second claim is a consequence of the fact that the pairing on H is nondegenerate. |
| www.math.harvard.edu /~elkies/M55a.99/pfaff.html (1202 words) |
|