Está en la página 1de 29

ALG

2015

Formalizacin de los Nmeros Reales


El conjunto de los nmeros naturales

El proceso de contar permite a los seres humanos percibir el concepto de existencia de objetos. El conjunto de los
nmeros naturales es el conjunto que se utiliza normalmente para clasificar las cantidades. Se han utilizado desde
comienzos del conteo, pero no haba habido una forma en la cual se definiera el conjunto ms utilizado en la historia de
la humanidad.

Concepto intuitivo de nmero natural


El concepto de nmero natural es natural para todos los seres humanos: el nmero natural es aqul que se utiliza para
contar, y que puede representarse por smbolos como 1, 2, 3, 4,...

Definicin de los nmeros naturales mediante los postulados de Peano


En 1889, un matemtico italiano llamado Giusseppe Peano desarroll cinco postulados que permitieron formalizar la
definicin de los nmeros naturales. Dichos axiomas establecen lo siguiente:
Sea un conjunto no vaco , tal que

1.
2.
3.
4.
5.

1 .
, , conocido como el siguiente de n.
, 1.
Si , = = .
Si cada subconjunto de tiene las propiedades
a. 1 .
b. , .
Significa que = .

Estos axiomas definen de manera simple y significativa los nmeros naturales; dichas propiedades son la representacin
emprica de los nmeros naturales expresadas formalmente.
Con un conjunto numrico es posible definir operaciones; es decir, reglas de correspondencia que permitirn asignar a
un par de nmeros otro nmero del conjunto.

Propiedades: adicin, multiplicacin y orden en los nmeros naturales


Para definir las operaciones en los nmeros naturales, es necesario apoyarse en los postulados de Peano.
Adicin en
La suma de los nmeros naturales se define, bsicamente, por medio de dos axiomas.
1.
2.

+ 1 = ,
+ = ( + ) , + definido.
1

Ing. Aldo Jimnez Arteaga

ALG

2015

EJEMPLO 2.1. Se desea sumar 5 ms 3. Como se sabe, el resultado es 8. Para demostrarlo se realiza el siguiente
procedimiento, utilizando la definicin de la adicin:

Propiedades de la adicin
Sean , , .

5 + 3 = 5 + 2
= (5 + 2)
= (5 + 1 )
= ((5 + 1) )
= ((5 ) )
= (6 )
= (7)
=8

Existe la cerradura + .
Existe la asociacin + ( + ) = ( + ) + .
Existe la conmutacin + = + .
Existe la cancelacin, si + = + = .

Multiplicacin en
La multiplicacin tambin se define por medio de dos axiomas, pero toma como base la definicin de suma.
1.
2.

1 = .
= + .

EJEMPLO 2.2. En este caso hay que multiplicar 3 por 3, cuyo resultado es 9. Para este ejemplo, se utilizan las definiciones
de multiplicacin y adicin.

Propiedades de la multiplicacin
Sean , , .

3 3 = 3 2
=32+3
= 3 1 + 3
= (3 1 + 3) + 3
= (3 + 3) + 3
=6+3
=9

Existe la cerradura .
Existe la asociacin ( ) = ( ) .
Existe la conmutacin = .
Existe la cancelacin, si = = .

La adicin y la multiplicacin pueden conjuntarse para definir la siguiente propiedad:


2

Ing. Aldo Jimnez Arteaga

ALG

2015

Existe la distribucin ( + ) = + .

Reunidas, estas propiedades permiten operar los nmeros como se hace naturalmente, y que para todos los seres
humanos es un proceso aprendido intuitivamente.
Orden en
Los nmeros naturales se caracterizan porque son un conjunto ordenado. Este orden se define por medio de la siguiente
definicin:
Dados dos nmeros naturales y , se dice que es menor que si se cumple que
+ =

A partir de aqu, se confirma que se puede obtener una, y slo una, de las siguientes condiciones para cada pareja de
nmeros naturales y :

< .
= .
> .

Lo cual seala que la relacin entre dos nmeros naturales cualesquiera es nica, y no puede contemplar ms de un tipo
de relacin. Esta propiedad es conocida como la ley de la tricotoma.
EJEMPLO 2.3. La ley de la tricotoma se confirma al realizar las siguientes operaciones, dando como resultado el orden en
los nmeros naturales:
1+1=21<2
2+1=32<3
3+1=43<4

Con base en la definicin de menor, en los nmeros naturales se puede realizar una serie de operaciones, y definir las
propiedades de las desigualdades.
Dados tres nmeros naturales , , , se cumple que

< + <+
<<
< , < < (ley de la transitividad).

Esto quiere decir que cualquier operacin realizada a una desigualdad no afectar su sentido, siempre y cuando se haga
la misma operacin a ambos lados del smbolo relacional.

Demostracin por induccin matemtica


El procedimiento de induccin matemtica es una prueba que se realiza a teoremas o expresiones generales a partir de
casos particulares. El objetivo de la prueba es verificar que el teorema general sea vlido para cualquier caso particular.
3

Ing. Aldo Jimnez Arteaga

ALG

2015

Los pasos necesarios para realizar esta prueba son tres; mostrados en el siguiente orden:
1.
2.
3.

Demostrar que la proposicin siempre es vlida para el primer caso particular que cumple el teorema, ya sea
= 1, = 2, = 3, etc.
Asumir que la proposicin es vlida para cualquier caso particular = ; la expresin resultante se llama hiptesis
de induccin, y es siempre es vlida.
Demostrar que la proposicin es vlida para cualquier caso particular = + 1, tomando como base la validez de
la hiptesis de induccin; a este paso se le conoce como tesis de induccin.

La induccin matemtica es un procedimiento anlogo al quinto postulado de Peano. La mayor complejidad para realizar
exitosamente un aprueba por induccin matemtica es la demostracin de la tesis a partir de la hiptesis. De manera
general se deben poseer conocimientos slidos de lgebra bsica, y capacidad de razonamiento, inventiva e
imaginacin.
EJEMPLO 2.4. Demustrese por induccin matemtica la propiedad asociativa de la adicin en los nmeros naturales.
En este caso, la propiedad nos dice que , , ( + ) + = + ( + ). Al tener tres variables sobre las
cuales se puede aplicar la prueba de induccin, se debe elegir una de ellas para realizar la demostracin; en este caso se
tomar como variable de induccin.
1.

Para ( = 1)

( + ) + 1 = + ( + 1)
( + ) = +

que por definicin de la adicin en los nmeros naturales, se sabe que es verdadera.
2.

Para ( = )

( + ) + = + ( + )

que es cierta, ya que es la hiptesis de induccin.


3.

Para ( = )

( + ) + = + ( + )

Se necesita demostrar que esta proposicin es verdadera.

( + ) + = + ( + )
= + ( + )
= [ + ( + )]
= [( + ) + ]
= ( + ) +

por denicin de adicin en N


por denicin de adicin en N
por hiptesis de induccin
por denicin de adicin en N

En este caso la tesis es verdadera, y la proposicin es vlida . Para completar la demostracin de esta propiedad
en la adicin, se debe realizar el proceso anlogo para los nmeros y .
4

Ing. Aldo Jimnez Arteaga

ALG

2015

EJEMPLO 2.5. Demustrese que la proposicin 1 + 3 + 5 + + (2 1) = 2 , es vlida.


1.

Para ( = 1)

Por lo tanto, es verdadera.


2.

Para ( = )

2(1) 1 = (1)2
21=1
1=1

1 + 3 + 5 + + (2 1) = 2

Es verdadera, ya que se trata de la hiptesis de induccin.


3.

Para ( = + 1)

1 + 3 + 5 + + [2( + 1) 1] = ( + 1)2

Para demostrar esta proposicin, se partir de la hiptesis para llegar a la tesis. En este caso, se debe sumar el trmino
( + 1) a la hiptesis, y reducir los trminos semejantes.
1 + 3 + 5 + + (2 1) = 2
1 + 3 + 5 + + (2 1) + [2( + 1) 1] = 2 + [2( + 1) 1]
= 2 + 2( + 1) 1
= 2 + 2 + 2 1
= 2 + 2 + 1
= ( + 1)2

Por lo tanto, la proposicin ( = + 1) es verdadera. Entonces, se llega a la conclusin de que la proposicin () es


verdadera para cualquier nmero natural.
EJEMPLO 2.6. Demustrese que la proposicin 2 + , es un nmero par. Otra forma de definir la proposicin es
demostrar que 2 + es divisible entre dos; es decir,
1.

Para ( = 1)

Por lo tanto, es verdadera.


5

Ing. Aldo Jimnez Arteaga

2 +
,
2
(1)2 + 1 1 + 1
=
2
2
2
=
2
=1

ALG

2.

Para ( = )

2015

2 +
2

que es un nmero par, ya que es la hiptesis de induccin.


3.

Para ( = + 1)

( + 1)2 + ( + 1)
2

En este caso se desarrollar la tesis y reagruparn trminos, para despus sustituir la hiptesis y demostrar que se tiene
un nmero par.
( + 1)2 + ( + 1) ( 2 + 2 + 1) + ( + 1)
=
2
2
2 + + 2 + 2
=
2
( 2 + ) + (2 + 2)
=
2
2 + 2( + 1)
=
+
2
2

El primer sumando es un nmero par, ya que se trata de la hiptesis de induccin; el segundo sumando tambin es par,
ya que se puede simplificar el dos en el numerador con al dos del denominador; entonces, la suma de ambos es un
nmero entero. Por lo tanto, la proposicin ( = + 1) es verdadera; y se llega a la conclusin de que la proposicin
() es verdadera para cualquier nmero natural.
EJEMPLO 2.7. Demustrese que la proposicin ( + 1) > + 1, , , > 0 es vlida.
1.

Para ( = 1)

Por lo tanto, no cumple con = 1. Para ( = 2)

( + 1)1 > 1 + 1
+1 = +1

( + 1)2 > 2 + 1
+ 2 + 1 > 2 + 1
2

Por lo tanto, es verdadera debido a que el lado izquierdo tiene un sumando positivo ms que el lado derecho; el primer
elemento vlido para proposicin es = 2.

2.

Para ( = )

( + 1) > + 1

que es verdadera, pues es la hiptesis de induccin.


6

Ing. Aldo Jimnez Arteaga

ALG

3.

Para ( = + 1)

2015

( + 1)+1 > +1 + 1

En este caso se tomar la hiptesis y multiplicar por el trmino ( + 1), para despus comparar con la tesis por medio
de la transitividad.
( + 1) ( + 1) > + 1( + 1)
( + 1)+1 > +1 + + + 1
> +1 + 1 + +

Hasta este paso se tiene que el lado izquierdo de la ltima desigualdad es el lado izquierdo de la tesis; por lo tanto, el
siguiente paso ser comprobar que el lado derecho de desigualdad es mayor que el lado derecho de la tesis; es decir,
( + 1)+1 > +1 + 1 + + > +1 + 1

Haciendo un cambio de variable + = , y considerando la propiedad de cancelacin de las desigualdades

Al regresar a la variable original, se llega a

+1 + 1 + > +1 + 1 + 0
>0
+ > 0

El trmino izquierdo es mayor que el derecho, en virtud que se especific anteriormente que > 0. Por lo tanto, por
transitividad, se tiene que la desigualdad
( + 1)+1 > +1 + 1 + + > +1 + 1

es verdadera. Entonces, la proposicin ( = + 1) es verdadera; y se llega a la conclusin de que la proposicin ()


es verdadera para cualquier nmero natural.

El conjunto de los nmeros enteros


Los nmeros naturales es son el conjunto ms bsico de nmeros; se explic que nacen de la necesidad del ser humano
de contabilizar, y de definir los conceptos de existencia y pluralidad.
Sin embargo, tomando en cuenta las operaciones que pueden realizarse con ellos, presentan una enorme carencia al
momento de plantear ecuaciones. Las ecuaciones del tipo
+ = , ,

Pueden o no presentar soluciones en los nmeros naturales. Por ejemplo, si se tuviese la ecuacin particular
3+ =7

Se sabe de antemano que la solucin es 4, y que 4 pertenece a los nmeros naturales. Sin embargo, si se tuviese
7

Ing. Aldo Jimnez Arteaga

ALG

2015

3+ =1

Se cae en que los nmeros naturales son insuficientes para determinar la solucin de la ecuacin. Es en este punto que
se debe extender el conjunto numrico; esta extensin comprende a los nmeros enteros.

Definicin a partir de los nmeros naturales


Para resolver ecuaciones del tipo + = es necesario introducir el concepto de diferencia de los nmeros naturales.
Para ello se tiene lo siguiente:
Diferencia en

Sea la ecuacin + = , , . La solucin de la ecuacin ser un nmero , tal que sumado a d cmo
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 natural.


2.

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.
3.

>

La tercera posibilidad arroja una solucin fuera de los nmeros naturales. Este tipo de nmeros se definen como los
nmeros negativos y se representan por = ( ), donde es un nmero natural.
De acuerdo con estos casos, se define a la diferencia de dos nmeros naturales como el conjunto de los nmeros
enteros, de tal manera que
= {| = , , }

sta es la definicin formal del conjunto de los nmeros enteros.

Propiedades: igualdad, adicin, multiplicacin y orden en los nmeros enteros


Igualdad en
Debido a la definicin de nmero entero, es posible representar de diversas maneras la diferencia . Por ello, es
necesario definir la igualdad en los nmeros enteros.
Sean , y , , , . Si se define cada nmero entero como
8

Ing. Aldo Jimnez Arteaga

ALG

2015

=
=

Entonces, se tendr que

= =

O bien,

+ =+

Adicin en
Puesto que los enteros son una extensin de los naturales, se intuye que heredarn propiedades y operaciones que son
vlidas en el conjunto de los nmero naturales.
Sean , y , , , . Si se define cada nmero entero como
La adicin en , se define como

=
=

+ = ( ) + ( )
=+
= +
= ( + ) ( + )

EJEMPLO 2.8. Se desea sumar 4 ms 6. Ambos nmeros se pueden representar como


4=73
6=82

Aplicando la definicin de suma se tiene que

Propiedades de la adicin
Sean , , .

4 + 6 = (7 3) + (8 2)
= (7 + 8) (3 + 2)
= 15 5
= 10

Existe la cerradura + .
Existe la asociacin ( + ) + = + ( + ).
Existe la conmutacin + = + .
Existe la cancelacin, si + = + = .
Existe un elemento neutro, tal que + 0 = .
9

Ing. Aldo Jimnez Arteaga

ALG

Existe un elemento inverso, tal que + () = 0.

2015

Para la diferencia de nmero enteros se utiliza el concepto de adicin. Sea , , la diferencia se define como
= + ()

Multiplicacin en
La multiplicacin en los enteros se define de manera similar a la adicin.
Sean , y , , , . Si se define cada nmero entero como
La multiplicacin en , se define como

=
=

= ( ) ( )
= +
= +
= ( + ) ( + )

EJEMPLO 2.9. Se desea multiplicar 4 por -2. Ambos nmeros se pueden representar como

Aplicando la definicin de multiplicacin se tiene que

Propiedades de la multiplicacin
Sean , , .

4=51
2 = 6 8

(4)(2) = (5 1)(6 8)
= 30 40 6 + 8
= (30 + 8) (40 + 6)
= 38 46
= 8

Existe la cerradura .
Existe la asociacin ( ) = ( ).
Existe la conmutacin = .
Existe la cancelacin, si = = .
Existe un elemento neutro, tal que 1 = .

La adicin y la multiplicacin pueden conjuntarse para definir la siguiente propiedad:

Existe la distribucin ( + ) = + .
10

Ing. Aldo Jimnez Arteaga

ALG

2015

Adems, 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

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 que, en los nmeros naturales.
Dados dos nmeros enteros y ,

< + =

Esta definicin tambin 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
1.
2.

3.

< + < + .
< < , > 0.
< > , < 0.
< , < < (ley de transitividad).

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.

El conjunto de los nmeros racionales


Al igual que los nmeros naturales, los nmeros enteros presentan deficiencias al momento de plantearse ecuaciones
con ellos. En este caso, si se llegase a tener la ecuacin
= , ,

Se observa que la solucin de la ecuacin no siempre ser un entero. Por ejemplo, teniendo la ecuacin
3 = 9
11

Ing. Aldo Jimnez Arteaga

ALG

2015

La solucin es 3. Pero en la ecuacin


3 = 8

Se tiene una solucin numrica que no pertenece al conjunto de los nmeros enteros. Por lo tanto, es necesario hacer
una segunda extensin a los conjuntos numricos; de la misma forma que se hizo en los naturales, se realizar en los
enteros.

Definicin a partir de los nmeros enteros


Las ecuaciones del tipo = necesitan un concepto nuevo conocido como el cociente de los nmeros enteros.
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.
2.
3.

El nmero es factor de . Por lo tanto, el cociente de los nmeros y ser un nmero entero.
El nmero no es factor de , y 0. Esto quiere decir que la solucin no es un nmero entero.
El nmero = 0. Se distinguen dos posibilidades para este caso:
0. El cociente no existe.
= 0. El cociente est 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

As es como se define al conjunto de los nmeros racionales.

La inexistencia de la divisin entre cero se puede demostrar por un mtodo llamado demostracin por contradiccin, o
demostracin por reduccin al absurdo. Sean , , = = 0. A partir de esta consideracin se tiene:
=
2 =
2
2 = 2
( + )( ) = ( )
( + )( ) ( )
=

+ =
+ =
2 =

12

Ing. Aldo Jimnez Arteaga

se multiplica por a ambos lados


restando 2 a ambos lados
obteniendo los respectivos factores
dividiendo entre
sustituyendo =

ALG

2015

Finalmente, el procedimiento lleva a un resultado absurdo, el cual aparece debido al realizar una divisin entre 0; se
concluye que el cociente entre 0 no est definido.
Igualdad en
Al igual que en los enteros es posible representar de diversas maneras la diferencia , el cociente entre puede
representarse por diferentes nmeros enteros. La igualdad en los nmeros racionales especifica lo siguiente.

Sean , y , , , , , 0. Entonces, se tendr que


= =

Adicin en
Para los nmeros racionales tambin puede definirse la operacin de adicin; esto quiere decir que heredarn las
propiedades vlidas en el conjunto de los nmeros enteros.

Sean , y , , , , , 0. La adicin en , se establece como

2
3

1
4

+
+ =

EJEMPLO 2.10. Se desea sumar ms . Si se aplica la definicin de suma se tiene que

Propiedades de la adicin
Sean , , .

2 1 24+31
+ =
3 4
34
8+3
=
12
11
=
12

Existe la cerradura + .
Existe la asociacin ( + ) + = + ( + ).
Existe la conmutacin + = + .
Existe la cancelacin, si + = + = .
Existe un elemento neutro, tal que + 0 = .
Existe un elemento inverso, tal que + () = 0.

La sustraccin de nmeros racionales se define a partir de la adicin. Sean , , , 0, su diferencia se define


como


= +


13

Ing. Aldo Jimnez Arteaga

ALG

2015

Multiplicacin en

Sean , y , , , , , 0. La multiplicacin en , se define como


4
5

3
2

EJEMPLO 2.11. Se desea multiplicar por . Aplicando la definicin de multiplicacin se tiene que

Propiedades de la multiplicacin
Sean , , .

(4)(3)
4 3
=
(5)(2)
5 2
12
=
10
6
=
5

Existe la cerradura .
Existe la asociacin ( ) = ( ).
Existe la conmutacin = .
Existe la cancelacin, si = = .
Existe un elemento neutro, tal que 1 = .
Existe un elemento inverso, tal que 1 = 1, 0.

La adicin y la multiplicacin pueden conjuntarse para definir la siguiente propiedad:

Existe la distribucin ( + ) = + .

El cociente de dos nmeros racionales puede obtenerse a partir de la definicin de multiplicacin. Sean ,

, , , 0, su cociente se define como

Dentro de los nmeros racionales tambin se definen las reglas de los signos que se observaron en los nmeros enteros.
Para todo nmero , , se cumple que
1.
2.
3.

0=0
() () = ()
()() =

primera regla de los signos


segunda regla de los signos

Orden en
Los nmeros racionales, cumplen un orden dentro de ellos; ste se puede definir a partir del orden los nmeros enteros.

Sean , , , > 0.
14

Ing. Aldo Jimnez Arteaga

ALG

2015


< <

En consecuencia, tambin se cumple la ley de la tricotoma.

Las propiedades de las desigualdades en los nmeros racionales estipulan que dados tres nmeros racionales , , , se
cumple que
1.
2.
3.

< + < + .
< < , > 0.
< > , < 0.
< , < < (ley de transitividad).

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.

Algoritmo de la Divisin
Expresin decimal de un nmero racional
Cualquier nmero racional representa un cociente. Ese cociente, al realizarse, dar como resultado una expresin que
3
2

tiene una parte entera y una parte decimal. Por ejemplo, si se divide 3 entre 2 se tendr que = 1.5; si se divide 7 entre

7
3 se tendr que 3 = 2.33333333 . Es decir, cualquier nmero racional se puede representar como una expresin entera

ms una expresin decimal.

El decimal es peridico cuando un grupo de dgitos se repite de manera indefinida a partir de un determinado lugar a la
derecha del punto decimal. Como se observa en el ejemplo de 7 entre 3, a la derecha del punto se encuentra
nicamente el nmero tres; si se contina realizando la divisin se observar que no tendr fin. En el caso de 3 entre 2,
3
el decimal es peridico, ya que el grupo de dgitos repetidos indefinidamente es 0: = 1.5 1.500000000 . En
2

conclusin, todo nmero racional tiene una expresin decimal peridica. Para obtener dicha expresin decimal se tiene
el algoritmo de la divisin de los nmeros enteros.

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:

15

Ing. Aldo Jimnez Arteaga

=+

ALG

EJEMPLO 12. El cociente

149
132

se puede representar como una expresin decimal peridica; es decir, se debe realizar la

divisin de 149 entre 132. Para ello se recurre al algoritmo de la divisin.


1.

2.

Para obtener la parte entera se sabe que


17
149
=1+
149 = 132(1) + 17 (1)
132
132

Para la primera cifra decimal, se multiplica

17
132

por 10 y se realiza la divisin

38
170
=1+
170 = 132(1) + 38
132
132

Para no alterar la expresin original, se debe dividir entre 10

3.

1
38
17
=
+
(2)
132 10 (10)(132)
38

Para la segunda cifra decimal, se multiplica (10)(132) por 100 y se realiza la divisin
116
380
=2+
380 = 132(2) + 116
132
132

Para no alterar la expresin original, se debe dividir entre 100

4.

2
116
38
= 2+
(3)
(102 )(132)
(10)(132) 10
116

Para la tercera cifra decimal, se multiplica (102 )(132) por 1000 y se realiza la divisin
104
1160
=8+
1160 = 132(8) + 104
132
132

Para no alterar la expresin original, se debe dividir entre 1000

5.

8
104
116
=
+
(4)
(102 )(132) 103 (103 )(132)
104

Para la cuarta cifra decimal, se multiplica (103 )(132) por 10000 y se realiza la divisin
116
1040
=7+
1040 = 132(7) + 116
132
132

Para no alterar la expresin original, se debe dividir entre 10000


104

(103 )(132)
16

2015

Ing. Aldo Jimnez Arteaga

7
116
+
(5)
4
4
(10 )(132)
10

ALG

6.

2015

116

Para la quinta cifra decimal, se multiplica (104 )(132) por 100000 y se realiza la divisin
104
1160
=8+
1160 = 132(8) + 104
132
132

Para no alterar la expresin original, se debe dividir entre 100000

7.

8
104
116
=
+
(6)
(104 )(132) 105 (105 )(132)
104

Para la sexta cifra decimal, se multiplica (105 )(132) por 1000000 y se realiza la divisin
116
1040
=7+
1040 = 132(7) + 116
132
132

Para no alterar la expresin original, se debe dividir entre 1000000


104

(105 )(132)

7
116
+
(7)
6
6
(10 )(132)
10

A partir del paso seis 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
1
2
8
7
8
7
8
7
=1+
+ 2+ 3+ 4+ 5+ 6+ 7+ 8+
132
10 10
10
10
10
10
10
10

= 1.12878787

EJEMPLO 2.13. Divdase, por medio del algoritmo de la divisin, 10 entre 33.

10
10
=0+
33
33
100
=0+
33(10)
3
1
=0+
+
10 330
100
3
+
=0+
10 330(100)
3
0
100
=0+
+
+
10 100 33000
0
100000
3
+
+
=0+
10 100 33000(1000)
3
0
3
1000
=0+
+
+
+
10 100 1000 33000000

= 0.303030

Si un nmero racional puede expresarse como un decimal peridico, entonces un decimal peridico puede mostrarse
como un nmero racional; es decir, un cociente de dos enteros.
17

Ing. Aldo Jimnez Arteaga

ALG

2015

EJEMPLO 2.14. Suponiendo que el nmero 1.4066666 representa a un cociente de dos enteros, ste se puede
representar como

= 1.40666666

Existen dos dgitos antes de que comience el perodo, esto quiere decir que se debe multiplicar a ambos lados de la
igualdad por 100; si se tuviese un nmero de dgitos antes del perodo decimal, se multiplicara por 10 .
100

= 140.666666 (1)

1000

= 1406.666666 (2)

La longitud del perodo slo tiene un dgito, por lo tanto se debe multiplicar la expresin (1) por 10; si la longitud tuviese
dgitos, se debe multiplicar por 10 .

Ahora se debe restar la ecuacin (1) de (2), y de ah se despeja el nmero ; es decir,

1000 100 = 1406.666666 140.666666

900 = 1266

1266 211
=

900
150

Esto quiere decir que toda expresin decimal peridica representa a un nmero racional.
?
EJEMPLO 2.15. Cul es la representacin en forma de cociente de 0.121212

= 0.121212

100 = 12.121212


0.121212

100 = 12.121212

99 = 12

4
12
=

99 33

Densidad de los nmeros racionales

Los nmeros naturales pueden representarse grficamente en un arreglo conocido como la recta numrica (figura 2.1).
En este caso, se tendra que cada nmero se localizara con puntos equidistantes entre s; y dado cualquier punto, su
siguiente sera el punto a su inmediata derecha.
1

10 11 12 13 14 15

Figura 2.1. Recta numrica natural.

18

Ing. Aldo Jimnez Arteaga

ALG

2015

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, como se muestra en la figura 2.2.
-7

-6

-5

-4

-3

-2

-1

Figura 2.2. Recta numrica entera.

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 casi completa
(figura 2.3).
-
-3

-
-2

-1 -

Figura 2.3. Recta numrica racional.

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:
<
+ <+
1
1
( + ) < ( + )
2
2
1
( + ) < (1)
2

se suma a ambos lados


se divide entre 2 a ambos lados

se simplica el lado derecho

<
se suma a ambos lados
+ <+
se divide entre 2 a ambos lados
1
1
( + ) < ( + )
se simplica el lado izquierdo
2
2
1
< ( + ) (2)
2

De (1) y (2) y la propiedad de transitividad se tiene que

<

1
2

1
( + ) <
2

Donde ( + ) es el nmero buscado. Los nmeros naturales y enteros no poseen la propiedad de densidad, debido

a que el cociente no est definido en ellos.

El conjunto de los nmeros reales


Ahora se plantear el siguiente problema: se desea obtener la posible solucin de la ecuacin 2 3 = 0. Al realizar el

despeje y operaciones correspondientes se llegar a que la solucin de la ecuacin es = 3. El nmero solucin no es


19

Ing. Aldo Jimnez Arteaga

ALG

2015

racional, ya que no proviene del cociente de dos nmeros enteros. Nuevamente, es necesario hacer una nueva
expansin a los conjuntos numricos.

Existencia de los nmeros irracionales


Se asume que la ecuacin 2 3 = 0 tiene solucin en los nmeros racionales; es decir, = 3 puede representarse

como el cociente , reducido a su mnima expresin.

2
=3

2 = 3 2

En este caso como y son enteros, sus cuadrados tambin sern enteros; por lo tanto, 3 es un divisor de 2 ; es decir,
3 es un divisor de (puede demostrarse fcilmente por induccin matemtica). Ahora, se reescribe = 3; entonces
3 2 = 2

Por lo tanto, 3 es un divisor de 2 , y en consecuencia, 3 es un divisor de . Esto contradice el planteamiento inicial, en el

cual el cociente es la mnima expresin de 3.

Existen otros nmeros que presentan la misma naturaleza que 3 (como 2, 5, 7, ), y que son producto de la
resolucin de ecuaciones. Adems, hay otros nmeros que tampoco pueden representarse como el cociente de dos
nmeros enteros, y que no son soluciones de ecuaciones; como ejemplos, estn los nmeros , entre otros. Estos
nmeros son conocidos como el conjunto de los nmeros irracionales; llamados as porque no pueden representarse
como un cociente de dos nmeros enteros, y por lo tanto, no tienen una representacin decimal peridica.
EJEMPLO 2.16. Algunos nmeros irracionales famosos, y los ms frecuentemente utilizados son:
= 2.7182818284590452353602874713489
= 3.1415926535897932384626433832795

2 = 1.4142135623730950488016887242097
3 = 1.7320508075688772935274463415059

Definicin del conjunto de los nmeros reales; representacin en la recta numrica


Al conjunto formado por los nmeros racionales y los irracionales se le conoce como el conjunto de los nmeros reales.
Este es el mximo conjunto que puede representarse en la recta numrica; por lo tanto, a cada nmero real le
corresponde un, y slo un, punto en la recta, y viceversa (vase la figura 2.4).
-
-3 - -
-2

-1 -

Figura 2.4. Recta numrica real.

A los nmeros reales se les representa como


= {| < < }
=

Debido a la construccin de los conjuntos numricos se puede expresar que


20

Ing. Aldo Jimnez Arteaga

ALG

2015

Es interesante hacer notar que la definicin del conjunto de los nmeros reales es un tema que requiere conocimientos
slidos en teora de conjuntos. El matemtico alemn Julius Wilhelm Dedekind formaliz la construccin de ste
conjunto numrico al plantear lo que se conoce como cortaduras de Dedekind.

Propiedades: igualdad, adicin, multiplicacin y orden en los reales


Cortaduras de Dedekind
Sea . es una cortadura de Dedekind si cumple las siguientes propiedades:

.
.
Si y < , entonces .
no tiene ltimo elemento; es decir, es un conjunto abierto por la izquierda.

El conjunto de todas las cortaduras es (por definicin) el conjunto de los nmeros reales.
Ahora, sea . Se denomina cortadura racional (asociada a ) a la cortadura
= { | < }

Es decir, la cortadura racional est asociada a un nmero racional, que es el elemento supremo del conjunto; ms
adelante se dar la definicin exacta de elemento supremo.
Igualdad en
Dados las cortaduras racionales
= { | < }
= { | < }

La igualdad entre nmeros reales se da si = = .


Adicin y multiplicacin en

Dadas dos cortaduras y , su suma est representada como el conjunto

+ = { + | , }

que resulta ser una cortadura denominada suma en los nmeros reales.

El producto de cortaduras no es simple como la suma, ya que es necesario identificar diferentes casos (dichos casos
obedecen a las leyes de los signos). Pero antes de comenzar con dichos casos, se define que el cero real es la cortadura
racional

Sean las cortaduras y . Si


21

Ing. Aldo Jimnez Arteaga

0 = { | < 0}

ALG

2015

, > 0 , el producto se define como = {| , ; 0, 0} 0 ; por lo que la cortadura


> 0 .
> 0 , < 0 , el producto se define como () = (); por lo que la cortadura () < 0 .
< 0 , > 0 , el producto se define como () = (); por lo que la cortadura () < 0 .
, < 0 , el producto se define como ()() = ; y la cortadura ()() > 0 .
= 0 = 0 , el producto se define como = 0 .

En cualquier caso, el producto es una cortadura conocida como multiplicacin de los nmeros reales.
Propiedades de la adicin y la multiplicacin
Sean , , .

Existe la cerradura + ; .
Existe la asociacin ( + ) + = + ( + ); () = ().
Existe la conmutacin + = + ; = .
Existe la cancelacin, si + = + = ; = = .
Existe un elemento neutro, tal que + 0 = ; 1 = .
Existe un elemento inverso, tal que + () = 0; 1 = 1, 0.
Existe la distribucin ( + ) = + .

La sustraccin y el cociente de nmeros reales se definen a partir de la adicin y multiplicacin respectivamente. Sean
, .

= + ()
= 1 , 0

Orden en
Dadas las cortaduras

= { | < }
= { | < }

Si < , entonces . En consecuencia, tambin se cumple la ley de la tricotoma.


Dados , , , las propiedades del orden son:
1.
2.

3.

< + < + .
< < , > 0.
< > , < 0.
< , < < (ley de transitividad).

Los nmeros racionales tambin pueden definirse como positivos y negativos.


Sea .

1.

El nmero es positivo si > 0.


22

Ing. Aldo Jimnez Arteaga

ALG

2.
3.

2015

El nmero es negativo si < 0.


El nmero 0 es neutro.

Completitud de los reales


Al igual que cada conjunto numrico, los reales tienen propiedades especiales que slo ellos pueden cumplir. Estas
propiedades son las cotas, los elementos mximo y supremo, y la completitud.
Cotas superiores e inferiores
Sea un subconjunto de . Un nmero es una cota superior de , si , ; un nmero es una cota
superior de , si , . Se deduce que cualquier nmero real mayor que menor que , ser una cota
superior o inferior, respectivamente.
Mximo
Sea un subconjunto de . Un nmero es el elemento mximo de , si , y ; se denota como
max = . Por lo tanto, un elemento de es mximo si es una cota superior, y adems pertenece a .

Supremo
Sea un subconjunto de . Un nmero es el elemento supremo de , si , y tal que
= {| , }; ee denota como sup = . Es decir, un elemento es supremo de si es la menor cota superior.
EJEMPLO 2.17. Sea el conjunto = {| , 2}.

Este conjunto est acotado superiormente; su elemento mximo es 2; su supremo tambin es 2. De manera grfica se
tiene lo mostrado en la figura 2.5.
-1

Conjunto A.
Cotas superiores de A.
Mximo y supremo de A.

Figura 2.5. Elementos del conjunto del ejemplo 2.15.

EJEMPLO 2.18. Sea el conjunto = {| , 3 < < 1}.

Este conjunto est acotado tanto superior como inferiormente; no tiene elemento mximo y su supremo es 1. Su
representacin grfica se muestra en la figura 2.6.
-3

-2

-1

Conjunto A.
Cotas de A.
Supremo de A.

Figura 2.6. Elementos del conjunto del ejemplo 2.16.

Completitud
La completitud en los nmeros reales indica que todo subconjunto no vaco de que est acotado superiormente tiene
un supremo que pertenece a . Esto quiere decir, que se garantiza la existencia de una mnima cota superior para
cualquier conjunto de nmeros reales acotado superiormente, y establece que esa mnima cota es un nmero real.
23

Ing. Aldo Jimnez Arteaga

ALG

2015

Definicin y propiedades del valor absoluto


Puesto que los nmeros reales pueden representarse en una recta, y la recta es un elemento geomtrico, entonces debe
existir una condicin geomtrica para los nmeros reales. Dicha condicin incluye el concepto de distancia entre dos
puntos; dicha distancia es conocida algebraicamente como el valor absoluto de un nmero real.
Sea un nmero real. El valor absoluto de es

,
|| =
,

<0
0

El valor absoluto siempre ser un nmero positivo o nulo; presenta las siguientes propiedades.
Sean , .
1.
2.
3.
4.

|| 0.
||2 = 2 .
|| = ||||.
| + | || + ||.

El valor absoluto representa la distancia entre cualquier nmero real y el cero. Debido a esta situacin, si es un
nmero real positivo, se tendr que un punto est situado entre y , si y slo si || < ; por lo que
|| < < <

Por otro lado, si est situado antes de o despus de , significa que || > ; por lo tanto, se tendr que

Resolucin de desigualdades

|| > < <

Una de las aplicaciones ms prcticas de los nmeros reales son las desigualdades, las cuales se basan en las
propiedades y conceptos inherentes a la relacin menor que del orden de los nmeros reales.
A diferencia de las igualdades, las desigualdades tienen un intervalo solucin en lugar de una solucin nica. Los
intervalos son una representacin compacta y muy til al momento de presentar la solucin de una desigualdad.
Intervalo
El intervalo es un subconjunto de los nmeros reales que est acotado superior, inferiormente o en ambos sentidos.
Existen dos tipos de intervalos: abiertos, y cerrados. Los intervalos abiertos son aqullos que no tienen un elemento
mximo o mnimo, y estn relacionados con los smbolos > y <; en cambio, los cerrados s tienen un elemento de esta
naturaleza y se relacionan con los smbolos y .
EJEMPLO 2.19. Dado el conjunto , que es un subconjunto de , se tienen los siguientes intervalos:

1.
2.
3.
4.

= {|2 <
= {|2
= {|2 <
= {|2
24

< 1}
< 1}
1}
1}

es abierto a ambos lados.


es cerrado a la izquierda y abierto a la derecha.
es abierto a la izquierda y cerrado a la derecha.
es cerrado a ambos lados.

Ing. Aldo Jimnez Arteaga

(2,1)
[2,1)
(2,1]
[2,1]

ALG

2015

El procedimiento de resolucin de una desigualdad es idntico al de las igualdades; sin embargo, se debe considerar las
restricciones que imponen las propiedades del orden y la relacin menor que.
EJEMPLO 2.20. Obtngase el intervalo solucin de la siguiente desigualdad:
2 3 1
<
3
1

Para resolver esta desigualdad se debe tomar en cuenta el valor de 1, el cual puede ser positivo o negativo, segn
como se tome el valor de ; adems, hay que notar que 1.
Caso 1 > 0.

8
5

2 3 1
<
1
3
1
2 3
( 1)
< ( 1)
3
1
1
2 3 <
3
1
(3)(2 3) < (3)
3
6 9 < 1
6 < 9 1
8
5 < 8 <
5

Se debe considerar entonces que < ; adems, se hizo la aclaracin 1 > 0 > 1. Por lo tanto, la solucin para
8
5

este caso es la interseccin de ambos intervalos; es decir 1 < < (vase la figura 2.7).

8
5

Figura 2.7. Intervalo solucin del primer caso para el ejemplo 2.20.

Caso 1 < 0.

25

Ing. Aldo Jimnez Arteaga

2 3 1
<
1
3
1
2 3
( 1)
> ( 1)
3
1
1
2 3 >
3
1
(3)(2 3) > (3)
3
6 9 > 1
6 > 9 1

ALG

5 > 8 >

8
5

2015

8
5

Entonces, se tiene > ; adems, como 1 < 0 < 1. Por lo tanto, no existe una solucin para este caso, ya que
no hay interseccin de los intervalos.

8
5

Figura 2.8. Intervalo solucin del segundo caso para el ejemplo 2.20.

Finalmente, la solucin de la desigualdad es la unin entre sendos conjuntos solucin de los casos descritos
8
5

anteriormente: 1 < < (vase la figura 2.9).


1

8
5

Figura 2.9. Intervalo solucin de la desigualdad para el ejemplo 2.20.

EJEMPLO 2.21. Obtngase el intervalo solucin de la siguiente desigualdad:


4 + 5
>1
2 + 9

Caso 2 + 9 > 0.

4 + 5
>1
2 + 9
4 + 5
(2 + 9)
> 2 + 9
2 + 9
4 + 5 > 2 + 9
4 2 > 9 5
2 > 4 > 2

9
2

Entonces, se tiene que > 2; adems, la declaracin 2 + 9 > 0 > . Por lo tanto, la solucin para este caso es
2 < (vase la figura 2.10).

Figura 2.10. Intervalo solucin del primer caso para el ejemplo 2.21.

26

Ing. Aldo Jimnez Arteaga

ALG

Caso 2 + 9 < 0.

4 + 5
>1
2 + 9
4 + 5
(2 + 9)
< 2 + 9
2 + 9
4 + 5 < 2 + 9
4 2 < 9 5
2 < 4 < 2
9
2

2015

Entonces, se tiene 2 > ; adems, como 2 + 9 < 0 < . Por lo tanto, la solucin para este caso es <
(vase la figura 2.11).

Figura 2.11. Intervalo solucin del segundo caso para el ejemplo 2.21.
9
2

Finalmente, la solucin general de la desigualdad (mostrada en la figura 2.12) es < > 2.


9

Figura 2.12. Intervalo solucin de la desigualdad para el ejemplo 2.21.

EJEMPLO 2.22. Obtngase el intervalo solucin de la siguiente desigualdad:


7
1 3
+ <
8
4

Ahora se tiene una desigualdad con valor absoluto; entonces, se aplicar || .


1

Caso +

3
4

7
8

< .

Se debe considerar cuando > 0:


27

Ing. Aldo Jimnez Arteaga

1 3
7
+
<
4 8
4+3 7
<
8
4
7
7
<
4 8

9
2

ALG

Y la solucin de esta condicin es > 2.


Para cuando < 0

7
7
<
4 8
4 7
4 7
<

7 4
7 8
4
1<
8
8 < 4 2 <

7
7
<
4 8
4 7
4 7
>

7 4
7 8
4
1>
8
8 > 4 2 >

Entonces, la solucin de esta condicin es < 0. Y la solucin para este caso es < 0 > 2.
7
8

Caso < +

3
.
4

Para > 0:

Y la solucin de esta condicin es > 0.


Para cuando < 0

28

Ing. Aldo Jimnez Arteaga

7 1 3
< +
8 4
7 4+3
<
4
8
7
7
<
8 4
7
7
<
8 4
4
7
4 7
<

7
8
7 4
4
(8) > 8
8
4 > 8 > 2

7
7
<
8 4
4
7
4 7
>

7
8
7 4

2015

ALG

(8)

2015

4
< 8
8
4 < 8 < 2

Entonces, la solucin para la condicin es < 2. La solucin de este caso es < 2 > 0.

Los dos intervalos obtenidos son < 0 > 2 y < 2 > 0. Por lo cual, la solucin final est dado por la
interseccin de ambos conjuntos; es decir < 2 > 2.

Esto implica que la resolucin de desigualdades depende de los siguientes factores:


1.
2.
3.

Las propiedades de las desigualdades en los nmeros reales.


El valor que supuestamente puede o no tomar la incgnita.
Las propiedades del valor absoluto, cuando las desigualdades lo incluyan.

Un punto importante es saber cundo se debe intersecar y cuando unir. De manera general, cuando se tengan dos
condiciones que deban cumplirse al mismo tiempo se har una interseccin.

29

Ing. Aldo Jimnez Arteaga