Teora del error

Teora del error

1. Representaci on de n umeros
Para que una computadora ordenador pueda manejar n umeros naturales, enteros, raciona-
les, reales o, incluso, complejos, es necesario representar estos n umeros en memoria en un formato
bien denido y sucientemente exible. Adem as, las computadoras tienen unidades aritm etico-
l ogicas o coprocesadores aritm eticos que realizan las operaciones num ericas que se requieren
efectuar.
El hardware, mediante circuitos electr onicos, requiere una representaci on adecuada de los
n umeros. Normalmente se utiliza una representaci on est atica, que utiliza una cantidad ja de
memoria, siempre la misma, para representar cada tipo de n umero. Esta representaci on facilita el
dise no electr onico de estos circuitos.
La forma habitual de representar n umeros utiliza el sistema decimal o de base 10, con el
que un n umero natural se representa por una cadena de dgitos de la forma
(a
n
a
n1
. . . a
2
a
1
a
0
)
10
= a
n
10
n
+ a
n1
10
n1
+ + a
2
10
2
+ a
1
10
1
+ a
0
10
0
donde a
i
0, 1, . . . , 9 y cada dgito se ve afectado por un factor de escala que depende de su
posici on.
Las computadoras no suelen utilizar la base 10 para representar n umeros ni realizar opera-
ciones aritm eticas sino que preeren el sistema binario o de base 2. Los dgitos en este sistema
son 0 y 1; se denominan bits, y se representan fsicamente mediante los dos estados de conduc-
ci on(encendido) y corte (apagado) de un transistor funcionando como conmutador.
Tambi en se pueden utilizar representaciones en otros sistemas de numeraci on como el sis-
tema octal, es decir, base 8 donde a
i
0, 1, . . . , 7 y cada dgito representa tres bits y el hexa-
decimal, es decir base 16 donde a
i
0, 1, . . . , 9, A, B, C, D, E, F en el que cada dgito represen-
ta cuatro bits. Los sistemas octal y hexadecimal -y sobre todo este ultimo- facilitan la escritura
de n umeros binarios grandes y su conversi on al decimal, ya que reducen signicativamente el
n umero de dgitos del n umero.
M etodos Num ericos 1
Teora del error
2. N umeros reales en punto otante
Convencionalmente, para representar los n umeros reales se introduce el punto decimal. De
esta manera, los n umeros positivos menores que la unidad se representan como
0.a
1
a
2
. . . a
n
= a
1
10
1
+ a
2
10
2
+ + a
n
10
n
Dado que los n umeros reales pueden tener un n umero innito de dgitos, se representan
mediante un formato denominado punto otante que utiliza solo un n umero nito de dgitos.
En general, la representaci on de un n umero x en punto otante se denota por f l(x) y se
escribe como
f l(x) = 0.d
1
d
2
. . . d
k
10
k
donde 0 d
i
9 y d
1
,= 0, para i = 1, 2, . . . , k. Cuando el n umero real se expresa de esta
manera se dice que est a normalizado. La parte decimal o fraccionaria se llama mantisa y la parte
exponencial es llamada caracterstica.
La precisi on, tambi en llamada n umero de dgitos signicativos, de un n umero otante viene
determinada por el n umero de dgitos de su mantisa. Hay que tener en cuenta que cuanto mayor
es la precisi on utilizada mayor es el almacenamiento necesario para guardar el n umero y m as
tiempo de c omputo es necesario para realizar operaciones con el.
Al normalizar un n umero real se comete un error. Incluso n umeros con una representaci on
nita en decimal, como 0.1 o 27.9, tienen una representaci on binaria innita, tienen decimales
binarios peri odicos. Por ello, cuando estos n umeros se almacenan en punto otante se debe cor-
tar este n umero a una cantidad nita de bits, y se incurre en un error de representaci on otante.
Estos errores, de truncado o redondeo, son inevitables en toda computaci on cientca y por ello
conviene estudiar cu anto valen esos errores y c omo medirlos.
Con el m etodo de corte o truncamiento a k dgitos, se eliminan los dgitos d
k+1
d
k+2
. . ., por
lo que se obtiene
f l(x) = 0.d
1
d
2
. . . d
k
10
n
Es claro que cuanto m as grande sea k, mejor ser a la aproximaci on de f l(x) con respecto a x,
excepto que la expansi on decimal de x sea cero antes de k dgitos; en tal caso la aproximaci on es
exacta.
Para expresar x en forma normalizada con el m etodo de redondeo, se sigue la regla:
Si d
k+1
5, entonces se suma 1 a d
k
.
En otro caso, se suprimen los dgitos a partir del (k + 1)- esimo dgito.
M etodos Num ericos 2
Teora del error
3. Tipos de error
Un m etodo num erico conlleva la realizaci on de gran n umero de operaciones aritm eticas en
las que se incurre en errores, los cuales se pueden acumular y crecer conforme aumenta el n umero
de operaciones involucradas hasta conducir a un resultado nal de muy baja exactitud.
Se llama error absoluto y se denota por al valor absoluto de la diferencia entre un n umero
y su aproximaci on, es decir, sea p una aproximaci on de p, entonces
= [p p[
Se conoce como error relativo y se denota por a la raz on entre el error absoluto y el valor
absoluto del n umero dado, es decir
=
[p p[
[p[
=

[p[
Cuando el error relativo se multiplica por 100, se habla de error relativo porcentual. In-
tuitivamente hablando, el error absoluto indica la diferencia entre una aproximaci on y otra m as
cercana al valor real; mientras que el error relativo es la raz on entre el error absoluto y el valor
que se toma como mejor aproximado.
Para determinar cotas de error, sea x R, con x ,= 0, entonces:
Si f l(x) se obtiene con k dgitos con truncamiento, entonces

x f l(x)
x

10
k+1
Si f l(x) se obtiene con k dgitos con redondeo, entonces

x f l(x)
x

0,5 10
k+1
= 5 10
k
Finalmente, sea p una aproximaci on de p y t N, entonces p aproxima a p con t dgitos
signicativos si t es el mayor entero positivo tal que

p p
p

5 10
t
= 0,5 10
t+1
M etodos Num ericos 3
Teora del error
4. Aritm etica en punto otante
Las operaciones b asicas de la aritm etica tienen su equivalente en las computadoras en las
llamadas operaciones en punto otante, que tienen en cuenta los errores en la representaci on de
los n umeros. Se debe tomar en cuenta que al efectuar estas operaciones siempre se incurre en un
error, el cual debe ser analizado.
Para sumar (restar) n umeros en punto otante se igualan los exponentes, se suman (restan)
las mantisas y luego se normaliza el resultado. Cada una de estas operaciones se denota por
x y = f l ( f l(x + y))
x y = f l ( f l(x y))
Para multiplicar (dividir) n umeros en punto otante se multiplican (dividen) las mantisas,
se suman (restan) los exponentes y luego se normaliza el resultado. Cada una de estas operaciones
se denota por
x y = f l ( f l(x y))
x y = f l ( f l(x y))
Al realizar operaciones mediante aritm etica de punto otante, se puede incurrir en errores
grandes, los cuales resultan de manipular los n umeros como se hace en el c alculo convencional.
Esto hace que en ocasiones se deba minimizar el error al realizar este tipo de operaciones.
Con el prop osito de obtener resultados mas exactos y para evitar la propagaci on del error al
hacer aritm etica de punto otante, se propone evitar las siguientes situaciones:
Divisi on con denominadores peque nos
Resta de n umeros muy parecidos
Elevar a potencia un n umero
Algunas t ecnicas para minimizar el error en las operaciones con n umeros expresados en
punto otante son:
Racionalizaci on
Descomposici on en factores
Utilizaci on de expresiones equivalentes
M etodos Num ericos 4
Teora del error
5. F ormulas para calcular cotas de error
Sean x
1
, x
2
, x
3
, . . . , x
n
n umeros reales y sean x
1
, x
2
, x
3
, . . . , x
n
sus aproximaciones. Adem as,
si u es la operaci on asociada y
u
y
u
son las cotas absoluta y relativa, respectivamente, algunas
f ormulas para calcular cotas de error son:
Nombre Operaci on F ormula asociada
Cota para el
error absoluto
de la suma
u = x
1
+ x
2
+ x
3
+ . . . + x
n

u
=
x
1
+
x
2
+
x
3
+ . . . +
x
n
Cota para el
error absoluto
de la resta
u = x
1
x
2

u
=
x
1
+
x
2
Cota para el
error absoluto
de la multipli-
caci on
u = x
1
x
2

u
= [ x
1

x
2
+ x
2

x
1
[
Cota para el
error relativo
de la multipli-
caci on
u = x
1
x
2
x
3
x
n

u
=
x
1
+
x
2
+
x
3
+ . . . +
x
n
Cota para el
error absoluto
de la divisi on
u =
x
1
x
2

u
=

x
1
x
2

x
1
( x
2
)
2

x
2

Cota para el
error relativo de
la divisi on
u =
x
1
x
2

u
=
x
1
+
x
2
Cota para el
error relativo de
la potencia con
m N
u = (x
1
)
m

u
= m
x
1
Cota para el
error relativo de
una raz
u =
m

x
1

u
=
1
m

x
1
Cota para el
error absoluto
de una potencia
u = (x
1
)
x
2

u
=

x
2
x
x
2
1
1

x
1
+

x
x
2
1
ln x
1

x
2
M etodos Num ericos 5