Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorı́a de errores
Samir Posada
Departamento de Informática y Sistemas
Escuela de Ingenierı́a
Universidad EAFIT
Medellı́n,2019
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Indice
Unidad 0: Introducción al curso
Objetivos
Programa
Evaluación
Teorı́a de errores
Fuentes de error
Error absoluto y relativo
Decimales correctos y cifras significativas
Los números en el computador
Exactitud, dispersión y propagación de errores
Exactitud
Errores en la solución de un problema
Propagación de errores
Condición de una función, algoritmos y estabilidad
Condición de una función
Algoritmos y estabilidad
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Objetivos
Competencias
Etapas
Problema:
Modelo:
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Formulación matemática :
• Si dos triángulos tienen 2 ángulos correspondientes iguales
entonces los triángulos son semejantes (Criterio AA).
• Si dos triángulos 4ABC y 4A0 B 0 C 0 son semejantes, entonces
A B C
0
= 0 = 0
A B C
Nota que los ángulos ∠BAD y ∠CAE en la figura son iguales (es el
mismo ángulo). Ası́ mismo, ∠ADB y ∠AEC son iguales (puesto que
BD y CE son paralelos). Luego, los triángulos 4ADB y 4AEC son
semejantes. Ası́,
125 + 33 X
=
33 15
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Solución:
125 + 33 X 2370
= → 15(125 + 33) = 33X → X =
33 15 33
Ası́, X = 71.81 y por tanto la altura del árbol es 71.81 + 5 = 76.81
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Soluciones
Métodos numéricos
Definition
Los métodos numéricos son técnicas mediante las cuales es posible
formular problemas de tal manera que puedan resolverse con
aproximaciones usando operaciones aritméticas de manera eficiente.
Clasificación:
• Métodos directos
• Métodos iteractivos
• Métodos basados en la discretización del continuo
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Objetivo terminal
Programa
1. Teorı́a de errores
2. Solución numérica de ecuaciones no lineales
3. Solución numérica de sistemas de ecuaciones
4. Interpolación
5. Diferenciación e integración
6. Solución numérica de ecuaciones diferenciales
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Evaluación
Seguimiento (30 %)
• 8 quices (20 %). Semanas 3,5,7,8,9,13,14,15.
• 6 tareas (10 %). Semanas 3,5,8,9,13,15.
Objetivos
Error absoluto E
Error relativo ε
E
ε=
x
E
ε̂ =
x̂
Notación numérica
Definition
Decimos que un número en base 10 está escrito en notación de
punto flotante normalizada si el número es de la forma
±0.d1 d2 d3 . . . dk . . . ∗10±n
Clases de redondeo
Decimales correctos
Definition
(Decimales correctos). A un número en notación decimal x se le
determina como x̂ correcto hasta d decimales si x cumple que1
1 Esta definición está sujeta al tipo de redondeo; por ejemplo, por corte, a un
Cifras significativas
Definition
Sea d el número de decimales correctos. La cantidad de cifras
significativas que tiene un número se obtiene contando hacia la
derecha, a partir de la cifra de mayor posición diferente de 0, todas
aquellas cifras que ocupen posiciones mayores o iguales a 10−d
1 111
| {z. . . 1} 1 1| .{z
. . 1} = 16777215 ∗ 2127 ≈ 16777215 ∗ 1038
24 bits mantisa 7 bits exponente
xs − x = 2n−24
y que todos los números reales que pertenecen al intervalo [x, xs ], son
representados por x o xs , según el redondeo usado.
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Actividad
Exactitud y dispersión
Definition
La exactitud es la medida de la cercanı́a de una valor aproximado x̂
al valor verdadero x. Por lo tanto la exactitud está expresada en
términos de
x − x̂
E = |x − x̂| o ε =
x
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Definition
Dado un conjunto finito de valores x̂0 , x̂1 , . . . x̂i , . . . , x̂n , que se
aproximan a un valor verdaderos x, la dispersión3 mide la
aproximación entre los valores dados.
Más precisamente, supongamos que la aplicación de un método
numérico origina un conjunto de valores {x̂0 , x̂1 , x̂2 , . . . , x̂n , x̂n+1 , . . . };
la dispersión es la medida del error entre dos valores aproximados
(supongamos xn y xn−1 ). Normalmente se identifica a xn como la
aproximación actual y a xn−1 como la aproximación anterior.
Ası́, la dispersión se mide como
xn − xn−1
E = |xn − xn−1 | o ε =
xn
Errores inherentes
• Datos
• Incertidumbre en las medidas
• Almacenamiento de números en el computador
• Formulación del modelo
• Valores experimentales
• Representación binaria
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Errores de truncamiento
x2 x4 x6 x8 x10
cos(x) = 1 − + − + − + ···
2! 4! 6! 8! 10!
Calcule cos(pi/4) con una precisión de tres decimales correctos.
Solución:
∞
x2 x4 x6 x8 x10 X (−1)n x2n
cos(x) = 1 − + − + − + ··· =
2! 4! 6! 8! 10! i=0
(2n)!
i = 0, cos(π/4) = 1, E0 = no existe
(π/4)2
i = 1, cos(π/4) = 1 − 2 = 0.69157486, E1 = 0,30
(π/4)2 (π/4)4
i = 2, cos(π/4) = 1 − 2 + 4 = 0.70742921, E2 = 0,15 ∗ 10−1
(π/4)6
i = 3, cos(π/4) = 0.70742921 − 6 = 0.70710321, E3 = 0,32 ∗ 10−3
8
i = 4, cos(π/4) = 0.70710321 + (π/4)
8 = 0.70710681, E4 = 0,35 ∗ 10−5
Note que el valor del error E coincide con el valor del término que se
agrega en cada iteración. A medida que se aumentan las iteraciones,
los resultados se estabilizan.
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Actividad
Error de redondeo
Suma
Ex Ey
Cada valor tiene su error relativo asociado εx = x , εy = y y
εz = Ezz
Ez Ex Ey
= + Dividimos por z
z z z
Ex Ey
εz = + Sustituimos
x+y x+y
xEx yEy
εz = + Amplificación
x(x + y) y(x + y)
x Ex y Ey
εz = + Reordenamiento
x+y x x+y y
x y
εz = εx + εy Sustitución
x+y x+y
x
|Ex | + y |Ey |.
|εz | ≤
x+y x + y
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Ejemplo
Determine el máximo error relativo posible si utilizamos aritmética de
k cifras y redondeo simétrico al calcular el valor de la siguiente
expresión:
5y
w = 6x −
x
Solución: Sea ε1 el error relativo que se sucede en el número
resultante de 6x, ε2 al calcular 5y, ε3 al calcular 5y
x y ε4 al calcular
5y
6x − x .
Ası́,
ε6x = ε6 + εx + ε1
ε6x = εx + ε1
ε5y = ε5 + εy + ε2
ε5y = εy + ε2
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
ε 5y = ε5y − εx + ε3
x
ε 5y = εy + ε2 − εx + ε3
x
5y
6x x
εw = ε6x− 5y = ε6x − ε 5y + ε4
x 6x − 5y
x 6x − 5y
x
x
5y
6x x
εw = (εx + ε1 ) − (εy + ε2 − εx + ε3 ) + ε4
6x − 5y
x 6x − 5y
x
6x 5y
x
|εw | ≤ (|εx | + |ε1 |) + 5y (|εy | + |ε2 | + |εx | + |ε3 |) + |ε4 |
5y
6x − x 6x − x
Por las condiciones del problema, la cota máxima para cada uno de
los errores involucrados es 5 ∗ 10−k . Ası́ se cumple que |εi | < 5 ∗ 10−k
!
6x 5y
|εw | < (1 + 1) + x
(1 + 1 + 1 + 1) + 1 5 ∗ 10−k
6x − 5y x
6x − 5yx
!
12x 20y
x −k
|εw | < + 5y + 1 5 ∗ 10
6x − 5y
x
6x − x
12x2 20y
|εw | < 2 + + 1 5 ∗ 10−k
6x − 5y 6x2 − 5y
12x2 + 20|y|
|εw | < + 1 5 ∗ 10−k
|6x2 − 5y|
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Definition
Una función se dice bien condicionada (estable) si pequeños
cambios en los valores de entrada genera pequeños cambios en los
valores de salida.
Definition
Sea x un dato de entrada y sea y un valor de salida asociada a x
(y = f (x)) entonces
εy = Cf × εx
donde Cf es el número de condición de la función f .
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
x0 f 0 (x0 ) xf 0 (x)
Cf = =
f (x) f (x)
P5 (x) = ((((a5 x + a4 )x + a3 )x + a2 )x + a1 )x + a0
Unidad 0: Introducción al curso Teorı́a de errores Exactitud, dispersión y propagación de errores Condición de una función, algoritm
Error y estabilidad
εn ≈ K n · ε0 IN EST ABLE