UNIVERSIDAD NACIONAL DE INGENIERIA

FACULTAD DE CIENCIAS
ÁLGEBRA LINEAL PARA FÍSICOS I (CF-1C2A)
FORMAS BILINEALES Y CUADRÁTICAS

1. FORMAS BILINEALES
Definición: Sean E y F dos espacios vectoriales sobre K, se dice que la función f : E ×F →
K es una forma bilineal si ∀x1 , x2 ∈ E y ∀y1 , y2 ∈ F y ∀λ ∈ K

f (x1 + x2 , y1 ) = f (x1 , y1 ) + f (x2 , y1 ) f (λx1 , y1 ) = λf (x1 , y1 ) (1)

f (x1 , y1 + y2 ) = f (x1 , y1 ) + f (x1 , y2 ) f (x1 , λy1 ) = λf (x1 , y1 ) (2)

es decir f es lineal en el primer argumento y lineal en el segundo argumento de f (x1 , y1 ).

Al conjunto de todas las formas bilineales f : E × F → K se le denota por L2 (E, F ; K).
Supongamos ahora que E y F son de dimensión finita y designemos Pn pori (ai )(1 ≤P
i ≤ n) y
(bj )(1 ≤ j ≤ m) una base de E y una base de F . Pongamos x = i=1 x ai y y = m j
j=1 y bj
entonces para toda forma bilineal f definida sobre E × F , gracias a las dos propiedades de
bilinealidad !
Xn m
X n X
X m
f (x, y) = f x i ai , y j bj = xi y j f (ai , bj ) (3)
i=1 j=1 i=1 j=1

Colocando f (ai , bj ) = αij tenemos

n X
X m
f (x, y) = xi y j αij (4)
i=1 j=1

Entonces, f permite determinar nm escalares αij que cumplen (4). Recı́procamente dado
nm escalares αij y estando dados bases en E y F , la fórmula (4) define una aplicación de
E × F en K que es manifiestamente bilineal.
Siguiendo estos argumentos se puede probar que L2 (E, F ; K) provisto de la adición de formas
bilineales: (f + g)(x, y) = f (x, y) + g(x, y) y la multiplicación por un escalar [λf ](x, y) =
λf (x, y) tiene una estructura de espacio vectorial sobre K.
Teorema 1: Sean E y F dos espacios vectoriales de dimensiones respectivas n y m sobre
K, entonces L2 (E, F ; K) es un espacio vectorial de dimensión nm sobre K.
Matrices asociadas a una forma bilineal
Eligiendo bases en E y F de dimensión finita, podemos hacer corresponder a todo elemento
f de L2 (E, F ; K) la matriz A = (αij ) (i, ı́ndice de la fila y j, ı́ndice de la columna) que
es un elemento de MK (n, m). Las fórmulas f (ai , bj ) = αij , muestran que elegidas las bases,
la aplicación de L2 (E, F ; K) en MK (n, m) definida por f → A, es una biyección; se ve
inmediatamente que esta aplicación es un isomorfismo de los espacios vectoriales L2 (E, F ; K)
y MK (n, m). Se dice que A es la matriz asociada a la forma bilineal f relativa a las
bases (ai ) de E y (bj ) de F .
A la matriz A se la llama la matriz de Gram.

1
 Según (4) tenemos (siendo K conmutativo)
n X
X m n
X m
X
i j i
f (x, y) = x y αij = x[ αij y j ]
i=1 j=1 i=1 j=1
  1 
α11 α12 ··· α1m y
 α21 α22 ··· α2m   y 2
  
= ( x1 x2 · · · xn ) 
 ···
 (5)
··· ··· ···  ··· 
αn1 αn2 ··· αnm ym

Llamando BE = {a1 , a2 , ..., an } y BF = {b1 , b2 , ..., bm } tenemos f (x, y) = (x)TBE A(y)BF

Teorema 2: Sean elegidas las bases (ai )(1 ≤ i ≤ n), (bj )(1 ≤ j ≤ m) respectivamente en E y
F ,entonces, a toda forma bilineal f definida sobre E ×F , se puede asociar la matriz A = (αij )
(i ı́ndice de la fila, j ı́ndice de la columna) de tipo (n, m) definida por αij = f (ai , bj ).
La aplicación f → A es un isomorfismo de L2 (E, F ; K) sobre MK (n, m).
Si (x)BE y (y)BF representan las matrices unicolumnas de las coordenadas de x e y relativa-
mente en las bases (ai ) y (bj ) se tiene

f (x, y) = (x)TBE A(y)BF = (y)TBF AT (x)BE (6)

Supongamos que cambiemos de bases en E y F , sea P la matriz cambio de base de BE = (ai )

a BE′ = (a′i ) de E y Q la matriz cambio de base de BF = (bj ) a BF′ = (b′j ) de F . Gracias a
las relaciones (x)BE = P (x)BE′ , (y)BF = Q(y)BF′ y a las propiedades de la multiplicación de
matrices
T
f (x, y) = (x)TBE A(y)BF = P (x)BE′ AQ(y)BF′ = [(x)BE′ ]T P T AQ(y)BF′

(7)

vemos entonces que relativamente a las nuevas bases, a f está asociada la matriz

A′ = P T AQ (8)

Se debe observar la analogı́a y la diferencia entre ésta fórmula y la fórmula A′ = Q−1 AP que
concierne a las matrices a una aplicación lineal de E en F .

2. FORMA BILINEALES DEFINIDAS SOBRE E × E

Espacio vectorial L2 (E; K)
Si E = F definimos una forma bilineal sobre E × E, su conjunto define un espacio vectorial
denotado por L2 (E; K). Para simplificar diremos que f es una forma bilineal sobre E.
Si E es de dimensión n, L2 (E; K) es de dimensión n2 ; siendo (ai ) una base de E (i ∈
[1, n] = I) a toda forma bilineal f sobre E le podemos asociar una matriz cuadrada A = αij
(i, j) ∈ I ×I; hay un isomorfismo entre L2 (E; K) y Mn (K); si (a′i ) es otra base de E, entonces
relativa a ésta nueva base la matriz asociada a f es

A′ = P T AP (9)

A f : E × E → K se le llama la métrica sobre E y al par (E, f ) un objeto geométrico.

2
Formas bilineales simétricas
Si E = F podemos definir en L2 (E; K) las formas bilineales simétricas como

(∀(x, y) ∈ E 2 ) f (x, y) = f (y, x) (10)

Las fórmulas αij = f (ai , aj ) = f (aj , ai ) = αji muestran que en este caso la matriz asociada
a f relativamente a no importa cuál base de E, supuesto de dimensión finita, es simétrica si
y solamente si f es simétrica
Formas bilineales antisimétricas
Podemos igualmente definir en L2 (E; K) las formas bilineales antisimétricas como

(∀(x, y) ∈ E 2 ) f (x, y) = −f (y, x) (11)

Si K es de caracterı́stica diferente de 2, se muestra fácilmente que f , forma bilineal sobre E

es antisimétrica, si y solamente si ella es alternada es decir si

(∀x ∈ E) f (x, x) = 0 (12)

En efecto: de (11) tenemos que f (x, y) = µ′ f (y, x) el cual para x = y es

f (x, x) = µ′ f (x, x) ⇒ f (x, x) + µf (x, x) = µ′ f (x, x) + µf (x, x)
⇒ µf (x, x) + µf (x, x) = 0K ⇒ 2µf (x, x) = 0K , luego si 2µ ̸= 0K entonces f (x, x) = 0K .
Ahora bien, el conjunto de las formas bilineales alternadas sobre E es un subespacio vectorial
A2 (E; K) de L2 (E; K). Igualmente el conjunto de las formas bilineales simétricas sobre E
es un subespacio vectorial S2 (E; K) de L2 (E; K). Estos dos subespacios son suplementarios.
Isomorfismo entre L2 (E; K) y L(E, E ⋆ )
A toda forma bilineal f sobre E, podemos asociar, eligiendo un x de E, la aplicación parcial
f (x, .) que denotaremos por fx ; por definición de la bilinealidad fx es una aplicación lineal
de E en K, entonces un elemento del dual E ⋆ de E. Además, según la definición de la forma
bilineal canónica definida sobre E × E ⋆ , para todo (x, y) de E × E y todo elemento f de
L2 (E; K) tenemos
< y, fx >= fx (y) = f (x, y) (13)
Definimos por φ la aplicación de E en E ⋆ definida por

φ : E → E ⋆, x → φ(x) = fx (14)

ella es lineal; en efecto cualesquiera sean x1 , x2 y y de E y λ en K:

fx1 +x2 (y) = f (x1 + x2 , y) = f (x1 , y) + f (x2 , y) = fx1 (y) + fx2 (y) = [fx1 + fx2 ](y)
fλx (y) = f (λx, y) = λf (x, y) = λfx (y) = [λfx ](y) (15)

entonces  
fx1 +x2 = fx1 + fx2 φ(x1 + x2 ) = φ(x1 ) + φ(x2 )
=⇒ (16)
fλx = λfx φ(λx) = λφ(x)
entonces a todo elemento f de L2 (E; K), asociamos un elemento φ de L(E, E ⋆ ); designemos
por θ la aplicación ası́ definida:

θ : L2 (E; K) → L(E, E ⋆ ), f → θ(f ) = φ (17)

3
entonces se puede mostrar que θ es un isomorfismo entre espacios vectoriales.
Teorema 3: Sea f una aplicación bilineal sobre E definida por (x, y) → f (x, y), entonces
la aplicación φ de E en E ⋆ definida por φ(x) = fx es lineal y la aplicación θ de L2 (E; K) en
L(E, E ⋆ ) definida por θ(f ) = φ es un isomorfismo de espacios vectoriales.
Se definirı́a de la misma manera fy que es también un elemento del dual E ⋆ de E, designando
por ψ la aplicación de E en E ⋆ definida por ψ(y) = fy , se tendrá para todo par de elementos
de E
< x, fy >=< x, ψ(y) >= f (x, y) (18)
de donde
< y, fx >=< y, φ(x) >= f (x, y) =< x, ψ(y) > (19)
en particular si f es simétrica, tendremos para todo x e y de E

< y, φ(x) >= f (x, y) = f (y, x) =< y, ψ(x) > ∀x, y ∈ E (20)

es decir φ = ψ
Corolario: Si f es una forma bilineal simétrica sobre E, las dos aplicaciones lineales φ y ψ
de E en E ⋆ definidas por

x → φ(x) = fx , y → ψ(y) = fy (21)

donde fx y fy son las aplicaciones parciales asociadas a f , son idénticas.

Caso donde E es de dimensión finita
Sea (ai )(1 ≤ i ≤ n) una base de E, designemos por αij la matriz cuadrada de orden n
asociada a la forma bilineal f definida sobre E × E, tenemos

(i, j = 1, 2, ..., n) αij = f (ai , aj ) (22)

Sea ai (1 ≤ i ≤ n) una base de E ⋆ dual de (ai ) y designemos por βij la matriz

(βij ) = M (φ, (ai ), (aj )) (23)

es decir n
X
(i = 1, 2, ..., n) φ(ai ) = fai = βik ak (24)
k=1

tendremos
Xn n
X
k
αij = f (ai , aj ) = fai (aj ) = [ βik a ](aj ) = βik < aj , ak >
k=1 k=1
n
X
= βik δjk = βij (25)
k=1

Teorema 4: Sea E de dimensión finita con una base (ai ) y E ⋆ con base el dual (ai ),
entonces la matriz asociada a la forma bilineal f , relativamente a la base (ai ) es igual a la
matriz asociada a φ relativamente a las bases (ai ) y (ai ).

4
 Al determinante de αij se le llama el discriminante de la forma bilineal f relativamente a
la base (ai ). Éste determinante depende de la base elegida, en efecto, detA y det(P T AP ) son
en general distintos, pero siendo P inversible

detA ̸= 0 ⇐⇒ det(P T AP ) = [detP T ][detA][detP ] ̸= 0 (26)

Ejemplo 1: Sea el espacio vectorial E = K n con las n-uplas x̄ = (x1 , x2 , ..., xn ) e ȳ =

(y 1 , y 2 , ..., y n ) y la función f : E × E → K definida por

f (x̄, ȳ) = x1 y 1 + x2 y 2 + ... + xn y n (27)

Demostrar que f es una forma bilineal simétrica.

Ejemplo 2: Sea E el espacio vectorial de los segmentos orientados sobre R con sus elementos
⃗x e ⃗y . Se define la función f : E × E → R como

f (⃗x, ⃗y ) = |⃗x||⃗y |cos θ (28)

donde θ es el ángulo que forman ⃗x e ⃗y . Usando solamente argumentos geométricos demuestre

que f es una forma bilineal simétrica.
Ejemplo 3: Sea E = Mn (R) y f : E × E → R definida por

f (X, Y ) = tr(X T Y ) (29)

entonces f es una forma bilineal simétrica.

Ejercicio 4: Sea E = F([a, b], R) y f : E × E → R definida por
Z b
f (x, y) = x(t)y(t) dt (30)
a

entonces f es una forma bilineal simétrica.

3. FORMAS BILINEALES SIMÉTRICAS Y FORMAS CUADRÁTICAS

Definición: Sea f una forma bilineal cualquiera sobre E, se llama forma cuadrática
asociada a f a la aplicación q de E en K definida por

∀x ∈ E q(x) = f (x, x) (31)

Supongamos que E es de dimensión finita con una base (ai ) tendremos, de acuerdo a (4)
n X
X n
q(x) = αij xi xj (32)
i=1 j=1

donde x = x1 a1 + x2 a2 + ... + xn an . Es decir, si consideramosa a q como una aplicación de

K n en K, q es una función polinomio homogéneo de grado 2.
Se ve inmediatamente que el conjunto Q(E) de las formas cuadráticas definidas sobre E,
espacio vectorial sobre K, provisto de la adición y de la multiplicación por un escalar es
un espacio vectorial sobre K. Es igualmente claro que la aplicación de L2 (E; K) en Q(E)

5
definida por f → Γ(f ) = q es un homomorfismo de espacios vectoriales. Pero este homo-
morfismo sobreyectivo por definición no es inyectivo, en efecto si a es una forma bilineal
alternada no nula, se tendrá para todo x de E

f (x, x) = q(x) (f + a)(x, x) = f (x, x) + a(x, x) = f (x, x) + 0K = f (x, x) = q(x) (33)

entonces a las dos formas bilineales distintas f y f + a está asociada la forma cuadrática
q. Pero supongamos f simétrica, siendo q la forma asociada a f , tendremos gracias a la
bilinealidad y simetrı́a de f , siendo la caracterı́stica de K distinta de 2 :

q(x + y) = f (x + y, x + y) = f (µx + µy, µx + µy)

= µµf (x, x) + µµf (x, y) + µµf (y, x) + µµf (y, y)
= f (x, x) + 2µf (x, y) + f (y, y)
= q(x) + q(y) + 2µf (x, y) (34)
1
∀(x, y) ∈ E × E, luego si 2µ ̸= 0K entonces f (x, y) = 2µ [q(x + y) − q(x) − q(y)] fórmula que
muestra que si la misma forma cuadrática q está asociada a dos formas bilineales simétricas
f y g entonces f = g.
Teorema 5: La aplicación, que a toda forma bilineal simétrica f sobre E, asocia la
forma cuadrática q definida por

∀x ∈ E q(x) = f (x, x) (35)

es biyectiva.
La forma bilineal simétrica f ası́ asociada a q es tal que
1
(∀(x, y) ∈ E × E) f (x, y) = [q(x + y) − q(x) − q(y)] (36)
2
se dice que f es la forma polar de q.
Las ecuaciones (35) y (36) permiten enunciar los dos resultados siguientes:
Corolario 1: Siendo q la forma cuadrática asociada a f forma bilineal simétrica sobre E,
entonces las relaciones q = 0 y f = 0 son equivalentes.
Corolario 2: Siendo q la forma cuadrática asociada a la forma bilineal simétrica f , entonces
para todo endomorfismo u de E se tiene:

[∀x ∈ E q[u(x)] = q(x)] ⇐⇒ [∀(x, y) ∈ E 2 f [u(x), u(y)] = f (x, y)] (37)

se dice entonces que u conserva f (o q).

Si E es de dimensión finita, la matriz (αij ) = A asociada a la forma bilineal simétrica f
relativamente a una base (ai ) de E es aún llamada matriz asociada a q (relativamente a (ai ))
y su determinante se llama también discriminante de q.
Siendo la matriz (αij ) simétrica y el cuerpo K (caractrı́stica ̸= 2) conmutativo tendremos
n X
X n n
X X
i j
q(x) = αij x x = αii (xi )2 + 2 αij xi xj (38)
i=1 j=1 i=1 1≤i<j≤n

6
 Se dice que αii (xi )2 es un término ”cuadrado” y αij xi xj el término ”rectángulo” o ”cruzado”.
La palabra ”cuadrado” es un abuso de lenguaje pues αii (xi )2 no es un cuadrado en K más
que si αii = 1: esto será siempre el caso en C, pero no en R.
Para x ∈ E y una base BE
q(x) = (x)TBE A(x)BE (39)

Ejemplo 1: Sea E = K n el espacio de las n-uplas sobre K luego la forma cuadrática asociada
a f (x̄, ȳ) = x1 y 1 + x2 y 2 + ... + xn y n es

q(x̄) = (x1 )2 + (x2 )2 + ... + (xn )2 (40)

Ejemplo 2: Sea E el espacio vectorial de los segmentos orientados sobre R con sus elementos
⃗x e ⃗y . La forma cuadrática asociada a f (⃗x, ⃗y ) =| ⃗x || ⃗y | cosθ es

q(⃗x) =| ⃗x |2 (41)

Ejemplo 3: Sea E el espacio vectorial de las matrices cuadradas sobre R entonces la forma
cuadrática asociada a f (X, Y ) = tr(X T Y ) es

q(X) = tr(X T X) (42)

Ejemplo 4: Sea E el espacio vectorial de las funciones

Rb reales de variable real sobre R
entonces la forma cuadrática asociada a f (x, y) = a x(t)y(t) dt es
Z b
q(x) = [x(t)]2 dt (43)
a

4. FORMAS DEGENERADAS Y NO DEGENERADAS. ORTOGONALIDAD. ELEMENTOS

ISOTROPOS
Formas bilineales simétricas degenerados y no degenerados
Núcleo de una forma bilineal simétrica
Sea f una forma bilineal simétrica sobre E, q la forma cuadrática asociada, designamos
siempre por φ la aplicación lineal φ : E → E ⋆ definida por φ(x) = fx .
Se llama núcleo de f (o de q), el núcleo de φ. Esto es el conjunto de los elementos x de E
tales φ los lleva al cero de E ⋆ que es la funcional cero.

φ(x) = fx = 0̂E ⋆ ⇐⇒ [(∀y ∈ E) fx (y) = f (x, y) = 0] (44)

Es decir
Kerf = {x ∈ E : f (x, y) = 0 ∀y ∈ E} (45)
Siendo f simétrico, entonces el núcleo de f es también el conjunto de elementos y ∈ E tales
que
φ(y) = fy = 0̂E ⋆ ⇐⇒ [(∀x ∈ E) fy (x) = f (x, y) = 0] (46)
O equivalentemente
Kerf = {y ∈ E : f (x, y) = 0 ∀x ∈ E} (47)

7
Observación: Se debe remarcar que el núcleo de f no es el subconjunto A de E × E de
elementos (x, y) tal que f (x, y) = 0
Definición: Se dirá que la forma bilineal simétrica f (o la forma cuadrática asociada q) es no
degenerada si y solamente sı́ φ es inyectiva, es decir si y solamente sı́ Kerf = Kerφ = {0E }.
Si Kerf = Kerφ ̸= 0E se dirá que f y q son degeneradas.
Si E es de dimensión n, se llamará rango de f (o de q) el rango de φ, es decir la dimensión
de Imφ = φ(E) ⊂ E ⋆ .
En este caso (E de dimensión finita) φ es inyectiva si y solo sı́ φ es biyectiva pues dimE =
dimE ⋆ = n
Teorema 6: Sea f una forma bilineal simétrica sobre E, espacio vectorial de dimensión
n y (αij ) la matriz asociada a f relativamente a una base de E, entonces las propiedades
siguientes son equivalentes:
(1) f es no degenerada sobre E.
(2) f (x, y) = 0 para todo x de E implica y = 0.
(3) f (x, y) = 0 para todo y de E implica x = 0.
(4) La aplicación φ de E en E ⋆ asociada a f es un isomorfismo de espacios vectoriales.
(5) det(αij ) ̸= 0.
Las afirmaciones (2) y (3) provienen de las ecuaciones (45) y (47) cuando Kerf = {0E }. La
afirmación (5) proviene del Teorema 4 ya que A = (αij ) es la representación matricial de φ y
matriz asociada a f y como φ es inyectiva entonces A es inversible y detA ̸= 0 por lo tanto.
Elementos ortogonales, elementos isotropos relativos a una forma bilineal simétrica
Sea E un espacio vectorial sobre K, cuerpo conmutativo de caracterı́stica distinta de 2, se
designa por f una forma bilineal simétrica sobre E y por q la forma cuadrática asociada.
(a) Elementos ortogonales relativamente a f (o a q)
Definición: Se dice que x e y de E son ortogonales relativamente a f (o a q) si f (x, y) = 0.
Se dice que dos subconjuntos A y B son ortogonales relativamente a f (o a q) si cada elemento
de A es ortogonal a cada elemento de B relativamente a f (o a q).
Siendo la forma f elegida, diremos para simplificar ”x e y son ortogonales” sobreen-
tendiéndose ”relativamente a f (o a q)”. Podemos definir dos subespacios de E, sea F
y G ortogonales: gracias a la bilinealidad de f , es claro que F y G son ortogonales si y
solamente si una base de F y una base de G son ortogonales.
Definición: Sea F un subespacio vectorial de E el conjunto

F ⊥ = {x ∈ E : f (x, y) = 0 ∀y ∈ F } (48)

F ⊥ es evidentemente un subespacio de E, cuyos elementos son todos ortogonales a F : se

le llama el subespacio vectorial de E ortogonal a F relativamente a f (o a q) y lo hemos
denotado por F ⊥ .
Si F = K[x0 ] (x0 ̸= 0E ), es decir el subespacio generado por x0 ̸= 0E , diremos que F ⊥ es el
subespacio ortogonal a x0 .

8
(b) Elementos y subespacios isotropos relativamente a f (o a q)
Definición: Se dice que x, elemento de E, es isotropo relativamente a f (o a q) si f (x, x) =
q(x) = 0.
Se dice que un subespacio F de E es isotropo relativamente a f (o a q) si existe x ̸= 0E de
F , ortogonal a todo el subespacio F .
Si el único vector de F ortogonal a todo el subespacio F es el vector nulo 0E , entonces deci-
mos que F no es isotropo.
Siendo elegida la forma bilineal simétrica f , diremos ”x es isotropo” o ”F es isotropo” so-
breentendiéndose relativamente a f (o a q).
Naturalmente el vector 0E es siempre isotropo y puede suceder que sea el único. Más gen-
eralmente todo elemento del núcleo es isotropo pero el recı́proco no es en general verdad.
Sea I el conjunto de los vectores isotropos entonces Kerf ⊂ I.
Ejemplo 1: Sea E = Rn con su base canónica y provisto de la forma cuadrática q definido
por
q(x̄) = (x1 )2 + (x2 )2 + ... + (xn )2 (49)
Los vectores isotropos se obtienen de q(x̄) = 0 entonces (x1 )2 + (x2 )2 + ... + (xn )2 = 0 implica
que I = {0̄ = (0, 0, ..., 0)}
Ejemplo 2: Sea E = R4 con su base canónica y provisto de la forma cuadrática q definido
por
q(x̄) = (x1 )2 + (x2 )2 + (x3 )2 − (x4 )2 (50)
Un vector isotropo es ā = (1, 0, 0, 1) ̸= 0̄. Dar las coordenadas de todos los vectores isotropos
en función de 3 parámetros reales. Buscar el núcleo de q y verificar que ā no pertenece a éste
núcleo.
Ejemplo 3: Sea E = Cn con su base canónica y provisto de la forma cuadrática q definido
por
q(x̄) = (x1 )2 + (x2 )2 + ... + (xn )2 (51)
Para n = 2 el vector ā = (1, i) ̸= 0̄ es isotropo.
Para n = 3 dar las coordenadas de todos los vectores isotropos en función de dos parámetros
complejos.
Ejemplo 3: Sea E un espacio vectorial sobre K, x0 un elemento no nulo de E, busquemos
bajo qué condición F = K[x0 ], el subespacio engendrado por x0 , es isotropo. Todos los
elementos de F son de la forma λx0 (λ ∈ K) entonces F será isotropo si existe µ ̸= 0,
cualquiera sea λ, f (λx0 , µx0 ) = λµf (x0 , x0 ) = 0, esto deberá ser verificado ∀λ en particular
para λ = 1, entonces x0 es isotropo, de donde:
El subespacio K[x0 ] (x0 ̸= 0) es isotropo si y solamente si x0 es isotropo. Se dice entonces
que K[x0 ] es una recta isotropo (pasando por 0E ).
La definición de subespacio isotropo nos va a conducir a resultados interesantes concernientes
a F y F ⊥ . Sea F un subespacio de E, espacio vectorial de dimensión finita provisto de una
forma bilineal simétrica f , podemos considerar la restricción fF de f a F × F (y la restrición
qF de q a F ) ésta restricción fF es una forma bilineal simétrica sobre F , para todo x de F
(fF )x es un elemento del dual F ⋆ de F , designemos por φ′ la aplicación lineal de F en F ⋆
definida por φ′ (x) = (fF )x . Buscando el núcleo de φ′ y otras condiciones tenemos

9
 Teorema 7: Sea E un espacio vectorial de dimensión finita, para toda forma bilineal
simétrica f sobre E y todo subespacio vectorial F de E las propiedades siguientes son equiv-
alentes:
(1) La restricción de f a F es no degenerada.
(2) F ∩ F ⊥ = {0E }.
(3) F no es isotropo.
(4) E = F ⊕ F ⊥
De ello se deduce inmediatamente que
Corolario: Si F es un subespacio vectorial no isotropo de E de dimensión finita se tiene

dimF ⊥ = dimE − dimF (52)

Observación: De una parte f bien puede ser no degenerado sobre E y degenerado sobre un
subespacio vectorial F de E.
Ejercicio: a) Sea E = R2 con su base canónica y f (x̄, ȳ) = x1 y 1 −x2 y 2 estudiar la restricción
de f a F = R[x̄0 ] con x̄0 = (1, 1).
b) La misma pregunta con E = C2 , f (x̄, ȳ) = x1 y 1 + x2 y 2 , F = C[x0 ] y x̄0 = (1, i).

5. BASES ORTOGONALES Y ORTONORMALES. FORMAS CANÓNICAS

Sea E un espacio vectorial de dimensión n sobre K de caracterı́stica ̸= 2, f es la forma
bilineal simétrica sobre E, q su forma cuadrática asociada.
Definición: Una base (ai )(1 ≤ i ≤ n) de E es ortogonal relativamente a f (o a q) si

i ̸= j =⇒ f (ai , aj ) = 0 (53)

Una base (ai ) de E es ortonormal relativamente a f (o a q) si ella es ortogonal y si

i = 1, 2, ..., n f (ai , ai ) = 1 (54)

Una base ortonormal es entonces tal que para todo par (i, j) f (ai , aj ) = δij
Existencia de bases ortogonales. Forma canónica de f (x, y) y q(x) en una base
ortogonal
Si para todo x, q(x) = f (x, x) = 0 entonces q = 0̂ y equivalentemente f = 0̂, y todo par
de vectores de E es un par de vectores ortogonales, entonces toda base de E es ortogonal
relativamente a f = 0̂.
Supongamos entonces f ̸= 0̂. Para n = 1, el problema de la existencia de una base ortogonal
no se manifiesta. Si n = 2, existe a1 tal que f (a1 , a1 ) = q(a1 ) ̸= 0 ya que de lo contrario
f = 0̂. Como a1 no es isotropo entonces F = K[a1 ] no es isotropo, entonces E = F ⊕ F ⊥ ,
y F ⊥ es de dimensión 1, todo vector a2 de F ⊥ forma con a1 una base ortogonal de E. Si
n > 2, supongamos (hipótesis de inducción) que exista una base ortogonal relativamente a f
para todo espacio de dimensión n − 1. Ahora para dimE = n y como f ̸= 0̂, existe a1 tal que
f (a1 , a1 ) = q(a1 ) ̸= 0, entonces F = K[a1 ] no es isotropo, luego E = F ⊕ F ⊥ (como arriba)
y F ⊥ es de dimensión n − 1 y según la hipótesis de inducción existe una base {a2 , a3 , ..., an }
de F ⊥ ortogonal. Ahora bien ai (2 ≤ i ≤ n) es ortogonal a a1 , entonces (ai )(1 ≤ i ≤ n) es

10
una base ortogonal de E.
Relativamente a tal base tendremos
n
X n
X
f (x, y) = αii xi y i q(x) = αii (xi )2 (55)
i=1 i=1

pues i ̸= j implica αij = f (a1 , aj ) = 0.

Si todos los coeficientes αii son nulos f = 0̂; si s (1 ≤ s ≤ n) coeficientes son no nulos y
cambiando si es necesario la numeración de los vectores de la base ortogonal tendremos
s
X
f (x, y) = αii xi y i (i = 1, 2, ..., s αii ̸= 0) (56)
i=1

El núcleo de f tendrá elementos dados por x = x1 a1 + x2 a2 + ... + xn an tal que

(∀y ∈ E) f (x, y) = 0 (57)

n
X
f (x, y) = αii xi y i
i=1
 
y1

α11 0 · · · ··· 0

 0 ··· ··· ··· 0 
 y2 

1 2 n
= ( x x ··· x )
 0 · · · αss ··· 0 
 y3 =0
 (58)
 ··· ··· ··· ··· ···  ··· 
0 0 0 ··· 0 yn

es decir por x tal que

(α11 x1 = α22 x2 = ... = αss xs = 0) =⇒ (x1 = x2 = ... = xs = 0) (59)

El núcleo de f entonces tiene por elementos x que verifican

x = xs+1 as+1 + xs+2 as+2 + ... + xn an (60)

donde xs+1 , xs+2 , ..., xn son n − s escalares arbitrarios y entonces dim(Kerf ) = n − s y por
consecuencia si r es el rango de f , s = r
Teorema 8: Para todo espacio vectorial E de dimensión n, existe bases ortogonales relati-
vamente a toda forma bilineal simétrica f sobre E.
De una manera más precisa, si f es de rango r ̸= 0 entonces existe bases tales que

i ̸= j =⇒ f (ai , aj ) = 0
1 ≤ i ≤ r =⇒ f (ai , ai ) ̸= 0
r + 1 ≤ i ≤ n =⇒ f (ai , ai ) = 0 (61)

Con respecto a una tal base, se tiene la forma canónica

r
X r
X
i i
f (x, y) = αii x y q(x) = αii (xi )2 (62)
i=1 i=1

11
La matriz asociada A a ésta base ortogonal es
 
α11 0 ··· 0
 0
 ··· ··· 0 

A=  0 ··· αrr · · · 
 (63)
 ··· ··· ··· ··· 
0 0 ··· 0

Existencia de bases ortonormales cuando f es no degenerado y K = C. Formas

canónicas correspodientes.
Sea K un cuerpo cualquiera. Si existe una base ortonormal relativamente a f , se tiene
para todo par (i, j) f (ai , aj ) = δij y entonces para todo i, αii = 1 y por consecuencia
r = dim(Imφ) = n y f es no degenerada.
Sea pues f una forma no degenerada (rg(φ) = n) sobre E donde E es un espacio vectorial
de dimensión n sobre C. Existe bases ortogonales (bi ) y se tiene

i ̸= j =⇒ f (bi , bj ) = 0
(1 ≤ i ≤ n) =⇒ f (bi , bi ) = βii ̸= 0 (64)

Como todo elemento es un cuadrado en C coloquemos

bi
(i = 1, 2, ..., n) (λi )2 = βii ai = (65)
λi
y tendremos
1
i ̸= j =⇒ f (ai , aj ) = f (bi , bj ) = 0
λ2i
f (bi , bi )
(1 ≤ i ≤ n) =⇒ f (ai , ai ) = =1 (66)
λ2i

donde βii ̸= 0 ha implicado que λi ̸= 0. Es decir hemos encontrado una base (ai ) ortonormal.
Teorema 9: Sea E un espacio vectorial de dimensión n sobre C y f una forma bilineal
simétrica no degenerada, entonces existe bases de E ortonormales relativamente a f .
Respecto a tal base se tienen las formas canónicas
n
X n
X
i i
f (x, y) = xy q(x) = (xi )2 (67)
i=1 i=1

Si E es de dimensión n sobre C hay entonces una sola forma canónica para toda forma
bilineal simétrica no degenerada.

12
6. FORMAS BILINEALES SIMÉTRICAS REALES
Suponemos en toda ésta sección que E es un espacio vectorial sobre R; diremos que f , forma
bilineal simétrica sobre E y q forma cuadrática asociada son reales.
Formas bilineales simétricas positivas. Desigualdad de Schwarz
Definición: Diremos que una forma f , bilineal simétrica real sobre E y que la forma
cuadrática asociada q son positivas si

(∀x ∈ E) f (x, x) = q(x) ≥ 0 (68)

Se definirı́a por lo mismo las formas negativas (q(x) ≤ 0); f (o q) es negativa si y solamente
si −f (o −q) es positiva: estudiaremos entonces más que las formas positivas.
Siendo f positivo, para todo par (x, y) de E 2 y todo real λ tendremos

q(x + λy) = f (x + λy, x + λy) = f (x, x) + 2λf (x, y) + λ2 f (y, y) ≥ 0 (69)

en el caso donde f (y, y) ̸= 0, q(x+λy) es un polinomio de segundo grado en λ con coeficientes

reales; es siempre ≥ 0, es entonces imposible que tenga dos raı́ces reales distintas de donde

[f (x, y)]2 − f (x, x)f (y, y) ≤ 0 (70)

Si y es tal que f (y, y) = 0 la desigualdad q(x + λy) ≥ 0 no puede ser verificada para todo
real λ mas que si f (x, y) = 0 entonces (70) aún se verifica.
Teorema 10: (Desigualdad de Schwarz) Sea f una forma bilineal simétrica positiva sobre
E entonces se tiene

(∀(x, y) ∈ E 2 ) [f (x, y)]2 − f (x, x)f (y, y) ≤ 0 (71)

Se deduce de éste teorema, para todo par (x, y) de E 2

q(x + y) = f (x + y, x + y) = f (x, x) + 2f (x, y) + f (y, y)

p p p
≤ q(x) + 2 q(x)q(y) + q(y) = [ q(x) + q(y)]2 (72)
p
donde hemos usado a ≤| a | y además que (70) implica f (x, y) ≤| f (x, y) |≤ q(x)q(y).
Corolario 1: Sea q una forma cuadrática positiva sobre E, entonces se tiene
p p p
(∀(x, y) ∈ E 2 ) q(x + y) ≤ q(x) + q(y) (73)

Se sabe de otra parte que el núcleo de f es

Kerf = {x ∈ E : f (x, y) = 0 ∀y ∈ E} (74)

entonces todo elemento del núcleo es isotropo, pues en (74) para y = x ⇒ f (x, x) = 0. Vamos
a mostrar recı́procamente que cuando f es positivo todo elemento isotropo relativamente a f
pertenece al núcleo; en efecto: f (x, x) = 0 conlleva, de acuerdo a la desigualdad de Schwarz,
[f (x, y)]2 ≤ 0 implica f (x, y) = 0 para todo y. Es decir para f positivo Kerf = I.
Corolario 2: El núcleo de una forma bilineal simétrica positiva sobre E es el conjunto de
los vectores isotropos de E relativamente a f .

13
Resulta que, si f es no degenerado positivo entonces como el núcleo se reduce a Kerf = {0E },
entonces x = 0E es el único vector isotropo relativamente a f forma bilineal simétrica no
degenerada positiva sobre E.
Observación: Ciertos autores llaman formas cuadráticas ”definidas positivas” (resp. neg-
ativas) las formas cuadráticas no degeneradas positivas (resp, negativas), nosotros no lo
haremos, los términos no degenerados positivos(resp. negativas) son bien suficientes.
Caso donde E es de dimensión finita. Ley de inercia
Sea f una forma bilineal simétrica real sobre E, existe en E bases (bi ) (1 ≤ i ≤ n) ortogonales
relativamente a f . i ̸= j implica f (bi , bj ) = 0, f (bi , bi ) real, significa que es estrictamente
positiva o estrictamente negativa o nulo. Si f es no nulo, cambiando si es necesario la
numeración de la base (bi ), existe entonces enteros s y t ambos no nulos tales que

1≤i≤s f (bi , bi ) = βii > 0

s+1≤j ≤s+t f (bj , bj ) = βjj < 0
s+t+1≤k ≤n f (bk , bk ) = βkk = 0 (75)

naturalmente s + t = r = rg(f ); si t = 0 (resp. s = 0) la forma f es positiva (resp. negativa).

Volvamos al caso general y coloquemos con las notaciones de arriba
bi bj
ai = √ , aj = p ak = b k (76)
βii −βjj

siendo la base {a1 , a2 , ..., an } aún ortogonal, además

f (ai , ai ) = 1 f (aj , aj ) = −1 f (ak , ak ) = 0 (77)

Tenemos entonces en la base (ai ) (1 ≤ i ≤ n)

s
X s+t
X
i i
f (x, y) = xy − xj y j (78)
i=1 j=s+1

s
X s+t
X
q(x) = (xi )2 − (xj )2 (79)
i=1 j=s+1

Se dice algunas veces que βii (xi )2 (βii > 0) y (xi )2 son ”cuadrados positivos” y que βii (xi )2 (βii <
0) y −(xi )2 son ”cuadrados negativos”: en el primer caso esta denominación es una triviali-
dad, en el segundo caso un abuso de lenguaje.
Supongamos que existe una segunda base (a′i ) ortogonal relativamente a f , y tal que con
respecto a ella se tenga
s′
X
′ +t′
sX
q(x) = (x′i )2 − (x′j )2 (80)
i=1 j=s′ +1

Vamos a mostrar que s′ = s y t′ = t. Consideremos los dos subespacios de E siguientes:

F engendrado por a1 , a2 , ..., as dimF = s.
G′ engendrado por a′s′ +1 , a′s′ +2 , ..., a′n dimG′ = n − s′ .

14
Fi x ∈ F se tiene q(x) ≥ 0 si además x ̸= 0E , existe al menos un xi ̸= 0 (1 ≤ i ≤ s) y
q(x) > 0 para todo x ̸= 0E de F .
Si x ∈ G′ , q(x) ≤ 0 y resulta que
F ∩ G′ = {0E } (81)
Recordando que si E1 y E2 son subespacios de E de dimensión finita entonces dimE1 +
dimE2 − dim(E1 ∩ E2 ) = dim(E1 + E2 ) entonces

dimF + dimG′ = dim(F + G′ ) ≤ dimE (82)

de donde
s + n − s′ ≤ n ⇐⇒ s ≤ s′ (83)
y permutando el rol de las bases (ai ) y (a′i ) se demostrarı́a s′ ≤ s de donde s′ = s; como, de
otra parte s + t = s′ + t′ = r = rg(f ) se tiene también t′ = t
Teorema 11: Sea q la forma cuadrática asociada a una forma bilineal simétrica real sobre
E espacio vectorial de dimensión n sobre R
1) Existe una base (ai ) ortogonal relativamente a f y dos enteros naturales s y t tales que
respecto a ésta base (ai ) se tiene
s
X s+t
X
i 2
q(x) = (x ) − (xj )2 s + t = r = rg(f ) (84)
i=1 j=s+1

2) Si existe una base (a′i ) ortogonal relativamente a f y dos enteros naturales s′ y t′ tales que
respecto a ésta base (a′i ) se tenga
s ′ sX
+t′ ′
X
q(x) = (x′i )2 − (x′j )2 s′ + t′ = r = rg(f ) (85)
i=1 j=s′ +1

entonces s = s′ y t = t′ (Ley de inercia )

Al par de enteros naturales (s, t) se le llama la signatura de f (o de q). Por ejemplo la
forma cuadrática sobre R4 definida por q(x) = (x1 )2 +(x2 )2 +(x3 )2 −(x4 )2 tiene por signatura
(3, 1).
Es claro que f forma bilineal simétrica real es positiva si y solamente si t = 0 entonces
s = r = rg(f ) y que f es no degenerada positiva si y solamente si s = n, se tiene entonces
respecto a la base (ai )
n
X Xn
i i
f (x, y) = xy q(x) = (xi )2 (86)
i=1 i=1

Corolario: Sea E un espacio vectorial de dimensión n sobre R, entonces existe bases de E

ortonormales relativas a toda forma bilineal simétrica no degenerada positiva sobre E.
Todo espacio vectorial E de dimensión n sobre R provisto de una forma bilineal simétrica
no degenerada positiva es un espacio con producto escalar o interno.
En efecto f (x, ay + bz) = af (x, y) + bf (x, z), también f (x, y) = f (y, x) y también f (x, x) ≥ 0
y f (x, x) = 0 ⇔ x = 0E .

15
Ejemplo 1: Sea E el espacio vectorial de los segmentos orientados sobre R provisto de la
forma bilineal simétrica
f (⃗x, ⃗y ) =| ⃗x || ⃗y | cosθ (87)
Dado que q(⃗x) =| ⃗x |2 ≥ 0 ∀⃗x ∈ E entonces es positivo y como I = {⃗0} entonces Kerf = {⃗0}
y f es no degenerada.
Por lo tanto E está provisto de un producto interno. Esto implica que si f (⃗x, ⃗y ) = f (⃗x, ⃗z)
para todo ⃗x ∈ E entonces f (⃗x, ⃗y − ⃗z) = 0 para todo ⃗x ∈ E, luego ⃗y = ⃗z.
Sea B = {⃗e1 , ⃗e2 , ⃗e3 } una base de E y ⃗x = x1⃗e1 +x2⃗e2 +x3⃗e3 entonces, debido a las propiedades
de bilinealidad tenemos

q(⃗x) = f (⃗x, ⃗x) = α11 (x1 )2 + α22 (x2 )2 + α33 (x3 )2 + 2α12 x1 x2 + 2α13 x1 x3 + 2α23 x2 x3 (88)

donde αij = f (⃗ei , ⃗ej ) =| ⃗ei || ⃗ej | cos(θij ) y θij es el ángulo entre ⃗ei y ⃗ej . Aquı́, la matriz
simétrica A = (αij ) es la matriz asociada a la forma cuadrática q(⃗x).
Si se usa la base B = {⃗e1 = ⃗a, ⃗e2 = ⃗b, ⃗e3 = ⃗c} donde | ⃗a |=| ⃗b |̸=| ⃗c | y θ12 = 120◦
θ13 = θ23 = 90◦ tenemos la matriz
 
| ⃗a |2 (−1/2) | ⃗a |2 0
A =  (−1/2) | ⃗a |2 | ⃗a |2 0  (89)
0 0 | ⃗c |2

Luego con ⃗x = x1⃗a + x2⃗b + x3⃗c la forma cuadrática relativa a ésta base es q(⃗x) = (⃗x)TB A(⃗x)B .
Sabemos que cuando tenemos una forma bilineal simétrica no degenerada positiva como la
(87) existe una base ortonormal para ella. En el caso donde B = {⃗e1 = ⃗ı, ⃗e2 = ⃗ȷ, ⃗e3 = ⃗k} es
la base canónica de E tenemos para ⃗x = x1⃗ı + x2⃗ȷ + x3⃗k

q(⃗x) = (x1 )2 + (x2 )2 + (x3 )2 (90)

Hemos obtenido la forma canónica en dicha base de la forma cuadrática q(⃗x) y la matriz
asociada es la matriz identidad I3 . La signatura de f es (3, 0) donde s = dimE = 3.
Ejemplo 2: Sea E = R4 con su base canónica y provisto de la forma cuadrática q definido
por
q(x̄) = (x1 )2 + (x2 )2 + (x3 )2 − (x4 )2 (91)
Es evidente que
  1 
1 0 0 0 x
 0 1 0 0   x2
  
q(x̄) = ( x1 x2 x3 x4 )   (92)
 0 0 1 0   x3 
0 0 0 −1 x4
entonces llamando por A la matriz asociada aq
 
1 0 0 0
 0 1 0 0 
A=  0
 (93)
0 1 0 
0 0 0 −1

vemos que detA = −1 ̸= 0 y q es no degenerado, es decir Kerf = {0̄} y por tanto 0̄ =

(0, 0, 0, 0) es el único vector ortogonal a todo x̄ de R4 . El vector ā = (1, 0, 0, 1) ̸= 0̄ es

16
isotropo y F = R[ā] también es isotropo luego la restricción de la forma bilineal simétrica
asociada f a F es degenerado, pero ā no pertenece al núcleo Kerf .
Observamos que la forma cuadrática q(x̄) no es positiva y ésto lo diferencia de la métrica
euclidiana dada en (87) a pesar que ambos son no degenerados. Habrá vectores tales que
q(x̄) > 0, otros para los que q(x̄) < 0 y finalmente los vectores isotropos q(x̄) = 0 llamados
enpeste caso vectores luminosos. Estos vendrán dados por las regiones de R4 donde x4 =
± (x1 )2 + (x2 )2 + (x3 )2 llamados conos de luz. La signatura de ésta métrica es (3, 1) donde
s = 3 < dimR4 .

07/12/2021

17