Beruflich Dokumente
Kultur Dokumente
DE PUEBLA
MATEMATICAS
ELEMENTALES
DE 2010
PUEBLA, PUE., OTONO
(rev. 6 de mayo de 2015)
A esa
de quien olvide sus generales
pero recuerdo sus particulares
PROLEGOMENO
El verano de 1991 vio nacer un libro escrito por un grupo de profesores de la Facultad de Ciencias FsicoMatematicas La Comision
(Celestino Soriano Soriano, Juan Angoa Amador, Jaime Arroyo Garca
David Herrera Carrasco, Agustn Contreras Carreto, Fernando Velazquez
Castillo y Ra
ul Linares Garca) y que lleva el mismo nombre que la
materia para la que serv a de texto: Matematicas Basicas. En vista de
la renovacion de los planes de estudio realizadas en la B.U.A.P. desde
1992, fue necesaria la adaptacion de dicha obra, introduciendo algunos
temas, reduciendo otros y transformando otros mas, hasta dar a luz a un
un hijo bastardo del Matematicas Basicas en la misma facultad, pero
cuatro veranos despues que su padre, y con una finalidad analoga: servir
de texto para el curso que le da nombre: Matematicas Elementales.
Los parteros Una subcomision de la La Comision esperan con
fervor que, en este nene, los genes heredados y las mutaciones operadas,
sean las adecuadas ya que, de resultar contrahecho, tendra que ser abandonado en la Pe
nade los espartanos y los u
nicos responsables de ello
Una subcomision seran merecedores de una actuacion en el circo
romano.
El trabajo de transcribir nuestro manuscrito a LATEX, fue realmente
ciclopeo. Agradecemos infinitamente a Luis Alberto Torres Ramrez el
que se hubiera animado a realizarlo.
ATENTAMENTE
Una subcomisi
on
J. Juan Angoa Amador
Agustn Contreras Carreto
Manuel Ibarra Contreras
Ra
ul Linares Gracia
Armando Martnez Garca
Indice general
1. L
ogica
1.1. Introduccion . . . . . . . . . . . .
1.2. Proposiciones logicas y conectivos
1.3. Tablas de verdad y equivalencias
1.4. Cuantificadores . . . . . . . . . .
1.5. Razonamiento . . . . . . . . . . .
1.6. Metodos de Demostracion . . . .
1.6.1. Demostraciones directas. .
1.6.2. Demostraciones indirectas.
1.6.3. Ejemplos y contraejemplos
1.7. Apendice 1 . . . . . . . . . . . . .
1.8. Apendice 2 . . . . . . . . . . . . .
2. Conjuntos
2.1. Introduccion . . . . . .
2.2. Conjunto Universal . .
2.3. Subconjuntos . . . . .
2.4. Igualdad de conjuntos
2.5. Construccion de nuevos
.
.
.
.
.
.
.
.
.
.
.
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
conjuntos a
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
partir de otros
3. N
umeros reales
3.1. Introduccion . . . . . . . . . . . . . . . . .
3.2. Consecuencias de los Axiomas de Campo .
3.3. Consecuencias de los Axiomas de Orden .
3.4. El Axioma del Supremo . . . . . . . . . .
3.5. Los n
umeros Naturales . . . . . . . . . . .
3.6. N
umeros Enteros, Racionales e Irracionales
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
2
5
14
24
32
34
37
40
43
47
.
.
.
.
.
48
48
55
56
59
63
.
.
.
.
.
.
73
73
76
90
121
133
146
INDICE GENERAL
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
206
. 206
. 215
. 227
. 229
. 239
. 243
. 248
. 253
. 254
. 260
. 268
Captulo 1
LOGICA
1
1.1.
Introducci
on
En el lenguaje cotidiano las expresiones adolecen de poder tener distintos significados, cosa que hace interesante a la literatura, pero en matematicas no podemos darnos ese lujo: no es posible que cada quien le de
un significado distinto a expresiones como si x es mayor que 3, entonces
x es mayor que 2.
Con la intencion de, en la medida de lo posible, darle exactitud al discurso, el estudio de los procesos logicos cobra interes. Tambien es necesario distinguir entre argumentos correctos, Recordar que en matematicas
as como en la ciencia, la actividad demostrativa juega un papel importante.
En este curso no pretendemos estudiar a fondo la logica formal, sino
reafirmar algunas actividades centrales como: analizar la estructura
l
ogica del discurso matem
atico, as como decidir si los pasos que
se siguen en una demostraci
on son v
alidos o no.
CAPITULO 1. LOGICA
2
2
1.2.
Proposiciones l
ogicas y conectivos
Para nuestros propositos una frase que tenga la propiedad de ser falsa
n
o verdadera y solo una de estas posibilidades se llamara Proposicio
gica.
Lo
Si una proposicion es verdadera diremos que su valor de verdad es V ,
y si es falsa diremos que su valor de verdad es F .
La frase Viva Mexico!, al interrogarse de si es verdadera o falsa, uno
encontrara que no es ninguna de las dos cosas. Podemos concluir que
dicha frase no es proposicion logica.
Ahora veamos las siguientes proposiciones logicas:
a) 1 + 1 = 2
b) La suma de n
umeros enteros es un n
umero entero.
c) 3 es mayor que 2.
d) 4 es un n
umero negativo.
e) Esta lloviendo ahora en la Plaza Roja de Mosc
u.
Es claro que todas ellas s tienen un valor de verdad; es mas, podemos
afirmar que las tres primeras son verdaderas y la pen
ultima es falsa. Resumiendo: a), b) y c) tienen valor de verdad V y d) tiene valor de verdad
F . Atencion!: La proposicion e) es proposicion logica a pesar de no poder
decidir su valor de verdad (desde C.U. y sin la magia de la comunicacion).
Analicemos las siguientes proposiciones logicas:
1.2. PROPOSICIONES LOGICAS
Y CONECTIVOS
a) 3 y 2 son n
umeros enteros.
b) Mexico y Guatemala son pases centroamericanos.
c) 3 + 1 = 4 y 2 + 2 = 4.
Notemos que tienen una forma com
un:
(. . . . . . ) y (. . . . . . ),
donde los parentesis (. . . . . . ) representan proposiciones logicas. Las proposiciones logicas a), b) y c) escritas en esta forma quedan:
a) 3 es n
umero entero y 2 es n
umero entero.
b) Mexico es pas centroamericano y Guatemala es pas centroamericano.
c) 3 + 1 = 4 y 2 + 2 = 4
Esto nos lleva a la definicion:
Definici
on 1.2.1 Si una proposicion logica se puede llevar a la forma:
n)
(Proposicio
n),
(proposicio
n),
(proposicio
entonces
n),
(proposicio
CAPITULO 1. LOGICA
Para distinguir el diferente papel que juegan las dos proposiciones que
forman la implicacion, tenemos:
Definici
on 1.2.5 En una impicacion llamaremos antecedente a la proposicion colocada entre si y entonces y llamaremos consecuente a
la proposicion colocada despues de entonces.
Veamos las proposiciones:
1. Es condicion suficiente para que Avelino vuele, ser poeta.
2. Jaime podra adelgazar si deja de comer.
1.3.
CAPITULO 1. LOGICA
Bajo que condiciones de las proposiciones inmersas en una conjuncion, esta podra ser falsa?
Para dar luz acerca de estas preguntas, va la:
Definici
on 1.3.1 Una conjuncion es verdadera cuando y solo cuando las
dos proposiciones que la forman son verdaderas.
Analogas preguntas podran plantearse respecto de las disyuncion y
de la negacion. Para esto:
Definici
on 1.3.2 Una disyuncion es verdadera cuando y solo cuando
alguna de las proposiciones que la forman es verdadera.
Definici
on 1.3.3 Una negacion es verdadera si y solo si la proposicion
negada es falsa.
Ahora bien, pasa con la implicacion?
Veamos las siguientes proposiciones:
si dos es par, entonces 3 + 2 es impar .
siempre que dos es par, 3 + 2 es impar .
No ocurre que dos sea par y 3 + 2 no sea impar .
Intuitivamente podemos aceptar que las tres proposiciones dicen lo
mismo, es decir, estamos aceptando que:
Una implicacion es la negacion de una conjuncion.
As que una implicacion es verdadera si la conjuncion es falsa; pero la
tal conjuncion esta constituda por el antecedente y la negacion del consecuente de la implicacion; as que la conjuncion sera falsa si el antecedente
es falso o el consecuente es verdadero. Resumiendo:
Definici
on 1.3.4 Una implicacion es verdadera en cualquiera de los dos
casos siguientes:
a) El consecuente es verdadero.
b) El antecedente es falso.
Observando estas condiciones, vemos que la u
nica posibilidad que no
se incluye es cuando el antecedente es verdadero y el consecuente es falso.
Una manera de recordar esta conclusion es usando la siguiente afirmacion:
Nunca una verdad implica una falsedad.
En lo que sigue adoptaremos formas simbolicas para las proposiciones.
As las letras p, q, r, s, t, . . . , simbolizaran proposiciones, y nuestros tipos
de proposiciones se simbolizaran:
1) p q
2) p q
disyuncion de la proposiciones p y q.
3) q
negacion de la proposicion q.
4) p q
CAPITULO 1. LOGICA
p q
(p q)
p p
CAPITULO 1. LOGICA
10
Ejercicios 1.
1. Cuales de las siguientes afirmaciones son proposiciones logicas?
11
a) Come o fuma?
b) Come o fuma!
c) 3 es mayor que 4.
d ) Todos los triangulos son equilateros.
2. Clasifique las siguientes proposiciones de acuerdo a nuestras definiciones. En las negaciones, aclare cuales son las proposiciones negadas.
a) El carro de Pedro es tan bueno como el de Juan.
b) No es posible que exista Transporte barato y comodo.
c) Aunque 3 no es par, s es primo.
d ) Si los precios aumentan, los salarios aumentan.
e) Es falso que la natalidad disminuya en los pases pobres.
f ) Es falso tanto que Mexico es una potencia como que es un pas
pobre.
g) Solo si David trabaja podra dejar el vicio.
h) Alguno de los dos casos sucede: si 3 es par entonces 3 + 2 es
impar o si 3 es par entonces 3 + 2 es par.
i) es falso que todo triangulo es equilatero y es escaleno, pero es
verdad que algunos triangulos son equilateros y otros no.
j ) Solo cuando estemos organizados sera posible cambiar el Estado.
3. En las siguientes condicionales diga cual es el antecedente y cual el
consecuente.
a) Queda claro que siempre que Pedro ha resuelto los problemas,
Luis se los ha copiado.
b) Si fuera 3 no primo, tendra otros divisores distintos de 1 y 3.
c) Resulta que si usas automovil, inmediatamente tienes problemas cardacos.
d ) Al menos cada vez que tu maestro me ha explicado el tema de
funciones, a m no me ha quedado claro.
CAPITULO 1. LOGICA
12
No se ha cansado todava? A
upe su existencia con estos otros.
Ejercicios 2.
1. Denote con s la proposicion yo estudio, y con p la proposicion
yo pasare el curso. Exprese simbolicamente las siguientes proposiciones:
a) No estudio.
b) Si estudio pasare el curso.
c) Pasare el curso solamente si estudio.
d ) Parare el curso si estudio.
e) Estudio o no pasare el curso.
f ) Si estudio no pasare el curso.
g) Ni estudio ni pasare el curso.
h) Pasare el curso si y solamente si estudio.
2. Suponga que l es la proposicion la logica es facil y que m es la
proposicion las matematicas son faciles. Exprese con palabras las
siguientes proposiciones:
a) l m
c) l m
b) l
d) l m
c) m l
e) l m
a) p q
d) p (p q)
g) (q (p q))
b) p q
e) q p
h) (p q)
c) (p q)
f) q (p q)
i) p (p q)
13
CAPITULO 1. LOGICA
14
f) pq qp
g) [p (q r)] [(p q) r]
h) p q q p
i) [p (q r)] [(p q) r]
j ) [p (q r)] [(p q) (p r)]
k ) [p (q r)] [(p q) (p r)]
l ) (p q) p q
1.4.
Cuantificadores
1.4. CUANTIFICADORES
15
para alg
un elemento del conjunto, la afirmacion sea verdadera, y claro
que es verdadera!: cualquier solterona puede servir como justificante.
Si ahora convenimos en que:
U denota la coleccion de todos los automoviles,
denota las frases cada uno, para cada, para todo, todo,
cualquiera o cualquier otra del mismo tipo.
x U denota la frase x pertenece a U ,
nuestra proposicion 1) quedara simbolicamente como:
x U : x es enfriado por agua.
Es mas, si p(x) simboliza: x enfriado por agua, nuestra proposicion
quedara:
x U : p(x)
U
se denomina conjunto universo.
CAPITULO 1. LOGICA
16
y proposiciones de este tipo son verdaderas siempre que se pueda encontrar un elemento a de U que haga verdadera a p(x) es decir, que p(a) sea
una proposicion verdadera.
Atencion! : Para que expresiones del tipo:
x U : p(x)
x U : p(x)
sean efectivamente proposiciones logicas, p(x) debe ser una frase abierta
tal que cada elemento a de U , p(a) sea una proposicion logica.
Veamos algunos ejemplos:
Ejemplos:
1) Todos los m
usicos son gente alegre.
2) Todas las personas que no son alegre no son m
usicos.
1) en forma simbolica queda:
x U : p(x) q(x),
donde U denota el conjunto de los seres humanos y
p(x) la frase : x es m
usico, y
q(x) la frase : x es alegre.
2) en forma simbolica es:
x U : q(x) p(x)
3) Dos n
umeros primos diferentes son coprimos. Este ejemplo motiva la
presentacion de las proposiciones abiertas en mas de una variable.
Observemos las siguientes proposiciones abiertas:
p y q son coprimos.
x es mayor que y.
Si x + y = x + z, entonces y = z.
1.4. CUANTIFICADORES
17
Aqu las variables pueden tomar valores en diferentes conjuntos universales o en el mismo, pero eso se entiende del contexto en que se
de la proposicion en particular.
As, si Z es el conjunto de los enteros, nuestra proposicion escrita en
forma esquematica quedara como sigue:
p Z : q Z : p = q p y q son coprimos
4) Si m y n son n
umeros enteros pares cualesquiera, entonces m + n
tambien es un entero par.
Si Z denota al conjunto de los n
umeros enteros, esta proposicion se
puede escribir as:
m Z : n Z : si m y n son pares m + n es un entero par.
Tambien se puede escribir as
m P : n P : m + n P,
Si P representa al conjunto de los enteros pares.
Algunos autores, en vez de usar dos cuantificadores universales hubieran preferido escribir la proposicion as:
m, n Z : si m y n son pares m + n es un entero par
o de este modo
m, n P : m + n P
5) Dado cualquier n
umero real, siempre existe un n
umero entero mayor
que el .
Si R representa al conjunto de n
umeros reales y Z al de los enteros,
podemos escribir esta proposicion del modo siguiente:
x R : n Z : n es mayor que x.
6) Todo n
umero natural es mayor que cero.
CAPITULO 1. LOGICA
18
1.4. CUANTIFICADORES
19
y consideremos la proposicion
x U : x es divisible por 2
Hagamos una lista de los valores de verdad de la frase abierta para cada
uno de los elementos de U .
11 es divisible por 2 F
12 es divisible por 2 V
13 es divisible por 2 F
14 es divisible por 2 V
Vemos que la proposicion es falsa, as que de antemano sabremos que la
proposcion
x U : (x es divisible por 2)
es verdadera.
Podemos entonces concluir en general que:
( x U : p(x)) es equivalente a x U : p(x)
Ahora, si x U : p(x) es falsa, significa que p(a) es falsa para
cualquier a en U , de aqu que p(a) es verdadera para cualquier a en U .
Por lo tanto:
x U : p(x)
es verdadera.
Si sabemos que x U : p(x) es verdadera, esto significa que para
alg
un a en U , p(a) es verdadera, as que p(a) es falsa para este mismo
a en U , y podemos concluir que
x U : p(x)
es falsa.
Entonces podemos asentar que:
( x U : p(x)) es equivalente a x U : p(x).
CAPITULO 1. LOGICA
20
1. Ning
un n
umero al cuadrado es negativo
1.4. CUANTIFICADORES
21
Para todo n
umero se cumple que si el es par, entonces es divisible
por 2
nos queda claro que una forma esquematica de escribirla sera
n Z : n par n es divisible por 2
4. Una funcion derivable es continua.
La proposicion la podemos escribir de la siguiente forma:
f D : f es continua
donde D es el conjunto de las funciones que son derivables, pero si F
es el conjunto de funciones, entonces la proposicion puede escribirse
como:
f F : f derivable f es continua
5. Es falso que: para todo n
umero exista un entero mayor que el.
Aprovechemos lo que comentamos en el ejemplo 5, pagina 17 para
escribir la proposicion de la forma:
( x R : n Z : n > x)
es decir,
x R : (n Z : n > x)
simplificando mas:
x R : n Z : (n > x)
Ahora veamos otros ejemplos de negaciones:
CAPITULO 1. LOGICA
22
Ejercicios 3.
1. Determine cuales de las siguientes proposiciones son del tipo
x U : p(x)
x U : p(x),
1.4. CUANTIFICADORES
23
CAPITULO 1. LOGICA
24
1.5.
Razonamiento
1.5. RAZONAMIENTO
25
r
|{z}
Conclusi
on
CAPITULO 1. LOGICA
26
2)
3)
Toda Aguila
vuela.
Guillermo no es aguila.
Guillermo no vuela.
4)
Corro o como.
Si corro me canso.
Si como me canso.
Me canso.
Observemos los razonamientos 2) y 3). En 2), las premisas pueden
ser verdaderas y sin embargo la cunclusion es falsa. En este caso, la
veracidad de las premisas no asegura la veracidad de la conclusion.
En 3), las premisas y la conclusion pueden ser verdaderas y sin embargo, la forma de razonamiento no es correcta, ya que podemos
establecer un razonamiento de igual forma que puede tener premisas
verdaderas y conclusion falsa, por ejemplo:
5)
6)
x U : p(x)
a no es elemento de U .
p(a)
En 5) tenemos premisas verdaderas y conclusion falsa; ademas podemos asegurar que todos los razonamientos escritos en la forma 6) son
incorrectos (que no es lo mismo que falsos).
1.5. RAZONAMIENTO
27
p q
q
p
No importan como sean p y q, si las premisas son verdaderas, la conclusion es verdadera. No puede suceder que las premisas sean verdaderas
y la conclusion falsa por que?. En todo razonamiento de la forma 7),
si aseguramos la veracidad de las premisas, aseguramos la veracidad
de la conclusion. Podemos decir que todo razonamiento de esta forma
es correcto.
4) acepta la siguiente forma simbolica:
8)
p q
p r
p r
r
p: Yo corro.
p: Yo como.
p: Yo me canso.
CAPITULO 1. LOGICA
28
1. Si un razonamiento es de la forma
P1 :
P2 :
p :
x U :
x U :
x U :
(p(x) q(x))
(q(x) r(x))
(p(x) r(x))
x es tiburon.
x es cuadr
upedo.
x tiene alas.
1.5. RAZONAMIENTO
29
x U
x U
x U
x U
:
:
:
:
(p(x) q(x))
(p(x) r(x))
(q(x) r(x))
r(x)
x U
x U
x U
x V
:
:
:
:
(p(x) q(x))
(p(x) r(x))
(q(x) r(x))
r(x)
Esta es una forma de razonamiento incorrecta, ya que permite construir un razonamiento con esta forma pero con premisas verdaderas y
conclusion falsa. Si tomamos:
U = {2, 4},
p(x) :
q(x) :
r(x) :
V = {1}
x es par.
x<0
x=2x=4
CAPITULO 1. LOGICA
30
Ejercicios 4.
1. Dadas la siguientes premisas, trate de obtener conclusiones correctas:
a) Si compro un coche nuevo, tendre que hacer pagos.
Compre un coche nuevo.
b) Ning
un cuadr
upedo sabe volar.
Los gatos son cuadr
upedos.
c) Si salgo de mi casa ire al cine.
No fu al cine
d ) Si Horacio come a deshoras, engordara.
Horacio no ha engordado.
e) Si no fumo no tendre cancer.
Si no tengo cancer, soy feliz.
Soy infeliz.
2. Probar que las siguientes formas de razonamiento son reglas de inferencia:
(a)
pq
qr
pr
(b) p q
p
q
(c) p q
p q
p
1.5. RAZONAMIENTO
(d)
p
p p1
p1 p2
p2
(g)
pr
qr
pq r
(j)
r
s
p p
(m)
p r
r s s
p
31
(e) x : p(x)
a
p(a)
(f)
(h) p q
pr
qr
r
(i)
p
pq
pq r
r
p p
s
(k) p q
(l)
r
p q r
r pq
r (s s)
rp
pq
(n) x U : p(x)
x U : q(x)
x U : p(x) q(x)
(0)
x U : p(x) r(x)
x U : r(x) s(x) s(x)
x U : p(x)
(p)
x U : p(x)
x U : q(x)
x U : p(x) q(x)
(l2)
x U : p(x) r(x)
x U : r(x) s(x) s(x)
x U : p(x)
(m2)
x U : p(x)
x U : q(x)
x U : p(x) q(x)
3. Averig
ue si son reglas de inferencia las siguientes formas:
(a)
pq
qr
pr
(c)
pq
p r
(b) (p q) (q p)
p
pq
(d)
pq
r q
(e) p q
p q
CAPITULO 1. LOGICA
32
rp
r p
(f)
x U : p(x)
x U : p(x)
x U : p(x) q(x)
(0)
x U : p(x) r(x)
x U : r(x) s(x) s(x)
x V : p(x)
(g)
p r
s
x U : p(x) q(x)
p(a)
q(a)
(p)
x U : p(x)
x V : q(x)
x U : p(x) q(x)
1.6.
M
etodos de Demostraci
on
1.6. METODOS
DE DEMOSTRACION
33
CAPITULO 1. LOGICA
34
Con mucho frecuencia, un teorema no hace referencia explcita al sistema matematico en donde se esta probando; normalmente este se implica
del contexto y usualmente no causa dificultad, pero si existe la mnima
posibilidad de ambig
uedad debemos ser cuidadosos de nombrar explcitamente el sistema que estamos considerando.
Cuando se construye una demostracion, el uso y el orden en que se
deben usar (1), (2), (3) y (4) no tiene por que ser obvio; hacerlo requiere
no solo de conocimiento, sino de experiencia, perseverancia, intuicion, y
algunas veces, de una buena dosis de suerte.
En seguida listaremos algunos tipos de demostracion en los que resaltaremos como y cuales son los razonamientos validos que se usaron.
Esta peque
na lista no pretende agotar todas las posibles formas demostrar, sino m
as bien s
olo describir algunas de las m
as
conocidas y aceptadas.
1.6.1.
Demostraciones directas.
x U :
p(x)
1.6. METODOS
DE DEMOSTRACION
35
donde:
p1 : n0 = 2m para alg
un entero m.
2
2
p2 : n0 = (2m) para alg
un entero m.
p3 : n20 = 2(2m2 ) y 2m2 es entero.
Este razonamiento es de la forma:
[(p p1 ) (p1 p2 ) (p2 p3 ) (p3 q)] (p q)
Esto justifica que p q es verdadera y por tanto t es verdadera.
Nota: Tanto las proposiciones que hemos aceptado en el ejemplo
como verdaderas, as como las que usaremos en los ejemplos siguientes, se demostraran o se aclarara si son axiomas en el captulo de
n
umeros reales.
2. Demostraremos ahora la proposicion:
t:
1>0
1 = 0 12 = 1 [ x R, x2 0]
1 = 0 12 = 1 [ x R, x2 0] 1 = 0 12 = 1 12 0
1 = 0 12 = 1 12 0 1 = 0 1 0
CAPITULO 1. LOGICA
36
p2 t :
t
:
1 = 0 1 0 1 > 0
1>0
x R : x > 0 x + 1 > 0.
x0 > 0
x0 > 0 x0 + 1 > 1 1 > 0
x0 + 1 > 1 1 > 0 x0 + 1 > 0
xo + 1 > 0
1.6. METODOS
DE DEMOSTRACION
37
1.6.2.
Demostraciones indirectas.
Una contradicci
on es una proposicion falsa por su forma logica.
CAPITULO 1. LOGICA
38
1>0
(1 < 0 o 1 = 0) s,
donde s es falsa.
:
1=0o1<01<0
:
1 < 0 1 < 0y0 < 1
:
1 < 0 y 0 < 1 1(1) < 0(1) y 0 < 1
: 1(n < 0(1) y 0 < 1 1 < 0 y 0 < 1
:
1 = 0 o 1 < 0 1 < 0 y 0 < 1
a R, a > 0
1
>0
a
a>0
1
>0
a
a > 0 a1 0 a1 a 0.a
a1 a 0 a
10
10
10 1>0
a > 0 a1 0 1 0 1 > 0
1.6. METODOS
DE DEMOSTRACION
39
3. Demostraremos la proposicion
t:
n Z : n2 es impar n es impar.
a R :
a>0
1
>0
a
1
a
> 0 es verdadera. La
1
0a0
a
una demostracion de dicha contrarrecproca es:
a1
a1 0
< 0 y a2 0
a2 a1 a2 0
a1 0
a1 < 0 y a2 0
a2 a1 < a2 0
a0
a0
CAPITULO 1. LOGICA
40
Puede demostrarse indirectamente que una proposicion de la forma (p q) r es verdadera, demostrando que la conjuncion
[(p r) (q r)] es verdadera ya que estas proposiciones son equivalentes. Por ejemplo, demostraremos que:
t:
x R :
1.6.3.
Ejemplos y contraejemplos
p(x)
p(x)
es verdadera. En otras palabras, para comprobar la falsedad de una proposicion: x U : p(x), basta encontrar alg
un x0 , elemento de U , para
el cual p(x0 ) es falsa.
A este metodo se le denomina demostracion por contraejemplo.
Analogamente, si se requiere demostrar que una afirmacion del tipo
x U :
p(x)
1.6. METODOS
DE DEMOSTRACION
41
a2 < 1
es falsa.
Veamos que existe un real x0 tal que x2 < 1 es falso. Si x0 = 1, la
proposicion x20 < 1 es falsa.
2. Para darnos cuenta que la proposicion x R : x + x = 3x es
falsa, bastara observar que si x0 = 1, la proposicion x0 + x0 = 3x0
es falsa.
Ejercicios 5.
1. Demuestre directamente que:
a) x R: si x > 5 entonces x > 3.
b) Si a y b son reales entonces a = 0 o b = 0 a b = 0. (Use
que x R, x 0 = 0.)
c) Si m y n son enteros impares, entonces m + n es entero par.
d ) Si m y n son enteros impares, entonces mn es entero impar.
2. Demuestre por contraposicion que:
a) a b = 0 a = 0 y b = 0, (a, b R).
b) x2 < 0 x
/ R.
c) Si mn es par entonces m es par o n es par (m, n enteros).
CAPITULO 1. LOGICA
42
3. Demuestre por contradiccion:
c) Para cualquier a R, a2 = a.
a + b = a + b.
x2 + 6 = 10) es falsa.
b) ( x {2, 2},
x2 + 6 = 10) es verdadera.
c) ( x R :
x2 + 6 = 0) es verdadera.
d ) ( x R :
x > 2 x2 + 6 = 0) es falsa.
e) ( x R :
1.7. APENDICE
1
1.7.
43
Ap
endice 1
pq
Una razon plausible para estudiar el o exclusivo es su uso en proposiciones como el axioma de tricotoma (Definicion O1, del captulo
3, pagina 75), aunque en dicho axioma se componen 3 proposiciones
y no solamente 2.
Quiza tendramos que definir:
Definici
on 1.7.1 Sea n N. Si p1 , p2 , . . . , pn son n proposiciones
logicas,
p1 p2 . . . pn
es la proposicion que es verdadera si y solo si exactamente una de
las proposiciones p1 , p2 , . . . , pn es verdadera.
CAPITULO 1. LOGICA
44
Tres ejercicios inmediatos seran:
a) Demuestre que p q p q
b) Pruebe que p q r = p (q r)
c) Demuestre que p q (p q) (p q)
Dadas las proposiciones p, q y r, demostrar que:
d ) p (q r) (p q) r
e) p (q r) (p q) (p r)
f ) (q r) p (q p) (r p)
g) p (q r) = (p q) (p r)
2. Entre los razonamientos validos que podramos estudiar, esta el siguiente:
P QR
pqr
P p
Qq
Rr
(P p) (Q q) (R r)
Es un bonito ejemplo de un razonamiento en el que la demostracion
de su validez por medio de tablas de verdad es poco menos que imposible (26 renglones!), mientras que la demostracion de su validez
razonando, como solemos hacer en matematicas, es muy facil.
3. El razonamiento valido anterior lo uso De Morgan en su Logica
Forma (1847), para deducir las proposiciones I.6 e I.19 de Euclides,
a partir de las proposiciones I.5 e I.18, mucho mas facilmente que
Euclides (Notacion I.6, I.5, I.18 e I.19 son las proposiciones 6, 5, 18
y 19 del libro primero de los Elementos de Euclides). Ahi les va:
Antes un poco de notacion. En un triangulo ABC, denotaremos
por a al lado que se opone al angulo interior con vertice en A, por b
1.7. APENDICE
1
45
B
A
CAPITULO 1. LOGICA
46
Tricotoma
Tricotoma
I.5
I.18
I.18
a=ba>ba<b
A = B A > B A < B
a = b A < B
a > b A > B
a < b A < B
I.6 e I.19
(A = B a = b) (A > B a > b) (A < B a < b)
1.8. APENDICE
2
1.8.
47
Ap
endice 2
No esta de mas que el lector tenga presente la siguiente lista de tautologas pues, si duda, le seran u
tiles en la construccion de demostraciones.
1. (p q) (q p)
2. (p q) [(p q) (q p)]
3. (p q) [(p q) (p q)]
4. p p
5. [p (p q)] q
6. [q (p q)] p
7. [p (p q)] q
8. [p q] p
9. [(p q) (q r)] (p r)
10. [(p q) r] [(p r) (q r)]
11. [(p q) r] [p (q r)]
12. [(p q) (r s) (p r)] (q s)
13. [p (q r)] [(p q) r] y si t es una contradiccion, es decir,
una proposicion falsa por su forma, tambien son tautologas:
14. (p p) t
15. (p t) p
16. (p q) [(p q) t]
Captulo 2
CONJUNTOS
1
2.1.
Introducci
on
Comenzaremos a hablar de conjuntos, tratando de ponernos de acuerdo acerca de lo que vamos a entender por conjunto. Esto no es nada
simple, ya que conjunto es un concepto bastante primitivo, analogo al
concepto de punto o de la recta. De un punto se dice que es aquello que
no tiene parte o dimension; de una recta se dice que es una longitud sin
anchura que tiene todos sus puntos en la misma direccion; finalmente,
de un conjunto suele decirse que es una coleccion o reunion de objetos.
Las definiciones de estos tres conceptos hacen uso de otras palabras
que tendamos que haber definido antes: que es una dimension?, que es
una longitud?, que es una coleccion?, que es una reunion?. Las palabras
coleccion y reunion no son mas que sinonimos de la palabra conjunto. Al
decir que conjunto no es mas que una reunion de objetos, no estamos
caracterizando los conjuntos sino solo dando una idea: la idea de que un
conjunto es algo que tiene objetos, algo que tiene elementos.
Podemos hablar por ejemplo del conjunto de los arboles de C.U., del
conjunto de los coches estacionados en el patio de la escuela, del conjunto
de las monta
nas de Puebla, del conjunto formado por los n
umeros 2, 4, 6,
48
2.1. INTRODUCCION
49
8 y 10; del conjunto de nuestros parientes, del conjunto de los libros de una
biblioteca, del conjunto de las bibliotecas de Puebla, del conjunto de rectas
en un plano que pasan por un punto dado, del conjunto de factores que
influyen en un problema, del conjunto de metodos que permiten resolver
ese problema.
En la mayora de estos conjuntos hay una relacion clara (definida
explcitamente) entre sus elementos, en el sentido de que existe una propiedad com
un que los define. Por ejemplo, todos los elementos del conjunto de monta
nas de Puebla, tienen esa propiedad com
un, la de ser
monta
nas de Puebla.
Cada vez que decimos el conjunto de objetos con cierta propiedad,
a parte de hacer mencion de alguna caracterstica particular de los elementos del conjunto, parece que estamos hablando de un conjunto bien
definido en el sentido de que se pueden conocer cuales son sus elementos
y cuales no lo son.
Si decimos el conjunto de todos los borregos gordos, cabe preguntar
que tan gordo es gordo?. Si nos muestran alg
un borrego, como podemos
saber si es gordo o no?, podemos considerar al conjunto de todos los
borregos gordos como un conjunto bien definido?.
Otro ejemplo de un conjunto del que no podemos conocer sus elementos es el siguiente El conjunto de los diez mejores m
usicos del mundo;
son los mejores seg
un quien?. El problema que se presenta con este tipo
de conjuntos puede subsanarse faclmente si nos ponemos de acuerdo
en los criterios de calificacion de los objetos, por ejemplo, si nos ponemos
de acuerdo en que un borrego gordo es aqel que pesa mas de 100 kg.
o en que un buen m
usico es el que ha vendido mas de dos millones de
discos y que los diez mejores m
usicos son los diez primeros que lo logren,
entonces se desvanece el problema en estos ejemplos particulares. Sin embargo, el determinar los elementos de un conjunto sabiendo que son los
que satisfacen cierta propiedad, sigue siendo complicado. Para ilustrar
esta afirmacion, construiremos un conjunto en el que sera mas difcil
ponerse de acuerdo en un criterio que permita definir bien el conjunto:
Se cuenta que en un lejano poblado de un antiguo emirato, haba un
50
CAPITULO 2. CONJUNTOS
2.1. INTRODUCCION
51
52
CAPITULO 2. CONJUNTOS
2.1. INTRODUCCION
53
H, suele escribirse:
H = {x | x tiene la propiedad p},
para indicar que H es el conjunto de todos los objetos x tales que x tiene
la propiedad p (la barra vertical | se lee: tal que). Hay que advertir
que el smbolo x que hemos adoptado para denotar los elementos de un
conjunto, es enteramente arbitrario y que podemos emplear y, z, w, etc.
Por ejemplo, Si A es el conjunto de los n
umeros naturales, se puede escribir
A = {y | y es un n
umero natural},
o si B = {a, e, i, o, u}, entonces B se puede escribir por comprension as:
B = {w | w es una vocal del alfabeto espa
nol}.
Observemos que puede ocurrir que alg
un elemento de un conjunto
tambien sea un conjunto. Por ejemplo, el conjunto
{1, {2, 3}, 4, {5, 6}}
tiene 4 elementos, dos de los cuales son conjuntos: {2, 3} y {5, 6}.
Los siguientes ejemplos muestran al menos una de las caractersticas
mencionadas antes:
Ejemplos:
1. El conjunto de n
umeros naturales positivos que tienen la propiedad
de que al elevarlos al cubo nos dan un n
umero menor que 100,
tambien se puede escribir como:
{1, 2, 3, 4, }
.
2. Al conjunto
{n | n es un n
umero entero y n3 = n}
tambien lo podemos escribir como {1, 0, 1} o no?
CAPITULO 2. CONJUNTOS
54
Ejercicios 1.
1. Determinar cuales de los siguientes conjuntos estan representados
por extension y cuales por comprension.
a) A es el conjunto de todos los habitantes de Puebla.
b) B = {10, x, 3x}.
c) C es el conjunto de los n
umeros naturales.
d ) D es el conjunto de todos los n
umeros naturales x tales que
x > 5, x < 9 y x = 7.
e) E = {x | x C, x es par, x > 5, y x < 9}.
f ) F = {6, 8}
g) G = {x | x es una recta del plano}
h) H es el conjunto de las bibliotecas de Puebla.
i) I es el conjunto de todos los libros de todas las bibliotecas de
Puebla.
j ) J = {{x | x C}, {x | x E}}.
k ) K = {{x | x E}, 6}.
l ) L = {0, {1, 2}, 3, 4}.
2. Siguiendo con la notacion del ejercicio 1, responda las siguientes
preguntas.
a) Si x es un libro, es cierto que x H?
b) La biblioteca Nicolas Copernico es elemento de H?
c) Es cierto que 2 J?
d ) Es cierto que 6 K?
e) Es cierto que 2 C?
55
2.2.
Conjunto Universal
CAPITULO 2. CONJUNTOS
56
2.3.
Subconjuntos
aAxB
2.3. SUBCONJUNTOS
57
B
U
B
A
Ejemplos:
1. Sea U el conjunto de letras del alfabeto espa
nol y sean A =
{a, e, i, o, u} y B el conjunto de letras de la palabra murcielago.
Escrito por extension:
B = {m, u, r, c, i, e, l, a, g, o}
Los elementos de A son tambien elementos de B.
2. Sea U el conjunto de los seres vivos y sean A el conjunto de las
personas mayores de 18 a
nos y B el conjunto de los organismos
pluricelulares. Cada elemento de A es elemento de B o no?
Definici
on 2.3.1 Supongamos que A y B son conjuntos cuyos elementos
estan en un conjunto universal U . Diremos que el conjunto A es subconjunto del conjunto B si todo elemento de A es tambien elemento de B,
es decir, si la proposicion
x U :
es verdadera.
xAxB
CAPITULO 2. CONJUNTOS
58
xAxB y
xBxC
xAxC
59
Ejemplos:
1. Supongamos que A = {1, 2} y B = {1, 2, 5}. Como (2 A y
2
/ B) es verdadera, A * B es verdadera.
2. Supongamos que A = {}. Como ( A y
/ ) es verdadera,
A * es verdadera.
3. Consideremos los conjuntos:
A = {2, 3, 4, 5}, B = {n | n es un n
umero natural par} y C =
{x | x es un n
umero natural menor que 6}. entonces, las proposiciones {2, 3} A, A C, {10, 8, 6} B y C * A son verdaderas,
mientras que C B, {3} A, 5 B y C A son proposiciones
falsas. Compruebe el lector estas afirmaciones.
4
2.4.
Igualdad de conjuntos
B A.
CAPITULO 2. CONJUNTOS
60
xAaB
61
Ejercicios 2.
1. Consideremos los siguientes conjuntos
P = {r, s, t, u, v, w},
R = {s, u, y, z},
Q = {u, v, w, x, y, z},
S = {u, v},
V = {s},
Diga cual o cuales de estos conjuntos:
Z = .
T = {s, u},
CAPITULO 2. CONJUNTOS
62
a) Son subconjuntos de P y de Q u
nicamente.
b) Son subconjuntos de R pero no de Q.
c) No son subconjuntos de R pero s de Q.
d ) No son subconjuntos de P ni de R.
e) Son subconjuntos de todos.
2. Diga si son verdaderas o falsas las siguientes proposiciones y
explquese el por que.
a) ,
b) 5 = {5},
c) ,
d) 3 {3, 5},
e) {a, b, c} = {c, b, d, e, a},
f) {1, 2, a, b},
g) 0 ,
h) 4 {{1, 4}, {2, 4}},
i) {3, 4} {{1, 2}, {3, 4}},
j) {2, 4} = {{2}, {4}}, k) {p} = {p, }, l) {, 0, 1} = {, 1},
m) {},
n) {2 2} = {0},
n
) = {},
o) {x | x N , x < 3} = {2, 1}, p) {x | x N 1 < x < 2} = {0},
q) {a, i} {a, e, i, o, u}
r) {e, i} {a, e, i, o, u}.
3. Determine el conjunto S formado por los subconjuntos de mas de
dos elementos del conjunto {a, b, c, d, e}. Responda lo siguiente:
El conjunto {a, b, c} es subconjunto de S?, {{a, b, c}} S. Fundamente sus respuestas.
4. Colocar un signo = o = seg
un corresponda.
a) {a + b, (b a)(b + a), a + a} {b2 a2 , 2a, a + b}.
b) {5 + 1, 7, 34 + 16, 0} {5 5, 50, 6, 8 1}.
2.5.
Construcci
on de nuevos conjuntos a
partir de otros
Ejemplos:
1. Si U = {1, 2, 3, 4} y A = {1, 3}, entonces A{ = {2, 4}
CAPITULO 2. CONJUNTOS
64
A B = {x U | p(x) q(x)}
CAPITULO 2. CONJUNTOS
66
U
B
B
A
Propiedades:
Para cualesquiera A, B y C subconjuntos de U , se tiene
a) A B = B A
i) A U = U
b) A B = B A
j) A =
c) (A B) C = A (B C)
k) A A B y B A B
d) (A B) C = A (B C)
l) A B A y A B B
e) A A{ = U
m) A (B C) = (A B) (A C)
f) A A{ =
n) A (B C) = (A B) (A C)
g) A = A
n
) (A B){ = A{ B {
h) A U = A
o) (A B){ = A{ B {
A las propiedades n
) y o) se les llama leyes de DMorgan.
Demostraci
on: (de algunas propiedades)
CAPITULO 2. CONJUNTOS
68
A
B
Para que el educando se familiarice con la union, interseccion, complemento y diferencia de conjuntos, demostraremos algunos teoremas que
involucran estos aspectos.
1. Sea U un conjunto universo; A y B subconjuntos de U .
a) Si A B entonces
i) A B = A y
ii) A B = B
Demostracion (de i):) Queremos probar que A B = A, suponiendo que A B. Para ello hay que demostrar que AB A
y A A B. Ya demostramos que A B A (ver l) de la
pagina 66), as que solo falta demostrar que A A B (suponiendo A B).
Ahora bien, si x A entonces x B, pues A B. Por lo
tanto x A y x B, es decir, x A B. Hemos probado
x U : x A x A B
y, por eso, A A B.
(de ii):) Como B A B (ver k) de la pagina 66), solo resta
demostrar que A B B, suponiendo A B.
CAPITULO 2. CONJUNTOS
70
A,
U,
Ejercicios 3.
0. Probar que si U es un conjunto universo, U { = .
1. Haga las demostraciones de las propiedades enunciadas en los incisos
a), b), c), d), e), f), g), h), i), k), n) y p) de la pagina 66.
2. Si A, B, C son subconjuntos cualesquiera de un conjunto universo
U , probar que (AB)C = A(BC). A que es igual A(BC).
3. Dados el conjunto universal U = {1, 2, 3, 4, 5, 6, 7, 8, 9} y los conjuntos A = {1, 3, 5, 9}, B = {2, 3, 5, 8}, C = {1, 4, 8, 9}, determine
a) (A{ C) (B C { ).
b) (A{ (B { C)) (C { B).
c) (A B { ){ (B { C){
d ) ((A B) (A B)) ((A B) (B A)).
4. Sea A un conjunto cualquiera en un conjunto universo U . Halle
expresiones diferentes para los conjuntos siguientes
a) A ,
e) {} = ,
b) A A,
f ) {, {}} {},
c) A {},
g) {} {},
d ) A,
h) {}.
CAPITULO 2. CONJUNTOS
72
e) B A B,
b) A B A B,
f ) B (B A){ = U ,
c) (A B) A = A,
g) B { (B A){ ,
d ) (A B){ (A B){ ,
h) A B A B,
(i) (A B) (A C) = A (B C),
(j) A B C { A C B A C = ,
(k) A (B C) B (A C){ B =
7. Dados A, B y C subconjuntos cualesquiera de un conjunto universo
U , demuestre las siguientes propiedades:
a) Si A B entonces A (B A) = B.
b) Si A B = entonces A B { .
c) Si A B = U entonces A{ B.
d ) A (B C) = (A B) (A C).
e) A B = B A si y solo si A = B.
f ) (A B) B = (B A) A.
g) A{ B { = B A.
h) A B A C B C A C B C.
8. Si A, B y C son subconjuntos de U , use las leyes de DMorgan para
simplificar.
[
]{
a) (A{ B { ) A{ .
[
]{
b) A{ (B C) .
[
]{
c) (A{ B { ) (B { C { ) (A{ C { ) .
9. Descanse. Buena falta le hace!
Captulo 3
NUMEROS
REALES
1
3.1.
Introducci
on
Todo estudiante que llega a una escuela profesional ha tenido una relacion mnima con los n
umeros. Al menos sabe operar los n
umeros con las
leyes de la aritmetica, conoce algunas propiedades de ellos y mnimamente
aprendio a usarlos en problemas concretos.
Sin embargo, las posibilidades de estos n
umeros no han sido explotados
en toda su amplitud, ya que ciertas propiedades esenciales no pueden ni
siquiera enunciarse, con los conocimientos que se tienen en este momento.
Otro hecho que impide hacer un uso adecuado de los n
umeros es: no
saber sus limitaciones. Es decir, que propiedades no se pueden cumplir,
ya que si se cumplieran contradiran los fundamentos de los n
umeros.
A este nivel tenemos planteado un problema: como distinguir una
propiedad esencial de otra que, aunque sea importante no es esencial.
Estas propiedades esenciales son los llamados axiomas. En lo que
sigue postularemos cierto n
umero de propiedades y trataremos de ver que
73
CAPITULO 3. NUMEROS
REALES
74
3.1. INTRODUCCION
75
(ley de tricotoma)..
CAPITULO 3. NUMEROS
REALES
76
3.2.
77
Teorema 3.2.1
i) Si a, b, c R y a + c = b + c, entonces a = b.
ii) Si a, b, c R, c = 0 y ac = bc, entonces a = b.
(Ambas proposiciones son conocidas con los nombres de ley de cancelaci
on para la suma y ley de cancelaci
on para el producto).
Debe notarse que en la primera, la ley se cumple para cualquier c R,
en cambio, en la segunda, se requiere que c = 0.
Demostracion: (de i))
i) Sea c1 R tal que c + c1
Entonces
a+c =
(a + c) + c1 =
a + (c + c1 ) =
a+0 =
a =
=0
(Axioma C6).
b+c
(b + c) + c1 (propiedad de la igualdad)
b + (c + c1 ) (ley asociativa)
b+0
(Axioma C6)
b
(Axioma C5)
ac =
(ac)c2 =
a(cc2 ) =
a1 =
a =
bc
(bc)c2
b(cc2 )
b1
b
(propiedad de la igualdad)
(ley asociativa)
(Axioma C6)
(Axioma C5).
a0
a0
a0+0
a0
= a(0 + 0)
(axioma C5)
= a 0 + a 0 a 0 + 0 = a 0 (ley distributiva y neutro aditivo)
=a0+a0
(por transitividad)
= 0
(ley de cancelacion).
CAPITULO 3. NUMEROS
REALES
78
=
=
=
=
=
a + (b + a1 )
a + (a1 + b)
(a + a1 ) + b
0+b
b
(ley conmutativa)
(ley asociativa)
(C6)
(C5)
a + x0 = a + y0
x0 = y0
(transitividad de la igualdad)
(ley de cancelacion)
=
=
=
=
a(a2 b)
(aa2 )b
1b
b
(propiedad de la igualdad)
(ley asociativa)
(C6)
(C5)
79
ax0 = b y ay0 = b
ax0 = ay0
x0 = y0
(propiedad de la igualdad)
(ley de cancelacion)
CAPITULO 3. NUMEROS
REALES
80
Definici
on 3.2.1 Si a R, a denotara al u
nico n
umero real que cumple
a + (a) = 0 y lo llamaremos el inverso aditivo de a. Si a R, a = 0,
a1 denotara al u
nico n
umero real que cumple aa1 = 1 y lo llamaremos
el inverso multiplicativo de a.
Con esta definicion, el teorema 3.2.3 puede enunciarse diciendo que el
u
nico n
umero real que satisface la relacion a + x = b es x = b + (a),
y tambien que el u
nico n
umero real que satisface la relacion ax = b con
1
a = 0 es el n
umero x = a b. En lo que sigue denotaremos ab = a+(b),
y si b = 0, ab = ab1 .
Haremos uso del teorema anterior para establecer los siguientes resultados.
Teorema 3.2.5
i) Si a R, (a) = a.
ii) Si a R y a = 0 entonces (a1 )1 = a.
Demostraci
on:
i) El n
umero (a) satisface la relacion a + x = 0. Tambien el
n
umero real a satisface la misma relacion, entonces por unicidad,
(a) = a.
ii) Si a = 0, el n
umero real (a1 )1 satisface la relacion a1 x = 1 y
tambien el n
umero real satisface la misma relacion. Por tanto, por
unicidad, a = (a1 )1 .
81
Demostracion:
i) (a + b) + [(a) + (b)] = a + (b + [(a) + (b)]) (asosiativa)
= a + (b + [(b) + (a)]) (conmutativa)
= a + ([b + (b)] + (a)) (asosiativa)
Por lo tanto
(a + b) + [(a) + (b)] = a + (0 + (a)) (propiedad del inverso)
= a + (a)
=0
Entonces [(a) + (b)] es inverso aditivo de (a + b) y por unicidad
resulta que (a + b) = (a) + (b).
ii) (ab) + (a)b = [a + (a)]b (ley distributiva)
= (0)b
(prop. del inverso aditivo)
=0
Entonces (a)b satisface ab + x = 0 y por unicidad, (a)b = (ab).
De la misma manera se demuestra el resto del teorema.
Y Ahora, . . . Los quebrados!
Teorema 3.2.7 Si a, b, c, d R, con b = 0, d = 0 y a = 0, entonces
i)
a
b
ii)
a
b
iii)
c
d
c
d
( a )1
b
ad+bc
.
bd
ac
.
bd
a1
b1
= ab .
Demostracion:
i)
a
b
c
d
= ab1 + cd1
= (ab1 ) 1 + (cd1 )1
= (ab1 )(dd1 ) + (cd1 )(bb1 )
= a(b1 dd1 ) + c(d1 bb1 )
= a(db1 d1 ) + c(bd1 b1 )
(por definicion)
(propiedad del 1)
(inv. multiplicativo)
(asocistividad)
(conmutatividad)
CAPITULO 3. NUMEROS
REALES
82
Por lo tanto
a
+ dc = (ad)(b1 d1 ) + (cb)(b1 d1 )
b
= (ad)(b1 d1 ) + (bc)(b1 d1 )
= (ad + bc)(b1 d1 )
= (ad + bc)(bd)1
= ad+bc
bd
ii)
iii)
a
b
c
d
( a )1
b
= (ab1 )(cd1 )
= a[b1 (cd1 )]
= a[(b1 c)d1 ]
= a[(cb1 )d1 ]
= a[c(b1 d1 )]
= (ac)(bd)1
= ac
bd
(asociativa)
(conmutativa)
(distributiva)
((iii) del teorema 6)
(conmutatividad)
(definicion)
(asociatividad)
(asociatividad)
(conmutatividad)
(asociatividad)
((iii) del teorema 6)
(definicion).
= (ab1 )1
(definicion)
= a1 (b1 )1 ] ((iii) del teorema 6)
= a1 b
((ii) del teorema 5)
1
= ba
(conmutatividad)
(definicion).
= ab
Raz Cuadrada
83
Para aclarar esto, veamos el siguiente resultado, que se demostrara usando algunos axiomas de orden.
Teorema 3.2.8 Sean a, b R tales que a > 0 y b > 0. Entonces: a2 = b2
si y solo si a = b.
Demostracion: Demostraremos primero que
si a > 0, b > 0 y a2 = b2 , entonces a = b.
As que sea a > 0, b > 0 y a2 = b2 . Entonces
a > 0, b > 0 y a2 b2 = 0
a > 0, b > 0 y (a b)(a + b) = 0
a > 0, b > 0 y ((a b) = 0 o (a + b) = 0)
a + b > b y b > 0 y ((a b) = 0 o (a + b) = 0)
(a + b > 0 y a + b = 0) o ((a + b) > 0 y a b = 0)
a+b>0 y ab=0
ab=0
a = b.
(comprobar igualdad)
(ver ejercicio 1)
(C5)
(contradice la tricotoma la primera parte
de la disyuncion)
ab = bb
(propiedad de la igualdad)
(transitividad de la igualdad)
CAPITULO 3. NUMEROS
REALES
84
Demostraci
on:
b, llamaremos a
si
si a > 0 a2 = aa > 0,
a < 0 a > 0 a2 = (a)2 > 0
85
a b = a b.
Demostracion:
Bastara demostrar que ( a b)2 = ab, ya que como a b es mayor
oigual
que
cero y por la unicidad de la raz cuadrada, concluiramos que
a b = a b. Para esto, ver los ejercicios 1.
Ecuaciones
En problemas concretos, la solucion de estos, depende de poder encontrar n
umeros que satisfagan cierta relacion numerica, como
por ejemplo
2
2
5 + x = 22, 3x + 548233 = x, ax + b = 0, a x + b = 0, ax2 + b = c,
donde a, b, c R.
El alumno habra reconocido en este tipo de relaciones numericas a las
llamadas proposiciones abiertas. A este tipo de proposiciones abiertas se
les llama ecuaciones. Mas exactamente, las proposiciones abiertas sobre
los n
umeros reales en las que se encuentre el smbolo de igualdad, y la
variable x operada como un n
umero real, se les llamara ecuaciones. Pero
ahora el problema frente a las ecuaciones es: Hallar todos los n
umeros
que hagan verdadera la proposicion abierta.
Entenderemos como soluci
on de la ecuaci
on, a un n
umero que haga
verdadera la proposicion abierta. Al conjunto de verdad de la proposicion
abierta, le llamaremos el conjunto soluci
on de la ecuaci
on.
Solucionar una ecuacion es hallar su conjunto solucion.
Con este nuevo lenguaje, el teorema 3.2.3 quedara enunciado como:
i) Si a, b R, existe una u
nica solucion de la ecuacion:
a+x=b
ii) Si a, b R y a = 0, existe una u
nica solucion de la ecuacion:
ax = b
A continuacion daremos algunos ejemplos de como solucionar ciertos
tipos de ecuaciones:
CAPITULO 3. NUMEROS
REALES
86
Ejemplos:
1. Sea la ecuacion
3x + 5 = x 3
veamos que:
c R es solucion de la ecuacion 3c + 5 = c 3 3c + (c) =
(5) 3 2c = 8 c = 28 = 4.
As que el conjunto solucion es: {4}.
2. Sea la ecuacion
x2 5 = 4x
c es solucion de x2 5 = 4x c2 +4c5 = 0 (c+5)(c1) = 0
c + 5 = 0 o c 1 = 0 c = 5 o c = 1
As que el conjunto solucion es: {5, 1}
3. Veamos en general una ecuacion del tipo
x2 + px + q = 0,
donde p, q R
( )2
( )
c sera solucion de ella c2 + pc + q = 0 c2 + 2 p2 c + p2
( p )2
(
)2
( )2
(
)2
( )2
+ q = 0 c + p2
= q + p2
c)+ p2
= p2
2 (
( p )2
( p )2
( p )2
q
>
0
o
q
=
0
o
q < 0 (tricotoma)
q y
2
2
2
(
)
(
)
(
)
(
)
(
)2
2
2
2
c + p2 = p2 q y p2 q > 0 o p2 q = 0 .
( )2
Note que si p2 q < 0, entonces no puede ser el cuadrado de un
n
umero real, entonces los c R que sean solucion de la ecuacion,
no existen y el conjunto solucion sera el .
Pero tambien
c+
p
p
p
>0 o c+ =0 o c+ <0
2
2
2
((
)
p 2
2
( p )2
87
a) c + > 0 o c + = 0 y
c+
= 2 q
)
(( )
(
)
2
p 2
q > 0 o p2 q = 0
y
2
( )
( )
p
p 2
p
p 2
c+ 2 =
q o sea c = 2 +
q
2
2
p
2
p
2
o bien
)
)
(
) ((
( p )2
p
p 2
b) c + 2 < 0 y c + 2 = 2 q
(( )
)
( )2
2
y p2 q > 0 o p2 q = 0
c+
p
2
( )
p 2
2
q o sea c =
p2
( )
p 2
2
Resumiendo:
I) El conjunto solucion de x2 + px + q = 0 es el conjunto vaco
( )2
p2 q < 0
II) El conjunto solucion de x2 + px + q = 0 es
{
}
( )
( )
( )2
( )2
p
p 2
p
p 2
2 +
q, 2
q p2 q > 0 o p2
2
2
q=0
4. Ahora sea la ecuacion
ax2 + bx + c = 0,
con a = 0. Entonces
d es solucion de ax2 + bx + c = 0 ad2 + bd + c = 0 (como
a = 0) a1 (ad2 + bd + c) = 0 d2 + ab d + ac = 0 d es solucion de
x2 + ab x + ac = 0.
Ahora, usando lo anterior tenemos:
CAPITULO 3. NUMEROS
REALES
88
<0
2a
a
o bien, el conjunto solucion de ax2 + bx + c = 0 es el conjunto
( )
( )
2
2
b
b
c
b
b
c
+
,
.
2
2a
a
2
2a
a
Ejercicios 1.
1. Demuestre que si a, b, c R entonces:
a) a b = (b a).
b) (a + b)(a b) a(a b) + b(b a) = 0.
c) a b = 0 a = 0 o b = 0.
d ) (a)(c d) = ad ac.
e) Si a = 0, entonces a1 = 0 y (a)1 = (a1 ).
f ) a1 = 1 a = 1.
g) (a)2 = a2 .
h) (ab)2 = a2 b2 .
( )
i) ab = (a)
=
b
a
.
(b)
j ) 11 = 1.
k ) 0 = 0.
l ) Demuestre que 0 es el u
nico real tal que a R, a + 0 = a y
que 1 es el u
nico real tal que a R, a 1 = a.
m) a > 0, b > 0, ab = ab .
a
b
ac
.
bc
o) Si b = 0, c = 0, entonces
p) Cuando
a
b
89
a
b
c
d
ad = bc.
= ab .
a)
3x
2
b)
x4
x
x1
3
= 2.
c) x1 (x 3) + x(2x1 + 5) = 9.
[ x ]1
1
= 4.
d ) (32x)
+
1
x
32x
e) (x 7)x1 + (x1 7)x = 0.
3. Halle la base de un rectangulo de altura 7cm y cuya area es el tripe
de la longitud de su permetro.
4. Un padre de familia de 22 a
nos tiene un hijo de 2. Dentro de cuanto
tiempo la edad del padre sera el triple de la del hijo?.
5. Demuestre:
CAPITULO 3. NUMEROS
REALES
90
a2 = a2
a2 a2 = a2 a2
(a a)(a + a) = a(a a)
a+a=a
a=0
3
3.3.
91
Una aclaracion, nunca una descripcion geometrica del teorema sustituira a la demostracion, pero si puede permitirnos comprender el teorema
y de ah dise
nar alguna demostracion.
Veamos el siguiente problema: 1 esta a la izquierda o a la derecha
del cero?. Esto dependera de cual de las relaciones siguientes se cumpla:
1 = 0, 1 < 0 o 1 > 0.
Sabemos por tricotoma, que solo una de ellas se cumplira, ademas por
el axioma C5, 1 = 0, as que solo alguna de las dos restantes se cumplira.
Si suponemos 1 < 0, tendremos:
1 < 0 1 + (1) < 1 (c.s)
0 < 1
Ahora bien, como 0 < 1 y suponemos que 1 < 0, entonces
1 < 0 1(1) < 0(1) (consistencias del producto)
1 < 0
Resumiendo, si 1 < 0 entonces 0 < 1 y 1 < 0 (contradice la tricotoma). Por lo tanto,
0 < 1.
As que 0 estara a la izquierda de 1. Use esta misma estructura de la
demostracion para ver que 1 < 0.
Este comentario ilustra el uso de la ley de tricotoma en demostraciones, pero ademas demuestra que existen n
umeros a la izquierda del cero
y a la derecha de cero. (1 y 1 respectivamente). As, si definimos
Definici
on 3.3.1
R+ = {x R | x > 0},
R {x R | x < 0}.
CAPITULO 3. NUMEROS
REALES
92
entonces
(consistencia del producto)
aa1 < 0 a
1<0
Esto contradice el resultado previo.
As que: Si a > 0 entonces a1 > 0.
Resta demostrar que a1 > 0 a > 0
Como a = (a1 )1 y si a1 > 0 entonces (a1 )1 > 0 (por la implicacion anterior). As que a > 0.
93
2) x, y R
2) x R y y R+
(C5)
(C5)
Recprocamente
b < a
b + b < a + b
0 < a + b
a + 0 < a + ((a) + b)
a<b
(C5)
(C5)
CAPITULO 3. NUMEROS
REALES
94
ab R+ y a < b
(ab)1 R+ y a < b
a1 b1 R+ y a < b
(a1 b1 )a < (a1 b1 )b
b1 < a1
(ver ejercicios 2)
(teorema 3.3.1)
(teorema 3.2.6)
(consistencia del producto)
entonces
(3.3.1)
(usando lo anterior)
(teorema 3.2.5)
Veamos la u
ltima serie de propiedades que nos permitiran operar desigualdades.
Teorema 3.3.3 Si a, b, c, d R, se cumple:
1. Si a < b y c < d, entonces a + c < b + d
2. Si 0 < a < b y 0 < c < d, entonces ac < bd
Demostraci
on:
1. Si a < b y c < d a + c < b + c b + c < d + b (c.s)
a+c<b+d
(transitividad)
2.
0<a<byo<c<d
ac < bc y bc < bd
ac < bd
(c.p)
(transitividad)
x2 0
95
a2 < b2 a < b,
2. b < a2 b < a o
b < a.
Demostracion:
(1) Si a = 0, (1) es trivial. Sea a = 0, es decir,
a<0
a < 0.
a< b
(teorema 3.3.4)
CAPITULO 3. NUMEROS
REALES
96
(teorema 3.3.1)
(teorema 3.3.4)
a > 0, b <a
a > 0, a
<2 b
2
(teorema 3.3.4)
(a) < ( b)
2
a <b
Como a < 0 <
b < a o b < a
a<0
2
Si
b< a y a >2 0 y b R+
b b = b < a
b<a
b
< a 2 y a < 0 y b R+
( b)2 < a2 = (a)2 , a > 0
b < a
(teorema 3.3.4)
(teorema 3.3.4)
b < a o b < a
b<a
Ahora:
b < a
0< b < a
( b)2 < a2
b < a2
(teorema 3.3.4)
0< b < a
( b)2 < (a)2
b < a2
(teorema 3.3.4)
b
a2 < b con b R+ a esta a la izquierda de
a esta a la derecha de b.
a
- b
0
b
a
- b
97
CAPITULO 3. NUMEROS
REALES
98
|x| R.
ii) x R,
|x| 0.
99
x 6 |x|
|x| 6 x
entonces
|x| 6 x 6 |x|.
lo cual resumimos en el siguiente teorema.
Teorema 3.3.7 Si x R, entonces |x| 6 x 6 |x|.
Ahora si |x| = 0,
100
CAPITULO 3. NUMEROS
REALES
101
-c
ac
Demostracion: ()
Una proposicion equivalente a la que queremos demostrar es:
(|a| c) (a c o a c).
CAPITULO 3. NUMEROS
REALES
102
es decir,
-c
a>c
103
CAPITULO 3. NUMEROS
REALES
104
x < 0.
y = 0 y > 0
y < 0.
x > 0 |x| = x
y > 0 |y| = y
|xy| = |x||y|.
xy > 0 |xy| = xy
iii)
x < 0 |x| = x
y > 0 |y| = y
|xy| = |x||y|.
xy < 0 |xy| = xy
105
Ejercicios 2.
1. Es cierto que si a = b y c < d a d < b c?
2. Es cierto que si a = b y c < d a c < b d?
3. Demuestre: no existe x R tal que si c > 0, entonces x2 + c = 0.
b) a2 = |a|.
c) |a b| = |b a|.
d ) |a2 | = |a|2 .
e) |a b| |a| + |b|
f ) ||a| |b|| |a b|.
1
g) a = 0, a1 = |a|
.
h) b = 0, ab = |a|
.
|b|
CAPITULO 3. NUMEROS
REALES
106
11. Si x, y R {0}, entonces
1
x
1
a+b
a
b
<
< a1 .
a+c
.
b
x2
,
|x2|
c)
x+2
,
|x2|
b)
x
,
|x2|
d)
1
,
|x2|
e)
x2
,
|x2|
107
CAPITULO 3. NUMEROS
REALES
108
Intervalos
Definimos aqu algunos conceptos que se emplean cotidianamente en
los cursos de calculo y que emplearemos en estas notas para simplificar
algunas notaciones.
Intuitivamente, un intervalo de n
umeros reales esta formado por todos
aquellos n
umeros reales que estan entre un par de n
umeros reales fijos,
mas precisamente:
Definici
on 3.3.4 Sean x, y R con x < y. El conjunto
A = {t R | x < t < y}
se llama intervalo abierto de n
umeros reales y se denota por
(x, y) o por ]x, y[
Posteriormente se vera que (x, y) = .
Si al conjunto A se le agragan los n
umeros x, y, al conjunto obtenido
{t R | x t y}
se le llamara intervalo cerrado y se denotara como
[x, y]
Si al conjunto A le agregamos solo un extremo, x o y. As:
{t R | x t < y} = [x, y)
{t R | x < t y} = (x, y]
se llamaran intervalos semicerrado o semiabierto.
Conjunto de n
umeros reales de la forma:
{t R | x < t},
{t R | t < y},
donde x, y son n
umeros reales fijos, se les llamara intervalos infinitos
y se denotan por:
(x, ) y (, y)
109
respectivamente.
Si se les agrega x y y, respectivamente, se obtienen los intervalos
infinitos cerrados;
[x, ) y (, y]
Con base en estas definiciones podemos dar una nueva interpretacion
de los teoremas 3.3.9 y 3.3.10.
|a| c c a c [c, c]
|a| < c c < a < c (c, c)
donde (c, c) sera el intervalo abierto, con centro en cero y radio c.
O sea que |a| < c a
Ejemplos:
3 < t < 3} = ( 3, 3).
2. {t R | t2 > 3} = {t R | t >
3 o
t > 3}
= {t R | t<
3} {t R | t > 3}
= (, 3) ( 3, ).
1. {t R | 3 > t2 } = {t R |
CAPITULO 3. NUMEROS
REALES
110
o
o
x x0 < c
x < x0 c
que como en el caso anterior, lo podemos leer de las siguientes formas, siendo todas ellas equivalentes entre si
i) Valor absoluto de x x0 mayor que c.
ii) La distancia de x a x0 es mayor que c.
iii) x esta en el intervalo (, x0 c) o (x0 + c, ).
7. Sea x0 R, c > 0 y |x x0 | < c. Como
|x| |x0 | |x x0 | |x| |x0 | < c
|x| < c + |x0 |
o sea, que si x esta en el intervalo con centro en x0 y radio c, entonces
x esta en el intervalo con centro en centro en cero y radio c + |x0 |.
8. Sea x R, c > 0 y |x x0 | < c. Como
|x0 | |x| |x0 x| = |x x0 | |x0 | |x| < c
|x0 | c < |x|
1
Si |x0 | c > 0, entonces |x|
< |x01|c .
1
Como x1 = |x|
, entonces x1 < |x01|c
111
Inecuaciones
Nos proponemos aqu, al igual que en el caso de las ecuaciones, emplear
las propiedades que hemos estudiado, para determinar el conjunto de
verdad de proposiciones abiertas como:
|x x0 | < 5,
1
< x + 1,
x2
x2 + 3 < x 1.
3
2
x + 2 < 5 + 3x
} (
)
< t = 32 , .
CAPITULO 3. NUMEROS
REALES
112
ax2 + bx + c,
k,
|ax + b|,
|ax2 + bx + c|,
ax + b
,
c1 x + d1
3 < x0 + 1 < 3
3 1 < x0 y x0 < 3 1.
113
{t R | 3 1 < t} {t R |
t < 3 1}
= (,
3 1) ( 3 1, )
= ( 3 1, 3 1)
2. Consideremos otro ejemplo de este tipo: sea la inecuacion:
3 + 3x < x2 7x + 25.
Para cada x0 R, se tiene:
2
3 < x20 10x0 + 25 3 < (x0 5)
3 + 3x0 < x20 7x0 + 25
3 < (x0 5) o (x0
5) < 3
3 + 5 < x0 o x0 < 3 + 5.
( 3 + 5, ) (, 3 + 5).
3. Un u
ltimo ejemplo de este tipo. Sea la inecuacion
2x 28 < x20 + 8x.
Sean x0 R. Entonces:
2x0 28 < x20 + 8x0 28 < x20 + 10x0
28 + 25 < x20 + 10x0 + 25
3 < (x0 + 5)2
Aqu no es aplicable el teorema 3.3.5 ya que 3 < 0, pero como el
cuadrado de cualquier n
umero real es mayor o igual que cero, para
toda x R, 3 < 0 (x + 5)2 . Por lo tanto, el conjunto solucion
es R.
III. Inecuaciones que involucran el valor absoluto.
Para solucionar este tipo de inecuaciones usaremos los teoremas 3.3.10
y 3.3.12.
Afirmamos que apoyandonos en estos teoremas, la solucion de inecuaciones que involucran valor absoluto, se reduce a resolver inecuaciones del
CAPITULO 3. NUMEROS
REALES
114
tipo que ya hemos estudiado.
1
4
<x<
3
4
2
7
<
30
12 < 5x 53 < 12 53
7 13
x < 13
x ( 30
, 30 ).
30
1
2
< 5x <
5
3
1
2
7
6
<
115
De donde las x que satisfacen que 5x( esta )en el intervalo abierto
7 13
con centro en 53 y radio 12 son las x 30
, 30 .
3. Encontrar x R tal que la distancia de x2 a 4 sea menor que 14 .
Como en el ejemplo (1) aplicando el inciso (I) tenemos que x0 = 4
y r = 14 , y lo que deseamos resolver es la inecuacion |x2 4| < 14 .
Aplicando el teorema 3.3.10, se tiene que: |x2 4| <
< x2 < 17
17
4
15
2
17
.
2
Ahora
si x 0, |x| = x, entonces
17
.
2
Y si x < 0, |x| = x, entonces
215 .
15
2
15
2
17
2
17
2
1
14
4
15 < |x|
4
<
<
15
2
<x<
17
2
<x<
9
9
9
82
.
3
Y si
CAPITULO 3. NUMEROS
REALES
116
1
4
|4x 2| < 1
15
2
)
17
, 215 .
2
117
As que, tomando
+ 2 y r2 = 2 +
17
2
tenemos que
CAPITULO 3. NUMEROS
REALES
118
)
(
as que el conjunto solucion es (, 8) , 23 = (, 8)
10. Resolvamos la inecuacion |x2 5x + 6| < 2x + 1.
Si x0 R,
|x20 5x0 + 6| < 2x0 + 1 (2x0 + 1) < x20 5x0 + 6 < 2x0 + 1
7 < x20 3x0
(
(
x0
)
7 2
2
x0
7
2
x0
7
2
)
)
<
29
4
9
4
29
2
x0
x0 <
29
2
<
29
2
)
7 2
2
<
49
4
49
4
< 5
29
4
(
)2
(la desigualdad 19
< x0 32
4
se cumple para todo real x0 )
<
y x20 7x20 +
(1
(7
2
1
2
< x0
(
7+
7
2
)
29
)
29), 21 (7 + 29) .
3x+1
x2 1
119
< 8.
Sean x0 R. Entonces
3x0 +1
x20 1
<8
3x0 +1
x20 1
3x0 +1
x20 1
<8y
x20
) (
)
3x0 +1
2
1 < 0 o x2 1 < 8 y x0 1 > 0
0
(
o
3x0 +1
x20 1
3x0 +1
x20 1
<8y
x20
1=0
) (
)
2
0 +1
< 8 y x20 1 < 0 o 3x
<
8
y
x
1
>
0
2
0
x 1
0
3x0 +1
x20 1
{t R | t < 8} y x20 1 = 0
es una contradiccion)
Ejercicios 3.
1. Es (1, 2) (3, 5) un intervalo?
2. Demuestre que
a) Si x [2, 4], entonces 2x + 3 [7, 11].
CAPITULO 3. NUMEROS
REALES
120
b) Si x (2, 4), entonces
1
2x+3
[1
11
1
7
]
.
3x2
< 4.
x+1
2
4
< 1x
.
14x
121
3.4.
a x0
(2) Diremos que A esta acotado superiormente si existe una cota superior
de A.
CAPITULO 3. NUMEROS
REALES
122
Ejemplos:
123
Definici
on 3.4.2 Sea A R y x0 R. Diremos que x0 es un supremo
de A, si se cumplen
s1 ) x0 es cota superior de A.
s2 ) Si m es cota superior de A, entonces x0 m.
Entonces un supremo del conjunto A es una cota superior con la propiedad adicional s2 ). Esto nos permite demostrar su unicidad, es decir,
que en contraste con el concepto de cota superior un conjunto A puede
tener a lo mas un supremo.
Teorema 3.4.1 Sea A R y x0 , y0 supremos de A. Entonces x0 = y0 .
Demostracion: Que x0 y y0 sean supremos de A significa que ambos
satisfacen s1 ) y s2 ). As, como x0 satisface s1 ) y y0 satisface s2 ), y0 x0 ;
pero, como y0 satisface s1 ), x0 y0 . Por consiguiente x0 = y0 .
Entonces, si un conjunto A tiene un supremo x0 , ya le podemos llamar
el supremo de A (con el artculo determinado el) y representarlo de
cierta forma:
La preposicion x0 es el supremos d Ase denotara x0 = sup A. En
algunos libros suelen referirse al supremo como la mnima cota superior.
En particular, en los de habla inglesa, el supremo de A es The least upper
bound of A y se denota por lub A.
Como veremos en secciones posteriores, hay muchos campos ordenados, es decir, conjuntos que, con una suma y un producto, y con una
relacion de orden, satisfacen axiomas como los de campo y de orden que
se cumplen para R. Por ejemplo, el conjunto de los n
umeros racionales
(que se estudiara en la seccion 3.6), con su suma, producto y orden usuales, es un campo ordenado; pero en dicho campo (y en muchos otros) no
se cumple que todo subconjunto no vaco del campo, que este acotado superiormente, tiene un supremo. Esto significa que el axioma del supremo
no es una propiedad que pueda demostrarse a partir de los axiomas de
campo y de orden. Si queremos que esta propiedad la cumplan los reales
CAPITULO 3. NUMEROS
REALES
124
125
126
CAPITULO 3. NUMEROS
REALES
127
128
CAPITULO 3. NUMEROS
REALES
a0 = sup B a a0
a A
a0 a a A
ii) Supongamos que y0 es cota inferior de A tal que a0 < y0 como
y0 es cota inferior de A, y0 a a A a y0 y0
es cota superior de A = {a|a A} y y0 < a0 lo cual es una
contradiccion.
a0 = nf A.
129
a A :
|a a0 | < r
Demostracion: Ejercicio.
Este resultado lo podemos interpretar de la siguiente forma:
Si a0 es el nfimo de A, entonces cualquier intervalo abierto con centro
en a0 y radio r, hay elementos de A.
Existe el concepto simetrico al concepto de maximo de un conjunto.
Definici
on 3.4.6 Sea A R y a0 R diremos que a0 es un mnimo de
A si se cumplen
m1 ) a0 es una cota inferior de A
m2 ) a 0 A
Por supuesto en este caso tambien hay unicidad: si un conjunto A
tiene un mnimo, este es el u
nico n
umero real que satisface m1 ) y m2 ).
Por eso se habla de el mnimo de A y la proposicion a0 es el mnimo
de A se representa como: a0 = mn A
Teorema 3.4.9 Sea A R, A = y x0 = mn A, entonces
nf (A) = x0 .
Demostracion: Ejercicio.
como se vera en los ejercicios, un conjunto puede tener un nfimo y no
tener mnimo, as que estos dos conceptos son diferentes.
Una u
ltima definicion.
Definici
on 3.4.7 Sea A R. Decimos que A es acotado si y solo si A
es acotado superior e inferiormente.
130
CAPITULO 3. NUMEROS
REALES
Ejercicios 4.
1. Cual es el maximo de (2, 3) {4}? Cual es el supremo?
2. Demuestre que si A R, x0 es una cota superior de A y y > x0 ,
entonces y tambien es una cota superior de A.
3. Sean I, J dos intervalos tales que I J = .
(a) Probar que I J es un intervalo que s tiene mas de un punto.
(b) De un ejemplo que muestre que I J puede ser un conjunto de
un solo punto.
(c) Suponga que I y J son intervalos abiertos y acotados. Probar
que I J es un intervalo abierto acotado.
(d) Dar un ejemplo de intervalos semi-abiertos I y J tales que I J
sea un intervalo cerrado.
4. Sean A = (a, b) y B = [a, b], donde a < b. Demuestre que a =
nf A = nf B.
5. Si sup A = sup B e nf A = nf B. Es cierto que A = B?
6. Si sup A = nf A. Que puede decir acerca del conjunto A?
7. Si A = y acotado tal que nf A > 0, entonces pruebe que sup{ a1 :
A} = nf1A
8. Demuestre que el nfimo de un conjunto A no necesariamente es un
elemento del conjunto A (De un ejemplo).
9. Demuestre que el nfimo de un conjunto de cotas inferiores de es
R, pero no tiene nfimo.
10. Tiene mnimo un conjunto finito? Cual sera?
11. Pruebe que 0 = sup R , pero que R no tiene nfimo.
12. Compruebe que R+ no tiene supremo tiene nfimo?
131
CAPITULO 3. NUMEROS
REALES
132
25. Demuestre el Teorema 3.4.9
3.5. LOS NUMEROS
NATURALES
133
3.5.
Los n
umeros Naturales
CAPITULO 3. NUMEROS
REALES
134
de nuestro sistema axiomatico.
x A x + 1 A.
Otros ejemplos de conjuntos inductivos son R, R+ {0}, {1, 1.5, 2, 2.5, 3, 3.5, . . .},
todo intervalo de la forma [a, ) con a 1, y otros mas.
Observemos que si A es inductivo, A tiene a 1 como elemento, por la
propiedad a) y, por la propiedad b), tiene a 2 (= 1 + 1), a 3, a 4, etc.,
es decir, contiene al conjunto {1, 2, 3, . . .}. Esto nos lleva a la siguiente
definicion.
Definici
on 3.5.2 El conjunto
N = {x R | x es elemento de cualquier conjunto inductivo }
se llama el conjunto de N
umeros Naturales.
Veamos cuanto antes que esta definicion formal no nos hace perder las
propiedades a) y b) de la definicion de conjunto inductivo.
3.5. LOS NUMEROS
NATURALES
135
Teorema 3.5.1
1. N es inductivo.
2. Si A es inductivo, N A.
Demostracion:
1. Como 1 es elemento de todo conjunto inductivo, 1 N.
Ahora probaremos que x R : x N x + 1 N.
Sea x R. x N x es elemento de cualquier conjunto inductivo
y esto implica que x+1 es elemento de cualquier conjunto inductivo,
es decir, x + 1 N. Por lo tanto N es inductivo.
2. Por definicion de N.
En una sola frase este teorema dice: N es el conjunto inductivo mas
peque
no. Un primer corolario es:
Corolario 3.5.2 n N :
n 1.
Demostracion:
Como [1, ] es inductivo, N [1, ).
Otro corolario, casi igual de simple, pero de capital importancia es
este:
n Matema
tica)
Corolario 3.5.3 (Principio de Induccio
Si A N y A es inductivo, entonces A = N .
Demostracion:
Como A es inductivo, N A pero, por hipotesis, A N. Por consiguiente A = N.
El valor de este principio estriba basicamente en que nos dota de un
metodo para demostrar que ciertas propiedades son satisfechas por
CAPITULO 3. NUMEROS
REALES
136
todos los n
umeros naturales. El metodo puede resumirse del siguiente modo:
Sea P (n) una propiedad de la que tiene sentido preguntarse si la cumplen
o no los n
umeros naturales (o sea, una proposicion abierta en N). Para
demostrar que es verdadera la proposicion
n N :
P (n),
P (n) es verdadera
es verdadera.
Debemos observar que este es un metodo para deducir y no para inducir. Su mal puesto nombre de induccion se debe quiza a que muchas
proposiciones del tipo n N : P (n) son conjeturadas por los matematicos mediante alg
un razonamiento inductivo, de esos que sirven para
engendrar sentencias generales a partir de unos cuantos casos particulares.
Un ejemplo tpico es el siguiente:
De la observacion de que:
1+2=3
23
2
1+2+3=6
34
2
1 + 2 + 3 + 4 = 10
45
2
1 + 2 + 3 + 4 + 5 = 15
56
2
1 + 2 + 3 + 4 + 5 + 6 = 21
67
,
2
3.5. LOS NUMEROS
NATURALES
137
se conjetura que
n N :
1 + 2 + 3 + + n =
n(n + 1)
2
(3.1)
n(n + 1)
2
(3.2)
CAPITULO 3. NUMEROS
REALES
138
Teorema 3.5.4
1. m, n N :
m + n N.
2. m, n N :
mn N.
Demostraci
on:
1. La proposicion m, n N :
m + n N es en realidad esta
m N : ( n N : m + n N).
Para probar que es cierta, sea m N y demostremos, usando el
principio de induccion matematica que
n N : m + n N.
Sea A = {n N | m + n N}. Probaremos que A es inductivo:
a) 1 A dado que como m N y N es inductivo, m + 1 N.
Ahora hay que demostrar:
b) n R : n A n + 1 A.
Sea pues n R. Entonces
nA
m + n N (m + n) + 1 N
m + (n + 1) N n + 1 A.
3.5. LOS NUMEROS
NATURALES
139
1 < m < 2.
2. m N :
m > 1 m 2.
3. m N :
m 2 r N : 1 + r = m.
4. m N :
m 2 m 1 N.
Demostracion:
1. Si existiera n N tal que 1 < n < 2 entonces n = 1 y por el teorema
3.5.5 r N : n = r + 1. As que:
1<n<21<r+1<20<r <1
lo que contradice al corolario 3.5.2 del teorema 3.5.1, pues r N.
Para (2), (3) y (4) vea los ejercicios al final de la seccion.
Teorema 3.5.7 n N :
no existe m N :
n < m < n + 1.
140
CAPITULO 3. NUMEROS
REALES
3.5. LOS NUMEROS
NATURALES
141
R : = sup N
1 no es cota superior de N
n N : 1 < n
n+1N
<n+1
no es cota superior de N,
lo cual es falso.
Corolario 3.5.10 (Propiedad Arquimediana o Principio de Arquimedes). Si a, b R y a > 0, existe n N tal que na > b (o sea, tal
que |a + a + a{z+ + a} > b).
nveces
Demostracion:
Por el teorema 3.5.9, ab no es cota superior de N, por lo que existe
n N tal que n > ab . As, na > b.
142
CAPITULO 3. NUMEROS
REALES
3.5. LOS NUMEROS
NATURALES
143
Ejercicios 5.
1. Demuestre que R+ , (3, ) y todo intervalo de la forma [a, ] con
a 1, son inductivos.
2. Si A y B son inductivos, pruebe que AB tambien lo es. Que puede
decir de A B?
3. Pruebe que A = {n N | 1 2n+2 + 2 3n+1 4n+1 + 5n = 0} no es
inductivo. (Sugerencia: 4 A?)
4. Demuestre (2) del teorema 3.5.4.
5. Demuestre (2), (3) y (4) del corolario del teorema 3.5.5.
6. Use el principio de induccion matematica para demostrar que
n N : m N : n < m r N : n + r = m.
(Sugerencia: Pruebe que es inductivo el conjunto
B = {n N | m N : n < m r N : n + r = m})
7. Demuestre que n, m N : (n < m m n N). (Sugerencia:
Use el ejercicio 6)
8. Pruebe el teorema 3.5.8
9. Demuestre que todo subconjunto no vaco de N acotado superiormente, tiene maximo.
CAPITULO 3. NUMEROS
REALES
144
n(n+1)
.
2
=
=
=
=
1
(1 + 2)
1+2+3
(1 + 2 + 3 + 4).
12 + 22 + + n2
1 + 2 + + n
para n = 1, 2, 3, 4, 5, 6.
Conjeture una formula para este cociente.
Usando el problema (9), obtenga una formula para 12 + 22 + + n2
y pruebela. (Sugerencia: 12 + 22 + + n2 = n(n+1)(2n+1)
)
6
13. Hallar el error en la siguiente prueba por induccion de que cualesquiera n muchachas tienen ojos del mismo color.
Sea P (n) : Si m1 , m2 , . . . , mn son n muchachas, entonces m1 , m2 , . . . , mn
tienen ojos del mismo colos.
P (1) es obviamente cierta. Sea n N tal que P (n) es cierta. Para
probar P (n + 1) sean m1 , m2 , . . . , mn+1 cualesquiera n + 1 muchachas. Como se vale P (n), m1 , . . . , mn tienen el mismo color de ojos
entre s y m2 , . . . , mn+1 tambien. Por consiguiente todas tienen el
mismo color de ojos.
As que n N : P (n) P (n + 1). Por consiguiente
n N : P (n).
3.5. LOS NUMEROS
NATURALES
145
1
n
CAPITULO 3. NUMEROS
REALES
146
3.6.
N
umeros Enteros, Racionales e
Irracionales
No solo los n
umeros naturales son introducidos en la primera ense
nanza, sino tambien los horrendos quebrados o fracciones positivas, una tenebrosa nocion del cero mas bien relacionada con la calificacion y nada
de los n
umeros negativos. Toca a estos u
ltimos convertirse en poderosos
refuerzos de la personalidad del estudiante de secundaria en tanto le permiten restar cualesquiera dos n
umeros naturales en el orden que sea, y
retar al hermano menor:
A ver, Benjamn, cuanto es 83 100?
Ah?, pues no se puede.
Claro que s, tontito; es 17.
Dos posibles reacciones puede tener Benjamn; una envidia hacia su
sabio hermano Delfn o la fuerte sensacion de que su hermano mayor se
halla bajo los efectos de una buena dosis de cannabis o, lo que es lo mismo,
de que esta chiflado.
Como en el currculum usual, en el de la humanidad aparecieron antes las fracciones positivas que los n
umeros negativos. Aquellas ya las
conocan los egipcios desde mucho antes de Cristo; los negativos no vinieron a ser incorporados sino hasta 1545, con la publicacion del Ars
Magna de Girolamo Cardano.
A continuacion les presentamos a ustedes lo mas basico de estos conjuntos de n
umeros: los enteros y los racionales (fracciones positivas y
negativas).
Definici
on 3.6.1
a) N = {n | n N}.
b) Al conjunto Z = N {0} N se le llama conjunto de n
umeros
enteros.
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
147
(a, a + 1) Z = .
a = b [a, a + 1) [b, b + 1) = .
148
CAPITULO 3. NUMEROS
REALES
i) Si a > 0, entonces a N y en el teorema 3.5.7 se probo que
(a, a + 1) N = . Pero como a > 0, (a, a = (N {0}) =
y por eso (a, a + 1) Z = .
ii) Si a = 0, (a, a + 1) = (0, 1) y es claro que (0, 1) N = .
(0, 1)N = y que 0
/ (0, 1) y es por esto que (0, 1Z) = .
iii) Si a < 0 es ejercicio (ver ejercicio 3).
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
149
(3.3)
150
CAPITULO 3. NUMEROS
REALES
Definici
on 3.6.4 Sean a, b enteros con b = 0. Se dice que b divide a a
si el cociente ab es un entero, es decir, si existe un entero c tal que a = bc.
A la proposicion b divide a a se le denota por b|a y a la proposicion b
no divide a a se le denota por b |a.
Otras formas muy usadas para decir que b divide a a, son
i) a es divisible entre b.
ii) a es m
ultiplo de b.
iii) b es divisor de a.
Nota: No confundir a|b con ab . Por eso rogamos que para decir que a divide
a b, ponga el palito bien parado y para dividir a entre b, bien acostado.
Ejemplos: 3|63, 2|6, 2| 6, 9|414, 9| 414, 3| 15, etc.
Enunciemos algunas propiedades del concepto de divisibilidad.
Teorema 3.6.4 Sean a, b, c, u, v enteros. Entonces:
1. a|a y a|a,
2. a|b y b|c a|c,
3. a|b y a|c a|b + c y a|b c,
4. a|b ac|bc,
5. a|ab,
6. a|b y a|c a|ub + vc,
7. a|0, 1|a y 1|a,
8. a|1 a = 1 o a = 1,
9. a|b y b|a a = b o a = b,
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
151
a|ub y a|vc
(3)
a|uv + vc
8. a|1 c Z : 1 = a c 1 = |a||c| con |a| y |c| en N. Pero |c|
1
N |c| 1 |c|
1 |a| 1 y |a| N y 0 < |a| 1 |a| = 1.
9. a|b c1 Z tal que b = a a1 y b|a c2 Z tal que a = b c2 .
Por lo tanto se tiene que a = bc2 = a(c1 c2 ) y como a = 0, c1 c2 = 1,
es decir, c1 |1 y por (8) c1 = 1 o c1 = 1 de donde obtenemos que
b = a o b = a.
10. b|a c Z : a = bc |a| = |b||c| y como |a| = 0, |c| =
0 y por
lo tanto |c| 1, es decir |a| |b|.
Teorema 3.6.5 Si a, b Z con b = 0 entonces
b|a |b| | |a|.
Demostracion:
b|a c Z : a = bc |a| = |b||c| con |c| Z |b| | |a|.
Ahora bien, |b| | |a|, existe c Z tal que |a| = |b|c. Si a = 0, entonces
a
,
b|a por (7) del teorema 3.6.4. Si a = 0, entonces c > 0 y |b| = |a|
=
c
c
a
a
de donde c = b o c = b. De aqu: a = bc o a = b(c). En cualquier caso
b|a.
Basandose en este teorema, bastara limitarse en adelante a la divisibilidad de enteros no negativos. Pero en aras de la claridad, cuando esto
hagamos, lo diremos explcitamente.
152
CAPITULO 3. NUMEROS
REALES
Definici
on 3.6.5
a) Si a, b Z {0}, se dice que un entero c es un multiplo com
un de
a y de b si a|c y b|c.
b) Si a Z {0} y b, c Z se dice que a es un divisor com
un de b y c
si a|b y a|c.
Algunas propiedades relacionadas con estos conceptos son presentadas
en los siguientes dos teoremas.
Teorema 3.6.6 Si a, b Z {0}, existe un u
nico natural M tal que
i) M es m
ultiplo com
un de a y b.
ii) Si c es multiplo com
un de a y b entonces M |c.
Demostraci
on: Sean a, b Z {0} y sea A = {n N | a|n y b|n}. Por (5)
del teorema 3.6.4 y por el teorema 3.6.5 |ab| A, as que por el principio
del buen orden, existe M = mn A. Por lo tanto M N y se cumple i)
pues M A.
[ ]
Para probar ii), sea c un m
ultiplo com
un de a y b y sea k = Mc .
Entonces k Mc + 1 y de aqu que kM c < (k + 1)M . Por lo tanto
c kM 0
(3.4)
c (k + 1)M < 0.
(3.5)
y
Si ckM > 0 entonces ckM A ya que ckM N y es m
ultiplo com
un
de a y b (por 3) del teorema 3.6.4 pues c y kM son m
ultiplos de a y b. Por
lo tanto, como M = mn A, M c kM y entonces c (k + 1)M 0,
lo que contradice a (3.5). Como se vale (3.4) concluimos que c kM = 0
y con ello que c = kM , es decir, M |c. La unicidad se tiene por (10) del
teorema 3.6.4 y es un ejercicio para el lector.
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
153
Definici
on 3.6.6 Si a, b Z {0}, al u
nico natural M que satisface i)
y ii) del teorema anterior, se le llama el mnimo com
un multiplo de a
y b y lo denotaremos por m.c.m. (a, b).
Teorema 3.6.7 Si a, b Z {0} y M = m.c.m. (a, b), entonces el
ab
n
umero d = M
es siempre un divisor com
un de a y b.
ab
Demostracion: d es entero, ya que M |b por el teorema anterior. d = M
M
M
dM
M
b = d a con a Z. Por eso d|b. Tambien a = b con b Z y por eso
d|a.
CAPITULO 3. NUMEROS
REALES
154
420
210
105
35
7
1
2
2
3
5
7
75 3
25 5
5 5
1
As 420 = 22 3 5 7 y 75 = 3 52 .
Una vez desnudados estos n
umeros en sus factores primos, podemos
formar un n
umero con cada uno de los primos que aparecen en ambas
descomposiciones y elevando al mayor exponente con el que se presente.
En este caso sera el n
umero
22 3 52 7 = 2100
Este es el mnimo com
un multiplo de 420 y 75. Compruebelo por favor!
Lo que podemos cuestionar ahora que estamos en La Universidad
es si todo n
umero natural mayor que 1 puede representarse en forma de
un producto de n
umeros primos, y mas a
un, si la expresion de un n
umero como producto de primos es u
nico. La respuesta a ambas preguntas
es afirmativa y su enunciado constituye el teorema fundamental de la
aritmetica.
tica)
Teorema 3.6.8 (Teorema Fundamental de la Aritme
Supongamos que a N y a > 1. Entonces:
1. (Existencia). Existe un n
umero finito de n
umeros primos, no necesariamente diferentes, digamos P1 , P2 , . . . , Pn tales que
a = P1 P2 Pn
()
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
155
Demostracion:
1. Sea
A = {n N | n > 1
(3.6)
pa
(3.6)
pa = m ab = npa b = np p|b.
m
CAPITULO 3. NUMEROS
REALES
156
(3.8)
(3.10)
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
157
2. 360 = 2 2 2 3 3 5 = 23 32 5.
3. 1400 = 2 2 2 5 5 7 = 23 52 7.
4. 98000 = 2 2 5 7 5 2 = 24 53 72 .
Hemos visto ya algunas propiedades de Z y de Q. En los ejercicio y en
la siguiente seccion podran conocer otras propiedades, pero no queremos
abandonar esta seccion sin hacer el siguiente comentario.
Q satisface la propiedad de densidad, o sea que hay racionales por
doquier. Q es un campo, como mencionamos antes del teorema 3.6.1.
Como Q R, tambien es facil convencerse de que
1. x, y Q una y solo una de las afirmaciones siguientes se cumplen:
x < y, x = y, x > y.
2. x, y, z Q : x < y y < z x < z.
3. x, y, z Q : x < y x + z < y + z.
4. x, y, z Q : x < y z > 0 xz < yz.
es decir, que si estuvieramos estudiando solamente n
umeros racionales en
vez de todos lo reales, de todos modos contaramos con las importantes
propiedades de orden y campo y todas sus consecuencias.
Tal vez algunos de ustedes (ojala!) ya se hayan hecho la pregunta
de si en Q se valdra tambien una proposicion que hiciera las veces del
axioma del supremos en R, es decir:
Si A Q, A = y A es acotado superiormente,
CAPITULO 3. NUMEROS
REALES
158
2
2
1
2
y con ello
1
1
1
=
2
2
(1 h)
1 2h + h
1 2h
y por eso
ah
)2
2
1 2h
(3.12)
1
2
2
2
2
2
1 2h > 2
2
(3.12) ( )2
ah < 2.
2h < 1
2
12h
<2
Por lo tanto
A y
1h
1
> (pues
> 1).
1h
1h
2
2
2
1
>
1
>
1
> 0.
2
2
2
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
Sea h Q tal que 0 < h <
1 > 1 h > 0. Por lo tanto
1
2
2
2
159
1
2
2
2
2h < 1 22
1 2h > 22
2 (1 2h) > 2 ((1 h))2 > 2.
Sin embargo (1h) < y como = sup A, x A tal que (1h) <
x ((a h))2 < x2 < 2. Por lo tanto ((1 h))2 > 2 y
((1 h))2 < 2 y esto es super falso.
c) Supongamos que 2 = 2. Como estamos suponiendo Q existen
a, b N tales que = ab , es decir,
2=
a2
.
b2
(3.13)
1
1
2 = 2 2b2 = 1 b2 |1 b = 1.
b
b
b = q1 . . . qt
y por (3.13)
2(q1 . . . qt )(q1 . . . qt ) = (p1 . . . ps )(p1 . . . ps ).
El lado izquierdo y el lado derecho son factores primos del mismo
n
umero y por el teorema de factorizacion u
nica debera contar con el
mismo n
umero de factores primos, lo cual no se cumple pues del lado
derecho hay un n
umero par de factores primos (2s) y del lado izquierdo
un n
umero impar (2t + 1 por culpa del 2). Esta contradiccion prueba
que es falso que 2 = 2.
160
CAPITULO 3. NUMEROS
REALES
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
161
tentos con los estigmas causados por su ira en Hipasso de Metaponto, dos
fuertes hombres lo echaron a un estanque repleto de pira
nas hambrientas,
muriendo Hipasso inmediatamente . . . o antes.
Como era de esperarse, el descubrimiento de la existencia del n
umero
irracional, constituyo una seria conmocion para la escuela Pitagorica y
se cree que contribuyo a su destruccion. A partir del momento en que
se descubrieron los irracionales, los griegos se apartaron de los n
umeros
y dedicaron su atencion a las lneas y superficies, entre las cuales no se
suscitaban esas dificultades logicas. El resultado fue el desarrollo de una
geometra de las medidas que es tal vez la principal aportacion de los
griegos a las matematicas.
Ejercicios 6.
1. Demuestre que a, b Z; a + b Z, a b Z y a b Z.
2. Pruebe que r, s Q; r + s Q, r s Q, y si s = 0,
r
s
Q.
CAPITULO 3. NUMEROS
REALES
162
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
163
4400 = 24 52 11
CAPITULO 3. NUMEROS
REALES
164
d ) 22 33 5 y 24 3 52 73 .
e) 24 35 52 11 y 25 36 54 7112 .
1 3 7
, , .
14 20 72
1
, 3 , 1 .
200 500 700
iii)
iv)
1 1 1 1
, , , .
32 24 14 20
1
, 1 , 1 , 1 .
400 600 900 800
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
165
21. Definici
on 3.6.10 Sean a y b enteros no cero al mismo tiempo. Si
m.c.m. (a, b) = 1, se dice que a y b son primos relativos.
a) Pruebe que a y b son primos relativos si y solo si no tienen
divisores comunes distintos de 1 y 1.
b) Pruebe que si m.c.d. (a, b) = 1 y a|bc entonces a|c. (Sugerencia:
Sea m = m.c.m. (a, b) entonces m = ab por el ejercicio 15. Pero
m|bc y . . . , etc., etc., etc.,).
c) Pruebe que si r Q a, b Z : r =
relativos.
a
b
con a y b primos
22. Definici
on 3.6.11 Un n
umero entero es par si es divisible entre 2
y es impar o non si no es divisible entre 2.
a) Pruebe que si a Z entonces a es par a2 es par.
Supongamos que 2 Q
n, m N tales que 2 = m
y (m, n) = 1
n
2
2
2n = m
m es par y 2n2 = m2
a N : m = 2a y 2n2 = 4a2
m es par y n2 = 2a2
m es par y n es par
y esto es una contradiccion al hecho de que (m, n) = 1.
23.
b) Demuestre que si n N, n Z o n
/ Q.
(Sugerencia: Si n Q pero n
/ Z, exprese n como ab
donde a, b Z, b = 1 y m.c.d. (a, b) = 1. Use (a) para llegar a
una contradiccion).
166
CAPITULO 3. NUMEROS
REALES
a
n = y b > 1.
b
Sea m0 = mn A, donde
{
}
l
A = m N| m > 1 y l Z : n =
.
m
[ ]
ntl
n = ml 0 = ltm
.
0
24.
25. Ahora s, pruebe que 2 existe, es decir, que existe R tal que
0 y 2 = 2.
(Sugerencia: Sea B = {x R | x > 0 y x2 < 2}. Demuestre que
B tiene supremo. Sea = sup B; pruebe que 2 = 2. Le pueden ser
u
tiles muchsimas ideas de la prueba de que = sup{x R | x >
0 y x2 < 2}, ver paginas 157 y 158).
26. Eval
ue la validez de la demostracion del siguiente resultado.
Si x R Q y y Q, entonces z = x y R Q.
Demostracion: Supongamos que la conclusion no es cierta, es decir,
que z = x y Q, entonces existen a, b Z con b = 0 tales que
3.6. NUMEROS
ENTEROS, RACIONALES E IRRACIONALES
167
c a
ad + bc
2=x=y+z = + =
d b
bd
como ad + bc y bd son enteros con bd = 0, se sigue que
cual es una contradiccion.
2 Q, lo
m
n
t
n =
Se define para a R+ y t = m
Q
a
=
a
am .
n
m
(a) Pruebe que n am = ( n a) .
(b) Pruebe las leyes de los exponentes racionales:
Para a, b R+ y t, s Q.
i) at as = at+s .
ii) (at )s = ats .
iii) (ab)s = as + bs .
28. (a) Demuestre que si a es un n
umero compuesto,
tiene por lo menos
CAPITULO 3. NUMEROS
REALES
168
3.7.
Representaci
on a-naria
(con el gui
on por favor)
Cuando dividimos un n
umero entero a entre otro entero b distinto de
cero, el resultado, como ya hemos mencionado, puede no ser un n
umero
A-NARIA
3.7. REPRESENTACION
169
entero, pero siempre es factible efectuar una division con residuo como la que hacamos en la primaria para obtener un cociente y un residuo:
c
b| a.
r
Hay veces en que conocer el cociente es importante, como cuando dividimos a manzanas entre b personas, pero tambien hay situaciones en las
que el residuo es mas importante que el cociente. Supongamos, por ejemplo, que queremos saber que da de la semana sera el primero de Enero
del a
no 2000. Es facil enterarse por el calendario que el primero de Enero
de 1995 cayo en Domingo. Los cinco a
nos que separan ambas fechas
estan formadas por 5.365 + 1 das (el 1 es porque 1996 sera a
no bisiesto),
260
(
)
7
|
1826
o sea 1862 das, los cuales forman 260 semanas y 6 das
.
42
06
Al cabo de las 260 semanas volvera a ser Domingo y, con los 6 das mas,
el primero de Enero del a
no 2000 sera sabado. Es evidente que para resolver el problema no tiene importancia precisamente cuantas semanas
completas transcurrieron en 5 a
nos y solo nos interesa la cantidad de das
restantes despues de estas semanas.
A continuacion enunciaremos (y demostraremos) la posibilidad de
efectuar la division con residuo o division completa entre dos enteros, como un teorema importante. Esta seccion viene a ser en realidad
un estudio de dicho teorema y de algunas de sus mas interesantes consecuencias.
n (con residuo)
Teorema 3.7.1 Algoritmo de la Divisio
Sean a y b enteros, con b = 0. Entonces existen enteros u
nicos c, r tales
que
a = bc + r
y
0 r < |b|.
Demostracion: Sean a, b Z y b = 0. Probaremos primero la existencia
de c y r.
CAPITULO 3. NUMEROS
REALES
170
[a]
. Entonces
b
a
< c + 1 bc a < bc + b.
b
con
0 r < b = |b|.
a = bc + r y 0 r < |b|
a = bc + r y 0 r < |b|
(3.14)
(3.15)
Por 3.14 y 3.15, 0 6 r < |b| y |b| < r 6 0, as que |b| < r r < |b|
y por lo tanto |r r < |b|. Pero bc + r = bc + r (c c ) = r r
|b||cc | = |r r|, as que |b||cc | < |b| y por consiguiente 0 6 |cc | < 1.
Como |c c | Z, |c c | = 0 (por Teorema 3.6.1), o sea, c = c . De 3.14
y 3.15 se concluye que tambien r = r .
Definici
on 3.7.1 Si a y b son enteros, b = 0 y c y r son los u
nicos enteros
tales que a = bc + r con 0 6 r < |b|, entonces c se llama el cociente y r
el residuo que se obtienen al dividir a entre b.
Ejemplos:
1. Si a = 17 y b = 5, 17 = 5 3 + 2, as 3 es el cociente y 2 es el
residuo que se obtienen al dividir 17 entre 5.
[
]
2. Si a = 17 y b = 5, 17
= 4 y entonces 17 = 5(4) + 3.
5
A-NARIA
3.7. REPRESENTACION
171
3. Si a = 17 y b = 5, 17 = (5)(3) + 2.
4. Si a = 17 y b = 5, 17 = (5) 4 + 3.
5. Si b|a entonces existe c Z tal que a = bc. Por la unicidad en el
teorema 3.7.1, esta ya es la descomposicion de a al dividirlo con
residuo entre b. En este caso el residio es 0.
6. Si a = 4 y b = 21, entonces 4 = 0 21 + 4.
Observemos que para aplicar el algoritmo de la division a dos enteros
a y b o, mas explcitamente, para dividir con residuo a entre b, no es
necesario que a sea mayor que b. Otro hecho que debemos subrayar y que
se muestra en la demostracion del algoritmo es que, [cuando
b es positivo,
]
el cociente que dividir a entre b, es precisamente ab , el mayor entero
menor o igual que ab . Este hecho nos permite demostrar nuestra siguiente
observacion, que redactaremos como un corolario del teorema 3.7.1 y que
sera usado posteriormente.
Corolario 3.7.2 Sean b un entero mayor que 1 y a N. Si c es el
cociente que se obtiene al dividir a entre b, entonces
a > c > 0.
Demostracion: Si a = bc + r con 0 6 r < b, como ya observamos, c =
Por consiguiente, dado que ab > 0 y 1b < 1, se concluye que
[a] a
06c=
6 < a.
b
b
[a]
.
c
CAPITULO 3. NUMEROS
REALES
172
0 6 r1 < b.
(3.16)
0 6 r2 < r 1 .
(3.17)
0 6 r3 < r2 .
(3.18)
r2 |bq1 + r1 = a.
(3.19)
A-NARIA
3.7. REPRESENTACION
173
a = bq1 + r1 ,
b = r1 q2 + r2 ,
r1 = r2 q3 + r3 ,
()
..
rk2 = rk1 qk + rk ,
r
k1 = rk qk+1 .
0 < r1 < b
0 < r2 < r1
0 < r3 < r2
..
.
0 < rk < rk1
Entonces rk , el u
ltimo residuo diferente de cero, es el maximo com
un
divisor de a y b.
Demostracion: Ya se argumento por que existe tal residuo rk . Vemos que
rk = m.c.d. (a, b)
Por la ecuacion rk1 = rk qk+1 vemos que rk |rk1 . Como rk2 = rk1 qk + rk
se sigue que rk |rk2 . Subiendo a lo largo de las igualdades (), hallamos
que rk divide a cada uno de los residuos que lo preceden. Entonces, dado
que b = r1 q2 +r2 , rk |b, y dado que a = bq1 +r1 , se tiene que rk |a. Entonces
rk es divisor com
un de a y b. Supongamos que d es un divisor com
un de a
y b, entonces d divide a r1 = a bq1 y consecuentemente a r2 = b r1 q2 .
Continuando hacia abajo la sucesion de ecuaciones (), se encuentra que
d|r, d|r4 , d|r5 , . . . , d|rk . Por lo tanto rk = m.c.d. (a, b).
Este resultado se puede extender a cualesquiera dos enteros a y b que
no sean simultaneamente cero, ya que por el ejercicio 15(f) pagina 163,
m.c.d. (a, 0) = |a| y m.c.d. (a, b) = m.c.d. (|a|, |b|).
Como ejemplo, sean a = 963 y b = 657.
Entonces
963 = 657 1 + 306
657 = 306 2 + 45
306 = 45 6 + 36
45 = 36 1 + 9
46 = 9 4
174
CAPITULO 3. NUMEROS
REALES
A-NARIA
3.7. REPRESENTACION
175
representa al n
umero
44 602 + 26 60 + 40 = 160 000
Los nahoas y los mayas usaron el sistemas vigesimal (de base 20). El
sistema maya empleaba smbolos para 0, 1, 2, 3, 4 y 5, que se agrupaban verticalmente para formar los signos numericos compuestos hasta 19.
Cada punto representa una unidad; cada barra representa cinco unidades:
Los n
umeros mayores emplean el cero y la posicion vertical, apareciendo el valor de posicion. Por ejemplo 20 se escriba con dos dgitos:
CAPITULO 3. NUMEROS
REALES
176
5
lahuml 10
15
hum 1
vac 6
11
16
ca 2
vuc 7
12
17
ox 3
voxac 8
13
18
can 4
bolom 9
14
19
ho
1 20 =
kines
01
20
+
0
20
1 204
0 203
0 202
0 20
01
= 160 000
=
0
=
0 +
=
0
=
0
160 000
(3.20)
donde r0 , r1 , . . . , rk son enteros no negativos menores que 20. Para hacerlo podemos auxiliarnos del algortmo de la division: Comencemos dividiendo 41033 entre 20
A-NARIA
3.7. REPRESENTACION
177
2051
20 | 41033
103
033
13
(3.21)
(3.22)
o sea: 102 = 5 20 + 2
(3.23)
o sea: 5 = 0 20 + 5
(3.24)
Como el u
ltimo cociente es 0, ya no dividimos mas, porque ya acabamos.
En efecto, combinando nuestras 4 igualdades obtenemos la representacion
de 14033 en la forma (3.20):
41033 = 2051 20 + 13 = (102 20 + 11) 20 + 13 =
= 102 202 + 11 20 + 13 =
= (5 20 + 2) 202 + 11 20 + 13 =
= 5 203 + 2 2 +11 20 + 13.
Aqu r0 = 13, r1 = 11, r2 = 2, r3 = 5. 41033 escrito por los mayas
quedara:
CAPITULO 3. NUMEROS
REALES
178
0 r0 < a
(3.25)
0 r1 < a
(3.26)
0 r2 < a
(3.27)
0 r3 < a
(3.28)
En alg
un momento obtendremos un cociente qk que es 0 y ahi le paramos. La kesima igualdad sera:
qk1 = a 0 + rk ,
0 rk < a
(3.29)
A-NARIA
3.7. REPRESENTACION
179
(3.30)
(3.31)
(3.32)
180
CAPITULO 3. NUMEROS
REALES
(3.34)
A-NARIA
3.7. REPRESENTACION
181
0 ri < a,
(rk rk1 . . . , r1 )a .
La desventaja de esta u
ltima notacion es que si a > 10, entonces debemos
introducir nuevos smbolos para los n
umeros que en notacion decimal son
10, 11, 12, . . . , a 1, si aparecen como dgitos de la representacion. El
uso de 10, 11, 12, . . . , a 1 podra dar lugar a confusion. Por ejemplo, el
n
umero 160 000 en base 60 tiene la siguiente representacion:
160 00 = 44 602 + 26 60 + 40.
Aqu r0 = 40, r1 = 26 y r2 = 44. En la notacion abreviada quedara:
(44 60 40)60
que puede confundirse con:
4 605 + 4 604 + 2 603 + 6 602 + 4 60 + 0.
182
CAPITULO 3. NUMEROS
REALES
El n
umero 41 033 que maya se escribira:
por nosotros as:
(5 2 (11)(13))20 .
, quedara representado
A-NARIA
3.7. REPRESENTACION
183
Ejemplos:
1. Escribir (7 2 2)10 es sistema binario (o de base 2). Las cifras del
sistema binario son los n
umeros 0 y 1. Tenemos que escribir 722
por medio de los n
umeros 0 y 1. Para que sea mas facil calcular los
residuos r0 , r1 , . . . , rk al dividir entre dos reiteradamente, vamos
a llenar una tabla de dos columnas: en la izquierda figuraran los
cocientes q0 , q1 , . . . , qk y en la de la derecha los residuos r0 , r1 , . . . ,
rk . As queda nuestro ejemplo:
q0
q1
q2
q3
q4
q5
q6
q7
q8
q9
722
361
180
90
45
22
11
5
2
1
0
0
1
0
0
1
0
1
1
0
1
r0
r1
r2
r3
r4
r5
r6
r7
r8
r9
CAPITULO 3. NUMEROS
REALES
184
722
1
0
0
1
(23651)8
+(17043)8
(42714)8
b)
(423)6
(1341)6
(521)6
(3125)6
A-NARIA
3.7. REPRESENTACION
185
(2635410)8
( 724135)8
(1711253)8
(2 6 3 5 4 1 0)8
( 7 2 4 1 3 5)8
(1 7 1 1 2 5 3)8
A - B = -(1711253) 8
CAPITULO 3. NUMEROS
REALES
186
0
10 12 14
10 13 20 23
12 20 24 32
14 23 32 41
A-NARIA
3.7. REPRESENTACION
187
es decir:
2x + 4 + 3x + 2 = x2 ,
o sea,
x2 5x 6 = 0.
Las soluciones de esta ecuacion son x1 = 6 y x2 = 1, y la de
nuestro probema es, por supuesto, x = 6.
7. Un n
umero escrito en base 10 es divisible entre 3 si la suma de sus
dgitos es divisible entre 3, reza una famosa regla de divisibilidad.
Ello se debe a que todo n
umero de la forma 10m , al dividirse entre
3, da residuo igual a 1:
10m = 3 333
. . . 3} +1
| {z
m veces
donde B es un n
umero entero divisible entre 3.
Por lo tanto, para que un natural n sea divisible entre 3, es necesario
y suficiente que rk + rk1 + + r0 sea divisible entre 3.
Este criterio no se cumple en otras bases. Por ejemplo, (86)10 = (126)8
y la suma de las cifras de (126)8 es 1 + 2 + 6 = 9 que es divisible
entre 3. Sin embargo, 86 no es divisible entre 3 (o lo que es lo mismo:
(126)8 no es divisible entre (3)8 ).
2 es el menor de los n
umeros que se puede tomar como base de un
sistema de numeracion. El sistema correspondiente a esta base, llamado
binario, tiene un defecto: para medir n
umeros a
un no muy grandes, hay
que emplear muchos dgitos. Sin embargo, este defecto es compensado por
una serie de ventajas entre las que se encuentran:
i) Las operaciones de adicion y multiplicacion son particularmente simples en forma binaria.
188
CAPITULO 3. NUMEROS
REALES
ii) La mayora de los componentes basicos de las modernas computadoras (lamparas, semiconductores, switches, diodos, rectificadores, relays, etc.) se caracterizan por la existencia de dos posiciones estables,
es decir, ellos estan siempre en uno de dos estados que corresponden
convenientemente a los dgitos 0 y 1 de un n
umero binario.
iii) Ademas de la sencillez en la ejecucion de las operaciones aritmeticas
en el sistema binario importa, para la construccion de una computadora, lo que suele denominarse capacidad del sistema, entendiendose por tal el conjunto de n
umeros que en este sistema puede ser escrito con una cantidad determinada de dgitos. Expliquemos esto con
un ejemplo: Para escribir en el sistema decimal 1000 n
umeros (de
0 a 999), se necesitan 30 dgitos (10 para las unidades, 10 para las
decenas y 10 para las centenas). En cambio en el sistema binario,
con 30 dgitos se pueden escribir 215 n
umeros (para cada posicion u
orden binario hacen falta solo dos cifras 0 o 1 y, por eso 30 dgitos
permiten escribir n
umeros que contienen hasta 15 ordenes binarios).
15
Como 2 > 1000, el sistema binario tiene mayor capacidad que el
decimal.
Por estas ventajas, entre otras, es que el sistema binario se ha difundido mucho en distintas ramas de la tecnica y en particular en las
computadoras.
Hemos demostrado, en esta seccion, que todo n
umero natural tiene una
representacion anaria (teorema 3.7.4). Esta propiedad se puede extender
a todos los n
umeros enteros. dado que 0 ya esta escrito en la forma:
rk ak + rk1 ak1 + + r1 a + r0
donde k es un entero no negativo y r0 , r1 , . . . , rk son enteros no negativos
y menores que a. En el caso de cero, k = 0 y r0 = 0. Es decir, para
cualquier entero a > 1, la representacion de cero en base a es: 0.
Y si m es un entero negativo Cual es su representacion anaria?.
Pues esta:
m = (rk ak + rk1 ak1 + + r1 a + r0 ),
A-NARIA
3.7. REPRESENTACION
189
0
4
+
= 1 + 0 101 + 4 102
10 100
311.001 = 3 102 + 1 10 + 1 +
0
10
0
102
1
1000
9
10
9
100
9
1000
Definici
on 3.7.3 Una fracci
on decimal es un n
umero racional r que,
o se puede escribir de la forma:
bk 10k + bk1 10k1 + + b1 10 + b0 + c1 101 + c2 102 + + cl 10l , (3.35)
donde k es un entero no negativo, l es un natural y b0 , . . . , bk , c1 , . . . , cl
son enteros no negativos menores que 10, o bien, r es el inverso aditivo
de un n
umero que se puede escribir en dicha forma.
CAPITULO 3. NUMEROS
REALES
190
d
,
10m
(bk bk1 b0 c1 cl )
10l
3102 +410+5
102
= 3+
52867
106
4
10
5
102
3102
102
410
102
5
102
= 3.45
5
102
2
103
8
104
6
105
7
106
= (0.052867)
A-NARIA
3.7. REPRESENTACION
191
Teorema 3.7.5 Un n
umero racional r es una fracci
on decimal y si y solo
d
si puede ser escrito en la forma 10m , donde d Z y m es alg
un natural.
Por ejemplo, sea r = ab , donde a Z y b N. Supongamos que los
u
nicos divisores primos de b son 2 y 5. Tendremos entonces que b = 2 5
donde y son enteros no negativos. Si m = max {, } entonces
2m 5m b = 2m 5m = 10m ,
as que
r=
a
2m 5m a
d
= m m = m .
b
2
5
b
10
CAPITULO 3. NUMEROS
REALES
192
Por lo tanto p|a 10m y por eso p|10m (ejercicio 21b) pagina 165).
Entonces p|2m 5m y esto implica que p = 2 o p = 5, lo cual es falso. Por
lo tanto r no se puede escribir en la forma 10dm . Resumiendo:
Teorema 3.7.6 Un racional r = ab , con b N y a y b primos relativos
es una fraccion decimal si y solo si los u
nicos divisores primos de b son
2 y 5.
As que, definitivamente, n
umeros tan bonitos, sencillos e importantes
como 13 , 17 y 49 no se pueden representar en la forma
bk 10k + bk1 10k1 + + b0 +
c1
c2
cl
+ 2 + + l.
10 10
10
3
10
0.33 =
33
102
0.333 =
333
103
<
1
3
<
4
10
<
1
3
<
34
100
= 0.34
<
1
3
<
334
103
= 0.334
= 0.4
(1.2)2 = 1.44,
(1.3)2 = 1.69,
A-NARIA
3.7. REPRESENTACION
(1.4)2 = 1.96,
193
(1.5)2 = 2.25
(1.412)2 = 1.993744,
(1.414)2 = 1.999396,
(1.413)2 = 1.996569,
(1.415)2 = 2.002225.
(1.4142)2 = 1.99996064,
(1.4143)2 = 2.00024549.
1
2 1.41421 < 1.41422 1.41421 = 0.000011 = 5
10
(a0 )
CAPITULO 3. NUMEROS
REALES
194
y por lo tanto
0xm<1
(b0 )
q1
10
x<m+
q1
q1
1
x<m+
+
10
10 10
q1
10
1
10
q1 10(x m) < q1 ,
(a1 )
q1 es
q1 = [10(x m)]
(b1 )
(c1 )
q1 )
1
0x m
<
10
10
(d1 )
q1
q2
q1
q2
1
+
x<m+
+
+
10 10
10 100 100
0 q2 < 10
(a2 )
(b2 )
(c2 )
(
q1
q2 )
1
0x m+
+
<
(d2 )
10 100
100
Procediendo inductivamente, dado k N, si se suponen definidos
q1 , . . . , qk1 tales que j {1, . . . , k 1}, qj satisface las correspondientes propiedades (aj ), (bj ), (cj ), (dj ), definimos qk . Como el entero tal
que:
m+
q1
q2
qk
q1
qk
1
+
+ + k x < m +
+ + k + k
10 100
10
10
10
10
(ak )
A-NARIA
3.7. REPRESENTACION
195
Lo cual equivale a:
[
qk = 10
q1
qk1 ))]
x m+
+ + k1
10
10
(bk )
y que:
0 qk < 10
(ck )
(
q1
qk )
1
0x m+
+ + k < k
10
10
10
(dk )
q1
qk
Entonces para cada k N, el racional m + 10
+ + 10
se aproxima
k
1
a x con un error menor que 10k . (Si x no es entero, dicho racional es la
fraccion decimal m q1 qk ). Si x es entero, x = m y k N, qk = 0.
q1
qk
Para cada k N, llamemosle Rk a m + 10
+ + 10
acil ver que
k . Es f
x es una fraccion decimal si y solo si para alguna k N, x = Rk y en este
caso qk+1 = qk+2 = . . . = 0.
Si A = {Rk | k N} entonces A es no vaco y esta acotado superiormente por x, as que A tiene supremo. Pero como k N, 0 x Rk <
1
, es sencillo comprobar que x es precisamente el supremo de A.
10k
Por todas estas observaciones suele decirse que la expansi
on decimal de
x es mq1 q2 q3 . y que si x no es una fraccion decimal o no es un entero,
entonces tal expansion resulta ser una expansi
on decimal infinita.
Si x es negativo, la expansion decimal de x es de la forma (m . q1 q2 ),
donde (m . q1 q2 ) es la expansion decimal x.
Es interesante observar que en el caso de los n
umeros racionales, el
algoritmo de la division puede usarse para hallar las expansiones decimales.
Sea x =
a
b
CAPITULO 3. NUMEROS
REALES
196
donde 0 r0 < b
(a0 )
(
)
m b + r0
r0
r0
a
=
=m+
en donde 0
<1
(b0 )
b
b
b
b
Ahora bien se definio q1 (el primer dgito de la expansion decimal de
x) como q1 = [10(x m)]. (
)
(
)
En este caso 10(x m) = 10 ab m = 10 amb
= 10 rb0 , as que q1 no
b
es otra cosa que el cociente que resulta de dividir 10r0 entre b.
10r0 = b q1 + r1 ,
donde 0 r1 < b
(a1 )
(b1 )
Entonces
(
(
(a
q1 ))
q1 )
r1
10r1
100 x m +
= 100
m
= 100
=
.
10
b
10
10b
b
[
(
(
))]
q1
Por eso, como q2 = 100 x m + 10
entonces q2 es el cociente que
se obtiene al dividir 10r1 entre b:
10r1 = b q2 + r1 ,
0 r2 < b
(a2 )
A-NARIA
3.7. REPRESENTACION
197
10r2 = b q3 + r3 ,
0 r3 < b
(a3 )
0 rk < b
(ak )
y que
x=
q1
q2
qk
rk
a
= m+
+
+ k+ k
b
10 100 10
10 b
rk
= (m . q1 q2 qk ) + k
10 b
(3.36)
a
q1
qk
=m+
+ + k,
b
10
10
(a1 )
10r1 = b q2 + r2
(a2 )
CAPITULO 3. NUMEROS
REALES
198
()
10r
i+k1 = b qi+k + ri+k = b qi+k + ri
()
10r
i+k1 = b qi+k + ri
{
()
(ai+1 )
(ai+2 )
..
.
(aj )
(aj+1 )
..
.
(aj+k )
(aj+k+1 )
..
.
A-NARIA
3.7. REPRESENTACION
199
0.571428
7|
4.
40
50
10
30
20
60
4
Ejercicios 7.
1. Halle en cada inciso el cociente y el residuo que resultan de dividir
a entre b
(a) a = 3111, b = 212;
(b) a = 6411037, b = 2164;
(c) a = 6411037, b = 2164;
CAPITULO 3. NUMEROS
REALES
200
16,
3102,
999111
(7A08B1)12 ,
(30143014)5 ,
(1010101010)2 ,
(185111034)9 ,
(3(16)(12)(11)(18)(15)(16)(12)5(11)2(13)(10)14)20
101001000100001,
111111111111111,
101101101101101101101101
8. Sin convertir a la base 10, efect
ue las operaciones:
A-NARIA
3.7. REPRESENTACION
201
(e) (12145)6 (51015)6 ;
5
4 2
4 2
5
,
24
6
,
125
25
.
128
CAPITULO 3. NUMEROS
REALES
202
201
,
999
18
.
17
Escriba en la forma
0.00111.
a
b
los n
umeros: 33.3, 121.427, 21.01, 4.0010012,
3.8. APENDICE
1
3.8.
203
Ap
endice 1
Algunos teoremas que presentamos en este captulo pueden demostrarse tambien usando el razonamiento de De Morgan que mencionamos
en el Apendice 1 del Captulo 1. A modo de ilustracion, aqu daremos
nuevas demostraciones de los Teoremas 3.2.8, 3.3.4, 3.3.5, 3.3.10, 3.3.12.
Deseamos que el lector compare con las ofrecidas dentro del captulo , las
cuales, aunque mas largas, son quiza las que primero vienen a la mente
cuando uno se inicia en estos temas.
Teorema 3.8.1 (3.2.8 y 3.3.4) Si a, b R+ , entonces
(1) a = b a2 = b2
(2) a < b a2 < b2
Demostracion: Sea a, b R+ , entonces
a = b aa = ab ab = bb a2 = b2
a < b (a < b a > 0) (a < b b > 0)
aa < ab ab < bb (por axioma O3) a2 < ab ab < b2 a2 < b2
Entonces las premisas del siguiente razonamiento valido (el de De
Morgan) son verdaderas, lo que nos lleva a la veracidad de la conclusion
a=ba<ba>b
a2 = b2 a2 < b2 a2 > b2
a = b a 2 = b2
a < b a2 < b 2
a > b a2 > b 2
(a2 = b2 a = b) (a2 < b2 a < b) (a2 > b2 a > b)
Teorema 3.8.2 (3.3.5) Si b > 0 y a R, entonces
(1) a = b a = b a2 = b
CAPITULO 3. NUMEROS
REALES
204
Demostraci
b > 0 y a R, entonces
on: Sean
2
a=
b a = b (por
la
definici
o
n
de
b.
a
= b
a2 = ( b)2 = b.
b < a < b b < a < b a
> 0)
2
(a2= b (a
= b a = b)) (a
<b
2
( b < a < b) (a > b (a > b a < b)))
Teorema 3.8.3 (3.3.10 y 3.3.12) Si c > 0, entonces
(1) a = c a = c |a| = c
(2) c < a < c |a| < c
(3) a > c a < c |a| > c
Demostraci
on: Sean c > 0, entonces
a = c a = c |a| = |c| = c |a| = c.
Si c = 0, la proposicion c < a < c es falsa, pero tambien lo es la
proposicion |a| < c, por lo que la implicacion c < a < c |a| < c es
verdadera en este caso. As que supondremos que c > 0 en las siguientes
implicaciones
c < a < c (c < a < c a > 0) (c < a < c a < 0)
3.8. APENDICE
1
205
Captulo 4
FUNCIONES
1
4.1.
Introducci
on
Una gran parte de las matematicas y las ciencias naturales esta dominada por relaciones entre magnitudes. En la naturaleza esto puede
explicarse porque los distintos objetos y fenomenos que observamos suelen estar muy relacionados unos con otros. El hombre conoce desde hace
tiempo las relaciones mas sencillas de este tipo, y este conocimiento se
halla expresado en las leyes fsicas, las cuales indican que las diferentes
magnitudes, aunque a veces aparentemente sean muy distintas, estan tan
ntimamente relacionadas que algunas de ellas quedan completamente determinadas o estan en funcion de los valores de las demas. Una relacion
de este tipo se llama relaci
on funcional.
Ejemplos:
1. Principio de Arqumedes
Un cuerpo solido al ser sumergido en un lquido, sufre una disminucion de peso igual al volumen del lquido desplazado. La disminucion del peso se interpreta actualmente como una fuerza o empuje
que el lquido ejerce sobre el lquido. Si llamamos F a esta
206
4.1. INTRODUCCION
207
(4.1)
Tenemos un solido sumergido en un lquido y podemos efectuar diversas mediciones. Por una parte, mediante una balanza, podemos
medir la diferencia entre el peso del objeto cuando se halla fuera del
lquido y cuando se encuentra dentro de el. Por otra parte, podemos
ver la diferencia en el nivel del lquido cuando el solido esta fuera y
dentro de el. Con esto podemos saber el volumen del lquido desplazado y pesar un volumen igual de lquido. Obtenemos as dos magnitudes que quedaran expresadas en n
umeros y cada uno de ellos los
obtenemos por metodos diferentes. El principio de Arqumedes nos
dice que estos dos n
umeros, que no tenan por que guardar alguna
relacion, s estan relacionados: los dos son iguales!.
2. Ley de las Palancas
En una palanca en equilibrio:
los pesos colocados M1 y M2 son inversamente proporcionales a las
longitudes de los brazos de la palanca l1 y l2 :
M1
l2
= .
M2
l1
CAPITULO 4. FUNCIONES
208
l1
l2
M2
M1
l1 M 1
k
=
M
M
(4.2)
(4.3)
4.1. INTRODUCCION
209
n Universal (Newton).
4. Ley de la Gravitacio
Dados dos cuerpos de masas M y M situados a una distancia r
entre ellos, se atraen con una fuerza
F =G
MM
r2
(4.4)
gt2
2
(4.5)
CAPITULO 4. FUNCIONES
210
k
.
l
2S
2S
t=
t=
.
g
g
Sin embargo, la formula (4.5) es una ley fsica en la que la variable t
representa el tiempo transcurrido desde que un objeto comienza a caer
por la accion de la gravedad y esta interpretacion fsica limita los valores
que puede tomar t a t 0. Con esta restriccion, t esta completamente
determinada por S mediante la formula
2S
t=
g
4.1. INTRODUCCION
211
40 - 2 x
40 cm
(4.6)
CAPITULO 4. FUNCIONES
212
Cuales deben ser las dimensiones de la lata para que su manufactura requiera de la mnima cantidad de metal?.
Queremos que la superficie de la lata tenga area mnima. No es difcil
encontrar una formula para el area de dicha superficie en terminos
del radio r de la lata y de su altura h. La tapa y el fondo de la lata
son discos de radio r. Consecuentemente el area de la tapa es r2 y
tambien es esa el area del fondo. Para hallar el area lateral de la lata
imaginemos que la cortamos sin tapa ni fondo desde arriba hasta
abajo y despues la aplanamos para formar un rectangulo, como se
muestra en las figuras siguientes.
cortamos la lata
sin tapas
La aplanamos
2pr
Encontramos la
h
superficie del
rectngulo
area lateral
es decir,
A = 2r2 + 2rh.
(4.7)
Hemos logrado expresar A en funcion de r y de h. El resto del problema suele resolverse con tecnicas de calculo usando la formula 4.7.
Aq solo diremos que la solucion del problema se puede simplificar
si encontramos una formula que exprese A en funcion de una sola
4.1. INTRODUCCION
213
variable y no de dos como en 4.7. Para hallar una formula as, usaremos los datos del problema: Nuestra lata debe contener un litro de
aceite, es decir, 1000 cm3 de aceite. Como el volumen de un cilindro
recto de radio r y altura h esta expresado por la formula
Volumen = r2 h,
debemos escoger las dimensiones de r y h de tal forma que la siguiente ecuacion se satisfaga:
1000 = r2 h
(r y h medidas en cm).
1000
r2
(4.8)
Ejercicios 1.
1. Cada una de las siguientes ecuaciones describe una relacion entre
dos variables. Decir en cada caso cual es (o cuales pueden) la variable
(o variables) dependiente(s):
a) u + 3v 7 = 0.
f ) |r| = s.
b) (r 4)2 + (x 1)2 = 1.
g) w =
c) th = 100.
h) p2 = q .
d ) 4w2 5r = 20.
i ) a = kM .
e) uv 2 = 8.
j ) y = x2 , x 0.
z4
.
z2
4
CAPITULO 4. FUNCIONES
214
a) |x y| = 0.
c) y = 1 x2 .
e) x2 + y 2 = 1.
b) |x y| = 1.
d ) x = 1 y2.
f ) x2 + y 2 = 1.
4. Una bola de boliche de 8 cm de radio esta cubierta con una capa de
hielo; expresar el volumen de hielo como una funcion de su espesor
(recordar que el volumen de una esfera es 43 r3 ).
5. Expresar el volumen de una esfera como funcion de su area. (Para
una esfera, el area es 4r2 ).
6. Expresar el permetro de un triangulo equilatero como funcion de
su altura.
7. Expresar el area de un tetraedro como funcion de su arista.
8. Un rectangulo se inscribe en un crculo de radio 10. Expresar el area
del rectangulo como funcion de la longitud de su lado mayor.
4.2. FORMAS DE DEFINIR UNA FUNCION
215
4.2.
CAPITULO 4. FUNCIONES
216
de x le asocia un u
nico valor de V dado por la siguiente formula
V = f (x) = (40 2x)2 x.
Esta formula es una expresion algebraica de la funcion f . Podemos
escribir simplemente V (x) = (402x)2 x para indicar que V depende
de x y que V (x) es el volumen de la caja cuando su altura vale x,
por ejemplo
V (1) = f (1) = (40 2(1))2 (1) = 382 = 144 cm3 .
V (10) = f (10) = (40 2(10))2 (10) = 4000 cm3 .
V (20) = f (20) = (40 2(20))2 (20) = 0
V (5) = f (5) = (40 2(5))2 (5) = (30)2 (5) = 900 5 = 4500 cm3 .
Si z y representan n
umeros
a) Cuando x = z, V (z) = (40 2z)2 z.
b) Cuando x = , V () = (40 2)2 .
2. La formula (4.9)
2r3 + 2000
A=
r
indica que A es funcion de r. Si escibimos
A(r) =
2r3 + 2000
r
2r3 + 2000
,
r
r = 0.
4.2. FORMAS DE DEFINIR UNA FUNCION
217
(0, s )
(a, b )
(t ,0)
Se tiene tambien
A(1) =
2+2000
1
A(2) =
16+2000
2
= 2 + 2000
= 8 + 1000
A(10) = 1000( + 1)
A( 3 2) =
A() =
2( 3 2)3 +2000
3
2
4+2000
3
2
23 +2000
.
CAPITULO 4. FUNCIONES
218
No es difcil convencerse de que esta funcion f puede tambien expresarse algebraicamente. Dado el punto (t, 0), la ecuacion de la
recta que pasa por los puntos (t, 0) y (a, b) es
b
(x t).
at
Esta recta intersecta al eje Y cuando x = 0. Pero en este caso
y=
y=
bt
,
at
bt
as que s = ta
. Por lo tanto s = f (t) =
braica para f .
bt
ta
es la expresion alge-
Vemos entonces que una funcion puede expresarse de maneras diferentes. De hecho, para definir una funcion no necesitamos dar siempre una
formula algebraica. Por ejemplo, un dispositivo mecanico puede darnos
una regla que a cada n
umero real le asocie un punto del plano, es decir,
una pareja (x(t), y(t)) de n
umeros que dependen de t. As, si un punto
P esta sobre una circunferencia que rueda a lo largo del eje X, describe
una curva llamada cicliode. Si t es el angulo P OT de la figura siguiente,
la posicion P = (x(t), y(t)) depende de t.
t
T
Esta regla, a diferencia de las funciones que hasta ahora hemos trabajado, no asocia a cada n
umero otro n
umero o a cada valor de la variable t
un valor que sea un n
umero real, sino que asigna a cada t un u
nico punto
en el plano que es la posicion del punto P . Esta regla tambien sera funcion
para nosotros.
En nuestro ejemplo (4) de la pagina 209, F , la fuerza con que se atraen
4.2. FORMAS DE DEFINIR UNA FUNCION
219
MM
,
r2
r = 0.
CAPITULO 4. FUNCIONES
220
bt
ta
donde b y a son n
umeros reales y s y t toman valores reales, no
sabemos mediante dicha formula que valor real de S le corresponde
al valor t = a. De esta suerte, si el codominio es R (o un subconjunto
de R), el dominio no puede ser R pues a no esta en el dominio.
4.2. FORMAS DE DEFINIR UNA FUNCION
221
2. Las leyes de la naturaleza no siempre son ciertas para todos los valores de las magnitudes que en ellas aparecen. Por ejemplo, la ley
de Hooke que expresa que el alargamiento de un resorte es proporcional al peso que se le cuelga (a = kM ), solo se cumple si el peso
M es relativamente peque
no. Cuando ponemos un peso demasiado grande la ley ya no se cumple, si el peso es excesivo, incluso se
rompe el resorte. Solo podemos asegurar que la ley es valida en un
cierto intervalo: cuando M vara entre 0 y 10 kg, por ejemplo. En
este caso la que a cada M le asocia el alargamiento a = kM , no
tiene sentido si M < 0 o si M > 10. As que esta funcion tiene un
dominio que esta contenido en el intervalo
[0, 10] = {x R | 0 x 10}.
3. Supongamos que la formula
A(r) =
2r3 + 2000
r
CAPITULO 4. FUNCIONES
222
1
?
w w2 + 6
4.2. FORMAS DE DEFINIR UNA FUNCION
223
y w > 2,
o como
2<w <3
CAPITULO 4. FUNCIONES
224
y esta u
ltima ecuacion tiene solucion para w si y solo si
25
1
2 0
4
y
y esto u
ltimo es valido si y solo si y 25 ,
(
)2
y como tenemos la condicion de que y > 0, entonces w 21 = 25
y12
4
tendra solucion si y solo si y 32 y por lo tanto el conjunto
lo cual es equivalente a
1
y2
25
4
2
y R| y
5
)
2
= , .
5
Ejercicios 2.
1. Use la regla f (L) = 7L + 48
para encontrar
L
a) f (4)
d ) f ( 2)
g) f (x + h)
b) f (5)
e) f (3 + 2)
h) f ( 2 )
c) f (x)
f ) f (3 + h)
i ) f (x )
j ) f (4)
k ) f (4t)
l ) f (8/7)
4.2. FORMAS DE DEFINIR UNA FUNCION
225
a) g(100)
d ) g(2000)
g) g(x + )
j) g
b) g(400)
e) g()
h) g(x + h)
k) g
c) g(700)
f ) g(x)
i ) g(2 + 3k)
(1)
( 1 )
4
l ) g( 2)
0 si x < 0
1 si x 0
Diga cuales de las siguientes reglas son funciones (en este problema
se esta denotando por f : A C a alguna regla entre los elementos
de A y los de C, aunque no sea funcion).
a) f1 : B N {0} tal que f1 (b) = edad en a
nos de b.
b) f2 : B B tal que f2 (b) = madre de b.
c) f3 : B M tal que f3 (b) = madre de b.
d ) f4 : B B M tal que f4 (b) = madre de b.
e) f5 : H B tal que f5 (h) = hijo de h.
f ) f6 : B B tal que f6 (b) = hijo de b.
g) f7 : H B tal que f7 (h) = hijo mayor de h.
h) f8 : P B tal que f8 (p) = hijo mayor de p.
i) f9 : F (B) tal que f9 (m) = conjunto de hijos de m.
j ) f1 0 : P (B) tal que f1 0(p) = conjunto de hijos de p.
k ) + : R2 R tal que a cada pareja de n
umeros reales le asocia
su suma: +(a, b) = a + b.
CAPITULO 4. FUNCIONES
226
{
L(p) =
V si p es verdadera
F si p es falsa
1
x4
1
(z8)(z+5)
1
2x2 3x5
e) y =
|x|
x
f ) y = [x]
g) y = [3x2 + 7]
h)
x
[x]
=y
227
f (x) =
1
1x2
si x = 1 y x = 1
si x = 1 o x = 1.
4.3.
Igualdad de funciones
Como nos percatamos en los ejercicio anteriores (ver ejercicio 4, pagina 225), no podemos dejar de mencionar tres cosas para definir bien una
funcion: un dominio, un codominio y una regla de correspondencia propiamente dicha.
La sola mencion de la regla no es suficiente para poder hablar de
una funcion (a menos que sean obvios el dominio y el codominio por el
contexto donde se trabaje).
Supongamos que P = {n N | n es par} y que f : P Z, es la
funcion que a cada natural par n, le asocia el entero n2 . Si cambiamos
el dominio de esta regla, a N en vez de P , deja de ser funcion dado que
3 N y no le asocia ning
un entero.
Analogamente, si cambiamos el codominio, aunque la regla de correspondencia y el dominio permanezcan iguales, la funcion cambia o incluso
la relacion deja de ser funcion: por ejemplo, la funcion f : N Q que
a cada n N le asocia el n
umero n2 , deja de ser funcion si en vez de Q
ponemos a Z como codominio.
Ahora, por que no son iguales las funciones f : N N y g : N Q
dadas por f (n) = g(n) = n?. Porque tienen, en cierto modo, propiedades
distintas. Por ejemplo, g puede ser partida, en el sentido de que pode-
CAPITULO 4. FUNCIONES
228
( )
mos formar una nueva funcion 12 g : N Q dada por 21 g (n) = 12 n, y
esta construccion no se puede hacer con f sin alterar su codominio.
As que dos funciones que no tengan el mismo dominio, o no tengan el
mismo codominio, aun teniendo la misma regla de correspondencia, para
nosotros seran diferentes.
Claramente, aunque dos funciones f, g : A B tengan el mismo
dominio y el mismo codomonio, si su regla de correspondencia no es la
misma, las funciones no pueden ser iguales. En este caso existe por lo
menos un elemento a del dominio com
un de f y g tal que f (a) = g(a).
Decir que dos reglas de correspondencia sean iguales significa que a cada
elemento de sus dominio le asocien, una y otra, exactamente el mismo
elemento del codominio. En realidad es como si se tratara de una sola regla de correspondencia expresada de dos maneras distintas. Resumiremos
todo esto en una sola definicion.
Definici
on 4.3.1 Dos funciones, f : A B y g : C D son iguales si
A = C, B = D y si para cada a A f (a) = g(a).
Ejemplos:
1. Las funciones f, g : R {1} R definidas por
f (x) =
x2 1
x1
g(x) = x + 1
4.4. GRAFICA
DE UNA FUNCION
4.4.
229
Gr
afica de una funci
on
A menudo es necesario en Matematicas y en la ciencia, construir graficas de funciones que se expresan mediante alguna formula algebraica. De
este modo se comprende mejor de que forma particular depende una variable de otra. Hablaremos primero de las graficas de funciones reales de
variable real (funciones con dominio y codominio en R). Resulta u
til hacer
2
los dibujos de estas graficas en el plano cartesiano R con sus ejes perpendiculares: uno que representa los valores de la variable independiente
y el otro que representa los valores de la variable dependiente. La grafica
de una funcion es entonces un subconjunto de R2 . Aclaremos cual es.
Definici
on 4.4.1 Sean D R y f : D R una funcion. La gr
afica de
f es el conjunto Gf de puntos (x, y) del plano, con x D y y = f (x).
En otras palabras
Gf = {(x, y) | x D y y = f (x)}
= {(x, f (x)) | x D}.
Si f esta dada mediante una formula algebraica, su grafica es el conjunto de los puntos (x, y) cuya ordenada y esta ligada con la abscisa
mediante la formula dada.
Podemos obtener una interpretacion geometrica de la grafica de las
funciones reales, localizando en un sistema de coordenadas cartesiano, los
elementos de la grafica de la funcion.
Ejemplos:
1. Sea A = {1, 2, 3, 4, 5, 6} y f : A R la funcion dada mediante la
siguiente regla:
f (a) = n
umero de letras del nombre en espa
nol de n
umero a.
Por ejemplo, f (3) = 4 porque 4 letras tiene la palabra tres.
La grafica de la funcion es
Gf = {(1, 3), (2, 3), (3, 4), (4, 6), (5, 5), (6, 4)}
y su interpretacion geometrica son los puntos que se muestran en la
figura:
CAPITULO 4. FUNCIONES
230
Y
(4,6)
6
5
4
3
2
1
(5,5)
(6,4)
(3,4)
(1,3)
(2,3)
1 2
3 4 5 6
(1,1)
1
2
1
3
1
2,
2
1
3,
3 1
4,
4 6, 1
6
1 2
3 4
16,
16
1
8,
8
16
1 2
-1 -2 -3
1 2
4.4. GRAFICA
DE UNA FUNCION
231
(3,3)
(- 3,3)
(2,2)
(- 2,2)
(1,1)
(- 1,1)
(0,0)
(3x2
1
.
1)2
(4.10)
-1
-2
-3
1
4
1
121
1
676
1
4
1
121
1
676
(0,1)
1
1,
4
-3
-2
-1
1
2,
121
2
1
3,
676
3
CAPITULO 4. FUNCIONES
232
Y
(0,1)
1
1,
4
-3
-2
-1
1
2,
121
1
3,
676
-3
-2
-1
4.4. GRAFICA
DE UNA FUNCION
233
(2,1)
X
(2,-1)
2
es la grafica de y = 5 x , con dominio maximo [ 5, 5]. AnalogaY
(2,1)
2
mente, el semicrculoinferior
es la grafica de y = 5 x , tambien con
dominio maximo [ 5, 5].
Ahora, cuales lneas rectas en el plano son graficas de funciones?. Si
una recta no es vertical, tiene la forma y = mx + b, as que es la grafica
CAPITULO 4. FUNCIONES
234
4.4. GRAFICA
DE UNA FUNCION
235
y f : D R tal que f (a) = ya . Entonces f es una funcion cuya grafica, Gf , coincide con A, ya que si (a, f (a)) Gf con a D, entonces
(a, f (a)) A pues f (a) = ya y (a, f (a)) es el punto de interseccion de
A con la recta x = a. Por otro lado, si (a, b) A entonces (a, b) es el
u
nico punto de interseccion (por hipotesis) entre A y la recta x = a. Por
consiguiente a D y b = ya = f (a), con lo cual (a, b) = (a, f (a)) Gf .
La demostracion del criterio nos permite observar tambien que si un
conjunto de puntos en el plano es la grafica de una funcion, el dominio
de la funcion es el conjunto de puntos x0 tal que la recta vertical x = x0
CAPITULO 4. FUNCIONES
236
intersecta a la grafica. As
Ejercicios 3.
1. Demuestre que las funciones f, g : R R dados por
f (x) = |x|
y
g(x) = x2
son iguales.
2. Trace aproximadamente las graficas de las siguientes funciones, si
suponemos que su dominio es R.
a) y = x2
b) f (x) = 3x + 2
c) h(x) = (x 1)2
{
x si x 0
d ) g(x) =
x
si x 0
4.4. GRAFICA
DE UNA FUNCION
237
si x 0
si x 0
1
-1
1
-1
CAPITULO 4. FUNCIONES
238
Y
a) x y + 1 = 0.
b) y = x3 + 2.
c) xy = 1.
d ) x2 + y 2 = 4.
e) |x| + |y| = 5.
f ) x2 + y 2 = 25.
g) y =
x2 16
.
x+4
DE FUNCIONES
4.5. COMPOSICION
239
4.5.
Composici
on de funciones
Definici
on 4.5.1 Sean f : A B y g : B C dos funciones. La
composici
on de f con g, denotada por g f , es la funcion g f : A C
tal que a A, g f (a) = g(f (a)).
Notemos que:
1) Del hecho que f y g sean funciones, podemos asegurar que gf tambien
lo es, esto es, la regla gf tiene las propiedades que definen una funcion.
CAPITULO 4. FUNCIONES
240
DE FUNCIONES
4.5. COMPOSICION
241
Ejercicios 5.
1. Sea P el conjunto de palabras del idioma espa
nol y sea f : N N
dada por f (n) = 3n y g : N P la funcion definida por
g(n) =nombre de n en espa
nol. Obtenga
a) (g f )(3) y
b) (g f )(5).
a) f (x) = x + 3
g(x) = x2 1.
b) f (x) = |x|
g(x) = |x 2|.
c) f (x) = [x]
g(x) = 12 .
g(x) = x.
g(x) = x.
d ) f (x) = x2
e) f (x) = x2
CAPITULO 4. FUNCIONES
242
f (x) = x + 1
y
g(x) = 1 + x.
5. Si f : A B es cualquier funcion, entonces pruebe que
a) f idA = f y
b) idB f = f .
b) Im g Im (g f ).
243
6
4.6.
Funcion inyectivas
(a, a A).
244
CAPITULO 4. FUNCIONES
245
CAPITULO 4. FUNCIONES
246
Ejercicios 5.
1. Determinar cuales de las siguientes funciones son inyectivas:
a) f : N Z tal que f (n) = n.
b) f : R R tal que
{
f (x) =
si x = 0
si x = 0
x
|x|
247
si n es impar
si n es par.
x2 4
x2
es inyectiva.
6. Sea f : R R, decimos que f es estrictamente creciente si y solo
si para cualquier x1 , x2 R, x1 < x2 implica f (x1 ) < f (x2 ).
Probar que si f es estrictamente creciente, entonces f es inyectiva.
7. Sea f : R R una funcion inyectiva. Puede encontrar x1 , x2 R
para los que se cumpla que:
a) x1 < x2
b) f (x2 ) = f (x1 )?
CAPITULO 4. FUNCIONES
248
4.7.
Funciones suprayectivas
249
existe a A con f (a) = b. Por cierto que una expresion muy nuestra se
empe
na en negar esto.
Las funciones con esta propiedad se llaman funciones suprayectivas.
Precisamos esto en la siguiente definicion.
Definici
on 4.7.1 Una funcion f : A B se dira que es suprayectiva
(o funcion sobre, sobreyectiva) si para cada b B, puede hallarse a A
con la propiedad de que f (a) = b.
Los siguientes ejemplos son principalmente funciones con dominio y
codominio subconjuntos de R, esto es as porque son las funciones que
estudiaremos con mas detalle en este captulo.
Ejemplos:
1. La funcion f : R R definida por f (x) = |x| es no suprayectiva
porque para cualquier x R, f (x) = |x| 0. As, no existe x0
Df = R tal que f (x0 ) = 1, a pesar de que 1 R = codominio
de f .
2. Sea f : A B definida por f (x) = ax + b, a, b R y a = 0.
Afirmamos que f s es suprayectiva. Para comprobar esto, sea y en
el codominio de f , que es igual a R; queremos encontrar x Df = R
tal que f (x) = y, o equivalentemente, tal que ax + b = y. De
esta u
ltima ecuacion podemos ver que una tal x debe satisfacer que
x = yb
(despejando x).
a
Comprobemos que en efecto ocurre que f (x) = y:
(
)
(
)
yb
yb
f (x) = f
=a
+ b = y,
a
a
como queramos.
3. Sea ahora f : R R dada por f (x) = x2 3x + 2. Igual
que en los ejemplos anteriores, nos interesa investigar si esta funcion es o no suprayectiva. Con este proposito observemos que
CAPITULO 4. FUNCIONES
250
x 2,
x10
x1
y tambien que
x2<0
x < 2;
x1<0
x < 1.
1 < x < 2.
Pero
1 < x < 2 1 < x 2 < 0 y 0 < x 1 < 1
1(x 1) < (x 2)(x 1) y 1 < (x 1)
1 < (x 1) < (x 2)(x 1) = f (x),
es decir, hemos demostrado que x R, f (x) = x2 3x + 2 > 1
y, por lo tanto que esta funcion es no suprayectiva.
4. Si f : R R esta dada por f (x) = 7x3 2 entonces f es inyectiva
y suprayectiva. En efecto, si x1 , x2 R son tal que 7x31 2 =
7x32 2 entonces 7x31 = 7x32 , lo cual nos dice que x31 = x32 que
implica que x1 = x2 (por que?) y en consecuencia y es inyectiva.
Tambien si y R, quiseramos encontrar x R con 7x3
2 = y
o bien que x = 3 y2
. El
7
( )
estudiante puede verificar entonces que f 3 y2
= y, es decir, f
7
es suprayectiva.
pero esto es equivalente a que x3 =
y+2
7
251
Este u
ltimo ejemplo muestra que el codominio de una funcion influye
de forma importante para que esta sea o no sea suprayectiva. De
esto podemos ver lo importante que es, que en la definicion de una
funcion no solo se de la regla de asociacion, sino que tambien se den
el dominio y codominio de la funcion.
6. La funcion f : R R dada por la regla f (x) = ax2 + b, a = 0, no
es suprayectiva. No ocasiona gran dificultad verificar la veracidad
de esta afirmacion, porque:
I) Si a > 0, como x2 0, cualquiera que sea x R, se tiene que
ax2 0 y entonces ax2 + b b. Similarmente,
II) Si a < 0, x2 0 y entonces ax2 0. Por lo tanto, ax2 + b b.
En el primer caso, para y < b no existe x R tal que f (x) = y,
cumpliendose algo similar en el segundo caso.
Igual que para las funciones inyectivas, tenemos un metodo geometrico que nos permite decidir cuando una funcion f : R R es sobreyectiva, este es como sigue: si la grafica de f , Gf , es tal que cualquier
recta horizontal la corta en al menos un punto, entonces f es sobreyectiva
y viceversa.
Justifiquemos esta afirmacion: Sea c R cualquier n
umero real. Suponiendo que cualquier recta horizontal corta a Gf , queremos hallar un
x R tal que f (x) = c. Con este proposito, consideremos la recta horizontal y = c. Como esta recta corta a Gf , existe un punto (x0 , c) de
la recta, que esta en Gf . Por lo tanto, (x0 , c) = (x0 , f (x0 )) y por ende
f (x0 ) = c, como queramos.
Si ahora f es sobre y l es la recta horizontal dada por y = k, existe
b0 R tal que f (b0 ) = k. Con esto, el punto (b0 , k) esta en Gf y (b0 , k)
l. Concluimos que l corta a Gf .
Por ejemplo, si f (x) = x2 + 1, f no es sobre: La recta y =
corta.
1
2
no la
Dos propiedades sobresalientes que cumplen las funciones sobreyectivas, las establecemos en el siguiente teorema.
CAPITULO 4. FUNCIONES
252
Y
y=
X
1
2
Ejercicios 6.
1. Considere la funcion f : R R dada por
{ |x|
si x = 0
x
f (x) =
0
si x = 0.
Decida si esta funcion es sobreyectiva y/o inyectiva.
2. Sea f : R R dada por f (x) = 2x2 + x + 3. Puede hallar x R
tal que f (x) = 0? Por que?
253
si 2 x
si x < 2.
2
4.8.
Funcion biyectivas
dada por
f (n) = 2n.
CAPITULO 4. FUNCIONES
254
(b) Suprayectivas pero no inyectivas:
f : R R+ {0}
dada por
f (x) = |x|.
dada por
f (x) = |x|.
4.9.
Funci
on inversa
INVERSA
4.9. FUNCION
255
CAPITULO 4. FUNCIONES
256
y1
3
y1
3
es la formula buscada.
f (x) = y x2 + 1 = y x = y 1
INVERSA
4.9. FUNCION
257
INVERSA
GRAFICA
DE LA FUNCION
Si f : A B es una funcion biyectiva, obtenemos la grafica de f 1 a
partir de la grafica de f , como sigue:
Si
Gf = {(x, f (x)) | x A},
entonces
Gf 1 = {(f (x), x) | x A}.
En el caso particular en que A y B son subconjuntos de R, en un
sistema de coordenadas cartesiano lo anterior significa que para cualquier
punto P = (x, f (x)) en la grafica de f , existe un punto P en la grafica
de f 1 que es simetrica a P con respecto a la recta y = x. Se obtiene
entonces Gf 1 reflejando Gf con respecto a la recta y = x, como si esta
fuera un espejo.
La siguiente figura ilustra esta afirmacion:
Y
y=x
(x, f ( x) )
f (x)
-1
( f ( x), x )
( y) = x
f ( y) = x
CAPITULO 4. FUNCIONES
258
Ejercicios 7.
1. Determine, si existe, la inversa de la funcion f : N 2N dada por
f (n) = 2n. (Denotamos por 2N el conjunto de los n
umeros naturales
pares).
2. Abajo se muestran las graficas de varias funciones. Determine cual
o cuales de ellas tienen inversa y en caso de que tengan, grafique
all mismo su funcion inversa.
a) f : R R
b) g : R R
Y
c) h : R R+
d) F : R R
Y
3. Sea g(x) = 2x + 3.
a) Encuentre g 1 (x).
b) Eval
ue g(g 1 (6)) y g 1 (g(6)).
INVERSA
4.9. FUNCION
259
(r, r R).
si existe f 1.
CAPITULO 4. FUNCIONES
260
10
4.10.
(a, a )
2
(a,0)
X
(a,-1)
261
A R.
CAPITULO 4. FUNCIONES
262
(a, a )
2
(a,0)
X
(a,-a )grfica de t
2
263
AR
Y si A =
{x R | x 1} y f, g : A R son tales que f (x) = x 1 y
g(x) = x + 1, entonces f g : A R y (f g)(x) = f (x)g(x) = x2 1.
Observese que el smbolo en la expresion f g, es una vez mas,
convencional y que para la definicion del producto de funciones reales, nos
hemos aprovechado del producto de los n
umeros reales. Por otra parte, el
estudiante no debe confundir el smbolo de producto de funciones reales,
con el de composicion de funciones reales:
Este es el del producto:
Este es el de la composicion:
Resumiendo lo hecho hasta aqu de manera informal, es como sigue:
A partir de pares de funciones reales, generamos nuevas funciones reales,
a saber, la funcion suma y la funcion producto.
Observacion: sea la funcion g : A R definida de esta forma g(x) = r,
r R y sea f A cualquiera. La funcion producto g f es una funcion
de A en R tal que (g f )(x) = f (x).
Es costumbre denotar a esta funcion producto as: rf , por ejemplo, si
f (x) = 3x 1 y r = 5 entonces
(r f )(x) = r f (x) = (5)(3x 1) = 15x + 5.
CAPITULO 4. FUNCIONES
264
265
(r + s) f (x)
(definicion de r f )
r f (x) + s f (x)
(distributividad en R)
(r f )(x) + (s f )(x) (definicion de r f )
(r f + s f )(x)
(definicion de suma en A)
f
g
: A R.
( )
f
g
(x) =
f (x)
.
g(x)
(x)
Observese que la expresion fg(x)
es un cociente de n
umeros reales, en
f
tanto que g es nuevamente convencional. La dificultad a la que nos
CAPITULO 4. FUNCIONES
266
Definici
on 4.10.4 Un punto x0 A se denomina cero de la funcion g
si g(x0 ) = 0.
Denotemos por B a la coleccion de puntos x0 A tales que x0 es un
cero de g, esto es:
B = {x0 A | g(x0 ) = 0}.
Ahora s, ya es natural la:
Definici
on 4.10.5 Sean f, g A. La funci
on cociente de f y g, denotada por fg es la funcion fg : A B R tal que
f
f (x)
(x) =
g
g(x)
x A B.
x3 +1
x2 1
f
g
sera:
f
f (x)
x3 + 1
(x) =
= 2
.
g
g(x)
x 1
siempre es un n
umero real si x RB pues x = 1
267
Ejercicios 8.
1. Calcular r f para cuando f (x) = |x|, (A = R) y r = 21 .
2. Sean A = R y f, g las funciones dadas por:
f (x) = x2 + 1
g(x) = 3x 4.
c) sf + rg.
b) r (f g).
d) f4
(f 4 = f f f f ).
f
g
a) f (x) = |x|,
g(x) = 3x + 1.
b) f (x) = x 2,
c) f (x) = x 2,
g(x) = 4 + x2 .
g(x) = 4 x2 .
d ) f (x) = 5,
e) f (x) = |x 1|,
CAPITULO 4. FUNCIONES
268
7. Es posible hacer el cociente
f
g
si g = O?
11
4.11.
269
f3
f2
f2
f1
f1
f3
Definici
on 4.11.2 Sean a0 , a1 , a2 , . . . , an R y n N. Diremos que
una funcion f es una funci
on polinomial si f : R R es tal que
f (x) = a0 + a1 x + a2 x2 + + an xn .
Es costumbre llamar a la funcion f , polinomio en x y cada ak xk
termino kesimo del polinomio. Tambien si an = 0 se dice que f tiene grado n y se denota como gr (f ) = n.
Definimos ahora otro tipo de funciones que estan ntimamente relacionadas con las funciones polinomiales. De la seccion anterior sabemos que
si f : A R y g : B R con A, B R son funciones entonces podemos
definir la funcion fg : C R con
C = {x R | x A B
g(x) = 0}.
f (x)
an xn + + a1 x + a0
=
g(x)
bm xm + + b1 x + b0
CAPITULO 4. FUNCIONES
270
x
4. h : R{1} R dada por h(x) = x1
cuya regla de correspondencia
1
.
tambien puede expresarse como h(x) = (x + 1) + x1
x2 +3x+5
x2 +1
x
.
1+x2
271
y que, como el educando recordara, tiene una inversa, cual es? Por favor,
calculela.
Definimos ahora para a R {0} la funcion g : R R tal que
x R g(x) = |ax + b| con b R. Si usamos la definicion de valor
absoluto obtendremos
{
g(x) = |ax + b| =
{
=
ax + b
(ax + b)
ax + b
ax b
si ax + b 0
si ax + b < 0
si x ab y a > 0
si x < ab y a > 0.
o bien
{
g(x) =
ax + b
ax b
si x ab y a < 0
si x > ab y a < 0.
CAPITULO 4. FUNCIONES
272
grfica de g
-b
b
a
x2 1
(x2 1)
si x2 1 0
si x2 1 < 0
x2 1
x2 + 1
si x2 1
si x2 < 1
x2 1
x2 + 1
si x 1 o x 1
si 1 < x < 1.
273
Y
grfica de f
1
grfica de f 2
grfica de f1
1
-1
-1
-1
-1
n0 Z
tal que
n0 x < n 0 + 1
f (x) = [x] = 0
f (x) = [x] = 1
f (x) = [x] = 1
f (x) = [x] = 2
CAPITULO 4. FUNCIONES
274
es decir,
f (x) =
..
.
1
0
1
..
.
si
si
si
1x<0
0x<1
1x<2
g(x) =
..
.
1
0
1
..
.
si
si
si
15 x < 0
0 x < 51
1
x < 25
5
275
2
1
2
1
5
5
1
5
2
5
3
5
-1
-2
r(x) =
..
.
x1
x
x+1
x+2
..
.
1x<0
0x<1
1x<2
2x<3
si
si
si
si
2
1
-3
-2
-1
1
-1
-2
-3
CAPITULO 4. FUNCIONES
276
Ejercicios 10.
1. Dibuje una recta horizontal y una recta vertical que pase por el
punto (2, 5).
a) Cual es la ecuacion de la recta horizontal y cual la de recta
vertical?
b) La ecuacion de la recta vertical representa una funcion?, por
que?
c) La ecuacion de la recta horizontal representa una funcion?,
por que?
2. Para cada una de las siguientes funciones cuadraticas f , encuentre
Im f y A R tal que f |A tenga inversa. Calcule (f |A )1 .
a) f (x) = x2 + 3.
b) f (x) = x2 + 6x 16.
si
x7
x2 + 1
si
f (x) =
2
x 4x + 3 si
y
{
g(x) =
x3 2x2
x2
2
x + 5
si
si
x 4
4<x<4
x4
x>2
x2
calcular f + g, f g, f g y fg .
4. Dibuje las graficas de
a) f (x) = |2x + 5|.
b) f (x) = | 6x 5|.
e) f (x) = x [x] + 1.
c) f (x) = |x| + x.
277
a) es f inyectiva?
b) es f suprayectiva?
c) A R tal que f |A sea biyectiva?, si la respuesta es afirmativa, diga quien es A y calcule (f |A )1 .
6. Ya Basta!! se apresura a decir Don Prospero Torres y aclara que
ya hemos logrado nuestro . . .