Sunteți pe pagina 1din 25

NMEROS

REALES

Introduccin

ontar es establecer una relacin uno a uno entre dos conjuntos; el conjunto
cuya cantidad de elementos se indaga, y el conjunto de smbolos conocidos
como nmeros. Los nmeros naturales nacieron debido a la necesidad de contar
de nuestros ancestros. En esta unidad se estudiarn algunas propiedades de los
nmeros naturales.
Tambin estudiaremos un mtodo muy til para demostrar verdades
matemticas, conocido como induccin matemtica, que nos ayudar a establecer
algunas relaciones que existen entre los nmeros.
Terminando de estudiar los nmeros naturales estudiaremos el conjunto
de los nmeros enteros. Estos nmeros incorporan los nmeros negativos al conjunto
de los nmeros naturales. Se estudiarn sus propiedades as como su orden y su
representacin en la recta numrica.
Continuando con el estudio de las propiedades de los nmeros enteros,
lo primero que notamos es la existencia de nmeros pares, es decir, existen
nmeros que son exactamente divisibles entre 2; tambin hay nmeros que
son exactamente divisibles entre 3, etc. Esta clasificacin de los nmeros nos
habla de una nocin que se encuentra en la base del estudio de los nmeros: la
divisibilidad. En forma general, sta se refiere a aquellos casos en que un entero
cabe un nmero exacto de veces en otro.
En esta unidad revisaremos tambin el estudio de la divisin para definir
un nuevo conjunto de nmeros llamados racionales, Q; estudiaremos sus
operaciones y sus propiedades.
Por ltimo, estudiaremos el ltimo conjunto de nmeros: los irracionales.
Despus, con la ayuda de todos los conjuntos de nmeros conocidos, podremos
definir un conjunto de nmeros con el nombre de reales.

2.1. Concepto de nmero natural


Los nmeros que nos sirven para contar los elementos de un conjunto
son los nmeros naturales y se designan por N ={0,1,2,3,4,...}.

43

LGEBRA

SUPERIOR

Consideraremos en este texto al cero como el primer nmero natural,


siendo importante resaltar que muchos autores no lo consideran as.
Existir el ltimo nmero natural?
Los nmeros naturales se encuentran ordenados de manera natural y
grficamente se representan en la recta numrica, cuyo origen es el cero y se
extiende hacia el 1, luego el 2, luego el 3, etctera.
Ntese que los nmeros naturales aunque tienen primer elemento no
tienen ltimo.

Existen dos operaciones bsicas que pueden realizarse con los nmeros
naturales: la suma y el producto.
Estas operaciones cumplen con las propiedades que enlistaremos a
continuacin:
Propiedades de la suma y el producto de nmeros naturales
1. Cerradura de la suma.
Cuando se suman dos nmeros naturales, a y b, se obtiene otro
nmero natural, c

a+b=c
2. Conmutatividad de la suma.
Para todo a y b en N,

a+b=b+a
3. Asociatividad en la suma.
Para todo a, b y c en N,

(a+b)+c=a+(b+c)
4. Elemento neutro aditivo.
El elemento neutro para la adicin es el cero. Para todo a en N,

a+0=a

44

NMEROS

REALES

5. Cerradura de la multiplicacin.
Cuando se multiplican dos nmeros naturales, a y b, se obtiene otro
nmero natural c:
ab=c
6. Conmutatividad de la multiplicacin.
Para todo a y b en N,
ab=ba
7. Asociatividad en la multiplicacin.
Para todo a, b y c en N
(ab)c=a(bc)
8. Elemento neutro multiplicativo.
El elemento neutro para la multiplicacin es el 1. Para todo a en N,
a1=a
9. Distributividad.
La multiplicacin es distributiva respecto a la suma. Para todo a,b y
c en N se tiene que
a(b+c)=ab+ac
Ms adelante estudiaremos otros tipos de nmeros y descubriremos que
cada uno tiene sus propiedades caractersticas que los diferencian de los dems.

2.1.1. Definicin de nmeros primos


Dentro de los nmeros naturales existen algunos que slo pueden ser
divididos entre ellos mismos y la unidad. A estos se les conoce con el nombre de
nmeros primos.
Un nmero natural p es llamado primo cuando tiene como nicos
divisores a 1 y a p.

45

LGEBRA

SUPERIOR

Un nmero natural que no es primo es llamado compuesto.


Ejemplos de nmeros primos son 11, 2 y 7.
Ejemplos de nmeros compuestos son 4, 9 y 10.
Al nmero 1 no se le considera ni primo ni compuesto.
De importancia fundamental son los nmeros primos ya que cualquier
nmero natural puede expresarse como producto de nmeros primos. A esta
propiedad de los naturales se le conoce como el teorema fundamental de la
aritmtica.
Este resultado es intuitivamente muy claro, ya que un nmero, si no es
primo, se puede descomponer sucesivamente hasta que todos sus factores lo
sean.
Ejemplos de descomposicin de nmeros naturales en factores primos,
llamada tambin descomposicin cannica, son:
180 = 2 2 3 3 5
3087 = 3 3 7 7 7
15 = 3 5
Para encontrar la descomposicin cannica de un nmero no existe un
mtodo fcil y rpido, pero s existe un mtodo infalible aunque laborioso: ir
dividiendo el nmero entre todos los primos menores que l y hacer lo mismo
con sus divisores hasta que ya no se puedan dividir ms que por ellos mismos o
por la unidad.
Por ejemplo, encontremos la descomposicin cannica de 1575.
Empecemos dividiendo 1575 entre 2, cuyo resultado no es un nmero
natural, entonces el 2 no divide a 1575.
Ahora dividimos 1575 entre 3 y obtenemos el entero 525.
Entonces 1575 se puede escribir como:

1575=3525
Repetimos el proceso para el 525.
Empezamos a dividir por el ltimo divisor que se encontr, o sea el 3.
Encontramos que 525 si se divide entre 3 arroja un cociente de 175. De lo
que:

46

NMEROS

REALES

1575=33175
Ahora dividamos a 175 entre 3 y encontramos que el cociente no es entero.
Por lo que dividimos al 175 entre 5, el primo que sigue al 3, y encontramos que
175=5 35. De lo que:

1575=33535
Ahora el 35 tambin se divide entre 5 con cociente entero, 7, de lo que:

1575=3 3 5 5 7
Como 7 tambin es primo, entonces ya termin el proceso. Por lo que la
descomposicin cannica de 1575 es:
1575 = 3 3 5 5 7
La descomposicin cannica de un nmero es nica; este resultado
garantiza que no encontremos dos formas de escribir a un nmero en factores
primos.

2.1.2. Mtodo de induccin matemtica


La induccin matemtica nos ayudar a establecer, de manera general,
ciertas propiedades que observamos suceden de manera particular para algunos
nmeros naturales o conjunto de ellos.
Por ejemplo, si se suman los nmeros naturales del 1 al 5 se obtiene:

1 + 2 + 3 + 4 + 5 = 15
y 15 se obtiene de multiplicar a 5 por 6 y dividirlo entre 2.
Si se suman los nmeros naturales del 1 al 10 se obtiene:

1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 = 55
y 55 se obtiene de multiplicar 10 por 11 y dividirlo entre 2.

47

LGEBRA

SUPERIOR

Ejercicio 1
1. Verifica que se cumplan las propiedades de los nmeros naturales para
una terna de nmeros distintos.

2. Por qu la resta y la divisin no son una propiedad de los naturales?


Qu condiciones no cumplen?

3. Demuestra que la suma de los primeros n nmeros impares es Sn=n2.


4. Demuestra que la suma de los cuadrados de los n primeros nmeros
naturales es Sn =

n(n + 1)(2 n + 1)
6

2.2. Nmeros enteros: definicin a partir de los naturales


Los nmeros naturales no son suficientes para realizar muchas de las
operaciones elementales como la resta. Para poder restar dos nmeros cualesquiera
es necesario tener otro conjunto de nmeros, este conjunto se llama el conjunto
de los nmeros enteros y se define de la siguiente manera.
Los nmeros enteros son la unin del conjunto de los nmeros naturales
{0,1,2,3,...} y el conjunto formado por sus inversos aditivos {1,2,3,}.
El conjunto de nmeros enteros se representa con letra Z.
Z={...3,2,1,0,1,2,3,...}

52

NMEROS

REALES

2.2.1. Operaciones fundamentales y sus propiedades


Los nmeros enteros cumplen con las nueve propiedades que ya conocamos
de los nmeros naturales. (Vase subtema 2.1) y tienen una propiedad
adicional:

10. Para todo nmero a en Z existe su inverso aditivo en Z, que se


denota por a, tal que:
a + (a)=0
Con esta nueva propiedad podemos incluir a la resta dentro de las
operaciones que realizamos con los nmeros que hasta ahora conocemos. Ntese
que el conjunto de los nmeros naturales, N, son un subconjunto propio de los
enteros, Z.

NZ

2.2.1.1. Orden en los enteros


Podemos decidir si un entero es mayor que otro?
S, y para ello tenemos lo siguiente:
Dados dos nmeros enteros, a y b, a es mayor que b siempre que ab sea
un nmero natural. En smbolos:
a > b a b N

Donde los smbolos y > quieren decir si y slo si y mayor que,


respectivamente.
Por ejemplo, verifiquemos que 8 es mayor que 5.
Tenemos que 85=3, ahora como 3 es un nmero natural, entonces 8 es
mayor que 5.
El orden en los nmeros enteros tambin tiene propiedades que son muy
tiles.

53

LGEBRA

SUPERIOR

Por ejemplo, supongamos que sabemos que un nmero a es mayor que


b, y a su vez sabemos que b es mayor que c. Podremos afirmar que a es mayor
que c?
Para resolver este problema utilizaremos los siguientes pasos:
1. Por la propiedad 1 de los nmeros naturales, su cerradura bajo la suma,
sabemos que si (ab) es un nmero natural y si (bc) es un nmero natural,
entonces:
(ab)+(bc)
tambin es un nmero natural.
Ahora, de lo anterior se tratar de llegar al resultado que (ac) es un
nmero natural usando diversas propiedades de los nmeros enteros.
Primero, por la propiedad asociativa se tiene:
(a b)+(b c) = a+[ b+(b c)]
y usando otra vez la propiedad asociativa se llega a:
= a+[(b+b) c)]
Usando la propiedad del inverso aditivo obtenemos:
= a+[0 c]
y finalmente, usando la propiedad del neutro aditivo, se puede escribir
como:
= (a c),
que es un nmero natural.
2. Como (ac) es un nmero natural, entonces a es mayor que c.
Esta propiedad se le conoce como transitividad de la relacin de orden.

54

NMEROS

REALES

Ejercicio 2
1. Se podr afirmar que el cuadrado de cualquier entero distinto de cero
es positivo? Por qu?

2. Demuestra que si a,b,c son enteros tales que a>b y c>0, entonces
ac>bc.

2.3. Nmeros racionales


Una operacin bsica que no hemos estudiado es la divisin. Para estudiarla,
primero necesitamos definir qu se entiende por divisin.

Sean a y b enteros. Decimos que a (divisor) divide a b (dividendo) si


existe un entero q tal que:
b=aq

Tambin es comn decir, a es factor de b, a es divisor de b o bien b es


mltiplo de a o b es divisible entre a.
Existir algn entero que no tenga divisores? No, todo entero a tiene al
menos a 1, 1, a y a como divisores.
La divisin tiene las siguientes propiedades importantes:
1. a divide a 0 para todo entero a.
2. Si a divide a b y b divide a c, entonces a divide a c.
3. Si a divide a b y b divide a a, entonces a=b.

55

LGEBRA

SUPERIOR

4. Si a divide a b, entonces a divide a bc para todo entero c.


5. Si a divide a b y a divide a c, entonces a divide a b+c.
La demostracin de las primeras tres propiedades es inmediata a partir
de la definicin. No as las propiedades 4 y 5 que demostraremos a modo de
ejemplo.
4. Como a divide a b, entonces, por definicin, existe un entero q tal
que:

b=qa,
ahora multiplicando ambos lados de la igualdad por un entero c cualquiera,
tenemos:

bc=qac,
aplicando la propiedad asociativa y conmutativa resulta:

bc=(qc)a,
de donde concluimos que a divide al producto bc.
5. Como a divide a b y a divide a c, entonces, por definicin, existen
enteros m y n tales que:

b=ma y c=na,
sumando ambas expresiones tenemos:

b+c=(m+n)a,
de donde a divide a b+c.

2.3.1. Algoritmo de la divisin


En los enteros no siempre es posible dividir de tal suerte que el resultado
sea de nuevo un nmero entero (esto slo sucede cuando el dividendo es mltiplo
del divisor). Sin embargo, lo que s es cierto es que al dividir cualesquiera dos

56

NMEROS

REALES

enteros siempre obtenemos, en forma nica, un cociente y un residuo, que s son


enteros. Por ejemplo:
2
13 29
3
En este caso el cociente es 2 y el residuo es 3.
Otra forma de expresar la divisin anterior es a travs del algoritmo de
la divisin:

29 =132 + 3
Es evidente que el residuo siempre es menor que el divisor, puesto que
en el caso contrario seguiramos dividiendo. El hecho de que siempre es posible
dividir dos enteros positivos cualesquiera para obtener un cociente y un residuo
nicos, lo podemos enunciar en forma general como sigue:

Sean a y b enteros positivos con a 0, entonces existen enteros q y r


nicos tales que:
b = aq + r y 0 r < a

A este enunciado se le conoce con el nombre de algoritmo de la


divisin.
Obsrvese que b es el dividendo, a el divisor, q el cociente y r el residuo.
Veamos algunos ejemplos de cmo funciona el algoritmo de la divisin.
Consideremos:
a=13 y b=29,
en este caso:
q=2 y r=3,
de lo que:
29=132+3

57

LGEBRA

SUPERIOR

Sin embargo, tambin sucede que


29=131+16
29=130+29
29=131+16
29=132+3
29=133+(10)
29=134+(23)
Ntese que los residuos siempre difieren consecutivamente en 13 y que
el nico que es no negativo y menor que el divisor es el mnimo de todos los
residuos no negativos, que en este caso es 3.
Veamos otro ejemplo.
Sean a=8, b=35, entonces 35=84+3 de donde q=4 y r=3.
Sin embargo,
35=82+19
35=83+11
35=84+3
35=85+(5)
35=86+(13)
Aqu volvemos a observar el mismo fenmeno: el menor de los nmeros no
negativos que aparecen hasta la derecha es el nico residuo que simultneamente
es no negativo y menor que el divisor. Modificando ligeramente las listas
anteriores podemos escribir los residuos de la siguiente manera:
29130=29
29131=16
29132=3
29133=11
29134=24

3582=19
3583=11
3584=3
3585=5
3586=13

58

NMEROS

REALES

Con lo que hemos visto podemos afirmar el caso general: que dados los
enteros a y b:
1. Hay una multitud de enteros q y r tales que:

b = aq+r
2. Todos los residuos son de la forma:

b ax,
donde x es algn entero. Adems, la diferencia entre cualesquiera dos
residuos siempre es mltiplo de a.
3. El menor de todos los residuos tal que:
b ax 0
es un nmero r que satisface
0r<a
Conviene notar que aunque hemos establecido el algoritmo de la divisin
para enteros positivos, ste se puede generalizar a todos los enteros.
En efecto, en este caso tenemos:

Sean a y b enteros con a 0 entonces existen enteros q y r nicos


tales que b=aq+r con 0 r < a
En el algoritmo de la divisin siempre que se divida un residuo distinto de
cero entre el divisor nos encontramos con nmero que no es entero. Como r <
a, entonces r/a no es un nmero entero:
r
Z
a
Para poder incluir a este tipo de nmeros en la recta numrica necesitamos
definirlos y establecer sus propiedades.

59

LGEBRA

SUPERIOR

a
se llaman racionales o fraccionarios y
b
forman el conjunto de nmeros que se denota con la letra Q.
a
Se define a Q como el conjunto de todos los nmeros
tales que a
b
Los nmeros que tienen forma

es un entero y b es otro entero distinto de cero. Es decir:


Q=

a
/ a Z y b Z pero b 0
b

Notaremos con Q+ al subconjunto de los racionales positivos y por Q al


subconjunto de los negativos.
Si dado un racional a/b se tiene que b=1, como a/1=a y a Z , entonces
el racional a/1 es un nmero entero.
Esto es, los nmeros enteros son un subconjunto propio de los nmeros
racionales.
Es evidente que hay muchas maneras de representar a un mismo nmero
racional, por ejemplo 1/2 y 2/4, entonces, cundo dos nmeros a/b y c/d son
iguales?
Diremos que dos nmeros racionales a/b y c/d son iguales siempre que
ad=bc. Incluso la aseveracin puede ser ms fuerte y decir que:
a c
= ad = bc
b d
Entonces tambin se cumple que si ad = bc, los nmeros racionales a/b y
c/d son iguales.
A veces es necesario representar los nmeros racionales en forma decimal.
Para escribir un nmero racional en forma decimal basta hacer la divisin
indicada. El decimal as obtenido puede ser finito, como en el caso de:
3
= 0.75
4
O bien puede tener un grupo de dgitos que se repiten sin fin, como es el
caso de:
71
= 1.09230769230769230769230769230769...
65
donde el grupo de dgitos que se repite es el 923076.
60

NMEROS

REALES

Al grupo de nmeros que se repite se les llama peridicos o con periodicidad


infinita.
Existe una manera de indicar que los nmeros son peridicos. Para esto, se
escribe una barra encima de los nmeros que se repiten, as:
1.09230769230769230769230769230769 = 1.0923076
Donde la barra sobre el 923076 indica que se repite indefinidamente.
Cmo saber si un nmero con decimales es un racional? El criterio para
saber si un nmero decimal es un racional es el siguiente:
Siempre que se tenga un nmero cuyos decimales tienen una periodicidad
infinita, se trata de un nmero racional escrito de manera decimal. Tambin son
nmeros racionales aquellos cuyos decimales distintos de cero terminan despus
de un nmero finito de ellos.
Por ejemplo, el nmero 1.465
se escribe como el racional 1465
1000
y por la igualdad en Q, se puede escribir como:

293
200

Supongamos que al trmino de algunas operaciones, con ayuda de una


calculadora, nos encontramos con un nmero cuyos decimales son peridicos y
estamos interesados en conocer el nmero racional que representa.
Entonces, cmo convertir un nmero con decimales peridicos a una
fraccin?
Para escribir un nmero con decimales peridicos en forma de fraccin se
realizan varios pasos que se explicarn con el siguiente ejemplo.
Convertir en forma de fraccin el nmero 25.3564
Primero contemos el nmero de cifras que tiene el periodo decimal del
nmero.
En este caso el nmeros de cifras es 3 (5, 6 y 4).

61

LGEBRA

SUPERIOR

Despus se multiplica el nmero por 10n, donde n es el nmero de cifras


decimales peridicas, en este caso por 103.
(25.3564)(103 ) = 25356.4564
Se obtiene un nmero que tiene los mismos decimales peridicos que el
nmero con el que empezamos.
Ahora, si se restan estos dos nmeros es de esperarse que los decimales
peridicos se cancelen y quede un nmero sin decimales peridicos:
25356.4564 25.3564 = 25331.1
y el resto es slo aritmtica.
Convirtiendo en base 10 a 25356.4564 , se escribe como 25.3564(103 ),
entonces:
25.3564(103 ) 25.3564 = 25331
Factorizando 25.3564 se tiene:
despejando:

25.3564 (103 1) 1 = 2533.1


25.3564 =

25331.1
999

y finalmente, eliminando el punto decimal en el numerador:


25.3564 =

253311
9990

lo que representa al nmero 25.3564 como racional.

62

NMEROS

REALES

Ejercicio 3
1. Sern iguales las fracciones 2/3 y 616/924? Por qu?

2. Construye dos fracciones iguales a 11/17

3. Encuentra el nmero decimal equivalente a:


a) 53
11

b)

23
17

Utiliza la notacin peridica de los decimales.


4. Encuentra el nmero racional equivalente a:
a) 2.3478

b) 3.48745

2.3.2. Operaciones fundamentales y sus propiedades


Ahora, si se tienen dos nmeros racionales a/b y c/d necesitamos definir
dos operaciones bsicas, suma y multiplicacin. La suma se define como:
a c ad + bc
+ =
b d
bd
y la multiplicacin como:
a c ac
=
b d bd

63

LGEBRA

SUPERIOR

Los nmeros racionales, en las operaciones anteriormente definidas, tienen


las siguientes propiedades:
1. Cerradura de la suma. Cuando se suman dos nmeros racionales, a/b y
c/d, se obtiene otro nmero racional e/f.
a c e
+ =
b d f
2. Conmutatividad de la suma. Para todo a/b y c/d en Q:
a c c a
+ = +
b d d b
Demostracin:
a c ad + bc bc + ad cb + da c a
+ =
=
=
= +
b d
bd
db
db
d b
Ntese que (ad+bc) es igual a (cb+da), as como bd es igual a db,
apoyndonos exclusivamente en la propiedad de conmutatividad de los nmeros
enteros.
En otras propiedades tambin se manipularn los nmeros enteros
que constituyen a los nmeros racionales y se tendr siempre en cuenta sus
propiedades sin hacer mencin de ellas.
3. Asociatividad en la suma. Para todo a/b, c/d y e/f en Q:
a c e a c e
+ + = + +
b d f
b d f
Demostracin:
a c e ad + bc e (ad + bc) f + e(bd) (ad) f + (bc) f + e(bd)
+ =
=
+ + =
bd
f
(bd) f
b(df )
b d f

a(df ) + b(cf + ed) a cf + ed a c e


= +
= + +
b(df )
b
df
b d f

64

NMEROS

REALES

4. Elemento neutro aditivo. El elemento neutro para la adicin es el 0/1.


Para todo a/b en Q:
a 0 a
+ =
b 1 b
Demostracin:
a 0 a 1 + b0 a
+ =
=
b 1
b 1
b
5. Cerradura de la multiplicacin. Cuando se multiplican dos nmeros
racionales, a/b y c/d, se obtiene otro nmero racional, g/h.
g
a c
=
b d h
6. Conmutatividad de la multiplicacin. Para todo a/b y c/d en Q:
a c c a
=
b d d b
Demostracin:

a c ac ca c a
=
=
=
b d bd db d b

7. Asociatividad en la multiplicacin. Para todo a/b, c/d y e/f en Q:


a c e a c e
=
b d f
b d f
Demostracin:
(ac)e a ce a c e
a c e ac e
= =
= =
b df b d f
b d f bd f (bd) f

65

LGEBRA

SUPERIOR

8. Elemento neutro. El elemento neutro para la multiplicacin es el 1/1.


Para todo a/b en Q:
a 1 a
=
b 1 b
Demostracin:
a 1 a 1 a
=
=
b 1 b 1 b

9. Distributividad. La multiplicacin es distributiva respecto a la suma,


para todo a/b, c/d y e/f en Q se tiene que:
a c e ac ae
+ =
+
b d f bd bf
Demostracin:
a c e
+
b d f

a cf + de a(cf + de) a(cf ) + a(de) (ac) f + (ae)d


=
=
=
=
df
b(df )
b(df )
(db) f
b
=

(ac) f (ae)d ac ae
+
=
+
(bd) f (bf )d bd bf

10. Para todo nmero a/b en Q existe su inverso aditivo en Q, denotado


por a/b, tal que:
a a
0
+
=
=0
b
b
bb

Demostracin:
a a ab + ( ab ) 0
+
=
=
=0
b
b
bb
bb
Ntese que se defini al neutro aditivo como 0/1 y ahora obtenemos 0/bb,
es fcil darse cuenta que 0/1=0/bb, es cuestin de aplicar el criterio de cundo dos
nmeros racionales son iguales. En este caso 0/1=0/bb ya que 0(bb)=0=01.
66

NMEROS

REALES

Aparte los racionales cumplen con otra propiedad: todo racional 0


tiene inverso multiplicativo (otro racional que al ser multiplicado por l da el
producto igual a la unidad).
a 0
que pertenece a Q tiene un
b 1
solo inverso multiplicativo denotado por b/a tal que:
11. Inverso multiplicativo. Todo nmero

a b ab ab a b
=
=
= = 11 = 1
b a ba ab a b
El nmero racional ab/ab es igual a 1/1, esto se sigue del criterio de
igualdad expuesto antes.

2.3.2. Concepto de orden en Q


A partir de las definiciones de orden que se han dado con anterioridad,
definiremos el orden en Q.
Sean a/b y c/d elementos de Q, decimos que:
a c
a c
>
Q+
b d si b d
Por ejemplo, 3/4 es ms grande que 2/3 ya que:
3 2 98 1
=
= Q+
4 3
12
4
La relacin de transitividad se cumple con los racionales?
S, la definicin de orden en los racionales tambin cumple con la relacin
de transitividad.
Sean a/b, c/d y e/f elementos de Q, entonces si:
c e
a e
a c
> y > >
d f
b f
b d
67

LGEBRA

SUPERIOR

Veamos un ejemplo:
2/5 es mayor que 3/8:
2 3 16 15 1
=
=
Q+
5 8
40
40
y 3/8 es mayor que 1/3,
3 1
98 1
=
=
Q+
8 3
24
24
de lo que 2/5 es mayor que 1/3:
2 1 65 1
=
=
Q+
5 3
15
15
La relacin de orden en los racionales tiene propiedades que slo se
cumplen en stos. Una de ellas es la siguiente:
Sean a/b y a/c elementos de Q+ tal que a, b, c >0 y a/b>a/c, entonces
c>b.
Para demostrar esta propiedad fijmonos en que si:
a a
Q+
b c
implica que:

ac ab
Q+
bc

y dado que bc>0, entonces:

ac ab>0

factorizando a tenemos:

a (c b ) > 0 ,

y como a>0:

(c b ) > 0

de lo que:

c>b

68

NMEROS

REALES

Ejercicio 4
1. Dados los nmeros 43 y 5, encuentra q y q distintas, y r y r distintos
tales que:

43=5q+r con 0 r<|5|


y

43=5q+r con 0 r<|5|


2. Encuentra cinco formas distintas de escribir el nmero 34 en mltiplos
de 7.
3. Encuentra la forma de escribir el nmero 46 en mltiplos de 4 con el
residuo mnimo no negativo.

2.4. Nmeros reales


En la seccin anterior se estudiaron los nmeros racionales que se pueden
identificar porque su expresin decimal es finita o bien infinita peridica. Sin
embargo existen algunos nmeros que tienen una expresin decimal infinita no
peridica, como 2 = 1.414213562... y = 3.141592654... . Estos nmeros
no son racionales, ni enteros ni naturales. Qu tipo de nmero son?

2.4.1. Nmeros Irracionales


Los nmeros irracionales son aquellos cuyos decimales son infinitos y
sin periodicidad. Se representan con la letra I.
Son irracionales tambin adems de: 2 = 1.414213562...
y = 3.141592654... , e= 2.718281828459...
cos 45= 0.7071067811865..., entre otros.
69

LGEBRA

SUPERIOR

Si incorporamos los nmeros irracionales a los racionales tenemos un


conjunto llamado nmeros reales.
Los nmeros reales, representados por la letra R, son el conjunto de
nmeros que es resultado de la unin del conjunto de los nmeros racionales
con el conjunto de los irracionales.
Ahora, con los nmeros irracionales podemos incluir entre las operaciones
a realizar con los nmeros reales, adems de las que ya estudiamos a la raz.
Si n es un entero y si a es un nmero real no negativo entonces se dice
que b es la nsima raz de a si bn=a
Los nmeros reales satisfacen todas las propiedades de los conjuntos
anteriores, adems de tener un orden que se puede definir de igual manera que
con los otros conjuntos de nmeros.

2.4.2. Recta numrica


Ahora que hemos incrementado bastante la cantidad de nmeros que
conocemos; podemos localizarlos en la recta numrica de la siguiente manera:
Los naturales y los enteros se localizan as:

Con los nmeros racionales, la recta numrica se representa de la siguiente


manera:

70

NMEROS

REALES

Al colocar en la recta numrica los nmeros racionales, pareciera que se ha


llenado, sin embargo todava hay espacios.
Esos espacios que quedan se terminan de llenar con los nmeros
irracionales, de este modo todos los puntos de la recta numrica tienen asignado
un nmero real y a todos los nmeros reales les corresponde un punto en la recta
numrica.
Si se cree que el estudio de los nmeros y sus propiedades ha terminado,
obsrvese que, con los nmeros reales, no podemos conocer un nmero que
sea igual a 1 . Esto sucede debido a que en los nmeros reales no hay tal que
multiplicado por s mismo d un nmero negativo. Para poder hacer este tipo
de operaciones necesitamos otro tipo de nmeros, los imaginarios. Los nmeros
imaginarios se estudiarn en la unidad 4 de este libro.

Ejercicio 5
1. Indica uno de los conjuntos de nmeros a los que pertenecen los
siguientes:

a)
b)
c)
d)

3
8
4.567343434343434...
1.236390486829263...

2. Verifica que se cumplan las 11 propiedades de los nmeros racionales


para los nmeros reales 4, 3.1415926... y 1/2.
3. Haciendo una analoga con la relacin de orden para los nmeros
enteros, indica la relacin de orden para los nmeros reales.
Las matemticas se aprenden haciendo ejercicios. A continuacin se
presenta una serie de problemas resueltos y otra de problemas propuestos para que
observes, en los ejercicios resueltos, la manera como se plantean y solucionan, con
el propsito de que las pongas en prctica al resolver los problemas propuestos.

71