An alisis

Num erico (I)

M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
An alisis Num erico (I)
M.C.M. Heidy Cecilia Escamilla Puc
FMAT
Junio 2014
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
La aritm etica que realiza una calculadora o una
computadora es distinta de la aritm etica de nuestros cursos
de algebra o c alculo.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
En nuestro mundo matem atico tradicional permitimos la
existencia de n umeros con una cantidad innita de cifras.
Sin embargo, en el mundo de las computadoras, cada
n umero representable tiene s olo un n umero nito, jo, de
cifras.
Esto signica, por ejemplo, que s olo los n umeros racionales
(y no todos ellos) se pueden representar con exactitud.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Como

3 no es racional, se da una representaci on

aproximada, una cuyo cuadrado no ser a 3, aunque s lo
bastante cercano a 3 como para que sea aceptable en la
mayor parte de las situaciones. Luego, en muchos casos,
esta aritm etica de la m aquina es satisfactoria y se aprueba
sin m as.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Los errores de redondeo surgen al usar una calculadora o
computadora para c alculos con n umeros reales, pues la
aritm etica de la m aquina s olo utiliza n umeros con una
cantidad nita de cifras, de modo que los c alculos se
realizan unicamente con representaciones aproximadas de
los n umeros verdaderos.
En una computadora com un, s olo se usa un subconjunto
relativamente peque no del sistema de n umeros reales para
representarlos a todos.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Por ejemplo, el coprocesador num erico de las PC utiliza una
representaci on de 64 bits (dgitos binarios) para un n umero
real, llamado real largo.
El primer bit es un indicador de signo, denotado como s. Le
sigue un exponente de 11 bits, c, denominado caracterstica
y una fracci on binaria de 52 bits, f , llamada mantisa. La
base para el exponente es 2.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Como 52 dgitos binarios corresponden a entre 16 y 17
dgitos decimales, podemos suponer que un n umero
representado en este sistema tiene al menos 16 cifras
decimales de precisi on. El exponente de 11 dgitos binarios
proporciona un intervalo de 1023 a 1024.
Para ahorrar espacio de almacenamiento y proporcionar
una representaci on unica cada n umero de punto otante, se
impone una normalizaci on. El uso de este sistema
proporciona un n umero de punto otante de la forma
(1)
s
2
c1023
(1 + f ).
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Considera, por ejemplo, el n umero de m aquina
0 10000000011 10111001000100000000000000000000
00000000000000000000
El bit del extremo izquierdo es cero, lo cual indica que el
n umero es positivo.
Los siguientes 11 bits, que dan la caracterstica, son
equivalentes al n umero decimal
c = 1 2
10
+ 0 2
9
+ + 0 2
2
+ 1 2
1
+ 1 2
0
= 1024 + 2 + 1 = 1027.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Los ultimos 52 bits especican que la mantisa es
f = 1

1
2

1
+ 1

1
2

3
+ 1

1
2

4
+ 1

1
2

5
+1

1
2

8
+ 1

1
2

12
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
En consecuencia este n umero de m aquina representa con
precisi on al n umero decimal
(1)
s
2
c1023
(1 + f ) =
(1)
0
2
10271023

1 +

1
2
+
1
8
+
1
16
+
1
32
+
1
256
+
1
4096

= 27.56640625
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Sin embargo, el siguiente n umero de m aquina menor es
0 10000000011 10111001000011111111111111111111
11111111111111111111
y el siguiente n umero de m aquina mayor es
0 10000000011 10111001000100000000000000000000
00000000000000000001
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Esto signica que nuestro n umero de m aquina original
representa no s olo a 27.56640625, sino tambi en a la mitad de
los n umeros reales que est an entre 27.56640625, y los dos
n umeros de m aquina m as pr oximos a el. Para ser precisos,
representa a cualquier n umero real en el intervalo
[27.566406249999998223643116059974953532211893310546875,
27.5664062500000017763568394002504646778106689453125]
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
El menor n umero positivo normalizado que puede
representarse tiene ceros en todas partes, excepto en el bit
del extremo derecho (donde tiene un 1) y es equivalente a
2
1023
(1 + 2
52
) 10
308
y el mayor tiene un cero al principio seguido de unos; es
equivalente a
2
1024
(2 2
52
) 10
308
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Los n umero que aparecen en los c alculos y tienen una
magnitud menor que 2
1023
(1 + 2
52
) producen un
desbordamiento de la capacidad mnima y, por lo general,
se igualan a cero. Los n umero mayores que 2
1024
(2 2
52
)
producen un desbordamiento y hacen que se detangan los
c alculos (underow. overow).
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
El uso de dgitos binarios tiende a encubrir las dicultades
de c alculo que aparecen al usar una colecci on nita de
n umeros de m aquina para representar a todos los n umeros
reales. Para examinar estos problemas, supondremos para
mayor claridad, que los n umeros de m aquina se representan
en la forma de punto otante decimal normalizada
0.d
1
d
2
. . . d
k
10
n
, 1 d
1
9, 0 d
i
9,
para cada i = 1, 2, . . . k. Los n umeros de esta forma se
llaman n umeros de m aquina decimales con k dgitos.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
Cualquier n umero real positivo dentro del intervalo
num erico de la m aquina se puede normalizar como
y = 0.d
1
d
2
. . . d
k
d
k+1
d
k+2
10
n
.
La forma de punto otante de y, que denotamos (y), se
obtiene terminando la mantisa de y en k cifras decimales.
Hay dos formas de realizar esto. Un m etodo llamado
truncamiento, consiste simplemente en cortar los dgitos
d
k+1
d
k+2
. . . para obtener
(y) = 0.d
1
d
2
. . . d
k
10
n
.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
El otro m etodo, llamado redondeo, suma 5 10
n(k+1)
a y y
luego trunca el resultado para obtener un n umero de la
forma
(y) = 0.
1

2
. . .
k
10
n
.
As, al redondear, si d
k+1
5, sumamos 1 a d
k
para obtener
(y); es decir, redondeamos hacia arriba. Si d
k+1
< 5,
simplemente truncamos todo excepto los primeros k dgitos;
as, redondeamos hacia abajo. Si el redondeo es hacia abajo,
entonces
i
= d
i
para cada i = 1, 2, . . . , k. Sin embargo, los
dgitos podran cambiar si el redondeo es hacia arriba.
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Ejemplo
El n umero tiene un desarrollo decimal innito de la
forma = 3.14159265 . . . . Escrito en forma decimal
normalizada, = 0.314159265 10
1
.
1
Cu al es la forma de punto otante de con un
truncamiento a cinco cifras?
2
Cu al es la forma de punto otante de con un
redondeo a cinco cifras?
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Aritm etica de una computadora
El error que resulta al sustituir un n umero por su forma de
punto otante es el error de redondeo (sin importar si se
determino por truncamiento o redondeo).
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)
An alisis
Num erico (I)
M.C.M. Heidy
Cecilia
Escamilla Puc
Unidad 1
Ejercicios
1
Considera el n umero real
p =
22
7
= 3.142857142857142857 . . .
1 Cu al es la forma de punto otante de p con un
truncamiento a seis cifras?
2 Cu al es la forma de punto otante de p con un
redondeo a seis cifras?
2
Considera el n umero real p = 0.2315993.
1 Cu al es la forma de punto otante de p con un
truncamiento a cinco cifras?
2 Cu al es la forma de punto otante de p con un
redondeo a cinco cifras?
M.C.M. Heidy Cecilia Escamilla Puc FMAT
An alisis Num erico (I)