01 - Prólogo e Introducción PDF
01 - Prólogo e Introducción PDF
Este libro est pensado principalmente para estudiantes de la escuela secundaria y docen-
tes. A lo largo del libro se ve el producto de siglos de avances en la matemtica. Algunos
de estos avances son pequeos, mientras que otros son importantes y revolucionarios.
Es imposible entender el contenido del libro sin dedicarle tiempo. La comprensin en
matemtica es usualmente producto de la ejercitacin y del trabajo, trabajo que se hace
con la cabeza, con el lpiz y el papel.
8 Los Nmeros
Los nmeros naturales se pueden sumar y multiplicar. Y, a veces, se pueden restar. Sin
embargo, no se puede restar a un nmero natural otro mayor, porque el resultado ya no
es un nmero natural. Es as como, para poder restar, se necesitan el cero y los nmeros
negativos. A la humanidad le tom siglos aceptar estos nuevos nmeros, pese a que
pasan a tener un sentido muy concreto cuando se los usa, por ejemplo, para expresar
deudas. Hoy en da, los nmeros negativos son de uso cotidiano. Los naturales dan lugar
as a los enteros. Con los enteros se puede multiplicar, sumar y restar.
Con los enteros tambin se pueden hacer divisiones, siempre que se acepte que las divi-
siones pueden tener resto. Dado un nmero natural fijo n, si se divide un entero cual-
quiera por l, el resto ser un nmero entero entre 0 y n-1. En el conjunto de todos los
restos posibles se pueden hacer operaciones, dando lugar a los enteros modulares. Hoy
en da, muchas de las propiedades de los nmeros enteros se expresan, de manera muy
satisfactoria, usando enteros modulares. Si bien estos conjuntos aparecieron definidos de
manera clara hace poco tiempo (desde una perspectiva histrica), su uso permite enten-
der ms cabalmente a los nmeros enteros, y por ello les dedicamos un captulo.
Sin embargo, los nmeros enteros no permiten divisiones si no se est dispuesto a tener
resto. Si trabajamos en geometra, incluso si se adoptan unidades de medida tales que
las cantidades a medir sean enteras, poco se podr hacer si no se utilizan fracciones, es
decir sin introducir los nmeros racionales. Por ejemplo, el Teorema de Tales habla de
longitudes proporcionales, que inmediatamente dan lugar a las fracciones.
Pero pronto se ve que si se quiere medir distancias, tampoco alcanza con nmeros raciona-
les. Por el Teorema de Pitgoras, la diagonal de un cuadrado cuyo lado mide 1 metro, mide
2 metros. Y este nmero, no es racional. Hacen falta entonces los nmeros reales.
Y, a veces, tampoco alcanza con los enteros, los racionales o los reales. Por ejemplo, la
ecuacin x2 + 1 = 0 no tiene solucin en los nmeros reales. Los nmeros complejos se
introdujeron, precisamente, para resolver este tipo de ecuaciones, aunque fueron mira-
dos con mucha desconfianza durante tres siglos. Hizo falta que matemticos de la talla
de Leonhard Euler y Carl Friedrich Gauss los usaran para que la comunidad cientfica
dejara de lado los prejuicios. Hoy en da, no slo se usan para resolver este tipo de ecua-
ciones. Las ecuaciones de James Clerk Maxwell, por ejemplo, que explican los campos
electromagnticos, precisan de los nmeros complejos.
Introduccin 9
Una vez definidos los naturales, la definicin de los enteros y los racionales es sencilla.
Los reales, en cambio, son materia mucho ms delicada. Hay distintas definiciones po-
sibles de los nmeros reales, con distintos grados de formalidad. Desde los puntos de
una recta hasta las cortaduras de Dedekind (propuestas por Julius Dedekind a comienzos
del siglo XX), pasando por definiciones axiomticas, o ms implcitas como nmeros
con desarrollos decimales infinitos. Los introducimos como clases de equivalencias de
sucesiones crecientes y acotadas de nmeros racionales. Esta forma de hacerlo, aunque
es tcnica y requiere una gran capacidad de abstraccin, permite definir las operaciones
fcilmente. Para suavizar su introduccin, primero se los presenta de manera algo ms
informal, utilizando la nocin de lmite. Tambin se mencionan otras definiciones posi-
bles, entre ellas la de los desarrollos decimales infinitos.
Si se cuenta con los reales, los nmeros complejos se pueden presentar algebraicamente,
como sumas a + bi, donde a y b son nmeros reales e i es una solucin de la ecuacin
x2 + 1 = 0. sta es la forma en que los present William Rowan Hamilton en la primera
mitad del siglo XIX, trescientos aos despus de que Gerolamo Cardano y Lodovico
Ferrari los utilizaran por primera vez. Y sta es la forma en que los conocemos hoy.
Los conjuntos de nmeros que se usan hoy en da no se reducen a los que presentamos
aqu: naturales, enteros, enteros modulares, racionales, reales y complejos. Dependiendo
del problema que se intente resolver, se utilizan muchos otros. Como ejemplo, basta
mencionar a los cuaterniones (introducidos por Hamilton en 1843, que se utilizan para
describir de manera algebraica movimientos del espacio, como rotaciones, traslaciones u
homotecias) y a los surreales (introducidos por John Conway y Donald Knuth en 1974,
que se utilizan en teora de juegos). No obstante, estos conjuntos se usan en medida
mucho menor, y los que presentamos bastan para la gran mayora de las aplicaciones.
10 Los Nmeros