TEORIA DE ERRORES

Fuentes
De error

Errores inherentes: (EI)

Son los errores que afectan a los datos del problema numrico y pueden
tener distintos orgenes. Por ejemplo pueden ser el resultado de la
incertidumbre en cualquier medicin, o por ejemplo cuando queremos
ingresar en una calculadora los valores de 2, , ya que usaremos solo
una cantidad finita de dgitos para representarlos.
Errores de redondeo: (ER)
Son los posibles errores de representacin que se produzcan al realizar
cada clculo de nuestro algoritmo.
Errores de discretizacin o truncamiento: (ED)
Son los que se producen al pasar del problema matemtico al numrico,
por ejemplo cuando se desprecia el trmino complementario,
suplantando una suma infinita por una finita.

Error inherente propagado: La forma en que se propaguen los

errores inherentes quedara definida por el problema numrico.

Error
Final

Error de redondeo propagado: El error de redondeo final ser el

producto de la propagacin de los errores de redondeo en los
clculos y depender del algoritmo que elijamos.
Errores de discretizacin o truncamiento: Es cualitativa y
cuantitativamente el que definimos para la fuente de error

Definiciones
Problema Matemtico: Es una descripcin clara de la conexin
funcional entre los datos de entrada y de salida.

Problema Numrico: Es una descripcin clara de la conexin

funcional entre los datos numricos de entrada y de salida. Debe
implicar una cantidad finita de operaciones elementales realizables por
computadora

Mtodo Numrico: Es un procedimiento para aproximar un

problema matemtico con un problema numrico.

 Algoritmo: Es una descripcin completa y bien definida de una

cantidad finita de operaciones elementales a travs de las cuales es
posible transformar los datos de entrada en los datos de salida.

Error absoluto, Error relativo y cota del error

Sea b el valor de una cierta magnitud y sea b el valor medido o
calculado:

Decimales significativos
t

a tiene t decimales significativos a a k10 (k puede

tomar el valor 1 o 0.5). Tomaremos k=0.5.
Cuando el resultado de una operacin tenga ms de t decimales,
escribiremos este valor con t decimales solamente siguiendo la regla: si
el decimal que est en el lugar t+1 es menor que 5 dejamos los t
decimales del numero como estn; si el decimal de la posicin t+1 es
igual o mayor que 5 entonces le sumamos 10 t a nuestro valor y
tomamos los primeros t decimales que quedan. Cuando realizamos este
proceso decimos que nuestro resultado est escrito exactamente con
sus decimales significativos.

Propagacin de los errores inherentes

n
m
Supongamos que tenemos un problema numrico donde X R Y R , es
decir las componentes del vector X son los datos de entrada y el vector Y
representa los resultados, entonces:

y1 X

YX

y2 X

ym X

Supongamos que conocemos

x1
x
X 2
M

xn

y exi xi xi

Las operaciones que involucran al vector Y son derivables entonces

desarrollando por Taylor en un entorno de X tenemos:

Y X Y X

y1 ,K ym
x1 ,K xn

X X X T X X

Donde el segundo sumando indica el producto de la matriz Jacobiana por el

vector que indica la variacin de los datos respecto de los valores que usamos
para realizar los clculos y el tercer trmino es el resto del desarrollo de Taylor.
Por lo tanto si
Podemos despreciar el trmino complementario resultando:

yi
X xj xj

j 1 x j
n

yi X yi X

i 1,L , m

en ter min os del error

yi
X exj

j 1 x j
n

eyi

Si ex j rj ,
n

eyi
j 1

j 1,K n resulta

yi
X rj
x j

Propagacin del error en las operaciones elementales

Suma y resta

Y x1 , x2 x1 x2
ey ex1 x2

Y
Y
x1 , x2 ex1 x1 , x2 ex2
x1
x2

ex1 x2 ex1 ex2

y el error relativo es
ery erx x
1

x1
x2
erx1
erx
x1 x2
x1 x2 2
3

Producto

Y x1 , x2 x1 .x2
e y ex1 . x2 x2 ex1 x1ex2
ery erx1 erx2
Divisin

Y x1 , x2

x1

x2

e y ex1 / x2

x1
1
ex1
e
2 x2
x2
x2

x2 0

ery erx1 / x2 erx1 erx2

Raz Cuadrada

Y x x
ey e

ery er

x0
1

ex

2 x
0.5erx

Diremos que una operacin elemental es estable, si dada una cota

para los errores inherentes relativos, los errores propagados
relativos se mantienen acotados por un valor independiente de los
datos de entrada.

Representacin de nmeros
Sistemas de numeracin
Nuestro sistema de numeracin es posicional. Un sistema de numeracin
posicional queda caracterizado por la base (B) que debe ser un numero natural
mayor o igual a 2 y por un conjunto de B smbolos que determinan el alfabeto
del sistema de numeracin, debiendo representar los mismos los enteros de 0
a B-1.
En nuestro sistema decimal: B=10, y los dgitos son: 0, 1,2,,9 la
representacin de un numero racional es como sigue:

x aM aM 1 ...a0 , a1a1...a N

0 ai 9 ai N

x an 10n
n N

Las computadoras representan internamente los nmeros en sistema binario.

Aqu los bits juegan el papel de los factores de las sucesivas potencias de 2
en la descomposicin de un numero:
M

x aM aM 1 ...a0 , a1a1 ...a N an 2n

n N

an 0 a n 1

Ejemplos

1012 1.20 0.21 1.2 2 5

11,1 1.2 1 1.20 1.21 3.5
1011 1.20 1.21 0.2 2 1.23 11
Representacin en sistemas de punto fijo

Se toman dos nmeros fijos n1 y n2 tales que n n1 n2 asignndose

n1

lugares a los dgitos enteros y n2 lugares a los dgitos decimales.

Ejemplos
Si n=10, n1 =4 y n2 =6
25.543 se representara 0025 543000
0.0673 se representara 0000 067300
En este tipo de representacin el numero 16537 no se representa a pesar de
tener solo 5 dgitos.

Representacin en sistemas de punto flotante

5

En este sistema cada nmero real puede ser representado en la forma:

b

x a.10 , con a 1, b Z

Donde el exponente: b indica la posicin del punto decimal con respecto al

primer digito de la mantisa: a.
Se dice que un sistema es de punto flotante normalizado si imponemos a la
mantisa la condicin que su primer digito despus del punto decimal sea
distinto de cero, o sea:

0.1 a 1
Una computadora asigna una cantidad finita de t cifras para la mantisa y otra
de e cifras para el exponente de modo que:
N=t+e
Ejemplos
Si n=6, t=4 y e=2
6385 se representara 6385 04
25.5 se representara 2550 02
Nosotros consideraremos solamente sistemas de representacin de punto
flotante normalizado y la correspondiente aritmtica de punto flotante.

Corte o truncamiento
Dado un nmero real dentro del rango de la maquina, procedemos a escribirlo
en punto flotante normalizado:

x a 10b

con a 0.a1a2 ...a t a t 1 K

Definimos
a signo a 0.a1a2 ...a t
x a 10b
Ser almacenado exactamente en la maquina como aproximacin de x por
truncamiento.

Redondeo o redondeo simtrico

x a 10b

con a 0.a1a2 ...a t at 1 K

Definimos
0.a1a2 ...at

a signo a

t
0.a1a2 ...at 10

si 0 at 1 4
si 5 a t 1

x a 10b

Ser almacenado exactamente en la maquina como aproximacin de x por

redondeo.

Error relativo mximo de representacin

Si x pertenece al rango de la maquina, de las dos formas de almacenamiento
vistas anteriormente deducimos que:

x a 10b y
10 t truncamiento

aa

t
0.510 redondeo
de donde

erx

xx
x

a a 10b
a 10b

aa
0.1

101 t

corte

1 t
0.510

redondeo

EJEMPLOS
1) Sean

y se usa truncamiento a 5 cifras para los clculos

aritmticos donde intervienen

. Complete la siguiente tabla
considerando como valor verdadero el valor de x e y que ofrece su
calculadora.
resultado

Valor real

Error
absoluto

Error relativo

X+y
x-Y
X.Y
x/y

en
con
aritmtica de tres cifras, considere valor exacto el numero que
le da la calculadora con todos los decimales. Calcule los
errores relativos usando truncamiento y redondeo.

2) Evaluar

exacto
truncamiento
redondeo
3) Repetir el procedimiento pero considerando que:

Observar que usando la ltima expresin los errores

disminuyen.

Calculo de la propagacin de errores inherentes y de

redondeo utilizando la grafica de un proceso
Grafica de un proceso
Una grafica de un proceso es la representacin de un algoritmo, con una
convencin para identificar las flechas que aparecen en la grafica, de forma
que sea fcil determinar el error relativo total (propagacin del inherente mas
propagacin del de redondeo) en el resultado final
Ejemplo de diagrama para las operaciones elementales

Ejemplo
Queremos efectuar la suma de tres nmeros:
Y=a+b+c, usando el siguiente algoritmo
N=b+c
Y=a+n
Llamaremos a los errores relativos inherentes: ia , ib , ic y a los errores relativos
de redondeo en cada suma 1 y 2 .
Sabemos que 1 y 2
La grafica correspondiente es:

El error relativo total en n ser:

ern

ib b ic c
1
bc

Y el error relativo final ser:

9

ery

ern n ia a
ai bib cic
bc
2 ery a

1 2
an
abc
abc

Si suponemos que r es una cota para los errores relativos inherentes,

obtenemos una cota para el error relativo total:

abc

ery

abc

bc

r 1

El termino que multiplica a r se lo denomina condicin del problema ( C p ) y es

el factor de amplificacin de los errores relativos inherentes. La condicin del
problema depende exclusivamente del problema numrico.
El termino que multiplica a se denomina termino de estabilidad ( Te ) y
depende del problema numrico y del algoritmo.

Estabilidad
Un algoritmo es numricamente estable si y solo si:

Nmeros de condicin
Podra ocurrir que los resultados de un problema tengan poca precisin esto
puede deberse a dos cosas: el algoritmo puede no ser el mas conveniente en
ese caso se dice que el algoritmo esta mal condicionado o el algoritmo es
numricamente inestable; o tambin puede ser consecuencia del problema
numrico mismo, es decir los resultados pueden ser muy sensibles a las
perturbaciones de los datos de entrada, independientemente del algoritmo
elegido, en ese caso diremos que el algoritmo es numricamente inestable
o que el problema numrico es inestable.

Nmero de condicin del problema

Supongamos que tenemos un problema numrico representado por:

Y P X

P : Rn Rm

Definimos
n

C ip

Pi

x X
k 1

Pi X

xk
i 1,K , m

10

Y el nmero de condicin del problema:

C p max C pi , i 1,L m C 1p ,L , C pm

Definimos el vector de errores relativos inherentes:

erx erx1 ,L , erxn

y sup ongamos que erx r

Pi
X exk

x
k 1
k
n

eyi

dividiendo, tomando mod ulo y a cot ando resulta

eryi C pi erx
Sea ery ery1 ,L , erym

resulta

ery C p erx C p r
Por lo tanto podemos decir que

C p depende de los datos de entrada y es una

cota del cambio relativo que el resultado exacto del problema puede tener si se
producen perturbaciones relativas en los datos de entrada acotadas por r.

Nmero de condicin del algoritmo.

Antes de hablar del numero de condicin del algoritmo, supongamos que la
maquina opera con una unidad aritmtico-lgica con 2t dgitos y luego
almacena en la memoria el resultado redondeado a t dgitos. De acuerdo a lo
visto anteriormente en el apartadoError relativo mximo de representacin
podemos escribir:

fl x op y x op y 1
Donde op representa una operacin elemental y
redondeo o representacin de la operacin

es el error relativo de

x op y

n
m
Simbolizamos por y A X : R R al algoritmo para resolver el problema:

Y P X : R n R m . Si no existieran errores de redondeo ocurrira:

A X P X .
Pero nos interesa cuantificar la influencia de los errores de redondeo, por lo
tanto utilizaremos la notacin Y A X para simbolizar el resultado
considerando solo los errores de redondeo.
Ver grafico

11

A(x) es el valor exacto calculado con el algoritmo A.

A X es el valor calculado con una mquina.
Sea yi Ai X . Si el clculo de Ai X implica L operaciones, efectuando un
anlisis retrospectivo de errores tenemos:

yi yi 1 Fi , k X k con k
k 1

Llamamos a los Fi , k factores de amplificacin.

L

Definimos
L

Ei Fi , k X
k 1

Cai

Ei
C ip

Con estos valores definimos el nmero de condicin del algoritmo como:

Ca max Cai , i 1,L m C 1p ,L , C pm

Ejemplos
1) Sea el problema de resolver: y x utilizando el algoritmo:
2

y A x x.x

y fl x.x x.x 1

Como la nica operacin que hay que hacer es el producto resulta que :
E=1
Ahora debemos calcular

Cp

x.x x.x
x .x

C ip = C p

Luego

Ca

1
2
12

2) Sea el problema de resolver: y a b c utilizando el algoritmo:

y A a , b, c a b c
Definimos:
Un algoritmo es numricamente estable si y solo si
Un algoritmo es aceptable si y solo si Ca 1

13