Você está na página 1de 18

CONJUNTOS NUMRICOS

Fundamentos de la Matemtica 2013



Prof. Gustavo Franco

Introduccin
Cuando los seres humanos se volvieron sedentarios, sus pertenencias aumentaron (ya que
no tenan que transportarlas de un sitio a otro), y comenzaron a cosechar y a criar animales que
los provean de alimento y abrigo; razones por las cuales debieron de hacerse de mecanismos
para realizar recuentos. En palabras de Imenes y Lellis (2000):

Aos poucos, e por vrias razes, comearam [os habitantes de cavernas] a plantar e
tornaram-se sedentrios, ou seja, fixaran-se em certas regies. Acredita-se que as
primeiras formas de agricultura desenvolveram-se h cerca de 10 000 anos, na ragio haje
chamada de Oriente Mdio. Sabe-se trambn que h 6 000 ou 7 000 anos nossos
antepassados j criavam ces, carneiros, cabras, porcos, bois e cavalos, entre outros
animais. Descobriram tambn como construir casas de pedra e barro; desse modo,
surgiram as primeiras aldeias. Alm disso, apareceu o sentimento de propriedade sobre a
terra, a casa e os animais.
medida que essas mudanas iam ocorrendo, as contagens comearam a ser necessrias
por razes prticas. Um pastor de ovelhas, por exemplo, precisava contar seu rebanho ao
fim de cada dia para saber se alguma delas havia se perdido. Um agricultor deveria
conhecer o clima e as estaes do ano para saber quais eram as pocas boas para plantar
ou colher. Para isso, ele contava os dias e as fases da lua.
Enfim, todas as coisas que deram origen civilizao levaram tambm criao dos
nmeros. (p. 9)

Imaginemos al hombre primitivo sacando a pastar su rebao de ovejas; si el nmero era
elevado, podra haberse valido de piedras para hacer recuento de ellas: guardando en un saco
una piedra por cada oveja que sala del corral, al regresarlas, poda corroborar si no se haba
extraviado ninguna. De ah el clculo, que deriva de la palabra latina calculus, que significa
piedra. O, de modo anlogo, en vez de piedras podra haber realizado muescas en un palo. Estos
son los antecedentes de la accin de contar.
Lo que el hombre primitivo realizaba de este modo:







en la actualidad lo haramos as:

0 1 2 3




Conjuntos Numricos
Prof. Gustavo Franco

2
Para crear el proceso de contar, no es suficiente disponer de una variada agrupacin de
modelos, por extensa que sea; es necesario que organicemos un sistema de nmeros, que
dispongamos nuestro conjunto de modelos segn una sucesin ordenada, una sucesin que
progrese en el sentido de las magnitudes crecientes, la sucesin natural : uno, dos, tres
Una vez creado este sistema, contar una coleccin significa asignar a cada elemento un
trmino de la sucesin natural en el orden de la misma hasta que se agote. El trmino de la
sucesin natural asignado al ltimo elemento de la coleccin es llamado el nmero ordinal
de la coleccin. (Dantzig, 1947, p. 20)

El sistema que nosotros usamos actualmente tiene su origen en el sistema hind y fue
introducido en Europa por medio de los rabes aproximadamente en el ao 1000. Sin
embargo y pese al esfuerzo de Leonardo de Pisa
1
(Fibonacci), los nuevos numerales
tardaron en ser admitidos. Se sucedieron polmicas sobre su uso y en 1300 se los prohibi
en los documentos comerciales. Los nmeros romanos se mantuvieron en el uso contable
hasta el siglo XVIII. (Pro Ciencia Conicet, 1979, p. 20)

Los ejemplos ms antiguos que se conservan de nuestros numerales actuales han sido
encontrados en algunas columnas de piedra en la India que datan, aproximadamente, de
250 aos antes de Jesucristo. [] Estos ejemplos antiguos no contienen al cero y no
emplean valor relativo. El valor relativo, sin embargo, y tambin el cero, deben haber sido
introducidos antes del ao 800 despus de Jesucristo, ya que el matemtico persa al-
Khowrizm describe tal sistema, en un libro que data del 825 despus de Jesucristo. La
forma como los nuevos numerales fueron transmitidos a Europa no es clara histricamente.
Probablemente, fue a travs de comerciantes y viajeros. Los rabes invadieron la Pennsula
Ibrica en el ao 711 despus de Jesucristo y, sin duda, ensearon los nuevos smbolos a
los espaoles. [] A partir del advenimiento de la imprenta, alrededor de la mitad del siglo
XV, los smbolos fueron bastante uniformes, solamente ligeros cambios de forma han
ocurrido desde entonces. []
El sistema decimal usa diez smbolos hind-arbigos, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 [se llaman
tambin dgitos. Esta palabra proviene del latn digitus, que significa dedo], y aqu est
incluido un smbolo para cero. Tiene base diez y es un sistema de valor relativo. Cualquier
nmero puede ser expresado como una sucesin de smbolos y es interpretado como la
suma de los trminos que resultan de multiplicar el valor de cada smbolo por la potencia
correspondiente de diez. La potencia de diez est determinada por la posicin o el lugar
que ocupa el smbolo (Peterson & Hashisaki, 1985, pp. 24, 25 y 27)

Como ya sabes, al conjunto de los nmero naturales se lo representa con la letra: . Hay
diversas maneras de abordar una definicin formal del conjunto de los nmeros naturales: a
travs de una definicin axiomtica (Axiomtica de Peano
2
), tambin se puede dar una
definicin por abstraccin
3
, o una definicin nominal explcita que es la que veremos cuando
desarrollemos el tema Nmero Real.

1
El primer libro occidental que trata de este sistema data de 1202, de los tiempos de Marco Polo y de
las Cruzadas, se titula Liber abaci (o libro del baco), y lo escribi un comerciante y matemtico italiano
llamado Leonardo Fibonacci, que tena relaciones comerciales con los rabes, de los que aprendi el
sistema. (Corbaln, 1995, p. 22)
2
La Axiomtica de Peano de los Nmeros Naturales figura en el programa de Matemtica II del curso 5
ao, diversificacin cientfica.

3
Para una aproximacin al tema se puede consultar:
Osin, Luis. (1975). Introduccin al anlisis matemtico. 1 Edicin. Buenos Aires: Editorial Kapelusz.
Conjuntos Numricos
Prof. Gustavo Franco

3
En este curso aparecern cuatro tipos de definiciones:

Definiciones nominales explcitas: en este caso se designa con una palabra nueva o
con un nuevo smbolo, a una combinacin lgica de conceptos ya conocidos (primitivos
o definidos anteriormente).

Definiciones por abstraccin: Cuando se define en un conjunto una relacin de
equivalencia, queda determinada una particin del conjunto en clases de equivalencia;
estas clases y el conjunto cociente son nuevos entes matemticos a los que se les
atribuir un nuevo nombre o un nuevo smbolo. A este procedimiento se lo denomina
definicin por abstraccin. En los siguientes apartados veremos dos ejemplos de
definiciones por abstraccin: la de los Nmeros Enteros y la de los Nmeros
Racionales.

Definiciones axiomticas y por recurrencia: en unidades posteriores tendremos
oportunidad de ejemplificar este tipo de definiciones.


Preguntas que no tienen respuesta

En nuestro uso diario de los nmeros naturales, adems de sumarlos y de multiplicarlos,
tambin tenemos ocasin de restarlos. La operacin de sustraccin puede ser definida en
funcin de la adicin. El smbolo 5 3 en realidad nos contesta a la pregunta: "Cul es el
nmero que sumado al 3 nos da 5?" Siendo que la respuesta a la pregunta es el nmero 2,
decimos 5 3 = 2. A la respuesta la llamamos la diferencia entre 5 y 3. La pregunta
tambin puede ser escrita en la forma de una ecuacin x 3 = 5, y la respuesta a la
pregunta es la solucin de la ecuacin.
El xito que hemos obtenido al hallar la diferencia existente en 5 y 3 nos incita a hallar la
diferencia existente entre dos nmeros naturales cualesquiera elegidos al azar. Pero
entonces tropezamos con dificultades. Por ejemplo, supongamos que tratamos de hallar la
diferencia entre 3 y 5, escrita como 3 5. Primero tenemos que interpretar el smbolo
como una pregunta. Nos preguntamos esto: "Cul es el nmero natural que sumado a 5 nos
da 3?" Desgraciadamente, la respuesta es que no existe ningn nmero natural semejante.
En el sistema de nmeros naturales no podemos restar cualquier nmero de cualquier otro
nmero. El nico caso en que la sustraccin es posible en aquel sistema es cuando el
sustraendo no es mayor que el minuendo. Si a y b representan nmeros naturales
cualesquiera, la expresin a b no siempre tiene significado. Si consideramos la pregunta:
" Cul es el nmero natural que sumado a b da a?, no siempre obtenemos una respuesta. Si
utilizamos la ecuacin x b = a, que responde a la misma pregunta, no siempre tiene una
solucin. ste es un defecto del sistema de nmeros naturales que limita su utilidad.
Porque, si bien la expresin 3 5 no tiene sentido para el sistema de nmeros naturales,
existen problemas prcticos que conducen exactamente a un problema de este tipo. Por
ejemplo, si la temperatura es de 3 grados, cul ser la temperatura cuando el mercurio
desciende 5 grados? Sera til tener un sistema numrico que contuviera un nmero que
pudiera servir como respuesta a esta pregunta. El defecto del sistema de nmeros
naturales que hemos considerado nos enfrenta con un problema. Podemos construir un
sistema numrico que no tenga este defecto? Podemos construir un sistema de nmeros
en el que la sustraccin siempre sea posible para cualquier par de nmeros tomados en


Conjuntos Numricos
Prof. Gustavo Franco

4
cualquier orden, de manera que a b siempre tenga un significado y x b = a tenga
siempre solucin? Hallamos que s podemos construirlo.
Los lectores que han estudiado lgebra en la escuela secundaria recordarn que para esta
finalidad se supone que sirve un sistema de nmeros que incluye nmeros "negativos" as
como "positivos". Pero en sus cursos de lgebra de la escuela secundaria estudiaron este
sistema como un producto acabado que obedece a ciertas reglas misteriosas, tales como:
"el producto de dos nmeros negativos es un nmero positivo." En lo que sigue no vamos a
presuponer la existencia de un sistema numrico de este tipo, sino que probaremos su
existencia construyndolo realmente. Tambin eliminaremos el misterio que rodea a sus
reglas derivndolas efectivamente de las reglas familiares que gobiernan el sistema de
nmeros naturales. (Adler, 1976, pp. 60-62).



DEFINICIN DE NMERO ENTERO

Primera aproximacin: un abordaje informal
Si a y b son dos nmeros naturales, la expresin a b, no siempre tiene sentido en dicho
conjunto. Veamos cmo definir el conjunto de los nmeros enteros para superar este problema,
es decir, para que las expresiones de la forma a b tengan sentido cualesquiera sean los
enteros a y b. Consideremos el conjunto formado por todos los pares ordenados de nmeros
naturales (a, b) organizados segn el siguiente cuadro, lo que nos permitir realizar algunas
observaciones de inters:

(0, 0) (0, 1) (0, 2) (0, 3)
(1, 0) (1, 1) (1, 2) (1, 3)
(2, 0) (2, 1) (2, 2) (2, 3)
(3, 0) (3, 1) (3, 2) (3, 3)


Todos los pares que pertenecen a una misma diagonal comparten una misma propiedad.
Por ejemplo: (0, 0), (1, 1), (2, 2), verifican que: 0 0 = 1 1 = 2 2 =
(1, 0), (2, 1), (3, 2), verifican que: 1 0 = 2 1 = 3 2 =

Si quisiramos establecer una particin del conjunto de todos los pares ordenados de
nmeros naturales ( ) en clases de equivalencia, de modo que todos los pares de una misma
diagonal pertenezcan a la misma clase, podramos definir una relacin R, tal que (a, b) R (c, d)
si, y solo si, a b = c d (*). Pero entonces estaramos limitados por la misma dificultad que
queremos superar: solo podramos comparar aquellos pares ordenados en donde la sustraccin
fuera posible. Esto se soluciona tomando como condicin para que dos pares estn relacionados
una igualdad equivalente a (*) que es verificable en todos los casos: (a, b) R (c, d) si, y solo si,
a d = c b. Puede probarse que esta relacin es de equivalencia y que, por lo tanto,
determina en el conjunto una particin en clases de equivalencia.
Pero, qu es un nmero entero? Llamaremos nmero entero a cada una de las clases de
equivalencia que la relacin R determina en . En otras palabras, un nmero entero es un
conjunto de infinitos pares ordenados de nmeros naturales que pertenecen a una misma clase
Conjuntos Numricos
Prof. Gustavo Franco

5
de acuerdo a la relacin establecida. Por lo tanto, el conjunto de los nmeros enteros es el
conjunto formado por todas las clases de equivalencia que la relacin R determina en , es
decir, es el conjunto cociente:

R
.

Cada una de estas clases se puede representar a travs de cualquier elemento de la
clase. Por ejemplo, la clase a la que pertenecen: (1, 0), (2, 1), (3, 2), la podemos notar como
[(1, 0)], o en forma simplificada convendremos en notarla: 1. A la clase que pertenecen (0, 0),
(1, 1), (2, 2),, la podemos notar como [(0, 0)], o en forma simplificada la notaremos como 0. Y a
la clase a la que pertenecen, por ejemplo, (0, 2), (1, 3), (2, 4),, la notaremos [(0, 2)], o
tambin, en forma simplificada, como 2.

Ya habrs advertido en ms de una oportunidad que, en diversos contextos, no se
distingue entre los naturales y los enteros no negativos, es decir, se trabaja con los naturales
como si fueran enteros no negativos; esto se debe a que ambos conjuntos son isomorfos.




Segunda aproximacin
Pasaremos ahora a enunciar los conceptos desarrollados y agregar las definiciones
necesarias para completar el abordaje de este conjunto numrico.

Se considera la relacin R definida en tal que (a, b) R (c, d) si y solo si
a d = c b.

Actividad
a) Prueba que R es una relacin de equivalencia.
b) Revisa la prueba que realizaste y redacta qu propiedades utilizaste.
c) Si R es de equivalencia, qu puedes concluir?

Definicin
La relacin de equivalencia anterior (R) establece, en el conjunto de los pares ordenados
de nmeros naturales ( ), una particin en clases de equivalencia. A cada una de estas
clases de equivalencia se la denomina Nmero Entero.


Definicin
Al conjunto cociente

R
se lo denomina Conjunto de los Nmeros Enteros y se lo
nota
4
.
Simblicamente: ( ) { }

= = [( )] / ( ) , , P
R
a b a b


Por definicin [(a, b)] , es decir [(a, b)] es un nmero entero.

4
Inicial de la palabra alemana Zahl que significa nmero.
Conjuntos Numricos
Prof. Gustavo Franco

6
Actividad
Segn el abordaje que realizamos, es correcto decir que el conjunto de los naturales es
un subconjunto del conjunto de los enteros? Justifica.

Igualdad de nmeros enteros
Como consecuencia de la definicin de nmero entero, y teniendo en cuenta las
propiedades de las clases de equivalencia, tenemos que: [(a, b)] = [(c, d)] (a, b) R (c, d).

Teorema
H) [( , )] a b T) Existe y es nico el par ordenado con al menos un
componente cero que pertenece a [(a, b)].

Demostracin de la existencia:
Prop. de tricotoma
de < en
, , 0
, 0, [( , )] ,
, 0, 0



<

<

=
'
1
1
1
1
1
1
1
!
1
1
1
1
1
1
1+
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
R
R
R
b a a b a b a b
a b b a a b b a a b a b
a b a b

5



Demostracin de la unicidad: debemos probar que si dos pares ordenados, con uno de sus
componentes cero, pertenecen a la misma clase, entonces
son iguales:

i) (m, 0) R (n, 0) m 0 = n 0 m = n
ii) (0, m) R (0, n) 0 n = 0 m n = m
iii) (m, 0) R (0, n) m n = 0 0 = 0, lo cual solo es posible para m = n = 0.

Por lo tanto, en los tres casos, si tenemos dos pares ordenados con uno de sus
componentes cero pertenecientes a una misma clase, estos son iguales.

Hemos probado que, dado [( , )] , a b existe y es nico el par ordenado que pertenece a
[(a, b)] y es de la forma:


( , 0) con , 0
(0, ) con , 0
(0, 0)

'
1
1
1
1

1
1
1
1

!
1
1
1
1
1
1
1
1+
p p p
n n n


5
Ac aparece otra operacin bsica llamada disyuncin excluyente. La proposicin compuesta p q es
verdadera, si p o q, pero no ambas, son verdaderas. En los otros casos es falsa.
Conjuntos Numricos
Prof. Gustavo Franco

7
Representante cannico
Dado [(a, b)] , se denomina representante cannico de dicho nmero entero, al
representante que tiene por lo menos un componente nulo.
Definiciones
[(a, b)] es positivo si, y solo si, su representante cannico es de la forma
( , 0) con , 0. p p p
[(a, b)] es negativo si, y solo si, su representante cannico es de la forma
(0, ) con , 0. n n n
[(a, b)] es nulo si, y solo si, su representante cannico es (0, 0).

Notacin simplificada
Al entero [(p, 0)], con p 0, lo notaremos p; al entero [(0, n)], con n 0, lo notaremos
n, y al entero [(0, 0)] lo notaremos 0.

Definiciones
{ }
+
= [( , )] / [( , )] es positivo a b a b Z
{ }

= [( , )] / [( , )] es negativo a b a b Z
{ } { } [(0, 0)] = 0

{ }
+ +
=
0
Z Z 0


=
+




Se puede afirmar que
{ } { }
+
0 , , es una particin de ? Justifica.

Valor absoluto
Se llama valor absoluto de un nmero entero [(a, b)], y lo notaremos
( )
[ , ] , a b al primer
componente de su representacin cannica si es positivo o nulo, y al segundo, si es negativo.

Observa que de acuerdo a esta definicin, el valor absoluto de un nmero entero es
siempre un nmero natural.

Adicin
Llamamos adicin de nmeros enteros, a la funcin : tal que
[(a, b)] , [(c, d)] , [(a, b)] [(c, d)] = [(a c, b d)].

Observa que el smbolo corresponde a la adicin de nmeros enteros, mientras que el
smbolo corresponde a la adicin de nmeros naturales.

Resta o sustraccin
Llamamos resta o sustraccin de nmeros enteros, a la funcin : tal que
m , n , m n = d m = d n.
Conjuntos Numricos
Prof. Gustavo Franco

8

A diferencia de lo que sucede en , en el conjunto de los nmeros enteros (como
pretendamos) la resta siempre es posible, incluso cuando el minuendo es menor que el
sustraendo.

Actividad
Calcula, aplicando definiciones: 2 (7).

Se puede probar que la adicin de nmeros enteros cumple las propiedades conmutativa,
asociativa y existencia y unicidad del elemento neutro. Veamos la demostracin, por ejemplo,
de la propiedad conmutativa.

Teorema: propiedad conmutativa de la adicin de nmeros enteros
H) [(a, b)] , [(c, d)] T) [(a, b)] [(c, d)] = [(c, d)] [(a, b)]

Dem:
[(a, b)] [(c, d)]
Def. de
= [(a c, b d)]
Prop. conmutativa
de la adicin en
=

[(c a, d b)]
Def. de
= [(c, d)] [(a, b)]

Actividad
Demuestra la propiedad asociativa y la propiedad de existencia y unicidad del elemento
neutro de la adicin de nmeros enteros.

Si utilizamos las representaciones cannicas, tenemos que:

a) [(m, 0)] [(n, 0)] = [(m n, 0)]
b) [(0, m)] [(0, n)] = [(0, m n)]
c) ( ) ( ) ( )
( )
( )
[ , 0 ], si
[ , 0 ] [ 0, ] [ , ]
[ 0, ], si

= =

<

m n m n
m n m n
n m m n


De donde surgen las conocidas reglas para sumar nmeros enteros:

a) La suma de dos nmeros enteros positivos es un entero positivo cuyo valor absoluto es
la suma de los valores absolutos de los sumandos.

b) La suma de dos enteros negativos es un entero negativo cuyo valor absoluto es la suma
de los valores absolutos de los sumandos.

c) La suma de un entero positivo y uno negativo es un entero cuyo valor absoluto es la
diferencia de los valores absolutos de los sumandos y que ser positivo, cero o
negativo, segn que el sumando positivo sea de mayor, igual o menor valor absoluto que
el negativo.

Multiplicacin
Llamamos multiplicacin de nmeros enteros, a la funcin : tal que
[(a, b)], [(c, d)], [(a, b)] [(c, d)] = [(a c b d, a d b c)].

Conjuntos Numricos
Prof. Gustavo Franco

9
Observa que el smbolo corresponde a la multiplicacin de nmeros enteros, mientras
que los smbolos y corresponden, respectivamente, a la adicin y a la multiplicacin de
nmeros naturales.

Actividad
a) Demuestra que la multiplicacin de nmeros enteros cumple las propiedades
conmutativa, asociativa y existencia y unicidad del elemento neutro.
b) Demuestra que se cumple la propiedad distributiva de la multiplicacin respecto de la
adicin.

Si utilizamos ahora las representaciones cannicas, tenemos que:

[(m, 0)] [(n, 0)] = [(m n, 0)]
[(m, 0)] [(0, n)] = [(0, m n)]
[(0, m)] [(0, n)] = [(m n, 0)]

De donde surgen las siguientes propiedades:
a) El valor absoluto de un producto es igual al producto de los valores absolutos de los
factores.
b) El producto de dos enteros positivos o de dos enteros negativos es un entero positivo,
mientras que el producto de uno positivo por uno negativo es negativo.
c) El producto de cero por cualquier entero es cero.
d) Para que un producto sea cero, debe serlo por lo menos uno de los factores. Dicho de
otro modo, el conjunto de los nmeros enteros no tiene divisores de cero. Es vlida,
entonces, la propiedad cancelativa y si esta ltima se cumple, tambin es vlida la
propiedad hankeliana.


Isomorfismo entre el conjunto de los nmeros naturales y el de los enteros no
negativos
Podemos ver al conjunto de los nmeros enteros como una ampliacin del conjunto de los
nmeros naturales. Justificaremos ahora esta afirmacin demostrando que podemos trabajar
con los enteros no negativos como lo hacamos con los naturales.

Comencemos por establecer la siguiente funcin entre el conjunto de los nmeros
naturales y el de los enteros no negativos: f :
0
+
tal que f (m) = [(m, 0)].
Esta funcin tiene la particularidad de conservarse respecto a la adicin y a la
multiplicacin. Esto significa que, si consideramos dos naturales m y n y los sumamos, el
correspondiente de la suma m n, segn f, es igual a la suma de los correspondientes de m y n
segn f. Y lo mismo ocurre con el producto.
Es decir, consideremos m y n . Segn la definicin de la funcin f tenemos que:
f (m) = [(m, 0)] y f (n) = [(n, 0)].

Ahora bien, por la definicin de adicin y multiplicacin de enteros:
[(m, 0)] [(n, 0)] = [(m n, 0)] y [(m, 0)] [(n, 0)] = [(m n, 0)].
Conjuntos Numricos
Prof. Gustavo Franco

10
Por otro lado, f (m n) = [(m n, 0)] y f (m n) = [(m n, 0)], es as que, como
afirmbamos:

f (m + n) = f (m) f (n) (
1
)
y
f (m n) = f (m) f (n) (
2
)

Adems esta funcin f es biyectiva (
3
). Puedes probarlo?

Las funciones entre conjuntos que verifican las propiedades (
1
), (
2
) y (
3
), se llaman
isomorfismos. Se dice tambin que el conjunto de los nmeros naturales y el de los enteros no
negativos son isomorfos.

Actividad
Cul es la utilidad de poder establecer un isomorfismo entre el conjunto de los nmeros
naturales y el de los enteros no negativos?


Representacin en la recta numrica
Para representar conjuntos numricos en una recta se necesita considerar un punto O
cualquiera perteneciente a ella (al que llamaremos origen), un sentido (arbitrario) y una unidad.




Luego, al punto O le asignamos el natural 0, al punto A, tal que 1, OA = le hacemos
corresponder el nmero natural 1, y as sucesivamente. Al nmero que se le asigna al punto se lo
denomina abscisa del punto. Por ejemplo, la abscisa del punto A es 1, y se nota A (1).
De este modo hemos establecido una relacin entre dos conjuntos: el conjunto de los
nmeros naturales y el de los puntos de una recta; de modo que a cada nmero natural le
corresponde un nico punto en la recta. Pero, a cada punto en la recta, le corresponde un
nmero natural? Evidentemente no. A todos los puntos que estn entre O y A, por ejemplo, no
les corresponde ningn nmero natural, tampoco a ningn punto a la izquierda de O, etc.

Si ahora representamos al conjunto de los nmeros enteros en la recta, tendramos:






Nuevamente, para cada nmero entero tenemos un nico punto en la recta, pero hay
puntos en la recta a los cuales no les corresponde ningn nmero entero.



1
O
0
A
u
B C
2 3
u
1
O
0
A B C
2 3 1 2 3
A B C
Conjuntos Numricos
Prof. Gustavo Franco

11
DEFINICIN DE NMERO RACIONAL

Primera aproximacin: un abordaje informal
En el conjunto de los nmeros enteros est definida la resta, incluso cuando el minuendo
es menor que el sustraendo. Pero todava no se puede realizar la siguiente operacin: 2 : (3),
pues no hay ningn nmero entero que multiplicado por 3 nos d 2.
El conjunto de los nmeros racionales proporciona nmeros que hacen que la divisin sea
casi siempre posible (casi ya que el divisor no puede ser cero).

Ahora bien, qu es un nmero racional? Seguramente la idea que tengas es que este
conjunto est relacionado con las fracciones. Pero, un nmero racional, es una fraccin? La
respuesta es negativa. Veamos entonces a qu llamaremos nmero racional.

Sabemos que a la fraccin
1
2
la podemos escribir como 0,5. Al nmero 0,5 se lo llama
expresin decimal de la fraccin y se obtiene dividiendo el numerador entre el denominador.

Consideremos al conjunto de las infinitas fracciones separadas en clases segn su
expresin decimal. Tendramos entonces:

1 4 7 13 50
0, 5 , , , , , ...
2 8 14 26 100



1 3 18 100
0,3 , , , , ...
3 9 54 300



44 22 66 220
4, 4 , , , , ...
10 5 15 50





2 4 16 18 60
0, 4 , , , , , ...
5 10 40 45 150

23 46 230 115
3,285714 , , , , ...
7 14 70 35





Se llama nmero racional al conjunto formado por las infinitas fracciones que pertenecen
a una misma clase. Si observas, todas las fracciones que pertenecen a una misma clase son
equivalentes, por lo tanto un nmero racional es un conjunto de infinitas fracciones
equivalentes.
Pero, cul es la relacin de equivalencia que origina en el conjunto de todas las
fracciones una particin en estas clases de equivalencia? Es la relacin R definida en el
conjunto de todas las fracciones tal que:
a c
a d c b
b d
= R (observa que esta relacin as
defina es la conocida definicin de fracciones equivalentes, aunque estamos acostumbrados a
5 10 35 100
5 , , , , ...
1 2 7 25

Conjuntos Numricos
Prof. Gustavo Franco

12
verla escrita de este modo: ,
a c
a d c b
b d
= lo cual se debe al hecho de que R es una
relacin de equivalencia).
Con el desarrollo anterior hemos justificado que, efectivamente, el concepto de fraccin
y de nmero racional es distinto pero, si bien hemos dicho a qu llamaremos nmero racional, no
definimos an el concepto de fraccin. Pues bien, una fraccin es un par ordenado de nmeros
enteros con segundo componente distinto de cero. Es decir, el conjunto de todas las fracciones
es el conjunto

.
Teniendo en cuenta ahora la definicin de fraccin, podemos reformular la definicin de
nmero racional. La relacin R definida en

tal que: (a, b) R (c, d) si y solo si


, a d c b = es una relacin de equivalencia y por lo tanto determina en

una particin
en clases de equivalencia. Llamaremos nmero racional a cada una de las clases de equivalencia
que la relacin R determina en

. En otras palabras, un nmero racional es un conjunto de


infinitos pares ordenados de nmeros enteros con segundo componente distinto de cero, que
pertenecen a una misma clase.

Como ya sabes, cada una de estas clases se puede representar a travs de cualquier
elemento de la clase. Por ejemplo, la clase a la que pertenecen:
1 4 7 13 50
, , , , , ...
2 8 14 26 100
la
podemos notar como
1
2
(
(

.
Ya habrs advertido en ms de una oportunidad que, en diversos contextos, no se
distingue entre los enteros y los racionales con denominador uno, esto se debe a que ambos
conjuntos son isomorfos.


Segunda aproximacin
Pasaremos ahora a enunciar los conceptos desarrollados y agregar las definiciones
necesarias para completar el abordaje de este conjunto numrico.

Se considera la relacin R definida en

tal que (a, b) R (c, d) si y solo si
. a d c b =

Actividad
a) Prueba que R es una relacin de equivalencia.
b) Revisa la prueba que realizaste y redacta qu propiedades utilizaste.
c) Si R es de equivalencia, qu puedes concluir?

Definicin
La relacin de equivalencia anterior (R) establece en el conjunto de los pares ordenados
de nmeros enteros con segundo componente distinto de cero (

), una particin en clases


de equivalencia. A cada una de estas clases de equivalencia se la denomina nmero racional.

Conjuntos Numricos
Prof. Gustavo Franco

13
Definicin
Se llama fraccin a todo par ordenado de nmeros enteros donde el segundo componente
es distinto de cero.
Notacin: Si a , b y b 0, a la fraccin (a, b) la representaremos .
a
b

Como un nmero racional es un conjunto de infinitos pares ordenados de nmeros enteros
con segundo componente distinto de cero que pertenecen a una misma clase (determinada por
la relacin R), segn la definicin de fraccin, podemos decir que un nmero racional es un
conjunto de infinitas fracciones equivalentes: si
a
b
es una fraccin, la clase de equivalencia

(
=
` (
)
,
a x x a
b y y b
Z Z
es un nmero racional.


Definicin
Al conjunto cociente

R

se lo denomina Conjunto de los Nmeros Racionales y se lo
nota
6
.
Simblicamente:
( )

= =
` (
)
/ P
R
x x
y y



Igualdad de nmeros racionales
Como consecuencia de la definicin de nmero racional, y teniendo en cuenta las
propiedades de las clases de equivalencia, tenemos que:
( , ) ( , ).
( (
=
( (

R
a c
a b c d
b d


Notacin simplificada
De ahora en ms, al racional
(
(

a
b
lo notaremos de la siguiente manera:
si
si
si
Z
Z
a
a b
b
a
a
a b
b b
a 0

'
1
1
1

1
1
1
1
1
1
l
1
1
l
=
!
l
1
1 l
1
1
1
=
1
1
1
1
1
1+



Representante cannico
Al par , ( , ) Z Z a b

siendo a y b primos entre s y , b

se lo denomina representante
cannico de la clase
(
(

a
b
. (La demostracin de la existencia y la unicidad del representante
cannico podr realizarse cuando se haya abordado el tema Divisibilidad.)

6
Inicial de la palabra inglesa Quotient, que significa cociente.
Conjuntos Numricos
Prof. Gustavo Franco

14
Algo ms sobre nmeros racionales

De la fraccin a la expresin decimal
Como 0,5 = 0,500000, podemos decir que
1
0,50
2
=

. Al nmero 0,50,

se lo llama
expresin decimal peridica de perodo cero.

Veamos las expresiones decimales de algunas fracciones:


1 2 10 7 1 11
0,3; 0, 40; 2,50; 1,16; 0,142857; 2, 750
3 5 4 6 7 4
= = = = = =



Las expresiones decimales de estas fracciones son todas peridicas (en el sentido amplio,
es decir, incluyendo a las que tienen perodo cero).

Podr la expresin decimal de una fraccin no ser una expresin decimal peridica?

Veamos qu sucede con la fraccin
7
88
:
700 88
840 0,0795
480
40

Hasta este momento no podemos determinar si es una expresin decimal peridica,
podr no serlo?

Continuemos con la divisin:

700 88
840 0,07954
480
400
48

Se repiti por primera vez el resto 48, por lo que, en el cociente, volver a aparecer la
cifra 5. Luego se repetir el resto 40, con lo cual volver a aparecer en el cociente la cifra 4 y
as sucesivamente:

700 88
840 0,0795454
480
400
480
400
48

Por tanto, la expresin decimal de
7
88
es

0, 07954, que es una expresin decimal


peridica.
Conjuntos Numricos
Prof. Gustavo Franco

15
Pero entonces, volviendo a la pregunta, podremos encontrar una fraccin cuya expresin
decimal no sea peridica? La respuesta es no. Por qu?

Es importante recordar entonces que:

La expresin decimal de una fraccin es siempre peridica.

Actividad
a) Se puede representar de otra manera 0, 9,

utilizando una expresin decimal?


b) Y 2,39

?
c) Presenta otra expresin decimal para 8, 59.


d) La representacin decimal de todo racional, es nica?


De la expresin decimal a la fraccin
Hemos visto que para hallar la expresin decimal de una fraccin, dividimos numerador
entre denominador, y que esta siempre es peridica. Ahora queremos ver cmo, dada una
expresin decimal, podemos expresarla mediante una fraccin:

Si el perodo es cero es bastante sencillo. Por ejemplo:

= = = =
319 12 12198 90
31, 9 ; 0, 0012 ; 12,198 ; 9 .
10 10000 1000 10



Ahora, cmo expresar mediante una fraccin a una expresin decimal peridica con
perodo diferente de cero?

Ejemplo 1: Representa como fraccin a

0, 7.
Llamemos x a

, . 0 7 Entonces 0, 7777777... = x , si multiplicamos a x por 10 tenemos:


10 7, 777777... = x Si restamos 10 , x x obtenemos:

10 7, 7777777
0, 7777777
9 7
=
=
=
x
x
x

De donde se deduce que:
7
9
= x , y por lo tanto:
7
0, 7.
9
=



Ejemplo 2: Representa como fraccin a

5,124.
Igual que antes, sea

5,124. = x Si restamos 1000x 100x, nos queda:



1000 5124, 44444...
100 512, 44444...
900 4612
=
=
=
x
x
x


Por lo que:
4612
900
= x , y entonces:

4612
5,124.
900
=

Conjuntos Numricos
Prof. Gustavo Franco

16
Segn lo visto, todo nmero racional se puede representar a travs de un expresin
decimal peridica y toda expresin decimal peridica representa a un nmero racional.

Actividad
a) Existirn expresiones decimales ilimitadas y no peridicas? Si tu respuesta es
afirmativa presenta un ejemplo, si es negativa, explica el porqu.
b) Si existieran, representaran a un nmero racional? Por qu?


Volviendo a la recta numrica
Ahora podemos representar al conjunto de los nmeros racionales en la recta:












Como puedes observar, al conjunto de todas las fracciones equivalentes a una dada le
corresponde el mismo punto en la recta, con lo cual a cada nmero racional le corresponde un
nico punto en la recta. Pero, a cada punto en la recta le corresponde un nmero racional? La
respuesta es negativa. Ya los pitagricos (siglo V a.C.) haban advertido que existan nmero
que no eran racionales.








Si construimos un cuadrado de lado la unidad, la medida de su diagonal se puede calcular
aplicando el teorema de Pitgoras:
2 2 2 2 2
2 2
1 1 2 2. = + = + = = OP OA AP OP OP OP Se
puede demostrar que el nmero cuyo cuadrado es 2, no es un nmero racional, es decir, no se lo
puede representar a travs de una fraccin; a este nmero se lo llama Nmero Irracional.
B O A
u
C A
B
1
1
2
2
3
3
4
4
...

2
1
4
2
6
3
8
4
...

3
1
6
2
9
3
12
4
...

0
1
0
2
0
3
0
4
...

1
1
2
2
3
3
4
4
...


2
1
4
2
6
3
8
4
...


5
2
10
4
15
6
20
8
...


1
3
2
6
3
9
4
12
...


0 1
O A
P
Conjuntos Numricos
Prof. Gustavo Franco

17
Si trazamos ahora una circunferencia de centro O y radio el segmento OP,
determinaremos un punto P en la recta cuya abscisa es 2. De este modo hemos determinado
por lo menos un punto en la recta cuya abscisa no es un nmero racional.













Actividad
a) Utilizando nicamente regla y comps, representa en la recta numrica a los
siguientes nmeros irracionales:
2 7 3 2 3
, , , y 2 7.
2 3 5 4
+

Considera como unidad:

b) Muestra que el producto 1, 6. 3

es un nmero irracional y halla el punto que le


corresponde en la recta real:
1 0

c) Hay otros nmeros irracionales famosos como o e. Investiga si estos nmeros
pueden representarse en la recta utilizando regla y comps.


NMERO REAL
Llamaremos Conjunto de los Nmero Reales, y lo representaremos con la letra , a la
unin del conjunto de los nmeros racionales con el conjunto de los nmeros irracionales.

Ahora s, si representamos el conjunto de los nmeros reales en una recta, tendremos
que a cada nmero real le corresponde un nico punto en la recta y a cada punto en la recta le
corresponde un nico nmero real; en otras palabras, se puede establecer una funcin biyectiva
entre el conjunto de los puntos de la recta y el conjunto de los nmeros reales.


0
O
1
A
P
P
2

u
Conjuntos Numricos
Prof. Gustavo Franco

18
BIBLIOGRAFA CONSULTADA

Adler, I. (1976). La nueva matemtica. Buenos Aires: Eudeba.

Dantzig, T. (1947). Nmero. El lenguaje de la Ciencia. Buenos Aires: Coleccin Ciencia y
Mtodo.

Imenes, L. M. & Lellis, M. (2000). Vivendo a matemtica. Os nmeros na histria da
civilizao. San Pablo: Editora Scipione Ltda.

Osin, L. (1975). Introduccin al anlisis matemtico. 1 Edicin. Buenos Aires: Editorial
Kapelusz.

Peterson, J. & Hashisaki, J. (1985). Teora de la aritmtica. Mxico: Limusa.

Pro Ciencia Conicet. (1979). lgebra. Su enseanza. Estructura modular 3. Argentina: Pro
Ciencia Conicet.

Repartido Relaciones del curso de Fundamentos de la Matemtica (2008).