Für Linearität in der 1. Komponente wäre ja zu zeigen
mit MatrizenA,B,C aus V gilt: phi(A+B,C) = phi(A,C)+phi(B,C)
setze A= a c B= u w C=x z
c' b w' v z' y
dann ist phi(A+B,C) = det(A+B+C) - det (A+B) - det(C)
und nach einiger Rechnerei
= u*y+v*x-z'*w+b*x+a*y-(c'+w')*z -c*z'
und das gleiche kommt raus bei
det(A+C) - det (A) - det(C) + det(B+C) - det (B) - det(C)
= phi(A,C) + phi(B,C)
Jetzt wäre noch für t aus IR zu prüfen
phi(k*A,C) = t*phi(A,C)
und auch das stimmt, denn bei der linken Seite gibt es
t*b*x+t*a*y-t*c'*z-t*c*z' und da kannst du das t ausklammern und
in der Klammer hast du phi(A,C).
Und die Linearität in der 2. Komponente klappt genauso.
Und als Basis wählt man vielleicht
1 0 0 1 0 i 0 0
0 0 1 0 -i0 0 1 und die heißen A,B,C,D
Dann musst du ja alle möglichen Werte der Bilinearform für die Kombinationen
der Basiselemente ausrechnen, etwa für die 1. Spalte der Gram-Matrix
phi(A,A) = 0
phi(A,B)= 0
phi(A,C)=0
phi(A,D)=1
und die zweite Spalte:
phi(B,A) = 0
phi(B,B)= -2
phi(B,C)=0
phi(B,D)=0
etc.