2.

Nmeros reales
2.2. El conjunto de nmeros enteros .

2.2. El conjunto de nmeros enteros .

O Definicin formal a partir de la diferencia en .

Sea la ecuacin n x m m, n
. La solucin de la
ecuacin ser un nmero , tal que sumado a d como
resultado ; es decir, se tiene que =
A partir de esta definicin, y con base en el orden dentro
de los nmeros naturales se establecen tres posibles
soluciones:
1) <
Para este caso la solucin es un nmero real.

2.2. El conjunto de nmeros enteros .

O Definicin formal a partir de la diferencia en .

=
En este momento se presenta la primera solucin fuera
de los nmeros naturales. Por lo tanto, se tiene que la
solucin de la ecuacin es = ; de ah se concluye,
que existe un elemento neutro para cada natural,
denominado cero y representado por 0.
2)

2.2. El conjunto de nmeros enteros .

O Definicin formal a partir de la diferencia en .

>
La tercera posibilidad arroja una solucin fuera de los
nmeros naturales. Este tipo de nmeros se define como
los nmeros negativos y se representa por
= , donde es un nmero natural.
3)

De acuerdo con estos casos, se define la diferencia de dos

nmeros naturales como el conjunto de los nmeros
enteros, de tal manera que
= | = , .

2.2. El conjunto de nmeros enteros .

O Propiedades de los nmeros enteros.

Igualdad en

Sean , , , , . Si se define cada nmero

entero como
=
=
Entonces, se tendr que
=
O bien,
+ =+

2.2. El conjunto de nmeros enteros .

O Propiedades de los nmeros enteros.

Adicin en

Sean , , , , . Si se define cada nmero

entero como
=
=
La adicin en , se define como
+= +
=+
=+
= + ( + )

2.2. El conjunto de nmeros enteros .

Propiedades de la adicin

Sean , , .
o Cerradura +
o Asociatividad + + = + +
o Conmutatividad + = +
o Cancelacin, si + = + =
o Existencia del elemento neutro, tal que + 0 =
o Existencia del elemento inverso, tal que + = 0
Para la diferencia de nmeros enteros se utiliza el concepto de
adicin. Sea , , la diferencia se define como
= + ()

2.2. El conjunto de nmeros enteros .

O Propiedades de los nmeros enteros.

Multiplicacin en

Sean , , , , . Si se define cada nmero

entero como
=
=
La multiplicacin en , se define como
=
= +
= +
= + ( + )

2.2. El conjunto de nmeros enteros .

Propiedades de la multiplicacin

Sean , , . Existe:
o Cerradura
o Asociatividad =
o Conmutatividad =
o Cancelacin, si = =
o Existencia del elemento neutro, tal que 1 =
La adicin y multiplicacin pueden conjuntarse para definir la
siguiente propiedad:
o Distributividad + = +

2.2. El conjunto de nmeros enteros .

Dentro de los nmeros enteros se define una serie de
reglas para reconocer el signo que cada nmero debe
poseer, y que es una extensin de la propiedad de
cerradura de la multiplicacin.

Para todo nmero , , se cumple que

1.
2.

3.

0=0
= primera regla de los signos
= segunda regla de los signos

2.2. El conjunto de nmeros enteros .

Orden en

Para los nmeros enteros, tambin se puede definir un orden

dentro de ellos. Se puede definir dicho orden a partir de la
definicin de menor, como en los nmeros naturales.
Dados dos nmeros enteros ,
< + =
Esta definicin incluye el cumplimiento de la ley de la
tricotoma.
Las propiedades de las desigualdades se cumplen de la
siguiente manera en los nmeros enteros. Dados tres
nmeros enteros , , , se cumple que

2.2. El conjunto de nmeros enteros .

< + <+
< < , > 0
< > , < 0
3) < , < < ( )
1)
2)

Finalmente, hay que tomar en cuenta que en el conjunto de

los nmeros enteros se definen enteros positivos y negativos.
Sea .
1.
2.
3.

El nmero es positivo si > 0

El nmero es negativo si < 0
El nmero 0 es neutro.

2. Nmeros reales
2.3. El conjunto de nmeros racionales .

2.3. El conjunto de nmeros racionales

O Definicin formal a partir del cociente en .

Sea la ecuacin = , , . La solucin de la ecuacin ser un

nmero , tal que multiplicado a d como resultado ; es decir, se
expresa que

Con esta definicin, se observan tres casos especficos para obtener

una solucin del cociente de los nmeros enteros:
1. El nmero es un factor de . Por lo tanto, el cociente de los
nmeros y ser un nmero entero.
2. El nmero no es un factor de , y 0. Esto quiere decir que
la solucin no es un nmero entero.

2.3. El conjunto de nmeros racionales

O Definicin formal a partir del cociente en .

3.

El nmero = 0. Se distinguen dos posibilidades

para este caso:
0. El cociente no existe
= 0. El cociente esta indeterminado.

De acuerdo con estos casos, se puede deducir que el

cociente de dos nmeros enteros conforma al conjunto de
los nmeros racionales, de tal manera que

= | = , , ; 0

2.3. El conjunto de nmeros racionales

O Definicin formal a partir del cociente en .

3.

El nmero = 0. Se distinguen dos posibilidades

para este caso:
0. El cociente no existe
= 0. El cociente esta indeterminado.

De acuerdo con estos casos, se puede deducir que el

cociente de dos nmeros enteros conforma al conjunto de
los nmeros racionales, de tal manera que

= | = , , ; 0

2.3. El conjunto de nmeros racionales

O Propiedades de los nmeros racionales.

Igualdad en

Sean

, y , , , , 0. Entonces, se

tendr que =

Adicin en

Sean

, y , , , , 0. La adicin en ,

se establece como

2.3. El conjunto de nmeros racionales

Propiedades de la adicin

Sean x,y,z , existe:

o Cerradura x +
o Asociatividad + + = + +
o Conmutatividad x + = +y
o Cancelacin, si x+ = + =y
o El elemento neutro, tal que x+0 =
o El elemento inverso, tal que x + = 0
La sustraccin de nmeros racionales se define a partir de la

adicin. Sean = +

2.3. El conjunto de nmeros racionales

O Propiedades de los nmeros racionales.
Multiplicacin en

Sean , , y , , , , 0. La multiplicacin en

se define como

2.3. El conjunto de nmeros racionales

Propiedades de la multiplicacin en

Sean x,y,z , existe:

o Cerradura x
o Asociatividad =
o Conmutatividad x = y
o Cancelacin, si x = =y
o El elemento neutro, tal que 1 =
o El elemento inverso, tal que ;1 = 1, 0
La adicin y la multiplicacin al conjuntarse pueden definir la
propiedad denominada distributividad + =

2.3. El conjunto de nmeros racionales

O Propiedades de los nmeros racionales.

Orden en

Los nmeros racionales, cumplen un orden dentro de ellos;

ste se puede definir a partir del orden de los nmeros
enteros.

Sean , , , > 0.

<

<

En consecuencia tambin se cumple la ley de la tricotoma.

2.3. El conjunto de nmeros racionales

O Propiedades de los nmeros racionales.

Orden en

Las propiedades de las desigualdades en los nmeros

racionales estipulan que dados tres nmeros racionales
, , , se cumple que
1. < + < +
2. < < , > 0
< > , < 0
3. < , < < , Ley de transitividad
Finalmente, hay que considerar que en el conjunto de los
nmeros enteros se definen enteros positivos y negativos.
Sea .
1. El nmero es positivo si > 0.
2. El nmero es negativo si < 0.
3. El nmero 0 es neutro.

2.3. El conjunto de nmeros racionales

O Algoritmo de la divisin

Dados dos nmeros y , con > 0, existen dos enteros

nicos y , con 0 < , tales que
= +
Para los nmeros racionales, la representacin de la
divisin sera:

=+

2.3. El conjunto de nmeros racionales

O Algoritmo de la divisin
149

El cociente
, se puede representar como una expresin decimal
132
peridica; es decir, se debe realizar la divisin de 149 entre 132. Para
ello se recurre al algoritmo de la divisin.
1.
Para obtener la parte entera se sabe que
149
132

2.

= 1+

17
132

149 = 132 1 + 17 (1)

17

Para la primera cifra decimal, se multiplica

por 10 y se
132
realiza la divisin
170
38
=1+
170 = 132 1 + 38
132
132
Para no alterar la expresin original, se debe dividir entre 10.
17
1
38
=
+
(2)
132 10 (10)(132)

2.3. El conjunto de nmeros racionales

O Algoritmo de la divisin
3.

Para La segunda cifra decimal, se multiplica

se realiza la divisin
380

38
(10)(132)

por 100 y

116

= 2+
380 = 132 2 + 116
132
132
Para no alterar la expresin original, se debe dividir entre 100.
38
2
116
= 2+
(3)
(10)132 10
(102 )(132)
4.

Para la tercera cifra decimal, se multiplica

se realiza la divisin
1160
132

104

116
por
(102 )(132)

1000 y

=8+
1160 = 132 8 + 104
132
Para no alterar la expresin original, se debe dividir entre 1000.
116
8
104
=
+
(4)
(102 )132 103 (102 )(132)

2.3. El conjunto de nmeros racionales

O Algoritmo de la divisin
5.

104

Para la cuarta cifra decimal, se multiplica 3

por 10000 y
(10 )(132)
se realiza la divisin
1040

116

=7+
1040 = 132 7 + 116
132
132
Para no alterar la expresin original, se debe dividir entre 10000.
104
7
116
=
+
(5)
(103 )132 104 (104 )(132)
6.

Para la quinta cifra decimal se multiplica

y se realiza la divisin
1160
132

104

116
por
(104 )(132)

100000

=8+
1160 = 132 8 + 104
132
Para no alterar la expresin original, se debe dividir entre 100000.
116
8
104
=
+
(6)
(104 )132 105 (105 )(132)

2.3. El conjunto de nmeros racionales

O
8.

Algoritmo de la divisin
Para la sexta cifra decimal, se multiplica
divisin
1040
132

104
(105 )(132)

por 1000000 y se realiza la

116

= 7 + 132 1040 = 132 7 + 116

Para no alterar la expresin original, se debe dividir entre 1000000.
104
7
116
=
+
(7)
(105 )132 106 (106 )(132)
A partir del paso 6 se observa que el perodo decimal ha comenzado. Esto quiere
decir que a partir del tercer decimal el grupo de dgitos 87 se repetir
indefinidamente. Para obtener la expresin decimal, se realiza la siguiente serie de
sustituciones: (7) en (6), (6) en (5), y as sucesivamente hasta llegar a sustituir en la
expresin (1).
149
132

= 1+

1
10

2
102

8
103

7
104

8
105

7
106

8
107

7
108

+ = 1.128787

2.3. El conjunto de nmeros racionales

O Densidad de los nmeros racionales

Los nmeros naturales pueden representarse grficamente

en un arreglo conocido como la recta numrica.

Para los nmeros enteros la representacin grfica es la

misma, con la salvedad de que el centro de la recta
numrica es el 0, y a la izquierda se dibujan los nmeros
negativos.

2.3. El conjunto de nmeros racionales

O Densidad de los nmeros racionales

En este caso los nmeros racionales tambin pueden

representarse en la recta numrica. Al introducirse estos
nmeros se observa que la recta se densifica, es decir, en
lugar de ser puntos espaciados, se vuelve una lnea recta.

Esta propiedad se llama densidad de los nmeros

racionales, en la cual se establece que entre dos nmeros
racionales siempre existe otro nmero racional.
La densidad establece que , , con < , tal
que < < . Si se toma la relacin < se pueden
establecer los siguientes procedimientos:

2.3. El conjunto de nmeros racionales

O Densidad de los nmeros racionales

La densidad establece que , , con < , tal

que < < . Si se toma la relacin < se pueden
establecer los siguientes procedimientos:

2.3. El conjunto de nmeros racionales

O Densidad de los nmeros racionales

Donde de 1 y 2 , y la propiedad de transitividad se tiene que

1
se tiene < + <
2

Donde
( + ) es el nmero buscado. Los nmeros
2
naturales y enteros no poseen la propiedad de densidad,
debido a que el cociente no esta definido en ellos.