Академический Документы
Профессиональный Документы
Культура Документы
DE PUEBLA
MATEMATICAS
ELEMENTALES
DE 2010
PUEBLA, PUE., OTONO
A esa
de quien olvide sus generales
pero recuerdo sus particulares
ticas Elementales
Matema
La escritura de un libro es siempre loable. Los libros atesoran el conocimiento humano y han sido y son la fuente mas importante del aprendizaje.
Contar con un buen libro a nuestro alcance es una carta de triunfo. Los nuevos y u
ltimos descubrimientos de la humanidad se van recogiendo en nuevos
libros. Otros, tan importantes como los anteriores, van dedicados a las bases
y cimientos de alguna Ciencia. Este es el caso de este libro dedicado a las
Matematicas Elementales. Ninguna construccion puede ser solida sin unos
buenos cimientos, por eso aquellos libros dedicados a establecer esas bases
son de gran importancia. En estos libros, es tan importante el contenido,
como la forma pedagogica y didactica de su presentacion. En muchos libros,
sobre todo de caracter enciclopedico, se sigue el metodo estrictamente deductivo, seg
un el cual se avanza en lnea recta de lo abstracto a lo concreto. Este
metodo debe ser el mas economico, pero no es el optimo para la capacitacion
de los estudiantes. En este libro se tiene muy en cuenta la presentacion pedagogica y se introducen los conceptos a partir de problemas concretos para
llegar a los mas generales posibles, de acuerdo al nivel en que se trabaja.
Un buen ejemplo es la presentacion del importante y fundamental concepto
de funcion. Por medio de ejemplos concretos, hitoricos y bien seleccionados
es que introducen este concepto a los alumnos, conduciendolos a la definicion como una cierta correspondencia, la cual surge de manera natural de los
ejemplos y llegando finalmente a la caracterizacion por medio de su grafica.
Esta u
ltima es ya una definicion matematicamente precisa. Consideramos a
este libro como una muy buena gua para el profesor, en el desarrollo de sus
clases y tambien para el propio estudiante en su estudio individual. Debemos destacar cuanto trabajo y esfuerzo requiere un trabajo de este tipo y si
ademas se realiza sin descuidar las demas actividades docentes, el esfuerzo
necesario es mucho mayor y los profesores que lo han llevado a feliz termino
son acreedores de una felicitacion y un reconocimiento.
Dr. Jose Luis Fernandez Mu
niz.
PROLEGOMENO
El verano de 1991 vio nacer un libro escrito por un grupo de profesores de
la Facultad de Ciencias FsicoMatematicas La Comisi
on y que lleva
el mismo nombre que la materia para la que serva 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 subcomisi
on de la La Comisi
on 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
subcomisi
on seran merecedores de una actuacion en el circo romano.
ATENTAMENTE
Una subcomisi
on
J. Juan Angoa Amador
Agustn Contreras Carreto
Manuel Ibarra Contreras
Ra
ul Linares Gracia
Armando Martnez Garca
iii
iv
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
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
2
5
13
23
31
33
35
39
43
47
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
partir de otros
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
49
56
57
60
64
.
.
.
.
.
.
.
75
75
78
91
118
128
141
162
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
3.7. Representacion a-naria . . . . . . . . . .
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
INDICE GENERAL
vi
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
195
195
203
216
217
229
233
238
243
244
249
256
Captulo 1
LOGICA
1
1.1.
Introducci
on
Logica
2
1.2.
Proposiciones l
ogicas y conectivos
Para nuestros propositos una frase que tenga la propiedad de ser falsa o
n Lo
gica.
verdadera y solo una de estas posibilidades se llamara Proposicio
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 u
ltima 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:
a) 3 y 2 son n
umeros enteros.
b) Mexico y Guatemala son pases centroamericanos.
c) 3 + 1 = 4 y 2 + 2 = 4.
2
Logica
n),
(proposicio
n),
(proposicio
entonces
n),
(proposicio
Logica
Ejemplos:
1. Si esta lloviendo me mojare. (condicional)
2. Juan es electronico y Pedro tambien. (conjunci
on)
3. El da de ma
nana sera lluvioso o caluroso. (disyuncion)
4. 3 o 2 son mayores que 1. (disyunci
on)
5. No es posible que exista transporte barato y comodo. (negaci
on)
6. Solo estudiando aprobare el curso. (implicacion)
En las proposiciones del tipo disyuncion, conjuncion e implicacion, participan dos proposiciones. En las disyunciones y conjunciones es indistinto
donde se coloquen tales proposiciones; sin embargo, en la implicacion no. As:
si llueve me mojo
cambia radicalmente si se transforma en
si me mojo entonces llueve.
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 y 2 son condicionales ya que se pueden escribir de la forma:
1. Si Avelino es poeta, Avelino vuela.
4
Logica
1.3.
Logica
2) p q
disyuncion de la proposiciones p y q.
3) q
negacion de la proposicion q.
4) p q
Logica
p q
(p q)
Logica
p p
Logica
Definici
on 1.3.6 Dos proposiciones p y q son equivalentes (tienen el mismo contenido) si
(p q) (q p)
es tautologa.
Simbolizaremos que p y q son equivalentes escribiendo: p q
Nota 1 (p q) (q p) se simboliza como:
(p q)
y se lee: p si y solo si q
A este tipo de proposiciones se les llama bicondicionales.
Nota 2 2 = 1 Salinas fue un presidente muy honrado.
es una bicondicional verdadera, evidentemente, aunque no es tautologa. Por que?
Nota 3 La proposicion:
Si don Prospero Torres es due
no de una parcela, entonces voto por el
tricolor.
es de la forma p q, donde p: Don Prospero Torres es due
no de una
parcela y q: Don Prospero Torres voto por el tricolor y es equivalente
a su contrarecproca, es decir:
Si Don Prospero Torres no vota por el tricolor entonces no
sera due
no de una parcela
o bien:
Es necesario que Don Prospero Torres vote por el tricolor para que
sea due
no de una parcela
En general, una proposicion escrita en la forma p q se puede leer:
9
Logica
o
Por otro lado, hemos sabido que Don Prospero Torres sigue gritando:
Yo soy campesino y no tengo tierra (ver Matematicas Basicas UAP
1991 La Comisi
on), y eso que ha votado por el tricolor, es decir q
es condicion necesaria pero no suficiente para que ocurra p.
La frase q es suficiente para p es lo mismo que si q entonces p, o
sea
q p.
As que, en general en una condicional q p se dice que el antecedente
es la condicion suficiente y el consecuente la condicion necesaria, y una
bicondicional, q p, suele leerse p es condicion necesaria y suficiente
para q o q es condicion necesaria y suficiente para p (al fin y al cabo
son equivalentes p q y q p.
Ejercicios 1.
1. Cuales de las siguientes afirmaciones son proposiciones logicas? Explique su respuesta:
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.
10
Logica
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.
11
Logica
a) l m
c) l m
b) l
d) l m
c) m l
e) l m
Logica
Cuantificadores
a) Ni 3 ni 7 son pares.
Es falso que: 3 o 7 son pares.
b) 3 es par pero 7 es impar.
Es falso que: 3 par implica que 7 es par.
c) Si 3 es par entonces 5 es par.
Si 5 es impar entonces 3 es impar.
d ) Solo si lavas los platos vas al cine.
Si lavas los platos vas al cine.
1.4.
Cuantificadores
Cuantificadores
Logica
p(x)
Logica
Cuantificadores
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
q(x) la frase
: x es m
usico, y
: x es alegre.
Cuantificadores
Logica
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.
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 .
16
Logica
Cuantificadores
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.
Esta proposicion se puede escribir en forma simbolica de dos modos diferentes, seg
un sea el conjunto universal seleccionado:
x R : x N x > 0
O bien
x N : x > 0
Donde N es el conjunto de los n
umeros naturales y el smbolo > significa
mayor que.
Como se vio, para negar una proposicion, es suficiente anteponer la frase:
es falso que. Lo mismo es valido para el tipo de proposiciones que estamos
estudiando. As por ejemplo:
Todo n
umero natural es mayor que cero.
Su negacion
Es falso que: Todo n
umero natural es mayor que cero
Sin embargo es u
til tener formas equivalentes de estas proposiciones. Recordemos que siempre que
x U : p(x)
es verdadera, significara que p(a) es verdadera para cada elemento a de U ,
es decir, p(a) es falsa para todo elemento a de U , o sea que es falsa la
proposicion:
x U : p(x)
Ahora, si x U : p(x) es falsa, tenemos que para alg
un a en U , p(a) es
falsa, es decir, para este a, p(a) es verdadera, as que la proposicion
x U : p(x)
17
Cuantificadores
Logica
es verdadera.
Ejemplifiquemos lo anterior. Sea
U = {11, 12, 13, 14}
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.
18
Logica
Cuantificadores
Ejemplos: En los siguientes ejemplos comentaremos algunos tipos de proposiciones en las que el cuantificador no esta explcito.
1. Ning
un n
umero al cuadrado es negativo
Esta proposicion se puede escribir de la siguiente forma:
No existe n
umero que, elevado al cuadrado sea negativo.
O tambien:
Todo n
umero cumple que, elevado al cuadrado, no es negativo.
De forma esquematica podemos decir que si una proposicion tiene la
forma:
Ning
un x U cumple p(x)
esta, en realidad, es la proposicion universal
x U : p(x)
.
As, nuestro ejemplo se escribe en forma esquematica como:
x R : (x2 < 0),
donde R es el conjunto de los n
umeros reales y < se lee como es
menor que
2. Ning
un triangulo equilatero tiene angulos interiores menores de 60 grados.
En este ejemplo, una rapida inspeccion nos lleva a la siguiente forma
esquematica:
x T : x no tiene angulos menores de 60 grados,
donde T es el conjunto de triangulos equilateros.
19
Cuantificadores
Logica
3. Un n
umero par es divisible por 2.
Aqu no esta explcito el cuantificador, pero si escribimos la proposicion
en la forma siguiente:
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 16 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:
20
Logica
Cuantificadores
Ejercicios 3.
1. Determine cuales de las siguientes proposiciones son del tipo
x U : p(x)
x U : p(x),
Cuantificadores
Logica
Logica
Razonamiento
b) x Z : x2 = 1 x2 + 1 = 2
( x Z : x2 = 1 x2 + 1 = 2)
c) x Z : x2 = 1 x2 + 1 = 2
( x Z : x2 = 1 x2 + 1 = 2)
d ) x Z : x2 = 1 x2 = 0
x Z : es falso que: x2 = 1 x2 = 0
Nota: Recuerde que Z es el conjunto de los n
umeros enteros, o
sea:
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, 4, . . .}
1.5.
Razonamiento
Razonamiento
Logica
Premisas
2)
Logica
3)
Razonamiento
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).
Ahora observemos 1) y 4). 1) acepta la siguiente forma simbolica:
25
Razonamiento
7)
p q
q
p
Logica
p: Jaime dejo de comer.
q: Jaime ha adelgazado.
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.
Logica
Razonamiento
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.
x U
x U
x U
x U
:
:
:
:
27
(p(x) q(x))
(p(x) r(x))
(q(x) r(x))
r(x)
Razonamiento
Logica
Y obtener otra forma de razonamiento correcto. El argumento que justifica la validez de esta forma de razonamiento es analogo al caso anteriormente
comentado. Veamos: si p es falsa y P1 , P2 y P3 verdaderas, entonces existe
a U , tal que r(a) es falso, y como p(a) r(a) es verdadera, podemos concluir que p(a) es falsa; de manera analoga , como q(a) r(a) es verdadera,
entonces tambien q(a) es falsa, es decir, (p(a) q(a)) es falsa, contradiciendo
el hecho de que P1 es verdadera.
En este tipo de proceso, observemos que el cuantificador en cada una
de las premisas y conclusion es el cuantificador universal; analogamente, el
conjunto universo, en premisas y conclusion es el mismo, y las proposiciones
abiertas que aparecen en las premisas y conclusion estan relacionadas en tal
forma que constituyen un razonamiento correcto.
Atenci
on! Observemos la siguiente forma de razonamiento:
P1 :
P2 :
P3 :
p :
x U
x U
x U
x V
:
:
:
:
(p(x) q(x))
(p(x) r(x))
(q(x) r(x))
r(x)
V = {1}
x es par.
x<0
x=2x=4
Logica
Razonamiento
razonamiento valido. Por eso a las formas de los razonamientos validos, suelen llamarseles reglas de inferencia.
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
(d)
p
p p1
p1 p2
p2
(e) x : p(x)
a
p(a)
(f)
(g)
pr
qr
(h) p q
pr
(i)
29
p
pq
pq r
r
p p
Razonamiento
Logica
pq r
(j)
r
s
p p
(m)
p r
r s s
p
qr
r
(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
rp
(f)
(b) (p q) (q p)
p
pq
(d)
pq
r q
r p
x U : p(x)
x U : p(x)
x U : p(x) q(x)
(g)
30
(e) p q
p q
p r
s
x U : p(x) q(x)
p(a)
q(a)
Logica
(0)
Metodos de Demostracion
x U : p(x) r(x)
x U : r(x) s(x) s(x)
x V : p(x)
(p)
x U : p(x)
x V : q(x)
x U : p(x) q(x)
1.6.
M
etodos de Demostraci
on
Metodos de Demostracion
Logica
Logica
Metodos de Demostracion
aceptadas.
1.6.1.
Demostraciones directas.
x U :
p(x)
donde:
p1 : n0 = 2m para alg
un entero m.
2
2
p2 : n0 = (2m) para alg
un entero m.
2
2
2
p3 : n0 = 2(2m ) y 2m es entero.
Este razonamiento es de la forma:
[(p p1 ) (p1 p2 ) (p2 p3 ) (p3 q)] (p q)
33
Metodos de Demostracion
Logica
1>0
:
:
:
:
:
1 = 0
1 = 0
1 = 0
1 = 0
12 = 1 [ x R, x2 0]
12 = 1 [ x R, x2 0] 1 = 0 12 = 1 12 0
12 = 1 12 0 1 = 0 1 0
101>0
1>0
Logica
Metodos de Demostracion
t:
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
Observese que la premisa p puede no ser verdadera, pero si se supone que es verdadera, como las restantes premisas, son verdaderas y el
razonamiento es valido, q resultara verdadera. Si p es falsa, con este razonamiento no aseguramos que q sea verdadera pero p q es
verdadera.
En general, para demostrar que una proposicion del tipo p q es
verdadera, bastara construir un razonamiento del tipo
p
p p1
p1 p2
..
.
pn q
q
donde todas las premisas, excepto quiza p, son verdaderas.
1.6.2.
Demostraciones indirectas.
Metodos de Demostracion
Logica
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
Una contradicci
on es una proposicion falsa por su forma logica.
36
Logica
Metodos de Demostracion
a R, a > 0
1
>0
a
a>0
1
>0
a
p p1 :
p1 p2 :
p2 s :
p s :
n Z : n2 es impar n es impar.
Metodos de Demostracion
Logica
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
x R :
Logica
1.6.3.
Metodos de Demostracion
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)
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.
39
Metodos de Demostracion
Logica
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.
40
Logica
Metodos de Demostracion
c) ( x R :
x2 + 6 = 0) es verdadera.
d ) ( x R :
x > 2 x2 + 6 = 0) es falsa.
e) ( x R :
41
Metodos de Demostracion
Logica
42
Logica
1.7.
Apendice 1
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 77), 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.
43
Apendice 1
Logica
Logica
Apendice 1
I.5 En todo triangulo isosceles, los angulos que se oponen a los lados
iguales son todos iguales
Es decir, en todo triangulo ABC, a = b A = B
C
a
b
B
A
I.6 Si en un triangulo dos angulos son iguales, los lados que se oponen
a dichos angulos, son tambien iguales
Es decir, en todo triangulo ABC, A = B a = b
I.18 En todo triangulo, el lado mas grande se opone al angulo mas
grande
As, en todo triangulo ABC
a > b A > B y
b > a B > A
I.19 En todo triangulo, el angulo mas grande es subtendido por el
lado mas grande
Es decir, en todo triangulo ABC
A > B a > b y
B > A b > a
Apendice 1
Tricotoma
Tricotoma
I.5
I.18
I.18
Logica
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)
46
Logica
1.8.
Apendice 2
Ap
endice 2
47
Apendice 2
Logica
48
Captulo 2
CONJUNTOS
1
2.1.
Introducci
on
Introduccion
Conjuntos
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
barbero llamado As-Samet, ducho en afeitar cabezas y barbas, maestro en
escamondar pies y piernas, y en poner ventosas y sanguijuelas. Un da el
Emir, dandose cuenta de la escacez de barberos del emirato, dio ordenes de
50
Conjuntos
Introduccion
que todos lo babrberos del emirato solo afeitaran a aquellas personas que no
pudieran hacerlo por s mismas (todas las personas del pueblo tienen que ser
afeitadas, ya sea por el barbero o por ellas mismas). Un cierto da el barbero
fue llamado a afeitar al Emir y le conto a este sus congojas.
En mi pueblo soy el u
nico barbero. Si me afeito, entonces puedo afeitarme
por m mismo y por lo tanto no debera afeitarme el barbero de mi
pueblo que soy yo!. Pero si no me afeito, lo debe hacer un barbero por
m pero no hay all mas barbero que yo!.
El Emir penso que tales razonamientos eran muy profundos, a tal grado
que prmio al barbero con la mano de la mas vituosa de sus hijas y el barbero
vivio eternamente feliz.
Llamemos B al conjunto de personas del pueblo que no se afeitan a s mismas (y por tanto son afeitadas por el barbero). Sea b el barbero. b es un
elemento de B. Si b es un elemento de B, entonces b no se afeita a s mismo y
es afeitado por el barbero. Pero b es el barbero, as que b se afeita a s mismo.
Esto significa que b no es elemento de B. Si b no es elemento de B entonces
b se afeita a s mismo, por lo que no es afeitado por el barbero. Como b es el
barbero, entonces b no se afeita a s mismo, as que b es elemento de B. No
sabemos si b es elemento de B o no. En este sentido, B no esta bien definido.
De ahora en adelante convendremos en que para que a algo le podamos
llamar Conjunto, debemos ser capaces de decir, acerca de cualquier objeto b,
si es elemento o no del conjunto en cuestion. Dicho de otra forma, si B es un
conjunto, entonces la afirmacion b es un elemento de B es una proposicion
logica.
En general, un conjunto no esta bien definido (no es conjunto) si hay
ambig
uedad en relacion a los elementos que lo componen.
En nuestro intento por ponernos de acuerdo en lo que vamos a entender
por conjunto, comenzamos con la idea de que un conjunto es algo que tiene
elementos. Despues hemos restringido nuestra atencion a aquellos conjuntos
bien definidos, es decir, con la propiedad de que s para un objeto cualquiera
nos preguntaramos pertenece al conjunto?, se puede dar una respuesta clara
y segura: s o no. Sin embargo, aunque parezca extra
no, resulta conveniente
51
Introduccion
Conjuntos
Conjuntos
Introduccion
Introduccion
Conjuntos
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.
54
Conjuntos
Introduccion
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?
3. Representar por extension los conjuntos siguientes.
a) A = {x | x es natural y x2 < 20}.
b) B = {x | x es natural x > 1, x 21 y x es impar}.
c) C = {x | x es entero y x2 + 1 20}.
d ) D = {x | x es natural y x = 4 o bien x = 6}.
e) E = {x | x es real y x2 = 1}.
55
Conjunto Universal
2.2.
Conjuntos
2
Conjunto Universal
Conjuntos
Subconjuntos
2.3.
Subconjuntos
aAxB
B
U
B
A
57
Subconjuntos
Conjuntos
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 : x A x B
es verdadera.
Denotaremos a la proposicion A es subconjunto de B como
A B.
Algunas consecuencias sencillas de esta definicion son las siguientes.
Sea U un conjunto universal cualquiera y A, B y C conjuntos cuyos
elementos estan en U . Entonces son verdaderas:
a) A U ,
b) A A,
c) Si A B y B C entonces A C
d) A
Demostraci
on:
a) Por hipotesis, los elementos de A son elementos de U .
b) Es claro que la proposicion x U : (x A x A) es verdadera y
entonces A A es verdadera.
58
Conjuntos
Subconjuntos
xAxB y
x U :
xBxC
xAxC
x A y x = B.
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.
59
Igualdad de conjuntos
Conjuntos
4
2.4.
Igualdad de conjuntos
Dados dos conjuntos A y B, subconjuntos de U (ya podemos poner subconjuntos de U !), se podran tener verdaderas A B y B A. En tal caso
los elementos de A son elementos de B y los elementos de B son elementos
de A, es decir, A y B tienen los mismos elementos. Diremos entonces que A
y B son iguales.
Definici
on 2.4.1 Sean A y B subconjuntos de un conjunto universo U .
Diremos que A y B son iguales si es verdadera la proposicion
AB
B A.
xAaB
Conjuntos
Igualdad de conjuntos
Igualdad de conjuntos
Conjuntos
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},
T = {s, u},
Z = .
Conjuntos
Igualdad de conjuntos
63
Conjuntos
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}
2. Si U = {1, 2, 3, 4, 5, . . .} y A = {n | n es natural y x es par}, entonces
A{ = {n U | n no es par} = {n U | n es impar}
64
Conjuntos
Conjuntos
A B = {x U | p(x) q(x)}
B
B
A
66
Conjuntos
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.
Demostracion: (de algunas propiedades)
j) A = {x U | x A x } = ya que para cualquier elemento
x U , x A x es falsa.
l) A B = {x U | x A x B}. Pero para cada x U , son
verdaderas
x A x B x A y x A x B x B,
y por lo tanto A B A y A B B.
67
Conjuntos
68
Conjuntos
A
B
69
Conjuntos
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 A B A y
A A B. Ya demostramos que A B A (ver l) de la pagina 67), 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 67), solo resta
demostrar que A B B, suponiendo A B.
Si x A B entonces x A o x B. Pero si x A entonces
x B. As que x B. Por lo tanto:
x U : x A B x B,
o sea, A B B y de aqu que A B = B.
b) Si B A, entonces A (A B) = B.
Demostracion:
A (A B) = A (A B { ){ = A (A{ (B { ){ )
= A (A{ B) = (A A{ ) (A B)
= (A B) = A B.
Como B A, por (a)i), A B = B. Por lo tanto,
B A A (A B) = B.
70
Conjuntos
c) (A B { ){ A = U
Demostracion: Vamos a demostrar esta proposicion de dos maneras. La primera es
(A B { ){ A = (A{ (B { ){ ) A = (A{ B) A
= A{ (B A) = A{ (A B)
= (A{ A) B = U B = U
La segunda manera es:
A B { A. Por lo tanto, A{ (A B { ){ . Entonces U = A{ A
(A B { ){ A (ver ejercicio 7h). Pero por a) de la pagina 58,
(A B { ) A U . Por lo tanto
(A B { ){ A = U.
2. La proposicion para cualesquiera A, B y C U , (A B) C =
A (B C) es falsa.
Demostracion: Contraejemplo:
U
71
Conjuntos
Ejercicios 2.
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 67.
2. Si A, B, C son subconjuntos cualesquiera de un conjunto universo U ,
probar que (A B) C = A (B C). A que es igual A (B C).
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) {}.
d ) (A B){ (A B){ ,
b) A B A B,
e) B A B,
c) (A B) A = A,
f ) B (B A){ = U ,
72
Conjuntos
g) B { (B A){ ,
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!
73
74
Conjuntos
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 todas
las demas son consecuencias de estas.
As pues, los axiomas de los n
umeros reales as llamaremos a los n
umeros
75
Introduccion
N
umeros reales
N
umeros reales
Introduccion
77
N
umeros reales
3.2.
Ahora iniciaremos la demostracion de algunas consecuencias de los axiomas de campo, en donde el alumno podra reconocer algunas de las mas comunes reglas de la aritmetica. Atencion!: pedimos al alumno revisar la parte
de metodos de demostracion del captulo de logica; ademas de consultarla
cada vez que alg
un paso de las demostraciones no quede claro.
78
N
umeros reales
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).
a(0 + 0)
a0+a0
0
(axioma C5)
(ley distributiva)
(ley de cancelacion).
Los siguientes resultados resaltaran la importancia de las leyes de cancelacion, ya que estos son consecuencia inmediata de estos.
79
N
umeros reales
Teorema 3.2.3
i) Si a, b R, existe un u
nico x R tal que a + x = b
ii) Si a, b R, a = 0 existe un u
nico x R tal que ax = b.
Observacion: Una vez mas como en el teorema 3.2.1, debemos notar que
en el caso i), el n
umero real a puede ser cualquiera, mientras que la hipotesis
de ii) exige que a = 0.
Demostracion:
i) Sea a1 R tal que c1 + a = 0
(Axioma C6)
y sea x0 = b + a1 . Entonces x0 R y ademas
a + x0
=
=
=
=
=
a + (b + a1 )
a + (a1 + b)
(a + a1 ) + b
0+b
b
(ley conmutativa)
(ley asociativa)
(C6)
(C5)
a + x0 = b y a + y0 = b
a + x 0 = a + y0
x 0 = y0
(transitividad de la igualdad)
(ley de cancelacion)
=
=
=
=
a(a2 b)
(aa2 )b
1b
b
(propiedad de la igualdad)
(ley asociativa)
(C6)
(C5)
80
N
umeros reales
ax0 = b y ay0 = b
ax0 = ay0
x0 = y0
(propiedad de la igualdad)
(ley de cancelacion)
N
umeros reales
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 a = 0
1
es el n
umero x = a b. En lo que sigue denotaremos a b = 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:
umero (a) satisface la relacion a + x = 0. Tambien el n
umero
i) El n
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 .
N
umeros reales
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 lo tanto
83
(por definicion)
(propiedad del 1)
(inv. multiplicativo)
(asocistividad)
(conmutatividad)
ii)
a
b
a
b
c
d
c
d
= (ad)(b1 d1 ) + (cb)(b1 d1 )
= (ad)(b1 d1 ) + (bc)(b1 d1 )
= (ad + bc)(b1 d1 )
= (ad + bc)(bd)1
= ad+bc
bd
= (ab1 )(cd1 )
= a[b1 (cd1 )]
= a[(b1 c)d1 ]
= a[(cb1 )d1 ]
= a[c(b1 d1 )]
= (ac)(bd)1
ac
bd
iii)
( a )1
b
N
umeros reales
(asociativa)
(conmutativa)
(distributiva)
((iii) del teorema 6)
(conmutatividad)
(definicion)
(asociatividad)
(asociatividad)
(conmutatividad)
(asociatividad)
((iii) del teorema 6)
(definicion).
= (ab1 )1
(definicion)
1 1 1
= a (b ) ] ((iii) del teorema 6)
= a1 b
((ii) del teorema 5)
= ba1
(conmutatividad)
b
(definicion).
a
Raz Cuadrada
N
umeros reales
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)
N
umeros reales
Definici
on 3.2.2 Sea b R tal que b > 0 o b = 0. Si a R es tal que a > 0
o a = 0 y cumple
a2 = b, a se llamara la raz cuadrada de b. En adelante
denotaremos a = b.
Notese que si a2 = b, tambien (a)2 = b, entonces
Definici
on 3.2.3 Si b R conb > 0 0 b = 0. Si a =
la raz negativa de b (a = b).
b, llamaremos a a
a b = a b.
Demostraci
on:
Bastara demostrar que ( a b)2 = ab, ya que como a b es mayor
o igual
que
cero y por la unicidad de la raz cuadrada, concluiramos que
a b = a b. Para esto, ver los ejercicios 1.
86
N
umeros reales
N
umeros reales
2. Sea la ecuacion
x2 5 = 4x
c es solucion de x2 5 = 4x c2 + 4c 5 = 0 (c + 5)(c 1) = 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
(
( p )2
( p )2
)
)
p 2
p 2
+
q
=
0
c
+
=
q
+
c
+
=
q y
2
2
2
2
2
(( )
)
(
)
(
)
(
)2
2
2
2
p
q > 0 o p2 q = 0 o p2 q < 0 (tricotoma) c + p2 =
2
(( )
)
( p )2
( p )2
p 2
q y 2 q >0 o 2 q =0 .
2
( )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
p
p
p
>0 o c+ =0 o c+ <0
2
2
2
Usando la definicion de raz y el ejercicio 5 de los ejercicios 1 de esta
seccion, tendremos
((
)
(
)
)2 ( )2
a) c + p2 > 0 o c + p2 = 0 y
c + p2 = p2 q
)
(( )
( p )2
p 2
q
>
0
o
q
=
0
y
2
2
( )
( )
p
p 2
p
p 2
c+ 2 =
q o sea c = 2 +
q
2
2
c+
o bien
)
) ((
)2 ( )2
(
b) c + p2 < 0 y c + p2 = p2 q
(( )
)
( )2
2
y p2 q > 0 o p2 q = 0
( )
( )
p 2
p 2
p
p
c+ 2 =
q o sea c = 2
q
2
2
88
N
umeros reales
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 2
p
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)
1
(ad2 +bd+c) = 0 d2 + ab d+ ac = 0 d es solucion de x2 + ab x+ ac = 0.
a
Ahora, usando lo anterior tenemos:
El conjunto solucion de ax2 + bx + c = 0 es el conjunto vaco
( )2
b
c
<0
2a
a
o bien, el conjunto solucion de ax2 + bx + c = 0 es el conjunto
( )
( )
2
2
b
b
b
c
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.
89
N
umeros reales
a
.
(b)
i) 11 = 1.
j ) 0 = 0.
k ) 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.
l ) a > 0, b > 0, ab = ab .
a
b
ac
.
bc
n
) Si b = 0, c = 0, entonces
o) Cuando
a
b
a
b
c
d
ad = bc.
= ab .
a)
3x
2
b)
x4
x
1
x1
3
= 2.
c) x (x 3) + x(2x1 + 5) = 9.
[ x ]1
1
d ) (32x)
+ 32x
= 4.
x1
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:
N
umeros reales
a) a2 = b2 a = b.
b) a2 = b2 a = b.
c) a2 = b2 a3 = b3 (a3 = a2 a).
7. Demostrar que a3 = 1 a = 1.
8. Demostrar que a3 = b3 a = b.
9. Hallar el error en la demostracion de la afirmacion:
Si a R, entonces a = 0.
aR
a2 = a2
a2 a2 = a2 a2
(a a)(a + a) = a(a a)
a+a=a
a=0
3
3.3.
N
umeros reales
x>0
0
x<0
0
a la derecha del punto correspondiente al cero. Para menores que cero, sera la
semirrecta complementaria, sin incluir el punto inicial.
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) (c.p)
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}.
92
N
umeros reales
R+ se llamara el conjunto de los reales positivos. R se llamara el conjunto de los reales negativos.
Lo anterior demuestra que R+ = y R = y la tricotoma demuestra
que
R = R+ {0} R
Antes de entrar en materia demos una notacion mas:
Si x < y o x = y, escribiremos x 6 y o y > x
De acuerdo a esta notacion:
Si x < y, entonces x 6 y
Si x = y, entonces x 6 y o x > y
Pero si x 6 y no necesariamente x < y, y tambien si x 6 y no necesariamente x = y.
Ahora demostraremos tres teoremas que permitiran operar con pares de
n
umeros que estan en la relacion de menor que.
Teorema 3.3.1 Si a R, se cumple
1) a > 0 a < 0
2) a > 0 a1 > 0
Demostracion:
1) Demostraremos la implicacion: a > 0 a < 0.
Ahora bien: si a > 0 entonces a + (a) > a 0 > a.
De igual manera: Si a < 0 entonces (a) + a < a a > 0.
2) Queremos demostrar que
si a > 0 entonces a1 > 0
sea a > 0 y supongamos que a1 < 0 o a1 = 0.
Si a1 = 0 entonces aa1 = 0.
93
N
umeros reales
entonces
aa1 < 0 a
1<0
(c.p)
2) x, y R
2) x R y y R+
entonces
entonces
entonces
entonces
N
umeros reales
Recprocamente
b < a
b + b < a + b
0 < a + b
a + 0 < a + ((a) + b)
a<b
(C5)
(C5)
(ver ejercicios 2)
(teorema 3.3.1)
(teorema 3.2.6)
(c.p)
(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
Demostracion:
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)
N
umeros reales
a2 < b2 a < b,
2. b < a2 b < a o
b < a.
Demostraci
on:
96
N
umeros reales
a < 0.
(teorema 3.3.4)
a< b
(teorema 3.3.4)
a > 0, b <a
a > 0, a
<2 b
2
(a) < ( b)
(teorema 3.3.4)
2
a <b
o
97
a<0
N
umeros reales
2
Si
b< a y a >2 0 y b R+
b b = b < a
b<a
(teorema 3.3.4)
b
< a2 y a < 0 y b R+
( b)2 < a2 = (a)2 , a > 0
b < a
As que b < a2 , b R+
(teorema 3.3.4)
b < a o b < a
b<a
0< b < a
( b)2 < a2
b < a2
(teorema 3.3.4)
Ahora:
b < a
0< b < a
( b)2 < (a)2
b < a2
(teorema 3.3.4)
- b
N
umeros reales
0
b
a
- b
|x| R.
ii) x R,
|x| 0.
N
umeros reales
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, entonces |x| 6 x 6 |x| (teorema 3.3.7)
entonces 0 6 x 6 0
entonces x = 0
y como por definicion si x = 0, entonces |x| = 0.
Podemos resumir estas observaciones en el siguiente teorema.
100
N
umeros reales
Teorema 3.3.8
|x| = 0 x = 0.
Con lo cual tenemos que:
|x| > 0 x = 0.
Continuemos con algunas propiedades mas que satisface el valor absoluto.
Teorema 3.3.9 Sean a, c R, entonces
|a| c c a c
Demostracion:
Observemos que si c < 0, |a| c y c a c son proposiciones falsas
y por lo tanto es verdadera la bicondicional. Con lo que nuestro resultado se
reduce a demostrar que si a R y c 0
|a| c c a c.
() Supongamos que |a| c, demostraremos que
c a c.
Sea a R a 0 o a < 0 (tricotoma)
i) Si a 0 entonces |a| = a y |a| c a c y como c 0 c
0 y 0 a c a. Entonces
c a c
ii) Si a < 0 entonces |a| = a y |a| c
a c
c a
y como a < 0 y 0 c, entonces a c. Entonces
c a c.
101
N
umeros reales
-c
ac
N
umeros reales
Demostracion: ()
Una proposicion equivalente a la que queremos demostrar es:
(|a| c) (a c o a c).
es decir,
|a| < c (a < c y a < c)
o sea
|a| < c c < a < c
que es precisamente la afirmacion del teorema 3.3.10 , con lo cual queda
demostrado nuestro teorema.
De este teorema podemos tambien dar una interpretacion geometrica.
Si c < 0, entonces a puede ser cualquier real y puede estar por cualquier
parte de la recta numerica.
Si c 0
a
-c
a>c
N
umeros reales
N
umeros reales
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
N
umeros reales
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|.
e) |a b| |a| + |b|
f ) ||a| |b|| |a b|.
1
.
g) a = 0, a1 = |a|
a |a|
h) b = 0, b = |b| .
c) |a b| = |b a|.
d ) |a2 | = |a|2 .
10. Si x, y R {0}, entonces
a)
b)
c)
d)
Si
x,
Si
x,
N
umeros reales
a)
x2
,
|x2|
c)
x+2
,
|x2|
b)
x
,
|x2|
d)
1
,
|x2|
e)
x2
,
|x2|
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)
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)
107
N
umeros reales
{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)
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 |
N
umeros reales
4. (4, 6) (1, ) =
=
=
=
o
o
x x0 < c
x < x0 c
N
umeros reales
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 , .
N
umeros reales
Definici
on 3.3.5 Una inecuaci
on es una proposicion abierta, sobre R, en
la que se encuentra el smbolo < y la variable x esta operada como un
n
umero real.
En particular trabajaremos con inecuaciones de la forma
p(x) > q(x),
donde p(x) y q(x) son expresiones del tipo
ax + b,
ax2 + bx + c,
k,
|ax + b|,
|ax2 + bx + c|,
ax + b
,
c1 x + d1
donde a, b, c, d, k, c1 , d1 R y c1 y d1 no son simultaneamente cero. Atencion!. Aqu p(x) y q(x) no denotan proposiciones abiertas.
Definici
on 3.3.6 A los n
umeros reales que hagan verdadera a una inecuacion, se les llamara soluciones de la inecuacion, y al conjunto de verdad de
tal inecuacion se le llamara conjunto soluci
on de la inecuacion.
Solucionar una inecuacion es hallar su conjunto solucion.
En lo que sigue ilustraremos con ejemplos, la forma en que se aplican las
propiedades de los n
umeros reales para solucionar una inecuacion.
I. Inecuaciones del tipo
ax + b < cx + d.
El ejemplo resuelto al principio de esta seccion ilustra la forma en que se
obtiene el conjunto solucion de este tipo de inecuaciones.
II. Inecuaciones del tipo
ax2 + c < dx + t.
En la solucion de este tipo de inecuaciones emplearemos el teorema 3.3.5.
1. Sea la inecuacion x2 + 5x < 3x + 2.
111
N
umeros reales
Sean x0 R,
x20 + 5x0 < 3x0 + 2
3 < x 0 + 1 < 3
3 1 < x0 y x0 < 3 1.
t < 3 1}
{t R | 3 1 < t} {t R |
= (,
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 + 3x0 < x20 7x0 + 25
3 < x20 10x0 + 25 3 < (x0 5)
5) < 3
3 < (x0 5) o (x0
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.
112
N
umeros reales
113
N
umeros reales
Ejemplos:
1. Sea la inecuacion |3x + 2| < x 5
Si x0 R,
|3x0 + 2| < x0 5
(
)
Esta u
ltima proposicion 34 < x0 y x0 < 27 es falsa, cualquiera que sea
x0 R. Por tanto el conjunto solucion de la inecuacion es el conjunto
vaco.
2. Sea la inecuacion |3x 1| < 2x + 5.
Si x0 R,
|3x0 1| < 2x0 + 5
N
umeros reales
|x20 5x0 + 6| < 2x0 + 1 (2x0 + 1) < x20 5x0 + 6 < 2x0 + 1
7 < x20 3x0
0
4
2
(
(
x0
)
7 2
2
x0
7
2
x0
7
2
)
)
<
29
4
y x20 7x20 +
(
x0
29
2
x0 <
29
2
<
)
7 2
2
<
49
4
49
4
< 5
29
4
(
)
3 2
(la desigualdad 19
<
x
0
4
2
se cumple para todo real x0 )
<
9
4
29
2
(1
2
(7
1
2
< x0
(
7+
7
2
)
29
)
29), 12 (7 + 29) .
6. Sea la inecuacion
3x+1
x2 1
< 8.
115
N
umeros reales
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
< 8 y x20 1 = 0
) (
)
2
0 +1
< 8 y x20 1 < 0 o 3x
<
8
y
x
1
>
0
0
x2 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. Demustre que
a) Si x [2, 4], entonces 2x + 3 [7, 11].
[ 1 1]
1
b) Si x (2, 4), entonces 2x+3
11
, 7 .
3. Demustre que si x 5 [2, 2], entonces x [3, 7].
4. Pruebese que si la interseccion de dos intervalos abiertos no es el conjunto vaco, entonces dicha interseccion es un intervalo abierto.
116
N
umeros reales
3x2
< 4.
x+1
4
2
< 1x
.
14x
3.4.
N
umeros reales
a A.
118
N
umeros reales
Ejemplos:
1. Sean a, b R con a < b.
A = (a, b) como x A, a < x < b, entonces b es cota superior de A.
2. B = [a, b] como x B, a x b, entonces b es cota superior de B.
Es claro, de la definicion que si a0 es cota superior de A, entonces cualquier y a0 tambien es cota superior de A. Nos interesa la mas peque
na
o menor de las cotas superiores de un conjunto acotado supeiormente,
por lo cual daremos la siguiente:
Definici
on 3.4.2 Sea X R acotado superiormente y x0 R tal que
i) x0 es cota superior de X.
ii) Si m es cota superior de X, entonces x0 m.
Que en forma explcita sera
i) x X,
x x0 .
ii) Si x m x X x0 m.
A x0 se le llamara el supremo de X, que denotaremos por
x0 = sup X
N
umeros reales
N
umeros reales
Que son precisamente las hipotesis del axioma del supremo, lo cual nos permite asegurar que existe un n
umero real a0 tal que
a0 = sup A.
En este caso no podemos decir quien es exactamente a0 , pero su existencia
esta asegurada precisamente por este axioma.
A partir de aqu, empezaremos a aplicar el axioma del supremo en algunos
resultados.
Antes que nada, vale la pena preguntar si el tiene supremo o no. Es
claro que dado r R es cota superior del , ya que cualquier elemento del
es menor que r (por que?). Ahora supongamos que el tiene supremo,
esto significa que:
Existe a0 R tal que a0 = sup , o sea que a0 es la menor de las cotas
superiores del lo cual implica que dado cualquier a R tal que a < a0 no
puede ser cota superior del , o sea que hay al menos un elemento en el
mayor que a0 , lo cual es falso (por que?). Lo cual implica que no tiene
supremo.
Con lo cual vemos la necesidad de que los conjuntos de n
umeros reales que
estamos trabajando sean distintos del para poder aplicar el axioma del
supremo.
Ahora, supongamos que tenemos A = 0, A R, A acotado superiormente, entonces existe a0 R tal que a0 = sup A. Si b = sup A por ii) de la
definicion de supremos tenemos que
a 0 b0
b0 a0 a0 = b0 .
N
umeros reales
N
umeros reales
Por u
ltimo recordemos un poco nuestros ejemplos (3) y (4).
A = (a, b),
B = [a, b]
N
umeros reales
Definici
on 3.4.5 Sea A R A acotado inferiormente y a0 R tal que
i) a0 es cota inferior de A.
ii) a0 es la mayor de las cotas inferiores de A.
Que en forma explcita sera
i) a0 a a A.
ii) Si c a a A entonces c a0 .
Al n
umero a0 se le llamara el infimo de A, que denotaremos como
a0 = nf A
Como en el caso del supremo de un conjunto es importante observar que
el infimo de un conjunto A R es un n
umero real a0 que satisface i) y ii)
y no un conjunto. Como nos lo hacen ver los siguientes ejemplo:
8. En el ejemplo 3, a = nf (A), a = nf (B), se deja al alumno como
ejercicio, probar estas afirmaciones.
En base al axioma del supremo podemos dar el siguiente resultado.
Teorema 3.4.6 Sea A R, A = , A acotado inferiormente, entonces A
tiene infimo.
Demostraci
on: Sea A = y A acotado inferiormente, entonces y R tal
que
y a a A a y a A
definamos B = {a | a A}. Como a y a A, entonces B es acotado
y A = implica B = .
Entonces por el axioma del supremo a0 R tal que a0 = sup B. Demostraremos que a0 es el infimo de A. Para eso veremos que a0 satisface i)
y ii) de la definicion de infimo.
i) Como
a0 = sup(B) a a0 a A
a0 a a A
124
N
umeros reales
a0 = nf (A).
a A :
|a a0 | < r
Demostracion: Ejercicio.
Teorema 3.4.10 Sean A B R, A = , B = , A acotado inferiormente, entonces
nf (B) nf (A).
125
N
umeros reales
Demostraci
on: Ejercicio.
Como en el caso del supremo de un conjunto, el infimo de un conjunto
puede o no estar en el conjunto. Lo cual nos lleva a la siguiente definicion.
Definici
on 3.4.6 Sea A R. Si existe a0 A tal que a0 a a A, al
n
umero a0 se le llama el mnimo de A. Que se denotara por
a0 = mn (A).
Ejercicios 4.
1. Si A y B estan acotados superiormente, demuestre que
AB
N
umeros reales
127
Los n
umeros Naturales
N
umeros reales
5
3.5.
Los n
umeros Naturales
3
el 3/4, el 28, el 5.5, y otros mas, no merecen llamarse reales?; los
hemos usado en el mercado o durante el juego, en la escuela, o los ha usado
el m
usico o el fsico o el qumico o hasta nosotros en el tema de ecuaciones,
por ejemplo. Entonces como definirlos usando el lenguaje de nuestro sistema
axiomatico?.
Para empezar, sabemos que los n
umeros como 1, 2, 3, 4, 5, etc., constituyen la primera clase de n
umeros que construyo la cultura humana y que
hoy conocemos como el conjunto de n
umeros naturales. Distintos grupos humanos, sin aparente conexion entre ellos, como babilonios, egipcios, griegos,
romanos, aztecas, mayas, ind
ues, etc., conquistaron el n
umero natural como respuesta a problemas sociales similares determinados por el desarrollo
social hasta niveles semejantes. Aunque para cada cultura se trata de una
conquista propia prueba de ello son las grandes diferencias de formas entre
los diferentes sistemas de numeracion, su contenido esencial es el mismo y
sirvio al hombre para contar y manejar representaciones numericas de conjuntos concretos como caballos, mamutes, guerreros, mujeres, ni
nos, hormigas,
estrellas, flechas y demas. Toca a nosotros abstraer ese contenido esencial y
caracterizarlo con el lenguaje de nuestro sistema axiomatico.
Una primera idea es que, dado que los n
umeros naturales son 1, el 1 + 1
(que se denota por 2), el 2 + 1 (que se denota por 3), y as sucesivamente,
128
N
umeros reales
Los n
umeros Naturales
este conjunto de n
umeros posee ciertamente estas propiedades:
a) 1 es elemento del conjunto.
b) Si el real x es elemento del conjunto, x + 1 tambien lo es.
Sin embargo, no bastan estas dos propiedades para caracterizar al conjunto
de naturales, pues muchos otros conjuntos las comparten. Por ejemplo: R+ ,
[1, ], (3, ). A este tipo de conjuntos se les llama inductivos.
Definici
on 3.5.1 Si A R, A es inductivo si:
a) 1 A.
b) x R :
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.
129
Los n
umeros Naturales
N
umeros reales
Teorema 3.5.1
1. N es inductivo.
2. Si A es inductivo, N A.
Demostraci
on:
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.
Demostraci
on:
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 .
Demostraci
on:
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 denota de un
metodo para demostrar que ciertas propiedades son satisfechas por todos los
n
umeros naturales. El metodo puede resumirse del siguiente modo:
130
N
umeros reales
Los n
umeros Naturales
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
se conjetura que
n N :
1 + 2 + 3 + + n =
n(n + 1)
2
(3.1)
n(n + 1)
2
(3.2)
Los n
umeros Naturales
N
umeros reales
Es erroneo pensar que una proposicion del tipo n N : P (n) es verdadera solo porque P (n) es verdadera para un n
umero finito de valores de n y
no conozcamos ning
un valor de n que la haga falsa. Por ejemplo, sustituyendo n sucesivamente en la expresion 991n2 + 1, por los n
umeros 1, 2, 3, . . . ,
no se obtiene un n
umero que sea un cuadrado perfecto (el cuadrado de alg
un
n
umero natural), aun dedicandole a
nos a este calculo. Sin embargo, si de esto
se concluyera que todos los n
umeros de esta forma no son cuadrados perfectos (o sea, la veracidad de n N : 991n2 + 1 no es cuadrado perfecto),
se caera en un error porque algunos n
umeros de la forma 991n2 + 1 s son
cuadrados perfectos, pero el menor valor de n para el que esto sucede es:
n = 12, 055, 735, 790, 331, 359, 447, 442, 538, 767.
Que horror! verdad?.
Creemos que nuestros lectores a estas alturas del curso consideran ya
verdad de perogrullo la necesidad de la prueba rigurosa para aceptar la veracidad de las proposiciones logicas. En el caso de las proposiciones del tipo
n N : P (n), el metodo de induccion matematica resulta de un valor gigantesco que nos evita tener que comprobar que P (n) es verdadera al
sustituir uno por uno cada natural, en vez de la variable n.
No es uno de los objetivos de este curso entrenar al estudiante en el uso
de este metodo. Ya llevara cursos mas adecuados para ello. Solo lo usaremos
para probar otras propiedades de los n
umeros naturales que no deben pasar
desapercibidas, como el hecho de que N es un conjunto cerrado bajo la suma
y el producto. Explcitamente:
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).
132
N
umeros reales
Los n
umeros Naturales
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.
1 < m < 2.
133
Los n
umeros Naturales
N
umeros reales
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.
Demostraci
on:
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.
n < m < n + 1.
Demostraci
on: Sea A = {n N | no existe m N : n < m < n + 1}
La afirmacion (1) del corolario anterior prueba que 1 A y si n N se tiene:
n+1
/ A m N : n + 1 < m < (n + 1) + 1
m>n+12 y n<m1<n+1
m1N y n<m1<n+1n
/ A.
Por lo tanto n N : n A n + 1 A pero esto implica que n R :
n A n + 1 A porque A N, verdad?. Por lo tanto A es inductivo,
as que A = N.
Este teorema asegura que entre 1 y 2 no hay otros naturales, ni tampoco
entre 3 y 4, ni entre 4 y 5, y as sucesivamente, o sea que N consta exactamente
de 1 y los que se van generando a partir de el, por el reiterativo acto de sumar
1, es decir, N = {1, 2, 3, 4, 5, . . .}. Entonces nuestra definicion formal de N
s caracteriza al conjunto de n
umeros consentidos de todos.
Antes de continuar con otras interesantes propiedades de N, creemos oportuno comentar que a menudo un proceso inductivo es usado para formular
una definicion matematica rigurosa. Por ejemplo, si n es un n
umero natural
134
N
umeros reales
Los n
umeros Naturales
y a es cualquier n
umero real, el producto na suele entenderse como la suma
de a consigo misma, n veces. As 2a = a+a, 3a = a+a+a, 4a = a+a+a+a,
etc. Una definicion mas precisa de na sera la siguiente definicion inductiva.
Definici
on 3.5.3 Sea a R. Definimos
1. 1 a = a
2. n N : (n + 1) a = na + a.
De esta forma queda definido el producto de n por a para cada natural
n en dos pasos. El primero dice explcitamente quien es 1 a y en el segundo
se da la forma de obtener cualquier producto de un natural n + 1 por a si se
conoce el producto anterior na.
Otro ejemplo de definicion inductiva es la nesima potencia de un n
umero
real a.
Definici
on 3.5.4 Sea a R. Para cada n N definimos la n
esima pon
tencia, a , de a mediante los siguientes dos requisitos
1. a1 = a
2. n N : a(n+1) = an a.
Con esta definicion inductiva a la mano, resulta un ilustrativo y nada
difcil ejercicio demostrar estas leyes de los exponentes.
Teorema 3.5.8 Sean a, b R. Entonces
a) n, m N, an am = a(n+m) .
b) n, m N, (an )m = anm .
c) n, m N, (ab)n = an bn .
Ahora s, continuemos con otras interesantes propiedades de N.
135
Los n
umeros Naturales
N
umeros reales
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
Demostraci
on:
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.
136
N
umeros reales
Los n
umeros Naturales
Los n
umeros Naturales
N
umeros reales
ejercicio 16).
En secciones posteriores apreciaremos lo trascendente de este principio.
Mientras tanto, ah les van los
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 A B 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 de N acotado superiormente, tiene
maximo.
10. Probar que n N : 1 + 2 + 3 + + n =
138
n(n+1)
.
2
N
umeros reales
Los n
umeros Naturales
=
=
=
=
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).
14. A continuacion se demuestra que n N : n = n + 1.
Sea A = {1} {n N | n = n + 1}.
1 A por definicion de A.
Probaremos que n R : n A n + 1 A.
139
Los n
umeros Naturales
N
umeros reales
Sea n R. Entonces
nA n=n+1 y nNn+1=n+2 y n+1N
n + 1 = (n + 1) + 1 y n + 1 N n + 1 A.
Por lo tanto A es inductivo y como A N, por el principio de induccion
matematica, se tiene A = N. En donde esta el error?
15. Demuestre el principio de recursion:
Si P (n) es una proposicion abierta en N y si:
a) P (1) es verdadera.
b) [ n N : P (1) P (2) . . . P (n) P (n+1)] es verdadera,
entonces tambien es verdadera:
n N : P (n).
(Sugerencia: Defina q(n) como P (1) P (2) . . . P (n) y pruebe por
induccion matematica que n N : q(n).)
16. Usando el principio de recursion pruebe el principio del buen orden.
(Sugerencia: pruebe por recursion que si S N y S = , entonces
n N : n S S tiene mnimo)
17. Demuestre que si > 0, n N :
propiedad Arquimediana.)
}
{
:
n
N
.
18. Pruebe que 1 = sup n1
n
140
1
n
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
6
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. esp
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.
As pues, Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} y es facil ver que la suma y el producto de enteros es tambien un n
umero entero (ver ejercicio 1).
141
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
(a, a + 1) Z = .
a = b [a, a + 1) [b, b + 1) = .
Demostraci
on:
1. Sea a Z
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 = .
142
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
! a Z :
x [a, a + 1)).
(3.3)
Sea x
/ Z y supongamos que x > 0. Como x no es cota superior de
N (teorema 3.5.9), el conjunto A = {a N | x < n} es no vaco y, por el
principio del buen orden, existe n0 = mn A. Como n0 A entonces n0 N
y x < n0 . Si n0 = 1 entonces 0 < x < 1, es decir, x (0, 1) y ya!. Si n0 = 1
entonces n0 1 N (corolario del teorema 3.5.5) y como n0 1
/ A entonces
n0 1 x < n0 . Como x
/ Z, x (n0 1, n0 ) y queda probada la afirmacion
(3.3).
Ahora s, sea x R. Si x Z, x [x, x + 1). Si x
/ Z, entonces:
1. Por (3.3), x > 0 a Z : x (a, a + 1) [a, a + 1).
2. Si x < 0 entonces x > 0 y por (3.3), existe b Z tal que x
(b, b + 1), as que x (b 1, b) = (a, a + 1) [a, a + 1), donde
a = b 1.
La unicidad es inmediata de (2) del teorema 3.6.1.
Este resultado nos permite definir el concepto de parte entera de un n
umeros real.
143
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
Definici
on 3.6.3 Sea x R. La parte entera de x es el u
nico entero a tal
que x [a, a + 1). A este n
umeros lo denotaremos por [x].
[ ]
Por ejemplo [3] = 3, [3] = 3, [3.5] = 3, [3.5] = 4, [] = 3, 12 =
1.
Los teoremas 3.6.1 y 3.6.2 nos dicen que entre dos enteros b y b + 1
dados consecutivos, no hay ning
un otro entero, aunque la union de todos los
intervalos de la forma [a, a + 1) con a Z es todo R. Q en cambio s es
un conjunto bien metiche: en cualquier intervalo, por peque
no que sea, hay
un racional por lo menos. Expresado con mas formalidad presentamos esta
propiedad como:
Teorema 3.6.3 (Propiedad de densidad de Q)
Sea x, y R. Si x < y, existe r Q tal que x < r < y.
Demostraci
on: Como x < y, se tiene que y x > 0 y por la propiedad
arquimediana, existe n0 N tal que 1 < n0 (y x) y por lo tanto
n0 x + 1 < n0 y.
(3.4)
m+1
< y,
n0
con
m+1
Q.
n0
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
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,
10. b|a y a = 0 |a| |b|.
Demostracion: Solo probaremos (6), (8), (9) y (10).
(5)
a|ub y a|vc
(3)
a|uv + vc
145
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
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.
Demostracion: 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.5)
c (k + 1)M < 0.
(3.6)
y
Si c kM > 0 entonces c kM A ya que c kM 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.6). Como se vale (3.5) 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.
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 n
umero
ab
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.
147
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
Definici
on 3.6.7 Se dice que un n
umeros natural p es un n
umero primo
si p = 1 y p no es divisible entre ning
un otro natural distinto de 1 y p. Un
n
umero natural n > 1 que no es primo se llama n
umero compuesto.
As, los n
umeros primos menores que 20 son: 2, 3, 5, 7, 9, 11, 13, 17 y 19,
y los n
umeros compuestos menores que 20 son: 4, 6, 8, 9, 10, 12, 14, 15, 16,
18. Observe que, por el teorema 3.6.5, si p es primo y a|p entonces a = 1 o
a = 1 o a = p o a = p.
Ahora s, el misterioso procedimiento para descomponer un n
umero natural dado en sus factores primos consiste en ir dividiendo el n
umero progresivamente entre los primos que lo dividen, teniendo cuidado en anotar dichos
primos y los cocientes que se van obteniendo hasta que el u
ltimo cociente es
1. Por ejemplo
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.
148
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
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.7)
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
Si d = pa
, por el teorema 3.6.7, d|p y d|a pero como p es primo, d = p
m
o d = 1.
Si d = p entonces p|a (pues d|a).
Si d = 1 entonces
1=
pa
(3.7)
pa = m ab = npa b = np p|b.
m
Y un corolario de el:
Corolario 3.6.10 Si un primo p divide al producto de un n
umero finito de n
umeros enteros entonces p divide por lo menos a uno de sus
factores.
Ahora s la demostracion de 2.
Supongamos que a puede ser expresado como un producto de s primos,
digamos:
a = p1 p2 ps
(3.8)
y tambien como un producto de t primos, digamos
a = q1 q2 qt
(3.9)
(3.11)
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
supremos en R, es decir:
Si A Q, A = y A es acotado superiormente,
2
2
(1 h)
1 2h + h
1 2h
y por eso
1
2
2
2
ah
)2
2
1 2h
2
2
1 2h > 2
2
(3.13) ( )2
ah < 2.
2h < 1
2
12h
<2
Por lo tanto
A y
1h
1
> (pues
> 1).
1h
1h
152
(3.13)
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
(
)
Sea h Q tal que 0 < h < 12 1 22 . Entonces 0 < h < 1 y por eso
1 > 1 h > 0. Por lo tanto
2 > 2 1 >
1
2
2
2
2h < 1 22
1 2h > 22
2 (1 2h) > 2 ((1 h))2 > 2.
1
1
2 = 2 2b2 = 1 b2 |1 b = 1.
b
b
b = q1 . . . qt
y por (3.14)
2(q1 . . . qt )(q1 . . . qt ) = (p1 . . . ps )(p1 . . . ps ).
153
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
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.
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
4400 = 24 52 11
N
umeros Enteros, Racionales e Irracionales
N
umeros reales
d ) 22 33 5 y 24 3 52 73 .
a) 72 y 81.
b) 336 y 72.
c) 72000 y 18000.
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
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.,).
158
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
c) Pruebe que si r Q a, b Z : r =
a
b
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
2n2 = m2
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).
a
a Z y b N tales que 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
159
N
umeros Enteros, Racionales e Irracionales
24.
N
umeros reales
c a
ad + bc
2=x=y+z = + =
d b
bd
como ad + bc y bd son enteros con bd = 0, se sigue que
es una contradiccion.
2 Q, lo cual
n
a.
m
n
t
n =
Q
a
=
a
Se define para a R+ y t = m
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 .
160
N
umeros reales
N
umeros Enteros, Racionales e Irracionales
Representacion a-naria
N
umeros reales
7
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 entero,
pero siempre es factible efectuar una division con residuo como la que
c
haciamos en la primaria para obtener un cociente y un residuo: 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), o sea 1862 das, los cua260
)
(
7 | 1826 . Al cabo de las 260 semanas
les forman 260 semanas y 6 das
42
06
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.
162
N
umeros reales
Representacion a-naria
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
0 r < |b|.
a
< c + 1 bc a < bc + b.
b
(3.15)
(3.16)
Por 3.15 y 3.16, 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||c c | = |r r|, as que |b||c c | < |b| y por consiguiente 0 6 |c c | < 1.
Como |c c | Z, |c c | = 0 (por Teorema 3.6.1), o sea, c = c . De 3.15 y
3.16 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:
163
Representacion a-naria
N
umeros reales
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
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
a
dividir a entre b, es precisamente b , 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.
[a]
.
c
N
umeros reales
Representacion a-naria
Proposicion 2 del libro VII de los Elementos del gran Euclides. Quiza desde
entonces se llama Algoritmo de Euclides, y consiste en lo siguiente.
Sean a y b n
umeros naturales. Por el algortmo de la division
a = bq1 + r1 ,
0 6 r1 < b.
(3.17)
b = r1 q2 + r2 ,
(3.18)
0 6 r3 < r 2 .
(3.19)
r2 |bq1 + r1 = a.
Representacion a-naria
N
umeros reales
a = bq1 + r1 ,
0 < r1 < b
b = r1 q2 + r2 ,
0 < r2 < r1
r1 = r2 q3 + r3 ,
0 < r3 < r2
()
..
..
.
.
rk2 = rk1 qk + rk ,
0 < rk < rk1
r
=
r
q
.
k1
k k+1
Entonces rk , el u
ltimo residuo diferente de cero, es el maximo com
un divisor
de a y b.
Demostraci
on: 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 12 (f) pagina ??,
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
697 = 657 1 + 306
657 = 306 2 + 45
306 = 45 6 + 36
45 = 36 1 + 9
46 = 9 4
Por lo tanto, m.c.d. (963, 657) = 9.
Observemos que para hallar el maximo com
un divisor de dos enteros
166
N
umeros reales
Representacion a-naria
Representacion a-naria
N
umeros reales
decimal tardo mucho en ocupar la posicion dominante que tiene actualmente. En distintos perodos historicos, muchos pueblos emplearon sistemas de
numeracion diferentes del decimal.
En la Babilonia antigua (2000 a. de C., aproximadamente), cuya cultura
era bastante elevada, exista un sistema sexagesimal (de base 60) del que
subsisten en la actualidad la division de la hora en 60 minutos de 60 segundos
cada uno, y de la circunferencia en 360 grados.
El sistema de base 60 tena un inconveniente derivado de su amplia base.
Para representar cada n
umero desde 1 hasta 59 (no conocan el cero), los
mesopotamios tuvieron que idear 59 smbolos diferentes. Nadie, ni siquiera
los sumerios y babilonios que habitaron Mesopotamia, quiso jamas aprender
de memoria 59 nombres y 59 smbolos diferentes. Para superar esta dificultad
utilizaron combinaciones de dos smbolos cuneiformes: uno que representa al
1, y otro que representa al 10: . As:
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: la posicion
inicial o de unidades (kines) tiene un cero en ella; la segunda posicion (de
las veintenas o uinales) tiene un uno en ella. El n
umero completo se lee de
arriba abajo como 1 20 + 0 = 20:
Uinales
1 20 =
kines
01
168
20
+
0
20
N
umeros reales
Representacion a-naria
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 204
0 203
0 202
0 20
01
= 160 000
=
0
=
0 +
=
0
=
0
160 000
(3.21)
(3.22)
Representacion a-naria
N
umeros reales
102
20 | 2051
051
11
(3.23)
o sea: 102 = 5 20 + 2
(3.24)
o sea: 5 = 0 20 + 5
(3.25)
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.21):
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:
N
umeros reales
Representacion a-naria
los n
umeros r0 = 13, r1 = 11, r2 = 2 y r5 = 5 que acompa
nan a las potencias de 20, son precisamente los residuos que se van obteniendo al aplicar
reiteradamente el algoritmo de la division.
En el procedimiento descrito para escribir 41033 en la forma (3.21), o sea
en base 20, bien puede hacerse si comenzamos, en vez de con 20 un n
umero
natural a mayor que 1 y, en vez de con 41033, con cualquier n
umero natural
n:
Aplicando el algoritmo de la division, tendramos:
0 r0 < a
n = a q 0 + r0 ,
(3.26)
q0 = a q1 + r1 ,
(3.27)
q1 = a q2 + r2 ,
(3.28)
q2 = a q3 + r3 ,
(3.29)
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.30)
Representacion a-naria
N
umeros reales
(3.31)
(3.32)
(3.33)
(3.34)
(3.35)
N
umeros reales
Representacion a-naria
y
n = a(al1 sl + al2 sl1 + + s1 ) + s0
Como 0 r0 < a y 0 s0 < a, r0 y s0 son los residuos que se obtienen al
aplicar el algoritmo de la division para dividir n entre a. Pero el residuo que
se obtiene al aplicar tal algoritmo es u
nico, as que r0 = s0 . Como tambien
es u
nico el cociente, se tiene:
ak1 rk + ak1 rk1 + + r1 = al1 sl + al1 sl1 + + s1 ,
o sea:
a(ak2 rk + + r2 ) + r1 = a(al2 sl + + s2 ) + s1
y nuevamente, por la unicidad del cociente y del residuo que afirma el teorema
3.7.1, obtenemos:
r1 = s1
y
ak2 rk + + r2 = al2 sl + + s2
y as sucesivamente. Damos al lector la posibilidad de que termine la demostracion el mismo. esp
Resumamos nuestros comentarios en este importante teorema sobre la
representacion de n
umeros naturales:
Teorema 3.7.4 Sea a un n
umero natural mayor que 1. Entonces todo n
umero natural n puede ser representado de manera u
nica en la forma
n = rk ak + rk1 ak1 + + r1 a + r0 ,
donde k es alg
un entero no negativo y r0 , r1 , . . . , rk son enteros no negativos
menores que a.
Definici
on 3.7.2 Sean a y n como en el teorema 3.7.4. En la expresion
n = rk ak + rk1 ak1 + + r1 a + r0 ,
0 ri < a,
Representacion a-naria
N
umeros reales
(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.
Suele solucionarse este problemar escribiendo entre parentesis los dgitos mayores que 10. As:
(160 000)10 = ((44)(26)(40))60 .
El n
umero 41 033 que maya se escribira:
nosotros as:
(5 2 (11)(13))20 .
N
umeros reales
Representacion a-naria
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
Representacion a-naria
N
umeros reales
(23651)8
+(17043)8
b)
(42714)8
(423)6
(1341)6
(521)6
(3125)6
N
umeros reales
Representacion a-naria
(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
10 12 14
10 13 20 23
12 20 24 32
14 23 32 41
177
Representacion a-naria
N
umeros reales
178
N
umeros reales
Representacion a-naria
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.
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
179
Representacion a-naria
N
umeros reales
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
15 ordenes binarios). 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 ),
donde rk ak + + r1 a + r0 es la representacion anaria del natural m.
Y . . . Cual sera la representacion anaria de un n
umero racional que no
fuera entero?, o acaso los quebrados no tienen este tipo de representacion?.
Veamos el caso de la representacion decimal.
Cuando se habla de representacion decimal, no solo se piensa en la de los
n
umeros enteros, sino que tambien nos vienen a la mente expresiones como
estas:
1.04, 311.001, 11.9999, 3.1416,
en donde aparece el famossimo punto decimal. Al igual que en el caso de la
representacion decimal de enteros, las expresiones con punto decimal tienen
que ver con las potencias de 10. En nuestro ejemplo se tiene:
0
4
1.04 = 1 +
+
= 1 + 0 101 + 4 102
10 100
311.001 = 3 102 + 1 10 + 1 +
0
10
0
102
1
1000
N
umeros reales
Representacion a-naria
(
11.999 = 1 10 + 1 +
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.36)
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.
La expresion (3.36) se denota por:
bk bk1 bk2 b1 b0 c1 c2 cl
Es facil ver que toda fraccion decimal se puede escribir en la forma
donde d Z y m N, pues si:
d
,
10m
(bk bk1 b0 c1 cl )
10l
d
,
10m
181
Representacion a-naria
N
umeros reales
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
2m 5m a
d
= m m = m .
b
2
5
b
10
N
umeros reales
Representacion a-naria
con d Z y m N
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
Representacion a-naria
N
umeros reales
(1.2)2 = 1.44,
(1.4)2 = 1.96,
Entonces
tenemos
(1.3)2 = 1.69,
(1.5)2 = 2.25
As 1.41 <
(1.41)2 = 1.9881,
(1.42)2 = 2.0664.
2 < 1.42
(1.411)2 = 1.990921,
(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.
2 < 1.4143
1
2 1.41421 < 1.41422 1.41421 = 0.000011 = 5
10
N
umeros reales
Representacion a-naria
mx<m+1
(a0 )
0xm<1
(b0 )
y por lo tanto
Sea ahora q1 el entero tal que
m+
Como m +
q1
10
x<m+
q1
10
q1
q1
1
x<m+
+
10
10 10
+
1
10
q1 10(x m) < q1 ,
(a1 )
q1 es
q1 = [10(x m)]
(b1 )
(c1 )
(
1
q1 )
<
0x m
10
10
(d1 )
q1
q2
q1
q2
1
+
x<m+
+
+
10 10
10 100 100
(a2 )
[
(
(
q1 ))]
q2 = 100 x m +
10
(b2 )
0 q2 < 10
(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+
q2
qk
q1
qk
1
q1
+
+ + k x < m +
+ + k + k
10 100
10
10
10
10
185
(ak )
Representacion a-naria
N
umeros reales
Lo cual equivale a:
[
(
(
qk1 ))]
q1
qk = 10k x m +
+ + k1
10
10
(bk )
0 qk < 10
(ck )
q1
qk )
1
0x m+
+ + k < k
10
10
10
(dk )
qk
q1
+ + 10
se aproxima a x
Entonces para cada k N, el racional m + 10
k
1
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 x
k . Es f
es una fraccion decimal si y solo si para alguna k N, x = Rk y en este caso
qk+1 = qk+2 = . . . = 0.
donde 0 r0 < b
186
(a0 )
N
umeros reales
Representacion a-naria
(
)
a
m b + r0
r0
r0
=
=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 es
b
otra cosa que el cociente que resulta de dividir 10r0 entre b.
donde 0 r1 < b
10r0 = b q1 + r1 ,
(a1 )
(b1 )
Entonces
(a
r1
q1 ))
q1 )
10r1
= 100
= 100
100 x m +
m
=
.
10
b
10
10b
b
))]
[
(
(
q1
entonces q2 es el cociente que se
Por eso, como q2 = 100 x m + 10
obtiene al dividir 10r1 entre b:
(
10r1 = b q2 + r1 ,
0 r2 < b
(a2 )
m
+
+
= b 2 , y por lo tanto
10
100
]
10r2
q3 = b resulta ser el cociente que resulta de dividir 10r2 entre b
x=
10r2 = b q3 + r3 ,
187
0 r3 < b
(a3 )
Representacion a-naria
N
umeros reales
(ak )
0 rk < b
y que
x=
a
q1
q2
qk
rk
= m+
+
+ k+ k
b
10 100 10
10 b
rk
= (m . q1 q2 qk ) + k
10 b
(3.37)
a
q1
qk
=m+
+ + k,
b
10
10
()
()
(ai+1 )
(ai+2 )
..
.
(aj )
(aj+1 )
..
.
10r
i+k1 = b qi+k + ri
{
()
10r
i+k1 = b qi+k + ri+k = b qi+k + ri
(a2 )
10r1 = b q2 + r2
(aj+k )
(aj+k+1 )
..
.
N
umeros reales
Representacion a-naria
4.
40
50
10
30
20
60
4
Representacion a-naria
N
umeros reales
As que
7
= 0.23
30
Ejercicios 7.
1. Halle en cada inciso el cociente y el residuo que resultan de dividir a
entre b
(a) a = 3111, b = 212;
N
umeros reales
Representacion a-naria
(21031)4 ,
(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) (1214)6 + (51015)6 ;
5
4 2
4 2
Apendice 1
N
umeros reales
11.
5
,
24
25
.
128
13. Halle una fraccion decimal que se aproxime a 5 con un error menor
que 1014 .
6
,
125
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.
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.
192
N
umeros reales
Apendice 1
(1) a = b a = b a2 = b
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)
Apendice 1
N
umeros reales
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)
(|a| = a < c) (|a| = a < c) |a| < c.
a > c a < c a > c > 0 a < c 6 0 (|a| = a > c) (|a| a >
c) |a| > c.
Entonces las premisas del siguiente razonamiento valido son verdaderas
y, por consiguiente, la conclusion tambien es verdadera
(a = c a = c) (c < a < c) (a > c a < c)
|a| = c |a| < c |a| > c
(a = c a = c) |a| = c
(c < a < c) |a| < c
(a > c a < c) |a| > c
(|a| = c (a = c a = c)) (|a| < c (c < a < c)
(|a| > c (a > c a < c))
194
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 al esta fuerza y P al peso
del volumen del lquido desplazado, el principio de Arqumedes queda
195
Introduccion
Funciones
(4.1)
Funciones
Introduccion
l1 M 1
k
=
M
M
(4.2)
197
(4.3)
Introduccion
Funciones
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
MM
F =G 2
r
(4.4)
gt2
2
(4.5)
Funciones
Introduccion
k
.
l
La formula (5) expresa S en funcion de t, es decir, t, es la variable independiente y S es la variable dependiente. Se puede considerar a S como la
variable independiente y a t como la variable dependiente?, es decir, Podemos expresar a t en funcion de s?. La respuesta a esta pregunta es No, si no
restringimos los valores que puede tomar t, ya que para cada valor de S hay
dos (y no uno) valores de t que satisfacen la ecuacion (5), a saber
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
y as S es la variable independiente y t es la variable dependiente.
Por medio del calculo (diferencial e integral) se resuelven algunos problemas tpicos en los que es esencial percibir las variables comprendidas en
199
Introduccion
Funciones
40 - 2 x
40 cm
(4.6)
Funciones
Introduccion
La aplanamos
2pr
Encontramos la
superficie del
rectngulo
r2
|{z}
r2
|{z}
area de la tapa
+ |2{zr h} ,
area lateral
es decir,
A = 2r2 + 2rh.
(4.7)
Introduccion
Funciones
(r y h medidas en cm).
valor
(4.8)
(4.8)
(4.9)
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
(G constante).
2. Dada la formula F = G MrM
2
a) Cuales pueden ser las variables dependientes?
b) Si r = 0, la formula asigna a F un valor?
c) Que restriccion se le debe imponer a r para que F sea funcion de
r (y de M y M )?
d ) Que restricciones se les debe imponer a r y a F para que r sea
funcion de M , M y F ?
3. En cuales de las siguientes relaciones se define y como funcion de x?
202
Funciones
a) |x y| = 0.
b) |x y| = 1.
c) y = 1 x2 .
d ) x = 1 y2.
e) x2 + y 2 = 1.
f ) x2 + y 2 = 1.
4.2.
Funciones
A(r) =
2r3 + 2000
r
204
Funciones
2r3 + 2000
,
r
A(1) =
2+2000
1
A(2) =
16+2000
2
r = 0.
Se tiene tambien
= 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
.
b
(x t).
at
205
Funciones
(0, s )
(a, b )
(t ,0)
bt
.
ta
bt
,
at
bt
ta
es la expresion algebraica
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
206
Funciones
que es la posicion del punto P . Esta regla tambien sera funcion para nosotros.
En nuestro ejemplo (4) de la pagina 198, F , la fuerza con que se atraen
dos cuerpos es funcion de las masas M , M de ellos y de la distancia r que
los separa. La funcion f que expresa esta relacion, se escribe algebraicamente
as
MM
F = f (M, M , r) = G 2 ,
r = 0.
r
Independientemente de las interpretaciones fsicas de M , M , r y F , y si
denotamos por R3 al espacio (R3 = {(x, y, z) | x, y, z R}) f es una regla
que a cada punto de R3 {(x, y, 0) | x, y R} le asocia un n
umero real (el
xy
real f (x, y, z) = G z2 ). f sera tambien una funcion.
As mismo, podemos describir el movimiento de un cuerpo en el plano o
en el espacio mediante funciones que nos hagan ver como depende la posicion
de un cuerpo del instante en que se encuentre. Por ejemplo:
A cada valor de t en los reales le podemos asignar un u
nico punto P del
plano dado por la regla
P = f (t) = (t, t2 ).
Si se interpreta a t como el tiempo, f describe la localizacion de P en el
tiempo t.
En los ejemplos (3) de la pagina 205 y en el ejemplo del cicliode de
la pagina 206, vimo que para definir una funcion no es necesario hacerlo
mediante una formula algebraica. El concepto de funcion es mas amplio que
el de formula; ademas, como advertimos en el u
ltimo ejemplo, incluiremos
como funciones reglas que no necesariamente a cada n
umero real otro n
umero
real.
Y ahora, antes de que otra cosa suceda, daremos la siguiente definicion.
Definici
on 4.2.1 Una funci
on es una regla que asocia a cada elemento de
un cierto conjunto A un u
nico elemento de un conjunto B. Al conjunto A
suele llamarsele dominio de la funci
on y al conjunto B codominio (o
contradominio) de la funci
on.
207
Funciones
208
Funciones
Ejemplos:
1. La funcion idA : A A tal que para cada a A, idA (a) = a. Aqu A es
un conjunto cualquiera. Esta funcion es llamada funci
on identidad
en A.
2. Si C A, la funcion j : C A tal que para cada c C, j(c) = c, se
llama la inclusi
on de C en A.
3. Si A y B son conjuntos no vacos y b0 B, podemos definir una funcion
g : A B tal que para todo a A, g(a) = b0 . Tal funcion es llamada
funci
on constante b0 .
4. Si f : A B es una funcion y C A, entonces tambien es funcion
g : C B tal que g(c) = f (c) para toda c C. Esta funcion se llama
la restricci
on de f a C y se denota por f |C .
Ahora, dada una funcion f : A B la naturaleza de los conjuntos A y
B esta estrechamente relacionada con la regla de correspondencia f :
El dominio de una funcion debe ser un conjunto tal que si x es un elemento
de el debemos poder asignarle a x, mediante la funcion, un elemento bien
definido (y u
nico) del codominio B.
Ejemplos:
1. Si f es la funcion dada por la formula
S = f (t) =
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.
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
209
Funciones
2r3 + 2000
r
Funciones
Funciones
y x > 2,
o como
2<w <3
1
y2
25
4
} [
)
2
2
= , .
y R| y
5
5
A este conjunto se le conoce como la imagen de h. En general tenemos la
siguiente definicion.
212
Funciones
Definici
on 4.2.2 Sea f : A B una funcion. Al conjunto
Im f = {f (x) : x A}
se le llama la im
agen de f .
Ejercicios 2.
1. Use la regla f (L) = 7L +
48
L
para encontrar
g) f (x + h)
j ) f (4)
b) f (5)
d ) f ( 2)
e) f (3 + 2)
h) f ( 2 )
k ) f (4t)
c) f (x)
f ) f (3 + h)
i) f (x2 )
l ) f (8/7)
a) f (4)
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).
213
Funciones
{
L(p) =
V si p es verdadera
F si p es falsa
a) y = 3x 7
1
b) y = x4
c) w =
d) y =
1
(z8)(z+5)
1
2x2 3x5
214
Funciones
0
si x = 1 o x = 1.
Calcular {f (x) | x [0, 1]}, {f (x) | x [1, 0]},
{f (x) | x [1, 0) (0, 1]}, y la Im f .
215
Igualdad de funciones
Funciones
3
4.3.
Igualdad de funciones
Funciones
x2 1
x1
g(x) = x + 1
4.4.
Gr
afica de una funci
on
Funciones
Funciones
Y
(4,6)
6
5
4
3
2
1
(3,4)
(1,3)
(5,5)
(6,4)
(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 1
6 8, 8
1 2
3 4
219
16,
16
16
Funciones
3 0
-1 -2 -3
3 0
(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
220
Funciones
(0,1)
1
1,
4
1
2,
121
-3
-2
-1
1
3,
676
Figura 4.1: gr
afica de los puntos de la tabla 4.1
Al unir los puntos marcados con una lnea continua obtenemos la grafica
4.2.
Y
(0,1)
1
1,
4
1
2,
121
-3
-2
-1
1
3,
676
3
Figura 4.2: Gr
afica obtenida al unir los puntos de la fig. 4.1
Funciones
Y
-3
-2
-1
x2 + y2 = 5
(2,1)
(2,-1)
Funciones
(2,1)
223
Funciones
224
Funciones
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 intersecta
225
Funciones
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.
c) h(x) = (x 1)2
{
x si x 0
d ) g(x) =
x
si x 0
a) y = x2
b) f (x) = 3x + 2
226
Funciones
si x 0
si x 0
1
-1
1
-1
227
Funciones
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
228
Funciones
Composicion de funciones
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 g f tambien
lo es, esto es, la regla g f tiene las propiedades que definien una funcion.
2) Dadas cualesquiera dos funciones f y g, no necesariamente se puede hablar
de la funcion composicion g f , como lo muestra el siguiente ejemplo: si
f : R R esta dada por f (x) = x y g : R+ {0} R es tal que
229
Composicion de funciones
Funciones
Funciones
Composicion de funciones
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
: R R tales que Im g = R e
231
Composicion de funciones
Funciones
4. De la regla de definicion de g f : R R si
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 ).
232
Funciones
Funcion inyectivas
6
4.6.
Funcion inyectivas
(a, a A).
Funcion inyectivas
Funciones
Ejemplos:
1. Sea f : R R definida por f (x) = 2x + 5. Afirmamos que esta funcion
es inyectiva. En efecto, si f (x) = f (x ), entonces 2x + 5 = 2x + 5 y,
por consiguiente 2x = 2x y por tanto x = x .
2. Mas generalmente, dados a, b R, a = 0 fijos, la funcion lineal
f : R R dada por f (x) = ax + b, es inyectiva pues si f (x) = f (x ),
ax + b = ax + b ax = ax y como a = 0 se concluye que x = x .
3. En cambio ninguna funcion cuadratica del tipo f (x) = ax2 + b con
a = 0 puede ser inyectiva, dado que cualquiera que sea x R, tenemos
que f (x) = f (x), y si x = 0, x = x.
4. La funcion identidad idA : A A es claramente inyectiva (esta usted
de acuerdo?). Analogamente, si A B, la funcion inclusion i : A B
dada por i(a) = a es inyectiva.
5. En cambio la funcion valor absoluto f : R R dada por f (x) = |x|
no es inyectiva; por ejemplo f (1) = f (1) = 1. Pero si se define f1 :
R+ R como f1 (x) = f (x) = |x| entonces f1 s es inyectiva Puede
usted, paciente lector, explicar por que?
Para funciones f : R R puede comprobarse si son o no inyectivas
observando su grafica, de la siguiente manera:
Si alguna recta horizontal corta a Gf en mas de un punto, dicha funcion
no puede ser inyectiva y recprocamente.
Para ver que esto es cierto, recordemos que
Gf = {(x, f (x)) | x R}
y que cada recta horizontal es un conjunto de puntos en el plano de la forma
(x, a), donde x R y a es constante. Estas rectas pueden representarse
234
Funciones
Funcion inyectivas
Funcion inyectivas
Funciones
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|
Funciones
Funcion inyectivas
Y
2n 1
n
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 )?
Funciones suprayectivas
Funciones
4.7.
Funciones suprayectivas
238
Funciones
Funciones suprayectivas
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
yb
ver que una tal x debe satisfacer que x = a (despejando x).
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
f (x) = x2 3x + 2 = (x 2)(x 1). Analizando los factores (x 2)
y (x 1), podemos ver que
(x 2) 0
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.
239
Funciones suprayectivas
Funciones
o bien que x = 3 y2
. El estudiante puede verificar
7
( )
entonces que f 3 y2
= y, es decir, f es suprayectiva.
7
a que x3 =
y+2
7
Funciones
Funciones suprayectivas
1
2
no la corta.
y=
1
2
Funciones suprayectivas
Funciones
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?
3. Estudie la grafica de f para decidir.
a) Si f es inyectiva
b) Si f es sobreyectiva
donde f : R R esta dada por
{
x+2
f (x) =
x
4. Definimos f : R (0, 1] por f (x) =
inyectiva? Argumente su respuesta.
si 2 x
si x < 2.
x2
.
x2 +1
Es f suprayectiva?, es f
Funciones
Funcion biyectivas
4.8.
Funcion biyectivas
dada por
f (n) = 2n.
dada por
f (x) = |x|.
dada por
f (x) = |x|.
243
Funcion inversa
Funciones
9
4.9.
Funci
on inversa
Funciones
Funcion inversa
f (x) = y 3x + 1 = y x
y f 1 =
y1
3
y1
3
es la formula buscada.
y1
Funcion inversa
Funciones
y 1.
fica de la funcio
n
Para finalizar esta seccion hablaremos de la gra
inversa.
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
( y) = x
( f ( x), x )
246
f ( y) = x
Funciones
Funcion inversa
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)).
c) x R encuentre g(g 1 (x)) y g 1 (g(x)).
4. Determine el dominio maximo en el que la funcion f (x) = x2 + 4 tiene
inversa. Determine esta.
247
Funcion inversa
Funciones
(r, r R).
248
si existe f 1.
Funciones
4.10.
(a, a )
(a,0)
X
(a,-1)
Funciones
o bien
G = {(x, y) R2 | y = f (x) + g(x), x R},
con lo cual vemos que si simbolizamos por h a la funcion real cuya grafica es
G, esta cumple:
1. h : R R.
2. la regla de correspondencia es h(x) = x2 + (1).
Observamos que para obtener cada imagen de h, basta sumar en R las
respectivas imagenes de f y g para cada x R y que por esta razon se
acostumbra decir que la funcion h es la funcion suma de f y g.
Lo hecho hasta aqu, bien puede realizarse considerando un par de funciones reales arbitrarias f y g con tal de que ambas tengan el mismo dominio,
aprovechando que cada imagen de f y g son elementos de R y en R se puede
sumar.
Consideremos la coleccion A de todas las funciones reales con dominio
com
un un subconjunto de R, esto es:
A = {f | f : A R},
A R.
Funciones
Ahora, igual que hicimos para definir la suma de funciones reales, intentaremos definir el producto. Para ello consideremos el conjunto de R2 definido
as:
T = {(a, (1)a2 ) | a R}
cuya definicion, como se ve esta ligada a las funciones reales f (x)2 y g(x) =
1. Una descripcion como la hecha para el conjunto G, nos lleveara a que
el conjunto T es la grafica de alguna funcion t, a saber:
t:RR
cuya grafica se puede obtener a partir de la grafica de f , simplemente considerando que la segunda coordenanda del punto (a, (1)a2 ) de la grafica
de t, se obtiene multiplicando en R las segundas coordenadas de los puntos
(a, a2 ) y (a, 1).
Y
(a, a )
(a,0)
X
(a,-a )grfica de t
AR
251
Funciones
Definici
on 4.10.2 Sean f, g A. La funcion producto f g es otra funcion
de A en R definida por (f g)(x) = f (x)g(x).
Por ejemplo, si f (x) = x2 y g(x) = x3 entonces
(f g)(x) = f (x)g(x) = x2 x3 = x5 .
Y si A
= {x R | x 1} y f, g : A R son tales que f (x)
=
x1 y
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.
Observaci
on: 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.
Siguiendo con el programa tenemos a bien presentar las siguientes propiedades que se verifican para elementos de A:
Sean f, g, h elementos de A y r, s R, entonces:
1. f + g A.
252
Funciones
2. f + g = g + f .
3. (f + g) + h = f + (g + h).
4. O : A R denota la funcion tal que O(x) = 0 para toda x A,
entonces O A y para toda f A,
f + O = f.
5. Si f A, definiendo f : A R tal que (f )(x) = f (x), se tiene
f A y f + (f ) = O.
6. f g A.
7. f g = g f .
8. Si 1l : A R es tal 1l(x) = 1 x A, se tiene que 1l A y que f A
1l f = f .
9. (f g) h = f (g h).
10. rf A.
11. 1 f = f .
12. (r + s) f = r f + s f .
13. r(f + g) = r f + r g.
14. r (s f ) = (r s) f .
15. h (r g) = (r h) g = r (h g).
16. f (g + h) = f g + f g.
Como ejemplo demostraremos la propiedad (12) (recomendamos al educando que haga las demostraciones de las restantes propiedades). Veamos
entonces que:
(r + s) f = r f + s f.
Tomemos x A, entonces
253
Funciones
(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)
es un cociente de n
umeros reales, en tanto
Observese que la expresion fg(x)
f
que g es nuevamente convencional. La dificultad a la que nos enfrentamos es
la posibilidad de existencia de elementos x0 A para los cuales g(x0 ) = 0,
(x)
ya que para estos elementos la expresion fg(x)
carece de sentido. Nos vemos
entonces obligados a cambiar el dominio de la funcion fg , eliminando del
conjunto A aquellos x0 que verifiquen: g(x0 ) = 0.
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}.
254
Funciones
x A B.
f
g
sera:
f
: R B R tal que
g
La expresion
y x = 1.
x3 +1
x2 1
f
f (x)
x3 + 1
(x) =
= 2
.
g
g(x)
x 1
siempre es un n
umero real si x R B pues x = 1
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 ).
Funciones
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|,
6. Sea f (x) = x2 . Hallar los x R que verifiquen cada una de las siguientes
ecuaciones:
a) f (x) = f (x).
b) f (y) = 7f (x) + (y x)(y + x).
c) f (x + h) f (x) = 2x + h2 .
d ) f (2y) = 4f (y).
e) f (z 2 ) = (f (z))2 .
f ) f (a) = |a|.
7. Es posible hacer el cociente
f
g
si g = O?
11
4.11.
Funciones
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
2
f (x) = a0 + a1 x + a2 x + + an xn .
257
Funciones
(- 1,2)
grfica de f
grfica de g
-1
2
X
-1
-1 -1
,
2 4
(1,-2)
(a)
(b)
(
)
Al punto 12 , 41 de la primera figura se le acostumbra llamar un valle
o mnimo de la funcion f y en la figura (b) al punto (1, 2) una cumbre o
maximo de la funcion, que en este caso llamamos g. (la obtencion de valles
y cumbres sera un tema de estudio del curso de calculo).
La grafica de un polinomio de grado n tiene a lo mas n 1 cumbres y/o
valles, es decir, en general, la grafica de un polinomio tendra el siguiente
aspecto, o algo parecido.
En la primera figura se muestra un polinomio de grado par y en la del
lado derecho uno de grado impar; la diferencia, que por cierto no probaremos,
radica en que las funciones polinomiales de grado par no son suprayectivas y
las de grado impar s lo son.
En los siguientes ejemplos analizaremos las as llamadas funciones lineales
y las funciones cuadraticas, que son casos especiales de funciones polinomia258
Funciones
les.
Ejemplos:
1. Sea f (x) = ax + b con a, b R y a = 0 un polinomio de grado 1, cuya
grafica es una recta:
a) Si b = 0, entonces f (x) = ax esta representado graficamente por
una recta en R2 que pasa por (0, 0). Si a = 1 tenemos la funcion
identidad en R cuya grafica es una recta que forma un angulo de
450 en el primer cuadrante con el eje X y si a = 1 las siguientes
figuras muestran las posibles rectas.
a =1
a =1
0 < a <1
Funciones
a < -1
a = -1
a =1
a >1
-1 < a < 0
a = -1
pendiente a. La u
nica diferencia con el caso anterior es el punto
de interseccion con el eje Y : f (x) = ax lo intersecta en (0, 0)
mientras que f (x) = ax + b en (0, b). Se deja como ejercicio para
el estudiante que grafique estas funciones como se hizo en al caso
(a).
2. Sea ahora f : R R dada por f (x) = ax2 + bx + c con a, b, c R y
a = 0 que es conocida como funcion cuadratica.
a) Supongamos que b = c = 0. Como ya vimos, la funcion potencial
tiene como grafica una parabola que abre hacia arriba, de donde
obtenemos que la grafica de f (x) = ax2 es una parabola que abre
hacia arriba si a > 0 y hacia abajo si a < 0 tal como se muestra
en la figura siguiente.
b) Supongamos que c = 0. Entonces
(
)
f (x) = ax2 + bx = a (x2 + ab x
( b )2
= a x2 + ab + 2a
(
)
2
b 2
b
= a x + 2a
.
4a
260
b2
4a2
Funciones
(x,2 x )
(x, x )
(x,- 12 x )
2
(x, 12 x )
2
(x,- x )
X
(x,-2 x )
(
por lo tanto f (x) = a x +
2
b
b que tambi
en tiene como grafica
2a ( 4a
)
2
b
b
, 4a
y este punto es un valle
en 2a
a>0
- b - b2
,
2a 4a
- b - b2
,
2a 4a
a<0
Funciones
grfica de f
grfica de f
b2
2a
si a > 0
f (x) c
2
b2
4a
si a < 0.
2
b
b
Por lo tanto, si elegimos k R tal que k < c 2a
si a > 0 y k > c 4a
si
a < 0 se tiene que no existe x R tal que f (x) = k y en consecuencia f no
es sobreyectiva.
262
Funciones
2
2
2x 1 = y 2x = y + 1 |x| = y+1
2
y+1
x=
.
2
(recuerde usted que x R+ ). Entonces concluimos que g es sobreyectiva y ya sabamos que era inyectiva, en consecuencia existe
su funcion
y+1
.
2
Definimos ahora otro tipo de funciones que estan intimamente 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
263
g(x) = 0}.
Funciones
Definici
on 4.11.3 Sean f (x) = an xn + + a1 x + a0 , an = 0 y
g(x) = bm xm + + b1 x + b0 , bm = 0 polinomios cualesquiera. A la funcion
h : R A R definida por
h(x) =
an xn + + a1 x + a0
f (x)
=
g(x)
bm x m + + b1 x + b0
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
Funciones
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.
Funciones
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.
Funciones
grfica de f
1
grfica de f 2
grfica de f1
1
-1
-1
-1
-1
inyectiva (Por que?); por tanto no tiene inversa. Sin embargo, si definimos
g : (, 1) R+ dada por g(x) = f (x)= x2 1 esta si tendra inversa
cuya regla de correspondencia es g 1 (y) = 1 + y. Una vez mas dejamos al
lector que compruebe estas afirmaciones.
Funci
on M
aximo Entero.
Recordemos que una propiedad de los n
umeros reales, vista en el captulo
anterior, versa as.
x R,
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
267
Funciones
es decir,
f (x) =
..
.
1
0
1
..
.
si
si
si
1x<0
0x<1
1x<2
...
1
0
g(x) =
...
si
si
si
15 x < 0
0 x < 51
1
x < 52
5
Funciones
2
1
2
1
5
5
1
5
2
5
3
5
-1
-2
x 1 si
1x<0
x
si 0 x < 1
r(x) =
x + 1 si 1 x < 2
x + 2 si 2 x < 3
..
.
y por lo tanto, la grafica de r es la siguiente:
2
1
-3
-2
-1
1
-1
-2
-3
Ejercicios 10.
269
Funciones
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
2
x +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.
Funciones
271