Honors Advanced Calculus and Linear Algebra p7
Honors Advanced Calculus and Linear Algebra p7
Honors Advanced Calculus and Linear Algebra p7
1
v
d
) =
det(v
i
, v
j
)
d
i,j=1
for any v
1
, . . . , v
d
, v
1
, . . . , v
d
V .
ii) Now let V have dimension 4 and W =
2
V . Fix a generator of
4
V such
that , = 1. (We may take = e
1
e
2
e
3
e
4
where e
1
, . . . , e
4
is an
orthonormal basis for V .) We then have a bilinear pairing (, ) : W W R
dened by ww
= (w, w
= (w, w
) for all w, w
:= {w W : w = w} has dimension 3.
iii) For any v V , show that {v v
|v V } and {v
1
v
2
|v
i
V, v, v
i
= 0} are
isotropic subspaces of W of dimension 3, the maximum for an isotropic space
for a pairing on a 6-dimensional space. Show that any 3-dimensional isotropic
subspace is of one of these two forms, and that takes maximal isotropics of
one kind to the other.
iv) Recall that any linear transformation T of V induces a linear transformation
2
T of W [by (
2
T)(v v
) = (Tv) (Tv