28.08.2013 Views

Linear Algebra II (pdf, 500 kB)

Linear Algebra II (pdf, 500 kB)

Linear Algebra II (pdf, 500 kB)

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

24<br />

in a similar way as in Examples 7.2, and again they are pairwise inequivalent.<br />

Taking f(x) = x n , we have<br />

f1 = 1<br />

n + 1 , f2 =<br />

8. Bilinear Forms<br />

1<br />

√ 2n + 1 , f∞ = 1 .<br />

We have already seen multilinear maps when we were discussing the determinant<br />

in <strong>Linear</strong> <strong>Algebra</strong> I. Let us remind ourselves of the definition in the special case<br />

when we have two arguments.<br />

8.1. Definition. Let V1, V2 and W be F -vector spaces. A map φ : V1 × V2 → W<br />

is bilinear if it is linear in both arguments, i.e.<br />

∀λ, λ ′ ∈ F, x, x ′ ∈ V1, y ∈ V2 : φ(λx + λ ′ x ′ , y) = λφ(x, y) + λ ′ φ(x ′ , y) and<br />

∀λ, λ ′ ∈ F, x ∈ V1, y, y ′ ∈ V2 : φ(x, λy + λ ′ y ′ ) = λφ(x, y) + λ ′ φ(x, y ′ ) .<br />

When W = F is the field of scalars, φ is called a bilinear form.<br />

If V1 = V2 = V and W = F , then φ is a bilinear form on V. It is symmetric if<br />

φ(x, y) = φ(y, x) for all x, y ∈ V , and alternating if φ(x, x) = 0 for all x ∈ V . The<br />

latter property implies that φ is skew-symmetric, i.e. φ(x, y) = −φ(y, x) for all<br />

x, y ∈ V. To see this, consider<br />

0 = φ(x + y, x + y) = φ(x, x) + φ(x, y) + φ(y, x) + φ(y, y) = φ(x, y) + φ(y, x) .<br />

The converse holds if char(F ) = 2, since (taking x = y)<br />

0 = φ(x, x) + φ(x, x) = 2φ(x, x) .<br />

We denote by Bil(V, W ) the set of all bilinear forms on V × W , and by Bil(V ) the<br />

set of all bilinear forms on V. These sets are F -vector spaces in the usual way, by<br />

defining addition and scalar multiplication point-wise.<br />

8.2. Examples. The standard ‘dot product’ on R n is a symmetric bilinear form<br />

on R n .<br />

The map that sends ( a b ) , ( c d ) ∈ R2 × R2 a c<br />

to | b d | = ad − bc is an alternating<br />

bilinear form on R2 .<br />

The map (A, B) ↦→ Tr(A ⊤ B) is a symmetric bilinear form on Mat(m × n, F ).<br />

If K : [0, 1] 2 → R is continuous, then the following defines a bilinear form on the<br />

space of continuous real-valued functions on [0, 1]:<br />

1<br />

(f, g) ↦−→<br />

0<br />

0<br />

1<br />

K(x, y)f(x)g(y) dx dy .<br />

Evaluation defines a bilinear form on V × V ∗ : (v, φ) ↦−→ φ(v).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!