Csar Rodrguez Gordillo

Tema

NMEROS NATURALES. SISTEMAS DE NUMERACIN

1. INTRODUCCIN
2. NMEROS NATURALES
2.1 Construccin del conjunto N: sistema axiomtico
A. Sistema axiomtico de Peano
B. El principio de induccin completa y sus consecuencias
C. Operaciones bsicas en el conjunto N: suma y producto de nmeros naturales
D. Ordenacin en el conjunto N
E. Caractersticas del conjunto N
2.2 Construccin del conjunto N: sistema conjuntista
A. Conjuntos y paradojas
B. Cardinales y operaciones
C. Cardinales de conjuntos finitos y nmeros naturales
D. El conjunto N: cardinal, operaciones y orden
E. Los conjuntos finitos y sus propiedades
F. Construccin conjuntista de N
3. SISTEMAS DE NUMERACIN
3.1 Introduccin
3.2 Conceptos bsicos
3.3 Fundamentacin de sistemas de numeracin
A. El Teorema Fundamental de la Numeracin. Consecuencias
B. Propiedades
C. Cambio de sistema de numeracin
4. GUIN-RESUMEN
5. BIBLIOGRAFA

11

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

1. INTRODUCCIN
Las ms antiguas nociones de nmero en la raza humana se remontan en el tiempo hasta perderse su
rastro. Sin embargo, el desarrollo y aplicacin del primitivo concepto es un proceso muy largo en el que
se va avanzando de manera lenta e irregular. Parece ser que el elemento determinante en el paso de
reconocer, de forma muy primitiva, este concepto es el descubrimiento de que algunos grupos de cosas
pueden ponerse en correspondencia biunvoca.
Una vez que la consciencia de nmero se extiende y se comprende de modo general en las conciencias de
los antiguos seres humanos, se observa la necesidad de expresar dicho conocimiento a travs de algn
tipo de lenguaje simblico.
Evidentemente, en un principio se usan los dedos de las manos: consecuencia de ello es la actual
preponderancia del sistema decimal, que tambin fue dominante en muchos pueblos primitivos. Del
mismo modo, en otros lugares y pocas aparecen sistemas de base 5 (los dedos de una sola mano) y
sistemas de base 20 (los dedos de las manos y los pies conjuntamente). El siguiente paso es la utilizacin
de montones de piedras u otros objetos para representar correspondencias con los elementos de otro
conjunto. En una etapa posterior, estos montones se sustituyen por muescas en palos, trozos de maderas,
huesos... hechos en la mayora de las ocasiones con slex.
Aunque no hay constancia de ello, los signos para representar nmeros parecen ser anteriores a la
aparicin de la palabra escrita. No en vano, es ms sencillo hacer muescas sobre una determinada
superficie que establecer una frase para describir una cierta realidad concreta.
En cuanto al concepto de nmero natural, es de capital importancia observar las dos caras que ofrece: una
en su aspecto cardinal, y otra en el aspecto ordinal. Ambos son complementarios y mientras el primero se
basa en el principio de emparejamiento, el segundo trae consigo el concepto de sucesin.
El concepto de nmero se consolida y progresa con gran rapidez gracias a la facilidad para identificar
estos dos aspectos. El nmero cardinal, interesante en la vida prctica, es el que acabar creando el
clculo, y el nmero ordinal ofrece la facilidad para disponer todo tipo de objetos en sucesin. El sistema
numrico est basado en los dos principios que se deducen de ambas visiones del concepto de nmero: el
de correspondencia y el de sucesin.
En el conjunto de los nmeros naturales, cualquier elemento se obtiene aadiendo una unidad al elemento
que le antecede. Este es el llamado principio de recurrencia, uno de los ms importantes en este contexto.
Para obtener una construccin formal del conjunto N de los nmeros naturales, se puede recurrir a dos
caminos diferentes, cada uno de ellos relacionado con el aspecto cardinal u ordinal de nmero.
En un principio, el concepto de nmero natural se introduce de forma axiomtica como hacen Peano y
Hilbert. Sin embargo, con el desarrollo de la teora de clases, el nmero natural aparece como un
concepto derivado; es por este camino por el que se internan otros matemticos como Cantor, Frege y
ms adelante Russell.
Fue Frege quien nos leg la actual definicin de nmero cardinal. Para ello tom como base la teora de
conjuntos de Boole y Cantor y se apoy en la idea de correspondencia biunvoca.
No obstante, la teora de conjuntos dio lugar a principios del siglo XX a una enconada polmica, ya que
aparejada a ella se descubri la aparicin de algunos conjuntos paradjicos. Esto condujo, entre otras
discusiones, a cuestionar la existencia del conjunto de todos los conjuntos.
En este contexto, fue el matemtico Giuseppe Peano quien intent desarrollar un lenguaje formalizado
para fundamentar la aritmtica. A l se deben los conocidos axiomas de Peano, que han servido como
base a numerosas construcciones en el campo del lgebra y el Anlisis.
Fundament sus cinco postulados en tres conceptos: cero, nmero y la relacin ser sucesor de. A pesar de
estos esfuerzos, sera Hilbert (uno de los padres del formalismo en matemticas) quien realmente acabara
sistematizando el pensamiento axiomtico, aunque Grassmann y Dedekind ya haban dado algunos pasos
en esa misma direccin.

12

Csar Rodrguez Gordillo

Una vez realizada esta axiomatizacin, pareci haberse logrado una fundamentacin definitiva. Sin
embargo, en las tres primeras dcadas del siglo pasado se abri una gran crisis de fundamentos en el
mundo matemtico que afect a ste en todos sus aspectos. Es aqu donde se sitan las numerosas
controversias y discusiones acerca del concepto de nmero.
Ninguno de los dos procedimientos para fundamentar la aritmtica se mostr como absolutamente
satisfactorio y sin fisuras. El sistema axiomtico parte del concepto ordinal para intentar desarrollar a
continuacin la teora cardinal; de manera opuesta, el sistema conjuntista desarrolla la aritmtica cardinal
para introducir a continuacin el nmero ordinal. En ambos casos, las justificaciones lgicas parecen en
extremo complicadas y enrevesadas, demostrando teoremas que aparecen como evidentes a la intuicin.

2. NMEROS NATURALES
2.1 Construccin del conjunto N: sistema axiomtico
A. Sistema axiomtico de Peano
Para definir el conjunto N de los nmeros naturales se puede recurrir a la siguiente construccin; es un
conjunto que verifica los axiomas que se enuncian a continuacin:
1. Cero es un nmero natural; es decir, cero pertenece a N.
2. A cada nmero natural x del conjunto N le corresponde otro nmero natural nico que se llama
sucesor o siguiente de x, y que se puede denotar por x*. Es decir, que si x pertenece al conjunto N,
entonces x* tambin pertenece a N.
3. Cero no es el siguiente de ningn otro nmero natural. As pues, nunca se puede cumplir que
sea x* = 0.
4. Dados dos nmeros naturales distintos, les corresponden siguientes distintos; por tanto, si los
siguientes de dos nmeros naturales son iguales, entonces ambos nmeros naturales son iguales.
5. Si un conjunto de nmeros naturales C contiene al elemento cero y tambin al sucesor de cualquier
nmero natural que pertenezca a C, entonces todo nmero natural pertenece al conjunto C.
Con respecto a estos axiomas hay que tener en cuenta varias observaciones importantes:
Observacin 1 En su formulacin original, Peano dio como primer nmero natural el 1 y no el 0 como
aqu aparece.
Observacin 2 Aunque se han propuesto otros sistemas axiomticos parecidos a este, e incluso ms
simples en determinados aspectos, son menos intuitivos. A partir del sistema de Peano se puede deducir
de forma lgica toda la aritmtica, aunque no es enteramente satisfactorio.
Observacin 3 El primer axioma garantiza que el conjunto N no es vaco; al menos contiene al
elemento cero. El segundo de los axiomas ofrece un procedimiento para la construccin del conjunto N, a
travs del elemento siguiente de cero, que se puede denotar con cualquier smbolo, por ejemplo 0* = .
El tercer axioma impide que pudiera ser * = 0. Gracias al axioma cuarto se garantiza que la
correspondencia : NN es una inyeccin; as, el siguiente de cada nmero natural no puede ser
ninguno de los ya obtenidos anteriormente.
Observacin 4 La construccin del conjunto N lleva implcita la implicacin de ser un conjunto con un
nmero infinito de elementos. El axioma quinto, tambin conocido como axioma de recurrencia, da una
idea de cmo concebir el conjunto N.

13

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

B. El principio de induccin completa y sus consecuencias
Dada una cierta propiedad P referida a un nmero natural cualquiera, y denotando como P(0), P(1), P(2),
P(3)... la sucesin de proposiciones referidas a los nmeros naturales 0, 1, 2, 3... el principio de induccin
completa es el siguiente:
Suponiendo que la proposicin P(0) es cierta, y suponiendo que de la validez de la proposicin P(n) se
puede deducir (a travs de algn determinado razonamiento) la validez de la proposicin P(n + 1):
entonces son ciertas todas las proposiciones de la sucesin y se puede probar as la validez de la
propiedad general P.
Hay muchos matemticos que consideran que el primer elemento del conjunto N es el 1, no el 0. En
tal caso, el principio anterior puede enunciarse de forma anloga. Una manera muy intuitiva para
comprender lo que dice este principio es la analoga con infinitas fichas de domin colocadas en fila una
detrs de otra.

El principio de induccin completa de una forma grfica.

Si tenemos la seguridad de que las fichas estn colocadas de tal forma que al caer una cualquiera de ellas,
entonces hace caer a la siguiente, y tambin nos aseguramos de que la primera ficha cae, entonces
concluimos que de manera irremisible todas las fichas colocadas en la fila caern.
En el principio de induccin se van a apoyar las llamadas definiciones por recurrencia.
Las consecuencias que se pueden deducir del principio de induccin son principalmente las siguientes:
1. Teorema: todo elemento de N es distinto de su siguiente. Es decir, x x*, para cualquier elemento x
del conjunto N.
Demostracin: considerando el conjunto C = {x N/x x*}, el tercer axioma de Peano asegura que 0
pertenece a C; adems, si un cierto y pertenece a C, entonces debe cumplir que y y*. Como la
correspondencia ser siguiente de es inyectiva, se tiene que y* (y*)*, por lo cual y* debe pertenecer al
conjunto C. Por tanto, aplicando el principio de induccin completa, debe ser C =N.
2. Teorema: todo elemento del conjunto N, a excepcin del 0, es el siguiente de algn nmero natural.
Es decir, que dado cualquier nmero natural n 0, siempre existe otro nmero natural m tal que m* = n.
Demostracin: para demostrar este teorema construiremos el conjunto C = {0} {x N(+)/existe y
natural con y* = x}, siendo N(+) el conjunto N {0}. Es evidente que 0 C; de igual modo, si k C
entonces es obvio que k* C. Concluimos entonces que C = N, y por tanto se observa que dado un
nmero natural cualquiera ste debe ser cero o debe ser el siguiente de otro.
Este segundo teorema permite asegurar que la correspondencia que asigna a cada nmero natural su
siguiente es no slo inyectiva, sino tambin suprayectiva.

14

Csar Rodrguez Gordillo

Adems, y como consecuencia de ello, se obtiene como corolario que dicha correspondencia es biyectiva
o biunvoca. Asimismo, la recproca de tal correspondencia da la nocin de precedente; se define el
precedente de un cierto nmero natural x N(+) como aquel nmero natural y tal que y* = x.
C. Operaciones bsicas en el conjunto N: suma y producto de nmeros naturales
a) Suma de nmeros naturales
La definicin de la operacin suma en el conjunto de los nmeros naturales se propone a travs de una
recurrencia. A un par de nmeros naturales m y n se les asocia otro nmero natural, que llamaremos suma
de m y n y que se denota por m + n, definido por recurrencia del siguiente modo:
-

m + 0 = m.

Si se supone que m + n est definido, entonces se define m + n* = (m + n)*.

Esta operacin as definida posee ciertas propiedades que enunciaremos a continuacin.

Propiedad 1

La suma de nmeros naturales est bien definida. Es decir, que dados dos nmeros
naturales m y n, entonces la suma m + n tambin pertenece al conjunto N. Por tanto, el
conjunto de los nmeros naturales es cerrado con respecto a la operacin suma. Adems,
dicha operacin es nica.

Propiedad 2

La suma de nmeros naturales es una operacin asociativa, es decir que para cualesquiera
m, n y p nmeros naturales se cumple que (m + n) + p = m + (n + p). Se desprende de
estas dos primeras propiedades que (N,+) es un semigrupo aditivo.

Propiedad 3

La suma de nmeros naturales es una operacin que posee elemento neutro. Esto es,
existe un elemento de N (dicho elemento es el cero) que verifica que m + 0 = 0 + m = m,
para todo elemento m del conjunto N.

Propiedad 4

La suma de nmeros naturales es una operacin conmutativa. Quiere esto decir, que
dados dos nmeros naturales m y n se verifica que m + n = n + m.
Vamos a demostrar esta propiedad, dada su gran importancia, recurriendo al principio de
induccin:
Dado el nmero natural m, aplicaremos el principio de induccin respecto a n.
-

Para n = 0 el resultado es cierto, ya que por la Propiedad 3 el elemento 0 es el neutro

y entonces es conmutativo con cualquier otro elemento m.

Ahora se va a probar la propiedad para n = 0* = 1, es decir, que m + 1 = 1 + m. Esta

relacin es cierta para m = 0, ya que es el elemento neutro. Supongamos por tanto
que la relacin es cierta para m y probmosla entonces para m*: suponiendo que se
denota m* = m + 1, entonces ser m* + 1 = (m + 1) + 1 y por hiptesis de
recurrencia se tiene que (m + 1) + 1 = (1 + m) + 1 = 1 + (m + 1) por la Propiedad 2
(asociativa), y entonces se obtiene 1 + (m + 1) = 1 + m*. As pues, esta relacin
queda comprobada.

Por ltimo, para terminar de demostrar la veracidad de la propiedad conmutativa,

vamos a suponerla cierta para n y comprobaremos que entonces es cierta para n*:
m + n* = m + (n + 1) = (m + n) + 1, por la propiedad asociativa.

Ahora, por la hiptesis de recurrencia, ser (m + n) + 1 = (n + m) + 1; y nuevamente por

asociatividad, se tiene que (n + m) + 1 = n + (m + 1).
Como consecuencia de lo probado anteriormente, se tendr que n + (m + 1) =n + (1 + m).
Finalmente, la propiedad asociativa permite concluir que n + (1 + m) = (n + 1) + m = n* +
m, y por tanto se demuestra as esta Propiedad 4.

15

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

Estas cuatro propiedades que verifican la operacin suma tienen como consecuencia que la estructura de
(N,*) sea la de un semigrupo abeliano con elemento neutro.
Propiedad 5

A excepcin del cero, ningn elemento del conjunto N tiene elemento simtrico. Es decir,
si se tiene que m + n = 0, entonces deben ser m = n = 0.

Propiedad 6

Simplificacin o cancelacin de elementos. Si se tiene m + n = p + n, entonces es m = p.

Como consecuencia se extrae que todos los nmeros naturales son regulares para la
operacin suma.

b) Producto de nmeros naturales

Esta operacin tambin se definir a partir de una recurrencia, de la siguiente manera: dados dos nmeros
naturales m y n, asociado a ellos se encuentra otro nmero natural llamado producto de m y n denotado
como mn (aunque en general se suele escribir simplemente mn) definido como sigue:
-

m 0 = 0.

Si se supone definido mn, entonces se define m n* = m n + m.

Del mismo modo que la suma, esta operacin producto cumple una serie de propiedades que la hacen
caracterstica, y que son las siguientes:
Propiedad 1

El producto de nmeros naturales est bien definido. Es decir, que dados dos nmeros
naturales m y n, entonces el producto mn tambin pertenece al conjunto de los nmeros
naturales. Por tanto, el conjunto N es cerrado con respecto a esta operacin, que adems
es nica.

Propiedad 2

La operacin producto es distributiva respecto de la operacin suma. Esto se traduce en

que dados m, n y p nmeros naturales, entonces se cumple que m(n + p) = mn + mp y
tambin que (m + n)p = mp + np.

Propiedad 3

El producto de nmeros naturales posee la propiedad asociativa, lo cual significa que

dados m, n y p nmeros naturales, entonces se cumple que (mn)p = m(np).

Propiedad 4

El producto de nmeros naturales posee la propiedad conmutativa. Esto es, que dados
dos nmeros naturales m y n entonces se cumple que mn = nm.

Propiedad 5

Existe un elemento del conjunto N (que es el elemento 1) que cumple que m 1 = 1 m

= m, cualquiera que sea el nmero natural m. Dicho elemento recibe el nombre de
elemento neutro para el producto de nmeros naturales.
Las propiedades anteriores justifican que la estructura de (N,) sea la de semigrupo
abeliano con elemento neutro. Adems, como consecuencia se tiene que (N,+,) es un
semianillo abeliano.

Propiedad 6

El conjunto N no tiene divisores de cero, es decir, si mn = 0 entonces m = 0 o n = 0.

Propiedad 7

Simplificacin o cancelacin de elementos: si se tiene un nmero natural n 0 y se

cumple que nm = np, entonces es m = p. Por tanto, todo nmero natural (a excepcin
del cero) es regular con respecto a la operacin producto.

Propiedad 8

A excepcin del nmero natural 1, ningn otro nmero natural tiene elemento simtrico.
Es decir, que si mn = 1, entonces deben ser m = n = 1.

D. Ordenacin en el conjunto N
a) Definicin y propiedades
Dados dos nmeros naturales m y n, se dice que m es menor o igual que n (y se denota por m n) si
existe un nmero natural p tal que m + p = n. Tambin se puede decir en ese caso que n es mayor o igual
que m, y se denota por n m.

16

Csar Rodrguez Gordillo

Esta relacin entre los elementos que conforman el conjunto de los nmeros naturales cumple las
siguientes propiedades:
Propiedad 1

La relacin entre dichos elementos es nica. Si existieran dos elementos p y p tales que
m + p = n y m + p = n entonces sera m + p = m + p, y como todo nmero natural es
regular, entonces debe ser p = p.

Propiedad 2

La relacin tiene la propiedad reflexiva: todo elemento m del conjunto N cumple que
m m.

Propiedad 3

La relacin verifica la propiedad antisimtrica, es decir, que dados dos nmeros

naturales m y n que cumplan que m n y que n m, entonces es m = n.

Propiedad 4

La relacin cumple la propiedad transitiva, o sea que dados tres nmeros naturales m, n
y p que cumplan que m n y que n p, entonces m p.

Propiedad 5

la relacin posee la propiedad de conexin. Para cualesquiera dos elementos m y n del

conjunto N, se cumple siempre que m n o que n m.

Estas propiedades confieren a (N,) la calificacin de conjunto totalmente ordenado, ya que la relacin
es de orden total.
b) Compatibilidad entre la relacin de orden y las operaciones con nmeros naturales
La relacin de orden anteriormente descrita da lugar a dos leyes con respecto a las operaciones suma y
producto de nmeros naturales, una para cada operacin.
-

Monotona con respecto a la suma: dados tres nmeros naturales m, n y p, entonces m n si, y slo
si, m + p n + p.
Consecuentemente, en una desigualdad se puede sumar miembro a miembro. Es decir, que si m n
y tambin p q, entonces m + p n + q.

Monotona con respecto al producto: dados tres nmeros naturales m, n y p, si m n entonces

mp np. Si se tiene p 0, entonces tambin se va a cumplir la implicacin recproca.

As pues, la relacin binaria es compatible con las operaciones suma y producto, y como consecuencia
de ello se obtiene el siguiente resultado:
(N,+,,) es un semianillo abeliano totalmente ordenado.
c) La relacin de orden estricto
Dados dos nmeros naturales m y n, si existe otro nmero natural x 0 tal que m + x = n, entonces se
dice que m es estrictamente menor que n (denotado por m < n) o que n es estrictamente mayor que m (y
se denota por n > m).
Esta nueva relacin de orden presenta las siguientes propiedades:
Propiedad 1

Posee la propiedad antirreflexiva, es decir que dado cualquier nmero natural m, nunca
puede ser m < m.

Propiedad 2

Posee la propiedad transitiva. Por tanto, dados tres nmeros naturales m, n y p tales que
m < n y n < p, entonces ser m < p.

Propiedad 3

Dados dos nmeros naturales m y n, si m < n entonces m n.

Propiedad 4

Dados dos nmeros naturales m y n, se debe cumplir una, y slo una, de las relaciones
siguientes: m < n, m = n, m > n. Esta propiedad se conoce como la propiedad de
tricotoma.

17

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

E. Caractersticas del conjunto N
a) Elementos consecutivos
Dados dos nmeros naturales m y n, si suponemos que m < n, entonces se dice que m es anterior a n o
que n es posterior a m. En el caso de que no exista ningn nmero natural que sea, a la vez, posterior a m
y anterior a n, se dice que m y n son nmeros naturales consecutivos. Esta relacin suele expresarse
diciendo que n es el siguiente de m.
Es decir, que m y n son consecutivos si no existe ningn nmero natural x tal que m < x < n.
Hay que observar que este nuevo concepto de siguiente es totalmente coherente con el que se dio en los
axiomas; se prueba fcilmente que no existe ningn nmero natural x tal que sea n < x < n + 1.
b) Secciones de N y conjuntos finitos
Una seccin de N se define como un intervalo de la forma [1,n] = {x N/1 x n}.
A travs de este concepto se define a su vez otro objeto matemtico: el conjunto finito. Dado un conjunto
C, se dice que es finito si existe una biyeccin entre dicho conjunto C y una seccin de N.
C es un conjunto finito si, y slo si, existe : C [1,n] tal que es biyectiva.
Es importante observar que el orden total del conjunto N induce a su vez un orden total en todo conjunto
finito C. Esto dar lugar a las llamadas sucesiones finitas.
c) Primer elemento y ltimo elemento. El principio de buena ordenacin
En todo conjunto ordenado C pueden definirse de forma general un primer y un ltimo elemento. Como
primer elemento se toma aquel que es anterior a todos los dems (se le suele llamar tambin mnimo de
C). Del mismo modo, se toma como ltimo elemento del conjunto C a aquel que es posterior a todos los
dems (y se le llama mximo de C). Si existen el mximo y el mnimo de un cierto conjunto ordenado C,
entonces son nicos.
Se dice que un conjunto C est bien ordenado si todo subconjunto suyo tiene un primer elemento.
En relacin a las anteriores definiciones, emanan unas ciertas propiedades del conjunto N que se enuncian
a continuacin:
Propiedad 1

El conjunto N tiene primer elemento (es el cero), pero sin embargo carece de ltimo
elemento.

Propiedad 2

Todo subconjunto no vaco de N tiene primer elemento. Por tanto, el conjunto N es un

conjunto bien ordenado. En algunas ocasiones, esta propiedad se toma como un axioma
(se suele llamar principio de buena ordenacin) que sustituye al principio de induccin
completa.

Propiedad 3

Cualquier parte finita del conjunto N posee un primer elemento y tambin un ltimo
elemento.

Propiedad 4

Si se tiene una parte de N (no vaca) que tiene un ltimo elemento, entonces esa parte
debe ser un conjunto finito.

Propiedad 5

Para que una parte no vaca del conjunto N tenga un ltimo elemento, es necesario y
suficiente que esa parte sea finita.

Propiedad 6

Cualquier parte infinita de N carece de ltimo elemento.

Propiedad 7

Cualquier parte infinita de N admite siempre un primer elemento.

Demostremos esta propiedad: sea C una parte infinita del conjunto N, y sea a un elemento cualquiera de
C; si en C no hay elementos inferiores a a, entonces a es el primer elemento de C. Si ocurre lo
contrario, entonces los elementos inferiores a a estn en el intervalo [0,a], de modo que se puede
construir el conjunto D definido como la interseccin de C con el intervalo [0,a]. Se observa que este
conjunto D es no vaco, ya que al menos contiene al elemento a; adems, es un conjunto finito por estar

18

Csar Rodrguez Gordillo

incluido en el intervalo [0,a]. Por tanto, este conjunto D tiene un primer elemento, que ser el primer
elemento de C.
2.2 Construccin del conjunto N: sistema conjuntista
El conjunto N construido a travs de la teora de conjuntos tiene la ventaja de que su visin es ms
intuitiva que la que se obtiene de la construccin axiomtica. Sin embargo, este nuevo camino presenta
graves problemas como la nocin de finito y la aparicin de los conjuntos paradjicos, exigen un
tratamiento muy delicado y preciso. No en vano, la crisis de fundamentos de la teora de conjuntos afect
profundamente a esta rama de las Matemticas.
A. Conjuntos y paradojas
a) Conjuntos equipotentes
Se dice que dos conjuntos A y B son equipotentes (en ocasiones tambin se les llama equivalentes o
coordinables) si existe una biyeccin entre ambos conjuntos. Dicha relacin se denota por A B. Es
decir, A B si, y slo si, existe : AB tal que es biyectiva.
A partir de esta definicin se deducen una serie de proposiciones que se dan a continuacin:
Proposicin 1

Cualquier conjunto es equipotente con s mismo. Esto es evidente, ya que basta tomar
para demostrarlo la aplicacin identidad en el propio conjunto.

Proposicin 2

Si un conjunto A es equipotente a un conjunto B, entonces el conjunto B es equipotente

al conjunto A. En este caso es suficiente tomar la funcin inversa, que tambin tiene que
ser biyeciva.

Proposicin 3

Si un conjunto A es equipotente a un conjunto B, y el conjunto B es equipotente a otro

conjunto C, entonces el conjunto A es equipotente al conjunto C. Esto se demuestra
tomando simplemente la composicin de dos funciones biyectivas, que debe ser a su
vez biyectiva.

Proposicin 4

Dados cuatro conjuntos A, B, C y D tales que A es equipotente a B y C es equipotente a

D, entonces se cumple que:
1.

Si las intersecciones de A con C y la de B con D son ambas vacas, entonces

A C es equipotente a B D.

2.

El conjunto A C es equipotente al conjunto B D.

Proposicin 5

Sean A y B dos conjuntos cualesquiera; entonces se pueden encontrar dos conjuntos C y

D tales que A sea equipotente a C, B sea equipotente a D y adems la interseccin de
los conjuntos C y D sea vaca.

Proposicin 6

Sean A y B dos conjuntos cualesquiera, entonces se cumple uno de los dos enunciados
siguientes:
1.

A es equipotente con una parte de B.

2.

B es equipotente con una parte de A.

En el caso de que se cumplan ambos enunciados se tiene como consecuencia que A es equipotente a B.
Esta proposicin es muy importante en el contexto que se trata aqu. La parte 1 de la proposicin se suele
conocer como Teorema de Zermelo, y las segunda parte es una especie de anticipacin del Teorema de
Cantor-Bernstein.
b) Paradojas: el conjunto de todos los conjuntos y su problemtica
La relacin ser equipotente esta definida entre unos elementos llamados conjuntos. Ahora bien, surge
entonces una pregunta: cul es el dominio en el que queda definida esta relacin? A primera vista,

19

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

parece que tendra que contener a todos los conjuntos; es decir, sera algo as como el conjunto de todos
los conjuntos. Aqu es donde se plantea un grave problema: existe realmente dicho conjunto?
Este tipo de preguntas salen a la luz a finales del siglo XIX. Cantor se percat en 1899 de la contradiccin
que supone admitir que existe este conjunto: el conjunto de partes de sera equipotente con una parte de
, lo cual es totalmente contradictorio.
La corriente formalista, en su intento de dar una base axiomtica a la teora de conjuntos, evita este
problema y muchos otros haciendo una especie de trampa: no se ocupa de qu objetos es a los que se les
puede llamar conjuntos. En algunos casos se hace la distincin entre conjuntos y clases, y se retoma la
nocin de clase universal... que no es un conjunto.
Los partidarios de la corriente logicista, por su lado, destacan que los llamados conjuntos paradjicos
violan el siguiente principio: un elemento cuya definicin implica la totalidad de los elementos de un
conjunto no puede pertenecer a ese conjunto. De acuerdo con esto, el conjunto de todos los conjuntos es
un conjunto paradjico.
En cuanto a la relacin ser equipotente, un anlisis ms detallado hace pensar que es ms adecuado
tratarla de otro modo, ms bien como una funcin proposicional que como una verdadera relacin binaria.
A travs de dos nuevos axiomas, el axioma de eleccin y el axioma del infinito, se va a dar un
nuevo enfoque que sortear las posibles paradojas que pudiesen aparecer. Ser mediante ellos como
llegaremos a conceptos como el de cardinal finito, a partir del cual se constituir el conjunto que
tratamos de estudiar: N.
c) Conjuntos finitos y conjuntos infinitos
Se dice que un conjunto C es finito si no es equipotente con ninguno de sus subconjuntos propios. Si el
conjunto C no es finito, entonces se dice que es infinito, y en tal caso existir un subconjunto propio de C
que ser equipotente con C.
Como ejemplo de esto, se puede observar que cualquier segmento puede ponerse en aplicacin biunvoca
con un trozo de s mismo (basta con realizar una homotecia), y por tanto dicho segmento ser un conjunto
infinito (se puede ver el segmento como un conjunto de puntos). Sin embargo, esto no puede hacerse con
un conjunto como A = {a, b, c, d}, que consecuentemente ser considerado un conjunto finito.
En algunos casos, la definicin de conjunto finito dada aqu se demuestra como teorema; es el llamado
teorema de Dedekind.
B. Cardinales y operaciones
a) Cardinal de un conjunto
A travs de la relacin ser equipotente definida entre los conjuntos, se va a definir un nuevo concepto
matemtico: el cardinal (o potencia) de un conjunto. El cardinal de un conjunto A, que se denota como
Card(A), ser siempre el mismo que el de cualquier conjunto equipotente con l. Es decir, que Card(A) =
Card(B) si, y slo si, A es equipotente a B.
El conjunto vaco da lugar a una clase, a la cual se le va a asignar cardinal 0; a la clase de los conjuntos
formados por un solo elemento se les asignar cardinal 1.
b) Operaciones con cardinales de conjuntos
Los cardinales de conjuntos permite efectuar entre ellos diversas operaciones que se van a exponer a continuacin:

Suma de cardinales: dados dos conjuntos A y B con Card(A) = a y Card(B) = b, se pueden tomar A
y B de modo que sean disjuntos (como consecuencia de la quinta proposicin dada en el apartado
3.2 A. a)); y entonces se va a definir el cardinal suma como a + b = Card (A B), siendo A y B
disjuntos (es decir, que tienen interseccin vaca).
Se observa que esta definicin no depende de los representantes escogidos. Adems, es evidente que
esta operacin tiene la propiedad conmutativa (a + b = b + a), la propiedad asociativa ((a + b) + c = a
+ (b + c)) y existe un elemento neutro para la suma de cardinales que ser el 0.

20

Csar Rodrguez Gordillo

Consecuentemente, dados dos conjuntos A y B, se cumplir que Card(A B) + Card(A B) =
Card(A) + Card(B).

Producto de cardinales: dados dos conjuntos A y B con Card(A) = a y Card(B) = b, se define el

producto de cardinales como a b = Card (A B).
Nuevamente, se observa que esto no depende de los representantes escogidos. E igualmente, esta
operacin posee las propiedades conmutativa, asociativa y elemento neutro (que en este caso ser el
cardinal 1, correspondiente a los conjuntos unitarios).
Con esta operacin surge una propiedad ms, la distributiva. Tomando tres conjuntos A, B y C de
modo que B y C sean disjuntos, con Card(A) = a, Card(B) = b y Card (C) = c, entonces se cumple
que a (b + c) = a b + a c.

c) Orden entre cardinales de conjuntos

Dados dos conjuntos A y B con a = Card(A) y b = Card(B), se dice que el cardinal a es menor o igual que
el cardinal b (denotado como a b) si, y slo si, existe una aplicacin inyectiva de A en B; es decir, si el
conjunto A es equipotente a una parte del conjunto B.
Esta relacin no depende de los representantes escogidos, y cumple las siguientes propiedades:
1. Cualquier cardinal a cumple que a b.
2. Dados dos cardinales a y b, si se cumple que a b y que b a, entonces a = b. Este es el llamado
Teorema de Cantor-Bernstein, que demostramos a continuacin:
Sea a = Card(A) y b = Card(B), entonces se cumple una de las siguientes afirmaciones: o bien a b
(en cuyo caso existir una parte de B con cardinal a, la cual tomaremos como A) o bien b a (y en
este caso existir una parte de A con cardinal b, que tomaremos como C).
Como se cumple que Card(B) = Card(C), existir una aplicacin biyectiva f: B C, con C = f(B).
Tomando ahora K = X C, se puede formar el conjunto S = K f(K) f(f(K)) ... = K f(S).
Definimos en este momento la aplicacin g(x) como: g(x) = x, si x pertenece al conjunto S, y g(x) =
f(x), si x pertenece al conjunto B S. Entonces, esta aplicacin es biunvoca de B en A, ya que: g(B)
= g(S (B S)) = g (S) g(B S) = S f(B S); y como es S = K f(S), entonces: g(B) = K
f(S) f(B S) = K f(B) = K C = (A C) C = A. Por tanto, g es suprayectiva. Ahora, g es
inyectiva ya que lo ser sobre S y sobre B S (por serlo la aplicacin f). Hay que demostrar que la
interseccin de g(S) y g(B S) es vaca, o lo que es igual, que lo es la de S y f(B S): peor esto es
cierto, ya que f(B S) = f(B) f(S) = (f(B) K) f(S) = f(B) (K f(S)) = f(B) S.
Por tanto, queda demostrado el teorema.
Como corolario, se obtiene que si tres conjuntos A, B y C estn contenidos cada uno en el siguiente
(es decir, A est contenido en B y B est contenido en C), y adems es Card(A) = Card(C), entonces
Card(A) = Card(B) = Card(C).
3. Dados tres cardinales a, b y c, si se cumple que a b y que b c, entonces ser a c.
C. Cardinales de conjuntos finitos y nmeros naturales
En este apartado vamos a definir los nmeros naturales utilizando los cardinales de los conjuntos finitos
como herramienta. Para ello, nos serviremos antes de nada del siguiente lema:
Dados dos cardinales a y b, entonces: a + 1 = b + 1 si, y slo si, a = b.
La caracterizacin de los conjuntos infinitos se da a travs de la siguiente proposicin:
Un conjunto A con a = Card(A) es infinito si, y slo si, a = a + 1.

21

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

De esta forma, se podrn dar las siguientes definiciones:
1. Un cardinal a es finito si cumple que a a + 1.
2. Un cardinal a es infinito si cumple que a = a + 1.
3. Un conjunto A se dice que es finito o infinito segn lo sea su cardinal.
En este punto, estamos en condiciones de enunciar un importantsimo resultado: el Axioma del Infinito,
que dice que los cardinales finitos constituyen un conjunto (los cardinales en general no constituyen
ningn conjunto).
As pues, llamaremos nmero natural a cualquier cardinal finito. Si un conjunto A es infinito, entonces
Card(A) recibe el nombre de cardinal transfinito. El conjunto de todos los conjuntos finitos ya no es un
conjunto paradjico.
Si llamamos al conjunto de todos los conjuntos finitos, resulta que la relacin ser equipotente es una
relacin binaria de equivalencia en . Cada clase de equivalencia surgida a partir del conjunto cociente
/ va a ser un cardinal finito. Entonces, se define el conjunto N de los nmeros naturales como N = /.
Ya se vio que el cardinal del conjunto vaco era =, y que los conjuntos unitarios tenan como cardinal 1;
como la unin del vaco con un conjunto {x} es el propio conjunto {x}, ser entonces 0 + 1 = 1, de modo
que 0 es un cardinal finito y, por tanto, 0 pertenece al conjunto N. Para designar al conjunto N {0}, se
utilizar la notacin N(+).
D. El conjunto N: cardinal, operaciones y orden
a) El conjunto N es un conjunto infinito
Tomando la aplicacin f: N N definida como f(n) = n + 1 (para cualquier nmero natural), entonces se
tiene que dicha aplicacin es una biyeccin de N en N(+).
Dado un elemento n del conjunto N, al elemento (cardinal finito) n + 1 se le llama sucesor de n. Los
nmeros naturales m que cumplan que n m se llaman siguientes de n. Al nmero n + 1, que es el
sucesor de n, tambin se le llama siguiente inmediato.
De la proposicin expuesta al principio se pueden extraer las siguientes consecuencias:
1. Todo elemento n del conjunto N tiene un sucesor, que ser nico.
2. Dados dos elementos diferentes del conjunto N, ambos tendrn sucesores diferentes.
3. El elemento 0 no es sucesor de ningn otro elemento.
Consecuentemente, ya que N = N(+) {0} y la interseccin de N(+) y {0} es vaca, se tiene que Card(N)
= Card(N(+)) + 1. Pero, por otro lado, N N(+), ya que la aplicacin definida es biyectiva; y entonces
ser Card(N) = Card(N(+)). Se obtiene por tanto que Card(N) = Card(N) + 1. A la vista de esto, se pueden
dar las siguientes conclusiones:
1. Card(N) no es finito, y por tanto, el conjunto N es infinito. El cardinal de N ser un nmero
transfinito.
2. Dado un conjunto C, si se tiene que Card(C) = Card(N), entonces se dice que el conjunto C es infinito
numerable.
3. La existencia de este conjunto infinito justifica el nombre dado al Axioma del Infinito.
b) Operaciones y orden en el conjunto N
Primeramente se debe decir que (N,+,) es un semianillo abeliano con elemento unidad. Las operaciones
ya estudiadas entre cardinales son evidentemente vlidas para cardinales finitos, es decir, para nmeros
naturales. Ahora, sin embargo, estas operaciones son leyes de composicin interna. Pero adems de las
propiedades generales de los cardinales hay algunas otras que son especficas de los cardinales finitos:
1. Cualquier elemento del conjunto N es regular para la suma.

22

Csar Rodrguez Gordillo

2. Cualquier elemento del conjunto N(+) es regular para la multiplicacin.
Por lo que se refiere al orden, al restringirlo a cardinales finitos se obtiene una relacin en el conjunto
N. Esta relacin es de orden, ya que cumple todas las propiedades vistas para cardinales en general. El
Teorema de Zermelo para cardinales finitos dice que dados dos elementos a y b del conjunto N,
entonces a b o b a. Y admitiendo el principio de recurrencia, se obtiene que la estructura (N,) es un
conjunto totalmente ordenado.
Del mismo modo que se haca en la construccin axiomtica del conjunto N, se puede probar que el orden
es compatible con las operaciones. Es decir:
1. Dados a, b y c elementos pertenecientes al conjunto N, si a b entonces a + c b + c.
2. Dados a, b y c elementos pertenecientes al conjunto N, si a b, entonces a c b c.
Se deduce de esto que la estructura de (N,+,,) es la de semianillo totalmente ordenado.
A continuacin definimos la relacin de orden estricto del siguiente modo: dados a y b elementos del
conjunto N se dice que a es menor que b (y se denota como a < b) si a b y adems a b. Y se define
segmento de N a la construccin [a,b] = {x pertenecientes al conjunto N tales que a x b}. Dadas estas
dos nuevas definiciones, se obtienen las siguientes propiedades:
1. Dados dos nmeros naturales a y b, ser a < b si, y slo si, a + 1 b.
2. Cualquier elemento a del conjunto N(+) cumple que Card([1,a]) = a.
3. El primer elemento de (N,) es el 0.
4. No hay ltimo elemento en (N,).
5. Cualquier parte de N que no sea vaca y tenga mximo, posee un ltimo elemento.
6. Cualquier parte no vaca de N tiene primer elemento. Este es el llamado Principio de Buena
Ordenacin.
7. El conjunto N tiene la propiedad arquimediana respecto a la relacin de orden , es decir, que dado un
elemento a del conjunto N(+), y dado un elemento b del conjunto N entonces existe un elemento x del
conjunto N tal que x a > b.
Vamos a probar esta ltima propiedad, dada su gran relevancia: tomando el segmento [1,b] pueden ocurrir
dos cosas: o bien que a no pertenece a dicho segmento (y entonces el resultado es evidente, pues como
ser a > b basta tomar x = 1), o bien que a s pertenece a l. En este ltimo caso, definimos el conjunto C
como los elementos z del conjunto N tales que exista algn nmero natural y con z = y a. Tomando
ahora el conjunto K como la interseccin de C con el segmento [1,b], este conjunto K ser no vaco, y
adems est mayorado por b; por tanto, tiene un elemento mximo. Suponiendo que sea y a dicho
elemento mximo, entonces (y + 1)a no pertenecer al segmento [1,b], luego ser (y + 1) a > b. Por
tanto, tomando el valor x = y + 1, se cumple que x a > b.
E. Los conjuntos finitos y sus propiedades
Los conjuntos finitos estn caracterizados por una serie de propiedades que los hacen interesantes y que
enunciamos aqu:
1. Dado un conjunto finito A de cardinal n, entonces el conjunto A es equipotente al segmento [1,n].
2. Dado un conjunto finito A, si A es equipotente a otro conjunto B, entonces el conjunto B es finito.
3. Dado un conjunto finito A, cualquier subconjunto suyo ser siempre finito.
Vamos a demostrar esta propiedad: sea B un subconjunto propio de A; si fuera infinito, entonces
existira una biyeccin f entre B y una parte suya propia (por ejemplo, B), que a su vez sera parte
propia de A. Tomando ahora la biyeccin i identidad sobre A B, se puede definir entonces la
aplicacin g: A (A B) B dada por: g(x) = f(x), si x pertenece al conjunto B; y g(x) = x, si x
pertenece al conjunto A B. Dicha aplicacin g es una biyeccin entre A y una parte propia, pero esto

23

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

contradice que A sea un conjunto finito. Luego no puede ser B infinito, y por tanto debe ser un
conjunto finito.
4. Dados dos conjuntos A y B finitos, entonces A B y A B son tambin conjuntos finitos.
5. Dado un conjunto finito A, cualquier parte B estrictamente incluida en dicho conjunto cumple que
Card(B) < Card(A).
6. Dados dos conjuntos finitos A y B se cumple siempre que:
-

Card(A) + Card(B) = Card(A B) + Card(A B).

Card(A) Card(B) = Card(A B).

7. Dados dos conjuntos finitos equipotentes A y B, y dada una aplicacin f entre A y B, son equivalentes
estas tres afirmaciones:
-

f es una aplicacin inyectiva

f es una aplicacin suprayectiva

f es una aplicacin biyectiva

A la vista de todas estas propiedades, se puede decir en resumen que un conjunto A es finito si cumple
uno de los siguientes enunciados (todos son equivalentes):
1. A se puede ordenar de modo que tenga primer y ltimo elemento.
2. Cualquier subconjunto de A tiene primer y ltimo elemento.
3. A no es equipotente a ningn subconjunto propio suyo.
4. O el conjunto A es vaco, o bien es equipotente con un segmento [1,n] del conjunto N.
F. Construccin conjuntista de N
La mayora de los procedimientos para construir el conjunto N identifican cada nmero natural con un
conjunto de modo que cada uno de ellos se va definiendo a partir del anterior. Como consecuencia del
Axioma de Recurrencia se tiene que de esta forma pueden construirse todos los cardinales finitos. Por su
parte, el Axioma del Infinito garantiza que el resultado obtenido en este proceso ser un conjunto infinito.
La clave de este tipo de construccin es que al definir el sucesor de un cierto conjunto A como A* = A
{A}, entonces se cumple que si A est contenido en un cierto conjunto C, que a su vez est contenido en
A*, entonces ser C = A o C = A*.
Por ejemplo, la construccin recurrente del conjunto N podra hacerse del siguiente modo:
0=
0* = 0 {0} = {0} = 1
1* = 1 {1} = {0,1} = 2
2* = 2 {2} = {0,1,2} = 3...

3. SISTEMAS DE NUMERACIN
3.1 Introduccin
Al parecer, la primera civilizacin que utiliz un sistema de numeracin propiamente dicho fue la egipcia.
Hace ms de 5.000 aos, los egipcios utilizaban un sistema de numeracin jeroglfico de base 10. Poco a
poco fueron surgiendo smbolos para representar diferentes potencias de diez.

24

Csar Rodrguez Gordillo

Algo ms adelante, hacia los siglos XIX-XVII a. C., en la civilizacin babilnica ya se dispone de un
sistema de numeracin plenamente desarrollado cuya base ya no es decimal, sino sexagesimal (base 60).
El descubrimiento de miles de tablillas de escritura cuneiforme procedentes de dicha poca (reinado de
Hammurabi y su dinasta), con todo tipo de informacin permite establecer estos conocimientos con toda
fiabilidad.
Para nmeros menores o iguales a 59, los sistemas egipcio y babilnico son prcticamente anlogos, pero
de ah en adelante las diferencias son muy grandes. Los babilonios inventaron un sistema de notacin
posicional (hace ms de 4.000 aos), que les permita representar nmeros usando tan slo dos smbolos:
uno para el 1 y otro para el 10. Su gran problema fue la falta de representacin de la posicin vaca, es
decir, del cero en sentido posicional.
En la Grecia ms arcaica, la numeracin se encontraba rodeada de un fuerte misticismo. Pitgoras y sus
discpulos tenan en los nmeros su forma de vida, rindiendo culto en torno a ellos y tomndolos como
sagrados.
Parece que en Grecia hubo dos sistemas de numeracin: uno ms primitivo, el sistema tico, que se cree
procedente de la numeracin jeroglfica egipcia; y otro posterior, el sistema jnico, que empezaba a
desarrollar el principio posicional. Ambos sistemas se fundamentaban en una base decimal.
Ms adelante, los romanos utilizaron abreviaturas para expresar nmeros. Son las famosas cifras romanas,
que hacan extremadamente complicado el clculo (por lo que se generaliz el uso del baco). Pese a su
avanzado nivel tcnico, los romanos conservaron un sistema de numeracin sorprendentemente arcaico y
muy poco operativo.
En China, el sistema de numeracin fue bsicamente decimal y all se introdujo el principio
multiplicativo, que facilitaba enormemente la representacin de nmeros grandes. En esta regin
surgieron dos sistemas, uno basado en este principio multiplicativo y el otro en la notacin posicional.
En la historia de la numeracin, uno de los pasos ms decisivos fue la invencin del cero. Al parecer, sta
se dio de forma independiente en Oriente y Occidente, aunque la paternidad del descubrimiento suele
atribuirse a la civilizacin maya. Aunque los babilonios haban hecho avances en este aspecto, fueron los
mayas los que dotaron de pleno sentido a este concepto matemtico.
En la India es donde realmente surgen los sistemas de numeracin modernos. Fue aqu donde se aplic la
idea del valor posicional a un sistema de numeracin decimal. Adems, fueron los hindes los que
redujeron a nueve el nmero de cifras usadas para representar nmeros (no tenan smbolo para la
posicin vaca; es decir, en un principio no disponan del cero). Hacia los siglos VIII-IX de nuestra era, sin
embargo, aparece el cero en la India (unos 200 aos despus que los otros nueve smbolos), al parecer
proveniente de Grecia. Este descubrimiento fue aplicado correctamente aqu en sus dos vertientes: como
nocin de vaco, y como cantidad nula.
As pues, en la India hace unos 1.500 aos se estableci la base de los sistemas de numeracin modernos:
base decimal, notacin posicional y una cifra para cada uno de los diez numerales bsicos. Luego el
sistema que utilizamos actualmente no fue, como habitualmente se cree, de procedencia rabe.
Al-Khwarizmi, un famossimo matemtico y astrnomo rabe, expuso en sus obras el sistema hind de
forma tan detallada y precisa que por error se crey que haba sido invencin suya o herencia rabe. No
obstante, se debe tener en cuenta que s fueron los rabes los que adoptaron los principios de este sistema
y lo transmitieron a lo largo y ancho de su imperio, especialmente a Europa.
Este sistema, aun con todas sus evidentes ventajas, tard varios siglos en implantarse definitivamente.
Hasta el siglo XIII, en que las Cruzadas y las escuelas de traductores empezaron a propagar nuevas ideas,
conceptos y concepciones en el mundo europeo, no se produjo un avance significativo en este aspecto.
Gran parte del rechazo al nuevo sistema se debi a la fuerte implantacin del baco como instrumento de
clculo, que impeda percatarse de las tremendas ventajas que emanaban de l. Cabe destacar entre los
grandes defensores del nuevo sistema a Leonardo de Pisa (ms conocido como Fibonacci), que en su
Libro del baco (paradjico ttulo, ya que en l critica el sistema tradicional) introduce los nuevos
mtodos algebraicos y la nueva notacin indoarbiga. Durante varios siglos se desat una fuerte lucha
entre los defensores del baco y los innovadores algoristas, que finaliz hacia el siglo XVI con la

25

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

victoria de estos ltimos, dada la evidente superioridad del nuevo mtodo. Es en este momento cuando se
consolida definitivamente nuestro actual sistema de numeracin.
3.2 Conceptos bsicos
La serie de nmeros naturales es infinita, y por tanto, no se puede utilizar un smbolo particular para cada
uno. Debido a ello, es necesario desarrollar algn mtodo para simbolizar cualquier nmero natural.
Surge as la nocin de sistema de numeracin, definido como un conjunto de normas y convenios que son
utilizados para representar a todos los nmeros naturales mediante una adecuada combinacin de un
grupo reducido de signos. De este modo, en funcin del sistema de numeracin que se considere, se
obtendr una distinta representacin de un cierto nmero natural.
Cada uno de los signos del sistema se llama cifra (a veces tambin dgito o guarismo). En esta seccin
slo vamos a estudiar sistemas de numeracin posicional basados en el principio del valor relativo (por
ejemplo nuestro habitual sistema decimal).
En un sistema de numeracin lo primero que se establece es la base b que se va a utilizar; dicho sistema
se valdr de b cifras, que simbolizarn los nmeros desde 0 hasta b 1. A partir de b, aparecen las
unidades de segundo orden (las decenas en el sistema decimal), constituidas por b unidades; las unidades
de tercer orden estn constituidas por b unidades de segundo orden... y as sucesivamente. Es decir, cada
b unidades de un cierto orden constituyen una unidad del orden superior. El principio del valor relativo
permitir utilizar una cifra para expresar el nmero de unidades en cualquier orden, en funcin de su lugar
al escribir el nmero. As, cualquier nmero natural puede escribirse como una sucesin finitas de estas
cifras.
En particular, son muy conocidos y utilizados el sistema decimal (el ms usual en nuestros tiempos,
debido a sus ventajas en cuanto al clculo algortmico), el sistema sexagesimal (de origen mesopotmico,
presente en la medida de los ngulos y del tiempo) y el sistema binario (de base 2, es el que permite a los
ordenadores la codificacin interna de la informacin).
3.3 Fundamentacin de sistemas de numeracin
A. El Teorema Fundamental de la Numeracin. Consecuencias
Sea b la base de un cierto sistema de numeracin, siendo b un nmero natural distinto de 1; entonces,
cualquier nmero natural n se escribe de manera nica mediante la expresin:
n = a(0) + a(1)b + a(2)b2 + a(3)b3 +... + a(k)bk, donde a(i) son nmeros naturales menores que b.
A esta expresin se la denomina expresin polinmica de n en base b.
Es importante recalcar que esta expresin siempre existe y adems es nica.
Como consecuencia de este teorema se obtiene el principio del valor relativo. Al ser todos los a(i) < b,
cada uno de ellos se escribe con una sola cifra, y entonces se puede expresar el nmero natural n como n
= a(k)a(k 1)... a(2)a(1)a(0). As pues, escribiendo sucesivamente y de modo ordenado las cifras de un
nmero, el orden de las unidades que representa cada una est dado por el orden que ocupa en dicha
escritura. Por ejemplo, en la expresin polinmica de n, la cifra a(i) representar las unidades de orden
i + 1.
B. Propiedades
1. Dada una base b y un nmero natural n escrito como a(k)a(k 1)... a(1)a(0) en la base b, entonces el
nmero nbj (producto de n por una potencia de b) se escribe aadiendo j ceros a la derecha de n.
2. Sea n un nmero natural y sea b otro nmero natural; si la escritura de n en la base b est formada por
p cifras, entonces n est comprendido entre bp1 y bp. La implicacin recproca tambin es cierta.

26

Csar Rodrguez Gordillo

Vamos a demostrar esta propiedad; para ello hay que comprobar que se cumplen las dos
implicaciones: n tiene p cifras en base b <> bp1 n < bp.
>) Si n tiene p cifras, entonces se escribir como a (p 1)bp1 + a(p 2)bp2 +... + a(2)b2 + a(1)b +
a(0) bp1. Hay que probar que n < bp: como cada a(i) < b, entonces se tendr que a(1)b + a(0) < a(1)b
+ b = (a(1) + 1)b b2, a(2)b2 + a(1)b + a(0) < a(2)b2 + b2 = (a(2) + 1)b2 b3, y as sucesivamente. De
forma que al final obtenemos: n = a(p 1)bp1 + a(p 2)bp2 +...+ a(2)b2 + a(1)b + a(0) < a(p 1)bp1
+ bp1 = (a(p 1) + 1)bp1 bp.
<) Supongamos que bp1 n < bp, y supongamos que n no tuviese p cifras; es decir, que n tiene
menos o ms de p cifras. En el primero de los casos se puede suponer que n tiene p 1 cifras, pero
entonces debera ser (por la otra implicacin) bp2 n < bp1, lo cual contradice la hiptesis de partida.
En el otro caso, podemos suponer que n tiene p + 1 cifras, pero se llega a otra contradiccin ya que
sera entonces bp n < bp+1. Por tanto, n no puede tener ni menos ni ms de p cifras; tendr
exactamente p cifras.
2. Sean m y n dos nmeros naturales que tienen p y q cifras, respectivamente, al escribirlos en una cierta
base b; entonces, si p < q > m < n.
3. Sean m y n dos nmeros naturales que tienen igual nmero de cifras al expresarlos en una cierta base
b; entonces ser m < n si, y slo si, la cifra de mayor orden de m que sea distinta de su
correspondiente en n es menor que ella.
C. Cambio de sistema de numeracin
El paso de escribir un nmero natural en una cierta base b a escribirlo en otra base diferente b se suele
hacer en general a travs de la base decimal, ya que es a la que estamos ms habituados. As pues, vamos
a distinguir los siguientes casos:
a) Paso de base b a base decimal
Este cambio es muy sencillo, pues basta con efectuar las operaciones indicadas en la expresin del
nmero. A veces se emplea el algoritmo de Ruffini para hacer el clculo. Por ejemplo, para expresar
el nmero 2135(6, es decir 2135 en base 6, en base decimal: 2 63 + 1 62 + 3 6 + 5 = 491.
b) Paso de base decimal a base b
En este caso es suficiente con hacer una divisin sucesiva, hasta llegar a un cociente menor que la
base, momento en que finaliza el proceso. Entonces, la expresin del nmero en esa base b tendra
como primera cifra ese ltimo cociente y a continuacin los dems restos escritos en orden inverso a
su aparicin. Por ejemplo, para expresar el nmero 491 (en base decimal) como un nmero en base
6: 491 dividido entre 6 da 81 como cociente y 5 como resto; ahora, hay que dividir 81 entre 6, que
da 13 como cociente y 3 de resto; continuamos dividiendo 13 entre 6, que da 2 como cociente y 1 de
resto. Este cociente (2) ya es menor que la base (6), y por tanto el proceso finaliza y ser la primera
cifra del nmero. La siguiente ser el ltimo resto que aparece (1), y luego los anteriores en orden
inverso (3, y por ltimo 5). Es decir, que 491 en base decimal se escribe 2135 en base 6.
c) Paso de base b a base b
Para pasar un nmero de una base b a otra base b es suficiente con hacer una combinacin de los
procesos ya vistos: primero se pasa de la base b a base decimal y a continuacin, pasamos de la base
decimal a la base b.
A pesar de que en general se suelen utilizar estas estrategias para los cambios de base, hay algunos
cambios en particular que pueden hacerse a travs de algoritmos ms sencillos. Sobre todo, esto se refiere
a los cambios entre sistemas que tienen como base 2 o alguna de sus potencias. Por ejemplo, cambios
entre el sistema binario (base 2) y el sistema hexadecimal (base 16).
Aqu no vamos a desarrollar los procedimientos para efectuar operaciones bsicas con nmeros en una
base b cualquiera, ya que dichos procedimientos se basan en algoritmos casi idnticos a los que se utilizan
en el sistema decimal.

27

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

4. GUIN-RESUMEN
-

Las primeras nociones de nmero que se dan en el gnero humano surgen con la consciencia de
propiedades generales de algunos grupos de objetos. En particular, la constatacin de la existencia de
correspondencias biunvocas es el paso ms decisivo en este aspecto.

Es muy importante tener en cuenta la doble cara del concepto de nmero natural: cardinal (de donde
surgir el principio de emparejamiento) y ordinal (ligado al concepto de sucesin).

Para construir formalmente el conjunto N de los nmeros naturales se pueden seguir dos caminos
diferentes, cada uno de ellos relacionado con el aspecto ordinal o cardinal de nmero natural. El
camino, el axiomtico, es seguido por matemticos como Peano y Hilbert; el segundo, basado en la
teora de clases, es por el que se decantaron Cantor, Frege y Russell.

La construccin axiomtica de N suele hacerse a travs del sistema axiomtico de Peano, que al actuar
conjuntamente con el principio de induccin completa, da lugar a conceptos como el de siguiente. Es
en ellos en los que se fundamentan las definiciones y propiedades de las operaciones bsicas en N,
tales como la suma y el producto de nmeros naturales. El conjunto N as definido presenta una
relacin de orden entre sus elementos, compatible con las operaciones antes definidas. Como
consecuencia de todo ello se obtiene el principio de buena ordenacin y los conceptos de primer y
ltimo elemento.

En cuanto a la construccin de N basada en un sistema conjuntista, aunque en principio es ms

intuitiva, plantea muchos problemas referidos al rigor matemtico. Hay que decir que la crisis de
fundamentos que afect en los primeros aos del siglo XX al mundo matemtico influy de manera
decisiva en esta concepcin. La base de esta construccin es la relacin de equipotencia entre
conjuntos, que sin embargo da lugar a la paradoja del conjunto de todos los conjuntos. Este escollo se
salva mediante el axioma de eleccin y el axioma del infinito, dando lugar a los conjuntos finitos (a
partir de los que se va a definir N) y a los conjuntos infinitos. Las propiedades de los conjuntos finitos
permiten la construccin conjuntista de N.

Respecto a los sistemas de numeracin, es importante destacar que ya hace 5.000 aos los egipcios
disponan de un sencillo sistema iterativo que usaba la base decimal. La civilizacin babilnica nos
leg el sistema sexagesimal (de base 60) plenamente desarrollado. Otros pueblos, tales como Grecia
y Roma, utilizaron sus propios sistemas de numeracin con distinta fortuna. Uno de los grandes
problemas, comn a estos sistemas, siempre fue la ausencia del cero. Este concepto y su
representacin aparecen de forma independiente en el mundo maya y en la civilizacin hind. Es en el
subcontinente indio donde se hunden las races de nuestro actual sistema de numeracin, que apareci
en Europa de mano de los rabes. Tras una enconada disputa, que dur varios siglos, las ventajas del
nuevo mtodo se impusieron a la tradicin y qued as consolidado nuestro actual sistema de
numeracin.

En el estudio de los sistemas de numeracin destacan principalmente los basados en el principio del
valor relativo (como es el nuestro, por ejemplo). Las distintas bases en las que puede expresarse un
nmero natural, y la unicidad y propiedades de dicha expresin, permiten el cambio entre unas y otras
bases mediante sencillos clculos.

28

Csar Rodrguez Gordillo

5. BIBLIOGRAFA
-

APSTOL, T.M. Calculus Editorial Revert, 1982.

BARTLE R., SHERBERT D.R. Introduccin al Anlisis Matemtico de una variable Editorial
Limusa, 1996.

BOOLE, G. El anlisis matemtico de la lgica Editorial Ctedra, Madrid, 1979.

BOYER C.B. Historia de la matemtica Editorial Alianza Universidad, Madrid, 1986.

BURBAKI N. Elementos de historia de las matemticas Editorial Alianza Universidad, Madrid,

1976.

BURDEN R., FAIRES J.D. Anlisis Numrico Editorial Grupo Editorial Iberoamericana, 1996.

CAN C. La matemtica: creacin y descubrimiento Universidad Pontificia de Comillas, Madrid,

1993.

CARRILLO J. Reflexiones sobre el pasado, presente y futuro de las matemticas Universidad de

Huelva, 2002.

CASTELLET M., LLERENA I. lgebra Lineal y Geometra Editorial Revert, Barcelona, 1994.

CLERA J. et. al. Matemticas II. Bachillerato Logse Editorial Anaya, Madrid, 1997.

CRAMER, H. Elementos de la teora de probabilidades y alguna de sus aplicaciones, 1958.

DAVIS P. J., HERSH R. Experiencia Matemtica Editorial Labor-MEC, 1998.

GUZMN M. Para pensar mejor Editorial Paids, Barcelona, 1992.

HARDY G. H., WRIGHT E. M. Introduction to the theory of numbers Editorial Oxford U. P., 1984.

KINCAID D., CHENEY W. Anlisis Numrico: las Matemticas del Clculo Cientfico Editorial
Addison-Wesley Iberoamericana, 1994.

LINNIK, Y. V. Mthode des moindres carrs. lments de la thorie du traitement statistique des
observations Editorial Dunod, Pars, 1963.

MARSDEN J. E., HOFFMANN M. J. Anlisis clsico elemental Editorial Addison-Wesley

Iberoamericana, Wilminton, 1998.

MARSDEN J. E., TROMBA A. J. Clculo vectorial Editorial Addison-Wesley Iberoamericana,

Wilminton, 1991.

RAO C. R., TOUTENBURG H. Linear models (least squares and alternatives) Editorial Springer,
New York, 1995.

SPIVAK M. Calculus Editorial Revert, 1990.

SPIVAK M. Clculo infinitesimal Editorial Revert, 1994.

VINIGRADOV I. Fundamentos de la teora de los nmeros, Editorial Mir, 1977.

29

Cuerpo de Profesores de Enseanza Secundaria. Matemticas. Vol. I

30