Diferencia entre revisiones de «Práctica 2 (Métodos Numéricos)»
(faltaba una potencia a la -1) |
|||
(No se muestran 4 ediciones intermedias de 2 usuarios) | |||
Línea 65: | Línea 65: | ||
Calcular <math>col_j L^{-1}</math> nos lleva O(<math>n^2</math>) porque se puede plantear directamente el sistema | Calcular <math>col_j L^{-1}</math> nos lleva O(<math>n^2</math>) porque se puede plantear directamente el sistema | ||
<math>L x = e_j</math> donde <math>e_j</math> es el canonico con 1 en la posicion j y <math>x</math> nos daría la columna j de <math>L^{-1}</math>. Se puede llevar a O(<math>(n-j)^2</math>) ya que se sabe de antemano que la columna j de <math>L^{-1}</math> tiene j ceros, es decir no es necesario calcularlos. Idem con <math>fila_i U^{-1}</math>. | <math>L x = e_j</math> donde <math>e_j</math> es el canonico con 1 en la posicion j y <math>x</math> nos daría la columna j de <math>L^{-1}</math>. Se puede llevar a O(<math>(n-j)^2</math>) ya que se sabe de antemano que la columna j de <math>L^{-1}</math> tiene j ceros, es decir no es necesario calcularlos. Idem con <math>fila_i U^{-1}</math>. | ||
==Ejercicio 9== | |||
<b>Sea <math>A \in R^{nxn}</math> inversible tal que A = TS donde <math>T \in R^{nxn}</math> es triangular inferior y <math>S \in R^{nxn}</math> es triangular superior. Probar: | |||
a) T y S son inversibles, usando propiedades de determinantes. | |||
b) A tiene factorización LU (con unos en la diagonal de L).</b> | |||
<b>a)</b> | |||
A es inversible sii det(A) != 0 | |||
det(A) = det(TS) = det(T) * det(S) entonces det(T) != 0, det(S) != 0 sii T, S son inversibles. | |||
<b>b)</b> | |||
A se puede reducir por filas aplicando operaciones de eliminación (operaciones del tipo aFi + Fj) a una matriz triangular superior U. | |||
Ek*E(k-1)*...*E2*E1*A = U entonces A= E1(-1)*E2(-1)*...*Ek(-1)*U | |||
Por construcción, cada matriz elemental E1,...,Ek es triangular inferior y tiene unos en la diagonal principal, por consiguiente sus inversas E1(-1),...,Ek(-1) y la matriz L = E1(-1)*E2(-1)*...*Ek(-1) tienen las mismas características por lo que obtuvimos A = LU con unos en la diagonal. | |||
==Ejercicio 21== | ==Ejercicio 21== | ||
Línea 90: | Línea 111: | ||
<math>||\delta A (A^{-1})|| \leq ||\delta A|| ||A^{-1}|| < \frac{||A^{-1}||}{||A^{-1}||} = 1 \Longrightarrow (I + \delta A (A^{-1}))</math> inversible.<br> | <math>||\delta A (A^{-1})|| \leq ||\delta A|| ||A^{-1}|| < \frac{||A^{-1}||}{||A^{-1}||} = 1 \Longrightarrow (I + \delta A (A^{-1}))</math> inversible.<br> | ||
Pero entonces <math> det(A+\delta A) = det(A(I+(\delta A (A^{-1}))) = det(A) * det( blah ) = 0 </math> porque A es inversible, entonces <math>A+\delta A</math> es inversible.<br><br> | Pero entonces <math> det(A+\delta A) = det(A(I+(\delta A (A^{-1}))) = det(A) * det( blah ) = 0 </math> porque A es inversible, entonces <math>A+\delta A</math> es inversible.<br><br> | ||
ii) <math>||(A+\delta A)^{-1}|| = ||A(I+(\delta A (A^{-1}))|| = || (I+(\delta A (A^{-1}))^{-1} A^{-1}|| \underbrace{\leq}_{por\ b)}</math><br> | ii) <math>||(A+\delta A)^{-1}|| = ||(A(I+(\delta A (A^{-1})))^{-1}|| = || (I+(\delta A (A^{-1}))^{-1} A^{-1}|| \underbrace{\leq}_{por\ b)}</math><br> | ||
<math> \frac{||A^{-1}||}{1-||\delta A (A)^{-1}||} \leq | <math> \frac{||A^{-1}||}{1-||\delta A (A)^{-1}||} \leq | ||
\frac{||A^{-1}||}{1-||\delta A|| ||A^{-1}||}</math><br> | \frac{||A^{-1}||}{1-||\delta A|| ||A^{-1}||}</math><br> | ||
en el último paso usé que <math>||\delta A|| ||A^{-1}|| < 1</math> (por enunciado) y asi aseguro que no divide por 0. | en el último paso usé que <math>||\delta A|| ||A^{-1}|| < 1</math> (por enunciado) y asi aseguro que no divide por 0. | ||
== Ejercicio 22)a) == | |||
Sea x la solucion del sistema Ax = b. | |||
A)Sea <math>(x + \hat{x})</math> la solución del sistema Ax = b + <math>\hat{b}</math>. Acotar la norma de ||x||. | |||
<math> A (x + \hat{x}) = b + \hat{b} </math> | |||
<math> A.x + A.\hat{x} = b + \hat{b}</math> paso restando A.x | |||
<math> A.\hat{x} = b + \hat{b} - A.x</math> luego com A.x = b | |||
<math> A.\hat{x} = b + \hat{b} - b </math> se anula b | |||
<math> A.\hat{x} = \hat{b}</math> supongo q A es INVERSIBLE ==><math> \exists A^{-1}</math> | |||
<math>A^{-1}.A.\hat{x} = A^{-1}.\hat{b} </math> | |||
<math> \hat{x} = A^{-1}.\hat{b}</math> tomo norma de ambos lados | |||
<math> ||\hat{x}|| = ||A^{-1}.\hat{b}||</math> que por C-S-B es... | |||
<math> ||\hat{x}|| \leq ||A^{-1}||.||\hat{b}|| </math> | |||
Listo !! |
Revisión actual - 00:37 20 abr 2018
Ejercicio 6
Sea y sea la matriz que se obtiene a partir de A por el método de eliminación Gaussiana cuando las primeras k columnas ya han sido trianguladas.
b) Usando propiedades de determinantes, probar que A es no singular si y solo si es no singular.
Nota: es la matriz identidad con los coeficientes que se usaron en la eliminacion gaussiana para poner un 0 en la posicion i,j.
Por ejemplo
para una matriz de 4x4.
Asi,
Volviendo al ejercicio
Ejercicio 7
Probar que si tiene todas sus submatrices principales no singulares entonces A tiene factorizacion LU sin pivoteo. Ademas esa factorización es única.
Por induccion en n.
Casos base:
n=1,
n=2, como entonces puedo hacer gauss sin intercambio de filas en entonces se que existen unicos tal que
Paso inductivo:
Supongo que vale
donde son matrices de n-1 x n-1, columnas de n-1 elementos asi como son filas de n-1 elementos.
Quiero ver que vale
Es decir que mis incógnitas son
Como los bloques son del mismo tamaño puedo multiplicar por bloques y queda
i) Despejo haciendo: .
ii) Despejo haciendo: .
iii) Despejo haciendo:.
i) y ii) tiene soluciones únicas porque y son inversibles.
Ejercicio 8
Supongamos que una matriz tiene factorizacion A = LU y que L y U son conocidas. Dar una algoritmo que calcule el elemento (i,j) de en aproximadamente flops. (Un flop es una operacion de punto flotante)
Si A = LU entonces y por lo tanto .
Calcular nos lleva O() porque se puede plantear directamente el sistema
donde es el canonico con 1 en la posicion j y nos daría la columna j de . Se puede llevar a O() ya que se sabe de antemano que la columna j de tiene j ceros, es decir no es necesario calcularlos. Idem con .
Ejercicio 9
Sea inversible tal que A = TS donde es triangular inferior y es triangular superior. Probar:
a) T y S son inversibles, usando propiedades de determinantes.
b) A tiene factorización LU (con unos en la diagonal de L).
a)
A es inversible sii det(A) != 0
det(A) = det(TS) = det(T) * det(S) entonces det(T) != 0, det(S) != 0 sii T, S son inversibles.
b)
A se puede reducir por filas aplicando operaciones de eliminación (operaciones del tipo aFi + Fj) a una matriz triangular superior U.
Ek*E(k-1)*...*E2*E1*A = U entonces A= E1(-1)*E2(-1)*...*Ek(-1)*U
Por construcción, cada matriz elemental E1,...,Ek es triangular inferior y tiene unos en la diagonal principal, por consiguiente sus inversas E1(-1),...,Ek(-1) y la matriz L = E1(-1)*E2(-1)*...*Ek(-1) tienen las mismas características por lo que obtuvimos A = LU con unos en la diagonal.
Ejercicio 21
Sea tal que , siendo cualquier norma consistente.
b) Probar que .
c) Sea una matriz inversible y tal que . Probar que es inversible y vale
b) No se si el enunciado supone que (I+R) es inversible o hay que demostrarlo, por las dudas es asi:
entonces . Si I+R es inversible entonces Nu(I+R) = {0}
Sea .
Da que para que exista un x tal que y entonces lo cual ya sabemos que no pasa. Como cualquier vector se puede llevar a vector de norma 1 el unico x que cumple es 0 entonces es inversible.
Volviendo al ejercicio, por inspiracion divina se me ocurre que
Meto norma en los 2 lados
porque ya que es consistente. El unico numero que cumple esto es 1.
Entonces,
asi que no se puede pasar dividiendo.
c)
i) es inversible. Primero pruebo que es inversible por lo hecho en b). Para eso veo que :
inversible.
Pero entonces porque A es inversible, entonces es inversible.
ii)
en el último paso usé que (por enunciado) y asi aseguro que no divide por 0.
Ejercicio 22)a)
Sea x la solucion del sistema Ax = b.
A)Sea la solución del sistema Ax = b + . Acotar la norma de ||x||.
paso restando A.x
luego com A.x = b
se anula b
supongo q A es INVERSIBLE ==>
tomo norma de ambos lados
que por C-S-B es...
Listo !!