Cantera de ejercicios 23

E JERCICIO 10.10. Una aplicación lineal A : Rn → Rn se dice positiva cuando es

simétrica y, además de eso, ⟨Ax, x⟩ > 0 para todo x ̸= 0 en Rn . El conjunto de las
aplicaciones lineales positivas es convexo y abierto en el conjunto de las aplicaciones
simétricas.

Demostración. Denote por L (Rn ; Rn ) al espacio vectorial de las transformaciones

lineales A : Rn → Rn . Como se sabe, este espacio es de dimensión n × n y además
2
es isomorfo a Rn , y también isomorfo al espacio M (n × n; R) formado por matrices
reales, de orden n.
Una aplicación lineal A : Rn → Rn es simétrica cuando A = A∗ , donde
A : Rn → Rn es también una transformación lineal tal que ⟨Ax, y⟩ = ⟨x, A∗ y⟩,
∗

para todo x, y ∈ Rn . Sea Ls (Rn ; Rn ) ⊆ L (Rn ; Rn ) el subespacio vectorial formado

FT
por transformaciones lineales simétricas. Como se sabe, Ls (Rn ; Rn ) tiene dimensión
n(n + 1)/2, por tanto, podemos identificar Ls (Rn ; Rn ) con Rn(n+1)/2 .
Sea Lp ⊆ Ls (Rn ; Rn ) el conjunto de aplicaciones lineales positivas. En primer lu-
gar observe que si A, B ∈ Lp , en particular, A y B son simétricas y como Ls (Rn ; Rn )
es subespacio vectorial entonces para todo 0 ≤ t ≤ 1, la aplicación (1 − t)A + tB
también es simétrica. Además de esto, para todo x ̸= 0 considere

⟨[(1 − t)A + tB]x, x⟩ = (1 − t)⟨Ax, x⟩ + t⟨Bx, x⟩. (1)

Si 0 < t < 1 entonces t⟨Ax, x⟩ < ⟨Ax, x⟩, luego

RA
t⟨Ax, x⟩ < t⟨Ax, x⟩ + t⟨Bx, x⟩ < ⟨Ax, x⟩ + t⟨Bx, x⟩,

es decir, t⟨Ax, x⟩ < ⟨Ax, x⟩ + t⟨Bx, x⟩ y, por tanto, (1 − t)⟨Ax, x⟩ + t⟨Bx, x⟩ > 0.
Esto muestra que la expresión (1) siempre es positiva para todo x ̸= 0 y todo 0 < t < 1.
En los casos t = 0 y t = 1 es inmediato comprobar que ⟨[(1 − t)A + tB]x, x⟩ > 0,
pues ellos se reducen a ⟨Ax, x⟩ > 0 y ⟨Bx, x⟩ > 0, respectivamente. En conclu-
sión, Lp es convexo.
Por otro lado, es sencillo mostrar que las funciones f : L (Rn ; Rn ) → L (Rn ; Rn )
y g : L (Rn ; Rn ) → R, definidas por

f (A) = A − A∗ y g(A) = mı́n {⟨Ax, x⟩},

D

∥x∥=1

son continuas. Además, siendo

Lp = Ls (Rn ; Rn ) ∩ Lp = f −1 (0) ∩ g −1 ((0, +∞)).

se concluye que Lp es subconjunto abierto de Ls (Rn ; Rn ). z

O. Santamaria S.