You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ψ V p = n<br />
<br />
ψ(u, v) = −ψ(v, u) <br />
u, v ∈ V ψ(u, u) = 0 u ∈ V A = [ψ]B B V <br />
A T = −A A <br />
A <br />
<br />
A = 1<br />
2 (A + AT ) + 1<br />
2 (A − AT )<br />
ψ V <br />
v1, w1, . . . , vm, wm, v2m+1, . . . , vn ψ <br />
<br />
⎛<br />
0 1<br />
⎞<br />
0<br />
⎜<br />
⎜−1<br />
⎜<br />
⎝<br />
0<br />
0<br />
−1<br />
1<br />
0<br />
0<br />
⎟ .<br />
⎟<br />
⎠<br />
0 0<br />
<br />
dim V = n ψ = 0 <br />
v1, w1 ψ(v1, w1) = 1 ψ(w1, v1) = −1 U = 〈v1, w1〉<br />
W = {v ∈ V : ψ(v1, v) = 0 = ψ(w1, v)} V = U ⊕ W v = (av1 + bw1) +<br />
(v − av1 − bw1) a = ψ(v, w1), b = (ψ(v1, v) v − av1 − bw1 ∈ W <br />
U ∩ W = {0} av1 + bw1 ∈ W ψ(av1 + bw1, av1 − bw1) = a 2 + b 2 <br />
W <br />
ψ n = 2m<br />
B v1, . . . , vm, w1, . . . , wm, v2m+1, . . . , vn <br />
⎛<br />
0<br />
⎝−Im<br />
Im<br />
0<br />
⎞<br />
0<br />
0⎠<br />
.<br />
0 0 0<br />
U × V U, V<br />
F ψ : U × V → F <br />
<br />
U = V ∗ ψ : V ∗ × V → F, (α, v) ↦→ α(v)<br />
F = C ¯ V V V <br />
· λ · v = ¯ λv <br />
¯V × V