Luis Guillermo Ambrosio — 2008-18890

27 de octubre de 2010

Problema 2, Página 239

Sea V un espacio vectorial de dimensión finita sobre R y sea h, i un pro-
ducto escalar sobre V. Demostrar que V admite una descomposición en suma
directa: V = V + ⊕ V − ⊕ V0 donde V0 se define tal como se hizo en el teo-
rema A 1 y donde la forma está definida positivamente sobre V + y definida
negativamente sobre V − .

Por el teorema 12 se sabe que V puede expresarse como una suma directa
de dos espacios vectoriales V0 y W ası́: V = V0 ⊕ V + . Queda demostrar que
W = V + ⊕ V − . Sea w un elemento en W y sean a y b elementos de V +
y de V − respectivamente, tales que w = a + b. Los elementos de V + son
los definidos positivamente en el espacio W y los elementos de V − son los
definidos negativamente en W . Como w puede ser expresado como la suma
de a y b, se cumple la primera condición para la suma directa de subespacios.
La segunda condición es que la intersección entre los espacios sea {0}.

Ahora suponer que a y b son el mismo elemento y que este elemento está en
ambos subespacios. Sea {v10 , v20 , ...vr0 } una base de V + y sea {v100 , v200 , ...vs00 } una
base de V −

Si a = b, ha, ai = hb, bi, se desarrollan estos productos escalares y queda

ası́:
a21 hv10 , v10 i + ... + a2r hvr0 , vr0 i = b21 hv100 , v100 i + ... + a2r hvs00 , vs00 i
Los productos escalares de los elementos de la base en el lado izquierdo nos
quedan todos mayores que cero, por estar definido el producto escalar posi-
tivamente en el espacio V + . Los productos escalares de los elementos de la
1
Álgebra Lineal, Serge Lang. Capı́tulo VIII, sección 6, teorema 12. Pág. 237.

1
base en el lado derecho nos quedan todos menores que cero por estar definido
el producto escalar negativamente en V − . Como las componentes de a y b
son números reales, los cuadrados a2i y b2i son todos positivos de modo que
en el lado izquierdo queda un valor real positivo y en el derecho un valor real
negativo y estos valores son iguales. La única manera de que esto sea posible
es siendo a y b cero. Se demuestra que la intersección entre los espacios V +
y V − es el cero.

Ahora se demuestra que cada uno de los subespacios mencionados tienen

una misma dimensión en todas las descomposiciones posibles con el producto
escalar h, i. Ésto está demostrado en el teorema A para el subespacio nulo V0 .
Para los otros dos subespacios se recurre a un segundo teorema; el teorema
de Sylvester. 2 El teorema de Sylvester dice que para un espacio vectorial
de dimensión finita sobre R con un producto escalar, existe un entero r ≥ 0
que es la cantidad de vectores en una base {v1 , v2 , ..., vn } de V tales que
hvi , vi i > 0, i = 1, ..., r.

Este número r solo depende del producto escalar h, i tomado para el es-
pacio vectorial en cuestión. Suponer que existen dos descomposiciones de
V : [W + ⊕ W − ⊕ W0 ] y [U + ⊕ U − ⊕ U0 ]. Se sabe por el teorema A que
dimU0 = dimW0 . Ahora, por el teorema de Sylvester, considerar dos bases
para V que generen a las descomposiciones mencionadas.
Sea {w1 , ..., wn } base de [W + ⊕ W − ⊕ W0 ] y sea {u1 , ..., un } base de [U + ⊕
U − ⊕ U0 ]. Suponer un número real s tal que dimU0 = dimW0 = n − s y
que por lo tanto indica la cantidad de vectores no nulos en V . Las bases
de [W + ⊕ W − ] y [U + ⊕ U − ] son {w1 , ..., ws } y {u1 , ..., us } respectivamente
y suponer que están ordenadas de manera que están primero los vectores
definidos positivamente y luego los definidos negativamente ası́:

Para los espacios W .

hwi , wi i > 0 si 1 ≤ i ≤ r

hwi , wi i < 0 si r + 1 ≤ i ≤ s

Y para los subespacios U:

2
Álgebra Lineal, Serge Lang. Capı́tulo VIII, sección 6, teorema de Sylvester. Pág. 237.

2
 hui , ui i > 0 si 1 ≤ i ≤ r0

hui , ui i < 0 si r0 + 1 ≤ i ≤ s

Donde r es la cantidad de vectores definidos positivamente, es decir

r = dimW + , y r0 la cantidad de vectores definidos positivamente, dimensión
de U + . Por el teorema de Sylvester se sabe que r = r0 . El resto de vectores es
dimW − = dimW − = s − r = s − r0 . Se concluye que para cualquier descom-
posición se tienen las mismas dimensiones para los subespacios mencionados,
siempre y cuando sean con el mismo producto escalar.