UNIVERSIDAD NACIONAL DE INGENIERIA

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

1. MÉTODO DE LAGRANGE
En la literatura se encuentran términos como las que vamos enunciar. Sin embargo hemos
indicado que no seguiremos éstas denominaciones.
Definición: Una forma bilineal simétrica real f se llama semidefinida positiva o semidefinida
no negativa si
q(x) = f (x, x) ≥ 0 ∀x ∈ E (1)
Definición: Una forma bilineal simétrica real f se llama definida positiva si

q(x) = f (x, x) > 0 ∀x ̸= 0E (2)

Por la ley de inercia f es semidefinida no negativa si y solo si s = rg(f ) y es definida positiva

si y solo si s = dimE.
Se considera una forma cuadrática q sobre E espacio vectorial de dimensión n sobre K cuerpo
de caracterı́stica ̸= 2.
Ejemplo 1: Sea el espacio vectorial E. En una base B = {a1 , a2 , a3 } donde x = x1 a1 +
x2 a2 + x3 a3 se tiene la forma cuadrática

q(x) = Φ(x1 , x2 , x3 ) = (x1 )2 + (x2 )2 + (x3 )2 − 4x1 x2 − 4x1 x3 − 4x2 x3 (3)

Relativa a tal base, la matriz asociada es

 
1 −2 −2
A =  −2 1 −2  (4)
−2 −2 1

Vamos a emplear el método de Lagrange para obtener la forma canónica de ésta forma
cuadrática:

q(x) = [x1 − 2x2 − 2x3 ]2 − 4(x2 )2 − 4(x3 )2 − 8x2 x3 + (x2 )2 + (x3 )2 − 4x2 x3
= [x1 − 2x2 − 2x3 ]2 − 3(x2 )2 − 12x2 x3 − 3(x3 )2
= [x1 − 2x2 − 2x3 ]2 − 3[(x2 )2 + 4x2 x3 + (x3 )2 ]
= [x1 − 2x2 − 2x3 ]2 − 3[(x2 + 2x3 )2 − 4(x3 )2 + (x3 )2 ]
= [x1 − 2x2 − 2x3 ]2 − 3(x2 + 2x3 )2 + 9(x3 )2 (5)

Luego, hagamos la siguiente transformación de coordenadas

y 1 = x1 − 2x2 − 2x3
y 2 = x2 + 2x3
y 3 = x3 (6)

1
Consideremos la nueva base ortogonal B ′ = {a′1 , a′2 , a′3 } en donde x = y 1 a′1 + y 2 a′2 + y 3 a′3 y
como (x)B = P (x)B ′ entonces (x)B ′ = P −1 (x)B y
   
1 −2 −2 1 2 −2
P −1 =  0 1 2  P =  0 1 −2  (7)
0 0 1 0 0 1

Como P : B → B ′ entonces

a′1 = a1
a′2 = 2a1 + a2
a′3 = −2a1 − 2a2 + a3 (8)

Tenemos que q en la nueva base ortogonal B ′ tendrá por matriz asociada A′ = P T AP =

diag(1, −3, 9) y dado que q(x) = (x)TB ′ A′ (x)B ′

q(x) = Ψ(y 1 , y 2 , y 3 ) = (y 1 )2 − 3(y 2 )2 + 9(y 3 )2 (9)

La signatura de q es (2, 1) y siempre, ante cualquier transformación de coordenadas, se tendrá

que hay dos términos positivos y uno negativo.
Ejemplo 2: Sea E un espacio vectorial de dimensión 3. En una base B = {a1 , a2 , a3 } donde
x = x1 a1 + x2 a2 + x3 a3 se tiene la forma cuadrática

q(x) = Φ(x1 , x2 , x3 ) = x1 x2 + x2 x3 (10)

La matriz A asociado a la forma bilineal simétrica f (o a q(x)) tiene rango igual a 2. En

efecto la matriz asociada  
0 1/2 0
A =  1/2 0 1/2  (11)
0 1/2 0
tiene iguales la primera y tercera filas. Hagamos el siguiente cambio de coordendas

x1 = y 1 + y 2
x2 = y 1 − y 2
x3 = y 3 (12)

q(x) = (y 1 )2 − (y 2 )2 + y 1 y 3 − y 2 y 3
1 1 1 1
= [y 1 + y 3 ]2 − (y 3 )2 − (y 2 )2 − y 2 y 3 = [y 1 + y 3 ]2 − (y 2 )2 − y 2 y 3 − (y 3 )2
2 4 2 4
1 1
= [y 1 + y 3 ]2 − [y 2 + y 3 ]2 (13)
2 2
Volvamos a hacer un nuevo cambio de cordenadas
1 1 1 2 1 3
z 1 = y 1 + y 3 = x1 + x + x
2 2 2 2
1 1 1 2 1 3
z 2 = y 2 + y 3 = x1 − x + x
2 2 2 2
z 3 = y 3 = x3 (14)

2
 Entonces
q(x) = Ψ(z 1 , z 2 , z 3 ) = (z 1 )2 − (z 2 )2 + 0(z 3 )2 (15)
Observamos que la signatura es (1, 1) y rg(f ) = 2 < dimE
Ejemplo 3: Sea E = R2 con su base canónica y la forma cuadrática

q(x̄) = (x1 )2 − 6x1 x2 + k(x2 )2 (16)

Usemos el método de Lagrange para obtener su forma canónica donde no exista el término
cruzado y hallemos los valores de k para que sea una forma definida positiva

q(x̄) = [x1 − 3x2 ]2 − 9(x2 )2 + k(x2 )2

= [x1 − 3x2 ]2 + (k − 9)(x2 )2 (17)

Luego para k > 9 tendremos q(x̄) > 0 para x ̸= 0̄.

Ejemplo 4: Sea un sistema mecánico (péndulo doble) cuya energı́a cinética en las coorde-
nadas ω̄ = (ω1 , ω2 ) es
1
T (ω̄) = T (ω1 , ω2 ) = mL2 ω12 + mL2 ω22 + mL2 ω1 ω2 (18)
2
donde m es una masa y L una longitud. Encuentre una transformación de coordenadas que
reduzca T (ω1 , ω2 ) a una forma canónica.
 2
2 1 1
T (ω̄) = mL ω1 + ω2 + mL2 ω22 (19)
2 4

Usando la transformación de coordendas Ω1 = ω1 + 21 ω1 y Ω2 = ω2 tenemos

1
T = mL2 (Ω1 )2 + mL2 (Ω2 )2 (20)
4

Ejemplo 5: El campo eléctrico de una onda luminosa es

→
− π
E = Ex⃗ı + Ey⃗ȷ = 8cos(πt)⃗ı + 12cos(πt + )⃗ȷ (21)
3
a) Muestre que
Ex2 Ey2 Ex Ey
+ − =1 (22)
48 108 72
b) Encuentre una base ortogonal donde la ecuación anterior esté en su forma canónica.

2. MÉTODO DE JACOBI
Seaa la forma cuadrática q(x) que se expresa en cierta base dada a través de las coordenadas
del vector x como n X n
X
q(x) = αij xi xj (23)
i=1 j=1

3
para la cual f es la forma bilineal simétrica asociada y tiene por matriz
 
α11 α12 · · · α1n
 α21 α22 · · · α2n 
A =  .. (24)
 
.. ... .. 
 . . . 
αn1 αn2 · · · αnn

Veamos los denominados menores principales de la matriz A

 
   α11 α12 α13 
 α11 α12   
∆1 = α11 ∆2 =    ∆ 3 =  α21 α22 α23  ... ∆n = det A (25)
α21 α22  
 α31 α32

α33 

Además para facilitar la escritura de las siguientes expresiones introduzcamos la notación

∆0 = 1.
El método de Jacobi consiste en la suposición que todos los menores principales son diferentes
de cero:
∆1 ̸= 0, ∆2 ̸= 0 ... ∆n ̸= 0 (26)
En la base constituı́da por el método de Jacobi la forma cuadrática se expresa por
∆0 ′1 2 ∆1 ′2 2 ∆n−1 ′n 2
q(x) = (x ) + (x ) + ... + (x ) (27)
∆1 ∆2 ∆n

Criterio de Silvestre: Para que una forma esté definida positivamente es necesario y suficiente
que todos sus menores principales sean positivos.
Ejemplo 6: Sea la siguiente forma cuadrática

q(x) = Φ(x1 , x2 , x3 ) = λ(x1 )2 + λ(x1 )2 + λ(x3 )2 + 2x1 x2 + 2x1 x3 + 2x2 x3 (28)

La matriz asociada es  
λ 1 1
A= 1 λ 1  (29)
1 1 λ
Los menores principales de ésta matriz son
 
   λ 1 1 
 λ 1   
∆1 = λ ∆2 =   = λ2 − 1 ∆3 =  1 λ 1  = λ3 − 3λ + 2 (30)
1 λ 
 1 1 λ



Usando el método de Jacobi tenemos que, con las nuevas coordenadas

1 ′1 2 λ λ2 − 1
q(x) = Ψ(x′1 , x′2 , x′3 ) = (x ) + 2 (x′2 )2 + 3 (x′3 )2 (31)
λ λ −1 λ − 3λ + 2
Investigue los valores que debe tener λ para que q(x) sea definida positiva, es decir para que
s = 3.

4
3. FORMAS HERMITIANAS
Aplicaciones y formas semilineales
Sean E y F dos espacios vectoriales sobre C se llama aplicación semilineal de E en F
toda aplicación u de E en F verificando para todo x, todo x′ de E y todo λ de C

u(x + x′ ) = u(x) + u(x′ ) u(λx) = λ∗ x (32)

donde λ∗ es el conjugado complejo de λ. Si E = F se dice que u es una forma semilineal

definida sobre E.
Formas sesquilineales
Sean E y F dos espacios vectoriales sobre C se dice que una aplicación f de E × F en C es
una forma sesquilineal si ella verifica las siguientes relaciones: cualesquiera sean x y x′ de
E, y e y ′ de F y todo λ de C

f (x, y + y ′ ) = f (x, y) + f (x, y ′ ) f (x, λy) = λf (x, y)

f (x + x′ , y) = f (x, y) + f (x′ , y) f (λx, y) = λ∗ f (x, y) (33)

Dicho de otra manera f es sesquilineal si y solamente si

fx = f (x, .) es una forma lineal sobre F
fy = f (., y) es una forma semilineal sobre E.
Si E y F son de dimensión finita con sus bases respectivas BE = (ai ) (1 ≤ i ≤ n) y
BF = (bj ) (1 ≤ j ≤ m) y colocando
n
X m
X
i
x= x ai y= y j bj f (ai , bj ) = αij ∈ C (34)
i=1 j=1

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

La matriz A = (αij ), matriz compleja con n filas y m columnas se llama asociada a la forma
sesquilineal f ; con las notaciones habituales

f (x, y) = (x)∗T
BE A(y)BF (36)

donde (x)∗BE = (x1∗ , x2∗ , ..., xn∗ )T

Formas hermitianas
Supongamos E = F se puede entonces considerar simultáneamente f (x, y) y f (y, x); se dice
que la forma sesquilineal definida sobre E × E es forma hermitiana si y solamente si

(∀(x, y) ∈ E 2 ) f (x, y) = f (y, x)∗ (37)

Se dirá que f es una ”forma hermitiana sobre E”. Resulta inmediatamente de ésta
definición que ∀x ∈ E f (x, x) ∈ R. Se llamará forma cuadrática hermitiana asoci-
ada a la forma hermitiana f la aplicación q de E en R definida por

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

5
Sea (ai ) (1 ≤ i ≤ n) una base de E de dimensión n sobre C, la matriz A = (αij ) asociada a
la forma hermitiana f relativamente a (ai ) es tal que para todo par (i, j)

αij = f (ai , aj ) = f (aj , ai )∗ = αji

∗ ∗
=⇒ αji = αij (39)

es decir AT = A∗ .
Definición: Se llama adjunta de una matriz A a la matriz A† = (A∗ )T . Una matriz A se
llama hermitiana si A† = A.
Hemos visto que la matriz A, asociada a la forma hermitiana f es AT = A∗ entonces (AT )∗ =
(A∗ )∗ o equivalentemente A† = A es decir A es hermitiana.
Ejemplo 1: Sea E = Cn sobre C con elementos x = (x1 , x2 , ..., xn ) e y = (y 1 , y 2 , ..., y n ) y la
función f : E × E → C definida por

f (x, y) = x1∗ y 1 + x2∗ y 2 + ... + xn∗ y n (40)

Demuestre que f es una forma hermitiana. La forma cuadrática hermitiana q asociada a f

es n n
X X
i∗ i
q(x) = f (x, x) = x x = | xi |2 (41)
i=1 i=1

Ejemplo 2: Sea E = Mn (C) y la función f : E × E → C definida por

f (X, Y ) = tr(X † Y ) (42)

Demuestre que f es una forma hermitiana. La forma cuadrática hermitiana q asociada a f

es
q(X) = tr(X † X) (43)

Ejemplo 3: Sea E = F([a, b], C) y la función f : E × E → C definida como

Z b
f (x, y) = x(t)∗ y(t) dt (44)
a

donde x ∈ E ⇒ x(t) = x1 (t) + ix2 (t) con x1 , x2 : [a, b] → R. Muestre que f es una forma
hermitiana. La forma cuadrática hermitiana q asociada a f es
Z b
q(x) = | x(t) |2 dt (45)
a

Estudio de las formas hermitianas sobre E, espacio vectorial de dimensión finita

sobre C
Como λ = 0 es equivalente a λ∗ = 0 tenemos

f (x, y) = 0 ⇐⇒ f (y, x) = f (x, y)∗ = 0 (46)

Si una de éstas condiciones se cumple diremos que x e y son ortogonales relativamente a f ;

de ello resulta inmediatamente la definición de subespacios ortogonales y del ortogonal F ⊥
de un subespacio F de E (relativamente a f ). La definición de los elementos x de E isotropos

6
(relativamente a f ) por f (x, x) = 0 resulta igualmente, ası́ como el de subespacio isotropo F
de E: existe x ̸= 0E isotropo ortogonal a todo el subespacio F .
Una base (ai ) de E será ortogonal relativamente a f si

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

y ortonormal relativamente a f si ella es ortogonal y si

(i = 1, 2, ..., n) =⇒ f (ai , ai ) = 1 (48)

De otra parte la forma fx = f (x, .) es lineal, por el contrario la forma fy = f (., y) es semilineal
entonces fx pertence a E ⋆ , designaremos aquı́ por φ únicamente la aplicación de E en E ⋆
definida por
(∀x ∈ E) φ(x) = fx = f (x, .) (49)
Se puede mostrar que ésta aplicación es una forma semilineal de E en E ⋆ .
Recordemos que en el caso hermitiano f (x, x) es real cualquiera sea x de E.
Núcleo de una forma hermitiana. Forma hermitiana no degenerada
El núcleo de φ será aún llamada el núcleo de la forma hermitiana f . Si Kerf = {0E } se dirá
que f es nodegenerado sobre E.
Teorema 1: Sea f una forma hermitiana sobre E, espacio vectorial de dimensión n sobre
C y (αij ) la matriz asociada a f en 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 definida por φ(x) = fx = f (x, .) es biyectiva.
(5) det(αij ) ̸= 0.
La dimensión r de φ(E), es decir el rango de φ es aún llamada el rango de la forma hermitiana
f . El núcleo de f es decir el núcleo de φ es de dimensión n − r.
Si r < n, es decir si Kerf ̸= {0E } se dice que la forma hermitiana f es degenerada sobre
E.
Teorema 2: Sea E un espacio vectorial de dimensión finita sobre C, para toda forma
hermitiana f sobre E y todo subespacio vectorial F de E las propiedades siguientes son
equivalentes:
(1) La restricción de f a F es no degenerada.
(2) F ∩ F ⊥ = {0E }.
(3) F no es isotropo.
(4) E = F ⊕ F ⊥
Teorema 3: Sea f forma hermitiana no degenerada sobre E, espacio vectorial de dimensión
finita y F ⊥ el ortogonal de F relativamente a f , para todo subespacio F de E se tiene

dimF ⊥ = dimE − dimF (F ⊥ )⊥ = F (50)

7
Existencia de bases ortogonales
Teorema 4: Para todo espacio vectorial E de dimensión n sobre C, existe bases ortogonales
relativamente a toda forma hermitiana f sobre E.
De una manera más precisa, si f es de rango r entonces existe bases de E tales que

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

En una tal base r r

X X
i∗ i
f (x, y) = αii x y q(x) = αii | xi |2 (52)
i=1 i=1

Siendo los αii (1 ≤ i ≤ r) reales no nulos, se demostrará

Teorema 5: Sea q la forma cuadrática hermitiana asociada a una forma hermitiana f sobre
E espacio vectorial de dimensión n sobre C
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 ) (53)
i=1 j=s+1

2) Si existe una segunda 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′ ′ +t′
sX
X
q(x) = | x′i |2 − | x′j |2 s′ + t′ = r = rg(f ) (54)
i=1 j=s′ +1

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

(s, t) es la signatura de la forma hermitiana f .
Formas hermitianas positivas y no degeneradas positvas.
Recordemos que para toda forma hermitiana f sobre E espacio vectorial sobre C, f (x, x) es
real y podemos entonces enunciar
Definición: Diremos que una forma hermitiana f y la forma cuadrática asociada q son
positivas si
(∀x ∈ E) f (x, x) = q(x) ≥ 0 (55)

Teorema 10: Sea f una forma hermitiana positiva sobre E, espacio vectorial sobre C
entonces se tiene
(∀(x, y) ∈ E 2 ) | f (x, y) |2 ≤ f (x, x)f (y, y) (56)
(Desigualdad de Schwarz)

8
De ello se deduce inmediatamente
Corolario 1: Sea q una forma cuadrática hermitiana asociada a la forma hermitiana positiva
f p p p
(∀(x, y) ∈ E 2 ) q(x + y) ≤ q(x) + q(y) (57)
Se deduce igualmente de la desigualdad de Schwarz el resultado siguiente
Corolario 2: El núcleo de una forma hermitiana positiva f sobre E, espacio vectorial sobre
C es el conjunto de los vectores isotropos de E relativamente a f .
Recordemos que, debido a la existencia de bases ortogonales relativa a la forma hermitiana
f sobre E de dimensión n

s
X s+t
X
i 2
f (x, x) = q(x) = |x | − | xj |2 (58)
i=1 j=s+1

t = 0 si y solamente si la forma f es positiva. En este caso r = rg(f ) = s, entonces s = n

si y solamente si f es no degenerada positiva: la base encontrada es entonces en este caso
ortonormal, de donde
Corolario: Sea E un espacio vectorial de dimensión finita sobre C, entonces existe bases de
E ortonormales relativas a toda forma hermitiana no degenerada positiva sobre E.

09/12/2021