2 Teoria de Errores v2
2 Teoria de Errores v2
2 Teoria de Errores v2
Teoría de Errores
1. Introducción
2
Cátedra: Programación Numérica Dr. Angel R. Barberis
S Exponente Mantisa
1 8 bits 23 bits
3
Cátedra: Programación Numérica Dr. Angel R. Barberis
Máquina Precisión t L U
Simple 2 48 -8192 8191
Cray
Doble 2 96 -16383 16384
Simple 16 6 -64 63
IBM mainframe Doble 16 14 -64 63
Extendida 16 28 -64 63
Simple 2 24 -127 128
IEEE estándar 754, 1985 Doble 2 53 -1023 1024
Extendida 2 64 -16381 16384
Calculadoras HP 10 12 -499 499
Tabla 1: Parámetros de los Sistemas de Numeración para distintas máquinas.
4
Cátedra: Programación Numérica Dr. Angel R. Barberis
= ± + + ⋯+ × = ±0, ⋯ × ,
Un número real f distinto de cero, se dice que está en punto flotante normalizado,
si se encuentra expresado de la forma:
= ± · ≤ <1
En una malla compuesta por números en punto flotante normalizado (PFN),
un número ≠ 0, ∈ está acotado de la siguiente manera:
≤ | | ≤ (1 − )·
Una de las características de todo conjunto de punto flotante F es la ser finito y tiene:
2 · ( − 1) · · ( − + 1)
números diferentes (sin incluir el cero). Todos están en punto flotante normalizados. En
la fórmula anterior:
El factor 2 es por las dos opciones de signo que se tiene (positivo y negativo).
Se tiene ( 1) valores posibles para el dígito d1 (no puede valer cero).
Se tiene posibles valores para los (t 1) dígitos restantes. De esta manera hay
( − 1) · · · ⋯· = ( − 1) · fracciones positivas diferentes.
5
Cátedra: Programación Numérica Dr. Angel R. Barberis
| − |=
1 0 0 1 8
0.100 2
2 22 23 2 16
1 0 1 5 10
0.1012 2 3
2 2 2 8 16
1 1 0 3 12
0.110 2 2 3
2 2 2 4 16
1 1 1 7 14
0.1112 2 3
2 2 2 8 16
Combinando estas mantisas con los exponentes, obtenemos todos los números positivos
de F que aparecen en la siguiente TABLA:
6
Cátedra: Programación Numérica Dr. Angel R. Barberis
Como se está más familiarizados con los números decimales (en base β = 10), los
32 elementos de F en formato decimal(racional) son:
4 5 6 7 8 10 12 14
, , , , , , ,
16 16 16 16 16 16 16 16
16 20 24 28 32 40 48 56
, , , , , , ,
16 16 16 16 16 16 16 16
7
Cátedra: Programación Numérica Dr. Angel R. Barberis
Los errores no son más que la diferencia (discrepancia) entre un valor exacto y
uno aproximado en términos absolutos. El error de estimación puede ser obtenido a través
de diversas fuentes.
Clasificación:
INHERENTE A LOS DATOS: es el error propio de los datos con los que se
cuenta. Estos errores son producidos como consecuencia del proceso de estimación
y medición. En algunos casos, son producidos por la dificultad en la representación
de los datos.
Ejemplo:
o Medición: distancia entre los puntos geográficos.
o Estimación: determinación de la hora del día.
o Representación: √2
=1+ + !
⇒ = + + ⋯+ +⋯
! !
8
Cátedra: Programación Numérica Dr. Angel R. Barberis
* Tanto el error absoluto como el relativo expresan cotas del error producido *
9
Cátedra: Programación Numérica Dr. Angel R. Barberis
2) Error Relativo ( ) :
| ̅| ∆( ) ∆( )
( )=
| |
= | |
= | ̅|
entonces la cota es ( ) ≤
⇒ ≤| |<
( )
| − ̅|
⇒ ≤
| |
10
Cátedra: Programación Numérica Dr. Angel R. Barberis
+
2
El representante de será de los dos consecutivos, el más cercano. Sea ̅ el
representante más próximo a , esto es:
Si > , entonces ̅ =
Si < , entonces ̅ =
1) Error Absoluto:
Se sabe que la diferencia entre dos representantes consecutivos es | − | = (1)
Por lo tanto la mayor diferencia entre y ̅ será igual a la mitad de | − | , es decir:
1
| − |≤ | − |
2
Por (1) se tiene que ∆( ) = | − ̅ | ≤
2) Error Relativo:
Teniendo en cuenta el concepto de normalización se sabe que ≤| |< (2)
Si consideramos la primera desigualdad de (2) y la multiplicamos miembro a miembro
con (x), se tiene
1
| − ̅ |≤
2
≤| |
1
| − ̅ |≤ | |
2
1 1
| − ̅ | 2 | − ̅ | 2
⇒ ≤ ⇔ ≤
| | | |
| − ̅ | 1
( )= ≤
| | 2
11
Cátedra: Programación Numérica Dr. Angel R. Barberis
a) Error Absoluto:
∆( ) = | − | = | + − |
∆( ) = | | (1)
b) Error Relativo:
∆( ) | − |
( )= = = =
| | | |
a) Error Absoluto:
Si ≥ 0.5 entonces por definición de Redondeo Simétrico, se suma una unidad al
digito de la posición de la mantisa a. Esto es = +1
Luego
∆( ) = | − | = | + −( +1 )|
=| + − − |
=| − |= | − 1| (1)
Acotando | − 1| se tiene:
12
Cátedra: Programación Numérica Dr. Angel R. Barberis
Por lo tanto, la Cota del Error Absoluto en la representación aritmética del resultado
de alguna operación es:
1
∆( ) ≤
2
b) Error Relativo:
∆( ) | | | |
Si ≥ 0.5 ⇒ = +1 ⇒ ( )=
| |
= | |
≅ | |
1 1
⇒ ( )= 2 ≅ 2
+ +1
1 1 − 1 −
⇒ ( )= 2 = 2 = 2
( + )
13
Cátedra: Programación Numérica Dr. Angel R. Barberis
Por lo tanto, la Cota del Error Relativo en la representación aritmética del resultado
de alguna operación es:
1
( )=
2
Suma = +
Error Absoluto: = + = + ∆( ) + + ∆( )
⇒ = ( + ) + ∆( ) + ∆( )
⇒ | − | = |∆( ) + ∆( )| < |∆( )| + |∆( )|
⇒ ∆( ) = | − ̅| < |∆( )| + |∆( )|
14
Cátedra: Programación Numérica Dr. Angel R. Barberis
Error Relativo:
| − | |∆( ) + ∆( )| ∆( ) ∆( )
( )= = = +
| | | + | + +
∆( ) ∆( ) ∆( ) ∆( )
⇒ ( )= + = ( )+ ( )
+ + + +
⇒ ( )≤ ( ) + ( )
+ +
⇒ ( )≤ ( )+ ( )
+ +
Resta = −
Error Absoluto: = − = + ∆( ) − − ∆( )
= ( − ) + ∆( ) − ∆( )
⇒ − ( − ) = ∆( ) − ∆( ) ⇒ − = ∆( ) − ∆( )
Luego ∆( ) = | − | = |∆( ) − ∆( )| ≤ |∆( )| + |∆( )|
⇒ ∆( ) ≤ |∆( )| + |∆( )|
Error Relativo:
| − | |∆( ) − ∆( )|
( )= =
| | | − |
∆( ) ∆( ) | − ̅| | | | − | | | | | | − ̅| | | | − |
( )= − = · − · = · − ·
| − | | − | | − | | | | − | | | | − | | | | − | | |
| | | | | | | |
⇒ ( )= ( )− ( ) ≤ ( )+ ( )
| | | | | | | |
−
( )≤ ( )+ ( )
− −
15
Cátedra: Programación Numérica Dr. Angel R. Barberis
Producto = ·
Error Absoluto: = = [ + ∆( )] · [ + ∆( )]
·
= + ∆( ) + ∆( ) + ∆( )∆( )
⇒ = + ∆( ) + ∆( )
se desprecia a ∆( )∆( ) por
⇒ − = ∆( ) + ∆( )
ser un error demasiado chico.
Por lo tanto, ∆( ) = | − | = | ∆( ) + ∆( )|
∆( ) ≤ | ̅ |∆( ) + | |∆( )
Error Relativo:
| − | | | ∆( ) | | ∆( ) ∆( ) ∆( )
( )≅ ≤ + = +
| | | · | | · | | | | |
( )≤ ( )+ ( )
Cociente = /
Error Absoluto:
∆( ) ∆( ) ∆( )
= = ∆( ) = · ∆( ) (1)
∆( )
= = + + + +⋯
1−
(− ) = − + − +⋯=
1+
∆( )
Luego, si =1y = < 1 se tiene
1 ∆( ) ∆( ) ∆( ) ∆( )
=1− + − +⋯ ≅ 1−
∆( )
1+
é ≅
+ ∆( ) ∆( ) + ∆( ) [ + ∆( )]∆( ) ∆( ) ∆( ) ∆( )∆( )
= · 1− = − = + − +
16
Cátedra: Programación Numérica Dr. Angel R. Barberis
∆( )
− = − ∆( )
∆( )
⇒ ∆( ) = | − | = − ∆( )
Por lo tanto,
∆( )
∆( ) ≤ + − ∆( )
Error Relativo:
∆( )
− ∆( )
| − | ∆( ) ∆( ) ∆( )
( )= = = − ∆( ) · = − = | ( ) − ( )|
| |
Por lo tanto,
( ) ≤ | ( )| + |− ( )|
Graficas de Procesos
Cada una de las operaciones vistas anteriormente puede ser representada a través
de una gráfica de proceso.
17
Cátedra: Programación Numérica Dr. Angel R. Barberis
a) Suma b) Resta
( + )= ( )+ ( ) + (+) ( − )= ( )− ( ) + (−)
+ + − −
(+ (
-
+ + + +
X Y X Y
c) Multiplicación d) Cociente
( · ) = ( ) + ( ) + (·) ( / ) = ( ) − ( ) + (/)
( ()
)
1 1 1 1
X Y X Y
Ejemplo: =
()
( )= .0 + ( ) + (+) . 1 − ( ) + (/)
( )= ( ) + (+) − ( ) + (/)
1 1
Sea = mayor{ ( ), ( ), (+), (/)}
⇒ ( )≤ + − + (+
) b
⇒ ( )≤( + 1)
1
⇒ ( )≤ (b)
1+ 1+
1) lim = 1 a
→
(1)=0 (a)
2) lim = lim 2 = 2
→ →
18
Cátedra: Programación Numérica Dr. Angel R. Barberis
Ejemplo:
= + + + > > > Representantes exactos.
=( ( )+ + )
=( ( )+ + )
Entonces
= = en ℝ
≠ ≠ en la Maya.
= ( ( ( )+ )+ )
= ( ( + )(1 + ) + + )
= ( ( + )(1 + ) + (1 + ) + )
=( ( + )(1 + ) + (1 + ) + )(1 + )
…
=( + )(1 + ) + (1 + ) + (1 + )
⇒ ≤( + + + ) + 1.01 (3 +3 +2 + )
− ≤ 1.01 (3 +3 +2 + ) (1)
= ( ( ( + )+ )+ )
=⋯
= ( + )(1 + ) + (1 + ) + (1 + )
=⋯
≤( + + + ) + 1.01 (3 +3 +2 + )
− ≤ 1.01 (3 +3 +2 + ) (2)
19
Cátedra: Programación Numérica Dr. Angel R. Barberis
El lado derecho de (2) es más chico que en (1), debido a que en (2) las mayores constantes
(3 en este caso) multiplica a y que son más chicas que ,y en (1).
Ejemplo:
Sea:
= 104.2 = 0.1042 ∗ 10 =4
= 0.0843 = 0.843 ∗ 10
= 0.0162 = 0.162 ∗ 10
1) =( + )+
= 104.2
+ = 0.0843
+ = 104.2843 PFN = 0.1042 ∗ 10
( + ) = 104.2
+ = 0.0162
( + ) + = 104.2162 PFN = 0.1042 ∗ 10
0.0162
( )= = 0.00015532
104.3005
2) =( + )+
= 0.0843
+ = 0.0162
+ = 0.1005
+ = 104.2
( + )+ = 104.3005 PFN = 0.1043 ∗ 10
0.005
( )= = 0.0000479384
104.3005
∴ ( )< ( )
20