Calculo Diferencial

Esta edicin es un borrador, se difunde por tiempo limitado para efectos de recabar comentarios.
Prohibida su modificacin, copia o distribucin. https://tienda.lopezmateos.com.mx
Lpez
Mateos
editores
Manuel Lpez Mateos
Clculo diferencial
e integral
ISBN En trmite
Informacin para catalogacin bibliogrfica:
Lpez Mateos, Manuel.
Clculo diferencial e integral/ Manuel Lpez Mateos 1a ed.
p. cm.
ISBN En trmite
1. Matemticas 2. Anlisis matemtico 3. Clculo 4. Diferencial 5. Integral 6.
Aplicaciones I. Lpez Mateos, Manuel, 1945- II. Ttulo.
Todos los derechos reservados. Queda prohibido reproducir o transmitir todo o
parte de este libro, en cualquier forma o por cualquier medio, electrnico o mecnico, incluyendo fotocopia, grabado o cualquier sistema de almacenamiento
y recuperacin de informacin, sin permiso de Lpez Mateos Editores, s.a. de
c.v.
Producido en Mxico
Lpez
Mateos
editores
Borrador 1, 2014, en Lpez Mateos Editores

c
2014
Lpez Mateos Editores, s.a. de c.v.
Ave. Insurgentes Sur 1863-301
Guadalupe Inn
lvaro Obregn, D. F.
C.P. 01020
Mxico
lopezmateos.com.mx
ISBN En trmite
(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

(pagina vii)
CONTENIDO
PRESENTACION
CAPITULO 0
INTRODUCCION
1.
2.
3.
4.
5.
6.
7.
8.
Calculos y piedras
1
Tangentes
3
Areas
6
Mas y mas cerca
8
Puntos y n
umeros
10
Estar o no estar
11
Presentacion del Calculo
Nota historica
13
12
CAPITULO 1
EL LENGUAJE DE LOS CONJUNTOS
1.
2.
3.
4.
5.
6.
7.
Consideraciones iniciales
17
Complemento y subconjuntos
Igualdad y operaciones
25
Propiedades basicas
29
Algo de logica
31
Como razonar
41
Nota historica
46
17
20
vii
Contenido
viii

CAPITULO 2
PUNTOS EN LA RECTA REAL
1.
2.
3.
4.
5.
6.
7.
39
Naturales
39
Enteros
22
Racionales
27
Los n
umeros reales
32
Propiedades de los n
umeros reales
Desigualdades e intervalos
34
Nota historica
21
33
CAPITULO 3
FUNCIONES REALES
1.
2.
3.
4.
5.
7.
53
Relaciones
53
Definicion de funcion
57
Funciones reales de variable real
Representacion geometrica
68
Ecuacion de una recta
71
Nota historica
21
63
CAPITULO 4
EL CONCEPTO DE LIMITE
0.
1.
2.
3.
4.
5.
7.
104
El concepto intuitivo
104
Mas cerca que . . .
111
Definicion de lmite: primer intento
Segundo
123
Propiedades
127
Dos lmites basicos
133
Nota historica
21
CAPITULO 5
FUNCIONES CONTINUAS
1.
2.
3.
7.
Que no se rompa!
143
Definicion de continuidad
Propiedades
159
Nota historica
21
119
143
149
Contenido
ix

CAPITULO 6
LA DERIVADA DE UNA FUNCION

1.
2.
3.
4.
5.
Cambio y razon de cambio

163
Razones y rectas
166
Tangente a la curva
169
La funcion derivada de una funcion
Nota historica
178
163
175
CAPITULO 7
PROPIEDADES DE LA DERIVADA
1.
2.
3.
7.
Operaciones con la derivada

Calculo de casos
201
Derivadas trigonometricas
Nota historica
21
196
196
204
CAPITULO 8
MAXIMOS
Y MINIMOS
1.
2.
3.
4.
5.
6.
Arriba o abajo?
214
El logaritmo
224
La funcion exponencial general
230
Algunas aplicaciones
236
Orden de magnitud
241
El logaritmo como el area bajo la curva 1/x
CAPITULO 9
LA INTEGRAL DEFINIDA
1.
2.
3.
4.
5.
214
247
257
Area
bajo una curva
257
Funciones continuas
260
Area
261
Sumas superiores e inferiores
264
El teorema fundamental
275
CAPITULO 10
PROPIEDADES DE LA INTEGRAL
279
Contenido

1.
2.
3.
4.
Otras conexiones con la derivada

Sumas
285
Desigualdades
292
Integrales impropias
294
279
CAPITULO 11
ME TODOS DE INTEGRACION
1.
2.
3.
4.
5.
Sustitucion
300
Integracion por partes
305
Integrales trigonometricas
310
Fracciones parciales
319
Sustituciones exponenciales
330
CAPITULO 12
EL CALCULO
EN EL ESTUDIO DE LA CIENCIA
1.
2.
3.
4.
5.
6.
7.
300
336
Vol
umenes de revolucion
338
Area
en coordenadas polares
343
Longitud de curvas
347
Curvas parametricas
353
Superficie de revolucion
362
Trabajo
369
Momentos y centro de gravedad
372
APE NDICE A
MUSEO
336
APE NDICE B
DE LIMITE
LA DEFINICION
336
APE NDICE C
ANALISIS
EN R
336
APE NDICE D
A PROBLEMAS
SOLUCION
336

APE NDICE E
TABLA DE INTEGRALES
336
INDICE
450
(pagina 1)
CAPITULO
1. CALCULOS
Y PIEDRAS
an
Desde la escuela primaria usamos la palabra calcular con el significado de obtener

un resultado mediante operaciones aritmeticas, tambien se dice hacer cuentas. La palabra calculo viene del latn, calc
ulus, que significa piedra o guijarro y se refiere al mas antiguo procedimiento matematico conocido usado por
el ser humano desde epocas prehistoricas, el de establecer correspondencias
biunvocas:
lL
ue
Suponemos que al salir con su reba

no, el pastor prehistorico
colocaba una piedrecilla en una bolsa, o en una pila, por cada
oveja a su cuidado. Al regresar, por cada oveja que entraba,
quitaba una piedra. Si quedaban piedras en la bolsa habra que
buscar las ovejas extraviadas.
El pastor verificaba que existiera una correspondencia biunvoca entre las piedras
depositadas, que representan las ovejas que salieron, y las ovejas que iban entrando, es decir, que llegaran tantas ovejas como salieron. Quiza la calculadora
portatil mas antigua fue una bolsa de piedras o, en su forma mas elaborada, un
collar de cuentas. Despues inventamos los n
umeros y mas adelante otros objetos matematicos, a los procedimientos para manipularlos seguimos llamandoles
calculos. Se habla de calcular el area de un terreno, de calcular la distancia a
un astro, de calcular la velocidad de un proyectil, o de calcular el tiempo transcurrido durante un suceso. Hay calculo numerico (hoy da con grandes cifras,
o de mediciones muy precisas, efectuados mediante poderosas computadoras),
calculo vectorial (con vectores que, entre otras cosas, representan fuerzas o velocidades), calculo matricial (con matrices podemos representar grandes sistemas
de ecuaciones), y calculo diferencial e integral (tema del presente libro).
Tambien usamos el termino calculo infinitesimal para referirnos al calculo
diferencial y al calculo integral. Por que les llamamos as, y les mencionamos
juntos? De que tratan? Veamos la pagina siguiente y comencemos . . .
ez
eo
at

M
R)
(C
INTRODUCCION

Captulo 0 Introduccion
Sucede que estos dos tipos de manipulacion constituyen operaciones inversas, as como la suma y la resta (casi), de ah su
tratamiento conjunto.
La sorpresa es que los procedimientos inversos entre s del calculo diferencial y

del calculo integral, llamados diferenciacion e integracion, en realidad no operan
sobre cantidades distintas de cero pero tan peque
nas que carecen de m
ultiplos
llamadas, alguna vez, infinitesimos sino que los cocientes de diferencias y las
a
nadiduras o sumas se manipulan mediante el concepto de lmite que involucra,
a su vez, nuestra concepcion de n
umero real.
As,
ez
el termino calculo infinitesimal se refiere, hoy da, a la manipulacion de diferencias y sumas mediante el proceso de lmite.
at
Empleando de nuevo unas cuantas palabras, el termino lmite no se refiere

a una situacion de la cual no podemos pasar para ello usamos, en matematicas,
el termino cota, como una valla sino un estado el cual finalmente obtendremos, continuando un proceso. La idea de n
umero real es parte del n
ucleo
profundo de nuestra concepci
on de espacio.
eo

lL
ue
an
M
R)
(C
Dicho en pocas palabras, el termino calculo infinitesimal significa calculo

de infinitesimos y se refera, en una epoca, a procedimientos para manipular
esos objetos considerados cantidades distintas de cero pero tan peque
nas que
carecan de m
ultiplos.
Un tipo de manipulacion de infinitesimos se realiza comparando diferencias.
Si queremos comparar avance con tiempo dividimos la diferencia en posicion
entre la diferencia en tiempo. Restamos de la posicion final la posicion inicial y
dividimos entre la diferencia que hay del tiempo final al tiempo inicial. Estamos
comparando dos diferencias, posici
on final menos posici
on inicial, el espacio
recorrido, y tiempo final menos tiempo inicial, el tiempo transcurrido. Al
dividir el espacio recorrido entre el tiempo transcurrido obtenemos la llamada
razon de cambio de la posicion respecto del tiempo. Cuando nos interesan los
cambios de posicion en intervalos mas y mas peque
nos de tiempo transcurrido
estamos en el terreno del calculo diferencial.
Tenemos un segundo tipo de manipulacion de infinitesimos; a
nadiendo, sumando o integrando para, mediante consideraciones sobre partes de un objeto,
concluir propiedades sobre el total, al estilo de cuando cubrimos un crculo con
rectangulos y consideramos la suma de las areas de los rectangulos como una
aproximacion al area del crculo. Al cubrir el contorno del crculo con rectangulos
mas y mas peque
nos, mas ce
nidos le quedaran y mejor sera la aproximacion que
obtengamos del area del crculo mediante la suma del area de los rectangulos
que lo cubren. Estamos en el terreno del calculo integral.
0.2
Tangentes
2. TANGENTES
Ya mencionamos un problema que nos lleva a comparar diferencias, el de obtener
la razon de cambio de la posicion respecto del tiempo, que estudiaremos ampliamente a lo largo del libro. Tambien veremos, en el captulo 6, que comparar
diferencias es como trazar secantes a una curva, y que estudiar el comportamiento
de una razon de cambio en intervalos mas y mas peque
nos de tiempo transcurrido
tratando de averiguar lo que sucede en un instante es como trazar una tangente a una curva. Debemos tener cuidado para definir este importante concepto
de tangente a una curva.
La primera definicion que se nos ocurre es de una recta que toca a la curva
en un solo punto. Como esta?:
FIGURA 0.1
ez
lL
ue
an
Recta que toca a la curva en solo el punto P . Es la tangente?
En realidad no es lo que esperabamos, cuando dijimos que la recta tangente

tocara en un solo punto a la curva pensamos que la curva estuviera de un solo
lado de la recta, no que la recta cruzara, imaginamos algo as:
FIGURA 0.2
La recta no cruza la curva.
eo
at

M
R)
(C
Dijimos muchas cosas en una sola pagina pero emplearemos buena parte del
libro para explicarlas. Mientras tanto, en las secciones de este captulo introductorio, presentaremos algunos problemas que originaron la necesidad o condujeron
a manipular diferencias y sumas, particularmente en peque
nos intervalos, y describiremos las herramientas usadas. El estudio de cada herramienta ocupara,
mas adelante, varios captulos. Finalizaremos con un breve repaso historico de
la construccion de tan importante disciplina matematica, obra de generaciones
de cientficos: el calculo diferencial e integral.

Modifiquemos la propuesta e intentemos otra definicion, que la recta tangente

a una curva en un punto P sea una recta que, en su comportamiento alrededor
del punto P , toque a la curva en ese punto, sin cruzarla (si la recta cruza a la
curva, que lo haga lejos del punto P ). La descripcion de esta definicion incluye
a la recta de la figura anterior, pero que hacemos entonces con la figura 0.4?
ez
lL
FIGURA 0.4
eo
at

La recta cruza la curva en Q pero no es tangente en P ?
ue
FIGURA 0.3
an
M
R)
(C
Pero no imaginamos la situacion presentada en la figura 0.3 en donde alrededor

del punto P la curva esta de un solo lado de la recta que nos gustara llamar
tangente, sin embargo esa recta cruza la curva en el punto Q. Algo falla en la
propuesta para definir recta tangente en un punto, parece que debemos pedir
condiciones sobre la recta tangente alrededor del punto en cuestion.
Ahora la recta, aunque cruza la curva en R, es tangente en R.
Sucede que las supuestas definiciones de recta tangente a una curva no describen
lo que pensamos.
0.2
Tangentes
La recta de P a Q es una secante a la curva.
Despues, trazar otra secante de P a un punto mas cercano que Q, sobre la curva,
a P , digamos R. Continuar de la misma manera y trazar la secante de P a S,
y acercarnos a P por medio de puntos sobre la curva trazando las secantes de P
a esos puntos cada vez mas y mas cercanos a P .
FIGURA 0.6
ez
lL
Secantes que pasan por P y por puntos Q, R, S y T sobre la curva m

as
y m
as cercanos a P .
Tenemos, as, un proceso de obtener un estado, la recta tangente en P ,

como estado lmite de otros, las secantes trazadas de P a puntos sobre
la curva m
as y m
as cerca de P .
eo
at

FIGURA 0.5
ue
an
M
R)
(C
Desde los griegos se trazaban tangentes a figuras determinadas, EUCLIDES

definio tangente a un crculo como una recta que toca al crculo sin cruzarlo,
y encuentra la manera de trazarla, APOLONIO ense
na a trazar la tangente a un
punto de una parabola, a una elipse y a una hiperbola, sin tener un metodo de
aplicacion general. Fueron DESCARTES (con sus normales) y, de manera independiente y polemica, FERMAT (mediante sus adecuaciones), en el siglo XVII, quienes
esbozaron el metodo de aproximar la tangente a la curva en el punto P mediante secantes rectas que atraviesan la curva en dos puntos que pasan por
P y por otros puntos de la curva mas y mas cercanos a P , que lleva al concepto
de lmite.
Se puede hacer de varias maneras, una es trazando una recta del punto P
(donde se quiere encontrar la tangente) en la curva a otro punto Q cualquiera
sobre la curva en cuestion.
La posicion lmite de las secantes trazadas de P a puntos situados sobre la curva, mas y mas cercanos a P , es la tangente a la
curva en el punto P .

REAS
3. A
El problema que nos lleva a manipular sumas es hallar el area de una figura.
Hay tres ideas principales para atacar el problema. Una idea fundamental para
resolver el problema era conocida desde las antiguas civilizaciones:
Para hallar el area de una figura hay que descomponerla en
otras cuya area sea conocida, el area de la figura original es la
suma de las areas de las figuras en que se descompone.
FIGURA 0.7
lL
ue
an
Ejemplo sencillo donde una figura se descompone en dos cuya

area conocemos: a
rea total = a
rea del rect
angulo + a
rea del tri
angulo = ab + 21 ac.
Otra idea importante, atribuida a EUDOXO, presentada por EUCLIDES, es el

metodo de exhaucion, que aplicada para hallar el area de un crculo consiste en
Aproximar el area del crculo mediante polgonos inscritos incrementando mas y mas el n
umero de sus lados.
ez
FIGURA 0.8
eo
at

M
R)
(C
Esta manera de considerar una recta tangente a una curva lleva al concepto
de derivada (ver captulo 6), idea desarrollada por NEWTON y LEIBNIZ alrededor
de pero formalizada 140 a
nos mas tarde con las aportaciones de CAUCHY
en la primera mitad del siglo XIX.
Los polgonos inscritos en el crculo tienen a

rea cada vez m
as y m
as
parecida al a
rea del crculo.

0.3 Areas
La tercer idea se conoce como el metodo de las rebanadas. Se descompone una

figura en delgadas rebanadas, metodo que se aprecia mejor en una generalizacion
del problema de hallar el area, que es hallar el volumen.
FIGURA 0.9
an
Esfera rebanada
ue
Presentado de manera simplista, el rectangulo de base b y altura a se rebanara en infinidad de rectas verticales, cada una de longitud a, tendramos la
longitud a considerada tantas veces como puntos hubiera en la longitud b, ese
barrido de los segmentos de longitud a a lo largo del segmento de longitud b
dara el area del rectangulo A = ab.
FIGURA 0.10
ez
lL
El rect
angulo de base b y altura a rebanado y barrido por segmentos de
longitud a.
El concepto moderno para determinar areas de figuras planas cuyos contornos

son lneas curvas se basan en estas tres ideas. En general,
La figura se cubre con rectangulos, la suma de sus a reas sera

al a rea de la figura.
una aproximacion
Subdividimos mas y mas los rectangulos y sumamos las a reas
de los que cubren la figura. Obtenemos una mejor aproxi de su a rea.
macion
Continuando este proceso, en el lmite, obtendremos el a rea
de la figura.
Al proceso le llamamos integracion.
eo
at

M
R)
(C
Se piensa, por ejemplo, a una esfera rebanada en infinidad de

crculos, sumando el area de cada uno de ellos se obtendra el
volumen de la esfera.

Si subdividimos m
as y m
as los rect
angulos, la suma del a
rea de los que
cubren la figura ser
a m
as y m
as parecida al a
rea de la figura. En el lmite
obtenemos el a
rea de la figura original.
Quienes aplican esta idea para obtener el area bajo una curva son FERMAT y
ROBERVAL en el siglo XVII con su manera de calcular el area bajo una parabola.
FIGURA 0.12
lL
ue
an
El a
rea bajo la par
abola se atrapa entre rect
angulos por arriba de la curva
y rect
angulos por abajo. Se obtienen sumas aproximadoras por exceso y
por defecto.
ez
De aqu solo hay un paso al concepto de integral desarrollado de manera

independiente y casi simultanea por NEWTON y LEIBNIZ a quienes se les considera
los inventores del Calculo pues, a diferencia de sus antecesores inmediatos que
tambien se ocuparon de los problemas de hallar tangentes y areas, fueron quienes
comprendieron que los procesos de derivacion e integracion son procesos inversos
a manera de la suma y la resta pero esto es tema del captulo 10.
Y MAS
CERCA
4. MAS
eo
at

M
R)
(C
FIGURA 0.11
Consideramos la tangente a una curva en un punto como la posicion lmite de

secantes, generando el concepto de derivada. Al area de una figura la obtenemos
0.4
Mas y mas cerca
como lmite de areas de rect

angulos inscritos, o rectangulos aproximadores, construyendo el concepto de integral. La pregunta obligada es qu
e es lmite?
En matematicas,
Como siempre que se trate de definir un concepto y hacer, de dicha definicion, objeto de manipulaci
on algebraica debemos verificar que la definicion
adoptada realmente describa el objeto, concepto o situacion que pretendemos
definir, pero que, ademas, describa s
olo a ese tipo de objeto.
Al hablar de una posicion lmite pensamos en una posicion a la cual m
as
y m
as nos acercamos conforme m
as y m
as tiempo transcurra. Pero es
necesario ser mas energicos con la expresion m
as y m
as para que exprese el
significado que le queremos asignar como dijera HUMPTY DUMPTY.
La clave del asunto radica en expresar no solo que nos acerquemos a la posicion
lmite, sino que nos acerquemos tanto como queramos.
an
De hecho el concepto a formalizar es que si L es la posicion

lmite, P denota la posicion del proceso y damos una medida de
cercana (letra griega epsilon) arbitraria, por peque
na que sea,
siempre sera posible hallar la cantidad de tiempo transcurrido
suficiente para que el proceso P diste de la posicion L en menos
que la medida .
lL
ue
As, cuando usamos la expresion m

as y m
as cerca conforme m
as y m
as
tiempo transcurra la empleamos en el sentido de que podemos decir a
partir de que momento el proceso dista del lmite en menos que una cantidad
prefijada.
Estamos usando la medida prefijada de cercana como un reto. Retamos al
proceso P a que se acerque a L en menos que . Si L es realmente el lmite debe
poder responder al reto. La respuesta, en este caso, consiste en decir en qu
e
momento el proceso P va a lograr la cercana prefijada.
ez
FIGURA 0.13
eo
at

M
R)
(C
el concepto de lmite es la expresi

on formal de nuestra concepcion intuitiva de cercana, o de muy aproximado.
A partir de cierto momento la posici

on est
a m
as cerca del lmite L que
la distancia prefijada .

10
5. PUNTOS Y NUMEROS
Hemos hablado de tiempo transcurrido y de espacio recorrido presuponiendo un

comportamiento continuo de dichas magnitudes de tiempo y espacio. Falta todava describir de manera formal el objeto matematico con el cual representamos
tiempo y espacio: los n
umeros reales.
Se recorrio un largo camino desde la concepcion de n
umero de los griegos
hasta la necesidad expresada por DEDEKIND y CANTOR en el siglo XIX de que el
tratamiento riguroso del Calculo deba tener fundamento aritmetico en lugar de
basarse en la intuicion geometrica
util como recurso didactico.
Aunque ha sido tratado de diferentes maneras, el procedimiento se conoce
como la construcci
on de los n
umeros reales. Partimos de los conocidos quebrados, fracciones o razones llamados los n
umeros racionales, denotados con
Q. Identificamos cada n
umero racional con un punto en una recta. Seg
un el
procedimiento que estudiaremos en el captulo 2 identificamos con cada punto
de una recta un n
umero racional y
percibimos que hay puntos de la recta que no
umeros irracionales
corresponden a racionales, como 2, a los cuales llamamos n
en lugar de fracciones, corresponden a decimales que no terminan (sin ser
periodicos). A la coleccion de esos dos tipos de n
umeros, los racionales y los
irracionales, le llamamos los n
umeros reales, que denotamos con R.
ez
lL
ue
an
FIGURA 0.14
La longitud de la hipotenusa del tri

angulo rect
angulo cuyos catetos miden
la unidad no se puede expresar como fracci
on.
Ya sea que la construccion de los n

umeros reales se realice mediante las cortaduras de DEDEKIND o las sucesiones fundamentales de CANTOR, disponemos
de la estructura de los n
umeros reales, que representan de manera satisfactoria nuestra idea intuitiva del comportamiento del transcurrir del tiempo o del
desplazamiento de un cuerpo por una trayectoria recta.
En el ambito del recurso didactico que es la referencia geometrica disponemos ahora, para nuestro estudio, de la identificacion de la recta numerica con
eo
at

M
R)
(C
Como en las otras secciones de este captulo introductorio, lo dicho en estos

parrafos es descripcion informal del concepto mencionado. En el captulo 4
trataremos el concepto de lmite, analizaremos con detenimiento su definicion y
estudiaremos sus propiedades para poder manejarlo algebraicamente.
0.6
Estar o no estar
11
los n
umeros reales. Podemos representar, por ejemplo, el transcurrir del tiempo
con un desplazamiento de un punto a otro en la recta numerica.
La recta real.
De hecho, mediante los n

umeros reales representaremos varios tipos de cantidades variables cuyo comportamiento nos aparezca como el de los n
umeros
reales, como seran temperaturas, distancias, vol
umenes, presion y muchas mas.
6. ESTAR O NO ESTAR
an
Lograda la construccion de los n

umeros reales a partir de los racionales, para
completar el proceso de formalizacion de los fundamentos del Calculo, seg
un
lo percibio DEDEKIND, es necesario caracterizar los n
umeros naturales, y junto
con ellos a los racionales, en terminos de la nueva teora de conjuntos, teora
creada por CANTOR cuando en su descripcion de los n
umeros reales habla de
puntos lmite de un conjunto, introduce el concepto de vecindad de un punto
y distingue cuando en dicha vecindad hay infinidad de puntos.
En el fundamento de la teora de conjuntos esta el concepto de correspondencia biunvoca que usaba el pastor prehistorico del comienzo del presente captulo
y que CANTOR uso en para comparar conjuntos infinitos y caracterizarlos
seg
un su potencia o su n
umero cardinal cardinalidad del conjunto generalizando el concepto de n
umero de elementos en un conjunto finito.
lL
ue
Los conjuntos finitos tienen un cierto n

umero de elementos. Los
conjuntos infinitos tienen un n
umero transfinito de elementos
o cardinalidad transfinita.
ez
A la cardinalidad o potencia de los n

umeros naturales se le llama alef cero
que se escribe 0 (alef es la primera letra del alfabeto hebreo), a la cardinalidad
de los n
umeros reales se le llama la potencia del continuo y se denota con c
(una letra c min
uscula en tipo gotico).
Dos conjuntos tienen la misma potencia o cardinalidad si existe

una correspondencia biunvoca entre ellos.
at
DEDEKIND considera que un conjunto C queda determinado como tal esta

bien definido si dado cualquier objeto queda determinado, a su vez, si el
objeto en cuestion es un elemento del conjunto C o no lo es. A partir de
conjuntos bien definidos se construyen operaciones entre ellos, como la uni
on
eo

M
R)
(C
FIGURA 0.15

12
Al caracterizar los n
umeros naturales basados en los conceptos de conjunto y funcion obtenemos una base aritmetica del
Calculo desprendiendolo, as, de su referencia al mundo fsico
que le dio origen. Podemos construir entonces una teora del
Calculo diferencial e integral a partir de objetos matematicos.
Su caracter abstracto nos permite usar sus conceptos para estudiar fenomenos en distintos campos de la ciencia.
ue
an
DEL CALCULO
7. PRESENTACION
lL
Hemos dado un esbozo de como evoluciono el Calculo partiendo de los problemas

de trazo de tangentes a curvas y de b
usqueda de areas de figuras mediante aproximaciones, que dan lugar al concepto de lmite, y a los conceptos fundamentales e
inversos del Calculo, la derivada y la integral. Como, a lo largo del siglo XVIII y
en el siglo XIX, se trabajo en formalizar el concepto de lmite, la construccion de
los n
umeros reales a partir de los racionales y la caracterizacion de los n
umeros
naturales a partir de la teora de conjuntos. En esta evolucion hay un tema
principal, las sumas infinitas o series, que trataremos en su momento.
Ahora debemos comenzar con una exposicion sistematica del tema es el
objetivo del libro. Para que la presentacion elegida se nutra de como evoluciono
cada tema particular, al final de cada captulo hay una NOTA HISTORICA
. Al final
de la obra tenemos un MUSEO donde exhibimos material biografico de quienes
aportaron al tema. Tambien damos una CRONOLOGIA donde podran ubicar facilmente epocas, personas y aportes.
La exposicion elegida no es una presentacion que siga el desarrollo conceptual del Calculo sino que, echando mano del recurso didactico de la referencia
geometrica y de fenomenos fsicos el problema de trazar la tangente es identico,
desde el punto de vista matematico, al de calcular velocidades, trataremos el
tema seg
un su estructura formal. Partiremos del estudio del lenguaje de los
conjuntos que no la teora para describir la correspondencia entre el objeto
ez
eo
at

M
R)
(C
y la intersecci
on, as como la relacion de contenci
on que se refiere a que los
elementos de un conjunto sean elementos de otro, dando origen al concepto de
subconjunto.
Ademas, al concepto de correspondencia biunvoca se a
nade el de funcion
como manera de asociar a elementos de un conjunto, elementos de otro (o de s
mismo), en particular el de funcion inyectiva, en que a elementos distintos se les
asocian, mediante la funcion, elementos distintos.
Estos conceptos de conjunto, conjunto infinito, funcion inyectiva y sucesor
(referente a que, en un conjunto, cada elemento tenga asociado el elemento
siguiente) estan en la base de la caracterizacion de los n
umeros naturales,
tema estudiado en la decada de por PEANO y FREGE ademas de DEDEKIND.
0.8
Nota historica
13
8. NOTA HISTORICA
an
En tanto que un esbozo muy general que describimos brevemente en esta

seccion podemos ubicar cinco etapas fundamentales en el desarrollo historico
del Calculo, la antig
uedad, los griegos, la epoca de FERMAT, DESCARTES y
otros, la epoca de NEWTON y LEIBNIZ, y la formalizaci
on del C
alculo. En
la NOTA HISTORICA
de cada captulo presentaremos de manera mas amplia los
aportes de cada etapa al tema que nos ocupe, dejando al MUSEO los detalles de
vidas y epocas.
lL
ue
LA ANTIGUEDAD
Alrededor de A.C., en la cultura babilonica tenan una manera de calcular
el area de un crculo conociendo la medida de la circunferencia: A = (C/2)(d/2),
donde C es la circunferencia y d el di
ametro. Se especula que usaron el metodo
de las rebanadas.
En el papiro de Rhind, documento jeroglfico de la cultura egipcia, escrito
alrededor de A.C., se afirma que el area del crculo de diametro d es igual
al area del cuadrado de lado 89 d
Quiza desde 1500 a
nos A.C., en versos llamados Vedas, en la India, aunque
las primeras referencias escritas son apenas de alrededor del A.C., se plantea
el problema de la cuadratura del crculo en referencia a la construccion de un
altar cuadrado que tenga la misma area que uno circular.
Durante los a
nos A.C.- D.C., se compilaron los Jiuzhang suanshu
(Nueve captulos acerca del arte matematico), la obra clasica de la matematica
china, donde hay una aproximacion al area de un semicrculo mediante el area
de un trapecio.
ez
at
LOS GRIEGOS
Alrededor del A.C. HIPOCRATES

de QUIOS plantea el problema de la cuadratura de l
unulas con la forma de fase lunar que son figuras acotadas por dos
arcos circulares de distinto radio.
eo

M
R)
(C
geometrico de recta y el algebraico o aritmetico de n

umero real. Despues
veremos las mas importantes propiedades de la estructura de los n
umeros reales,
definiendo los conceptos como vecindad que nos permitiran, mas adelante,
hablar de lmite. Definiremos el concepto de funcion y veremos como resolver
el problema de trazo de la tangente a una curva para el caso en que la curva
se pueda expresar como la grafica de una funcion, pero de un tipo de funcion
muy particular: una funcion real de variable real soluciones mas generales se
analizan en temas mas avanzados, como el Calculo en varias variables. Despues
estudiaremos los conceptos de derivada e integral de funciones reales de variable
real, y sus propiedades. M
as adelante veremos como se utilizan estos conceptos para estudiar problemas del mundo real se llaman sus aplicaciones y
daremos presentaciones elementales de temas avanzados.

14
FERMAT, DESCARTES Y MUCHOS MAS

Recordemos que desde el mundo antiguo se dispona solo de algunas curvas
para la investigacion, esencialmente las conicas descritas por APOLONIO, quienes
trataban con ellas resolvan sus problemas, en particular el trazo de tangentes y
el calculo de areas, pero no exista un m
etodo, o procedimiento con validez general tampoco era necesario. Se podan trazar tangentes y calcular areas en cada
caso particular conocido. Con el revolucionario aporte de FERMAT y DESCARTES
que proponen una manera de tratar algebraicamente problemas geometricos, el
eo
at

ez
lL
ue
an
M
R)
(C
A los pitagoricos se les atribuye la frase de que el n

umero es la substancia
de todas las cosas. Al descubrir que el lado de un cuadrado y su diagonal son
longitudes inconmensurables, es decir que no se pueden medir a partir de una
unidad com
un, se causo un escandalo, como comparar razones entre magnitudes
inconmensurables?
EUDOXO (- A.C.) establecio la base del metodo de exhaucion. Junto
con el aporte de ARQUIMEDES seg
un la propiedad que lleva su nombre suele llamarse tambien la propiedad del continuo forman parte del concepto de n
umero
real desarrollado en el siglo XIX, tienen ya la idea de lmite y son parte de la
construccion de la definicion de integral.
Aportacion fundamental de ARISTOTELES

(- A.C.) fue distinguir dos
tipos de cantidades: la discreta, referida al n
umero, cuya base es la unidad indivisible, usado para contar, y la continua, referida a la magnitud, que es divisible en divisibles que son infinitamente divisibles, asignada a rectas, superficies,
vol
umenes y tiempo.
Realmente nada se sabe de la vida de EUCLIDES, se ha deducido que vivio en
la epoca de PTOLOMEO I SOTER quien goberno del A.C. al aproximadamente
A.C., impartio clases y escribio en el MUSEO Y BIBLIOTECA DE ALEXANDRIA,
. Escribio los Elementos
vivio antes que ARQUIMEDES pero despues que PLATON
hace aproximadamente 2, 300 a
nos. En los Elementos, sistematizo varios teoremas de EUDOXO y dio bases firmes a lo expuesto de manera informal por sus
predecesores. En la definicion 2 del Libro III, describe lo que hoy entenderamos
como una tangente a un crculo.
Sobre las mediciones del crculo es una breve obra de ARQUIMIDES de SIRACUSA (- A.C.) donde muestra c
omo hallar el area de un crculo de radio
dado conocida la circunferencia. Un resultado antecedente del concepto de
integral esta en su tratado Cuadratura de la parabola donde inscribe figuras
rectilneas cada vez mas ce
nidas al area del segmento de parabola. Logra que
el area de las figuras inscritas obtenida por medio de una suma infinita
difiera del area del segmento de parabola en menos de un valor prefijado. Su
demostracion esta basada en el metodo de exhaucion.
APOLONIO de PERGA (- A.C.) en su obra Conicas, en el Libro I, analizo
el problema de trazar la tangente a una parabola en un punto dado, pensandola,
como EUCLIDES, como recta que toca pero no cruza la curva. Asimismo mostro
como trazar tangentes a elipses y a hiperbolas.
0.8
Nota historica
15
NEWTON Y LEIBNIZ
FORMALIZACION
ez
lL
ue
an
s
eo
at

M
R)
(C
mundo cientfico dispone s

ubitamente de multitud de nuevas figuras geometricas
representantes de situaciones algebraicas y se renuevan los esfuerzos por hallar
tangentes y calcular areas.
CAVALIERI y las rebanadas, WALLIS y los infinitesimales, HUDDE y SLUSE con
sus metodos para obtener derivadas de expresiones algebraicas
(pagina 17)

CAPITULO
EL LENGUAJE DE LOS CONJUNTOS
1. CONSIDERACIONES INICIALES
G. CANTOR defini
o, en , un conjunto como cualquier coleccion en un universo M de objetos definidos y separados m, producto de nuestra intuicion o
de nuestro pensamiento, concepcion que requirio de una posterior formalizaci
on por ZERMELO, en , pues es difcil concebir una definicion de conjunto
expresada en lenguaje cotidiano siempre usaramos sinonimos.
Es muy u
til la caracterizacion que dio DEDEKIND en , aunque uso la
vaga descripci
on de que un conjunto es un objeto de nuestro pensamiento, es
como una cosa. Afirm
o que un conjunto C esta bien definido si dado cualquier
objeto est
a determinado si es un elemento del conjunto C o no lo es, lo
cual permite trabajar con conjuntos sin tener que definirlos estrictamente, teniendo cuidado de no colocarnos en situaciones paradojicas, como en la llamada
paradoja del barbero donde se plantea la situacion de un u
nico barbero que
afeita s
olo a quien no puede hacerlo por s mismo y se define a B como el
conjunto de las personas a quienes afeita el barbero.
B no est
a bien definido como conjunto pues no esta determinado si el barbero,
a quien denotaremos con b, pertenece o no a B. Si b pertenece a B, entonces b
es una de las personas a quienes afeita el barbero pero b es el barbero! Es decir,
b es afeitado por b, luego b se afeita a s mismo y, por lo tanto, b no puede ser de
las personas que afeita el barbero, es decir, no es elemento de B. Suponer que b
pertenece a B implica que b no pertenece a B. Es facil obtener la conclusi
on
recproca: suponer que b no pertenece a B y concluir que b s pertenece a B.
B no est
a bien definido como conjunto pues no esta determinado si el objeto b es o no es un elemento de B.
Nos ahorraramos el problema si desde un principio excluyeramos al barbero y
escogieramos un cierto universo de objetos con los cuales obtuvieramos conjuntos
bien definidos, y as lo haremos de ahora en adelante al usar el lenguaje de los
17
18
Captulo 1 El lenguaje de los conjuntos

conjuntos. Trataremos con objetos pertenecientes a un universo, o total, denotado con omega may
uscula, la u
ltima letra del alfabeto griego con los
cuales formaremos (siempre) conjuntos bien definidos, es decir que
dado un conjunto C y un objeto x de , esta determinado si x
es un elemento de C o no lo es.
Para efectos pr
acticos no siempre se menciona, de manera explcita, cual es el
conjunto universo , supondremos que del contexto esta claro cuales son los
objetos considerados y que los conjuntos estan bien definidos.
Si C es un conjunto y x es un objeto (de ) que pertenece a C escribimos
x C,
que se lee x es un elemento de C, x pertenece a C, o simplemente x esta en C.
El smbolo para denotar pertenencia viene de la letra griega epsilon, , se
usa como abreviaci
on de la palabra griega esti que significa esta.
En caso de que el objeto x no pertenezca al conjunto C, es decir no sea un
elemento de C, escribimos
x
/ C.
Al referirnos a los elementos de un conjunto podemos describirlos:
El conjunto de los nombres de mis hermanos y hermanas,
o podemos listarlos:
Miguel Angel,
Roco y Amelia.
Podemos considerar el universo como los nombres de personas.
La descripci
on la escribimos as:
H = { nombres | son los de mis hermano(a)s },
que se lee: H es el conjunto de nombres tales que (la raya vertical | se lee tal,
o tales, que) son los de mis hermano(a)s.
La lista la colocamos entre llaves:
H = {Miguel Angel,
Roco, Amelia}.
Con smbolos escribimos
Amelia H,
mientras que
Dora
/ H.
EJEMPLO 1. Escribimos la descripcion del conjunto de los continentes de nuestro
planeta como:
C = { continentes | son del planeta Tierra },
los listamos como:
C = {Africa, America, Asia, Europa, Oceana}.
Simb
olicamente,
Asia C,
mientras que
Italia
/ C.
Podemos considerar el conjunto universo como los nombres de continentes, sin
importar el planeta.


1.1
Consideraciones iniciales
19
EJEMPLO 2. La Comisi
on del Oc
eano
Indico se creo en julio de con el
objetivo de fomentar el desarrollo economico y la cooperacion entre los pases de
la regi
on del Oceano Indico. Creada originalmente como una comision bilateral
entre Mauricio y Seychelles, la Comision del Oceano Indico crecio al incluir entre
sus miembros a Comores, Francia (en representacion del departamento frances
de ultramar de Reunion) y Madagascar en . La comision patrocina comites
tecnicos sobre pesca, turismo, transporte, educacion y otros asuntos. La comision
recibe donaciones de la Uni
on Europea, el Fondo de Desarrollo de las Naciones
Unidas y otras organizaciones.
Describimos a los pases participantes en la Comision del Oceano Indico como
P = { pases | participan en la Comision del Oceano Indico },
los listamos como
P = {Comores, Francia, Madagascar, Mauricio, Seychelles.}
Podemos escribir que
Seychelles P,
y que, por ejemplo,
Hait
/ P.
El contexto en el que ubicamos este conjunto P es de pases, y ese sera el universo

considerado.

EJEMPLO 3. Caracas, capital y principal ciudad de Venezuela, es el centro comercial e industrial del pas. Las principales industrias de la ciudad son plantas de
montaje de autom
oviles, de procesado de az
ucar, cerveza y petroleo, fabricas de
papel, tabaco, textiles y productos farmaceuticos. Describimos el conjunto
I = { industrias | son principales en Caracas },
lo listamos como
I = {montaje de autom
oviles, procesado de az
ucar, cerveza,
petr
oleo, papel, tabaco, textiles, productos farmaceuticos}.
Usando el smbolo de pertenencia a conjuntos, escribimos que tabaco I y que
acero
/ I . El universo se considera como los nombres de industrias.

Actividad
En alg
un artculo periodstico escojan una noticia de actualidad y
ubiquen varios ejemplos de conjuntos, descrbanlos, listen sus componentes y digan en qu
e universo est
an considerando los objetos.
Escriban simb
olicamente la pertenencia de algunos de sus elementos y ubiquen objetos del universo que no pertenezcan al conjunto en
cuesti
on.

20
El lenguaje de los conjuntos es muy u

til para describir situaciones, no solo
en matem
aticas; pero para usar conjuntos deben estar bien definidos no lo
olvidemos, que dado un objeto del universo est
e determinado si el
objeto pertenece o n
o al conjunto en cuesti
on.
En las secciones siguientes definiremos operaciones entre conjuntos y veremos
c
omo usarlas para expresarnos de manera precisa acerca de diversos objetos seg
un
cumplan propiedades de pertenencia a diversos conjuntos.
PROBLEMAS 1.1
Describe, por medio de conjuntos, las situaciones siguientes:
1. Las temperaturas promedio de los 5 das anteriores.
2. Los das festivos del presente a
no.
3. Los estados del agua.
4. La vegetaci
on de tu pas.
5. Tus fronteras.
6. El producto interno bruto de los u
ltimos diez a
nos.
7. Los fen
omenos meteorol
ogicos que incidieron en tu region el a
no pasado.
8. Los planetas cercanos al Sol.
2. COMPLEMENTO Y SUBCONJUNTOS
Denotemos con el universo de donde consideramos objetos y conjuntos bien
definidos. Dado un objeto x de y un conjunto C, esta determinado si x C o
x
/ C. Por ejemplo, en la figura 1.1 vemos varios conjuntos y objetos o puntos
de hecho, a los elementos de un conjunto les llamaremos puntos del conjunto.
FIGURA 1.1
En el universo vemos conjuntos y puntos.
Son evidentes las siguientes relaciones de pertenencia,

z B,
z
/ A,
y
/ C,
u A,
u B,
x C.
Hay un conjunto que no vemos, el conjunto vaco que no tiene elementos y

denotamos con . Dado cualquier objeto x del universo tenemos que x
/ .

1.2
21
No debe asustarnos este conjunto sin elementos, lo podemos pensar como el

n
umero cero: Si tengo 4 naranjas, doy 3 a Lupita y 1 a Juanito, con cuantas
naranjas me quedo? Pues con 0 naranjas. De manera analoga, si tengo una caja
con pelotas rojas, amarillas y verdes, cual es el conjunto de las pelotas azules?
Pues el conjunto vaco.
Hay una manera formal para definir, dado un determinado universo , al
conjunto vaco:
= { x | x 6= x }
es decir, los elementos del conjunto vaco son los objetos de que son distintos
de s mismos, quien cumple esto? Nadie! Luego el conjunto vaco no tiene
elementos. Conforme avancemos veran la utilidad de disponer del conjunto vaco.
Dado un conjunto A los objetos del universo pueden clasificarse en dos, los
que pertenecen a A y los que no pertenecen a A. Al conjunto de los objetos de
que no pertenecen a A le llamamos el complemento de A y lo denotamos
con Ac , que se lee A complemento, o con { A, que se lee el complemento de A
respecto a , o escribimos {A cuando no hay confusion respecto a que universo
tomamos el complemento del conjunto A.
FIGURA 1.2
A y el complemento de A.
EJEMPLO 4. Seg
un datos de la ONU, las principales ciudades del Per
u cuentan
con la siguiente poblaci
on.
Lima
7,500,000
Callao
637,755
Arequipa
620,471
Trujillo
508,716
Chiclayo
410,486
Cusco
257,751
De las ciudades mencionadas, el conjunto A de las ciudades que tienen menos
de 600,000 habitantes es A = {Trujillo, Chiclayo, Cusco}, el complemento de A
es Ac = {Lima, Callao, Arequipa}, cuyos elementos son las ciudades del Per
u
que tienen 600,000 o m
as habitantes.
Si B es el conjunto de esas ciudades cuyo nombre comienza con la letra
C, B c = {Lima, Arequipa, Trujillo}. Del contexto se infiere que el conjunto
universo considerado es
= {Lima, Callao, Arequipa, Trujillo, Chiclayo, Cusco}.

22
EJEMPLO 5. El grupo de pueblos indgenas mesoamericanos perteneciente a la familia Maya tradicionalmente han habitado en los estados mexicanos de Yucatan,
Campeche, Tabasco y Chiapas, en la mayor parte de Guatemala y en regiones de
Belice y Honduras. Denotemos con M al conjunto de pases americanos donde
habitan pueblos mayas, as,
M = {Mexico, Guatemala, Belice, Honduras}.
Vemos que Ecuador
/ M , es decir, Ecuador esta en el complemento de M que
es el conjunto de los pases americanos que no estan en M .

Actividad
Qu
e saben de astronautas? Averig
uen sus nombres y clasifquenlos
usando el lenguaje de los conjuntos seg
un el a
no en que viajaron, su
g
enero, nacionalidad y otros datos que les parezcan relevantes o interesantes. Comparen los resultados y presenten algunos de manera
excluyente usando el concepto de complemento.
Puede suceder que objetos de un universo pertenezcan a varios conjuntos,

como en la figura 1.1 donde u A pero ademas u B, de hecho en esa figura
todos los puntos de A pertenecen, a su vez, a B. Podemos decir que A esta
contenido en B, o que A es un subconjunto de B.
EJEMPLO 6. Consideremos el conjunto universo = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
y los conjuntos A = { x | x es m
ultiplo de 4 } = {4, 8} y B = { x |
x es m
ultiplo de 2 } = {2, 4, 6, 8}. Claramente cada m
ultiplo de 4 es un m
ultiplo
de 2, luego A est
a contenido en B.

1.1. Si A y B son dos conjuntos y sucede que cada elemento de A
DEFINICION
es a su vez un elemento de B, es decir, que
si x A entonces
x B,
decimos que A es un subconjunto de B y lo escribimos

A B,
que tambien se lee A est
a contenido en B. Decimos tambien que B contiene
a A, lo cual escribimos B A.
Si A no es subconjunto de B, es decir, existe alg
un elemento de A que no
pertenece a B, escribimos A * B.
EJEMPLO 7. La palabra planeta significa vagabundo. Se usaba para describir a las
luces que se movan de manera regular en el cielo a lo largo del a
no, a diferencia
de las estrellas, que permanecen fijas. Debido al descubrimiento de mas objetos,

1.2
23
que si bien orbitan alrededor del Sol no se perciben como vagabundos a simple
ASTRONOMICA
vista, la XXVI Asamblea General de la UNION

INTERNACIONAL
realizada en Praga en , resolvio, el 24 de agosto, dividir en tres categoras
los cuerpos celestes de nuestro Sistema Solar, de la siguiente manera:
1. Un planeta es un cuerpo celeste que: (a) esta en orbita alrededor del Sol,
(b) debido a su masa es casi redondo, y (c) ha limpiado su orbita de vecinos.
2. Un planeta enano*, que debido a la observacion en la nota al pie de pagina,
nos tomaremos la libertad de llamar planetoide, es un cuerpo celeste que:
(a) est
a en
orbita alrededor del Sol, (b) debido a su masa es casi redondo, (c)
no ha limpiado su
orbita de vecinos y (d) no es un satelite.
3. Los objetos peque
nos del sistema solar, conjunto que denotaremos con
OP SS, son todos los dem
as que estan en orbita alrededor del Sol, excepto
los satelites.
Si denotamos con P al conjunto de los planetas del Sistema Solar, tenemos
P = {Mercurio, Venus, Tierra, Marte, J
upiter, Saturno, Urano, Neptuno}
y con P E al conjunto de los planetas enanos del Sistema Solar, tenemos que
Ceres P E,
Pluton P E
Eris P E.
Ceres tiene una

orbita localizada en la region principal de asteroides que esta
entre Marte y J
upiter, y Eris esta en una orbita que llega mas alla que la de
Plut
on.
Tambien se resolvi
o que Pluton es el prototipo de una nueva clase de objetos llamada objetos transneptunianos, que denotaremos con OT N . De
hecho, la categora de los objetos peque
nos del Sistema Solar (OP SS) esta formada actualmente por los asteroides del Sistema Solar, la mayora de los objetos
transneptunianos (OT N ), los cometas y otros objetos peque
nos.
Si denotamos por CCSS al conjunto de los cuerpos celestes del sistema solar,
vemos que el conjunto de los planetas enanos P E = {Ceres, Plut
on, Eris} es un
subconjunto de CCSS, P E CCSS.
* Aqu cabe una aclaracion. Si nos referimos a una camisa azul, intentamos describir
un objeto que, antes que nada, es una camisa, y de entre ellas, es una camisa de color
azul. Es decir que el conjunto de las camisas azules est
a contenido en el conjunto de
las camisas.
Realmente parece un desacierto que, seg
un la definici
on, un planeta enano no sea
planeta. En todo caso, si la intenci
on de la UIA era que Plut
on, Ceres, Eris y otros no
fueran planetas, convendra designarlos con otro nombre, por ejemplo planetoide, por
decir algo, pero se podra usar cualquier otra palabra, como calcetn o flarios.
Lo desafortunado es que al usar como nombre de la categora un sustantivo (planeta)
seguido de un adjetivo (enano), por gram
atica elemental, implica la pertenencia de sus
elementos a la categora m
as amplia de quienes describe el sustantivo, sin especificar
el adjetivo; que es lo opuesto a lo que se pretende. En fin, esperemos que para la
XXVII Asamblea en afinen sus definiciones. (Agradezco la sabrosa charla con Julia
Espresate.)

24
Los planetas no son todos los cuerpos celestes del Sistema Solar. Es decir,
hay alg
un cuerpo celeste (Pluton) que no esta considerado entre los planetas.
Decimos entonces que el conjunto de los planetas es un subconjunto propio del
conjunto de los cuerpos celestes del Sistema Solar.

Actividad
En una conferencia, Julia Espresate propuso describir un modelo del
Sistema Solar en una escala en la que 1 metro equivale a 73,298 km.
Colocando al Sol en el centro una ciudad, y utilizando esta escala para
los dem
as objetos del sistema solar (tama
nos y distancias), es posible
percibir la magnitud y posiciones relativas de los Cuerpos Celestes
del Sistema Solar. Ubiquen un lugar en su poblaci
on y comparen la
posici
on de los planetas con lugares conocidos de su poblaci
on. D
onde
ubican en ese modelo al Cintur
on de Kuiper?
Observamos que dado un conjunto A en un universo , se cumplen las siguientes propiedades:
(i) A,
(ii) A A,
(iii) A .
La manera de verificar que las propiedades enunciadas son verdaderas es
proceder a demostrarlas a partir de la definicion. Sin entrar en detalles daremos
una idea de c
omo proceder.
La afirmaci
on (ii) es evidente, cada elemento de A es un elemento de A, luego
A A. No se queda atr
as la afirmacion (iii) pues el conjunto A esta formado
de objetos de , luego si x A tenemos que x .
Presentamos una idea de demostracion de la afirmacion (i) con la intenci
on
de ejemplificar un tipo de razonamiento usado en matematicas, se llama una
demostraci
on por vacuidad (dicho de manera directa, los elementos del conjunto
vaco, como no existen!, cumplen cualquier propiedad).
Para hacer ver que A habra que verificar que cada elemento de es
tambien un elemento de A. Esto sucede! pues no es posible exhibir alg
un
elemento de que no sea elemento de A (como exhibirlo, si no hay elementos
en !), luego todos los elementos de estan tambien en A, es decir, A.
Truculento verdad?, no se trata de que se aprendan el parrafo anterior, pero
de seguro los pondr
a a pensar.
Podemos resumir diciendo que:
(i) El vaco es subconjunto de cualquier conjunto, A.
(ii) Cualquier conjunto es subconjunto de s mismo, A A.
(iii) Cualquier conjunto es subconjunto del total, A .
Hay un concepto que permite expresar la situacion de que un conjunto A este
contenido en B pero no sea todo B, como en el ejemplo de los planetas.
1.2
25

1.2. Sean A y B dos conjuntos tales que A B. Si existe alg

DEFINICION
un
elemento y B tal que y
/ A decimos que A es un subconjunto propio de B
y lo expresamos simb
olicamente como
A B.
Decimos tambien que A est
a contenido propiamente en B o que B contiene propiamente a A, lo cual escribimos B A.
Las relaciones de contenci
on y contencion propia entre dos conjuntos cumplen
con una propiedad importante, son transitivas, es decir que si A esta contenido
en B, y B est
a contenido en C, entonces A esta contenido en C.
Con frecuencia se afirma que los matematicos escriben con smbolos que nadie
entiende y gozan con ser parte de los elegidos que los comprenden. Sucede que
conforme avanzamos en una disciplina usamos lenguajes simbolicos que facilitan
la comunicaci
on. En matem
aticas tambien en m
usica y hasta en tejido
usamos lenguaje simb
olico para describir y transmitir situaciones que resultaran pr
acticamente incomprensibles si se comunicaran en lenguaje cotidiano, por
ejemplo la expresi
on simb
olica f 0 (x) encierra multitud de consideraciones, seg
un
veremos en el captulo 6. Creen posible y practico describir en lenguaje cotidiano la m
usica escrita en una partitura de una sinfona?
Tampoco se trata de usar exceso de simbologa, de hecho la reduciremos lo
m
as posible, pero este es un buen momento para comenzar a comprenderla.
Practicamos?, la propiedad transitiva de la contencion entre conjuntos dice que
si A B y B C, entonces A C.
La expresi
on anterior tiene la forma si {expresion 1} entonces {expresion 2},
que transformamos en
{expresi
on 1} implica {expresion 2},
en lugar de la palabra implica colocamos la flecha =, obteniendo
{expresion 1} = {expresion 2}.
La transitividad de la contenci
on entre conjuntos se expresa simb
olicamente como
A B y B C = A C,
que se lee A subconjunto de B y B subconjunto de C implica que A es un
subconjunto de C.
No es tan complicado, poco a poco introduciremos mas smbolos. Acabamos
de exponer la propiedad transitiva de la contenci
on, pero debemos demostrar que
se cumple. Es relativamente f
acil demostrar afirmaciones relacionadas con los
conjuntos, primero enunciemoslo claramente. Dependiendo del peso que tenga
,
en nuestra exposicion, podemos enunciar el resultado como una AFIRMACION
o de plano un TEOREMA, cuando el resultado se desprenda del
una PROPOSICION
teorema recientemente expuesto le llamamos COROLARIO. La transitividad de la
contenci
on en conjuntos la exponemos como una:
26

1.1. Si A, B y C son conjuntos tales que A B y B C, entonces

AFIRMACION
A C.
. La hip
DEMOSTRACION
otesis de la afirmacion es que los conjuntos cumplen con
que A B y B C. Queremos demostrar que A C, es decir, que si x A
entonces x C. Sea pues x A.
Como A B y x A, entonces x B, pero B C y x B, luego x C.
Dado x A hemos concluido que x C, luego A C.

Otra afirmaci
on relaciona la contencion de dos conjuntos con la contencion
de sus complementos, cuya demostracion quedara como ejercicio.
1.2. Si A B entonces B c Ac .
AFIRMACION
Misma que ilustramos en la figura siguiente,
FIGURA 1.3
A B pueden ver que B c Ac ?
PROBLEMAS 1.2
1. Sea = {1, 2, 3}. Halla todos los subconjuntos de .
2. Si es el conjunto de los elementos que aparecen en la Tabla Peri
odica de
los Elementos, halla los siguientes subconjuntos de : A el conjunto de los
metales alcalinos, B el conjunto de los actnidos y C el conjunto de los
gases nobles.
3. Denotemos con A el conjunto de pases del continente americano. Cual
es el subconjunto S de A formado por los pases del subcontinente llamado
Am
erica del Sur? Halla los siguientes subconjuntos de S: Los pases andinos, los pases donde el idioma predominante es el espa
nol, el complemento
del anterior.
3. IGUALDAD Y OPERACIONES
Debemos trabajar con conjuntos bien definidos ya lo sabemos y tenemos
las nociones de pertenencia, complemento y subconjunto, definamos ahora la
igualdad entre conjuntos.
1.3
27
1.3. Dos conjuntos A y B son iguales, lo escribimos A = B, si

DEFINICION

A B y B A.
Podemos expresar la definicion de igualdad entre conjuntos usando el smbolo
que representa la equivalencia logica entre dos afirmaciones:
A = B A B y B A,
que se lee
A es igual a B si, y s
olo si, A esta contenido en B y B esta
contenido en A.
La expresi
on si, y s
olo si, empleada en el recuadro anterior significa que las
expresiones A = B y A B y B A son equivalentes, que significan lo
mismo, es decir que se cumplen estas dos afirmaciones:
(i) Si A = B entonces A B y B A.
(ii) Si A B y B A entonces A = B.
Cuando debamos verificar que dos conjuntos A y B son iguales,
debemos corroborar que cada elemento de A es elemento de B
y viceversa: que cada elemento de B es elemento de A.
EJEMPLO 8. El conjunto P de los n
umeros primos menores que 10 es igual al
conjunto T = {2, 3, 5, 7} pues cada elemento de P es un elemento de T y cada
elemento de T est
a en P .

EJEMPLO 9. El complemento del conjunto vaco es el total: c = .
. Seg
SOLUCION
un dice en el recuadro anterior, para verificar que dos conjuntos,
digamos A y B, son iguales debemos corroborar que cada elemento del primer
conjunto es un elemento del segundo y viceversa: que cada elemento del segundo
conjunto es un elemento del primero. En este caso los conjuntos son c y ,
debemos hacer ver que c y que c .
Sabemos que cualquier conjunto es subconjunto del total, as que c .
Ahora bien, si x est
a en no puede estar en el vaco (nadie esta), luego esta en
su complemento, es decir x c .

EJEMPLO 10. El complemento del total es el vaco.
. La intentan?
SOLUCION
28

Actividad
Emplea como universo al conjunto de tus compa
neros y compa
neras
de grupo. Describe diferentes situaciones de manera que resulten
conjuntos iguales. Convence al grupo de que, en efecto, son iguales.
Las dos operaciones principales entre conjuntos son la intersecci

on y la
uni
on. La primera describe a los objetos comunes a los dos conjuntos, la
segunda describe a los objetos de los dos conjuntos.
1.4. El conjunto intersecci
DEFINICION
on de los conjuntos A y B esta formado
por los objetos que pertenecen a A y que pertenecen a B. Lo denotamos con
A B y escribimos
A B = { x | x A y x B },
que se lee A intersecci
on B es igual al conjunto de los puntos x en tales que
x pertenece a A y x pertenece a B.
1.5. El conjunto uni
DEFINICION
on de los conjuntos A y B esta formado por
los objetos que pertenecen a A o que pertenecen a B, o pertenecen a ambos.
Lo denotamos con A B y escribimos
A B = { x | x A o x B },
que se lee A uni
on B es igual al conjunto de los puntos x en tales que x
pertenece a A o x pertenece a B, o pertenece a ambos.
Para que un objeto x pertenezca a A B debe estar en A y
en B, debe estar en los dos conjuntos.
Para que un objeto x pertenezca a A B basta con que pertenezca a alguno de los dos, basta con que este en uno de ellos.
FIGURA 1.4
Las partes sombreadas representan la intersecci

on y uni
on
de dos conjuntos.

1.3
29
EJEMPLO 11. Cualquier aleaci

on de cobre y esta
no se llama bronce. Hay muchas
aleaciones que contienen peque
nas cantidades de otros materiales. Al a
nadir
fosforo se obtiene resistencia al uso, el bronce con plomo sirve para hacer partes
m
oviles, con nquel se obtiene dureza y sirve para hacer engranes, con silicon
se hace m
as fuerte para rodamientos y es resistente a la corrosion, se usa para
hacer partes de barcos. Hay otras aleaciones de cobre sin esta
no que tambien
se llaman bronce, como el cobre con aluminio llamado bronce de aluminio, el
cobre con zinc llamado lat
on y el cobre con zinc y manganeso llamado bronce de
manganeso.
Expresamos como conjuntos a las aleaciones anteriores:
B = {cobre,
F = {cobre,
P = {cobre,
N = {cobre,
S = {cobre,
A = {cobre,
L = {cobre,
M = {cobre,
esta
no},
esta
no, fosforo},
esta
no, plomo},
esta
no, nquel},
esta
no, silicon},
aluminio},
zinc},
manganeso}.
Claramente F N = B, M A = {cobre}, S P = {cobre, esta

no, silicon,
plomo} y L B = {cobre, esta
no, zinc}.

EJEMPLO 12. Sea = {1, 2, 3, 4, 5, 6} y los conjuntos A = {2, 3, 5, 6}, B =
{1, 2, 4, 5} y C = {1, 3, 5}.
Tenemos que A B = {2, 5}, A C = {3, 5}, y que A C = {1, 2, 3, 5, 6} y
A B = .

Actividad
Considera el conjunto de pases del continente americano. Averig
ua
qu
e organismos o asociaciones de pases representan las siguientes siglas y establece relaciones de contenci
on entre ellas, analiza las intersecciones y ve si la uni
on de varios organismos constituyen otro. Determina a qu
e organismos pertenece tu pas y a cu
ales no: FAO, OCI,
ODECA, OEA, OLADE, OLAS, ONU, OPANAL, OPEP, OSPAAL,
OTAN, TLC, UNESCO.
1.6. Dos conjuntos A y B son ajenos si su interseccion es vaca, es

DEFINICION
decir
A y B son ajenos A B = .
30

EJEMPLO 13. Como no existe cuerpo celeste del Sistema Solar que sea, simultaneamente, planeta y planeta enano, tenemos que P P E = , luego P y P E
son conjuntos ajenos.

EJEMPLO 14. Sea = {1, 2, 3, 4, 5, 6}, A = {1, 3, 5} y B = {2, 4, 6}. Los conjuntos A y B son ajenos pues A B = .

PROBLEMAS 1.3
Para los problemas del 1 al 5 considera que A es el conjunto de pases del
continente americano, y define:
T = { x A | x limita con el Oceano Atlantico },
P = { x A | x limita con el Oceano Pacfico }.
1.
2.
3.
4.
5.
6.
7.
8.
Obten T P .
Es cierto que T c = P ? Por que?
Halla (T P )c .
Define dos conjuntos, Q y R, de elementos de A que sean ajenos y que
Q R T.
Encuentra un conjunto S tal que S T P .
Si E es el conjunto de los pases que tienen frontera con Per
u y N es el
conjunto de los pases que tienen frontera con Venezuela, Cu
al es E N y
E N.
Usa los conjuntos definidos en el ejemplo 7. Halla OT N c y P P E. Es
cierto que OT N c = P P E?
Menciona un cuerpo celeste c del Sistema Solar tal que c
/ P P E.
4. PROPIEDADES BASICAS
En esta secci
on, que servir
a de referencia, enunciaremos las principales propiedades que cumplen las operaciones entre conjuntos y demostraremos algunas.
Cada operaci
on es:
i) Idempotente, es decir, que A A = A y A A = A.
ii) Conmutativa, es decir, que A B = B A y A B = B A.
iii) Asociativa, es decir, que A (B C) = (A B) C y A (B C) =
(A B) C
iv) Se cumplen las dos leyes distributivas, es decir, la union distribuye a
la intersecci
on y la interseccion distribuye a la uni
on: A (B C) =
(A B) (A C) y A (B C) = (A B) (A C).
Veamos algunas demostraciones. Recuerden que para demostrar que dos
conjuntos son iguales hay que demostrar que se cumple la doble contencion.
1.4
Propiedades basicas
31

1.3. Sean A, B y C tres conjuntos, las operaciones de interseccion

AFIRMACION
y uni
on cumplen estas dos propiedades llamadas leyes asociativas:
1. A (B C) = (A B) C,
2. A (B C) = (A B) C.
. Para demostrar la propiedad (1) de que los conjuntos A (B
DEMOSTRACION
C) y (AB)C son iguales, debemos mostrar que se cumple la doble contencion,
es decir que
y
(i) A (B C) (A B) C
(ii) (A B) C A (B C).
Para comprobar que se cumple la contencion (i) debemos verificar que cada
elemento del primer conjunto tambien es un elemento del segundo conjunto, sea
pues x en A (B C), como x A (B C) entonces x A y x B C,
pero esto u
ltimo implica que x B y x C, tenemos as que x A y x B
y x C, por lo tanto, x A B y x C, de donde x (A B) C, luego
A (B C) (A B) C.
De manera parecida comprobamos la contencion (ii) es como regresar por
los pasos dados en el p
arrafo anterior sea x (A B) C, entonces x A B
y x C, es decir x A y x B y x C, por lo tanto, x A y x B C, de
donde x A (B C), luego (A B) C A (B C).
Al comprobar la doble contencion (i) y (ii) hemos demostrado la veracidad
de la primera propiedad, siguiendo un razonamiento analogo podran demostrar
la segunda.

La distributividad es otra propiedad de las operaciones de interseccion y
uni
on entre conjuntos, nos dice de que manera combinarlas.
1.4. Sean A, B y C tres conjuntos, las operaciones de interseccion
AFIRMACION
y uni
on cumplen estas dos propiedades llamadas leyes distributivas:
1. A (B C) = (A B) (A C),
2. A (B C) = (A B) (A C).
. Demostremos la propiedad (1), se trata de demostrar la igualDEMOSTRACION
dad A (B C) = (A B) (A C), para ello debemos mostrar que se cumple
la doble contenci
on
y
(i) A (B C) (A B) (A C),
(ii) (A B) (A C) A (B C).
Para demostrar la contenci

on (i) debemos mostrar que cada elemento x en A
(B C) es, a su vez, un elemento de (A B) (A C),
sea pues x A (B C),
esto implica que x A y x B C,
pero x B C = x B o x C.

32
Tenemos entonces que x est

a en A, eso es seguro, y, ademas, que x esta en B
o x est
a en C, es decir que x esta en A y en B, o x esta en A y en C, luego
x (A B) (A C), lo cual implica que A (B C) (A B) (A C).
Como en la afirmaci
on anterior, para demostrar la contencion (ii) regresamos
por los pasos que dimos para demostrar (i). Sea x (A B) (A C), por lo
tanto, x (A B) o x (A C), es decir x esta en A y en B, o x esta en A y
en C lo cual significa que x necesariamente esta en A y puede estar en B o en
C, de donde x A (B C), obteniendo que (A B) (A C) A (B C).
Hemos demostrado la doble contencion y con ello la propiedad (1). De manera
an
aloga podemos demostrar la propiedad (2).

En la siguiente afirmaci
on presentamos dos propiedades que relacionan las
operaciones de intersecci
on y union con el concepto de complemento, se conocen
como leyes de DE MORGAN.
1.5. Si A y B son dos conjuntos, se cumplen las propiedades:
AFIRMACION
1. (A B)c = Ac B c ,
2. (A B)c = Ac B c .
La primera se lee el complemento de la interseccion es la union de los complementos y la segunda: el complemento de la union es la interseccion de los
complementos.
. Para demostrar la propiedad (1) es necesario mostrar la doble
DEMOSTRACION
contenci
on
y
(i) (A B)c Ac B c ,
(ii) Ac B c (A B)c .
Ataquemos la contenci
on (i),
sea x (A B)c ,
luego x
/ A B.
Si x no est
a en la intersecci
on de A y B entonces x no pertenece a A o no
pertenece a B (pues si estuviera en los dos estara en la interseccion), luego
x
/Aox
/ B, es decir x Ac o x B c , de donde x Ac B c , mostrando as
la contenci
on (i).
Recprocamente, para mostrar la veracidad de la contencion (ii) suponemos
que x Ac B c , luego x Ac o x B c , es decir x no est
a en A o x no est
a en
B, luego no puede estar en la interseccion de A y B, es decir x
/ AB, de donde
x (A B)c , con lo cual mostramos la contencion (ii). Estas dos contenciones
implican que se cumple la propiedad (1). La propiedad (2) se demuestra de
manera an
aloga.

1.5
Algo de logica
33

PROBLEMAS 1.4
1. Demuestra que cada operacion la interseccion y la union es idempotente, esto es, si A es un conjunto se cumple que A A = A y A A = A.
2. Demuestra que cada operaci
on la interseccion y la union de conjuntos es
conmutativa, esto es, si A y B son dos conjuntos se cumple que A B =
B A y A B = B A.
3. Sean = {1, 2, 3, 4, 5, 6, 7}, A = {3, 5, 7}, B = {1, 3, 6, 7} y C = {2, 3, 4, 6}.
Verifica que se cumplen las leyes distributivas
4. Verifica que se cumplen las leyes de DE MORGAN para los conjuntos del
problema anterior.
5. Cu
al ser
a el resultado de A y de A ? Demuestralo.
6. Cu
al ser
a el resultado de A y de A ? Demuestralo.
Demuestra las afirmaciones en los problemas del 7 al 10.
7. Si A B entonces A B = A y A B = B.
8. A B A, para cualquier B.
9. A A B, para cualquier B.
10. Afirmaci
on 1.2, si A B entonces B c Ac .
5. ALGO DE LOGICA
Sucede, cuando avanzamos en el empleo del lenguaje, que no siempre logramos
comunicar de manera precisa lo que pensamos y nos vemos en discusiones donde
cada quien entiende lo que quiere entender y cada uno de nuestros interlocutores
perciben cosas distintas. El lenguaje de los conjuntos ayuda para expresarnos
con claridad de manera que personas distintas perciban la misma idea.
Hay quien piensa que lo contrario de todas las pelotas son azules es que
ninguna pelota es azul, por lo que resultara u
til ponernos de acuerdo en como
usar la expresi
on lo contrario, asimismo debemos cultivar la capacidad de
percibir las consecuencias l
ogicas de una afirmacion.
ARISTOTELES
escribi
o su LOGICA
en la antigua Grecia, en el siglo IV A.C.,
donde expuso la manera de razonar por medio de silogismos, muy famoso es:
Todos los hombres son mortales,
S
ocrates es hombre,
luego S
ocrates es mortal.
M
as de dos mil a
nos despues, en , el ingles BOOLE baso la logica matem
atica en el c
alculo proposicional, esto es, la manipulacion de proposiciones

34
las cuales son afirmaciones que a semejanza de los conjuntos bien definidos
tienen dos posibles valores de verdad, V o F.
Dada una proposici
on es verdadera, V, o es falsa, F. Si una proposicion
p es verdadera, su negaci
on, que se escribe p y se lee no p, es falsa. De
hecho, dada una proposicion p tenemos que p es verdadera o que p es verdadera.
Resumimos lo anterior en la siguiente tabla de verdad donde se ilustran los
valores de verdad de p dados los de p.
p
V
F
F
V
EJEMPLO 15. La proposici

on
p: Todos los hombres son mortales,
es verdadera. Luego su negacion
p: No todos los hombres son mortales,
es falsa.
EJEMPLO 16. La proposici

on
q: 10 es m
ultiplo de 3,
es falsa, luego su negaci
on
q: 10 no es m
ultiplo de 3,
es verdadera.

Usaremos la expresi
on lo contrario de una afirmacion para referimos a
su negaci
on, as, la negaci
on de todas las pelotas son azules es no todas las
pelotas son azules, ahora bien, dado un cierto conjunto P de pelotas, si la
proposici
on
p: todas las pelotas de P son azules
es verdadera, ello significa que tenemos la certeza de que dado cualquier elemento de P , que es una pelota, es azul. Pero si la proposicion p anterior no es
verdadera, es decir es falsa, la proposicion que sera verdadera es p, es decir,
lo cierto ser
a que no todas las pelotas de P son azules. Esto significa que
ninguna pelota de P es azul? La respuesta es NO, sucedera que en P habra
pelotas de otros colores, no importa de cual otro color, pero no todas las pelotas
de P son azules. Si la proposicion
p: no todas las pelotas de P son azules
es verdadera, significa que al menos una pelota en P no es azul, es decir,
que existe alguna pelota en P que no es azul.
Cuando es falsa una afirmacion sobre todos los elementos de
un conjunto, sucede que al menos un elemento del conjunto no
cumple con la afirmacion.

1.5
Algo de logica
35
EJEMPLO 17. Es cierto que todos los nombres de los das de la semana, en
espa
nol, comienzan con la letra M? La respuesta es no, ya que puedo exhibir
al menos un nombre de da de la semana, a saber Lunes, que no empieza con
la letra M.

EJEMPLO 18. Los planetas giran alrededor del Sol describiendo orbitas circulares. No es cierto. Al menos la Tierra gira alrededor del Sol describiendo una
orbita elptica. Hasta aqu llega la constatacion de que la afirmacion inicial no es
verdadera. Hay m
as, KEPLER demostro que todos los planetas giran alrededor
del Sol describiendo
orbitas elpticas, pero ello no constituye la negacion de la
primera afirmaci
on, sino que constituye una nueva afirmacion.

Si afirmamos que todos los elementos de un conjunto C cumplen con determinada propiedad p, debemos mostrar que dado cualquier elemento x C se
tiene que x cumple la propiedad p.
Si, por lo contrario, afirmamos que no es cierto que todos los elementos
de C cumplen la propiedad p, lo cierto es que existe al menos un elemento
x C tal que x no cumple con la propiedad p.
EJEMPLO 19. Es cierto que los nombres de los das de la semana, en espa
nol,
tienen menos de diez letras? Dado cualquiera de los nombres podemos examinarlo y constatar que el nombre mas largo miercoles tiene nueve letras, luego
cada elemento del conjunto de los nombres de los das de la semana tiene menos
de diez letras y la respuesta es s.

N.B. No es para el texto definitivo, pero no resisto ponerlo en el borrador:
EJEMPLO 20. Hay una expresi
on machista sobre las mujeres que dice
Todas son iguales!
La autoflagelaci
on masculina asegura que lo anterior no es cierto pues
Hay algunas que son peores!
(Entra mariachi tocando La que se fue.)
EJEMPLO 21. No todo lo que brilla es oro. Cierto, hasta el cobre brilla.

Presentamos una tabla con algunas afirmaciones y su respectiva negacion.
Afirmaci
on
Negaci
on
Todos los x son p.

Ning
un x es p.
Alg
un x es p.
Alg
un x no es p.
Alg
un x no es p.
Alg
un x es p.
Ning
un x es p.
Todos los x son p.
Cuando afirman que una proposicion es verdadera establecen una conjetura,

es decir, una presunci
on de que su afirmacion es verdadera. Las conjeturas, es
decir las presunciones, habran de confirmarse. Deben demostrar que se cumple
una conjetura verificando que se cumple la afirmaci
on realizada. Cuando una
conjetura sea falsa debemos exhibir un contraejemplo, alguien para quien no
se cumpla la afirmaci
on.

36
: Cada
EJEMPLO 22. CONJETURA: Todos aprobamos el examen. COMPROBACION
uno del grupo aprob
o el examen? Si la respuesta es afirmativa la conjetura
fue cierta. Si alg
un elemento de los que presentaron examen no lo aprobo, la
conjetura result
o falsa.

Actividad
Construyan proposiciones acerca de un grupo de amigas y amigos.
Establezcan conjeturas, demuestren las que sean ciertas y exhiban
contraejemplos de las que resulten falsas.
Hemos tratado con el concepto de proposicion. Dada una proposicion (una afirmacion), sucede que es verdadera o falsa, una
de dos, no puede haber indefinicion as como con un conjunto,
dado un objeto sucede que pertenece al conjunto o no pertenece.
Un tipo de proposiciones son abiertas, se trata de afirmaciones cuyo valor de
verdad, es decir, que la proposicion sea verdadera, o que sea falsa, depende del
objeto acerca del cual se realice la afirmacion. Como el valor de verdad de la
proposicion depende de a quien se refiera la proposicion, la denotaremos con
p(x), que se lee p de x.
EJEMPLO 23. Sea la proposici
on abierta
p(x): x tiene frontera con Per
u,
donde x es un elemento de A, el conjunto de pases del continente americano.
Depende del valor de x el valor de verdad que tenga p, por ejemplo, si x =
Ecuador, entonces la proposicion p es verdadera mientras que si x = Paraguay,
la proposici
on p es falsa. Escrito de otra manera, p(Ecuador) es una proposicion
verdadera, mientras que p(Paraguay) es una proposicion falsa. Podemos definir
el conjunto E como el conjunto de los pases x para los cuales la proposicion
p(x) es verdadera,
E = { x | es verdad que x tiene frontera con Per
u },
o bien,
E = { x | p(x) es verdadera }.
Generalizando lo expuesto en el ejemplo anterior, sea un conjunto universo

y p(x) una proposici
on abierta acerca de los objetos de .
1.7. El conjunto A de objetos de para los cuales p(x) es una
DEFINICION
proposici
on verdadera se llama el conjunto de verdad de p y se describe como
o, simplemente,
A = { x | p(x) es verdadera },
A = { x | p(x) },
1.5
Algo de logica
37

que se lee A es el conjunto de las x en tales que p de x.

1.6. Si A = { x | p(x) } es el conjunto de verdad de p, entonces
AFIRMACION
el conjunto de verdad de p es Ac .
. Sea
DEMOSTRACION
B = { x | p(x) }
el conjunto de verdad de p. Queremos demostrar que B = Ac para lo cual
debemos mostrar que se cumple la doble contencion B Ac y Ac B. Para ver
que se cumple la primera contencion tenemos que hacer ver que cada elemento
de B es un elemento de Ac . Si x B entonces p(x) es verdadera, pero, seg
un
vimos en su tabla de verdad, p(x) es verdadera cuando p(x) es falsa, lo cual
implica que x no est
a en el conjunto de verdad de p, por lo tanto, est
a en su
complemento, es decir x Ac . Hemos visto que x B x Ac , luego B Ac .
Podemos regresar por los mismos pasos y mostrar que Ac B, concluyendo la
demostraci
on de que B = Ac .

Dadas dos proposiciones p y q es posible construir otras nuevas por medio
de las operaciones de conjunci
on y disyunci
on. La conjuncion de p y q es
verdadera si el valor de verdad de ambas, p y q, es verdadero. Para que la
disyunci
on de p y q sea verdadera basta que alguna de las dos sea verdadera.
1.8. Sean p y q dos proposiciones, la conjunci
DEFINICION
on de p y q, que se
escribe p q (se lee p y q), es verdadera si p es verdadera y q es verdadera,
la tabla de verdad de p q es:
p
pq
V
V
F
F
V
F
V
F
V
F
F
F
EJEMPLO 24. Veamos las proposiciones siguientes:

p: Todos los hombres son mortales,
q: S
ocrates es hombre.
La proposici
on p q es:
Todos los hombres son mortales y Socrates es hombre.
Seg
un el estado actual de las cosas, sabemos que si es verdad que todos los
hombres son mortales, luego el valor de p es V, y tambien sabemos que Socrates,
el fil
osofo, es un ser humano, es decir el valor de q es V. Luego la proposicion
pq es verdadera. Que desprendemos de aqu? Nada, simplemente verificamos
la veracidad de una conjunci
on de proposiciones.

EJEMPLO 25. Consideremos las siguientes afirmaciones:
p: 7 es par,
q: Santiago es la capital de Chile.
38
La conjunci
on de las proposiciones p y q, a saber,

7 es par y Santiago es la capital de Chile,

es falsa pues p es falsa (el 7 no es un n
umero par). No importa que q sea
verdadera (sabemos que es verdad que Santiago es la capital de Chile). Para
que la conjunci
on de dos proposiciones sea verdadera es necesario que las dos
proposiciones sean verdaderas.

EJEMPLO 26. Averig
uemos el valor de la conjuncion de p q en el caso de las
proposiciones:
p: Soy millonario,
q: Nadie me quiere.
Uf! Las proposiciones parecen demasiado subjetivas como para someterlas a
an
alisis, pero veamos las cosas con calma. Para que la conjuncion de p y q, que
se denota con p q, sea verdadera es necesario que tanto p como q lo sean. En
este caso la conjunci
on de p y q se lee:
Soy millonario y nadie me quiere.
Como podr
an imaginar, la veracidad de la conjuncion depende de quien realice
la afirmaci
on. El ejemplo consiste en que cada lector se coloque como el emisor de
las proposiciones p y q. Les pregunto, de manera individual: Eres millonario?
si me respondes que no lo eres, tendremos que p es falsa. Ahora es el turno de
q: Nadie te quiere? Si hay alguna persona que te quiera entonces q es falsa y,
por lo tanto, la conjunci
on p q es falsa.

Recuerden,
para que la conjunci
on de dos proposiciones sea verdadera es
necesario que las dos lo sean.
1.9. Sean p y q dos proposiciones, la disyunci
DEFINICION
on de p y q, que se
escribe p q (se lee p o q), es verdadera si p es verdadera o q es verdadera, o
ambas lo son, la tabla de verdad de p q es:
p
pq
V
V
F
F
V
F
V
F
V
V
V
F
Es decir, p q es verdadera si p y/o q es verdadera.

EJEMPLO 27. Consideremos las mismas afirmaciones del ejemplo 25:
p: 7 es par,
q: Santiago es la capital de Chile.

Algo de logica

1.5
39
La disyunci
on de las proposiciones p y q, a saber,
p q: 7 es par o Santiago es la capital de Chile,
es verdadera pues aunque p es falsa (el 7 no es par) sucede que q si es verdadera
pues sabemos que es verdad que Santiago es la capital de Chile.

EJEMPLO 28. Sean las proposiciones p y q las siguientes:
p: 6 es par,
q: 6 es m
ultiplo de 3.
La disyunci
on p q es verdadera para que sea verdadera basta que una de las
proposiciones lo sea pues sucede que, en este caso, las dos proposiciones son
verdaderas.

Para que sea verdadera la disyunci
on pq de dos proposiciones
basta que una de las dos, sea p o sea q, sea verdadera.
La disyunci
on l
ogica descrita choca con el uso cotidiano de la frase p o
q, empleada para expresar la eleccion entre dos alternativas, consideradas excluyentes: subes o bajas?. Para expresar esa disyunci
on excluyente en
donde se pide que, una de dos, p sea verdadera o que q sea verdadera, pero
que no ambas lo sean (el termino excluyente se usa en el sentido de que la
veracidad de una proposici
on excluye la veracidad de la otra), se pueden usar
las operaciones de conjunci
on y disyuncion definidas anteriormente, junto con la
negaci
on.
1.10. Sean p y q dos proposiciones, la disyunci
DEFINICION
on excluyente de
p y q, que se denota con p Y q y se lee una de dos, p o q, es verdadera cuando
p es verdadera o q es verdadera, y, ademas, es falso que p y q. Es decir,

p Y q tiene el mismo valor de verdad que (p q) (p q) .
Podemos construir la tabla de verdad de la disyunci
on excluyente en base
a las operaciones b
asicas de negaci
on, conjunci
on y disyunci
on, procedamos
por partes:
p
pq
pq
(p q)
V
V
F
F
V
F
V
F
V
V
V
F
V
F
F
F
F
V
V
V
De lo anterior obtenemos que

p
pq
(p q)
(p q) (p q)
V
V
F
F
V
F
V
F
V
V
V
F
F
V
V
V
F
V
V
F
40

Es decir, la tabla de verdad de la disyuncion excluyente es:

p
pYq
V
V
F
F
V
F
V
F
F
V
V
F
Si p y q fueran proposiciones abiertas y pensamos que A es el conjunto de

verdad de p y B es el conjunto de verdad de q, el conjunto de verdad de p Y q es
(A B) (A B)c .
1.11. La diferencia sim
DEFINICION
etrica de A y B, se denota con A M B
que se lee A diferencia simetrica B, y se define como:
A M B = (A B) (A B)c .
El conjunto A M B representa a los puntos que estan en A o estan en B pero
no est
an en ambos.
W
B
A
FIGURA 1.5
Los puntos que est

an en A o en B pero no en ambos.
EJEMPLO 29. Si p y q son las siguientes proposiciones,

p: 20 es m
ultiplo de 5,
q: 20 es par,
enunciar las proposiciones p, p q, p q, p Y q y dar su valor de verdad.
. Tenemos que p es verdadera pues, en efecto, el n
SOLUCION
umero 20 es m
ultiplo
de 5 porque 20 = 5 4. Asimismo q es verdadera pues 20 = 2 10. Entonces
p:
p q:
p q:
p Y q:
20
20
20
20
no es m
ultiplo de 5, es falsa.
es m
ultiplo de 5 y es par, es verdadera.
es m
ultiplo de 5 o es par, es verdadera.
es, una de dos, m
ultiplo de 5 o es par, es falsa.
1.5
Algo de logica
41

Actividad
Junto con un grupo de amigas y amigos escriban una lista de afirmaciones. Analicen las afirmaciones, digan cu
ales son proposiciones y
den su valor de verdad. Enuncien y den el valor de verdad de la negaci
on de cada proposici
on. Construyan nuevas proposiciones por medio
de las operaciones de conjunci
on, disyunci
on y disyunci
on excluyente,
digan el valor de verdad de cada una.
EJEMPLO 30. Sea = {1, 2, 3, 4, 5, 6, 7, 8, 9} un conjunto universo y las proposiciones abiertas

p(x): x es par,
q(x): x es m
ultiplo de 3.
Halla los conjuntos de verdad de p, q, p q, p q y p Y q.
. Los conjuntos de verdad de p y q son
SOLUCION
A = { x | p(x) }
= { x | x es par }
= {2, 4, 6, 8},
y
B = { x | q(x) }
= { x | x es m
ultiplo de 3 }
= {3, 6, 9}.
El conjunto de verdad de p es Ac = {1, 3, 5, 7, 9} y el de q es B c = {1, 2, 4,
5, 7, 8}, tenemos, adem
as, que el conjunto de verdad de p q los pares de
que son m
ultiplos de 3 es
A B = {6},
el conjunto de verdad de p q es
A B = {2, 3, 4, 6, 8, 9},
y el conjunto de verdad de p Y q una de dos, es par o es m
ultiplo de 3 es
A M B = (A B) (A B)c
= {2, 3, 4, 6, 8, 9} {1, 2, 3, 4, 5, 8, 9}
= {2, 3, 4, 8, 9}.
42

PROBLEMAS 1.5
1. Di cu
ales de las siguientes expresiones constituyen proposiciones, da su valor
de verdad y enuncia su negacion.
p: Ayer llovio,
q: Las aventuras de Sherlock Holmes,
r: 7 es mayor que 15,
s: Los pases de America,
t: Los caballos jadean,
u: 3 2 = 6,
v: Perenifolia significa siempre con follaje,
w: Ni t
u ni yo.
2. Enuncia la negaci
on de las siguientes afirmaciones y di cual es verdadera.
a. Todos los gatos son pardos,
b. Nadie es profeta en su tierra,
c. Algunas aves emigran,
d. Algunas serpientes no son venenosas,
e. Ninguna maquina funciona,
f. Hay ejercicios anaerobicos,
g. Todas las flores tienen pistilo,
h. Alg
un planeta no tiene agua.
3. Dadas las conjeturas siguientes, explica como demostrar que es cierta, o como
se probara que es falsa.
a. Todos asistiran a la Cumbre,
b. Ning
un huracan tocara tierra,
c. Alg
un ro se desbordara,
d. Algunos pases no firmaran el acuerdo,
4. Si es el conjunto universo formado por las palabras en espa
nol, halla el
conjunto de verdad de las siguientes proposiciones abiertas,
p(x): x es da de la semana,
q(y): y es el nombre de un dgito,
r(z): z contiene todas las vocales,
s(w): w es un personaje de 100 A
nos de Soledad.
5. Completa la demostraci
on de la afirmacion 1.6.
1.6
Como
razonar
43

6. Enuncia las proposiciones p, p q, p q, p Y q y da su valor de verdad.

a. p: El helio es un gas inerte,
b. p: El hielo es agua solida,
q: Madrid es la capital de Espa
na.
q: Las ostras son mamferos.
c. p: Alhaja proviene del arabe,
d. p: Acabo la pobreza,
q: 9 es par.
q: El aro es cuadrado.
7. Construye la tabla de verdad de (p), p q y (p q) (q p).
8. Sea el conjunto universo
= {lunes, martes, miercoles, jueves, viernes, sabado, domingo}
y las proposiciones abiertas
p(x): x comienza con m,
q(x): x tiene tres vocales distintas,
r(x): x tiene una a,
s(x): x comienza con e.
Halla los conjuntos de verdad de p, r, p r, q s y p Y q.
6. COMO
RAZONAR
A las operaciones de disyunci
on y conjuncion de la seccion anterior se les llama
conectivos l
ogicos. Los podemos combinar, junto con la negacion, y obtener
los importantes conectivos de implicaci
on y bicondicionalidad.
1.12. Sean p y q dos proposiciones, la implicaci
DEFINICION
on si p entonces
q, que se escribe p q y tambien se lee p implica q, tiene el mismo valor de
verdad que p q.
Que la proposicion p q tenga el mismo valor de verdad que p q significa
que la tabla de verdad de ambas proposiciones es identica.
Como la tabla de verdad de p q es:
p
p q
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
la tabla de verdad de la implicacion es

p
pq
V
V
F
F
V
F
V
F
V
F
V
V
Es muy importante notar que para que la implicacion sea verdadera no es

necesario que haya una relaci
on de causa-efecto entre las proposiciones.
44
EJEMPLO 31. Sean p y q las proposiciones

p: Ecuador tiene frontera con Per

u,
q: El 8 es par.
La implicaci
on p q, que se enuncia si Ecuador tiene frontera con Per
u,
entonces el 8 es par, es verdadera pues seg
un la tabla anterior, como p es
verdadera y q es verdadera sucede que la implicaci
on es verdadera.

A la proposici
on p en la implicacion p q se le llama la hipotesis de la
implicaci
on, y a la proposici
on q se le llama la conclusion. Seg
un se nota en la
tabla de verdad de p q,
la implicaci
on s
olo es falsa cuando la hipotesis p es verdadera
y la conclusi
on q es falsa.
Esto significa que no admitiremos como implicacion verdadera que, de una hipotesis verdadera se siga una conclusi
on falsa. Sin embargo,
es una implicaci
on verdadera que una hipotesis falsa implique
una conclusi
on falsa,
y tambien
es una implicaci
on verdadera que una hipotesis falsa implique
una conclusi
on verdadera.
Ilustremos con un ejemplo el significado de las afirmaciones anteriores y veamos
que no van tan en contra de nuestro sentido com
un.
EJEMPLO 32. Consideremos la proposicion si llueve entonces voy al cine. Claramente es la implicaci
on p q de
p: Llueve,
q: Voy al cine.
La implicaci
on puede ser verdadera o falsa. Veamos por casos:
CASO 1. Resulta que si llovi
o y, en efecto, fui al cine. Hice lo que dije, sin duda
la implicaci
on es verdadera.
CASO 2. Si llovi
o y decid no ir al cine. No cumpl con lo pactado, la implicacion
es falsa.
CASO 3. No llovi
o y, a
un as, decid ir al cine. Deje de cumplir lo pactado? No,
no deje de cumplir (de hecho no llovio), luego la implicacion es verdadera.
CASO 4. No llovi
o y no fui al cine. Alguien puede acusarme de no cumplir mi
promesa? No, luego la implicacion es verdadera.

1.6
Como
razonar
45
Hemos verificado, en este ejemplo, que la implicacion es falsa solo cuando la

hip
otesis es verdadera y la conclusion es falsa.

En la implicaci
on p q, a la proposicion p se le llama una condicion suficiente
para q. Tambien se dice que q es una condicion necesaria para p.
Podemos interpretar lo anterior de la siguiente manera, si la implicacion p q
es verdadera,
SUFICIENCIA: Para que q sea verdadera basta que p sea verdadera.
NECESIDAD: Si p es verdadera, necesariamente q es verdadera.
EJEMPLO 33. Del ejemplo anterior, en los casos en que la implicaci
on es verdadera, la suficiencia significa que para que sea cierto que fui al cine basta que
haya llovido, y la misma implicaci
on verdadera expresada en terminos de necesidad es que si es cierto que llovio necesariamente fui al cine.

1.13. Sean p y q dos proposiciones, la bicondicional p si, y s
DEFINICION
olo
si, q, que se escribe p q y tambien se lee p es condici
on necesaria y
suficiente para q, tiene el mismo valor de verdad que (p q) (q p).
De la tabla de verdad de p q y de q p
p
pq
qp
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
obtenemos la tabla de verdad de p q

p
pq
V
V
F
F
V
F
V
F
V
F
F
V
Vemos que la bicondicional p q es verdadera solo en los casos en que tanto p

como q tienen, ambas, el mismo valor de verdad.
La expresi
on si, y s
olo si, se interpreta, en caso de que la bicondicional
sea verdadera, como que p ocurre si q ocurre, pero, ademas, que q ocurre solo
si p ocurre. En terminos de suficiencia, para que se cumpla q basta que p sea
verdadera y, de manera recproca, para que p se cumpla basta que q sea verdadera. En terminos de necesidad, para que q se cumpla debe cumplirse p y, de
manera recproca, para que se cumpla p debe cumplirse q. Las consideraciones
anteriores acerca de la bicondicional p q explican por que, en caso de que la
bicondicional sea verdadera, p es condicion necesaria y suficiente para q.

46
EJEMPLO 34. Analicemos esta version ampliada del ejemplo 32, si llueve es
condici
on necesaria y suficiente para que vaya al cine. O, dicho de otra manera, con el mismo significado, llueve si, y solo si, voy al cine. Se trata de la
bicondicional de las proposiciones
p: Llueve,
q: Voy al cine.
Nuevamente, veamos por casos:
CASO 1. Resulta que si llovi
o y, en efecto, fu al cine. Hice lo que dije, sin duda
la bicondicional es verdadera.
CASO 2. Si llovi
o y decid no ir al cine. No cumpl con lo pactado, la bicondicional
es falsa.
CASO 3. No llovi
o y, a
un as, decid ir al cine. No cumpl lo pactado. Dije que
ira s
olo si lloviera, luego la bicondicional es falsa.
CASO 4. No llovi
o y no fui al cine. No falte a lo pactado (no hubo condiciones),
luego la bicondicional es verdadera.

Hemos verificado, en este ejemplo, que la bicondicional es verdadera solo
cuando las dos proposiciones tienen el mismo valor de verdad (ambas son verdaderas o ambas son falsas). Y hemos ilustrado como la bicondicional p q,
cuando es verdadera, obliga a que si se cumple p tambien se cumple q y, viceversa, si se cumple q debe cumplirse p.
Disponemos ahora de los conectivos logicos, a saber, conjuncion, disyuncion,
disyunci
on excluyente, implicacion y bicondicional, ademas de la negacion, con
los cuales podemos construir nuevas proposiciones cuyo valor de verdad depende
de los valores de verdad de las proposiciones constituyentes y se obtienen de la
tabla de verdad de los conectivos.
EJEMPLO 35. A partir de las afirmaciones
p: Voy a la playa,
q: Hace calor,
r: Llueve,
construimos nuevas proposiciones y las enunciamos.
(q r) p:
q (r p):
p q:
(r q) p:
Si hace calor y no llueve, voy a la playa.

Si hace calor entonces, si no llueve voy a la playa.
Voy a la playa si, y solo si, hace calor.
Llueve y no hace calor, entonces no voy a la playa.
1.6
Como
razonar
47

Actividad
Quienes no vivan cerca de la playa podr
an construir afirmaciones similares y adecuadas a sus condiciones clim
aticas y de posibilidades de
diversi
on.
Un tipo de proposici
on que nos interesa de manera particular, es la que siempre es verdadera, independientemente de los valores de verdad de sus proposiciones constituyentes, quiz
a el ejemplo mas sencillo sea p p.
Otro tipo de proposici
on que nos interesa es la que siempre es falsa, independientemente de los valores de verdad de sus proposiciones constituyentes, el
ejemplo m
as sencillo es p p.
p
p p
p p
V
F
F
V
V
V
F
F
1.14. Una tautologa es una proposicion que siempre es verdadera,

DEFINICION
una contradicci
on es una proposicion que siempre es falsa, independientemente
de los valores de verdad de sus proposiciones constituyentes. Cualquier tautologa
se denota con V0 y cualquier contradiccion se denota con F0 .
EJEMPLO 36. Demostrar que p (p q) es una tautologa.
. Construimos la tabla de verdad de p (p q)
SOLUCION
p
pq
p (p q)
V
V
F
F
V
F
V
F
V
V
V
F
V
V
V
V
y vemos que la proposici

on p (p q) siempre es verdadera, independientemente de los valores de las proposiciones constituyentes, luego se trata de una
tautologa.

EJEMPLO 37. Demostrar que (p q) q es una contradiccion.
. Construimos la tabla de verdad de (p q) q
SOLUCION
p
p q
(p q) q
V
V
F
F
V
F
V
F
F
V
F
F
F
F
F
F

48
vemos que la proposici

on (p q) q siempre es falsa, independientemente de los
valores de sus proposiciones constituyentes, luego se trata de una contradiccion.

La lecci
on es que
para saber si una proposicion es tautoga debemos corroborar
que siempre sea verdadera, independientemente de los valores
de sus proposiciones constituyentes.
EJEMPLO 38. Si p y q son proposiciones, demostrar que (p q) p es una
tautologa.
. Hag
SOLUCION
amoslo en varios pasos, en una primera tabla colocaremos los
valores de p, q, p, q y p q,
p
p q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
V
F
V
A continuaci
on construyamos la tabla para p, q, (p q), p y, finalmente,
(p q) p.
p
(p q)
(p q) p
V
V
F
F
V
F
V
F
F
F
V
F
F
F
V
V
V
V
V
V

1.15. Si p y q son proposiciones tales que p q es una tautologa,
DEFINICION
decimos que p implica l
ogicamente a q y lo escribimos p q
1.16. Si p y q son proposiciones tales que p q es una tautologa,
DEFINICION
decimos que p es l
ogicamente equivalente a q y lo escribimos p q
Quiz
a convenga que la parte siguiente que sera leyes de la logica, reglas de
inferencia y cuantificadores, fueran en un anexo (siento que este captulo se est
a
alargando demasiado, reconsiderar esto despues). El anexo incluira desde la
secci
on C
omo razonar. La seccion llamada Algo de l
ogica se llamara proposiciones. Pensar bien esto, rehacerlo al final.
OJOJOJOJ: Ya est
a bien, hay que concluir y pasar a la NOTA HISTORICA
del
captulo.
(pagina 51)

CAPITULO
PUNTOS EN LA RECTA REAL
1. NUMEROS
NATURALES
umeros naturales a los que usamos para contar:
Tradicionalmente se consideran n
uno, dos, tres, cuatro, . . . . Algunos autores incluyen al cero, cosa que no haremos. Denotamos con N al conjunto de los n
umeros naturales,
N = {1, 2, 3, 4, 5, . . . , n 1, n, n + 1, . . .}.
Los negativos no son n

umeros naturales, ni las fracciones, ni los decimales son
n
umeros naturales.
/ N.
/ N, 2
EJEMPLO 1. 5831 N, 7
/ N,
/ N, 264 1 N, 0
/ N, 35
Pensemos los n
umeros naturales como fila de personas: hay quien comienza
la fila, le llamamos el 1, a quien le sigue le llamamos el 2. No hay personas entre
1 y 2. Despues del 2 hay quien le sigue, le llamamos el 3, y as sucesivamente.
Vemos que cualquier persona en la fila tiene un lugar, digamos el lugar n: el
lugar que le antecede es el n 1 y el lugar que le sigue es el n + 1, no hay
personas colocadas entre dos sucesivas, es decir, no hay n
umeros naturales entre
el n y el n + 1. Si consideramos varias personas de la fila siempre habr
a quien
este situado m
as adelante.
EJEMPLO 2. Si n N, el conjunto
A = {2, 4, 6, 8, . . . , 2n, . . .}
de los n
umeros pares es un subconjunto propio de los n
umeros naturales, escribimos A N.

EJEMPLO 3. Si n N, el conjunto
B = {1, 3, 5, 7, . . . , 2n 1, . . .}
de los n
umeros impares es otro subconjunto propio de los n
umeros naturales.
De los ejemplos anteriores vemos que dado un n
umero natural, una de dos,
esta en A o esta en B, es decir, si m N, una de dos, m es par o es impar. Los
n
umeros pares son de la forma 2n, con n N, son m
ultiplos de 2. Los impares
son de la forma 2n 1, con n N, no son m
ultiplos de 2.
51
52
Captulo 2 Puntos en la recta real

2.1. Si p2 es par entonces p es par.

AFIRMACION
. Supongamos que p no es par, entonces es de la forma 2n 1
DEMOSTRACION
para alg
un n N. Por lo tanto, p2 = (2n 1)2 = 4n2 4n + 1, que es impar.
Es decir, si tengo que p2 es par y supongo que p es impar, llego a la conclusion
de que p2 es impar, lo cual constituye una contradiccion. Luego la hipotesis de
que p es impar es insostenible, luego p necesariamente es par.

2.1. Dado un n
DEFINICION
umero natural n, el n
umero natural siguiente es n+1,
llamado su sucesor.
Todo n
umero natural tiene sucesor y decimos que cada natural n es menor
que su sucesor n + 1 lo cual escribimos n < n + 1.
2.2. La relacion de orden introducida por el concepto de sucesor es
DEFINICION
transitiva, es decir si m, n y p N, tenemos que
si m < n y n < p, entonces m < p,
lo cual se lee: si m, n y p son n
umeros naturales y si m es menor que n y n es
menor que p, entonces m es menor que p.
Hay dos propiedades de N que son equivalentes:
2.3. (PRINCIPIO DEL BUEN ORDEN) Cualquier subconjunto no vaco
DEFINICION
de N tiene un elemento mnimo.
EJEMPLO 4. El conjunto C de los m
ultiplos de 7 es un subconjunto no vaco de
N, pues 28 C, y 7 es el menor elemento de C. Noten que C no tiene elemento
m
aximo!, pues si c C, tenemos c < 7c C. Es decir, dado cualquier elemento
de C podemos hallar otro elemento de C, a saber 7c, mayor que el dado.

EJEMPLO 5. Sea D el conjunto de naturales cuyo cuadrado es mayor que 2. Halla
el elemento menor de D.
. El 1 no puede ser el menor pues 12 = 1 no es mayor que 2. Pero
SOLUCION
2
2 = 4 es mayor que 2. Como entre 1 y 2 no hay otro natural, resulta que el 2
es el mnimo de D.

2.4. (PRINCIPIO DE INDUCCION
FINITA) Si una afirmaci
DEFINICION
on acerca de
un n
umero se cumple para el 1 y si sucediendo que se cumple para el natural k
se cumple para el sucesor k + 1, entonces la afirmaci
on se cumple para todos los
n
umeros naturales.
El siguiente ejemplo tiene su anecdota, en una ocasion estando en la escuela
el despues llamado prncipe de las matematicas, CARL FRIEDRICH GAUSS, a la
edad de 9 a
nos, el maestro pregunto a los alumnos la suma de los 100 primeros
n
umeros con af
an de mantenerlos ocupados. La sorpresa fue que el ni
no GAUSS,
no bien hubo enunciado el maestro el problema dio la soluci
on: 5,050.
C
omo hizo para sumar casi de inmediato 1 + 2 + 3 + 4 + 5 + 6 + 7 + +
98 + 99 + 100? En lugar de sumar 1 + 2 = 3, 3 + 4 = 7, 7 + 5 = 12 y seguir as,

2.1 Numeros
Naturales
53
GAUSS se percat
o que tomados por parejas los sumandos, comenzando por los
extremos, es decir 1 y 100, despues 2 y 99, despues 3 y 98, y as, hasta 50 y 51,
la suma de cada pareja es 101. Cu
antas parejas hay? Como hay 100 sumandos,
hay 50 parejas. Cada pareja suma 101 luego el total es 50 101 = 5, 050.
Actividad
Digan, y expliquen c
omo lo obtuvieron, cu
al es el resultado de sumar
los primeros 17 n
umeros naturales.
La anecdota anterior viene al caso porque hay una formula para hallar la
suma de los primeros n naturales, cuya validez se demuestra usando el principio
de induccion finita tambien llamado principio de induccion matematica.
2.2. Para todo n
AFIRMACION
umero natural n se cumple que
n(n + 1)
.
2
. Tenemos una afirmaci
DEMOSTRACION
on acerca de todos los n
umeros naturales: si n es un n
umero natural, la suma de los primeros n naturales es el
n(n + 1)
. Para verificar que dicha afirmaci
n
umero
on cumple con las premisas
2
del principio de induccion matematica debemos verificar que:
1 + 2 + 3 + + n =
(i) La afirmaci
on se cumple para el n
umero natural n = 1.
Veamos, la suma del primer sumando es, evidentemente, 1. Por otro lado, apli12
2
1(1 + 1)
=
= = 1. Es decir, la
cando la formula para n = 1, la suma es
2
2
2
formula da el resultado correcto para n = 1, luego se verifica el primer punto: la
afirmaci
umero natural n = 1.
(ii) Suponiendo que la afirmaci
umero natural n = k, se
cumple la afirmaci
on para el natural k + 1.
Suponer que se cumple la formula para k significa suponer que
k(k + 1)
,
(1)
2
a partir de lo cual verificaremos la validez de la formula para k + 1 que es la
suma de los primeros k + 1 naturales:
1 + 2 + 3 + + k =
1 + 2 + 3 + + k + (k + 1).
k(k + 1)
, as, a
De la formula (1) sabemos que los primeros k terminos suman
2
la fracci
on anterior a
nadimos k + 1 para hallar la suma de los k + 1 terminos:

1 + 2 + 3 + + k + (k + 1) = 1 + 2 + 3 + + k + (k + 1)
54
k(k + 1)
+ (k + 1)
2
(k + 1)(k + 2)
k(k + 1) + 2(k + 1)
=
.
=
2
2

Es decir,

(k + 1) (k + 1) + 1
1 + 2 + 3 + + (k + 1) =
.
2
Luego al suponer que la formula se cumple para n = k obtenemos que se cumple
para n = k + 1.
Hemos verificado que se cumplen las premisas del principio de induccion
matematica para el caso de la afirmaci
on que nos ocupa, por lo tanto, dicha
afirmaci
on se cumple para todos los n
umeros naturales. Es decir: para todo
n
umero natural n sucede que
n(n + 1)
.

1 + 2 + 3 + + n =
2
El ejemplo anterior ilustra una tecnica de demostracion llamada demostraci
on
por induccion finita, demostracion por induccion matematica o, simplemente,
demostraci
on por induccion.
Actividad
Formen una fila de fichas de domin
o, una ficha a continuaci
on de otra,
de manera que al derribar la primera derribe a la segunda y
esta, a
su vez, derribe a la que le sucede y as hasta derribar toda la fila.
2.5. Sea n un n
DEFINICION
umero natural, al conjunto de los primeros n naturales le llamamos el segmento Sn , es decir,
Sn = {1, 2, 3, . . . , n}.
El segmento Sn tiene n elementos. Decimos que un conjunto A es finito y tiene

n elementos si es posible establecer una correspondencia biunvoca entre
A y Sn , lo escribimos |A| = n, que leemos: la cardinalidad de A es n.
EJEMPLO 6. El conjunto B de las letras de la palabra murcielago tiene 10 elementos pues hay una correspondencia biunvoca, a saber,
m u r c i e l a g o
l l l l l l l l l l
1 2 3 4 5 6 7 8 9 10
entre B = {m, u, r, c, i, e, l, a, g, o} y S10 , luego |B| = 10 .

Claramente no hay segmento Sn que pueda ponerse en correspondencia biunvoca con todo N, luego N no es un conjunto finito, decimos que tiene un n
umero
infinito de elementos, que es un conjunto infinito y que su cardinalidad es 0 ,
que se lee alef cero (alef es la primera letra del alfabeto hebreo), |N| = 0 .

2.1 Numeros
Naturales
55

2.6. Si un conjunto infinito A se puede poner en correspondencia

DEFINICION
biunvoca con N, decimos que A tiene cardinalidad 0 y lo escribimos |A| = 0 .
Seg
un mencionamos en la seccion 0.6, hay varios tipos de conjuntos infinitos. El conjunto de los n
umeros naturales es un representante de la cardinalidad
0 . A los conjuntos que puedan ponerse en correspondencia biunvoca con los
naturales, es decir que tengan cardinalidad 0 , se les llama conjuntos numerables o enumerables, en referencia al hecho de que podemos formar en fila
a sus elementos y comenzar a llamarlos o enumerarlos con los n
umeros naturales: uno (se
nalando al primero), dos (se
nalando al que sigue), tres, . . . , y as
sucesivamente.
Una peculiaridad de los conjuntos infinitos es que pueden ponerse en correspondencia biunvoca con subconjuntos propios.
2.3. Hay el mismo n
AFIRMACION
umero de pares que de naturales.
. Lo que afirma el enunciado es que existe una correspondencia
DEMOSTRACION
biunvoca entre el conjunto A = {2, 4, 6, 8, . . . , 2n, . . .} de los n
umeros pares
y el conjunto N de los n
umeros naturales. Para demostrarlo hay que exhibir
la correspondencia biunvoca, es decir, a cada n
umero par asociar un n
umero
natural y a cada n
umero natural asociar un n
umero par,
2 4 6 8 . . . 2n . . .
l l l l
l
1 2 3 4 ... n ...
Vemos que, en efecto, es posible establecer dicha correspondencia biunvoca, por
lo tanto, podemos afirmar que hay el mismo n
umero de pares que de naturales,
es decir, que
|N| = |A| = 0 .
Observamos, adem
as, que hemos colocado en correspondencia biunvoca al conjunto de los naturales con un subconjunto propio, mostrando una parte del
mismo tama
no que el todo, lo cual nos lleva a pensar que la famosa frase que
dice el todo es mayor que cada una de sus partes es valida solo en el caso de
conjuntos finitos.

Actividad
Describan varios subconjuntos de los n
umeros naturales, digan cu
ales
son finitos y cu
ales infinitos. Digan cu
antos elementos tienen los conjuntos finitos y exhiban una correspondencia biunvoca con alg
un subconjunto propio de cada conjunto infinito.
Ahora que estamos familiarizados con los n
umeros naturales, veamos c
omo
representarlos en una recta. Para ello tracemos una recta horizontal pensandola
como dirigida de izquierda a derecha, lo que indicamos con una flecha:

56
FIGURA 2.1
Recta dirigida.
A continuacion ubiquemos un punto al cual llamaremos origen:
O
FIGURA 2.2
Un punto arbitrario O es el origen (sospechamos que despues ser

a el 0).
Despues de se
nalar un origen en la recta dirigida, con un comp
as, con centro
en O y radio U , que seleccionamos de manera arbitraria pero mantenemos fijo
de ahora en adelante, trazamos un arco marcando un segmento a la derecha de
O sobre la recta, al punto de cruce del arco con la recta le asignamos el n
umero
natural 1.
O
FIGURA 2.3
Al segmento U lo llamamos unidad, ubicamos el natural 1.
Esta construcci
on geometrica es la base la construcci
on de la recta real:
consiste de una recta dirigida, un punto llamado origen (el cero), un segmento
arbitrario considerado como unidad y el n
umero 1 colocado en el extremo derecho de dicho segmento. Con centro en 1 y radio U , localizamos el 2, con centro
en 2 y radio U ubicamos el 3 y as sucesivamente. Hemos identificado cada
n
umero natural con un punto en la recta real.
0
FIGURA 2.4
Los naturales en la recta real.
Hay, sin embargo, multitud de puntos de la recta real que no estan ocupados
por n
umeros naturales. Los n
umeros naturales estan colocados sobre la recta
real de manera que los separa un segmento unidad. Los naturales N son un
conjunto discreto en la recta real. Con ello queremos expresar que dado un
elemento hay un elemento sucesor, que existe el elemento que le sigue.
EJEMPLO 7. Los n
umeros pares forman un conjunto discreto en la recta real.

2.1 Numeros
Naturales
57

. Dado un n
SOLUCION
umero par, al ser m
ultiplo de 2 tiene que ser de la forma
2n donde n N, luego el n
umero 2n + 2 es el n
umero par que sigue al 2n.
EJEMPLO 8. Localiza los m
ultiplos de 3 en la recta real.
. A partir de O medimos 3 unidades (con nuestro segmento U ). El
SOLUCION
primer natural que dista del origen en 3 unidades es el n
umero 3. Con centro
en 3 y radio 3U , localizamos el 6, con centro en 6 y radio 3U localizamos el 9,
y as, el 12, 15, 18, continuando sucesivamente.

En el conjunto N de los n
umeros naturales tenemos definidas dos operaciones: suma y producto. Son operaciones cerradas, lo cual significa que la
suma de dos n
umeros naturales es un natural, y que el producto de dos n
umeros
naturales es un n
umero natural. Las operaciones cumplen con estas propiedades:
Cerradura
Conmutatividad
Asociatividad
Distributividad
Suma
Producto
a, b N = a + b N
a+b=b+a
a + (b + c) = (a + b) + c
a, b N = ab N
ab = ba
a(bc) = (ab)c
a(b + c) = ab + ac
Ademas, en los n
umeros naturales tenemos definido un orden: cada n
umero
natural es menor que su sucesor. La relacion de orden cumple con:
Orden
Tricotoma
Transitividad
Buen orden
Si a y b N, entonces a < b, a = b o
b < a.
Si a < b y b < c, entonces a < c.
Si C N y C 6= , entonces existe alg
un
elemento m C tal que m c para todo
c C.
En resumen, en esta secci

on hemos identificado a los n
umeros naturales con
ciertos puntos de la recta real.
PROBLEMAS 2.1
Para los conjuntos en los problemas del 1 al 4 contesta:
i) Cu
antos elementos tiene?
ii) Esta bien ordenado?
iii) Hay alg
un subconjunto propio del conjunto dado que sea infinito?,
puedes exhibir una correspondencia biunvoca entre el conjunto dado
y un subconjunto propio?

58
1. El conjunto T de los m
ultiplos de 3.
2. El conjunto P de los n
umeros primos menores que 100 (Los n
umeros primos
son los naturales divisibles solo entre s mismos y la unidad.)
3. Los naturales que al dividirlos entre 8 dejan residuo 3.
4. Las potencias de 2.
5. Demuestra, por induccion, que
1 + 3 + 5 + . . . + (2n 1) = n2 .
6. Ubica en la recta real los siguientes subconjuntos de los n
umeros naturales:
n
a. B = {n N | 120 < 2 < 5000}, b. H = {n N | n = 16m, m N},
c. C = {n N | 500 < n3 },
d. F = {1, 2, 3, 5, 8, 13, 21, 34}.
2. NUMEROS
ENTEROS
Una descripci
on breve y facil de los n
umeros enteros es pensar a los naturales
junto con su reflejo en un espejo colocado en el origen O. En lugar del origen O
colocamos el n
umero 0 (cero) y a la imagen en el espejo del natural n le llamamos
n. Denotamos con Z al conjunto de los n
umeros enteros,
Z = {0, 1, 1, 2, 2, 3, 3, . . . , n, n, . . . }.
La representacion de los n
umeros enteros como puntos de la recta real la obtenemos a partir de los naturales colocando el n
umero 0 en el origen y, con el mismo
radio que hay de 0 a 1, con centro en 0 trazamos un arco del lado izquierdo del
0 y le llamamos 1. De la misma manera hallamos el reflejo del natural n: con
centro en 0 y radio la abertura de 0 a n trazamos un arco, a la intersecci
on del
arco con el lado izquierdo de la recta real le llamamos n.
-n
FIGURA 2.5
-3
-2
-1
El conjunto Z en la recta real.
A los n
umeros a la derecha del cero les llamamos los enteros positivos y a
los de la izquierda les llamamos los enteros negativos. Como ven, el conjunto
de los n
umeros naturales es un subconjunto propio del conjunto de los n
umeros
enteros, N Z, es el conjunto de los enteros positivos. Es u
til referirnos al
formado por
conjunto de los enteros no negativos, que denotaremos con Z,
los enteros positivos y el cero.

2.2 Numeros
enteros
59
Noten que Z, el conjunto de los n

umeros enteros es discreto, es decir, esta
acomodado de manera sucesiva, dado un entero p existe su sucesor p + 1 y su
antecesor p 1, manteniendo la siguiente relaci
on de orden,
p 1 < p < p + 1,
pero no esta bien ordenado pues es posible hallar subconjuntos de Z, no vacos,
que carecen de elemento mnimo.
EJEMPLO 9. Halla un subconjunto de Z que no tenga elemento mnimo.
. Es facil ver que el conjunto de los enteros negativos no tiene elemento
SOLUCION
mnimo. Dado q, un entero negativo, debe ser de la forma n donde n es un
n
umero natural (q es el reflejo de n). Sabemos que n < n + 1, es decir que, en
la recta real, n + 1 est
a a la derecha, de n y, por lo tanto, el reflejo de n + 1
esta a la izquierda del reflejo de n. Esto significa que (n + 1) < q. Luego dado
cualquier entero negativo q tenemos que q 1 esta a la izquierda de q.

Los enteros, en la recta real, estan formados en lnea, como los naturales,
pero no hay quien comience la fila. Sin embargo podemos contarlos. Para verificarlo debemos exhibir una correspondencia biunvoca entre Z, el conjunto de
los enteros y N, el conjunto de los naturales.
A primera vista parece cosa imposible que exista dicha correspondencia siendo
que los enteros incluyen a los naturales y a otro conjunto tan grande como los
naturales, como son los enteros negativos. Pero ya nos vimos en situaciones parecidas, cuando establecimos una correspondencia biunvoca entre los naturales y
los pares. La cuestion es c
omo formar a los enteros, independientemente de su
posici
on en la recta real, para contarlos, hag
amoslo as:
0
1 1 2
2 3
n n .
Noten que estamos formando a los enteros de manera que podamos contarlos,
no significa que esten en orden y que de esta formacion infiramos que hay un
elemento mnimo. As, se
nalando al 0 decimos uno, se
nalando al 1 decimos
dos, se
nalando al 1 decimos tres, y continuamos, dado un n
umero en la fila
es natural o es un reflejo. En caso de ser un natural, digamos n, lo se
nalamos y
decimos 2n, en caso de ser un reflejo, digamos que sea n, el reflejo del natural
n, lo se
nalamos y decimos 2n + 1, y seguimos as contando a los enteros,
0 1
l l
1 2
1 2 2
l l l
3 4 5
3 3
l l
6 7
n
l
2n
l
2n + 1 .
Claramente esta asociaci

on de enteros con naturales constituye una correspondencia biunvoca entre los conjuntos Z y N pues a cada entero corresponde un
natural, seg
un acabamos de ver, y a cada natural corresponde un entero: dado
un natural n 6= 1 es par o impar. Al natural 1 lo asociamos con el entero 0. Si n
es par es de la forma n = 2m, con m N, entonces al natural n le corresponde
el entero m. Si n 6= 1 es impar es de la forma n = 2m + 1, m N, entonces

60
al natural impar n le corresponde el entero m. Por lo tanto, Z y N tienen la

misma cardinalidad, es decir, Z es numerable y
|Z| = 0 .
Hay dos operaciones definidas en los n
umeros enteros, la suma y el producto,
que cumplen con las siguientes propiedades:
Cerradura
Conmutatividad
Asociatividad
Existen Neutros
Inverso Aditivo
Distributividad
Suma
Producto
a, b Z = a + b Z
a+b=b+a
a + (b + c) = (a + b) + c
a+0=0+a=a
Si a Z, a + (a) = 0
a, b Z = ab Z
ab = ba
a(bc) = (ab)c
a1 = 1a = a
a(b + c) = ab + ac
Si a Z, 2a = a + a, 3a = a + a + a, son m
ultiplos de a, as como a2 = a a
3
y a = a a a son potencias de a, tenemos, en general, que:
2.7. Si n es un entero positivo y a es un entero, na es un m
DEFINICION
ultiplo
positivo de a, y an es la n-
esima potencia de a. As,
na = a + a + + a,
{z
}
|
n veces
an = a
| a{z a} .
n veces
En realidad la definicion anterior es m

as bien intuitiva, nos permite argumentar, por ejemplo, que ma + na = (m + n)a, para a Z y m, n N , se hace
visualmente:
n veces
m veces
z }| { z }| {
ma + na = a + + a + a + + a
{z
}
|
m+n veces
= (m + n)a.
De manera analoga se tratan las propiedades de los exponentes:
m veces n veces
z }| { z }| {
am an = |a a{z
a a}
m+n veces
m+n
=a
.
En un buen curso de algebra superior trataran lo anterior con menos ligereza
y definiran, por ejemplo,
2.8. Si a Z y n N, definimos, de manera recursiva
DEFINICION
a1 = a,
an+1 = an a.
Con la definicion anterior, usando el principio de induccion, podemos demostrar la siguiente

2.2 Numeros
enteros
61

2.4. Si a y b son enteros y m y n son naturales se cumplen las

AFIRMACION
siguientes propiedades de los exponentes:
1. am an = am+n ,
2. (am )n = amn ,
3. (ab)m = am bm .
. Usemos el principio de induccion. Demostremos la propiedad
DEMOSTRACION
(1) por induccion en n. En primer lugar verifiquemos que se cumple la formula
para n = 1.
def
Si n = 1 entonces am an = am a1 = am a, y am+n = am+1 = am a.

Es decir cuando n = 1 ambos lados de la formula dan el resultado am a, luego la
propiedad (1) se cumple para n = 1.
Ahora debemos verificar que, suponiendo que se cumple para n = k, se
cumple para n = k + 1. Suponer que se cumple para n = k significa suponer que
am ak = am+k . Veamos que sucede con n = k + 1,
am ak+1 = am (ak a) pues por definicion ak+1 = ak a,
= (am ak )a
m+k
=a
porque el producto es asociativo,
a por la hipotesis de induccion para n = k,
(m+k)+1
=a
por definicion de potencia,
m+(k+1)
=a
porque la suma es asociativa.
Hemos verificado que se cumple la propiedad para n = k + 1 a partir de suponer
su validez para n = k. Por lo tanto, hemos demostrado que la propiedad (1) se
cumple para cualquier n
umero natural n.
La demostraci
on de las otras propiedades las dejamos como ejercicio.

Como sucede con los n
umeros naturales tambien hay un orden definido en los
n
umeros enteros.
2.9. Si a y b son dos n
DEFINICION
umeros enteros, decimos que a es menor que
b, y lo escribimos a < b, si existe alg
un n
umero natural n tal que a + n = b.
Es decir, el entero a es menor que el entero b si a esta a la izquierda de b.
EJEMPLO 10. Demuestra que 5 < 3.
. Al sumar el natural 2 al 5 obtenemos 3,

SOLUCION
5 + 2 = 3.
Luego el entero 5 esta a la izquierda del entero 3.
El orden as definido cumple:
Orden en Z
Tricotoma
Transitividad
Si a y b Z, entonces a < b, a = b o
b < a.
Si a < b y b < c, entonces a < c.
62

Hemos ubicado a los n

umeros enteros en la recta real.
Actividad
Considera la ecuaci
on ax + b = c. Sup
on que a, b y c son n
umeros
naturales, es decir a, b, c N. Analiza si la ecuaci
on tiene soluci
on.
Ahora para a, b, c Z hay soluci
on de la ecuaci
on? En cada caso da
ejemplos, y exhibe contraejemplos que apoyen tus afirmaciones.
Hasta ahora hemos asignado puntos en la recta real a los n
umeros naturales
y a los enteros. Los vemos formados, con sus respectivos sucesores y antecesores,
como un conjunto discreto. Notemos que dicha asignacion no agota los puntos de
la recta. Quedan todava puntos por ejemplo, los que estan entre dos enteros
sucesivos sin que tengan un n
umero asignado. Pero no hemos terminado,
continuemos despues de resolver algunos
PROBLEMAS 2.2
1. Exhibe un subconjunto infinito de Z, el conjunto de los n
umeros enteros, que
contenga positivos y negativos, que este bien ordenado.
2. Define recursivamente el concepto de m
ultiplo de un entero.
3. Basado en la definicion del ejercicio anterior, demuestra, por induccion en n,
que ma + na = (m + n)a.
4. Demuestra, por induccion en n, la propiedad (2) de la afirmaci
on 2.4.
5. Demuestra, por induccion en m, la propiedad (3) de la afirmaci
on 2.4.
3. NUMEROS
RACIONALES
Llamamos n
umeros racionales a las fracciones de n
umeros enteros sin factor
com
un y denominador distinto de cero.
p

p, q Z, q 6= 0, (p, q) = 1
Q=
q
En donde (p, q) = 1 significa que p y q no tienen factor com
un, es decir, que son
primos relativos, que ninguno es m
ultiplo del otro.
2
es un n
As,
umero racional. Noten que todos los n
umeros enteros son
3
a
racionales, si a Z, a = . Es decir
1
N Z Q.
10
un n
umero racional?
EJEMPLO 11. Es
6

2.3 Numeros
Racionales
63
. As como est
SOLUCION
a escrito y seg
un nuestra definicion, como (10, 6) = 2
10
/ Q.

es decir el 10 y el 6 tienen a 2 como factor com
un entonces
6
10
, dividiendo entre 2
Pero veamos m
as de cerca, si reducimos la fracci
on
6
el numerador y el denominador, es decir, si reducimos la fracci
on a su mnima
5
10
= . Ahora bien (5, 3) = 1, es decir, son primos
expresi
on, tenemos que
6
3
5
relativos, por lo que Q. Como es esto?
3
Sucede que vamos a considerar a los racionales como las fracciones en su mnima expresi
on.
6
, para considerarla como n
umero
3
2
6
racional, debemos tratar con su mnima expresi
on = = 2.
3
1
12
un n
EJEMPLO 12. Es
umero racional?
5
. En vista de que 12 y 5 son n
SOLUCION
umeros enteros, 5 6= 0 y (12, 5) = 1,
12
Q.

la respuesta es s,
5
Bien, tenemos el conjunto de los n
umeros racionales, denotado por Q. Veamos
ahora c
omo representar estos n
umeros en la recta real.
Sabemos as que al referirnos a la fraccion
5
en la recta real.
3
. Trazamos la recta real, la cual consiste en una recta horizontal,
SOLUCION
orientada con una flecha hacia el lado derecho, con un punto O como el origen
y un segmento arbitrario, pero fijo, como unidad. Vamos a dividir el segmento
unidad, es decir el segmento de recta que va del 0 al 1, en 3 partes congruentes,
o sea, de igual longitud.
Dividir un segmento de recta dado en un n
umero determinado de partes
congruentes, constituye un problema de geometra, cuya soluci
on se basa en sus
axiomas y en propiedades de tri
angulos semejantes:
Dividir el segmento OA en 3 partes congruentes.
EJEMPLO 13. Localiza el n
umero racional
O
FIGURA 2.6
El segmento OA.
64

Para ello trazamos un recta cualquiera l que pase por O, pero que no contenga
al segmento OA.
A
l
FIGURA 2.7
La recta l pasa por O, pero no contiene a OA.
Con un comp
as con abertura cualquiera, pero sin cambiarla, se
nalese, a partir
de O y sobre la recta l, 3 veces esa longitud, marcando los puntos P , Q y R.
A
O
P
FIGURA 2.8
Tres segmentos de igual longitud sobre l.
A continuacion u
nase los puntos R y A por una recta y tracense paralelas a esta
recta por los puntos P y Q obteniendo as los puntos B y C, donde cortan las
paralelas al segmento OA.
A
B
C
O
P
R
l
FIGURA 2.9
Unimos R y A, y trazamos paralelas por Q y P .
Los puntos B y C dividen al segmento OA en 3 partes congruentes.

Volvamos al ejemplo, por medio del procedimiento recien ilustrado dividimos
1
el segmento unidad en 3 partes congruentes ubicando, as, el n
umero racional .
3

2.3 Numeros
Racionales
0
FIGURA 2.10
1/3
65
Dividimos el segmento unidad en 3 partes congruentes y ubicamos
1
.
3
1
1
Ahora, usando un comp
as con abertura de 0 a , con centro en ubicamos en
3
3
3
2
2
la recta real el punto , despues, con centro en
ubicamos = 1; de manera
3
3
3
4
5
sucesiva, ubicamos y finalmente .
3
3
0
FIGURA 2.11
1/3 2/3
4/3 5/3
El segmento de longitud
R
1
3
nos permite ubicar
5
.
3

El procedimiento realizado en el ejemplo anterior se puede aplicar para localizar cualquier fracci
on cuyo numerador y denominador sean enteros positivos,
se denotan con Z+ si el numerador es igual a 0, la fraccion es 0. Vamos entonces a representar en la recta real la parte positiva de los n
umeros racionales:
las fracciones con denominador distinto de cero, con numerador y denominador
positivos y primos relativos,

p
p, q Z+ , q 6= 0, (p, q) = 1 .
Q+ =
q
p
umero racional positivo, para ubicarlo en la recta real
Sea, pues, Q+ un n
q
actuamos de la siguiente manera:
1. Dividimos el segmento unidad en q partes congruentes, el racional 1/q estar
a
situado a la derecha del 0, entre el 0 y el 1.
2. A partir de 0 y en la misma direccion de 1/q, trazamos p veces, una a continuacion de otra, la longitud del 0 a 1/q para ubicar ah el racional p/q.
-1
FIGURA 2.12
1/q
p/q
p veces la longitud 1/q.
Hemos entonces ubicado cada n

umero racional positivo en la recta real. Los
negativos se ubicar
an de manera simetrica al otro lado del 0 en la recta real.
As, hemos asociado a cada n
umero racional un punto en la recta real.

66
En el conjunto Q de los n
umeros racionales estan definidas las operaciones
de suma y producto, as como una relaci
on de orden.
p r
2.10. Si , Q la suma y el producto se definen como
DEFINICION
q s
ps + rq
p r
+ =
,
q
s
qs
p r
pr
= .
q s
qs
r
r
p
p
Se dice que es menor que , y se escribe < , si ps < qr.
q
s
q
s
Las operaciones as definidas cumplen las propiedades siguientes:
Suma
Cerradura
Conmutatividad
Asociatividad
Neutros
Inversos
Distributividad
Producto
p r
pr
p r
p r
, Q =
+ Q
, Q =
Q
q s
q
s
q s
qs
p r
pr
r p
rp
+ = +
=
q
s
s q
qs
sq
p r
t p r t
pr t p r t
+
+
=
+
+
=
q
s u
q
s
u
q su
qs u
p
p
p
p
p
p
+0=0+ =
1=1 =
q
q
q
q
q
q

p
p
p
p p 1
=1
+
=0
6= 0 =
q
q
q
q q
pr
t pr p t
+
=
+
q s u
qs qu
El orden cumple con estas propiedades:

Orden en Q
Tricotoma
Transitividad
Densidad
p
r
p
y Z, entonces <
q
s
q
p
r
< .
s
q
p
r
r
t
Si < y < , entonces
q
s s
u
Si
r p
r
, = o
s q
s
t
p
< .
q
u
p
r
t
< entonces existe
Q tal que
q
s
u
t
r
p
< < .
q
u
s
Si

2.3 Numeros
Racionales
67
En un curso de algebra superior se estudian los n

umeros racionales a profundidad. Aqu, sin entrar en m
as detalle, usaremos las propiedades de las fracciones
comunes,
5
5
5
5
=
= = (1) .
3
3
3
3
Y, generalizando, si p, q Z y q 6= 0,
p 1 q
p
p
p r
p r
p
p
=
= (1) = ,
= + ,
= , con p 6= 0.
q
q
q
q
q s
q
s
q
p
Donde s conviene analizar un poco m

as es lo que sucede con el orden. A diferencia de los naturales y los enteros, el conjunto Q de los n
umeros racionales no es
un conjunto discreto, en el que cada elemento tenga un sucesor. Precisamente,
la propiedad de densidad significa que dado un n
umero racional no existe el
racional que le sigue, sino que:
2.5. Entre dos n
AFIRMACION
umeros racionales hay siempre otro racional.
. Basta demostrar la afirmaci

DEMOSTRACION
on para dos racionales positivos.
r
p
<
demostraremos que su media
As, si tenemos dos racionales tales que
q
s
aritmetica esta entre los dos, esto es,
ps + rq
r
p
<
< .
q
2qs
s
Partamos de que
r
p
< ,
q
s
como p, q, r y s son enteros positivos, diferentes de 0, podemos aplicar las
propiedades elementales para las desigualdades entre enteros positivos, tenemos
entonces que, por la definicion de orden,
ps < rq.
Sumando ps en ambos lados de la desigualdad tenemos
2ps < ps + rq,
dividiendo ambos lados entre 2qs,
ps + rq
p
<
.
q
2qs
Ahora, partiendo de nuevo de
r
p
< ,
q
s
tenemos, como antes, que

ps < rq.
Sumando rq en ambos lados tenemos
ps + rq < 2rq,
(2)

68
dividiendo ambos lados entre 2qs,

r
ps + rq
< .
2qs
s
(3)
Las desigualdades (2) y (3) demuestran que la media aritmetica esta entre los
dos racionales dados.
Hasta aqu hemos demostrado que entre dos racionales positivos hay otro
racional. Dejamos como ejercicio el resto de la demostracion

La afirmaci
on anterior tiene importantes consecuencias:
2.6. Entre dos n
AFIRMACION
umeros racionales dados hay un n
umero infinito
de n
umeros racionales.
. La demostracion completa y formal escapa del ambito de este
DEMOSTRACION
libro, pero demos una idea.
Dados dos n
umeros racionales, ya demostramos que hay uno entre ellos, bien,
consideremos el racional de la izquierda y el que recien hallamos; pues entre esos
dos, por la afirmaci
on anterior, hay uno. Consideremos de nuevo el de la extrema
izquierda; entre ese y el recien hallado hay otro, y as, y as, podemos repetir el
procedimiento ad infinitum y, finalmente, entre los dos racionales dados hemos
hallado un n
umero infinito de racionales entre ellos.

Es importante comprender el significado de la densidad de los racionales.
2
1
y
, pr
acticamenImaginen dos racionales cercanos, digamos
1,000,000 1,000,000
te inindistinguibles si fueran fracciones de milmetro, pues bien, por la afirmaci
on
2.6, entre esos dos hay un n
umero infinito de racionales.
Es decir, los n
umeros racionales parecen tan apretujados en la recta real que
nos hara pensar que la cubren. Cosa que no sucede, pero eso es el tema del
siguiente par
agrafo.
Actividad
Compitan entre un grupo de personas dando dos n
umeros racionales,
retando a encontrar un n
umero racional entre ellos, y a esbozar la
manera de encontrar un n
umero infinito, hallar 5,
o 10, y explicar
c
omo se podran encontrar m
as.
La densidad de Q, el conjunto de los n
umeros racionales, podra inducirnos a
pensar que hay muchos m
as racionales que enteros. En los par
agrafos anteriores
vimos que
|N| = |Z| = 0 .
Ahora nos preguntamos cu
al es cardinalidad de los racionales? quien es |Q|?
La sorpresa es que la cardinalidad de los racionales tambien es 0 , lo cual significa

2.3 Numeros
Racionales
69
que podemos establecer una correspondencia biunvoca entre Q y N. Dicho en

lenguaje coloquial, que hay la misma cantidad de racionales que de naturales.
No es facil de explicar dicha correspondencia, para ilustrar partamos de la idea
de que un conjunto de cardinalidad 0 se puede formar para contarlo como lo
hicimos con los enteros, formarlos pero no ordenarlos de manera consecutiva.
Aun as, para ilustrar la manera en c
omo vamos a contar los racionales, lo
haremos con los racionales positivos, ya que los negativos tendran la misma
cardinalidad y, como ya percibimos de los enteros positivos y los negativos, la
union de dos conjuntos de cardinalidad 0 tiene, a su vez, cardinalidad 0 .
Vamos, entonces, a contar los racionales positivos. Primero los colocamos,
pero no en una fila, sino en varias, en una tabla: fila tras fila. Primero colocamos
una fila con los racionales con denominador igual a 1, debajo colocamos a los
racionales con denominador 2, y as sucesivamente:
1
1
1
2
1
3
1
4
1
5
1
6
1
7
..
.
3
1
2
1
2
2
2
3
2
4
2
5
2
6
2
7
7
1
7
2
6
3
7
3
5
4
6
4
7
4
4
5
5
5
6
5
7
5
3
6
4
6
5
6
6
6
7
6
3
7
4
7
5
7
6
7
7
7
3
2
3
3
3
4
3
5
5
1
4
1
4
2
4
3
4
4
5
2
5
3
6
1
6
2
Contemos los racionales seg

un la direccion de las flechas, comenzamos con 11 =
1, a quien asociamos el natural 1, a continuacion asociamos el 2 a 21 = 2, despues
el 3 se asocia a 12 , continuando asociamos el natural 4 a 13 , y continuamos de
esa manera, verificando, antes de asociar un n
umero natural, que la fracci
on este
formada por primos relativos. Seg
un la direccion de las flechas el 5 correspondera
a 22 = 1 que ya fue considerada (fue contada con el 1), as, el 5 corresponde,
en realidad a 31 = 3. Seguimos de esta manera y asociamos 6, 7, 8, 9 y 10,
respectivamente, a 41 = 4, 32 , 23 , 14 y 51 . Despues, seg
un la sucesion de fracciones
indicada por las flechas, siguen tres fracciones cuyo numerador y denominador

70
no son primos relativos, a saber 24 , 33 y 42 , por lo cual las saltamos y asignamos

el 11 a 51 = 5.
Al seguir el camino marcado por las flechas, cuando hallamos una fracci
on
cuyo numerador y denominador no son primos relativos, se trata de un racional
ya contado. Es decir, en la tabla aparecen, adem
as de los racionales, como
3
,
otras
fracciones:
las
obtenidas
al
multiplicar
numerador
y denominador del
2
6
=
racional por un n
umero natural, por ejemplo 32 = 96 = 24
16
4 . Es por ello que
saltamos esas fracciones.
p
un
Dada cualquier fracci
on ocupa un lugar en la tabla recien mostrada y, seg
q
el camino se
nalado por las flechas, llegar
a el turno de contarla.
Ilustramos, as, una manera de establecer una correspondencia biunvoca entre los naturales y la parte positiva de Q. Al considerar todos los racionales se
mantiene la cardinalidad. Concluimos que |Q| = 0 .
p
Q (sabemos
Veamos otra apariencia de los n
umeros racionales. Dado
q
que q 6= 0 y que (p, q) = 1) efectuemos la division del numerador p entre el
denominador q obteniendo, as, su expresi
on decimal. Ilustremos.
271
.
EJEMPLO 14. Halla la expresi
on decimal de
25
.
SOLUCION
271
= 10.84 .
25
Al dividir numerador entre denominador, obtuvimos un n
umero con 2 cifras
decimales, es decir despues de obtener en el cociente el u
ltimo decimal, el 4,
obtuvimos el residuo 0. El procedimiento para dividir se detuvo. A este tipo de
expresiones le llamamos decimal que termina.

1
on decimal de .
3
.
SOLUCION
1
= 0.33333 . . . .
3
Los puntos suspensivos indican que el proceso de la division no se detiene, siempre
se obtiene residuo 1, se baja el cero y de nuevo tenemos 10 entre 3, que coloca
otro 3 en el cociente, obteniendo residuo 1. Para indicar lo anterior se coloca
una barra sobre el n
umero que se repite en el cociente, as,
1
= 0.3 .
3
A esta expresi
on le llamamos decimal periodico, en este caso el periodo es 3.
482
.
on decimal de
13
.
SOLUCION
482
= 37.076923076923076923 . . . ,
13
= 37.076923 .

2.4 Los numeros

reales
71
Se trata de un decimal periodico, cuyo periodo es 076923.

Observemos que, dicho de manera estricta, un decimal que termina tiene
periodo 0, digamos 9.67857 = 9.678570, o, simplemente, 4 = 4.0. De todos los
decimales periodicos vamos a excluir las colas de 9 debido a que no son m
as
que otra representacion de decimales que terminan.
2.7. 1 = 0.9.
AFIRMACION
. Sea
DEMOSTRACION
x = 0.9,
multiplicando por 10 en cada lado,
10x = 9.9 .
Restando ambas ecuaciones tenemos,
10x x = 9,
9x = 9,
x = 1.
De manera analoga podemos demostrar que 2.139 = 2.14 y que 0.189 = 0.19.
As, la expresi
on decimal de un racional es un decimal periodico, excluyendo
las colas de 9s.
PROBLEMAS 2.3
1. Resuelve las ecuaciones siguientes, para x Q:
2.
3.
4.
5.
6.
7.
5
5
5
5
5
5
+x=
,
+ x = 0,
x=
,
x = 1.
3
3
3
3
3
3
Completa la demostraci
on de la afirmaci
on 2.5.
Al contar los racionales que lugar le corresponde a 53 ?
Que racional esta en el lugar 17?
Explica por que al dividir dos n
umeros naturales el procedimiento se detiene
o se vuelve periodico.
2
2
Halla la expansion decimal de , y de
5
7
Halla el racional que corresponde a 3.5, y a 0.153846
4. LOS NUMEROS
REALES
Entre dos racionales siempre hay otro racional, es m
as, entre dos racionales hay
un n
umero infinito de ellos. Sin embargo hay la misma cantidad de racionales
que de naturales. La densidad de los racionales nos hara pensar que cubren

72
la recta real, cosa que no sucede. Localicemos en la recta real el n

umero 2.
Trazamos sobre la recta real el cuadrado con lado igual al segmento
unidad. Por
el teorema de Pit
agoras, la longitud de la hipotenusa es 2. Con centro en
0 y radio igual a la hipotenusa
trazamos un arco hasta intersecar la recta real
localizando, as, el punto 2 sobre la recta.
FIGURA 2.13
Ubicaci
on de
2 en la recta real.
2.8. El n
AFIRMACION
umero
2 no es racional.
. Para demostrar que 2 no es un n

umero racional tenemos
DEMOSTRACION
que demostrar que es imposible expresarlo como cociente de dos enteros, con
el denominador distinto de 0 y que sean primos relativos. Es decir, debemos
demostrar que es imposible que existan p, q Z, con q 6= 0 y (p, q) = 1, tales
p
que = 2. Bien, vamos a proceder por contradiccion, es decir vamos a suponer
q
que s es posible expresar 2 como el cociente de dos primos relativos y partiendo

de dicha suposici
on vamos a caer en una contradiccion, lo que nos indicara que
la hipotesis de la cual partimos es insostenible, obteniendo,
as, la conclusion
deseada. Procedamos: supongamos que s es posible expresar 2 como cociente
de dos enteros primos relativos, sean, entonces, p, q Z tales que
p
= 2, con (p, q) = 1.
q
Recordemos que (p, q) = 1, que p y q sean primos relativos, significa que no tienen
factor com
un. De la hipotesis, multiplicando ambos lados por q obtenemos que
p = 2q,
Elevando ambos lados al cuadrado tenemos que
p2 = 2q 2 .
(4)
Vemos que p2 es un n
umero par, pues es m
ultiplo de 2. Sabemos, por la Afirmacion 2.1, que si p2 es par entonces p es par, es decir, podemos expresar
p = 2n para alg
un n N.
Substituyendo en (4) obtenemos
(2n)2 = 2q 2 ,
4n2 = 2q 2 ,
2n2 = q 2 .
(5)

2.4 Los numeros

reales
73
Lo cual nos dice que q 2 es par, pues es m

ultiplo de 2, y, de nuevo por la Afirmacion 2.1, q es par,
q = 2m para alg
un m N.
(6)
De (5) y (6) vemos que, contrario a la hipotesis, p y q tienen a 2 como factor

com
un pues
p = 2n,
q = 2m.
Suponer la existencia de primos relativos cuyo cociente fuera 2 nos llevo a la

contradiccion de que esos primos relativos tienen factor com
un. Por lo tanto, esa
hipotesis es insostenible
y
la
conclusi
o
n
es
que
no
existen
enteros
primos relativos
cuyo cociente sea 2. Es decir, 2 no es racional.

A los puntos de la recta real que no corresponden a n
umeros racionales les llamamos irracionales. La union de los racionales y los irracionales son los n
umeros
reales, que denotamos con R.
Nos preguntamos: que apariencia tienen los n
umeros reales?, cuantos son?
As como los n
umeros racionales los representamos como decimales periodicos,
los irracionales estar
an representados por decimales que no son periodicos, que
no terminan. El conjunto de las expresiones decimales (exceptuando las colas de
9s) conforman el conjunto de los n
umeros reales.
EJEMPLO 17. Seg

un ya demostramos 2 no es racional, por lo tanto, es un decimal que no termina, veamos sus primeros cincuenta dgitos significativos,
2 = 1.4142135623730950488016887242096980785696718753769 . . . .
Los puntos suspensivos indican que el decimal contin
ua.
(pagina 81)

CAPITULO
FUNCIONES REALES
Funcion es dependencia. A velocidad fija, la distancia recorrida depende del

tiempo transcurrido. El tiempo que tarda en caer una piedra depende de la
altura que la soltemos. El
area de un tri
angulo con dos lados iguales depende
del
angulo formado entre ellos. El valor de la longitud de la circunferencia de
un crculo depende del valor de su radio. En fin, hay multitud de situaciones
en que un valor depende de cu
al es otro valor. Al valor que depende como la
distancia recorrida, el tiempo que tarda la piedra en caer, el area del tri
angulo,
o la longitud de la circunferencia lo llamamos variable dependiente, y al valor
del cual depende se le llama variable independiente, como sera el tiempo transcurrido del viaje, la altura a que se suelta la piedra, el angulo entre los dos lados
iguales del tri
angulo, o el valor del radio del crculo.
La situaci
on de dependencia de la longitud de la circunferencia de un crculo
respecto al valor de su radio se expresa como C = 2r. Es decir, que dado
el valor r del radio, al efectuar la operacion 2r, se obtiene el valor C de la
longitud de la circunferencia. Se dice que la circunferencia es funci
on del radio,
o que C es funci
on de r, que se escribe C = C(r) y la manera en que se expresa
esa dependencia es mediante la regla de correspondencia C(r) = 2r, lo cual
significa que a cada valor de r se le asocia el valor C(r). Asimismo es posible,
mediante una grafica, ver c
omo se comporta C seg
un vara r.
En este captulo formalizaremos, mediante conjuntos, el concepto general de
funci
on expresado de manera intuitiva en los parrafos anteriores. Trataremos, en
particular, con funciones cuyas variables independientes y variables dependientes
son n
umeros reales. Definiremos operaciones entre ellas y veremos la manera de
expresarlas graficamente.
1. PRODUCTO CARTESIANO
3.1. La pareja ordenada (a, b) es el conjunto
DEFINICION

(a, b) = a, {a, b} .

Vemos claramente que los conjuntos (a, b) = a, {a, b} y (b, a) = b, {a, b}
son diferentes. En una pareja ordenada cuenta, a diferencia de un conjunto con
dos elementos, quien es el primer elemento y quien es el segundo.
81
Captulo 3 Funciones reales
82

3.2. Sean A y B dos conjuntos, el producto cartesiano A B es

DEFINICION
el conjunto de parejas ordenadas (a, b) tales que a A y b B, es decir:
A B = { (a, b) | a A y b B }.
EJEMPLO 1. Si A = {1, 3, 5} y B = {r, s}, entonces
A B = {(1, r), (1, s), (3, r), (3, s), (5, r), (5, s)}.
Las parejas estan ordenadas, hay un primer elemento y un segundo elemento;
son diferentes las parejas (1, r) y (r, 1), lo cual implica que no es lo mismo, en
general, A B que B A. En este caso,
B A = {(r, 1), (r, 3), (r, 5), (s, 1), (s, 3), (s, 5)}.
EJEMPLO 2. Sea R el conjunto de n

umeros reales, al producto cartesiano R R
se le conoce como R2 , que se lee erre dos, y se le llama el plano cartesiano,
R2 = R R = { (x, y) | x, y R }.
Actividad
Considera dos conjuntos, uno de cuatro fechas y otro de seis sucesos;
describe el producto cartesiano de esos dos conjuntos. Despu
es considera el subconjunto del producto cartesiano formado por las parejas
(fecha, suceso) tales que el suceso haya ocurrido en la fecha.
M
as adelante, en este captulo, representaremos ciertas funciones como subconjuntos del plano.
PROBLEMAS 3.1
1. Di que parejas de conjuntos son iguales:

i) a, {a, b} y {b, a}, a .

ii) b, {a, b} y {a, b}, a .

iii) a, {a, b} y {a, b}, a .
2. C
omo definiras una terna ordenada?
3. Sean A = { n N | n < 5 } y B el conjunto de vocales en la palabra apache,
encuentra el conjunto A B.
4. Es cierto, en general, que A B = B A? Ilustra con varios ejemplos.

5. Sean X = {2, 3, 5, 8} y Y = {a, e, f, p}.
i) Halla X Y y Y X .

de funcion
3.2 Definicion
83
ii) Exhibe un subconjunto de X Y tal que no se repitan los primeros

elementos de las parejas, y uno de Y X tal que los primeros elementos
sean los segundos elementos del anterior.
6. Considera R2 el producto cartesiano RR, describe en una figura los siguientes subconjuntos de R2 ,
a. { (x, y) | x = a },
b. { (x, y) | y > x },
d. { (x, y) | y = x },
c. { (x, y) | y = x },
e. { (x, y) | x2 + y 2 = 1 },
2
f. { (x, y) | y > 0 },
g. { (x, y) | x + y 1 },
h. { (x, y) | x + y > 1 }.
DE FUNCION
2. DEFINICION
3.3. Una funci
DEFINICION
on consta de tres objetos: un conjunto llamado el
dominio de la funci
on, que denotamos con Df , otro conjunto llamado el contradominio de la funci
on y una regla de correspondencia que asocia a cada
elemento del dominio de la funci
on, uno y solo un elemento del contradominio.
Lo escribimos
f : Df C,
y la regla de correspondencia que nos indica que al elemento x Df le corresponde el elemento y C, se escribe y = f (x). As,
f : Df C
x 7 y = f (x).
Al elemento f (x) del contradominio se le llama la imagen de x bajo f .

EJEMPLO 3. Sea A = {1, 3, 5} el dominio de la funci
on f , B = {r, s} el contradominio y la regla de correspondencia la podemos expresar como una tabla
que indique el elemento del contradominio que corresponde a cada elemento del
dominio:
x
y
1
3
5
s
s
r
As, vemos que f (1) = s, f (3) = s y f (5) = r, es decir que s es la imagen del 1
y del 3, y que r es la imagen de 5 bajo f .

3.4. Sea f : X Y una funci
DEFINICION
on con dominio X , contradominio Y y
regla de correspondencia y = f (x). Al subconjunto de Y de los puntos imagen
de todos los puntos x X bajo f , se le llama la imagen de la funci
on y se denota
con Imf , as,
Imf = { y Y | y = f (x), x X }.
84

A la imagen de la funci
on tambien se le llama el rango, es el subconjunto de
puntos del contradominio que barre f .
EJEMPLO 4. Sea A = {1, 3, 5} el dominio de f y B = {r, s, t, u, v} el contradominio. La regla de correspondencia esta dada por la tabla:
x
1
3
5
s
s
r
El subconjunto de B formado por los puntos imagen de f es

Imf = {r, s}.
As, s es un punto imagen, o esta en la imagen de la funci
on, mientras que u no
es punto imagen, no esta en la imagen de la funci
on.
DEFINICION
on con dominio X , contradominio
Y y regla de correspondencia y = f (x), y sea A un subconjunto de X . Al
subconjunto de Y formado por los puntos imagen de los elementos de A se le
llama la imagen de A bajo f y se le denota por f (A) o por Imf A, es decir,
f (A) = Imf A = { y Y | y = f (x), para alg
un x A }.
De hecho, la imagen de la funci
on es f (X).
A f |A: X Y se le lama la funci
on f restringida a A y tambien se escribe
como f : A Y , o de manera m
as explcita, f : A X Y .
EJEMPLO 5. Sea X = {1, 2, 3, 4} el dominio de f , Y = {a, b, c, d, e, f } el contradominio y la regla de correspondencia dada por la tabla
x
f (x)
1
2
3
4
c
a
e
e
Sea A = {1, 2, 4} un subconjunto de X . Los puntos imagen de los elementos de

A son f (A) = {c, a, e}. Es decir, la imagen de A bajo f es f (A), que tambien
es, en este caso, f (X).

Hay dos funciones particulares. La funci
on id
entica y la funci
on constante.
3.6. Sea una funci
DEFINICION
on f : A A, con regla de correspondencia y =
f (x). La funci
on id
entica de A, que se denota por IA , tiene como regla de
correspondencia f (x) = x, para toda x A
IA : A A,
IA (x) = x, x A.
de funcion
3.2 Definicion
85

EJEMPLO 6. Sea A = {1, 3, 5}, la funci

on IA tiene la regla de correspondencia
expresada en la tabla siguiente:
x
1
3
5
1
3
5

3.7. La f : A B es una funci

DEFINICION
on constante si existe c B tal
que f (x) = c, para toda x A.
EJEMPLO 7. Sea A = {1, 3, 5} el dominio de f y B = {r, s, t, u, v} el contradominio. La regla de correspondencia de una funci
on constante esta dada por la
tabla:
x
y
1
3
5
t
t
t
La funci
on constante expresada le podramos llamar la funci
on t, es decir la
funci
on tal que f (x) = t, para toda x A.

DEFINICION
regla de correspondencia y = f (x). La funci
on f es:
i) Inyectiva si a puntos diferentes en el dominio corresponden, bajo la
funci
on, puntos diferentes en el contradominio, es decir,
si x 6= y
entonces
f (x) 6= f (y),
o, de manera equivalente, si f (x) = f (y) entonces x = y.

ii) Suprayectiva si todos los puntos del contradominio son imagen de los
elementos del dominio, es decir, que para toda y Y existe x X tal
que f (x) = y, o dicho en terminos de la imagen, que f (X) = Y .
iii) Biyectiva si es inyectiva y suprayectiva. A las funciones biyectivas se
les suele llamar correspondencia biunvoca.
EJEMPLO 8. Sean A = {1, 3, 5} y B = {s, t, u, v}. La funci
on que asocia 1 7
f (1) = t, 3 7 f (3) = v y 5 7 f (5) = s es inyectiva pues a puntos distintos les
corresponden puntos distintos.

EJEMPLO 9. Sean A = {1, 3, 5, 7} y B = {s, t, u}. La funci
on que asocia 1 7
g(1) = t, 3 7 g(3) = u, 5 7 g(5) = s y 7 7 g(7) = t es suprayectiva pues cada
punto del contradominio es imagen de al menos uno en el dominio.


86
EJEMPLO 10. Sean A = {1, 3, 5} y B = {s, t, u}. La funci

on que asocia 1 7
h(1) = t, 3 7 h(3) = u y 5 7 h(5) = s es biyectiva pues es inyectiva (puntos
distintos van a puntos distintos) y suprayectiva (todos los puntos del contradominio son imagen), es decir, se trata de una correspondencia biunvoca.

DEFINICION
regla de correspondencia y = f (x). La gr
afica de f , que se denota por Gf es el
subconjunto del producto cartesiano X Y tal que el segundo elemento de cada
pareja ordenada es la imagen del primer elemento bajo f , es decir,
Gf = { (x, y) X Y | y = f (x), x X }.
As, la grafica de una funci

on es un conjunto de parejas ordenadas donde el
primer elemento de cada pareja es un punto del dominio de la funci
on y el segundo
elemento es la imagen del primero bajo la
on, es decir, la grafica de una
funci
funci
on es el conjunto de parejas x, f (x) , que es, claramente, un subconjunto
del producto cartesiano X Y .
EJEMPLO 11. Si A = {1, 3, 5}, la grafica de la funci
on identica de A es GIA =
{(1, 1), (3, 3), (5, 5)}.
EJEMPLO 12. Sea R el conjunto de los n

umeros reales. La funci
on identica (o
identidad) de R es IR : R R tal que IR (x) = x, para toda x R. La grafica
de la funci
on identidad es el subconjunto de R R, es decir de R2 (el plano
cartesiano), tal que,
GIR = { (x, x) | x R }.
Es decir que la grafica de la funci
on identica es el subconjunto del plano cartesiano formado por los puntos (x, y) cuya abscisa y es igual a su ordenada x, se
trata de la recta y = x que forma un angulo de 45 con el eje de las x y que
pasa por el origen y el primer y tercer cuadrante.

EJEMPLO 13. Si A = {1, 2, 3, 4} es el dominio de f , B = {a, b, c, d, e, f } el contradominio y la regla de correspondencia esta dada por la tabla
x
f (x)
1
2
3
4
c
a
e
e

La grafica de la funci
on es el conjunto de parejas de la forma x, f (x) , subconjunto del producto cartesiano A B,
Gf = {(1, c), (2, a), (3, e), (4, e)}.
Algunos autores mezclan el concepto de funci

on y el de grafica de una funci
on
y definen a una funci
on con dominio A y contradominio B, como un subconjunto del producto cartesiano A B de manera que las parejas tienen la forma
x, f (x) , donde x A y f (x) B es la imagen de x bajo f .

de funcion
3.2 Definicion
87
Si f : X Y es una funci
on inyectiva, es decir, que a puntos diferentes los
enva a puntos diferentes, entonces podemos definir una funci
on que tenga como
dominio a f (X) y como contradominio a X y su regla de correspondencia sea
regresar a y f (X) a la x X de la que provino bajo f . Le llamaremos la
funci
on inversa de la funci
on f .
DEFINICION
on inyectiva. La funci
on inversa de
la funci
on f , que denotamos con f 1 , tiene como dominio la imagen de f , es
decir f (X), como contradominio X y como regla de correspondencia f 1 (y) = x,
donde f (x) = y, para toda y f (X). As,
f 1 : f (X) X
y
7 x = f 1 (y),
tal que y = f (x).
El elemento x X es la imagen de y bajo f 1 y tambien se le llama la imagen

inversa de y bajo f .
La funci
on inversa de f regresa a cada elemento del contradominio de f al elemento del dominio del cual provino.
EJEMPLO 14. Sean A = {1, 3, 5} y B = {r, s, t, u, v} y f la funci
on con regla de
correspondencia definida por la tabla siguiente:
x
f (x)
1
3
5
u
s
v
La imagen de la funci
on es f (A) = {s, u, v}, luego es ah donde esta definida la
funci
on inversa de f , la tabla de f 1 es
y
f 1 (y)
s
u
v
3
1
5
Es decir,
x
y = f (x)
x = f 1 (y)
1
3
5
u
s
v
s
u
v
3
1
5


88
El prop
osito de que la funci
on f sea inyectiva es que cada punto imagen en
el contradominio lo sea de solo un elemento del dominio y as poder definir a ese
punto como la imagen bajo f 1 . Insistimos, se puede definir la funci
on inversa
solo en donde la funci
on f sea inyectiva.
Sin embargo, dada una funci
on cualquiera f : X Y , y un punto y Y ,
podemos definir el conjunto imagen inversa de y Y .
DEFINICION
on y y Y un elemento del contradominio. La imagen inversa de y, que denotamos con f 1 (y), es el conjunto de
los elementos del dominio de la funci
on f cuya imagen es y,
f 1 (y) = { x X | f (x) = y }.
Como se ve claramente, si y es un elemento del contradominio que no es
imagen bajo f , entonces su imagen inversa sera el conjunto vaco. Si la funci
on
f no es inyectiva entonces la imagen inversa de algunos puntos sera un conjunto
con dos o m
as elementos, y si la funci
on es inyectiva, entonces la imagen inversa
de cada punto en el contradominio sera vaca o constara de un solo punto (en
cuyo caso podemos definir la funci
on inversa en la imagen de la funci
on).
EJEMPLO 15. Sean A = {1, 3, 5, 8} y B = {r, s, t, u, v} y f la funci
on con regla
de correspondencia definida por la tabla siguiente:
x
f (x)
1
3
5
8
u
s
v
s
Digan cu
al es la imagen inversa de cada punto de B.
. De la tabla vemos que r no es imagen, es decir, no existe x A tal
SOLUCION
que f (x) = r, luego f 1 (r) = . Lo mismo sucede con t, f 1 (t) = . Veamos
ahora s, seg
un la tabla s es la imagen de 3 y de 8 bajo f , luego f 1 (s) = {3, 8}.
De la tabla obtenemos que f 1 (u) = {1} y que f 1 (v) = {5}.

De lo anterior obtenemos como criterio que,
si f : X Y es una funci
on, la funci
on inversa estar
a definida
solo en los puntos del contradominio cuya imagen inversa conste
de uno y solo un punto.
Sean dos funciones f y g de manera que la imagen de la primera este contenida
en el dominio de la segunda. Si x esta en el dominio de f , y f (x) esta en
el dominio de g, es posible aplicar g al punto f (x) y obtener g f (x) . Esta
operacion es la aplicaci
on sucesiva de las funciones f y g, se llama la composici
on
de las funciones f y g. Noten que primero se aplica f y despues se aplica g, por
eso al resultado se le nombra f seguida de g, y considerando que g se aplica a la

de funcion
3.2 Definicion
89
imagen de f , se acostumbra escribir g f lo cual se lee f seguida de g, de hecho

primero escribimos f (y decimos efe), despues, a la izquierda de la f escribimos
la bolita (y decimos seguida de) y, finalmente, a la izquierda de la bolita
escribimos g (y decimos ge). Si x X es un punto del dominio de f , aplicamos
f y obtenemos f (x) en el dominio de g el contradominio de f , por hipotesis,
esta contenido en el dominio de g, y por ello, a f (x) le podemos aplicar g,
obteniendo g f (x) . Tenemos como resultado una funci
on cuyo dominio es el
dominio de f y cuyo contradominio en el contradominio de g, le llamamos efe
seguida de ge y denotamos con g f , tambien se lee ge compuesta con efe (pero
entonces primero se escribe g, despues la bolita y despues f ).
3.12. Sean f y g dos funciones tales que la imagen de f esta conDEFINICION
tenida en el dominio de g, f : X Y y g: Y Z. La composici
on de las
funciones f y g, que se escribe g f y se lee efe seguida de ge o ge compuesta
con efe, es una funci
on cuyo dominio es el dominio de f , su contradominio es
el contradominio de g y su regla de correspondencia es

(g f )(x) = g f (x) , para toda x X .
Se ilustra con el siguiente diagrama:
xX
f
Q
- f (x) Y
Q
Q
gf Q
g
Q
Q
s
FIGURA 3.1
?

g f (x) Z
f seguida de g enva x X a g f (x) Z.
EJEMPLO 16. Sean A{1, 3, 5}, B = {s, t, u, v} y C = {i, j, k, l} y las funciones

f : A B y g: B C dadas por las tablas:
x
y = f (x)
1
3
5
u
s
v
z = g(y)
s
t
u
v
i
l
j
k
Entonces la tabla de g f es,

x
z = g f (x)
1
3
5
j
i
k
90

Actividad
Junta tres grupos de personas y define funciones entre ellos, verifica
que lo sean, analiza cu
ales son, o no, inyectivas y/o suprayectivas.
Realiza la operaci
on de composici
on y describe la imagen inversa de
varios subconjuntos.
La operacion de composici
on de funciones no es, en general, conmutativa,
mientras que s es asociativa.
3.1. Sean las funciones f : X Y , g: Y Z y h: Z W , entonces
AFIRMACION
(h g) f = h (g f ).
. Partiendo de la definicion de composici

DEMOSTRACION
on de funciones, tenemos que

(h g) f (x) = h g f (x)

= h g f (x)

= h (g f )(x)

= h (g f ) (x).

PROBLEMAS 3.2
1. Sean A = {a, b, c} y B = {7, 5, 4} dos conjuntos. Di cu
al de los conjuntos es
la grafica de una funci
on con dominio A y contradominio B.
a. {(a, 4), (b, 7), (a, 5)},
b. {(b, 2), (a, 7), (c, 4)},
c. {(c, 4), (a, 4), (b, 4)},
d. {(7, c), (4, a), (5, a)},
g. {(a, 7), (b, 5), (c, 4)},
h. {(a, a), (b, b), (c, c)}.
e. {(b, 7), (c, 7), (a, 4)},
f. {(1, 7), (b, 2), (a, 7)},
2. Si A = {2, 5, 7, 8} y B = {p, q, r}, define una funci

on inyectiva de A a B
y otra de B a A, y escribe su grafica como conjunto de parejas ordenadas.
Cu
al es la grafica de la funci
on identica de B?
3. Sea f la funci
on que asocia a cada n
umero entero entre 10 y 10 su cuadrado.
Cu
al es la imagen inversa de 64?
4. Si f (n) = 2n, para n N y g(m) = m2 para m N, cual es la regla de
correspondencia de g f , y de f g? describe la grafica de cada una de las
composiciones.
5. Sea f una funci
on biyectiva de A a B, que funci
on es f 1 f , y f f 1 ?
6. Sea f una funci
on cualquiera de A en B, f : A B, en donde esta definida la
funci
on f 1 ?, contesta, para esta funci
on, las preguntas del ejercicio anterior.
3.3 Funciones reales de variable real
91

3. FUNCIONES REALES DE VARIABLE REAL

Por funciones reales entendemos funciones que toman valores en el conjunto
de los n
umeros reales, es decir que su contradominio es un subconjunto de los
n
umeros reales. Que la funci
on sea de variable real significa que su dominio es
un subconjunto de los n
umeros reales.
3.13. Una funci
DEFINICION
on real de variable real es una funci
on cuyo dominio es un subconjunto de los n
umeros reales y cuyo contradominio tambien es
un subconjunto de los n
umeros reales. De manera general nos referiremos a las
funciones reales de variable real como funciones de R a R. es decir f : R R,
donde a cada x R se le asocia, por medio de la regla de correspondencia, el
valor y = f (x) R.
EJEMPLO 17. La funci
on IR : R R cuya regla de correspondencia es IR (x) = x,
para x X , es una funci
on real de variable real. Su grafica es,
(pagina 163)

CAPITULO
LA DERIVADA DE UNA FUNCION
DE CAMBIO
1. CAMBIO Y RAZON
on en posici
on.
Cambio es modificaci
Temprano en la ma
nana estamos en casa, a medioda estamos
en la escuela. Una posici
on es estar en casa, otra es estar en
la escuela. En el transcurso de la ma
nana modifique posici
on,
cambie de lugar, estaba en casa ahora estoy en la escuela.
La razon de cambio, hablando de movimiento, es la comparaci
on del cambio
efectuado en la posici
on con el tiempo que transcurri
o para efectuarlo.
Usamos el termino razon para comparar dos cantidades, o dos longitudes, con
el af
an de ver cu
antas veces contiene una a la otra, se expresa como cociente de
dos n
umeros.
Muy famosa es la raz
on de la circunferencia al diametro, las
veces que contiene la circunferencia de un crculo a su diametro
C
= 3.1415926535897932384626434 . . . ,
d
com
unmente llamada . La vemos aqu con 25 cifras de aproximacion decimal.
En nuestro caso queremos comparar cambio de posici
on con tiempo, para
ello dividimos la diferencia en posici
on entre la diferencia en tiempo. Estamos
comparando dos diferencias, posici
on final menos posici
on inicial, el espacio
recorrido, y tiempo final menos tiempo inicial, el tiempo transcurrido.
Al dividir el espacio recorrido entre el tiempo transcurrido obtenemos la razon de cambio de la posicion respecto del tiempo.
163

Captulo 6 La derivada de una funcion

164
Hablando de funciones reales de variable real nos referiremos a la razon de

cambio de la funci
on, que sera comparar la diferencia de dos valores de la funci
on
con la diferencia de los puntos en el dominio de donde provienen esos valores.
Sea f : R R una funci
on real de variable real, es decir una funci
on cuyo
dominio y contradominio es el conjunto R de los n
umeros reales, con regla de
correspondencia y = f (x). Consideremos dos puntos a y b en su dominio, y su
imagen f (a) y f (b) respectivamente.
La razon de cambio de la funci
on en el intervalo (a, b) es
f (b) f (a)
,
ba
donde a y b pertenecen al dominio de la funci

on.
Ve
amoslo en la grafica de la funci
on,
FIGURA 6.1
La raz
on que compara el cambio en el contradominio con el cambio en el
f (b) f (a)
.
dominio es
ba
EJEMPLO 1. Sea f (x) = x2 +1 la regla de correspondencia de la funci

on f definida
en el conjunto R de todos los n
umeros reales, obtener la razon de cambio de la
funci
on f (x) = x2 + 1 en el intervalo (1, 5).
. La razon de cambio de una funci
SOLUCION
on en el intervalo (a, b) esta dada
por
f (b) f (a)
,
ba
luego la raz
on de cambio de f (x) = x2 + 1 en el intervalo (1, 5) esta dada por el
cociente
26 2
24
f (5) f (1)
=
=
= 6.

51
4
4

de cambio
6.1 Cambio y razon
165
En el ejemplo anterior el valor de la funci

on sube 24 mientras en el dominio
la variable avanza del 1 al 5, lo cual equivale a decir que en promedio, en el
intervalo (1, 5), la funci
on sube 6 por cada unidad de avance. Al cociente tambien
se le conoce como la razon de cambio promedio. En la figura 6.2 vemos que la
diferencia de los valores de la funci
on esta dada por la diferencia de ordenadas
de los puntos (1, 2) y (5, 26), mientras que la diferencia en el dominio esta dada
por la diferencia de abscisas.
FIGURA 6.2
En la gr
afica de f (x) = x2 + 1 La raz
on de cambio en el intervalo (1, 5) es
24
=
6.
4
La razon de cambio de una funci

on en el intervalo que va de un punto del
dominio x0 a un incremento x0 + h, con h 6= 0, se llama el cociente de Newton
de la funci
on en el punto x0 , se expresa como
f (x0 + h) f (x0 )
h
y se puede describir como la razon de cambio de la funci
on f en el punto x0
respecto del incremento h.
El cociente de Newton de una funci
on compara el cambio de la
funcion de f (x0 ) a f (x0 + h) con el cambio de la variable de x0
a x0 + h.
EJERCICIOS 6.1
En los ejercicios del 1 al 6, halla la razon de cambio promedio de la funci
on en
los intervalos indicados.
1. f (x) = x2 + 1
(2, 6)
2. g(x) = 2x x2 (0, 2)
(9, 16)
3. c(t) = 5t2 + 45
(1, 3)
4. h(x) = x
5. f (x) = x2 x + 1
(a, a + 2)
6. g(x) = 2x2
(a, a + h)
166

2. RAZONES Y RECTAS
El cociente de Newton es una buena manera de relacionar rectas con curvas que
sean grafica de alguna funci
on. Geometricamente representa la pendiente de la
recta que cruza la grafica de la funci
on por los puntos de coordenadas x0 , f (x0 )
y x0 + h, f (x0 + h) .
As, para describir algebraicamente una recta secante a la grafica de una
funci
on f , que pase por el punto x0 , f (x0 ) , usamos el cociente de Newton de
la funci
on en el punto x0 para alg
un incremento h 6= 0.
Recordemos de nuestro curso de geometra analtica la forma punto-pendiente
de la ecuaci
on de una recta, es decir, hallar la ecuaci
on de una recta dada su
pendiente y un punto por el cual pasa.
Supongamos que la recta en cuestion no es vertical, tiene pendiente m y pasa
por el punto (x1 , y1 ). Sea (x, y) cualquier otro punto de la recta. La pendiente m de la recta es precisamente la diferencia de ordenadas dividida entre
la diferencia de abscisas, claro, es una razon! muestra cu
an empinada esta la
recta, compara lo que sube contra lo que avanza. As, se cumple que
y y1
,
m=
x x1
de donde obtenemos la conocida forma punto-pendiente de la ecuaci

on de la
recta:
y y1 = m(x x1 ).
EJEMPLO 2. Halla la ecuaci
on de la recta en el plano cartesiano con pendiente
m = 6 que pasa por el punto de coordenadas (1, 2).
. En la forma punto-pendiente de la ecuaci
SOLUCION
on de una recta con pendiente m que pasa por el punto (x1 , y1 ) substituimos los datos m = 6, x1 = 1 y
y1 = 2, obtenemos
despejando y tenemos
y 2 = 6(x 1),
y = 6x 4.
Observemos en la figura 6.3 que la recta del ejemplo 2 pasa por el punto
(1, 2), tiene pendiente 6 y pasa, tambien, por el punto (5, 26). Comparemos con
el resultado del ejemplo 1, ah estudiamos la razon promedio de cambio de la
funci
on f (x) = x2 + 1 en el intervalo (1, 5). El valor de dicha razon de cambio
es 6. Ahora vemos que la recta que une los puntos (1, 2) y (5, 26) sobre la curva
tiene pendiente 6, lo cual significa que al estudiar la razon promedio de cambio
de una funci
on f en el intervalo (a,
asimismo la pendiente de la
b) estudiamos

recta que une a los puntos a, f (a) y b, f (b) sobre la grafica de la funci
on.
Volviendo al problema de trazar una recta secante a la curva formada por la
grafica de una funci
on f , que pase por el punto x0 , f (x0 ) donde x0 es un punto
del dominio, consideremos el n
umero real h 6= 0 de manera que x0 + h Df .

6.2 Razones y rectas
FIGURA 6.3
167
La recta y = 6x 4 tiene pendiente 6 y pasa por el punto (1, 2). Noten

que pasa tambien por el punto (5, 26).
Una secante a la curva formada por la grafica de la funci

on f es la recta con
pendiente

f (x0 + h) f (x0 )
que pase por el punto
x0 , f (x0 ) .
h
O, de manera equivalente, la recta que pasa por los puntos

x0 , f (x0 ) y x0 + h, f (x0 + h) .
La ecuaci
on de esta recta tangente es, partiendo de la forma punto-pendiente,
y y1 = m(x x1 )
substituyendo los valores de la pendiente y las coordenadas del punto,

f (x0 + h) f (x0 )
(x x0 ).
y f (x0 ) =
h
y =f (x )
f ( x 0+ h )
f ( x 0+ h )- f ( x 0)
f ( x 0)
h
x0
FIGURA 6.4
x 0+ h
La recta secante a la gr
afica de f (x) que pasa por x0 , f (x0 ) y x0 + h,

f (x0 + h) f (x0 )
.
f (x0 + h) tiene pendiente
h


168
EJEMPLO 3. Trazar las secantes a la grafica de la funci

on en el ejemplo 1 que
pasen por el punto (1, 2), y por los puntos de la grafica correspondientes a los
valores 4, 3 y 2 Df .
. La funci
SOLUCION
on del ejemplo 1 es f (x) = x2 + 1, el punto (1, 2) es, en
efecto, un punto de la grafica de f (x) pues f (1) = 2, as que tiene sentido la
pregunta. Ahora bien, cuando nos piden trazar secantes, dada la traduccion entre
geometra y algebra construda alrededor de por FERMAT y DESCARTES, de
manera independiente, basta con dar la ecuaci
on de dicha recta secante.

Hemos entonces
de
trazar
rectas
del
punto
(1, 2) a los puntos 4, f (4) =

(4, 17), 3, f (3) = (3, 10) y 2, f (2) = (2, 5). Para ello obtenemos la razon de
cambio de la funci
on f (x) = x2 + 1 en cada uno de los intervalos (1, 4), (1, 3) y
(1, 2) subconjuntos del dominio de la funci
on (no confundan a los intervalos que
son subconjuntos de R, la recta real, con las parejas ordenadas que representan
puntos en el plano cartesiano). La razon de cambio de la funci
on en cada uno
de los intervalos llamemoslas q, r y s es la pendiente de la recta buscada.
10 2
52
17 2
= 5, r =
=4 y s=
=3
q=
41
31
21
As la ecuaci
on de la recta que pasa por (1, 2) y (4, 17) es
y 2 = 5(x 1)
o, simplificando, y = 5x 3.
y 2 = 4(x 1)
y 2 = 3(x 1)
De manera analoga, la ecuaci

Finalmente, la ecuaci

f ( x )= x +1
35
30
25
y =5 x -4
20
y =4 x -2
15
y =3 x -1
f (4)=17
f (3)=10
f (2)=5
f (1)=2
1
FIGURA 6.5
Secantes trazadas de 1, f (1) a 4, f (4) , 3, f (3) y 2, f (2) .
Usamos la razon de cambio de una funci

on en un intervalo para obtener la
pendiente de la recta que cruza la grafica de la funci
on en los puntos correspondientes a los valores de los extremos del intervalo.

6.3 Tangente a la curva
169
Observemos c
omo, en el ejemplo anterior, esbozamos la manera de lograr uno
de los principales objetivos del presente libro, explicar c
omo trazar la tangente
a una curva en un punto dado . Pueden ver en la figura
6.5
que trazamos varias

rectas secantes que pasan por el punto x0 , f (x0 ) en este caso (1, 2), es decir,
x0 = 1 y, respectivamente, por otros puntos sobre la curva situados
m
as y m
as

cerca del mismo (1, 2), a saber los puntos x0 + h, f (x0 + h) correspondientes
a los valores de h = 3, 2 y 1, cuyas pendientes tomaron los valores respectivos
de 5, 4 y 3. Que sucedera si consideramos valores de h cada vez m
as y m
as
peque
nos, por ejemplo h = 21 , 13 , 14 , . . . ? Evidentemente tendramos, aplicando
el mismo procedimiento que en el ejemplo 3, secantes que van de (1, 2) a puntos
m
as y m
as cercanos. Seg
un mencionamos en el capitulo 0, de continuar obtendramos la tangente a la curva en (1, 2) como estado lmite del procedimiento
mencionado. Pero eso es tema de la siguiente seccion, mientras tanto resolvamos
estos ejercicios.
EJERCICIOS 6.2
En los ejercicios del 1 al 6, trazar secantes que crucen la grafica de la funci
on
mencionada en el punto correspondiente a x0 y a x0 + h para los valores de h
indicados
1. f (x) = x2 + 1,
2. g(x) = 3x x2 ,
x0 = 1, h = 3, 2, 1.
x0 = 1, h = 1, 2, 3.
2
3. c(t) = 5t + 45,
4. h(x) = x,
1
t0 = 3, h = 3, 2, 1.
.
x0 = 0, h = 14 , 19 , 16
5. f (x) = x3 x,
x0 = 0, h = 1, 0.5, 0.05.
6. g(x) = |x| 2,
x0 = 0, h = 2, 2, 1.
3. TANGENTE A LA CURVA
Las curvas presentadas en las explicaciones de las dos secciones anteriores fueron
expresadas, en el plano cartesiano, como graficas de funciones. En lugar de
hablar de la curva C nos referimos a la grafica de una funci
on f . Es decir estamos
tratando con curvas que son graficas de funciones, a la manera explicada en el
captulo 3. Durante la exposicion supusimos tambien, de manera implcita, que
la curva era continua, es decir que tratamos con graficas de funciones continuas,
al estilo del captulo 5, ya veremos si ello es necesario. Para dar el siguiente paso
emplearemos la herramienta expuesta en el captulo 4, el concepto de lmite.
Tenemos el problema planteado:
Dada una curva C y un punto P sobre la curva, definir la
tangente a C que pase por P .

170

Resolvemos, en esta seccion, la siguiente modalidad del problema expuesto

en la p
agina anterior:
Sea f : Df R una funcion real de variable real, el dominio
Df R, y x0 un punto cualquiera en el dominio de f , definir
la recta tangente a la grafica de la funci
on, que llamaremos la
curva y = f (x), en el punto x0 , f (x0 ) .
Insistimos, se trata de una modalidad pues no toda curva se puede expresar
como gr
afica de una funci
on de R en R. En cursos avanzados de Calculo estudiaran una clase mucho m
as amplia de curvas, las parametrizadas, expresadas
como funciones de R en R2 , el plano cartesiano, y, en general, de R en Rn , para
ellas la recta tangente se definira de manera similar, como un proceso lmite de
vectores que unen dos puntos de la curva.
6.1. Sea x0 un punto del dominio de la funci
DEFINICION
on f (x), definimos la
pendiente de la recta tangente a la grafica de f (x) en el punto correspondiente
a x0 como el lmite,
si es que existe, de las pendientes de las secantes que pasan

por x0 , f (x0 ) y por puntos m
as y m
as cercanos a el sobre la grafica de la
funci
on, es decir, la pendiente de la recta tangente es
lm
h0
f (x0 + h) f (x0 )
,
h
si existe el lmite.
La pendiente de la tangente es el lmite del cociente de Newton
cuando h 0.
y =f (x )
y - f ( x 0)= f ( x 0)( x - x 0)
f ( x 0)
x0
FIGURA 6.6
La recta tangente tiene pendiente f (x0 ) = lm
h0
f (x0 + h) f (x0 )
.
h
Por comodidad, como ya dijimos, llamamos a la grafica de la funci

on la curva
y = f (x). La pendiente de la recta tangente a la curva y = f (x) en el punto
x0 , f (x0 ) se denota con f (x0 ).
171

As,
la ecuaci
on de la recta tangente a la curva y = f (x) en el punto
x0 , f (x0 ) esta dada por
y f (x0 ) = f (x0 )(x x0 ),
siempre que el lmite
f (x0 + h) f (x0 )
h0
h
f (x0 ) = lm
exista.
EJEMPLO 4. Halla la pendiente de la recta tangente a la curva y = x2 + 1 en el

punto correspondiente a x = 1, da la ecuaci
on de esa recta tangente.
2
. La curva en R , el plano cartesiano, la podemos expresar como
SOLUCION
2
grafica de la funci
on de R en R con regla de correspondencia f (x)
= x + 1.
La pendiente de la recta tangente a la curva en el punto 1, f (1) , que corresponde en la grafica al punto x = 1 en el dominio de la funci
on esta dada por el
lmite del cociente de Newton en ese punto cuando h 0. La pendiente es
f (1 + h) f (1)
,
f (1) = lm
h0
h
siempre que el lmite exista.
f ( x )= x 2+1
35
30
25
y =5 x -4
20
y =4 x -2
15
y =3 x -1
f (4)=17
f (3)=10
y =2 x
f (2)=5
f (1)=2
1
FIGURA 6.7
La recta tangente a la curva y = x2 + 1 en (1, 2) es y = 2x.
Procedamos,
f (1 + h) f (1)
(1 + h)2 + 1 (12 + 1)
= lm
h0
h0
h
h
2
2h + h
= lm
h0
h
para h 6= 0, tenemos que lo anterior es igual a
lm

172
lm (2 + h) = 2

h0

Y, por lo tanto, la ecuaci
on de la recta tangente en 1, f (1) = (1, 2) es
y 2 = 2(x 1)
o, simplificando,
y = 2x.
Lo cual se ilustra en la figura 6.7 en la pagina anterior.
Simple, verdad?, as sucede, despues de hallada una soluci

on da la apariencia
de algo que siempre fue del dominio p
ublico, sin embargo ya para los antiguos
griegos, hace m
as de 2,300 a
nos, era un reto. FERMAT y DESCARTES, alrededor
del a
no , dieron elementos para esbozar esa definicion, LEIBNIZ y NEWTON
la proponen, casi simultaneamente, alrededor de , pero es CAUCHY hasta
140 a
nos despues quien da pleno sentido al concepto de lmite y con
ello a la definicion. Ver, al final del captulo, la NOTA HISTORICA

.
EJEMPLO 5. Halla la pendiente de la recta tangente a y = x en x0 = 1.

. La curva mencionada es grafica de la funci
SOLUCION
on con regla de corres
pondencia f (x) = x, definida en R+ , el conjunto de los n
umeros reales no
negativos, es decir mayores o iguales que 0. Sabemos, adem
as, por convenci
on,
que la funci
on toma solo valores no negativos.
FIGURA 6.8
La pendiente de la tangente a la curva y =
x en x0 = 1 es
1
.
2
El cociente de Newton de la funci

on en el punto es
1+h 1
.
h
Vemos que es necesario manipular esta fracci
on para deshacernos de una expresi
on indeterminada que aparecera al hacer tender h a 0. Racionalizando,

1+h 1
1+h+ 1
1+h 1

=
h
1+h+ 1 h
haciendo operaciones y simplificando, para h 6= 0,

1+h
h
173
1
,
1+h+ 1
lo cual tiende a 12 cuando h 0. As, la pendiente de la recta tangente a y = x

en x0 = 1 es m = 12 , seg
un se ilustra en la figura 6.8.

EJEMPLO 6. Halla la pendiente de la tangente a la curva f (x) = x3 x2 para
cualquier punto x0 en el dominio de la funci
on.
La curva f (x) = x3 x2 y tangentes en x0 = 12 ,
FIGURA 6.9
1
2
y 1.
. La pendiente de la tangente esta dada por el lmite del cociente de

SOLUCION
Newton de la funci
on f (x) = x3 x2 en el punto x0 cuando h 0, es decir
(x0 + h)3 (x0 + h)2 (x0 3 x0 2 )
,
h0
h
haciendo operaciones, el lmite anterior es igual a
Pendiente en x0 = lm
x0 3 + 3x0 2 h + 3x0 h2 + h3 (x0 2 + 2x0 h + h2 ) x0 3 + x0 2

,
h0
h
simplificando,
3x0 2 h + 3x0 h2 + h3 2x0 h h2
,
= lm
h0
h
para h 6= 0,
lm
Pendiente en x0 = lm (3x0 2 + 3x0 h + h2 2x0 h),

h0
= 3x0 2 2x0 .


174
La pendiente de la tangente en cualquier punto x0 esta dada por la expresi

on
f (x0 ) = 3x0 2 2x0 . Para hallar la pendiente en un punto particular substitumos
ese valor en el lugar de x0 , por ejemplo, para la pendiente de la tangente para los
on f (x0 ) =
puntos x0 = 21 , 21 y 1 se substituye cada valor de x0 en la expresi
7
1
1
1
3x0 2x0 , obteniendo f ( 2 ) = 4 , f ( 2 ) = 4 y f (1) = 1 respectivamente,

seg
un se ilustra en la figura 6.9(B).
Es interesante ver el comportamiento de la tangente a la curva f (x) = x3 x2
en x0 = 21 . Es tangente en el punto mencionado y cruza la curva en el origen
seg
un se puede apreciar en esta ampliaci
on (donde estiramos un poco el eje
vertical para apreciar la separacion entre la curva y la recta).
0.2
0.5
-0.4
-0.2
0.2
0.4
0.6
0.8
-0.2
-0.4
FIGURA 6.9(B)
Acercamiento a f (x) = x3 x2 y a la tangente en x0 = 21 .
En la secci
on anterior estudiamos razon de cambio en intervalos, conocida
como razon promedio de cambio. Ahora, con el concepto de lmite obtenemos la
razon de cambio en un punto.
La pendiente de la recta tangente a la curva y = f (x) en el
punto x0 se conoce como la razon instantanea de cambio de la
funci
on en x0 . Tambien se le llama la pendiente de la curva en
ese punto.
EJERCICIOS 6.3
En los ejercicios del 1
punto indicado y da la
1. f (x) = x2 + 1,
3. c(t) = 5t2 + 45t,
5. f (x) = x3 x,
al 6, halla la pendiente de la tangente a

ecuaci
on de la recta tangente.
x0 = 1.
2. g(x) = 3x x2 ,
t0 = 3.
4. h(x) = x,
x0 .
6. g(x) = |x| 2,
la curva en el
x0 = 1.
x0 = 0.
x0 = 0.
derivada de una funcion
6.4 La funcion
175

DERIVADA DE UNA FUNCION
4. LA FUNCION
La definicion de recta tangente a la grafica de una funci
on de R en R sera la base
para definir una de las m
as importantes herramientas del Calculo, el concepto
de derivada.
Como vimos en la secci
on anterior, es posible trazar la tangente a la gr
afica
de una funci
on f (x) solo en los puntos x0 del dominio de la funci
on en donde
existe el lmite del cociente de Newton cuando h 0. La funci
on derivada de
la funci
on f (x) esta definida en esos puntos donde la grafica de la funci
on f (x)
tiene tangente, la regla de correspondencia de la funci
on derivada asigna a cada
punto de su dominio el valor de la pendiente de dicha tangente.
6.2. Sea f : R R una funci
DEFINICION
on real de variable real con regla de
correspondencia y = f (x), la funci
on derivada de f , que denotamos con f , es
una funci
on cuyo dominio Df R consta de los puntos x Df para los cuales
existe el lmite del cociente de Newton cuando h 0. La regla de correspondencia de f esta dada por
f (x + h) f (x)
.
h0
h
f (x) = lm
Dada y = f (x) analizamos la expresi

on
lm
h0
f (x + h) f (x)
,
h
los puntos x del dominio de la funci

on f (x) para los que exista
el lmite anterior forman el dominio de la funci
on derivada.
La funci
on derivada f de la funci
on f asocia a cada punto x
de su dominio el valor de la pendiente de la curva y = f (x)
Para simplificar, a la funci
on derivada f de la funci
on f le llamamos simplemente la derivada de f .
La derivada f (x) de una funci
on y = f (x), tambien se denota con
dy
que se lee dy en dx, la derivada de y respecto a x,
dx
o, de otra manera,
y = f (x)
que se lee y prima igual a f prima de x.
Recordemos que a la pendiente de la tangente a la grafica de la funci

on en
un punto determinado le llamamos razon instantanea de cambio o pendiente de
la curva en ese punto.

176

Podemos concluir que

la derivada de una funci
on representa el comportamiento de la
pendiente de la grafica de la funci
on.
La derivada en un punto nos dice cu
an empinada esta la funci
on en ese punto.
Al analizar la grafica de la derivada de una funci
on obtenemos informaci
on sobre
c
omo va cambiando la grafica de la funci
on.
EJEMPLO 7. Halla la derivada de f (x) = x2 + 1 y traza la grafica de la funci
on
derivada. Observa la relaci
on entre la graficas.
. Analicemos para que valores de x existe
SOLUCION
(x + h)2 + 1 (x2 + 1)
.
h0
h
Desarrollando y simplificando para h 6= 0,
lm
(x + h)2 + 1 (x2 + 1)
= lm (2x + h)
h0
h0
h
= 2x.
lm
La expresi
on 2x esta definida para todo x R por lo que Df = R y f (x) = 2x.
f ( x ) = x 2+ 1
f '( x ) = 2 x
20
f (2) = 4
f( 4) = 17
15
6 4 2
10
y = 8 x 15
y=4x3
5
10
y=1
6 4 2
FIGURA 6.10
2 4
4
6
f ( 4)= 8
2 4
Gr
afica de f (x) = x2 +1 con tangentes en x0 = 4, 0 y 2, y de f (x) = 2x,
mostrando los valores de f (4), f (0) y f (2).
Vemos, en la figura 6.10, que la grafica de la derivada corta al eje de las x

en el origen, el valor de la derivada pasa de tomar valores negativos antes del
origen, como en x = 4 donde f (4) = 8, llega a cero en x0 = 0, y toma
valores positivos, como en x = 2 donde f (2) = 4. En la grafica de la funci
on
apreciamos c
omo las tangentes a la curva en los puntos x0 = 4, 0 y 2, que
son las rectas y = 8x 15, y = 1 y y = 4x 3 respectivamente, cambian su
inclinaci
on pasando, en x0 = 0, por la posici
on horizontal.

derivada de una funcion
6.4 La funcion
177
Las tangentes pasan de inclinarse a la derecha (antes de 0), a ser horizontal

(en x0 = 0), y (despues de 0) estar inclinadas hacia la izquierda.
Conforme x se acerca a 0 desde los n
umeros negativos, la grafica de la
derivada va creciendo hasta llegar a 0, despues toma valores positivos cada vez
m
as grandes.

Es posible obtener informaci
on sobre el comportamiento de la funci
on a partir
del comportamiento de la derivada de la funci
on. Aunque hablaremos in extenso
sobre dicho tema en el captulo 8, veamos el ejemplo a manera de ilustraci
on.
EJEMPLO 8. Halla la derivada de f (x) = x3 x2 y traza la grafica de la funci
on
derivada. Estudia las graficas.
. La funci
SOLUCION
on f (x) esta definida para todo n
umero real x, luego Df =
R. En el EJEMPLO 6 vimos que el lmite del cociente de Newton de la funci
on
esta definido para todo x R, luego Df = R, y el valor del lmite da la regla
de correspondencia de la derivada, es decir
f (x) = 3x2 x.
1
0.5
0.5
0.5
0.5
1.5
0.5
0.5
0.5
0.5
1
FIGURA 6.11
1
3
Gr
afica de f (x) = x x y de f (x) = 3x 2x.
En la grafica de la derivada (lado derecho de la figura 6.11) vemos que en el

intervalo (, 0] la pendiente es positiva y va disminuyendo hasta 0 conforme
x esta m
as y m
as cerca de 0, lo cual describe el comportamiento de la grafica del
lado izquierdo en donde vemos que conforme nos acercamos a 0 desde los negativos, la curva esta cada vez menos empinada, hasta tener tangente horizontal
ah el valor de la derivada es 0. En la grafica de la derivada vemos que en el
intervalo [0, 32 ] la pendiente es negativa,
f (x) = 3x2 2x = 0 en x = 0 y x =
2
,
3


178
mientras x vara de 0 a 23 , la pendiente disminuye hasta que despues de x = 13

vuelve a aumentar manteniendose en los negativos, cruza el eje de las x en
as y m
as grandes
x = 23 y es positiva en el intervalo [ 23 , ) tomando valores m

conforme x esta m
as lejos de x = 23 .
Podemos apreciar, de los ejemplos anteriores, que cuando la derivada toma
valores negativos la tangente a la grafica de la funci
on tiene una inclinacion como
y = x, mientras que si la derivada toma valores positivos la inclinacion de la
tangente a la grafica de la funci
on es como y = x. En el captulo 8 usaremos
estas propiedades para estudiar la forma de la grafica de una funci
on a partir
del comportamiento de su funci
on derivada.
Resumiendo el contenido de esta seccion, el procedimiento para
encontrar la funci
on derivada a partir de su definicion es:
1. Dada f (x), halla el cociente de Newton
2. Ubicar los puntos para los cuales existe
f (x+h)f (x)
.
h
f (x+h)f (x)
,
lm
h
h0
el
dominio de la funci
on derivada es el conjunto de esos puntos
para los que existe dicho lmite.
3. La regla de correspondencia de la funci
on derivada es
f (x) = lm
h0
f (x + h) f (x)
.
h
El estudio de la funci
on derivada nos ayuda a comprender la
forma de la funci
on original.
EJERCICIOS 6.4
En los ejercicios del 1 al 6, describir el dominio y dar la regla de correspondencia
de la funci
on derivada de la funci
on dada. Describir las conclusiones obtenidas
al estudiar la grafica de la funci
on y de su derivada.
1. f (x) = x3 + 1.
2. g(x) = 3x x2 .
2
3. c(t) = 5t + 45t.
4. h(x) = x.
5. f (x) = x3 x.
6. g(x) = |x| 2.

6.5 Nota historica
179

5. NOTA HISTORICA
El problema de hallar la tangente a una curva fue estudiado y resuelto para
multitud de casos particulares a traves de los a
nos. Casi todos los casos resueltos,
sobre todo antes de los griegos, durante los griegos o por sus sucesores islamicos,
la soluci
on requera de ingeniosas construcciones. Nadie desarroll
o un metodo o
algoritmo que permitiera resolver facilmente el problema en nuevas situaciones.
EUCLIDES en los Elementos, la obra matematica m
as importante de la epoca
de los griegos escrita hace aproximadamente 2,300 a
nos, en la definicion 2 del
Libro III, describe lo que hoy entenderamos como una tangente a un crculo.
Se dice que una recta toca un crculo si al trazarla y llegar al
crculo, no lo corta.
Para EUCLIDES una tangente a un crculo es una recta que toca al crculo, sin
cruzarlo. Demostro, en la proposici
on 16 del Libro III que la recta perpendicular
a un diametro de un crculo trazada por uno de sus extremos queda fuera del
crculo, y entre el espacio que hay entre esa recta y la circunferencia no se puede
interponer otra recta.
M
as adelante, en un corolario, muestra que dicha recta toca al crculo. La
parte de la proposici
on 16 respecto a que ninguna recta se puede interponer entre
la curva y la recta en cuestion, pas
o a formar parte de la definicion de tangente
antes de la introducci
on del C
alculo.
Posteriormente APOLONIO ( A.C.) en su obra Conicas, en el Libro I,
analizo el problema de trazar la tangente a una par
abola en un punto dado, pensandola, como EUCLIDES, como recta que toca pero no cruza la curva. Asimismo
mostr
o c
omo trazar tangentes a elipses y a hiperbolas.
Cuando a principios del siglo diecisiete surge la geometra analtica, los matem
aticos pudieron s
ubitamente construir multitud de nuevas figuras, enfrentando
el problema de hallar nuevas maneras de trazar tangentes. En esa epoca todava
no se trabajaba con funciones, sino con curvas definidas mediante alguna relacion
entre dos variables.
En KEPLER en su Nueva Geometra de Botellas de Vino, refiriendose a
la variaci
on de volumen con la altura del m
aximo paraleleppedo inscrito en una
esfera deca
Cerca del m
aximo, los decrementos en ambos lados son inicialmente imperceptibles.
KEPLER afirmaba que si se vara en una peque
na cantidad la altura del paraleleppedo m
aximo, la variaci
on en volumen es inicialmente imperceptible, casi nula
o, empleando el lenguaje de esta secci
on, la tasa de cambio promedio alrededor
180

del m
aximo es casi cero, y, en terminos de tangentes, la tangente en el m
aximo
es horizontal.
Alrededor de FERMAT mostr
o que su metodo de las adecuaciones desarrollado para resolver un problema de m
aximos se poda adaptar para determinar
la tangente a una curva.
Simultaneamente DESCARTES trabajaba en el problema de determinar la pendiente de la normal a una curva, de donde facilmente se puede obtener la tangente.
A fines de los s, ROBERVAL () descubri
o un metodo para determinar tangentes considerando que una curva esta generada por un punto en
movimiento, pero su metodo depende de la descripcion geometrica de la curva.
En una edicion de de la Geometra de DESCARTES, en el captulo Sobre
m
aximos y mnimos el holandes HUDDE simplifica los c
alculos necesarios en el
metodo de Descartes para hallar normales.
Tambien durante la segunda mitad del siglo diecisiete SLUSE nacido en Li`ege,
desarroll
o un metodo para encontrar la pendiente de tangentes a curvas descritas
mediante ecuaciones polinomiales. Aunque no sabemos c
omo llego a su resultado,
quiza fue la generalizaci
on de multitud de ejemplos, su importancia radica, junto
con HUDDE, en que proporcionaron algoritmos generales mediante los cuales se
pueden trazar tangentes a curvas representadas por medio de ecuaciones polinomiales.
El problema de trazar la tangente, junto con los conceptos de velocidad y
aceleraci
on instantaneas origino a la larga el potente y c
omodo Calculo Infinitesimal de LEIBNIZ y el metodo de las fluxiones de NEWTON. Hallar la tangente a
una curva en un punto y hallar la velocidad de una partcula que describe esa
curva cuando alcanza ese punto son problemas matematicamente identicos.
Los metodos del cociente diferencial de Leibniz y de la fluxi
on de Newton
fueron descubiertos de manera independiente y casi simultanea. Parece que
NEWTON lo descubri
o primero pero fue LEIBNIZ el primero en publicarlo en .
En la leccion 3 de su Resumen de las clases impartidas en la Escuela Real
Politecnica sobre Calculo Infinitesimal, publicado en , CAUCHY define la
derivada de una funci
on de la manera que la expusimos en el presente captulo, y
se considera el primero en usar explcitamente la definicion moderna de derivada
para demostrar teoremas.

Calculo Diferencial

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Calculo Diferencial

Transféré par

Droits d'auteur :

Formats disponibles

Esta edicin es un borrador, se difunde por tiempo limitado para efectos de recabar comentarios.

Prohibida su modificacin, copia o distribucin. https://tienda.lopezmateos.com.mx

Manuel Lpez Mateos

Borrador 1, 2014, en Lpez Mateos Editores

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

LA DERIVADA DE UNA FUNCION

Cambio y razon de cambio

Operaciones con la derivada

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Otras conexiones con la derivada

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Desde la escuela primaria usamos la palabra calcular con el significado de obtener

Suponemos que al salir con su reba

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

La sorpresa es que los procedimientos inversos entre s del calculo diferencial y

Empleando de nuevo unas cuantas palabras, el termino lmite no se refiere

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Dicho en pocas palabras, el termino calculo infinitesimal significa calculo

Recta que toca a la curva en solo el punto P . Es la tangente?

En realidad no es lo que esperabamos, cuando dijimos que la recta tangente

La recta no cruza la curva.

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Modifiquemos la propuesta e intentemos otra definicion, que la recta tangente

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

La recta cruza la curva en Q pero no es tangente en P ?

Pero no imaginamos la situacion presentada en la figura 0.3 en donde alrededor

Ahora la recta, aunque cruza la curva en R, es tangente en R.

La recta de P a Q es una secante a la curva.

Secantes que pasan por P y por puntos Q, R, S y T sobre la curva m

Tenemos, as, un proceso de obtener un estado, la recta tangente en P ,

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Desde los griegos se trazaban tangentes a figuras determinadas, EUCLIDES

Ejemplo sencillo donde una figura se descompone en dos cuya

Otra idea importante, atribuida a EUDOXO, presentada por EUCLIDES, es el

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Los polgonos inscritos en el crculo tienen a

La tercer idea se conoce como el metodo de las rebanadas. Se descompone una

El concepto moderno para determinar areas de figuras planas cuyos contornos

La figura se cubre con rectangulos, la suma de sus a reas sera

Al proceso le llamamos integracion.

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Se piensa, por ejemplo, a una esfera rebanada en infinidad de

De aqu solo hay un paso al concepto de integral desarrollado de manera

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Consideramos la tangente a una curva en un punto como la posicion lmite de

Mas y mas cerca

como lmite de areas de rect

De hecho el concepto a formalizar es que si L es la posicion

As, cuando usamos la expresion m

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

el concepto de lmite es la expresi

A partir de cierto momento la posici

Hemos hablado de tiempo transcurrido y de espacio recorrido presuponiendo un

La longitud de la hipotenusa del tri

Ya sea que la construccion de los n

(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos.

Como en las otras secciones de este captulo introductorio, lo dicho en estos

De hecho, mediante los n

Lograda la construccion de los n

Los conjuntos finitos tienen un cierto n

A la cardinalidad o potencia de los n