Professional Documents
Culture Documents
2.1.
Introducci
on
p1 xq1 1
x2
x3
pI Aq1 I
A2
A3
...
31
...
32
Ak
k
i0
es convergente y sirve para definir la funcion matricial eA .
Por otra parte, el calculo numerico con matrices que proceden de datos experimentales, no es exacto; por lo general matrices estan sometidas, bien sea por errores
de redondeo o por imprecision en las mediciones,a peque
nas perturbaciones. Cuan
peque
nas son estas perturbaciones, o lo que es lo mismo, cuan lejos esta la matriz
verdadera de la calculada son conceptos que se pueden hacer precisos utilizando
normas.
En todo este captulo supondremos que F es el cuerpo R de los n
umeros reales
o el cuerpo C de los n
umeros complejos.
2.2.
Normas de Vectores
2.2.1.
Definici
on y Ejemplos
Definici
on 2.1 .-Sea V un espacio vectorial sobre F (R o C). Una funcion :
V R es una norma en V si satiface las siguientes propiedades:
(i) x 0 pxq 0.
(ii) pxq || pxq,
(iii) px
y q pxq
@ P F.
py q,
@x P V
(desigualdad triangular)
33
(a)
La norma `1 :
k x k1
| xi | .
i 1
(b)
dn
i 1
| xi | 2 .
34
(c)
La norma `8 :
k x k8 max |xi |.
1 i n
(d)
| xi | p
1{p
i 1
Demostrar que las normas `p son, en efecto, normas es facil salvo la desigualdad
triangular que, en el caso general, se conoce como desigualdad de Minkowsky. esta
a su vez, es consecuencia de otra desigualdad importante; la desigualdad de Holder:
Si p y q son n
umeros reales tales que p1 1q 1 entonces
|xy| k x kpk y kq .
En el caso particular en que p 2 (y entonces tambien q
Holder se convierte en una desigualdad bien conocida:
2) la desigualdad de
Aparentemente la norma `8 no es una norma `p . Sin embargo se la puede considerar como tal porque para cualquier x P Fn se tiene que
k x k8 lm k x kp .
35
Algo de esto ya se intuye en la forma que tienen las bolas unidad en R2 para las
normas `p . Tambien admite, claro esta, una demostracion rigurosa: Sea
k x kp p|x1 |p
xn |p q1{p ,
y supongamos que
k x k8 max |xi | |xi1 | |xiq | m.
1 i n
Es decir, que las componentes i1 , . . . , iq son, en modulo, mayores que todas las
demas, y que en todas ellas el valor de dicho modulo es el mismo e igual a m. As,
si tj1 , . . . , jnq u t1, . . . , nuzti1 , . . . , iq u tenemos que
k x kp
n q
x
jk
Como
p
xj
1 conclumos que pl8
m 0 y lm k x kp m k x k8 , tal y
p8
m
k
m
como se deseaba demostrar.
2.2.2.
Equivalencia de normas
ppxxqq c2, @x P V.
36
r
c2
r.
37
Estas propiedades tienen un interes sobre todo teorico, pero nos ahorra tener que
estar prestando atencion continuamente a las normas empleadas cuando se prueban
resultados topologicos. En cualquier caso, una primera consecuencia es que la convergencia de sucesiones de vectores en espacios de dimension finita es independiente
de la norma elegida.
La demostracion de que todas las normas definidas en un espacio vectorial de
dimension finita son equivalentes se puede hacer de diversas formas. La que adoptamos aqu no es la mas directa pero tiene la virtud de poner de manifiesto una
propiedad fundamental de los espacios vectoriales de dimension finita: estos espacios vectoriales estan caracterizados por el hecho de que las esferas unidades respecto
de cualquier norma son conjuntos compactos. Demostraremos esta importante propiedad (que usaremos de manera significativa posteriormente) en el siguiente Lema.
En la prueba usaremos que las normas `1 y `2 en Fn son equivalentes. En efecto, tal
y como se propone demostrar en los ejercicios, se tiene la siguiente desigualdad para
todo xFn :
?
(2.1)
}x}2 }x}1 n}x}2.
Una u
ltima observacion: notese que la acotacion no se conserva por homeomorfismo (el intervalo p0, 1q es homeormorfo a R) pero si dos normas son equivalentes y un
conjunto es acotado respecto de una de ellas lo es, por la definicion de equivalencia
de normas, respecto de la otra.
Lema 2.4 (a) Todas las normas definidas en V , espacio vectorial sobre F, son
funciones continuas cuando en V se considera la topologa inducida por y
en R la topologa habitual (la inducida por el valor absoluto).
(b) Sea V un espacio vectorial de dimension finita y una norma en V . La esfera
unidad de V respecto de la norma , S tx P V | pxq 1u, es un conjunto
compacto con la topologa en V inducida por dicha norma.
Demostraci
on.(a) Sea una norma definida en V y consideremos en V la topologa inducida
por esta norma. Sea 0 un n
umero real arbitrario. Escogemos 0 .
Entonces, como para todo x, y P V
38
resulta que si px y q
es continua.
Fn
a pa1 , . . . , an q
a1 v 1
an v n
n
paivi biviq
i 1
i 1
39
Fn
p a1 , . . . , a n q
pa1 v1
R son funciones
an v n q
1 pxq
Pero como
a1
, . . . aan1
a 1
}}
}}
}a}1
vi
f
}a}1
vi
i 1
an vn
ai vi
i1
ai
} a} 1
n
ai
i 1
a1
an
,...
}a}1 }a}1
m.
Por lo tanto
1 pxq }a}1 m,
1
y como m 0 obtenemos }a}1
. As pues, g 1 pS q esta acotado en
m
la norma `1 (y por lo tanto en al norma `2 ). Y como tambien es cerrado
en ambas normas por ser equivalentes, y F R o C, g 1 pS q es compacto.
Finalmente, como g biyectiva, g pg 1 pS qq S . Ahora bien, la imagen de un
compacto por una aplicacion continua es compacto. Conclumos entonces que
S es compacto, tal y como se deseaba demostrar.
El recproco del apartado (b) del lema anterior tambien es verdadero. Aunque no
lo vamos a utilizar lo exponemos por completitud. La demostracion usa el siguiente
resultado de Riesz, que no demostramos:
40
Lema 2.5 (Lemma de Riesz) Sea E un espacio vectorial y una norma definida
en el. Sea S E un subespacio propio y 0 1. Existe x P E zS tal que
px q 1 y ps x q para cada s P S.
Teorema 2.6 Un espacio vectorial V es de dimension finita si y solo si la esfera
unidad en V , respecto de cualquier norma, es un conjunto compacto.
Demostraci
on.- La necesidad de que la esfera unidad sea un conjunto compacto
para que V sea de dimension finita se ha probado en el Lema 2.4. Demostremos ahora
la suficiencia.
Sea una norma en V y supongamos que V es de dimension infinita. Sea x1 P V
cualquier vector tal que px1 q 1. Sea V1 x1 el subespacio generado por x1 .
Como V es de dimension infinita, V1 es un subespacio propio de V , por el Lema de
Riesz, existe x2 P V tal que px2 q 1 y px2 y q 21 para todo y P V1 .
Sea V2 x1 , x2 el subespacio generado por x1 y x2 . De nuevo, V2 V es un
subespacio propio de V . Aplicando otra vez el Lema de Riesz, existe x3 P V tal que
px3 q 1 y px3 y q 21 para todo y P V2 .
Siguiendo as sucesivamente, construmos una sucesion de vectores txn u con las
siguientes propiedades:
(a) pxn q 1 para n 1, 2, . . .
(b) pxn xm q
1
2
para n m, n, m P N.
41
Demostraci
on.- Sea V un espacio vectorial de dimension finita sobre F, y sean
y dos normas definidas en V . Sea S tx P V |pxq 1u.
Por una parte, este conjunto es compacto con la topologa en V inducida por la
norma . Hemos visto en la demostracion del Lema 2.4 que si
g :
Fn
a pa1 , . . . , an q
a1 v 1
an vn
x
pxq
x
pxq
pxq m
n py q c2 pxq.
y PS
pxq m
ax py q c1 pxq.
y PS
Una consecuencia inmediata de la equivalencia de normas en espacios de dimension finita es que los isomorfismos algebraicos de espacios vectoriales normados son
isomorfismos topologicos u homeomorfismos:
Corolario 2.8 Sean V1 y V2 dos espacios vectoriales de dimension finita n sobre
F y sea f : V1 V2 un isomorfismo. Sean y normas definidas en V1 y V2 ,
respectivamente. Entonces f y f 1 son aplicaciones continuas cuando en V1 y V2 se
consideran las topologas inducidas por estas normas.
42
Demostraci
on Probamos la continuidad de f , la de f 1 se demuestra igual.
En primer lugar, es facil demostrar que la aplicacion : V1 R definida por
pxq pf pxqq es una norma en V1 . Como V1 es de dimension finita, y son
equivalentes. Existe una constante positiva c2 tal que pxq c2 pxq para todo
x P V1 .
Sea ahora 0 un n
umero real dado. Escojamos de modo que 0
Entonces, si x, y P V1 cumplen que px y q , se sigue
pf pxq f py qq pf px y qq px y q c2 px y q c2
.
c2
Fn
a pa1 , . . . , an q
a1v1
an vn
2.3.
2.3.1.
Normas de Matrices
Definiciones, Ejemplos y Primeras Propiedades
43
Definici
on 2.9 .- Sean , y normas definidas en Fmn , Fnp y Fmp , respectivamente. Diremos que , y son consistentes si para todas matrices A P Fmn
y B P Fnp se verifica
pAB q pAq pB q.
Una norma definida en Fnn consistente tambien se dice que es multiplicativa o submultiplicativa.
Una norma definida en Fnn se dice que es una norma de matriz si es consistente.
Un caso particular importante es el de las normas consistentes (tambien llamadas
en este caso compatibles) con las normas de vector: Si es una norma definida en
Fnn y es una norma definida en Fn entonces se dice que es consistente o
compatible con la norma de vector si para toda matriz A P Fnn y todo vector
x P Fn se tiene que
pAxq pAq pxq
Ejemplo 2.10
m n
| aij |2
12
i 1j 1
p
m
i 1j 1
| ai b j | 2
p
m
i 1j 1
|a1ibj |2
44
k AB k2F
p
m
i 1j 1
n m
}a1i}22}bj }22
1
|a
k 1i 1
m n
i 1k 1
2
ki |
|aik |
k 1j 1
p
n
k 1j 1
|bkj |2
|bkj |2 }A}2F }B }2F
k A k max |ai,j |
1 i m
1 j n
m n
|aij |2
p1
i 1j 1
1 i,j n
1 i,j n
1 i,j n
n
n
k AB k n max aik bkj n max
|aik bkj |
1i,j n
1i,j n
k 1
k1
n
max
1 i,j n
k 1
ab na nb k A kk B k
45
trpA Aq
b) k A k2F k a1 k22
k a2 k22 . . . k an k22 , donde A
esta escrita en terminos de sus vectores columna.
2.3.2.
ra1
a2 an s
P Fnn
Una tecnica general para obtener normas de matriz a partir de normas vectoriales
es la siguiente: Sea A P Fmn y pensemos en A como una transformacion u operador
lineal:
A : Fn Fm
x Ax
Consideremos en Fn y Fm normas }}n y }}m , respectivamente. Es un hecho conocido
que las aplicaciones lineales entre espacios vectoriales normados de dimension finita
son operadores acotados. Que un operador h : E1 E2 entre dos espacios normados
es acotado significa que @x P E1 existe una constante M 0 tal que }hpxq} M }x}
donde hemos representado con el mismo signo, }}, y sin posibilidad de confusion,las
dos normas definidas en E1 y E2 . Lo que sigue es una demostracion de esta propiedad.
Si E1 y E2 son espacios vectoriales de dimension finita, hemos visto en el Corolario
x
2.8 que las aplicaciones lineales son continuas. Si x P E1 entonces
}x} esta en la
esfera unidad S1 de E1 que, por el Lema 2.4, es un conjunto compacto en E1 .
Por consiguiente, si h es lineal entonces, como las normas son siempre funciones
continuas, }} h restringido a S1 alcanza su maximo y mnimo. Sea M max }hpy q}.
y S1
"
}Ax}m : x P Fn, x 0*
}x}n
46
esta acotado superiormente. Consecuentemente, tiene un supremo. Podemos as definir la siguiente funcion:
f : Fmn
R
A
f pAq
donde
f pAq
sup n
P
0 x F
k Ax km
k x kn
kxkn 1
En efecto si M
sup
0 x
kAxkm
kxkn
entonces M
kAxkm
,
kxkn
te, si M
sup
kxkn 1
k Ax km , entonces M
@x 0. En particular M k
sup
kxkn 1
k Ax km . Recprocamen-
max
kxkn 1
k Ax km
maxn
P
0 x F
k Ax km
.
k x kn
Demostraremos ahora que f pAq es una norma vectorial consistente con las normas } }m y } }n . A estas normas se les llama tambien normas de operador.
47
max
kxkn 1
k Ax km
maxn
P
0 x F
k Ax km
k x kn
c)
d)
P Fnp entonces
}AB }m,p }A}m,n}B }n,p.
En particular, si m n entonces la norma } }n,n es una norma de matriz.
Las normas k km,n , k km y k kn son consistentes.
Si es cualquier otra norma de matriz consistente con k km y k kn , entonces
k A km,n pAq, @A P Fmn .
En lo sucesivo, y para evitar una notacion excesivamente pesada, no escribiremos los subndices que asocian cada norma al espacio en el que esta definida y
representaremos todas las normas con el smbolo } }. La razon es que en todo momento es claro en que espacio esta el vector o la matriz sobre el que act
ua la norma.
mn
As, escribiremos }x} y }A} en vez de }x}n o }A}m,n porque si A P F
entonces la
norma en Fmn es }}m,n y no se necesita precisar los subndices; y, ademas, Ax solo
tiene sentido si x P Fn y no se precisa especificar el subndice en el correspondiente
smbolo de la norma.
Demostraci
on.- a) Debemos verificar todos los axiomas que definen las normas
de matriz
(i) Si A 0 existe x
max k Ax k 0.
kxk 1
kxk 1
|| kxk
max
1
kxk 1
k Ax k || k A k .
48
P Fmn entonces k A
B k max k pA
kxk 1
max pk Ax k
kxk 1
k A k
B kk A k
B qx k max k Ax
kxk 1
k Bx kq max k Ax k
kxk 1
k B k. En
Bx k
max k Bx k
kxk 1
kBk.
b) Sean A P Fmn y B
y 0
k Xy k
kyk
0. As
P Fnn entonces
}AB }n,n }A}n,n }B }n,n.
Es decir,
49
k A kk Ax0 k .
Como es consistente con k km y k kn resulta que
k A kk Ax0 km pAq k x0 kn pAq,
tal y como se deseaba demostrar.
Ejemplo 2.12 .- Vamos a ver como se definen explcitamente las normas de matriz
`p para p 1, 2, 8.
1. - La norma de matriz `1 : Sea A P Fmn y escribamos esta matriz en funcion
de sus columnas A ra1 a2 an s. Vamos a probar que la norma de matriz
inducida por la norma `1 es :
k A k1 max
1 j n
o, equivalentemente,
|aij |
i 1
k A k1 max k aj k1
1 j n
1m
ax }a } . Vamos a demostrar que M max }Ax}1 .
j n j 1
}x} 1
Para ello probamos primero que M }Ax}1 para todo x P Fn con }x}1 1;
En efecto, pongamos M
P Fn tal que
50
1 j n
k
Tomando x0
1, x P Fnu que se
}x}1 1
1 j n
1 i n
|aij |.
j 1
1m
ax
|aij |. Por una parte
in
n
Pongamos M
j 1
n
n
|a x |
k Ax k8 max aij xj max
1in j 1
1in j 1 ij j
n
n
1m
ax
|a
in j 1 ij
M }x}8.
As pues
max |xk |
1 k n
}A}8
max
kxk8 1
max
1 i n j 1
|aij |
k Ax k8 M.
k x k8
(2.2)
n
|aij | aij xij ,
j 1
j 1
n
(2.3)
}A}8
51
n
max }Ax}8 }Axi } max aij xij
1
n
j 1
}x}8 1
n
max
1 i nj 1
|aij | M
As pues, debemos demostrar (2.3). Basta encontrar xi tal que aij xij
Pero esta misma identidad nos sirve de definicion:
a
ij
xij
|aij |
|aij |.
siempre que aij 0 y xij 1 si aij 0. Con esta definicion de xi tenemos que
}xi}8 1 y se verifica (2.3) porque cada sumando aij xij |aij | es positivo.
En conclusion
}A1}8 }xm
ax }Ax}8 M max
1in
}8 1
|aij |
j 1
2.4.
Tal y como hemos dicho en la seccion anterior, el uso de normas nos permite
hablar de convergencia de sucesiones de vectores y, por lo tanto, de matrices. El
objetivo de esta seccion es introducir las serie de matrices y demostrar un resultado
que necesitaremos en un tema posterior.
Sea tAk u8
on infinita de matrices con elementos en Fnm , recordemos
k0 una sucesi
que F R o C. Con esta sucesion formamos otra, la de las sumas parciales
Sk
j 0
Aj ,
0.
52
Definici
on 2.13 La serie
j 0
existe el lm Sk . Ademas, si S
k
kl8
m Sk entonces escribiremos
8
Aj
S.
j 0
La convergencia de la serie
j 0
j 0
Proposici
on 2.14 Si la serie numerica
j 0
}Aj }
Aj .
j 0
Demostraci
on.- Sea 0 un n
umero real dado. Veremos que existe un entero
N 0 tal que si p, q N entonces k Sp Sq k . Esto demuestra que la sucesion
tSnu de sumas parciales es una sucesion de Cauchy. Como Fmn es completo, tSnu
converge.
En efecto
q
p
q
q
k Sp Sq k
Aj
}
Aj } }Aj }
}
Aj } .
j p 1 j p 1
j 0
j 0
Ahora bien, si
j 0
53
aj Aj es conver-
j 0
j 0
aj z j en un entorno de z
j 0
aj Aj con A
j 0
0 con un radio de
R, la serie
j 0
Fnn . Si hay
|aj | }A}j
converge y
aj Aj .
j 0
j!1 Aj , @A P Fnn.
j 0
8 p1qj
senpAq
A2j 1 , @A P Fnn .
p
2j
1
q
!
j 0
8 p1qj
2j
nn
cospAq
p2j q! A , @A P F .
eA
j 0
j 0
1z
p1 zq1 si |z| 1:
54
Proposici
on 2.15 Si A
j 0
1 }A}
Demostraci
on.- Si }A} 1 entonces la serie geometrica
te, y por la Proposicion 2.14 la serie matricial
j 0
}A}j es convergen-
Aj converge. Sea B
j 0
pongamos
Sk
Aj y
j 0
Aj .
j 0
Entonces
lm pIn AqSk
y tambien
Ak q In Ak 1 .
pIn AqB,
lm pIn AqSk
kl8
m pIn Ak 1 q.
Ahora bien, lm pIn Ak 1 q In porque }In Ak 1 In } }A}k
k8
numerica t}A}k u converge a cero por ser }A} 1.
En consecuencia pIn AqB In y
k
y la sucesion
1
pIn Aq B Aj .
j 0
Finalmente, como B
j 0
j
Aj kl8
m
A y } } es continua,
j 0
8
k
k
k
8
Aj }B } lm Aj lm }Aj } lm }A}j }A}j ,
k8
k8
j 0
k8 j 0
j 0
j 0
j 0
8 8
}pIn Aq1} Aj }A}j 1 1}A} .
j 0
j 0
55
} } una norma
56