APROXIMACION NUMERICA Y ERRORES

Comenzando por una definicin etimolgica tenemos

Error: Equivocacin (antnimo: certidumbre), incertidumbre

Incertidumbre Falta de certidumbre (antnimo: certidumbre)

Las computadoras utilizan el sistema binario, es decir, solo usan los dgitos 0 y 1.
Aunque la "comunicacin" entre la computadora y el usuario es por medio del sistema
decimal, las entradas o salidas de datos requieren una conversin al sistema binario
internamente.
En modo general, sea un numero entero > 1, puede utilizarse para representar un
sistema numrico, por tanto

representa a un nmero en la base . La existencia de procesos de conversin implica

errores de redondeo que deben tenerse en cuenta. Cualquier nmero distinto de cero,
puede ser representado en notacin cientfica, por ejemplo, considrese al nmero x, si

n es un nmero entero (positivo, negativo o cero)

es la base

q es un nmero, tal que

entonces podemos escribir al nmero x como

donde q se llama mantisa y n es el exponente. Siendo esta la representacin de punto
flotante normalizada para el nmero X. Esto significa que el primer dgito se encuentra
a la derecha del punto y se suministran las potencias de la base adecuadas

ARITMTICA DE PUNTO FLOTANTE

La unidad ms pequea de informacin que la computadora reconoce se denomina bit,
es representado en la computadora por la presencia o abstinencia de un pulso
electrnico, simbolizado por el hombre como cero o uno.
La longitud de palabra de la computadora es una restriccin en la precisin con que se
representan los nmeros reales. Por ejemplo, si tenemos que la longitud de palabra es de
32 bits, cuya distribucin es

s= signo del nmero real X 1 bit

s= signo del exponente n 1 bit
E= exponente (entero | n| ) 7 bits
F= mantisa (nmero real | q| ) 23 bits

en forma grafica se tiene

s s E E E E E E E F F F F F F F F F F F F F F F F F F F F F F

LONGITUD DE PALABRA 32 bits

Recordando que para el sistema binario se tiene =2, siendo esta la especificacin el
exponente cumple con,
| n|
es decir que nuestra mquina puede calcular nmeros reales en el intervalo
y
mientras que para los nmeros enteros, se pueden usar todos los bits a excepcin de
uno, el reservado para el signo, es decir, en el intervalo
y
an as, existen clculos que requieren ms precisin. Esto se logra asignando dos
longitudes de palabras al nmero, esto se conoce como, calculo de doble precisin.
Cuando se restringe a 24 bits para representar a la mantisa, implica que el bit menos
significativo es
.

ERROR DE TRUNCAMIENTO Y ERROR DE REDONDEO.

Cuando se aproxima un nmero X, es necesario encontrar el nmero de mquina ms
adecuado. Por ejemplo, s
X=
Y nuestra computadora solo tiene capacidad para una mantisa de 24 bits. Se tienen dos
opciones,
i.

, a este proceso se le llama

Se descartan los bits excedentes, esto es,
truncamiento, adems el valor del nmero mquina
se encuentra a la
izquierda de X.

ii.

Se descartan los bits excedentes, esto es,

, y se aumenta una unidad al
ltimo bit. Siendo este el proceso de redondeo por exceso de X.
X=

y se encuentra a la derecha del nmero X.

Se escoge aquella en la cual la distancia al nmero X sea menor. Generalmente fl(x)

representa al nmero de mquina de punto flotante ms cerca de X.

ERROR ABSOLUTO Y ERROR RELATIVO

Considerando la distancia entre el nmero de mquina adecuado y el nmero X, ya sea

denominamos a dicha distancia error absoluto. Para el caso de haber elegido

se escribe

en caso de ser

el nmero escogido se escribe

y error relativo se define como el error absoluto entre el nmero X, esto es

i.

Error relativo para el truncamiento

cuando el error absoluto de truncamiento es menor que el error absoluto de redondeo.

ii.

Error relativo para el redondeo por exceso

cuando el error absoluto de redondeo es menor que el error absoluto del truncamiento.
Al nmero
se le conoce como error de redondeo unitario. Cuando en nuestros
clculos se generan nmeros demasiado grandes (n excede el valor permitido) se tiene
lo que se denomina error de desbordamiento por exceso. En el caso contrario, es decir,
si se han generado nmeros demasiado pequeos (n es menos del mnimo) se conoce
como desbordamiento por defecto, en nuestro caso n>127 y n<-127 respectivamente. En
el primer caso la computadora detiene el programa debido a la indeterminacin
generada, en el segundo caso se asigna el valor 0 y continua el proceso numrico.
Sea

el nmero de mquina ms cerca de

con

error de redondeo unitario para nuestra mquina.

En general, si una mquina funciona en base y utiliza N posiciones para la mantisa de

sus nmeros de punto flotante, escribimos

donde
truncamiento.

para el proceso de redondeo por exceso y

en el caso de

Ejemplo:
Sea
, en donde la parte fraccionaria tiene 26 unos seguidos
de ceros. Para una mquina de 32 bits para la longitud de palabra determine

Solucin:
Dado que

el valor truncado es simplemente

en cuanto al valor de redondeo tenemos

Ahora procedemos a determinar cual de los dos ser el nmero mquina, para esto se
requiere de calcular las siguientes diferencias

a.

b.
eligiendo la menor diferencia tenemos que
absoluto

, siendo el error de redondeo

por tanto, el error de redondeo relativo es

Ahora considere que se tienen dos nmeros y se realiza una operacin con ellos,
primero debemos realizar la combinacin correspondiente (suma, resta, multiplicacin o
divisin) posteriormente se normaliza continuando con un redondeo, y finalmente se
almacena en memoria, entonces
es el nmero almacenado, que denota que se
ha realizado una operacin bsica con x e y.

TEOREMA DEL ANLISIS DEL ERROR RELATIVO

"Sean X0 , X1 , ... , Xn nmeros mquina positivos en una computadora, cuyo error de
redondeo unitario es E. Entonces el error de redondeo relativo al calcular
manera usual es a lo sumo (1 + E)n - 1. Esta cantiddad es aproximadamente nE ."

de la

TEOREMA SOBRE LA PRDIDA DE PRECISIN

"Si X e Y son dos nmeros de mquina binarios normalizados de punto flotante,
positivos, tales que
con

entonces en la resta se pierden a lo ms q, y al menos p bits significativos."

Cuando en un proceso informal los errores pequeos producidos en alguna etapa del
clculo se propagan en forma creciente en los clculos posteriores y afectan el resultado
del clculo, es decir, son del orden del clculo; entonces se dice que es un proceso
numrico inestable.
Cuando los datos iniciales son variados con algn nmero pequeo y nuestros
resultados difieren notoriamente, es decir, pequeos cambios en los datos iniciales

producen grandes variaciones en los resultados; entonces se dice que nuestro

planteamiento del problema est mal condicionado.

donde se ha aplicado el teorema del valor medio. Si f(x) es pequea, la variacin en x,

h, ha provocado un efecto de variacin pequeo en la funcin f(x).

Se observa que es el valor relativo de la perturbacin en la variable independiente. El

valor relativo de la perturbacin en la variable dependiente es

y se llama nmero de condicin al cociente

SUMA
Si un nmero es el resultado de la adicin de otros dos nmeros, en donde

entonces

o sea

RESTA
Considerando los nmeros definidos anteriormente

sea z la diferencia, entonces

entonces

Se concluye que tanto en la suma como en la resta de dos magnitudes el error de la

operacin se define como la suma de los errores en los nmeros.

MULTIPLICACIN Y/O DIVISIN

Se consideran simultneamente un producto y un cociente, las conclusiones son las
mismas y el procedimiento se simplifica.
Sea

donde b, c y a son los nmeros con los errores b, c y a respectivamente. La

magnitud x debe obtenerse a travs de operaciones, un producto y un cociente.
Obviamente, x tiene un error x, entonces

Determinando el valor mximo

1.
Determinando el valor mnimo

2.
Se efecta la diferencia de las expresiones 1 y 2 obteniendo

Como saca b<<1 y c<<1, cualquier combinacin de productos de errores resulta

insignificante, por lo que se obtiene

adems

o sea que, el error relativo, de productos y/o cocientes es la suma de los errores
relativos.