Sean V un espacio unitario de dimensión finita y f una forma sesquilineal

en V .

Ivon Dorado Álgebra multilineal y formas canónicas

Sean V un espacio unitario de dimensión finita y f una forma sesquilineal
en V .

f (a, b) = f (b, a) para todos a, b ∈ V.

f (a, a) > 0 para todo a ∈ V , a 6= 0.

f (a, b) = −f (b, a) para todos a, b ∈ V.

f (a, b) = −f (b, a) para todos a, b ∈ V.

f (a, a) ≥ 0 para todo a ∈ V.

f (a, b) = f (b, a) para todos a, b ∈ V.

Ivon Dorado Álgebra multilineal y formas canónicas

Formas equivalentes y congruentes
Sea f una forma bilineal en un K-espacio V
f : V × V −→ K

Ivon Dorado Álgebra multilineal y formas canónicas

En un espacio con producto interno definimos
ortogonalidad,
norma,
proyección,
identidades de polarización.

¿Qué pasa cuando trabajamos en un K-espacio V y consideramos

f , una forma bilineal?

Ivon Dorado Álgebra multilineal y formas canónicas

  
1 1
.
−1 1

Ivon Dorado Álgebra multilineal y formas canónicas

En un espacio con producto interno definimos
ortogonalidad,
norma,
proyección,
identidades de polarización.

¿Qué pasa cuando trabajamos en un K-espacio V y consideramos

f , una forma bilineal?

Ivon Dorado Álgebra multilineal y formas canónicas

Formas simétrica y antisimétrica asociadas
Sea g una forma bilineal en un K-espacio V . Para todos v, w ∈ V
considere
1
h(v, w) = [g(v, w) − g(w, v)];
2
1
`(v, w) = [g(v, w) + g(w, v)].
2

Ivon Dorado Álgebra multilineal y formas canónicas

Diagonalización

Ivon Dorado Álgebra multilineal y formas canónicas

Diagonalización
Sean V un espacio vectorial de dimensión finita sobre un campo
K, y una forma bilineal simétrica f en V .

Ivon Dorado Álgebra multilineal y formas canónicas

Caso algebraicamente cerrado

Ivon Dorado Álgebra multilineal y formas canónicas

Caso real

Ivon Dorado Álgebra multilineal y formas canónicas

Caso real

Sea V un espacio real de dimensión finita. Considere una forma

bilineal f simétrica, en V .

Ivon Dorado Álgebra multilineal y formas canónicas

Caso real

Sea V un espacio real de dimensión finita. Considere una forma

bilineal f simétrica, en V .

La forma f permite descomponer el espacio

V = V + ⊕ V − ⊕ V ⊥.

Ivon Dorado Álgebra multilineal y formas canónicas

Caso real

Sea V un espacio real de dimensión finita. Considere una forma

bilineal f simétrica, en V .

La forma f permite descomponer el espacio

V = V + ⊕ V − ⊕ V ⊥.

dim V + − dim V −
es la signatura de f .

Ivon Dorado Álgebra multilineal y formas canónicas

Formas simétrica y antisimétrica asociadas
Sea g una forma bilineal en un K-espacio V . Para todos v, w ∈ V
considere
1
h(v, w) = [g(v, w) − g(w, v)];
2
1
`(v, w) = [g(v, w) + g(w, v)].
2

Ivon Dorado Álgebra multilineal y formas canónicas

Ejemplo en teorı́a de representaciones

Un poset finito (P, ≤) se dice 3-equipado si a cada par comparable

de puntos x ≤ y se le asigna únicamente uno de los valores 1, 2 ó
3, usando la notación x ≤1 y, x ≤2 y ó x ≤3 y, y se satisface la
siguiente condición:

Si x ≤l y ≤m z y x ≤n z, entonces n ≥ mı́n{lm, 3}.

Ivon Dorado Álgebra multilineal y formas canónicas

Ejemplo en teorı́a de representaciones
Sean α = (α0 ; αx : x ∈ P) y β = (β0 ; βx : x ∈ P) vectores en Z|P| ,
e

la forma bilineal no simétrica de P se define como sigue

X X
B(α, β) = α0 β0 + lxy αx βy − α0 lxx βx ,
x≤y x∈P
x,y∈P

donde lxx = 1 si x es fuerte, lxx = 3 si x es débil, y si x <l y

l l
entonces lxy = l xx3 yy .

Ivon Dorado Álgebra multilineal y formas canónicas

Ejemplo en teorı́a de representaciones
Sean α = (α0 ; αx : x ∈ P) y β = (β0 ; βx : x ∈ P) vectores en Z|P| ,
e

también se define
X X
B(α,
b β) = 3α0 β0 + lxy αx βy − 3α0
b βx ,
x≤y x∈P
x,y∈P

lxy = m si x ≤m y.
donde b

Ivon Dorado Álgebra multilineal y formas canónicas

Forma bilineal de Euler

hX, Y i = dimF HomM (X, Y ) − dimF ExtM (X, Y ).

Ivon Dorado Álgebra multilineal y formas canónicas

Caso antisimétrico
Sean V un espacio vectorial de dimensión finita sobre un campo K,
y una forma bilineal antisimétrica f no nula en V ,

Ivon Dorado Álgebra multilineal y formas canónicas

Caso antisimétrico
Sean V un espacio vectorial de dimensión finita sobre un campo K,
y una forma bilineal antisimétrica f no nula en V , existen u, v ∈ V
tales que f (u, v) 6= 0, luego son linealmente independientes y para
cualquier vector w en el K-subespacio generado por u y v,
w = f (w, v)u − f (w, u)v.

Ivon Dorado Álgebra multilineal y formas canónicas

Caso antisimétrico
Sean V un espacio vectorial de dimensión finita sobre un campo K,
y una forma bilineal antisimétrica f no nula en V , existen u, v ∈ V
tales que f (u, v) 6= 0, luego son linealmente independientes y para
cualquier vector w en el K-subespacio generado por u y v,
w = f (w, v)u − f (w, u)v.

W = hu, vi; W ⊥ = {x ∈ V : f (x, w) = 0, w ∈ W }.

Ivon Dorado Álgebra multilineal y formas canónicas

Caso antisimétrico
Sean V un espacio vectorial de dimensión finita sobre un campo
K, y una forma bilineal antisimétrica f no nula en V .

Ivon Dorado Álgebra multilineal y formas canónicas