Documente Academic
Documente Profesional
Documente Cultură
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.
43
LGEBRA
SUPERIOR
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.
45
LGEBRA
SUPERIOR
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.
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.
n(n + 1)(2 n + 1)
6
52
NMEROS
REALES
NZ
53
LGEBRA
SUPERIOR
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.
55
LGEBRA
SUPERIOR
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.
56
NMEROS
REALES
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:
57
LGEBRA
SUPERIOR
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:
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
a
/ a Z y b Z pero b 0
b
NMEROS
REALES
293
200
61
LGEBRA
SUPERIOR
25331.1
999
253311
9990
62
NMEROS
REALES
Ejercicio 3
1. Sern iguales las fracciones 2/3 y 616/924? Por qu?
b)
23
17
b) 3.48745
63
LGEBRA
SUPERIOR
64
NMEROS
REALES
a c ac ca c a
=
=
=
b d bd db d b
65
LGEBRA
SUPERIOR
(ac) f (ae)d ac ae
+
=
+
(bd) f (bf )d bd bf
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
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.
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
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:
LGEBRA
SUPERIOR
70
NMEROS
REALES
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...
71