Documentos de Académico
Documentos de Profesional
Documentos de Cultura
= = [( )] / ( ) , , 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
una particin
en clases de equivalencia. Llamaremos nmero racional a cada una de las clases de equivalencia
que la relacin R determina en
(
=
` (
)
,
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
?
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
5,124.
Igual que antes, sea
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