Jorge González - Cálculo 1 PDF

CAPTULO 1 : LOS NMEROS REALES
1.1.- INTRODUCCIN
Desde los inicios de la Humanidad, se hizo necesario algn sistema de

manejo de cantidades y de tamaos. En la medida que las sociedades
humanas se van desarrollando, este problema se hace ms y ms
importante. El problema comienza, desde luego, por la identificacin y
por lo tanto la designacin de las cantidades en su lenguaje. El modelo
ms simple de cantidad es, sin duda, el de cantidad discreta , es decir,
los nmeros naturales: probablemente la primera actividad matemtica
del ser humano fue el contar . Experimentos realizados con animales
domsticos demuestran que estos son capaces de distinguir, digamos
contar, los primeros cuatro o cinco nmeros naturales. Esta habilidad
sin duda tambin la tenan los primates de la especie homo sapiens que
dieron origen a nuestra civilizacin. Pero no necesariamente ms
desarrollada que estos animales domsticos, como lo demuestra el
descubrimiento de la tribu de los Fayu, en Papa Occidental (Nueva
Guinea). Este pueblo no tiene en su lengua ms que tres palabras para
designar nmeros: satu (uno), dua (dos) y tiga (tres). Las cantidades
mayores son indicadas con gestos o con palabras que aluden a muchos.
Su modo de vida no les ha obligado (hasta ahora) a una mayor
precisin de cantidades. Por contraste, los pueblos de la antigua
Mesopotamia y Egipto, as como los Maya en nuestro continente
desarrollaron un sistema de numeracin y de manejo de cantidades
bastante notable y sofisticado. Como punto de referencia en que esto
ocurra, diremos que el primer calendario sumerio encontrado data del
ao 5.700 AC y los ladrillos grabados de los babilonios datan de
alrededor del ao 2.000 AC., mientras que el sistema de numeracin
maya ha sido fechado en el siglo tercero antes de cristo. Es claro que el
desarrollo del comercio y la agricultura en estos pueblos oblig a
desarrollar a su vez un sistema de numeracin y de manejo de nmeros.
Los ladrillos sumerios muestran un manejo bastante avanzado de las
operaciones algebraicas (el lgebra babilnica), que inclua el clculo
de inters compuesto, clculos con pesas y medidas, ecuaciones
cuadrticas y otros. Tambin es claro que el solo manejo de los
1
nmeros naturales no fue suficiente: probablemente desde un principio
los mercaderes babilnicos se vieron en la necesidad de modelar la
nocin de divisin y por lo tanto del desarrollo y manejo de fracciones.
Las operaciones con estos nmeros es cualquier cosa menos trivial.
Estamos tan adiestrados desde nuestra niez a manejar (por desgracia,
mecnicamente) las operaciones con fracciones que no nos damos
cuenta de la tremenda dificultad conceptual que encierran.
Pero son los griegos de la poca clsica (y un poco antes) quienes
demuestran la insuficiencia de las fracciones para modelar tamaos: un
buen modelo de tamao tendra que contemplar la relacin entre los
catetos de un tringulo rectngulo y su hipotenusa. Se atribuye a la
escuela pitagrica el descubrimiento de la irracionalidad de la raz
cuadrada de dos. Ntese que, si nos quedamos con las fracciones como
modelo, entonces, tomando el largo de un cateto como unidad, el largo
de la hipotenusa quedara fuera del modelo, es decir, el modelo no nos
dara un tamao exacto.
Los pitagricos posiblemente han razonado del siguiente modo para
demostrar la irracionalidad de la raz cuadrada de dos:
Supongamos que 2 es una fraccin, digamos p/q, donde podemos
suponer que p y q son primos relativos, es decir, no tienen factores
comunes (si lo tuvieran, bastara con simplificarlos). Si elevamos al
cuadrado, obtenemos que p 2 = 2q 2 , por lo tanto p 2 es par. Pero si el
cuadrado de un nmero es par, el nmero mismo debe ser par (los
cuadrados de los impares son impares, como lo demuestra la frmula
(2n + 1) 2 = 4n 2 + 4n + 1 ). Por lo tanto p es de la forma 2n con lo que
p 2 = 4n 2 = 2q 2 . Simplificando por dos, resulta: q 2 = 2 p 2 , es decir, q
tambin debe ser par: pero esto contradice nuestra suposicin de que p
y q no tenan factores comunes.
La introduccin del cero se hizo necesaria muy tempranamente. La
cantidad vaca tiene su representacin conceptual y lingstica desde
muy temprano y, desde los babilonios en adelante, la representacin de
nmeros grandes a travs de smbolos cuyo significado dependa de su
posicin relativa en la expresin correspondiente, hizo que el cero fuese
indispensable, siendo representado inicialmente por espacios vacos y
mas tarde por smbolos especiales. Por otro lado, los nmeros
negativos aparecieron tarde en la historia: ellos no modelan una nocin
de tamao sino de orientacin o sentido. Con seguridad que los
mercaderes babilnicos distinguan de alguna manera las cantidades en
stock (positivas) de aquellas en deuda (negativas) y sus clculos deban
2
hacer uso implcito del lgebra con nmeros negativos. No hay
evidencias precisas de esto.
El desarrollo del concepto de nmero real y de las matemticas en
general, es tomado por los hindes y los rabes, que entre otras cosas-
salvaron para Occidente la cultura clsica griega, mientras Europa se
suma en el largo oscurantismo medieval. Recin en el siglo XVII de
nuestra era se produce en Europa un salto cualitativo en el desarrollo de
la matemtica, poca en que se empieza a gestar el Clculo
Infinitesimal. Este desarrollo es vertiginoso pero comienza a tropezar
precisamente en la falta de una nocin precisa y clara de nmero real.
Son muchos los matemticos que emprenden esta tarea en los siglos
XIX y XX: Bolzano, que demuestra en 1817 la necesidad de lo que
hoy se conoce como axioma del supremo, Weierstrass y Dedekind
(famoso por sus cortaduras) y muchos otros. Pero no es si no con
Cantor (1845-1918) y sus trabajos sobre Teora de Conjuntos, que el
sistema de los nmeros reales toma esencialmente- su forma actual.
1.2.- LOS 16 AXIOMAS
Consideraremos al sistema de nmeros reales como un modelo

matemtico de las nociones de cantidad o tamao mencionadas
anteriormente. Este modelo consiste de un conjunto que denotaremos
por cuyos elementos se llamarn nmeros reales , dos operaciones
binarias (llamadas tambin leyes de composicin interna)
denominadas suma y producto y denotadas respectivamente por + y . y
una relacin de orden denotada por . Por operaciones binarias
entendemos una regla que asocia a cada par de elementos del conjunto
un nico elemento del mismo conjunto. De este modo, un sistema de
nmeros reales ser el cuarteto:
(,+,., )
que cumple los 16 axiomas siguentes:
1. ( x + y ) + z = x + ( y + z ), x, y, z (asociatividad de la suma)
2. 0 , x + 0 = 0 + x = x, x (0 se llama neutro aditivo)
3. (x )( x , x + ( x) = ( x) + x = 0) (el nmero real -x se

llama inverso aditivo de x)
3
4. x + y = y + x, x, y (conmutatividad de la suma)
Estos cuatro primeros axiomas hacen que el par (,+) se llame

grupo abeliano.
5. ( xy ) z = x( yz ), x, y, z (asociatividad del producto)
6. 1 ,1 0, x.1 = 1.x = x, x (1 se llama neutro

multiplicativo)
7. (x 0)(x 1 , xx 1 = x 1 x = 1) (el nmero real x 1 se

llama inverso multiplicativo de x )
8. xy = yx, x, y (conmutatividad del producto)
Notar que estas cuatro propiedades son las mismas que para la
suma, con una diferencia esencial: hay un elemento (el 0) que
queda excludo de tener inverso.
9. x( y + z ) = xy + xz, x, y, z (distributividad del producto

respecto de la suma)
Este noveno axioma pone en relacin las operaciones de suma y

producto. Debe notarse la asimetra de esta ley de distributividad.
Con estos nueve primeros axiomas el tro (,+,.) se llama cuerpo
conmutativo.
10. (x ), x x (reflexividad del orden)
11. x y y z x z (transitividad del orden)
12. x y y x x = y (antisimetra del orden)
13. (x, y ), x y y x (tricotoma)
Estas cuatro propiedades definen lo que se llama un orden total sobre

. La ltima propiedad, es decir, la tricotoma, significa que todo
nmero real se puede comparar con cualquier otro: uno debe ser
4
mayor o igual al otro. La palabra tricotoma viene del griego y significa
divisin en tres casos. Los tres casos son: mayor, menor o igual. Al
tomar la relacin de orden como menor o igual, los casos se reducen
a dos.
14. x y x + z y + z (compatibilidad del orden con la suma)
15. x y z 0 xz yz (compatibilidad del orden con el producto)
Estos dos axiomas ponen en relacin las operaciones de suma y

producto con la de orden. Debe notarse aqu nuevamente la asimetra
que se tiene entre suma y producto: para conservar la relacin de
orden con el producto, el factor a multiplicar debe ser positivo. Esta
restriccin no es necesaria para el caso de la suma.
Con estos quince axiomas se obtiene lo que se conoce como cuerpo
conmutativo ordenado.
16.- Axioma del Supremo: todo conjunto de nmeros reales que sea no-
vaco y acotado superiormente posee un supremo. Dejaremos para ms
adelante las explicaciones acerca de este axioma.
.
Los primeros quince axiomas gobiernan todo el manejo bsico y
elemental de los nmeros reales. Se ha dado cuenta aqu de las
propiedades fundamentales que deben cumplirse para que este modelo
pueda representar la idea de cantidad o tamao: las cantidades
debern poder ser comparadas unas con otras, podrn ser aadidas y
multiplicadas (como una suma reiterada), y se permite adems una
orientacin sin restricciones (nmeros negativos). Lo que no se
resuelve con estos quince primeros axiomas es el problema que
sorprendi a los griegos: hay una cantidad (elemento de nuestro
modelo) cuyo cuadrado (o sea el producto consigo mismo) sea dos?
Como veremos ms adelante los nmeros racionales satisfacen los
primeros quince axiomas, es decir, forman un cuerpo ordenado
conmutativo, pero, como vimos, no hay all ningn elemento cuyo
cuadrado sea dos. El problema se resolver asumiendo el axioma 16: el
axioma del supremo. Pero este aspecto es bastante ms largo y
complejo, por lo que lo dejaremos para ms adelante.
5
* Queda abierto el problema de la existencia y unicidad de un sistema
de nmeros reales. Como se sabe, la existencia (entendida como la
consistencia de los axiomas, es decir, la ausencia de contradicciones)
no puede ser demostrada cabalmente despus de los clebres
resultados de Kurt Goedel. Lo que se puede hacer al respecto es
reducir el problema de la consistencia de este sistema de 16 axiomas al
problema de la consistencia de otro sistema ms simple de axiomas.
Lo que se sola hacer era partir de un sistema de axiomas para los
nmeros naturales (los axiomas de Peano) y construir desde all los
nmeros enteros, los nmeros racionales y, finalmente, los nmeros
reales. Hasta hace algunos aos fu una moda en los cursos iniciales de
clculo (o anlisis) llevar a cabo esta construccin, un poco bajo la
influencia del criterio de Kronecker: Dios cre los nmeros naturales,
todo lo dems es construccin del Hombre. Sin embargo, esta
construccin, en rigor, no fundamenta nada, pues se necesita construir
una teora axiomtica de conjuntos y la respectiva lgica que se usa en
dicha teora (clculo funcional de primer orden), cuestiones cuya cabal
fundamentacin no es posible, por los resultados de Goedel antes
mencionados. De modo que, en rigor, la teora de los nmeros reales, y
con ella prcticamente toda la matemtica queda sin un fundamento
completo.
Por otro lado la unicidad, en el sentido de que dos sistemas que
cumplen los 16 axiomas son isomorfos en toda su estructura, se puede
demostrar, pero eso corresponde a otro mbito de problemas.
Pienso que la discusin de este problema, incluyendo alguna teora
axiomtica de conjuntos , es parte importante en la formacin bsica de
un matemtico, pero debe ser realizada en cursos ms avanzados.
1.3.- PROPIEDADES Y OPERACIONES DERIVADAS
En la estructura bsica del sistema de nmeros reales no aparecen las

cuatro operaciones , sino solamente dos: suma y producto. como se
definen la operacin resta y la operacin divisin ? Tampoco aparece
una serie de propiedades que conocemos desde el colegio y que usamos
comnmente sin mayor preocupacin: si tales propiedades son
verdaderas y no aparecen en la lista de axiomas, entonces ser
necesario demostrarlas.
6
Comencemos por definir las operaciones de resta y divisin:
La resta : x y = x + ( y ) , es decir, no es ms que la suma de x con el
inverso aditivo de y . Esta operacin no es, obviamente, conmutativa.
La divisin: x y = x( y 1 ) , es decir, se trata del producto de x con el
inverso multiplicativo de y . Esta operacin tampoco es, desde luego,
conmutativa. Ms an, no est definida para y = 0 . Tampoco es
asociativa. Es necesario hacerse cargo de algunas notaciones que han
surgido a lo largo de la historia y que seguimos utilizando
comnmente. El inverso multiplicativo de y se denota tambin:
1 1
y 1 = , con lo cual la divisin quedara: x y = x . Pero el producto
y y
es conmutativo, luego da lo mismo poner el inverso de y a la izquierda
que a la derecha de x, por lo que se opta por lo ms sencillo: ponerlo
justo debajo:
1 1 x
x y = x = x =
y y y
Puesto que la divisin no es asociativa, es necesario tener cuidado
cuando se realizan divisiones reiteradas:
a
( )
b a
no es lo mismo que . De modo que hay que distinguir la
c b
( )
c
raya principal de divisin cuando aparecen divisiones sucesivas.
Entendiendo de esta manera la notacin respectiva, la regla de la
suma de fracciones, para nmeros reales, se demuestra simplemente
usando la distributividad (Axioma 9):
a c ad + cb
+ = ab 1 + cd 1 = ab 1 d 1 d + cd 1b 1b = d 1b 1 (ad + cb) =
b d db
1
La notacin del inverso multiplicativo de x como no es casual ni
x
arbitrario: su origen histrico est en el significado que se le d a la
divisin de un entero (la unidad) por otro entero (positivo) : se trata de
la x-ava parte del entero unitario 1. Por lo tanto, si se suma x-veces
esta x-ava parte, se restituye la unidad. Desde luego que este
significado se pierde absolutamente cuando x no es ms un entero.
7
A continuacin presentamos un pequeo listado de propiedades de uso
comn en el lgebra de los nmeros reales y que no estn en la lista de
axiomas:
1. Unicidad de los neutros. En la lista de axiomas se afirma la existencia,

pero no la unicidad de un 0 o un 1: podr haber ms de uno? La
respuesta es obviamente negativa: si hubiese dos, digamos 0 y 0 se
tendra
0' = 0'+0 = 0
y anlogamente, por la mera definicin de neutro multiplicativo,
1' = 1.1' = 1
2. Las cancelaciones:
Si x + y = x + z , sumando a ambos lados el inverso de x , resulta y = z
Si xy = xz x 0 , multiplicando por el inverso(multiplicativo) de x,
y=z
Ntese nuevamente aqu la asimetra de las operaciones suma y
producto.
3. Unicidad de los inversos: Tampoco aparece en nuestra lista de axiomas

que los inversos de cada nmero (aditivo o multiplicativo ) sean nicos.
La unicidad se sigue de las cancelaciones: si llamamos x y x dos
inversos aditivos de x, se tiene que x + x' = 0 = x + x' ' , luego,
cancelando la x, se tiene: x' = x' '
Del mismo modo, si x 0 , y x y x son dos inversos multiplicativos, se
tiene:
xx' = 1 = xx' ' , cancelando la x que es distinta de cero, se tiene x' = x ' ' .
4. De lo anterior se sigue que

( x) = x
puesto que ambos nmeros son inversos de x .
Anlogamente:
( x 1 ) 1 = x
ya que ambos nmeros son inversos (multiplicativos) de x 1
5. (1)a = a, a . En efecto, sumando:

(1)a + a = (1 + 1)a = 0.a = 0 , luego (1)a funciona como inverso de
a , por lo tanto, por unicidad del inverso, debe ser el inverso de a.
8
6. (1)(1) = 1. Dejamos su demostracin al lector
7. Cualquiera sea el nmero real a, se tiene: a.0 = 0

En efecto, si llamamos x al nmero a.0 , se tiene:
x = a(0 + 0) = a.0 + a.0 = x + x , cancelando la x , se tiene x = 0
8. El cuerpo de los reales no tiene divisores de cero , es decir:

ab = 0 a = 0 b = 0
En efecto, si suponemos que ab = 0 , pero que, por ejemplo b 0 , se
tiene, multiplicando la igualdad anterior por b 1 , que a = 0 .
9. 0 < 1 : en efecto, puesto que por axioma 0 1 , la negacin de la

propiedad a demostrar sera: 1 < 0 , sumando 1 a ambos lados, se
tendra que 1 > 0 , luego, por compatibilidad con el producto, se
tendra: (1)(1) = 1 > 0 lo que contradice la suposicin.
10. El cuadrado de todo real a es positivo (o nulo): en efecto, por

tricotoma, o bien a 0 , o bien a 0 , luego:
a.2 = a.a 0 (a )( a ) = a 2 0 .
11. Conviene definir: a 0 , entonces tambin a 1 > 0 . En efecto, si suponemos que

a 1 < 0 , entonces a 1 > 0 , luego a (a 1 ) = (aa 1 ) = 1 > 0 , lo que
contradice el punto 9.
13. Si a 1 . Por otro lado, 1 < 2 y ocurre que
(1) 2 = 1 < 2 2 = 4 . O sea, a veces si , a veces no. Pero, si ambos
nmeros son positivos, entonces vale: 0 a < b a 2 < b 2 . En efecto,
multiplicando la desigualdad a b alternativamente por a y por b :
a 2 ab = ba b 2 y la desigualdad estricta se obtiene observando que,
si bien a puede ser cero, b no.
9
Hay una gran cantidad de propiedades similares, de uso comn en el
lgebra de los nmeros reales, y que no estn en nuestra lista de
axiomas. Las dejaremos para ser demostradas como ejercicio.
1.4.- PROBLEMAS
Sern verdaderas o falsas las afirmaciones siguentes? En caso

afirmativo, en qu axiomas de los nmeros reales se fundamentan?
Habr que agregarle algunas hiptesis a algunas de ellas?
1. (1)(1) = 1
2. 2.2=4 (se define: 2=1+1; 4=((1+1)+1)+1 )
3. ac = bc a = b
4. ac < bc a < b
5. 1+1=0
6. 1+1+1=0
7. (ab) 1 = a 1b 1
a b ac
8. ( ) =
b c bd
a 1 b
9. ( ) =
b a
a
( )
ad
10. b =
c bc
( )
d
a c
11. = ad = bc
b d
12. (a + b) = (a ) + (b)
a+b
13. a b a b
2
14. a b b a
15. ax < a x < 1
16. a 0 ac < bc
10
18. a 2 b 2 a, b 0 a b
1
19. (x > 0), x + 2 y la igualdad se cumple si y solo si x = 1
x
20. Dnde estn los errores en esta demostracin ? Sea x = y :
x 2 = xy
x 2 y 2 = xy y 2
( x + y )( x y ) = y ( x y )
x+ y = y
2y = y
2 =1
21. Sea a > b . Qu condiciones debe cumplir c para que se cumpla la
a b
desigualdad: < + 1 ?
c c
a 0
22. Sea G = { : a, b } , con la operacin definida por:
b 1
a o a ' 0 aa ' 0
=
b 1 b' 1 ba'+b' 1
Es asociativa esta operacin?

Es conmutativa esta operacin?
Existe un neutro? Es nico?
Para cules elementos existe un inverso (bilateral)?
1.5.- PROBLEMAS ELEMENTALES CON COMO CUERPO
Hay una gran cantidad de problemas de la vida real que se pueden

resolver utilizando solamente la estructura de cuerpo de nuestro
modelo. Se trata de problemas que surgieron ya en la antigedad y que
fueron resueltos mediante un primer modelo de cantidad. Sin embargo
veremos que otros problemas, aparentemente tan bsicos como stos,
11
fueron solo parcialmente resueltos y plantearon a la humanidad la
necesidad de un modelo ms fino de cantidad.
1. Crecimientos porcentuales.
Si C representa cierta cantidad , entonces

r r
C+ C = (1 + )C
100 100
representa la cantidad alterada en el r%. Si r es positivo, entonces se ha
producido un crecimiento del r%, si r es negativo, la cantidad decrece
en el r%. Notar que la nueva cantidad se obtiene por multiplicacin por
un factor adecuado.
Ejemplos.
1. El gerente de una empresa anuncia a sus trabajadores que, por motivos

coyunturales, la empresa rebajar los sueldo en un 10%. Pero, explic, no
hay que preocuparse, pues esto solo ser por este mes, en el siguiente se
volver subir los sueldos en el mismo 10%. Don Pedro, con ms de 30
aos en la empresa, ganaba $500.000 y calcul su nuevo sueldo
10
disminudo: (1 )500.000 = 450.000 . En seguida calcul,
100
sospechando algo raro, cul sera su sueldo al mes
10
siguiente: (1 + )450.000 = 495.000 : Le faltaban $5.000!
100
2. El gerente de la empresa anuncia a sus trabajadores que, debido a los

ltimos xitos obtenidos, la empresa subir los sueldos en 10%. Pero,
explic, la bonanza no es eterna y se deber rebajar al mes siguiente los
sueldos en el mismo 10%. Don Pedro, el que ganaba $500.000 mensuales
10
calcula orgulloso su sueldo aumentado: (1 + )500.000 = 550.000 . En
100
seguida calcul, sospechando algo raro, ya que la empresa nunca daba
puntada sin hilo, su sueldo al mes siguiente:
10
(1 )550.000 = 495.000 .Otra vez faltan $5.000!
100
12
Como el producto de nmeros reales es conmutativo, este resultado era
completamente esperable, sin necesidad de hacer nuevamente el clculo.
3. Un animal de experimentacin , de peso inicial de 50[gr], aumenta su

peso en 20% el primer mes y en otros 20% el segundo mes: cul es el
porcentaje de crecimiento que se produce en los dos meses? La ecuacin
a resolver, llamando x al porcentaje buscado, es:
x 20 20 20 2
(1 + )50 = (1 + )(1 + )50 = (1 + ) 50 , cuya solucin es:
100 100 100 100
x = %44 , la cual se obtiene despejando la incgnita x, es decir, usando
directamente las reglas del lgebra de los nmeros reales que hemos
discutido.
4. Un banco hace prstamos con un inters del 0.4% mensual. cul sera el
porcentaje de inters anual equivalente, es decir, aquel que produce
exactamente la misma ganancia para el banco?. Este es un problema de
inters compuesto, es decir, la deuda va creciendo sostenidamente en el
0.4% cada mes. Aqu se est aplicando un inters sobre la deuda
aumentada por el inters, o sea inters sobre inters. La ecuacin sera:
x 0.4 12
(1 + )C = (1 + ) C , donde C es el capital inicial obtenido del
100 100
banco. Despejando la x se obtiene: x = %4.90702 . Notar que el
porcentaje mensual de 0.4% multiplicado por los doce meses nos d
0.4 12 = 4.8 , es decir, solamente el 4.8%.
5 . El problema inverso nos plantea una dificultad diferente: supongamos que

un banco otorga prstamos con un R% anual de inters. cul sera el
inters mensual equivalente? En este caso tendramos que plantear la
x 12 R
ecuacin: (1 + ) C = (1 + )C cuya solucin requiere la existencia
100 100
de races (en este caso de orden 12) de nmeros reales. Suponiendo la
existencia de tales races, la solucin de nuestro problema sera:
R
x = (12 (1 + ) 1)100
100
Discutiremos ms adelante este problema matemtico.
6. En una festividad se renen nios y nias. El 40% son nias y el 12% de

las nias recibe un libro de regalo. Qu porcentaje del total recibe un
13
libro de regalo?. Se trata aqu de un porcentaje del porcentaje, es decir, de
una iteracin del porcentaje. En general, el a% de una cantidad C es:
a
A= C , y el b% de esta cantidad es:
100
ab
( )
b ab
B= A= C = 100 C ,
100 100 100 100
ab
luego el b% del a% de C es: .
100
En nuestro problema, el porcentaje de nios que recibe el libro es
simplemente 4.8%
2. Concentraciones relativas.
Existen dos conceptos diferentes acerca de la concentracin de una

substancia en una solucin: uno es la concentracin fsica o
masa gr.
absoluta que es simplemente la razn [ 3 ] . Sin
volumen cm
embargo, el concepto ms usado es el de concentracin relativa:
volumen..saturado
c= 100 %
volumen..total
que queda expresado en un porcentaje. Una concentracin relativa del

100% significa que la solucin est saturada, es decir, no admite ms
soluto. Una concentracin del 10% significa que hay 10 partes de
volumen saturado del soluto en un volumen total de 100. En este caso
la concentracin es a-dimensional, es decir, no depende de las unidades
de medida usadas.
Ejemplos
1. Se mezclan dos soluciones de cido clorhdrico: 3 litros al 10% y 5

litros al 5% : cul es la concentracin de la mezcla?
14
La ecuacin se plantear llamando x a la concentracin de los 8 litros
de mezcla resultante e igualando los volmenes saturados:
x 10 5
8( ) = 3( ) + 5( ) , de donde x = 6.875%
100 100 100
2. Se tiene un recipiente de 3 litros lleno con un cido al 20%. Se
necesita subir la concentracin de la solucin al 25%. Para esto se
dispone de un concentrado al 80%. qu volumen de solucin habr
que sacar del recipiente y reemplazar por el concentrado para obtener
lo deseado?. Llamando x al volumen a reemplazar, se debe establecer
la siguiente ecuacin:
20 80 25
(3 x)( ) + x( ) = 3( )
100 100 100
donde, despejando la x, se obtiene: x = 0.25 litros.
3. Problemas de flujos
Por flujo o caudal se entiende el nmero de litros que pasan por unidad
volumen
de tiempo: q = . Hay muchos problemas que se plantean al
tiempo
sumar o restar flujos. En estos problemas elementales se supone
generalmente que los flujos son constantes en el tiempo. Veamos
algunos ejemplos:
Ejemplos
1. Una bomba de agua llena un estanque en 6 horas y otra lo hace en 9

horas. En cunto tiempo se llena el estanque si ambas bombas
trabajan juntas?. En este caso se suman los flujos, con lo que el tiempo
de llenado debe disminuir. Ntese que el volumen del estanque no es
dato del problema. Llamando E al volumen del estanque, q1 al flujo
de la primera bomba y q 2 el de la segunda, se tiene
E = q1 6 = q 2 9 = (q1 + q 2 ) x
donde x es el tiempo de llenado con ambas bombas juntas. Entonces:
E E
x= = = 3.6 horas.
q1 + q 2 E E
+
6 9
15
2. Un estanque se llena en 6 horas y, mediante una llave de salida, se
vaca en 9 horas. Si se comienza a llenar pero se olvida cerrar la llave
de salida, en cuanto tiempo llega el agua a la mitad de estanque? En
este caso se restan los flujos, supuestos ambos constantes ( lo que en el
caso de la salida no es muy justo) .
E
( )
E
x= 2 = = 9 horas.
q1 q 2 E E
2( )
6 9
1.6.- PROBLEMAS
1. Una poblacin de insectos decrece sostenidamente en 2.3%

mensualmente de Enero a Diciembre .
a) Cul es el porcentaje de decrecimiento anual que observa?
b) En qu porcentaje debe crecer la poblacin en un solo mes
pararecuperar su tamao original?
c) Si en Julio la poblacin era de 2.357 individuos, cul era su
tamao original?
2.. Una poblacin de bacterias en un experimento de laboratorio

tiene un crecimiento sostenido de un 1.2% al da durante los
primeros 6 das. Pero en el sptimo da se introduce un txico y
la poblacin decrece alcanzando el mismo tamao inicial.
a) Cul fue el porcentaje de decrecimiento que se produjo el
sptimo da?
b) Si la poblacin inicial era de 2400 bacterias, cul fue el
tamao mximo que alcanz la poblacin durante el
experimento?
3. Una rata de laboratorio pesa inicialmente 27 gr. , aumenta su peso

en 12% en el primer mes y disminuye su peso en 12% el segundo
mes. cul es su peso al final del primero y del segundo mes?
cul debe ser el porcentaje de disminucin de peso en el segundo
mes para quedar pesando igual que al inicio?
4. Una poblacin de protozoos crece en 3.5% durante el da y decrece

en 3.5% durante la noche. Al cabo de una semana cul es el
porcentaje de crecimiento (o decrecimiento) que experimenta la
16
poblacin? Si al final de la semana el nmero de protozoos es de
4560, cul haba sido su tamao inicial?
5. Un inversionista coloca un milln de pesos a inters en el banco.

De Enero a Abril la tasa mensual de inters se mantiene fija en
1.7%. Pero en los meses de Mayo y Junio, a consecuencia de la
crisis asitica, la tasa sube al 3.7%. Calcule la ganancia neta que
obtiene el inversionista a fines de Junio. Cul debi ser la tasa
de inters en Mayo y Junio para que nuestro inversionista hubiese
obtenido una ganancia neta de $200.000?
6. Una plaga crece al 5.8% mensual en los primeros 8 meses del ao.
Usando cierto plaguicida se logra una reduccin mensual del 17%.
Si este plaguicida se usa hasta final de ao, en qu porcentaje se
reduce la plaga (en relacin a su tamao inicial)? cul debera ser
el porcentaje mensual de reduccin para lograr una reduccin de
la plaga a la dcima parte de lo que era al comienzo del ao?.
Ample su estudio considerando dos meses de resguardo (sin
insecticidas) antes de la cosecha y diferentes momentos de
aplicacin del plaguicida.
7. Con 950 ladrillos se han hecho tres tabiques. En el primero entra

una tercera parte ms que en el segundo y en ste la cuarta parte de
los que entran en el tercero. cuntos ladrillos entran en cada
tabique?
8. Una llave de agua llena un estanque en 5 horas menos que otra y

juntas lo llenan en 5 horas. en cunto tiempo llena el estanque
cada una de las llaves?
9. Un qumico tiene 20 litros de un desinfectante al 3.5% de

concentracin. qu cantidad de agua debe agregarle para bajar su
concentracin al 2.8% ?
10. Se tienen dos soluciones: 25 litros al 4.3% y 35 litros al 2.5%.

Si se juntan ambas soluciones qu concentracin se obtiene?
17
11. Si una mercanca comprada el Lunes subi el 10% el Martes y
baj el 9% el Mircoles, cunto se pag el Lunes si se
vendi el Mircoles en $99 ?
12. Cinco personas desean comprar un terreno pagando en partes

iguales. Se dan cuenta que, si fueran 8 la cuota de cada uno
disminuira en $120.000. Cunto vale el terreno?
13. El 15% de los miembros de una poblacin estaba afectado de una

enfermedad. El 8% de los afectados murieron. Calcule la
mortalidad respecto a la poblacin total.
14. En una prueba de matemticas para bilogos el 12% de la clase no

resolvi el problema planteado, el 32% lo resolvi con algunos
errores y los 14 estudiantes restantes obtuvieron la solucin
correcta. cuntos estudiantes haba en la clase?
15. Un cajn de manzanas contiene m unidades, de las cuales p estn

descompuestas. Si se distribuyen las manzanas que estn en buen
estado en partes iguales entre n nios y q nias cuntas manzanas
reciben las nias?
16. Un recipiente contiene aceite y otro contiene agua. Se saca una

cucharada llena de aceite y se pone en el recipiente de agua. En
seguida, luego de revolver bien la mezcla, se saca una cucharada
de mezcla y se pone en el recipiente de aceite. Hay ms o menos
aceite en el recipiente de agua que agua en el de aceite?
17. Un tren rpido fu obligado a detenerse 16 minutos en un disco

rojo. Para recuperara el tiempo perdido, el tren viaj un tramo de
80 Km 10 Km/hora ms rpido que lo normal. cul es la
velocidad normal del tren?
18
1.7.- RACES, POTENCIAS Y LOGARITMOS.
El siguiente problema, de inters completamente prctico,

requiere una operacin que an no hemos introducido y cuya
fundamentacin (existencia) no podemos an realizar:
Un rentista coloca cierto capital C a inters en un banco y desea
saber cundo su dinero va a alcanzar cierto valor V:
r x
(1 + ) C =V
100
cmo despejar la x ? En general, el problema matemtico consiste

en saber si, dados dos nmeros reales a y b existe otro nmero real,
digamos x, tal que b x = a . No es esperable que para cualquier par
de nmeros a, b va a existir el nmero x. Es necesario estudiar bajo
qu hiptesis tiene solucin este problema. Ms an, si x no es un
nmero natural, que indicara solamente el nmero de veces que se
multiplica el nmero b consigo mismo, qu sentido tiene la
expresin b x ?
Debemos comenzar por identificar los distintos tipos de nmeros

reales interesantes que existen:
1. Los nmeros naturales. Vamos a entender por nmero natural a

ambos neutros : 0 y 1, y a todo nmero que se forma sumando el 1 a
los anteriores: 2=1+1 ; 3=2+1 = (1+1)+1; 4=3+1, etc. El conjunto de
los nmeros naturales lo denotaremos por N.
2. Los nmeros enteros. Los nmeros enteros son simplemente los

nmeros naturales y sus inversos aditivos: 0,1,2,3,.... El
conjunto de todos estos nmeros lo denotaremos por Z
3. Los nmeros racionales. Se trata en este caso de los productos de

nmeros enteros con sus inversos multiplicativos, es decir, nmeros
p
reales de la forma , donde p, q Z, y, desde luego, q 0 . El
q
conjunto de estos nmeros lo denotaremos por Q.
19
4. Los nmeros irracionales. Se trata de aquellos nmeros reales que
no son racionales. La existencia de tales nmeros est todava
sujeta a duda, pues, si bien sabemos que no hay nmero racional
cuyo cuadrado sea 2, todava no sabemos que haya efectivamente
otro tipo de nmero real que haga esa gracia. La existencia de races
( no solo cuadradas, sino de cualquier orden) para nmeros reales
positivos, es un punto que debemos fundamentar ms adelante.
Veremos que tal fundamento se obtiene a travs de propiedades
fuertes del anlisis.
5. Races n-simas
Por ahora aceptaremos el siguiente resultado:
n N , n 0, a , a 0, b , b 0, b n = a
Este nmero real positivo b es nico , se llama raz n-sima de a y

se denota:
b=n a
La operacin potencia.
Queremos indicar la forma como surge esta nueva operacin entre

nmeros reales. Sea b un nmero real , n un nmero natural no
nulo. Se define la potencia:
b n = b.b.b........b. , donde se ha multiplicado b consigo mismo n
veces. Esta operacin satisface las tres propiedades fundamentales
siguentes:
I. b n b m = b n+m
II. (b n ) m = b nm
III. (ab) n = a n b n
que se siguen simplemente de las propiedades de asociatividad y

conmutatividad del producto de nmeros reales.
20
1
Primera extensin: b n = . Esta definicin extiende la
bn
operacin potencia a todos los nmeros enteros. Notar que la base
b ya no es cualquier nmero real: debe ser distinto de cero.
Por otro lado se necesita una definicin para la potencia cuando
n = 0 . Se define:
b0 = 1
Es fcil verificar que, las tres propiedades fundamentales
anteriores tambin se cumplen en este caso. Hay que ponerse ,eso
si , en los distintos casos posibles y hacer uso de las propiedades
bsicas de los nmeros reales.
p
Segunda extensin: Si n = es un nmero racional cualquiera,
q
entonces siempre se puede suponer que q es (estrictamente)
positivo: el signo se puede siempre asignar a p . Entonces se
define la potencia
p
b = bp
q q
Aqu la base b ya no puede ser cualquier nmero no nulo: para

que esta definicin tenga sentido para cualquier nmero racional
es necesario suponer que b es estrictamente positivo.
Las tres propiedades bsicas tambin se cumplen en este caso,
pero su demostracin ya no es tan inmediata: es necesario usar la
unicidad de las races, es decir, si un nmero elevado a q es igual
a b, entonces ese nmero es la raz q-sima de b. En particular es
necesario usar la siguiente propiedad de consistencia:
b p = ( b) p
q q
En efecto, elevando a q la expresin de la izquierda, resulta b p por

definicin. Ahora, elevando a q la expresin de la derecha, resulta:
(( b ) p ) q = ( b ) pq = ( b ) qp = (( b ) q ) p = b p
q q q q
luego, por la observacin anterior, la igualdad propuesta queda

demostrada. Las tres propiedades fundamentales se demuestran de
modo similar. Por ejemplo, para demostrar:
p r p r ps + qr
+
bqbs = bq s
=b qs
21
basta elevar ambos lados a la potencia qs y aplicar las
propiedades fundamentales a las potencias enteras resultantes.
Tercera extensin: Sea b>0, a . Entonces se puede

demostrar que existe un nico nmero real, que se denota por b a
y que extiende tanto la potencia racional anterior como las tres
propiedades fundamentales.
Este es un resultado no trivial, necesita un desarrollo bastante
elaborado. Lo dejaremos para despus.
Aceptaremos, pues, la existencia de una nueva operacin binaria

entre nmeros reales, definida parcialmente:
a , b , b > 0 b a
y que cumple las tres propiedades I,II,III anteriores.
Es preciso tener cuidado con el dominio de esta operacin y sus

propiedades. Por ejemplo, si n es un nmero natural impar, se
puede definir una raz n-sima de un nmero negativo:
n
b = n b , si b>0
En efecto, elevando a una potencia impar, el signo negativo se

conserva.
Pero esta extensin ya no cumple las propiedades bsicas que
deseamos. Si suponemos que se cumplen, llegaramos a la
siguiente contradiccin:
2 1
1 = 1 = (1) = (1) = (1) = 3 1 = 1
6 6 2 6 3
La operacin logaritmo.
Sea b>0, b 1 , N , N>0. Entonces se puede demostrar que

existe un nico nmero real x, tal que b x = N . Este nico nmero
real se llama logaritmo en base b de N y se denota:
x = log b N
22
Aqu es preciso destacar dos cosas:
La operacin se puede definir solo parcialmente, es decir, no
para todos los nmeros reales: la base b debe ser estrictamente
positiva y distinta de 1, y el nmero N debe ser estrictamente
positivo.
La existencia y unicidad del nmero real asociado, es decir,
log b N , requiere una demostracin. Esta demostracin no es
trivial y la dejaremos pendiente para ms adelante .
Por otro lado, directamente de la definicin, se obtienen las dos

identidades siguentes:
b logb N = N ; log b b a = a , en particular, si a=1, log b b = 1
Propiedades Fundamentales de los logaritmos.
I. log b ( NM ) = log b N + log b M

II. log b a c = c log b a
log b N
III. log a N =
log b a
Estas propiedades se pueden demostrar, suponiendo vlidas las

tres propiedades fundamentales de las potencias y la existencia y
unicidad de los logaritmos:
I. b logb N + logb M = b logb N b logb M = NM = b logb NM
Por lo tanto, por unicidad, los exponentes deben ser iguales.

c
II. b c logb a = (b logb a ) c = a c = b logb a
Luego, igual que antes, los exponentes deben ser iguales
III. b log a N logb a = (b logb a ) log a N = a log a N = N = b logb N
23
Nuevamente, los exponentes son iguales y basta despejar log a N
para tener la frmula propuesta, conocida como Frmula de
cambio de base.
La base ms usada para calcular los logaritmos es la llamada base
natural, denotada por la letra e cuyo valor es e = 2.71828182.
aproximadamente. Ms adelante veremos porqu este nmero, que
es irracional, es base natural. Tambin se usa la base 10 , cuyos
logaritmos se suelen llamar vulgares. En rigor, no es necesario
el uso de distintas bases, con una sola basta. Aqu es necesario
tener cuidado con las notaciones: en la literatura matemtica el
logaritmo natural se denota simplemente por log, mientras que en
los libros tcnicos de ingeniera este logaritmo se denota por ln,
reservndose la notacin log para el logaritmo vulgar. En pocas
pasadas, antes del advenimiento de las calculadoras de bolsillo,
tena ciertas ventajas el uso de logaritmos vulgares, dado que
estamos acostumbrados al uso del sistema decimal. Pero hoy en
da no tiene justificacin alguna. Puesto que en matemticas no se
usa otra base, la notacin log no produce ninguna confusin.
Ejemplos
1. Un individuo pone $350.000 en un banco a 0.8% de inters

mensual. Suponiendo una tasa de inters constante en el
tiempo, cundo alcanzar $1.000.000?
La ecuacin a resolver es:
0.8 x
350.000(1 + ) = 1.000.000
100
Es decir, x log(1.008) = log(2.857) , x = 132meses = 11aos
aproximadamente.
2. Una plaga crece sostenidamente al 18% diario. En cunto

tiempo se duplica? Si en el instante inicial hay 18.000
individuos, cundo habr 1.000.000?
18 t log 2
N 0 (1 + ) = 2 N 0 , de donde t = = 4.19
100 log(1.18)
es el tiempo de duplicacin, independiente del valos del

tamao inicial de la poblacin N 0 . Para la segunda pregunta, se
24
18 t
plantea la ecuacin 18.000(1 + ) = 1.000.000 , lo que da un
100
tiempo de 24.27 das.
3. Un contaminante se degrada a un ritmo de 2% diariamente.

cundo se reduce a la mitad? cundo se reduce a la dcima
parte?
1
Para la primera pregunta, la ecuacin es: C (1 100
2 t
) =
C , cuya
2
solucin es, aproximadamente 34.3 das. Para la segunda, la
2 t 1
ecuacin es C (1 ) = C y su solucin 114 das.
100 10
1.8. - PROBLEMAS
1. Cierto istopo del Radio pierde 9.8% de la intensidad de

radiacin al ao. Si I 0 denota la intensidad original cul es la
intensidad despus de uno, dos y tres aos? Encuentre una
frmula para la intensidad I n despus de n aos. En cunto
tiempo la intensidad se reduce a la mitad?
2. El dimetro de una molcula de H 2 O es de 2.5 10 10 [m]

aproximadamente. En un mol de agua (18 gr.) hay 6.02 10 23
molculas (nmero de Avogadro). Si se pusieran en fila estas
molculas, qu tan larga sera la fila? sera ms larga que la
distancia de la Tierra al Sol ( 1.5 10 8 [ Km] ?
3. Un bilogo realiza cierto nmero de experimentos idnticos en

un tiempo determinado. Si hubiera hecho 10 experimentos
ms cada da, hubiera terminado su trabajo de investigacin
4,5 das antes de lo previsto pero si hubiese hecho 5
experimentos menos cada da habra tardado 3 das ms de lo
previsto. cuntos experimentos hizo y en cunto tiempo?
25
4. Una poblacin de insectos crece a una tasa per-cpita de 9%
diaria. Si el 30 de Septiembre satura un predio, en qu fecha
haba cubierto el 10% de dicho predio?
5. Una bacteria en un cultivo se duplica cada hora. Si N 0 es el

nmero inicial de bacterias cuntas habr en n horas?
cuntas horas se necesitan para que la poblacin alcance el
tamao N 1 ?
6. Calcule el tiempo de duplicacin de la poblacin mundial

suponiendo que la tasa neta de crecimiento per-cpita es de
1.58% anual.
7. El carbono 14 decae segn la ley:
At = A0 (0.5) 5.600
donde A0 es la masa inicial y At la masa en el tiempo t, medido

en aos. En la caverna donde se encontr al Hombre de Cro-
Magnon se encontr tambin carbn de una hoguera y su
anlisis determin que el 10% del carbono 14 original an
estaba presente. Qu edad tena la hoguera?
8. Mi hija tiene 17 aos de edad. Hace 15 aos quise poner cierta

cantidad de dinero a inters en el banco a su nombre para que
cuando cumpliera 21 aos pudiese comprarse un auto 0-Km.
La idea me pareci demasiado ambiciosa y no lo hice. Ahora
me arrepiento! Suponiendo que el inters mensual ha estado
en un 2.4% (en promedio) en todos estos aos, calcule cunto
dinero deb poner entonces (el auto eljalo Ud.). Cunto debi
ser el inters anual equivalente? Compare con las tasas
actuales de inters.
9. Una poblacin de protozoos crece en el da a una tasa per-

cpita de 12% y decrece durante la noche en un 8%. Si el 30
de Septiembre se censan 12.547 individuos (los cuales llenan
el recipiente que los contiene) En qu fecha ocupaban el 10%
del recipiente? Cuntos individuos haba el 18 de
Septiembre?
26
10. (*) Un individuo pide un prstamo de $C al banco a un plazo
de n meses, pagando la primera cuota un mes despus de
haber recibido el prstamo. Si las cuotas deben ser iguales y el
banco cobra justo lo que debe, cunto ha de ser el valor de su
cuota mensual?
1.9 .- ECUACIONES EN
En general, una ecuacin es un problema que consiste en

encontrar todos los elementos de cierto conjunto, que satisfacen
una relacin de igualdad dada. Es importante entender que una
ecuacin puede estar planteada en diferentes mbitos, que es el
conjunto donde se buscan las soluciones, y tener o no soluciones
segn el mbito de bsqueda prescrito. Por ejemplo, la ecuacin
2x 3 = 0
tiene una solucin (que es x=3/2 ) en Q, pero no tiene soluciones
en Z. La ecuacin
x2 +1 = 0
no tiene soluciones reales (puesto que los cuadrados de los
nmeros reales son siempre positivos) , pero tiene dos soluciones
en el campo de los nmeros complejos.
En nuestro caso, las ecuaciones estarn planteadas en los reales o

subconjuntos interesantes de nmeros reales. Se emplea
usualmente la letra griega x (primera letra de la palabra griega
, que significa desconocido, extranjero) para denotar al (o
los) nmeros reales que se buscan.
Por otro lado, resolver una ecuacin puede ser una cosa muy
difcil de hacer, por lo que a veces soluciones parciales del
problema pueden ser interesantes, por ejemplo demostrar la
existencia de una solucin (sin encontrar la solucin); encontrar al
menos una solucin, sin saber si son todas; encontrar soluciones
en algn mbito ms pequeo que el deseado, etc.
27
Finalmente, resulta importante en estos problemas el concepto de
valor absoluto o mdulo de un nmero real x, denotado por x y
definido por:
x, x 0
x =
x, x < 0
Introduciendo el concepto de signo de un nmero real:

1, x > 0
sgn( x) =
1, x < 0
El valor absoluto puede ser definido por la igualdad:
x = sgn( x) x
Notar que 0 no tiene signo.
Clasificando por casos, es fcil demostrar las relaciones

fundamentales siguentes:
x+ y x + y
xy = x y
Ejemplos
1. Resolver la ecuacin en :
x3 = 8
Aqu es necesario dividir la recta real en dos mbitos de bsqueda

diferentes:
Zona de bsqueda I: x 3 0 . La ecuacin en esta zona
es: x 3 = 8 y su solucin (nica) es x = 11 , que pertenece
a dicha zona.
Zona de bsqueda II: x 3 < 0 . La ecuacin en esta zona
es: x + 3 = 8 y su solucin (nica) es: x = 5 que
pertenece a la zona.
La Figura 1.1 muestra las zonas de bsqueda.
28
Figura 1.1
x + 1 = 2x 1
En este caso la recta real debe ser dividida en tres zonas:
Figura 1.2
En la zona I, la ecuacin es x 1 = 2 x 1 y su solucin

debera ser x = 0 que no est en la zona. Esto significa
que, en esta zona, la ecuacin no tiene solucin.
En la zona II, la ecuacin es x + 1 = 2 x 1 cuya solucin
es -2/3 que est en la zona.
En la zona III, la ecuacin es: x + 1 = 2 x + 1 y su solucin
es: x = 0 , que est en la zona.
29
La conclusin es que la ecuacin planteada tiene exactamente dos
soluciones: -2/3 y 0. En este caso tambin se dice que el conjunto-
2
solucin ( es decir, el conjunto de soluciones) es S = ,0
3
1 1
+ =0
x + x x +1
2
En este caso, el mbito de bsqueda ha de excluir x = 0 y x = 1 ,

pues la frmula que define la ecuacin no est definida para estos
nmeros. Sin embargo, un tratamiento descuidado y puramente
operacional puede conducir a soluciones errneas: pasando el
segundo sumando a restar:
1 1
=
x( x + 1) x +1
multiplicando por x + 1 a ambos lados:
1
= 1
x
y multiplicando por x a ambos lados, se llega a x = 1 .
Un estudiante descuidado se dar por satisfecho con este resultado
falso. Por otro lado, operando de otro modo, se puede llegar a
otras conclusiones: sumando ambas fracciones usando un
denominador comn, se tiene:
x +1
=0
x( x + 1)
y simplificando el factor x + 1 , se tiene
1
=0
x
finalmente, multiplicando por x a ambos lados , se llega a
1= 0
Se elimina la incgnita!. Antes de llegar a esta contradiccin es
1
preciso analizar la condicin anterior: = 0 no tiene solucin para
x
ningn nmero real.
La conclusin es que el conjunto-solucin es vaco: S = .
30
x
x + x = 2x + x
x
En este caso, la restriccin al mbito de bsqueda debe ser x > 0

x
Simplificando las x y reconociendo que = x , se llega
x
finalmente a
x=x
Si se cancela la x, nuevamente se ha eliminado la incgnita, pero
esta vez queda 0 = 0. Al interpretar este resultado, se llega a la
conclusin que todos los nmeros reales (que cumplen la
restriccin) son solucin de la ecuacin . Se tiene entonces que el
conjunto solucin es S = {x : x > 0}. La ecuacin tiene, pues,
infinitas soluciones.
x 2 3x + 2 = 0
Recordando una frmula muy usada en la enseanza media:

(3) 3 2 4 2 1
x= =
2 2
Pero de donde sale esta frmula? Cmo sabemos que es
correcta?bajo qu condiciones proporciona efectivamente las
soluciones de la ecuacin?
Usando solamente las reglas del lgebra de los nmeros reales que
hemos visto y suponiendo la existencia de races cuadradas de
nmeros positivos, el polinomio cuadrtico general se puede
factorizar:
b + b 2 4ac b b 2 4ac
ax 2 + bx + c = a ( x )( x )
2a 2a
Pero esta factorizacin solo es posible si acaso el llamado
discriminante: = b 2 4ac es positivo (o nulo).
Puesto que el cuerpo de los nmeros reales no tiene divisores de
cero, alguno de los factores debe anularse, lo que provee las dos
31
soluciones que se obtienen con la frmula anterior y ,adems,
demuestra que no hay otras soluciones posibles.
6. Resolver la ecuacin en los reales:
x2 + x +1 = 0
Usando la frmula anterior, nos encontramos con un discriminante

negativo: = 3 . Qu significado tiene esto? Desde luego, la
factorizacin anterior no es posible, pero no hay otra?, no habr
algn otro nmero real que sea solucin de esta ecuacin?. La
respuesta a estas preguntas es negativa, pero Cmo demostrarlo?
Hay una forma sencilla de hacerlo: vamos a plantearlo en general:
Sea b 2 4ac < 0 ; demostraremos que ax 2 + bx + c nunca es

nulo, es decir, no se anula para ningn nmero real x. Como
b c
a 0 , podemos factorizar: a ( x 2 + x + ) y vemos que la
a a
2
b c
condicin b 4ac < 0 es equivalente a: 4 < 0
2
a a
Cambiando de nombre los coeficientes, basta demostrar entonces
que el polinomio de la forma x 2 + bx + c 0 , si b 2 4c < 0 , o
b2
sea si c > 0 . Pero por el mtodo de completacin del
4
cuadrado, se tiene:
b b2
x 2 + bx + c = ( x + ) 2 + c >0
2 4
En particular, hemos demostrado que , si b 2 4c < 0 , entonces
x 2 + bx + c > 0, x \ .
7. Resolver la ecuacin en los reales:
2x 2 2 = x 1
Aqu la tcnica usual es elevar a ambos lados al cuadrado:

2x 2 2 = x 2 2x + 1
32
Lo que nos d la ecuacin cuadrtica: x 2 + 2 x 3 = 0 , cuyas
soluciones son: 1 y -3. Llegado a este punto un estudiante
descuidado se dara por satisfecho: la ecuacin tiene dos
soluciones. Sin embargo, si uno substituye el nmero -3 en la
ecuacin, resulta 16 = 4 , lo que es falso. Qu ha ocurrido?
La explicacin es que al elevar al cuadrado se pueden ganar
soluciones que no son tales. El razonamiento es el siguiente: los
nmeros reales x que satisfacen la primera ecuacin, deben
satisfacer la segunda, pero no al revs. Dos nmeros reales
distintos pueden tener el mismo cuadrado.
8 x 5 n + 3x 3n = 0
donde n Z . En este caso n es un parmetro entero, es decir, un

nmero entero fijo. El problema aqu no es una ecuacin, sino una
familia infinita de ecuaciones, una por cada valor que se le d al
parmetro n. Habr por lo tanto distintos conjuntos-solucin,
segn sea el valor del parmetro. Factorizando por x 3n , se tiene:
x 3n (8 x 2 n + 3) = 0
Luego, habr dos familias posibles de soluciones: x 3n = 0 , o bien:

8 x 2 n + 3 = 0 . Aqu hay que hacer ya una discusin segn el valor
del parmetro:
n = 0 : entonces claramente no hay solucin: S =
n > 0 : x 3n = x.x.....x = 0 , luego x = 0 es solucin. La otra
3
familia : x 2 n = no d soluciones pues 2n es par.
8
n < 0 : podemos poner n = m , con m N . La primera
1
familia: x 3n = x 3m = 3m = 0 no d soluciones. La
x
1 3
segunda: x 2 n = x 2 m = 2 m = tampoco.
x 8
33
Figura 1.3
En la figura 1.3 se esquematizan las soluciones en el espacio de

parmetros.
2
log b x = log b 27 + 2 log b 2 log b 3
3
Aqu la base de los logaritmos es el parmetro. Veremos si las

soluciones de la ecuacin dependen del parmetro. El miembro
derecho se simplifica:
2
( )
(27) 3 2 2
log b = log b 12
3
Igualando ambos miembros, se obtiene x = 12 , nica solucin.
log 4 2
x
+ log 2 x 2 log 1 2 x = 0
log 2 x 2 2
En este caso la incgnita est en la base de los logaritmos. La

ecuacin parece tremebunda pero no lo es: est arreglada para ser
resuelta fcilmente. Primero que nada es conveniente establecer
las restricciones implcitas :
x>0
34
1
4 x 1 , luego x
16
1
2 x 1 , luego x
2
Cambiando toda la ecuacin a base 2:

log 2 2 log 2 2 x log 2 2 log 2 2 x
+ =0
log 2 4 x log 2 2 log 2 x log 1
2 2
2
Simplificando, la ecuacin queda:
log 2 2 x = log 2 4 x
Por lo tanto: 2 x = 4 x , es decir x 2 = 4 x , de donde: x = 0 , que
no es posible o bien x = 4 que si es posible. Luego, el conjunto
solucin es simplemente S = {4}
3 2 x 5 6 x 7 = 9 x 2 71 x
Aplicando logaritmo en alguna base prctica (e o 10), se tiene:
2 x log 3 + (6 x 7) log 5 = ( x 2) log 9 + (1 x) log 7
De donde, despejando la x se tiene:
57 7
log( )
x= 9 2 8.8 0.76
log(5 6 7) 11.6
1.10 .- PROBLEMAS
1. Resolver y discutir las siguientes ecuaciones en :
x + 2 x = x + x 1 2
35
x 1
=0
x x
( x + 1) 2 x 2 = 2 x 1
1 + 2x = 2 + x 2
2+ x = x
2. Resolver y discutir, segn los valores de los parmetros,

las ecuaciones en :
m 1 2
=
x m m
x2 x a = 0
x 2 p + 2x p 3 = 0
x 7 n 2 x 9 n = 0 , donde n Z
3. Resuelva y discuta las ecuaciones en :
1
x2 + x =
4
x 2 = x +1
x 2 3x x = 0
3x + 2 + x 3 4 = 0
1 1
+ 4=0
x+5 x+3
x px 1 = 0 , donde p
4. Resuelva las ecuaciones en :
35 x 5 2 x 4 = 15113 x
x
x2
17 2 = 4913
log x 3 + log 2 x 2 = 1
log 2 x 2 log x 2 2 = 1
ln(2 x 3 x ) = 1
2
36
5. Resuelva las siguientes ecuaciones en :
log x (1 + x) = 1
log x (1 + x) = 2
37
1.11.- PROBLEMAS ELEMENTALES CON EL ORDEN DE
Hasta ahora hemos trabajado solamente con la estructura de cuerpo de

, es decir, usando solo sumas y productos. Pero una caracterstica
esencial de las cantidades es el poder compararlas unas con otras, poder
establecer que ciertas cantidades son ms grandes o ms pequeas que
otras. Un problema prctico, que requiere un anlisis que todava no
hemos hecho es el siguiente:
Un agricultor necesita aplicar cierto insecticida para controlar cierta

peste y sabe que las normas para la comercializacin de su producto
exigen como mximo un 0.001% de presencia del pesticida en el
producto. Por otro lado tambin sabe que el pesticida se degrada en un
15% diariamente. La pregunta es: cuntos das, como mnimo, antes de
la cosecha deber realizar su ltima aplicacin de pesticida?
Si llamamos x a este nmero de das, la condicin que debe cumplirse
es:
15 x 0.001
(1 ) <
100 100
Se trata, pues, no de una ecuacin, sino de una inecuacin. Para

resolverla, aplicamos un logaritmo (por ejemplo, el natural) a ambos
lados de la desigualdad:
x log(0.85) < log(0.00001)
de donde:
log(0.00001)
x> = 70.8
log(0.85)
Notar que log(0.85) es un nmero negativo, por lo que la desigualdad se

invierte. El agricultor deber tomar como mnimo un resguardo de 70.8
das, o sea casi dos meses y medio sin aplicar pesticida antes de la
cosecha.
Aqu es importante destacar, desde el punto de vista matemtico, que se

ha supuesto que el logaritmo respeta el orden. ser siempre as?
Todos los logaritmos , de cualquier base, respetan el orden? .
Para contestar a esta pregunta, empecemos por demostrar :
0 < a < b a n < b n , para todo n, nmero natural no nulo.
38
Sea 0 < a < b . Multiplicando por a y despus por b a ambos
lados de la desigualdad, se obtiene : a 2 < b 2 (este resultado ya
lo habamos obtenido antes). Repitiendo este mismo
procedimiento con la desigualdad obtenida, se logra: a 3 < b 3 ,
y si lo volvemos a hacer una y otra vez, se obtiene
efectivamente : a n < b n . Este procedimiento se denomina
induccin finita y ser discutido en forma ms precisa y
detallada ms adelante.
Sea ahora a n < b n . La siguiente factorizacin es muy fcil de
verificar:
b a n = (b a )(b n 1 + b n 2 a + b n 3 a 2 + ... + ba n 2 + a n 1 )
n
Se sigue de aqu que, puesto que el miembro izquierdo de la

igualdad es positivo y que es segundo factor del miembro derecho
de la igualdad tambin es positivo, el primer factor tambin debe
serlo, es decir: b a > 0 , o sea a < b .
De lo anterior se sigue tambin que :
0 < a < b n a < n b , para todo n, nmero natural no nulo.
En efecto, la implicacin de derecha a izquierda se obtiene

simplemente elevando a la potencia n y aplicando el resultado
anterior. Para la implicacin de izquierda a derecha, supongamos
que n a n b : nuevamente elevando a la potencia n se llega a la
contradiccin a b .
Con este resultado, podemos generalizar la propiedad a los

nmeros racionales positivos :
p p
p
0<a<ba 0
q
p p
Sea 0 < a < b , supongamos que a q b q . Basta elevar a

la potencia q para llegar a a p b p y aplicando la raz p-
sima, a b , que contradice la hiptesis.
39
Para la implicacin de derecha a izquierda, basta elevar a q
y aplicar raz p-sima.
Estos resultados, sin embargo, son todava insuficientes: deseamos

extender estas desigualdades a potencias reales cualquiera. Para
esto aceptaremos el siguiente resultado:
bx 1
x, y , x < y x
b > b ,0 1

x< y b
log b x > log b y, b < 1
En efecto, si suponemos que log b x log b y , con b>1, entonces

se tendra, elevando la base b al logaritmo respectivo, segn el
resultado que hemos aceptado, x = b logb x b logb y = y , lo que
contradice la hiptesis. De modo similar se procede en el caso
b<1.
a x 0
0<a b , x < 0
x
Esto se demuestra de modo similar a la propiedad anterior. En

efecto, supongamos que a x b x , con x > 0 . Aplicando logaritmo
natural (cuya base es mayor que 1), se tendra x log a x log b ,
que, simplificando por x que es positivo, conduce a log a log b ,
y, finalmente, elevando a la potencia de base natural e se obtiene:
a = e log a e log b = b , lo que contradice la hiptesis. Del mismo
modo se procede para el caso x < 0 .
40
1.12 INECUACIONES EN
Una inecuacin en es un problema, que consiste en hallar

todos los nmeros reales, tomados de cierto conjunto, que
satisfacen una relacin de desigualdad dada. Las inecuaciones
tambin se plantean en mbitos determinados, tal como las
ecuaciones. En este caso, sin embargo, es necesario que el espacio
donde se plantee la inecuacin posea la estructura de orden
apropiada. Nosotros trabajaremos en el conjunto de nmeros
reales, cuya estructura de orden es la de un cuerpo ordenado, que
adems satisface el axioma del supremo, que es el que nos
permitir fundamentar las operaciones y propiedades de potencias,
races y logaritmos.
Ejemplos
1.Resolver la inecuacin en :
2 x + 3 < 5x + 1
Sumando a ambos lados 2 x 1 y dividiendo por 3, es decir,

1 2
multiplicando por , resulta: x > , es decir, el conjunto
3 3
solucin es:
2
S = x : x >
3
Aqu conviene establecer el concepto de intervalo :
[a, b] = {x : a x b} : intervalo cerrado

]a, b[ = {x : a < x < b} : intervalo abierto
]a, b] = {x : a < x b} : intervalo semicerrado
[a, b[ = {x : a x < b} : intervalo semicerrado
Tambin a estos dos ltimos se les denomina semiabiertos.
Los siguientes se llaman intervalos impropios, infinitos o
degenerados:
41
]a, [ = {x : a < x}
] , b[ = {x : x < b}
[a, [ = {x : a x}
] , b] = {x : x b}
2
En nuestro ejemplo, el conjunto-solucin es el intervalo ,
3
2. Resolver la inecuacin en :
x + 5 x2 4
Aqu es necesario observar que las frmulas que aparecen en la
inecuacin no estn definidas para cualquier nmero real: existen
restricciones implcitas que es necesario explicitar para
determinar cul ser nuestro mbito de bsqueda de soluciones:
es necesario que se cumpla: x 2 4 0 . Luego es preciso resolver
previamente la inecuacin x 2 4 0 para saber dnde buscar
soluciones del problema planteado. Factorizando el polinomio
cuadrtico, se tiene la condicin: ( x 2)( x + 2) 0 .Hay, entonces
dos alternativas: que ambos factores sean positivos (es decir, si
x 2 ) o ambos negativos (o sea, si x 2 ). Por lo tanto nuestro
mbito de bsqueda ser:
] ,2] [2, [
Ahora, vamos a la inecuacin: aqu es necesario distinguir dos
casos:
x + 5 0 : aqu la inecuacin se cumple, pues las races
cuadradas son siempre positivas, luego x 5 , que se
encuentra en el mbito de bsqueda, por lo tanto, el intervalo
] ,5] es ya parte de la solucin del problema.
x + 5 0 : aqu podemos elevar al cuadrado, es decir, si
la inecuacin se cumple, la desigualdad de los cuadrados debe
tambin cumplirse: x 2 + 10 x + 25 x 2 4 , cancelando x 2 ,
29
restando 25 y dividiendo por 10, se tiene: x = 2.9 ,
10
que tambin se encuentra en el mbito de bsqueda, luego, el
intervalo [ 5,2.9] es tambin solucin del problema.
42
La solucin completa de la inecuacin ser la unin de ambas
soluciones parciales:
] ,5] [ 5,2.9] = ] ,2.9]
x 2 + 2 x <1
Aqu las restricciones implcitas son: x 2 x 2 , luego el mbito

de bsqueda se reduce a {2}. Es solucin x=2? Claro que lo es,
luego el conjunto solucin de esta inecuacin es simplemente S= {2}.
Este ejemplo es una muestra drstica de que, antes de empezar a
operar , conviene sencillamente pensar.
2 x + 1 3x + 1
Aqu es necesario dividir la recta real en dos zonas:
1
x : aqu la inecuacin es: 2 x 1 3x + 1 , es decir, 5 x 2 ,
2
2
o sea x , que no est dentro del intervalo de bsqueda.
5
1
x > : donde la inecuacin es : 2 x + 1 3 x + 1 , que nos dice
2
x 0 . Por lo tanto, el conjunto-solucin es S = [0, [
x +1 < x 1 +1
En este caso no hay restricciones implcitas, pues la cantidad sub-

radical es siempre positiva. Pero hay que estudiar la inecuacin en
tres zonas:
43
x 1 : aqu la inecuacin se cumple, pues la raz es siempre
estrictamente positiva.
1 < x 1 : podemos elevar al cuadrado y la inecuacin

queda: x 2 + 2 x + 1 < x + 2 , es decir, x 2 + 3 x 1 < 0 .
3 13 3 + 13
Factorizando, se tiene <x< . Notar que
2 2
el nmero a la derecha es menor que 1
x > 1 : elevando al cuadrado, se tiene x 2 + 2 x + 1 < x , es

decir: x 2 + x + 1 < 0 . Pero el discriminante de este polinomio
cuadrtico es negativo, luego, se trata de un polinomio
irreducible, es decir, sin races reales, por lo tanto tiene
siempre un solo signo, que es positivo pues su valor en x = 0
es 1. Luego, en esta zona no hay soluciones.
Uniendo las soluciones encontradas se obtiene el conjunto

solucin de la inecuacin:
3 13 3 + 13 3 + 13
S= ] ,1] , = ,
2 2 2
+4 x2
1
2
ex
En este caso basta aplicar el logaritmo natural a ambos lados de la

desigualdad y recordar que, como la base es mayor que 1, este
logaritmo respeta el orden:
( x 2 + 4 x 2) log e log(1)
es decir, x 2 + 4 x 2 0 . Factorizando el polinomio cuadrtico, se
obtiene: ( x 2 + 6 )( x 2 6 ) 0 , luego, la solucin es:
[
2 6 x 2 + 6 , es decir S = 2 6 ,2 + 6 . ]
44
log 3 (log 1 ( x 2 2)) < 0

2 4
Hay aqu dos restricciones:
] [ ]
x 2 2 > 0 : por lo tanto: x , 2 2 , [
log 1 ( x 2 2) > 0 . Como la base del logaritmo es menor que 1,
4
la desigualdad se invierte: x 2 2 < 1 , es decir, 3 < x < 3
]
Luego, el mbito de bsqueda ser: 3 , 2 2 , 3 . [ ] [
Recin ahora podemos abordar la inecuacin: siendo la base del
logaritmo exterior mayor que 1, la desigualdad se mantiene,
luego: log 1 ( x 2 2) < 1 y aplicando ahora la potencia respectiva,
4
1 9
con la base menor que 1, se tiene: x 2 2 > , o sea x 2 > , por
4 4
3 3
lo tanto, puesto que 3 < < 2 y que 2 < < 3 , se
2 2
tiene finalmente la solucin de la inecuacin:
3 3
S = 3 , , 3
2 2
8. Resolver la ecuacin: x a + a 2 x = 1
Puede parecer extrao que aparezca aqu una ecuacin, ms
an, una de apariencia sencilla. En realidad no se trata de una
ecuacin, sino de una familia infinita de ecuaciones, una por cada
valor que tome el parmetro a . El problema consiste en clasificar
todas las posibles soluciones segn sea a . Este problema de
clasificaciones nos conducir a ecuaciones e inecuaciones.
Un anlisis preliminar, de carcter exploratorio, nos indica que
aparecer el factor a 2 1 , y por lo tanto conviene separar el
conjunto de valores del parmetro en tres zonas, separando
tambin los valores lmites:
Zona I : a < 1 . Debemos ahora buscar soluciones de la
ecuacin en dos zonas : x a , donde la ecuacin es:
45
1 a
x + a + a 2 x = 1 , es decir : x = . Pero para que la
a2 1
solucin est en la zona de bsqueda, se debe cumplir que
1 a
x= 2 a , o sea, puesto que, por la hiptesis sobre a:
a 1
a 2 1 > 0 , la condicin es 1 a a 3 a , es decir, 1 a 3 , lo
que no es posible, pues a es negativo. Luego, en la zona x a
la ecuacin no tiene soluciones. Sea ahora x > a : la ecuacin
1+ a
ser x a + a 2 x = 1 , o sea x = que debe ser mayor que
1+ a2
1+ a
a, o sea: > a , es decir: 1 + a > a + a 3 , lo que se cumple
1+ a2
pues a es negativo. La conclusin es que en la zona I para el
1+ a
parmetro a solo hay una solucin y esta es : x1 =
1+ a2
Valor lmite a = 1 . En este caso la ecuacin es
x + 1 + x = 1 . Si se busca en la zona x 1 , la ecuacin es
x 1 + x = 1 que no tiene solucines. En la zona x > 1 , la
ecuacin es x + 1 + x = 1 , cuya solucin es : x 2 = 0 . Ntese
que la frmula dada para x1 tambin sirve para el caso a = 1
Zona II: 1 < a < 1 . Para x a la ecuacin es:

1 a 1
x + a + a 2 x = 1 , luego: x = 2 = que debe ser
a 1 a +1
menor o igual que a, es decir, a 2 + a + 1 0 , lo cual siempre
1
se cumple. Por lo tanto x3 = es solucin en esta zona.
a +1
Para x > a , la ecuacin es x a + a 2 x = 1 , cuya solucin
1+ a
x= debe ser mayor que a, o sea 1 + a > a + a 3 ,
1+ a 2
condicin que, esta vez, se satisface. Luego, en esta zona hay

1+ a
otra solucin que es: x1 =
1+ a2
Valor lmite a = 1 . La ecuacin es: x 1 + x = 1 . Si se
busca en x 1 , resulta la ecuacin x + 1 + x = 1 que se
cumple siempre, es decir, el conjunto solucin es S = [1, [
46
Si buscamos soluciones en x > 1 , la ecuacin ser x 1 + x = 1 , o
sea x = 1 que no cumple la condicin. Por lo tanto, para este valor
de parmetro, hay infinitas soluciones y el conjunto solucin es
S = [1, [
Zona III : a > 1 . Buscamos primero en x a , donde la ecuacin
1
nos d por solucin: x3 = , que debe ser menor o igual
a +1
que a, lo cual se cumple. Buscando en x > a , la ecuacin nos
1+ a
d por solucin x = que debe ser mayor que a, lo cual
1+ a2
no se cumple. Por lo tanto, en esta zona del espacio de
parmetros tenemos una nica solucin que es x3
La Figura 1.4 muestra un esquema de las soluciones a lo largo de

la recta que representa la totalidad de valores de parmetros.
Figura 1.4
1.13 PROBLEMAS
1. Resolver las inecuaciones en :
2x x 2 + 1
x x + x 1+ x
+x<
1+ x 2
1+ 1+ x2
47
x+x x
x x + x 2x
1+ x
1 x+x x
+x>
x 1+ x
2x + 2x 2x
x 2 + 1 + 2x
1 + 2x
x 1 < 2x 2 1 + 2
x 1 < 2x 2 1 + 2
x 1 < 2x 2 1 + 2
2. Resolver y discutir (segn los valores de los parmetros) las

inecuaciones siguientes:
x1+ log a x > a 2 x

log b (1 x + 2 ) 1
x logb x < x
log b (1 ax + 2 ) 1
x2 p + x = 0
x 2 px 1 = 0
3. Resolver las inecuaciones:
log 1 (log 4 ( x 2 5) > 0

3
log 3 ( x 2 5 x + 6) < 0
log 1 ( x 2 5 x + 6) < 0
3
log x (1 + x) < 1
4. Un granjero dispone de A metros de un plstico especial de 80cm

de ancho para cubrir las paredes de un abrevadero circular
(cilndrico) El abrevadero debe tener al menos una capacidad de B
48
litros. Discuta las soluciones posibles. Si A=20 , podr tener 2.500
litros de capacidad?. Ample su estudio considerando otras formas
posibles del abrevadero (cuadrada, rectangular, etc.)
5. La tasa de crecimiento de cierta bacteria en estudio se ha estimado

en algo mayor que 23% diario. Un experimento es iniciado con 40
bacterias pero se necesitan al menos 13.000 para llevar a cabo el
estudio. Cuntos das de crecimiento de la poblacin aseguran
que el experimento puede ser realizado?
1.14 SISTEMAS DE ECUACIONES E INECUACIONES
Los problemas de la vida real rara vez se pueden plantear a travs

de una sola condicin y una sola incgnita. En general habr
varias incgnitas y varias condiciones que deben cumplirse. Se
habla de un sistema de ecuaciones, si todas las condiciones que
aparecen son ecuaciones, las cuales deben cumplirse
simultneamente, es decir, sern soluciones del sistema aquellos
sistemas de nmeros (pares, tros, etc. segn sea el nmero de
incgnitas) que satisfacen a la vez todas las igualdades. Tambin
pueden plantearse sistemas de inecuaciones, donde las
condiciones a satisfacer son inecuaciones y finalmente, sistemas
mixtos, donde aparecen tanto ecuaciones como inecuaciones.
Estos ltimos aparecen raramente en la literatura, a pesar de ser
bastante importantes en la resolucin de problemas prcticos:
muchas veces se buscan soluciones de sistemas de ecuaciones que
deben adems cumplir otras condiciones , por ejemplo, ser
positivas para que tengan sentido en el modelo: el sistema se
transforma entonces en un sistema mixto.
Ejemplos
1. Resolver el sistema de dos ecuaciones y dos incgnitas:
2x y = 1
x+ y =0
49
sumando ambas ecuaciones, se elimina la incgnita y y queda
1
una ecuacin muy simple para x cuya solucin es x = ,
3
1
reemplazando en la segunda ecuacin, resulta y = . Luego, el
3
1 1
conjunto solucin del sistema es S = ,
3 3
2. Resolver el sistema:
2x y = 1
x+ y =0
1
x =0
3
Notar que el sistema tiene dos incgnitas y tres ecuaciones, pero

su solucin es exactamente la misma que en el ejemplo anterior.
3. Resolver el sistema:
2x y = 1
Aqu se trata del caso lmite de un sistema de una ecuacin

con dos incgnitas. El conjunto solucin es, desde luego
infinito :
S = {( x, y ) : y = 2 x 1}, que puede ser descrito
geomtricamente como el conjunto de puntos en el plano que
satisfacen la ecuacin de la recta y = 2 x + 1
Hemos puesto estos ejemplos extremadamente sencillos para

enfatizar que un sistema de ecuaciones no tiene porqu tener el
mismo nmero de ecuaciones que de incgnitas. Por otro lado,
una solucin de un sistema de dos incgnitas ser una pareja de
nmeros reales. Si se trata de un sistema de tres incgnitas, una
solucin ser un tro de nmeros reales.
50
4. Resolver el sistema mixto:
x + y2 = 0
x y = 2
x+20
Reemplazando x = y 2 en la primera ecuacin, resulta la

ecuacin de segundo grado: y 2 + y 2 = 0 , cuyas
soluciones son : -2 y 1, luego los posibles valores de x sern:
x = 4; x = 1 , pero solamente x = 4 satisface la condicin
de desigualdad. Por lo tanto, el conjunto solucin es:
S = {( 4,2)}
log a x log a 1 + y 0
2 xy 1 = 1
En primer lugar es conveniente observar las restricciones

implcitas de este sistema:
a > 0; a 1; x > 0; y 1
La relacin de igualdad se puede resolver aplicando un logaritmo:
se tiene: xy = 1 , por lo tanto, en particular x e y deben tener el
mismo signo y como x debe ser positivo, y tambin. El conjunto
de parejas que satisface esta condicin puede ser dibujado en el
plano (se trata de un trozo de hiprbola). Ver Figura 1.5.
Para analizar la relacin de desigualdad tenemos que distinguir
dos casos:
i) a > 1 : En este caso la desigualdad es
log a x log a 1 + y
por lo tanto, puesto que este logaritmo respeta el orden:
x 1 + y = 1 + y , puesto que y > 0
51
Luego, en este caso la solucin es S = {( x, y ) : y x 1 xy = 1},
1
o bien describindola solo en trminos de x , y = x 1 , de
x
1 5 1+ 5
donde x 2 x 1 0 , es decir: x , pero como x
2 2
debe ser estrictamente positivo, la solucin puede ser descrita por:
1+ 5
S = ( x, y ) : y = 0 < x
1

x 2
ii) a < 1 : en este caso el logaritmo invierte las desigualdades,

luego: x 1 + y = 1 + y , luego, haciendo el mismo
clculo anterior, la solucin es:
1 1+ 5
S = ( x, y ) : y = x
x 2
Figura 1.5
52
x+ y +x<2
x y + y =2
Tanto la ecuacin como la inecuacin dependen de los signos de

la suma y la diferencia de las incgnitas, por lo tanto es necesario
dividir el espacio de bsqueda ( que en este caso tiene la
representacin geomtrica de un plano) en cuatro partes (ver
Figura 1.6):
Figura 1.6
i) Zona I: x + y 0 x y 0 . En este caso la ecuacin es

x y + y = 2 , es decir x = 2 . La inecuacin es
x + y + x < 2 , por lo tanto y < 2 , que est fuera de la
zona I. Por lo tanto aqu no hay soluciones: S1 = .
ii) Zona II : x + y 0 x y 0 . En este caso la ecuacin es
x + y + y = 2 , lo que nos d los puntos de la recta de
1
ecuacin y = x + 1 . La inecuacin es x + y + x < 2 , lo
2
53
que nos d, reemplazando el valor de y , la condicin:
2
x < . Luego, en esta zona la solucin es:
5
2
S 2 = ( x, y ) : y = x + 1, x <
1 2
2 3 5
iii) Zona III: x + y 0 x y 0 . Aqu la ecuacin nos da la

misma recta que en el caso anterior , pero la inecuacin
nos da la condicin x > 6 . Luego, la solucin en esta
2
zona es S 2 = ( x, y ) : y = x + 1, 6 < x <
1
2 3
iv) Zona IV : x + y 0 x y 0 . Finalmente en esta zona
se puede demostrar que no hay soluciones: S 4 = .
Luego, la solucin del problema es:

2
S = S1 S 2 S 3 S 4 = ( x, y ) : y = x + 1,6 < x <
1
2 5
7. Dos obreros, trabajando juntos, siempre logran terminar el
trabajo asignado en las 8 horas del da de trabajo. Pero saben que,
el ms joven trabajando solo necesita 12 horas menos que el ms
viejo. Un da el viejo se enferm: cuntas horas extraordinarias
deber pedir, por lo menos, el joven para hacerlo solo?
En este tipo de problemas lo que causa dificultad es identificar

aquello que se suma si trabajan ambos obreros juntos: llamemos x
al nmero de horas que el trabajador ms joven necesita para
completar el trabajo solo , y , al nmero de horas que necesita el
ms viejo. Sea T el trabajo total a realizar (puede ser cierta
cantidad de metros de muralla, cierta cantidad de tierra a remover
etc.) La fraccin del trabajo que realiza el ms joven en una hora
T T
ser entonces , mientras que ser la fraccin del trabajo que
x y
el viejo realiza en una hora: estas son las cantidades que se deben
sumar. Corresponde al rendimiento de cada trabajador, es decir, al
trabajo realizado por hora. En una hora ambos trabajadores juntos
T T
realizarn la fraccin + del trabajo total. Aqu se est
x y
54
suponiendo que el proceso es lineal, es decir, la cantidad de
trabajo realizado es simplemente proporcional al tiempo empleado
(no hay fatiga, cansancio, baja del rendimiento despus de la
colacin etc.) Adems se supone que los rendimientos
efectivamente se suman, es decir no se consideran efectos de
sinergia ni de estorbo mutuo por trabajar juntos. La hiptesis
principal del problema es :
T T
8( + ) T
x y
es decir, ambos trabajadores terminan el trabajo en 8 horas. La
segunda hiptesis es: x = y 12 . Desde el punto de vista
matemtico se trata de un sistema mixto: una ecuacin con una
inecuacin. Introduciendo la y despejada de la ecuacin en la
T T
inecuacin, resulta : 8( + ) T , que, simplificando por T
x x + 12
y tomando en cuenta que x es positivo, es equivalente a la
inecuacin cuadrtica: x 2 4 x 96 0 , cuya solucin es
8 x 12 . Por lo tanto, el joven necesita menos de 12 horas
para hacer el trabajo solo y necesitar, por lo tanto a lo ms, 4
horas extra.
1.15. PROBLEMAS
1. Resolver el sistema y representar grficamente el

conjunto solucin:
x2 y2 = 0
2x + y = 2
y0
2. Resolver el sistema y representar grficamente el conjunto

solucin:
55
1
( x + y) = 2
x
( x + y )3 x = 279936
2. Resolver el sistema de ecuaciones y analizar segn los

parmetros:
xa = yb
x log x
log( ) =
y log y
log x y log y x = 0
2 x+ y 2

log(2 x 1) log( x 2 1) = 0
x2 2 0
x + y + z =1
x+ y < z
xz < y
.
7. 6. Resolver el sistema y discutir sus soluciones segn los valores de

los parmetros :
56
x 2 + y 2 = 0
xy > 0
7. Resolver el sistema de inecuaciones:
x y + x 1
x + y + y 1
8. Resolver el sistema mixto y discutir segn los valores de los

parmetros:
log sen x a + log a (sen x) = 2

log a x < 1
9. Resolver el sistema mixto y discutir segn parmetros
x 2 + y 2 = 1
xy > 1
10. Para cargar un barco standard se emplean 4 gras de alto

rendimiento (tipo A) y dos de menor rendimiento (tipo B) y el
trabajo se realiza sin problemas en 4 horas y media. Un da las dos
gras B llegaron 2 horas atrasadas y despus de 5 horas an el
barco no estaba cargado. El encargado de puerto quiere saber, con
esos datos, cul es el mnimo de tiempo que necesita una gra sola
del tipo A para cargar el barco.
11. Un recipiente cnico para cierto cido altamente txico tiene

500[l] de cido y su nivel est justo a la mitad (el vrtice del cono
apunta hacia abajo). Se le agregan poco ms de 100 [l] ms y el
57
nivel sube unos 10 [cm] . Cul debe ser la altura mnima del
recipiente para que al llenarse no se derrame una gota de cido?
12. Un bus de lnea parte de A a las 5AM. hacia B, situado a 1080

[Km] de distancia. A las 8AM sale un bus de B hacia A y los
choferes han acordado reunirse en una hostera situada justo en la
mitad del camino. El chofer que sali atrasado le pone, por lo
menos, unos 15 km/hora ms de la velocidad usual de los buses.
A qu horas, como mnimo, se encontrarn los choferes?
58
CAPTULO 2: FUNCIONES Y RELACIONES
2.1.- DEFINICIN Y EJEMPLOS.
El concepto de funcin es, sin duda, uno de los ms importantes y

bsicos en la matemtica. Este concepto se propone modelar
matemticamente una serie de fenmenos donde una cierta cantidad
depende de otra, o, ms general an, donde cierto objeto depende de
otro. Histricamente se habl de dos cantidades variables: una que se
llam variable independiente y otra, precisamente por depender de la
primera, que se llam variable dependiente. Por ejemplo el volumen
de una esfera y su radio: el volumen depende del radio. El nmero que
representa al volumen sera la variable dependiente y el que representa
al radio, la variable independiente. En el lenguaje coloquial tambin se
dice que el volumen es funcin del radio . En fsica muchas veces es el
tiempo la variable independiente: la posicin de un punto material en
movimiento en el espacio, que ya no se puede describir por un solo
nmero sino, al menos, por tres, depende del instante en que se
observa, o sea, se dice, es funcin del tiempo. Y aqu surge la primera
paradoja del lenguaje: que tal si el punto material est en reposo, es
decir, no se mueve: entonces nuestra variable dependiente no es
variable, no cambia, es constante. Nuestro modelo matemtico tendr
que dar cuenta de estas variables que no varan.
Al generalizar un poco este tipo de fenmenos, se debe abarcar
tambin el de correspondencia: a cada libro de la biblioteca le
corresponde su nmero de pginas, a cada individuo le corresponde su
edad. En este caso, la variable independiente es el libro de la biblioteca
y la variable dependiente es el nmero de pginas, mientras que en el
segundo caso la variable independiente es el individuo y la variable
dependiente la edad. Aqu se ha hecho corresponder un nmero a un
objeto que no es un nmero. El fenmeno puede ser al revs:
supongamos que se rotulan los libros de la biblioteca con nmeros
naturales: entonces a cada nmero le corresponder un objeto que no
es un nmero, sino, a saber, el libro que tiene ese rtulo.
Fue Leibnitz en 1673 quien introdujo por primera vez el concepto de
funcin en matemticas, como una frmula algebraica que permite
asociar a cada nmero x (tomado de cierto conjunto determinado) otro
nmero. Pero fue Leonhard Euler quien, un siglo despus, introdujo la
notacin que se conserva hasta el da de hoy: y = f (x) . La letra y
59
denota la variable dependiente, mientras que la x denota la variable
independiente. El problema con esta concepcin de funcin es que no
permite generalizaciones importantes, asociaciones que no se obtienen
mediante frmulas algebraicas. Michael Spivak d un ejemplo
divertido: propone la funcin que a cada nmero real x se asocia como
f(x) el nmero de sietes que posee el desarrollo decimal de x, si ste es
finito, y el nmero si es infinito. Que se sepa, no hay frmula
algebraica que permita calcular f(x) para, digamos, x = 2 .
Para dar una definicin precisa y general de este concepto,
observamos que lo importante es tener bien definida la pareja
( x, f ( x)) , de modo de poder distinguir cul es la variable
independiente (el elemento que est al lado izquierdo) y cul la
variable dependiente (el elemento que est al lado derecho), y que la
variable dependiente est unvocamente determinada por la variable
independiente. Vamos, pues a definir formalmente una funcin del
siguiente modo:
Definicin:
Una funcin f es un conjunto de pares ordenados que satisface la
propiedad: ( x, y ), ( x, y ' ) f y = y '
Se llama dominio de la funcin f al conjunto:

dom( f ) = {x : y, ( x, y ) f }
Se llama recorrido de la funcin f al conjunto:
rec( f ) = {y : x, ( x, y ) f }
La notacin f : A B significa que A es el dominio de f pero B
solamente contiene al recorrido. El conjunto B recibe el nombre de
codominio de f . El elemento f(x) se llama imgen de x y a su vez x
se llama la pre-imgen del elemento f(x).
La grfica de la funcin f es el conjunto de puntos en un plano (afn)
cuyas coordenadas son precisamente los pares ( x, f ( x))
Pensamos que no es conveniente definir una funcin partiendo de un

dominio dado . De hecho, una buena parte de los problemas que
aparecen acerca de este concepto requieren precisamente encontrar el
dominio de la funcin . Por otro lado tampoco conviene identificar la
grfica de la funcin con el conjunto de los pares ( x, f ( x)) , es decir,
60
con la funcin misma. La grfica de la funcin es un concepto
geomtrico que debe ser considerada en otro espacio.
* El concepto mismo de par ordenado debe ser definido de modo que

no dependa de nuestra intuicin espacial. Eso de distinguir entre un
elemento a la izquierda de uno a la derecha no es totalmente
satisfactorio en matemticas. Lo importante es poder establecer la
asimetra que est involucrada en el concepto. La definicin de par
ordenado debe satisfacer la siguiente propiedad:
(a, b ) = (c, d ) a = c b = d
Se define entonces:
(a, b ) = {{a}, {a, b}}
No es difcil demostrar que, con esta definicin, la propiedad se
cumple, si bien no es propiamente trivial: es necesario distinguir dos
casos: a = b y a b y razonar en consecuencia.
Ejemplos
1. f : , definida por f ( x) = x . Esta funcin se llama funcin

identidad y se denota, a veces, por I . Sin embargo, la notacin
popular es simplemente la funcin x .
2. f : , definida por f ( x) = c . Se trata de la funcin constante

de valor fijo c. Aqu tambin se suele hacer la confusin entre el
nmero c y la funcin constante de valor c
n
3. f : , definida por f ( x) = a k x k es la funcin polinmica
k =0
definida en base a las dos operaciones bsicas de . Esta funcin
generaliza las dos anteriores. En la Figura 2.1 se han graficado las
funciones y = x 2 y y = x 3 .
61
4
-2 -1 0 1 2
x
-2
-4
Figura 2.1
4. f : , definida por f ( x ) = x . La grfica de esta funcin se

presenta en la Figura 2.2
Figura 2.2
. Esta funcin tiene por dominio {0}. Su grfica se

1
5. f ( x) =
x
presenta en la Figura 2.3.
62
y 5
2.5
0
-5 -2.5 0 2.5 5
-2.5
-5
Figura 2.3
6. Las funciones trigonomtricas: f ( x) = sen( x); f ( x) = cos( x) . Estas

funciones tienen un origen geomtrico pero deben ser fundamentadas
como funciones reales. Esto se har ms adelante. Sus grficas se
presentan en la Figura 2.4
y 1
0.5
0
-5 -2.5 0 2.5 5
-0.5
-1
Figura 2.4
63
1, x Q
7. La funcin de Dirichlet: D( x) =
0, x Q
c
Esta funcin es difcil de graficar pues, como veremos, tanto los

nmeros racionales como los irracionales se encuentran densamente
distribudos en la recta real.
0, x < 0
8. La funcin de Heaviside: H ( x) =
1, x 0
Esta funcin est definida en toda la recta real, es constante a pedazos
y tendr cierta utilidad cuando veamos las operaciones con funciones.
Su grfica se presenta en la Figura 2.5
Figura 2.5
9. La funcin parte entera: [x ] = mayor entero menor o igual a x
Figura 2.6
64
1
10. La funcin exponencial en base 2: f ( x) = 2 x y en base :
2
x
1
f ( x) = . Ver Figura 2.7
2
y 8
0
-2.5 -1.25 0 1.25 2.5
x
Figura 2.7
11. La funcin logaritmo: en base e (mayor que 1) y en base 0.5

(menor que 1).
y 4
0
0 1 2 3 4
-2
-4
Figura 2.8
65

0, x Q
c

12. La funcin de Spivak: Sp ( x) = 1, x = 0 , 0 x 1
1 p
q , x = q

donde p y q son primos relativos, es decir, no tienen factores comunes.
Esta funcin ser muy interesante por sus aplicaciones, pero no es
fcil de dibujar. En la Figura 2.9 se ha esbozado su grfica.
Figura 2.9
2.2 OPERACIONES CON FUNCIONES
Las operaciones algebraicas entre nmeros reales pueden ser

traspasadas a las funciones :
( f + g )( x) = f ( x) + g ( x) , esta igualdad define la suma de las
funciones f y g
( fg )( x) = f ( x) g ( x) , define el producto de las funciones f y g
La resta y la divisin de funciones se define del mismo modo:

( f g )( x) = f ( x) g ( x)
f f ( x)
( x) =
g g ( x)
66
Pero entre las funciones aparece una operacin nueva , especfica de
las funciones : la composicin de dos funciones:
( f D g )( x) = f ( g ( x)) Notar que la variable independiente x es
asociada primero al elemento g (x) y ste a su vez a f ( g ( x)) . La
Figura 2.10 muestra un esquema de la composicin de dos
funciones:
Figura 2.10
Es necesario tener cuidado con los dominios de las funciones

resultantes de estas operaciones: en general los dominios se restringen:
dom( f g ) = dom( f ) dom( g )
dom( ) = dom( f ) dom( g ) {x : g ( x) = 0}

f
g
dom( f D g ) = {x dom( g ) : g ( x) dom( f )}
Ejemplos
1.Consideremos la funcin definida por f ( x) = x 2 y la funcin

constante g ( x) = 1 . La funcin suma es : ( f + g )( x) = x 2 + 1 ,
mientras que la funcin producto deja la funcin f inalterada:
( fg )( x) = x 2 . La composicin de ambas funciones resulta ser la
misma funcin g : ( f D g )( x) = ( g D f )( x) = 1 .
2. La composicin, en general, no es una operacin conmutativa, a
pesar del resultado del ejemplo anterior. Tomemos ahora las
funciones: f ( x) = 3 x 2 + 1, g ( x) = 2 x 3 . Haciendo el clculo
67
correspondiente, resulta: ( f D g )( x) = 12 x 2 36 x + 28 , mientras
que ( g D f )( x) = 6 x 2 1 .
3. Resulta divertido hacer todas las operaciones con las funciones
caracterizadas por las siguientes grficas:
Figura 2.11
f
Se trata de dibujar las grficas de f + g , fg , , f D g, g D f .Lo
g
dejamos para entretencin del lector.
2.3.- PROBLEMAS DE DOMINIO-RECORRIDO-GRFICA
1
1. Sea f ( x) = . Se trata de encontrar el dominio, el recorrido y
x 1
dibujar aproximadamente su grfica:
dom( f ) = {1} . Este resultado es muy simple: x 1 debe ser para

que el denominador no se anule
rec( f ) = {0}. Este resultado es, conceptualmente, mucho ms
difcil: se trata del siguiente problema : para qu valores de y tiene
alguna solucin (que est en el dominio de la funcin) la ecuacin
1
f ( x) = = y ? La variable y tiene aqu el significado de un
x 1
parmetro. Ntese que no se trata simplemente de resolver la ecuacin
anterior, sino de analizar la existencia de alguna solucin, dado el
nmero y, y que esta solucin est en el dominio de la funcin.. En el
caso del ejemplo, multiplicando por x-1 a ambos lados de la ecuacin,
68
1+ y
se v que se podr despejar x si y solo si y 0 : x= y este
y
nmero es evidentemente distinto de 1. Por lo tanto el recorrido de la
funcin ser el conjunto de los reales no nulos.
La grfica de la funcin se muestra en la Figura 2.12
2 .5
1 .25
0
-2 0 2 4 6
-1 .2 5
Figure 2.12
2. Encontrar dominio, recorrido y grfica de : f ( x) = 1 + x
El dominio es sencillo de encontrar: el nmero dentro de la raz debe

ser positiva o nula, luego : dom( f ) = [ 1, [
Para encontrar el recorrido debemos estudiar la ecuacin: 1 + x = y .
La primera condicin para y es que sea positivo o nulo, pues debe ser
igual a una raz cuadrada. La segunda condicin se obtiene elevando al
cuadrado: x = y 2 1 . Pero esta solucin debe estar en el dominio de la
funcin, luego debe cumplirse: y 2 1 1 , lo que efectivamente se
cumple. Luego, rec( f ) = [0, ]
La grfica se presenta en la Figura 2.13
69
y
1.5
0.5
0
0 1.25 2.5 3.75 5
Figura 2.13
3.Sea f : [2,3] , definida por la frmula: f ( x) = x 1 . En este

caso el dominio est dado, pero es conveniente convencerse que es
viable, es decir, que la frmula est efectivamente definida en
ese dominio. La frmula tiene sentido para todo x 1 , luego, el
dominio dado es viable. Aqu el problema es el recorrido: la
ecuacin para x : x 2 1 = y requiere en primer lugar que y 0 .
Adems, elevando al cuadrado x = y 2 + 1 , luego, para que la
solucin x est en el dominio de la funcin, se necesita:
2 y 2 + 1 3 , es decir 1 y 2 2 y siendo y positivo, 1 y 2 .
Luego rec( f ) = 1, 2 . [ ]
La grfica de esta funcin se presenta en la Figura 2.14
y 2
1.5
0.5
0
0 1 2 3 4
Figura 2.14
4. Encontrar el dominio de : f a ( x ) = ax 1 1 , donde a .
70
Aqu se trata no de una funcin , sino de una familia infinita de
funciones, una por cada valor que tome el parmetro a . Por lo tanto el
problema consiste en hacer una clasificacin razonable de los
dominios de cada una de las funciones, segn sea el valor del
parmetro. En nuestro ejemplo, la funcin estar definida si y solo si
se cumple: ax 1 1 0 . Esto no es otra cosa que una inecuacin con
parmetro a . Puesto que se est tratando con desigualdades, el signo
del parmetro es fundamental.
a = 0 . En este caso la condicin se satisface para todo nmero real,
luego: dom( f a ) =
a > 0 . Para eliminar el valor absoluto, hay que dividir la recta real
1 1
en dos pedazos: A = x : x ; B = x : x < . En la zona A la
a a
inecuacin es ax + 1 1 0 , es decir: x 0 . En la zona B la
2
inecuacin es ax 1 1 0 , es decir, x . Por lo tanto, para este
a
2
caso tenemos: dom( f a ) = ] ,0] ,
a
a < 0 . Dividiendo la recta real en zonas como en el caso anterior,
2
resulta: dom( f a ) = , [0, [
a
5. La compaa Mena arrienda automviles Toyota a $10.500 por

da ms $40 por kilmetro recorrido mientras que la compaa
Gonzlez arrienda el mismo tipo de automvil por $8.900 por
da ms $60 por kilmetro. En cul de las dos compaas
conviene arrendar el automvil?
Es claro que la decisin va a depender del nmero de kilmetros que

proyectamos recorrer cada da. Sea x ese nmero: entonces lo que
conviene hacer es determinar dos funciones: la funcin C M (x) que
sera el costo diario por arrendar en la compaa Mena y C G (x) que
sera el costo diario por arrendar en la compaa Gonzlez. Se tiene:
C M ( x) = 10.500 + 40 x , mientras que C G ( x) = 8.900 + 60 x . Conviene,
para resolver el problema, dibujar las grficas de estas funciones:
71
Figura 2.15
Directamente de las grficas se obtiene que, si se piensa recorrer no

ms de 80Km diarios, conviene arrendar en Gonzlez, mientras que si
se espera recorrer ms de 80Km diarios, conviene hacerlo en Mena.
6. Una industria manufacturera produce motonetas y bicicletas, cada

una de las cuales debe procesarse en dos centrales de mquinas A y B.
La central A tiene un mximo de 120 horas mensuales disponibles y la
central B un mximo de 180 horas mensuales disponibles. La
manufactura de una bicicleta requiere de 6 horas en la central A y 3
horas en B. La manufactura de una motoneta requiere de 4 horas en la
central A y 10 horas en B. Sabiendo que el beneficio por bicicleta es
de $45.000 mientras que por motoneta es de $55.000 , cuntas
bicicletas y motonetas fabricar para obtener el mximo beneficio
mensual?
Este es un tpico (pero muy sencillo) problema de programacin
lineal. Nuevamente aqu conviene establecer las funciones de
ganancia, segn sea la decisin que se tome y hacer las grficas de
esas funciones. Sea para esto x el nmero de bicicletas , y el nmero
de motonetas mensuales a fabricar. Si llamamos z a la ganancia
mensual, se tendr:
z = 45.000 x + 55.000 y
Pero se deben cumplir las restricciones horarias de ambas centrales:
6 x + 4 y 120 (central A), 3 x + 10 y 180 (central B). Como x e y son
nmeros de objetos, deben ser positivos, es decir, debemos aadir las
restricciones: x, y 0 . Conviene hacer entonces un grfico donde
aparezcan los valores de x e y que satisfacen todas las condiciones. El
72
conjunto de los puntos que satisfacen todas las condiciones se
denomina la regin factible. Enseguida se dibujan las grficas de las
rectas que representan la ganancia mensual para cada eleccin de x e y.
El problema se resuelve encontrando el mximo valor de z cuya recta
de ganancias alcanza a tocar la regin factible. Ver Figura 2.16
Figura 2.16
Desplazando paralelamente la recta de ganancia constante (z=cte.) se

llega al vrtice que provee la mxima ganancia que satisface las
restricciones. El resultado es: x = 10, y = 15 , es decir, se deben
fabricar 10 bicicletas y 15 motonetas mensuales. La ganancia que se
obtiene es de $1.275.000 mensuales. Es interesante comparar este
resultado con el que se obtiene de fabricar solo bicicletas ( y=0, x=20):
$900.000; o bien solo motonetas (x=0, y=18) : $990.000.
2.4 PROBLEMAS
1
1.Sea f ( x) = , g ( x) = x + 1 . Encuentre los dominios y los
x
recorridos de las funciones compuestas: f D g y g D f y
haga un esbozo de sus grficas.
x 2 ,0 x 1 1,0 x 1
2. Sea f ( x) = , g ( x) =
1,1 < x x 2,1 < x
73
Grafique f y g indicando dominio y recorrido. Encuentre y grafique
tambin: f + g , f D g , g D f indicando tambin dominio y recorrido.
1
3. Sea f ( x) = x + 1, g ( x) = . Indique los dominios de las
x +1
funciones f , g , f D g , g D f y sus respectivos recorridos.
1, x Q
4. Sea f ( x) = x 2 , D(x) la funcin de Dirichlet: D( x) =
0, x Q
c
Demuestre que f D D = D . Encuentre D D f . Puede hacer un esbozo

razonable de las grficas de estas dos funciones?
1
5. Sea f ( x) = :
1+ x
Cul es el dominio de f D f ?
Para qu nmeros c existe existe un nmero x tal que
f (cx) = f ( x) ?
Para que nmeros c existen dos nmeros x diferentes que cumplen
f (cx) = f ( x) ?
ax + d
6. Para qu nmeros a,b,c,d la funcin : f ( x) = satisface la
cx + b
propiedad f ( f ( x)) = x, x domf
7. Determine si las siguentes afirmaciones son verdaderas o falsas.

Justifique su respuesta:
Si f y g son funciones tales que dom( f ) dom( g ) , entonces
rec( f + g ) = rec( f ) rec( g )
Si rec(h) dom( f + g ) , entonces ( f + g ) D h = f D h + g D h
Sea D = dom( g ) dom(h) . Si rec( g + h) dom( f ) , entonces
( f D ( g + h))( x) = ( f D g )( x) + ( f D h)( x), x D
Si f y g son funciones decrecientes en , entonces f D g es
decreciente en
Si f es creciente en ] , a ] y es creciente en ]a, [ , entonces f es
creciente en .
74
Encontrar el dominio y el recorrido de las funciones definidas por las
siguentes frmulas:
f ( x) = 1 x 2
f ( x) = 1 1 x 2
f ( x) = 1 x 2 + x 2 1
1 1
f ( x) = +
x 1 x 2
8. Un agricultor necesita un fertilizante que proporcione un mnimo de

15 unidades de potasio, 20 unidades de nitrato y 24 unidades de
fosfato. Dispone de dos marcas diferentes: la marca 1 proporciona 3
unidades de potasio , 1 de nitrato y 3 de fosfato y cuesta $1200 la
unidad. La marca 2 proporciona 1 unidad de potasio, 5 de nitrato y 2
de fosfato y cuesta $600 la unidad. Formule un modelo matemtico
que permita obtener la combinacin de fertilizantes de menor costo
que satisfaga las especificaciones.
9. Una empresa agrcola dispone de 100 ha. de terreno y 1200 UF de

capital para plantar dos variedades de tomate. La variedad 1 requiere
una inversin de 10 UF por ha. y deja una ganancia bruta de 90 UF
por ha. y la 2 requiere una inversin de 15 UF y deja una ganancia
bruta de 122 UF por ha. Cuntas ha. de cada variedad se debe
plantar para obtener la mayor renta neta posible?
10. Una editorial planea usar una seccin de su planta para producir dos
textos: A y B. La ganancia es de $8 por el texto A y de $5 por el
texto B. El texto A requiere 4 horas para imprimir y 6 horas para
encuadernar y empastar. El texto B requiere 5 para imprimir y 3
horas para encuadernar y empastar. Si se dispone de 200 horas para
imprimir y 210 horas para encuadernar y empastar y si por lo menos
se deben producir 20 textos, cuntos textos de cada tipo se deben
producir para obtener la mxima ganancia? cuntas horas se usan
para imprimir y cuntas para encuadernar y empastar?
75
2.5.- TIPOS DE FUNCIONES
Es importante clasificar las funciones segn diversos criterios con el

objeto de poder resolver problemas que dependen de una propiedad u otra.
Para empezar, sea f : A B :
f se llama inyectiva , si a elementos diferentes en A le hace
corresponder elementos diferentes en B, es decir:
f ( x) = f ( y ) x = y
f se llama epiyectiva (o tambin : sobreyectiva) , si cada elemento

de B es imgen de algn elemento de A, es decir, si el co-dominio
coincide con el recorrido de la funcin.
f se llama biyectiva si es a la vez inyectiva y epiyectiva.
Si f es biyectiva, entonces a cada elemento y de B le corresponde un

nico elemento x en A tal que y=f(x). Esto define una funcin,
llamada funcin inversa de f :
f 1 : B A
tal que f 1 ( y ) = x . Se tiene entonces que : f ( f 1 ( y )) = y , y que
f 1 ( f ( x)) = x , es decir: f D f 1 = Id B y que f 1 D f = Id A . Es
importante no confundir la funcin inversa as definida con el inverso
multiplicativo de los valores de la funcin. Por desgracia la notacin
empleada, que es una notacin universal y standard, induce a esta
confusin.
Ejemplos
1. La funcin f ( x) = x 3 es biyectiva como funcin de en . En

efecto, si x 3 = y 3 , entonces , factorizando:
x 3 y 3 = ( x y )( x 2 + xy + y 2 ) = 0 pero la funcin x 2 + xy + y 2
nunca se anula ya que el discriminante , considerada como una
ecuacin en x con parmetro y , es = 3 y 2 < 0 . Luego: x=y . Por
lo tanto f es inyectiva. Por otro lado si y es un nmero real
cualquiera, entonces 3 y es una pre-imagen de y . Por lo tanto,
esta funcin tiene una funcin inversa. Hay una forma geomtrica
76
prctica para visualizar la inversa de una funcin. En la Figura
2.17 se presentan ambas funciones:
y y
1.5
100
50
0.5
0 0
-5 -2.5 0 2.5 5 -5 -2.5 0 2.5 5
x x
-0.5
-50
-1
-100
-1.5
Figura 2.17 a Figura 2.17 b
La funcin inversa de f ( x) = x 3 (que se presenta en la Figura 2.17a)

que es f 1 ( x) = 3 x (que se presenta en la Figura 2.17b) , se puede
visualizar intercambiando la x por la y , por lo tanto girando la
figura en 90 grados y mirndola por detrs. Esto se puede hacer con
un papel donde se dibuja la grfica de f , se gira en 90 grados y se
mira por detrs al trasluz.
2. La funcin log b : ]0, [ es tambin biyectiva, segn las

propiedades que presentamos ( y que todava no hemos
demostrado!) y su inversa es la exponencial de base b. En la figura
2.17 presentamos las grficas de ambas funciones para b=e .
Recordar que , si la base es menor que 1, entonces las grficas
aparecen decreciendo hacia la derecha.
5 y
y
1.25
x 3.75
0 1.25 2.5 3.75 5
0
2.5
-1.25
-2.5
1.25
-3.75
0
-5 -3.75 -2.5 -1.25 0 1.25
-5 x
Figura 2.18a Figura 2.18b
77
3. La funcin f : definida por f ( x) = x 2 5 , no es ni
invectiva ni epiyectiva. En efecto, los nmeros 1 y -1 tienen la
misma imagen -4, mientras que el nmero -6 no es imagen de
ningn nmero: la ecuacin x 2 5 = 6 , o sea: x 2 = 1 no tiene
solucin real. La Figura 2.19 presenta la grfica de esta funcin.
y 20
15
10
0
-5 -2.5 0 2.5 5
x
-5
-10
Figura 2.19
x2 1
4. La funcin f ( x ) = ser inyectiva? En primer lugar el
x 2 + 2x 3
dominio de esta funcin ser el conjunto de nmeros reales donde
el denominador no se anula. Factorizando segn la frmula de
Cardano: x 2 + 2 x 3 = ( x + 3)( x 1) , luego, 1 y -3 estn fuera del
dominio de la funcin. Pero el numerador tambin tiene un factor
x +1
x 1 , por lo tanto para x 1 la funcin se reduce a . Aqu es
x+3
importante enfatizar que la funcin original f no es igual a esta
nueva funcin, porque tienen distintos dominios: mientras la
original no est definida en 1, la nueva si lo est. Pero para todos
los nmeros diferentes de 1, ambas coinciden. Para ver si es
x +1 y +1
inyectiva, supongamos que = . Entonces,
x+3 y+3
multiplicando por los denominadores:
xy + 3 x + y + 3 = xy + x + 3 y + 3 , de donde 2 x = 2 y , luego
x = y es decir, la funcin es inyectiva.
78
Esta funcin ser epiyectiva si definimos su co-dominio como su
x +1
recorrido: y rec( f ) si acaso la ecuacin: = y tiene
x+3
solucin para x . Multiplicando por el denominador, se tiene
x + 1 = xy + 3 y , es decir, x(1 y ) = 3 y 1 , luego, si acaso y 1 la
3y 1
x se puede despejar : x = . Pero la funcin f no est definida
1 y
en 1, luego el valor tampoco puede estar en su recorrido. Por lo
1
tanto, la funcin f : {1,3} 1, definida por la
2
frmula anterior , es biyectiva. La Figura 2.20 muestra la grfica
de la funcin y su inversa.
5 y y
2.5
x
-5 -2.5 0 2.5 5
2.5 0
0
-2.5
-7.5 -5 -2.5 0 2.5
-5
-2.5
-7.5
-5
Figura 2.20a Figura 2.20b
5. Resolver la ecuacin : x a + bx = 1 . Podr parecer extrao

incluir aqu una ecuacin, ms an, una ecuacin de aspecto tan
simple. Veremos que no es tan simple y que para su anlisis nos
ser de enorme ayuda la representacin grfica de las funciones
que van a aparecer. Para empezar, no se trata de una ecuacin,
sino de infinitas ecuaciones, una familia bi-paramtrica de
ecuaciones , una por cada valor de los dos parmetros
involucrados. Lo que se pretende es hacer una clasificacin
completa de las soluciones posibles, segn sean los valores de los
parmetros: como tenemos dos parmetros reales, el espacio de
parmetros se puede representar por los puntos de un plano. Se
79
busca, entonces, una particin del plano, en regiones que producen
similares tipos de soluciones.
i) Busquemos soluciones en x a : aqu la ecuacin es:
x(b 1) = 1 a , luego, si b = 1 no hay soluciones, a menos
que a = 1 , en cuyo caso hay infinitas: S1 = ] ,1] . Si
1 a
b 1 , tendramos una solucin x1 = que debe ser
b 1
menor o igual que a . Debemos distinguir aqu dos casos:
b > 1 , donde la condicin es: ab 1 . Esta condicin se cumple
1 1
para b , si a > 0 y para b , si a < 0 . Pero esta ltima
a a
alternativa es imposible, pues b es mayor que 1 y por lo tanto
positivo.
b < 1 , donde la condicin es ab 1 . Esta condicin se cumple
1 1
para b , si a > 0 y para b , si a < 0 . La Figura 2.21
a a
muestra la zona en el espacio de parmetros donde existe la
solucin dada por la frmula x1 .
Figura 2.21
ii) Busquemos ahora soluciones en x > a . La ecuacin es, en este caso

x(1 + b) = 1 + a . Luego, si b = 1 no hay soluciones, a menos que
a = 1 , en cuyo caso hay infinitas : S 2 = [ 1, [ . Si acaso b 1
1+ a
tendramos la solucin x 2 = que debe ser mayor que a . Esta
1+ b
condicin se cumple, si , b < 1 para ab > 1 y si b > 1 , para ab < 1 .
1
Luego, si a > 0 , la primera condicin es b > que no se cumple pues
a
80
1
b es negativo. Si a < 0 , la primera condicin es b < . La segunda
a
1
condicin, es decir, con b > 1 significa , para a < 0 que b > , y
a
1
para a > 0 , que sea b < . Por lo tanto, la solucin x 2 existe en la
a
zona sombreada del espacio de parmetros (Figura 2.22)
Figura 2.22
Superponiendo las dos figuras obtenemos un esquema completo del

comportamiento de la ecuacin: tenemos zonas con una nica
solucin, una zona con dos soluciones, dos franjas donde no hay
soluciones y dos puntos destacados donde hay infinitas soluciones.
Figura 2.23
81
2.6.- OTROS TIPOS DE FUNCIONES
Segn sea su crecimiento se define:

f se llama funcin creciente, si : x y f ( x) f ( y )
f se llama funcin decreciente, si : x y f ( x) f ( y )
f se llama montona si es creciente o decreciente.
f se llama creciente estricta, si x < y f ( x) < f ( y )
f se llama decreciente estricta, si x < y f ( x) > f ( y )
f se llama montona estricta si es creciente o decreciente
estricta.
Estas definiciones son muy intuitivas, de modo que no abundaremos

con ejemplos. La distincin entre estricta y no estricta es importante,
por ejemplo la funcin logaritmo en base natural es estrictamente
creciente, mientras que la funcin parte-entera es creciente no-estricta.
Otros criterios de clasificacin definen:

f se llama funcin par, si f ( x) = f ( x)x . Un tpico ejemplo
de funcin par es f ( x) = x n , donde n es par. De este ejemplo
ha salido, sin duda, la denominacin de par. Otro ejemplo
importante es la funcin coseno.
f se llama funcin impar, si f ( x) = f ( x), x . El ejemplo
es en este caso f ( x) = x n , con n impar. Otro ejemplo es la
funcin seno.
f se llama funcin peridica, si existe un nmero no nulo p tal
que f ( x + p ) = f ( x), x . El menor nmero p que satisface esta
propiedad, se llama el perodo de la funcin. Es importante
tener claro esta nocin de perodo de una funcin. Por ejemplo
la funcin seno satisface sen( x + 4 ) = sen( x), x , pero
4 no es el perodo del seno, sino que lo es 2 .
Finalmente vamos a introducir dos importantes conceptos, uno el

correlativo del otro:
Sea f : A B una funcin cualquiera, R A, S B . Una

funcin g : R S se llama restriccin de f, si acaso se
82
cumple: g ( x) = f ( x) S , x R . Bajo la misma propiedad la
funcin f se llama una extensin de la funcin g.
Si recordamos nuestra definicin de funcin como conjunto de

pares ordenados, la relacin de restriccin-extensin no es ms que la
relacin de subconjunto: si g f , la funcin g es una restriccin de
f, mientras que f es una extensin de g.
Si se restringe solamente el dominio de la funcin, se usa la notacin
f R . No hay notacin especial para una restriccin del co-dominio.
Finalmente debe notarse que toda funcin inyectiva posee una
restriccin (del co-dominio) que es biyectiva. Basta excluir los
elementos del co-dominio que sobran, es decir, que no estn en el
recorrido de la funcin.
2.7.- PROBLEMAS
1. Analizar la funcin: f ( x) = x 1 + 2 . es creciente estricta?

es epiyectiva con como co-dominio? Defina restricciones
interesantes de esta funcin que sean funciones biyectivas y
encuentre sus inversas.
x
2. Defina restriciones interesantes de la funcin g ( x) =
x +5 2
que sean funciones biyectivas y encuentre sus inversas
3. Sea f ( x) = x 1 , g ( x) = x + 5 . Encontrar una funcin h tal

que h D f = g . En qu dominio existe esta funcin?
4. Investigar si las siguientes funciones son inyectivas y en caso

de no serlo, definir restricciones interesantes que lo sean:
3
f ( x) =
x 1
g ( x) = x 2 1
h( x) = x + 2
83
6. Investigar si las siguientes funciones son epiyectivas sobre y en
caso de no serlo, definir restricciones interesantes que lo sean:
x2
f ( x) =
3 x
x
g ( x) = 2
x 1
h( x) = 1 x
7. Sea f : [ 1,3[ , definida por f ( x) = 2 x +1 4 . Determine

dominio, recorrido y restricciones que sean funciones biyectivas y
encuentre sus inversas.
8. Demostrar que :
f par y g par fg es par

f par y g impar fg es impar
f impar y g impar fg es par
9. Sea f una funcin cualquiera. Encuentre funciones f p , f i tales

que f p sea par, f i sea impar y que f = f p + f i Discuta adems la
existencia y unicidad de estas funciones .
f ( x) = f p ( x) + f i ( x)
Indicacin: plantee el sistema de ecuaciones
f ( x) = f p ( x) f i ( x)
y despeje f p y f i (nota: la funcin f p se llama parte par de f y f i

se llama parte imparde f .
10. Determine si las siguientes funciones son pares o impares y

descomponga en parte par e impar:
x2
f ( x) =
x +1
g ( x) = x + x
84
x, x < 1

h( x) = 2 x + 1, x 1
2 x 1, x 1

11. Encuentre los mximos dominios y recorridos para que las

siguientes frmulas definan funciones biyectivas y encuentre las
respectivas inversas:
x +1
f ( x) =
x +1
g ( x) = x 3x + 1
2
h( x) = x 1
( x 1) 2 ( x + 2)( x + 3)
j ( x) =
x( x 1)( x + 2)
12. Demostrar o negar (dando un contraejemplo):

f D ( g + h) = f D g + f D h
( g + h) D f = g D f + h D f
1 1
= Dg
f Dg f
1 1
= fD
f Dg g
Agregue Ud. las hiptesis necesarias para obtener 4 hermosos

Teoremas, los ms finos posibles.
13. Sea f ( x) = log x a . Para qu valores del parmetro a es esta

funcin estrictamente creciente? Cundo es decreciente?.
Determine dominio y recorrido en los distintos casos.
14. Resolver la ecuacin b x a + x = 0, clasificando las

soluciones segn sean los valores de los parmetros.
15. Resolver y analizar la ecuacin bi-paramtrica x a + bx 1 = 1
85
2.8.- RELACIONES
Definicin :
Una relacin es un conjunto de pares ordenados
Si A y B son conjuntos cualquiera, se entiende usualmente por

relacin entre los elementos de A y de B, un subconjunto R del
producto cartesiano: R A B . Se dice que x A est relacionado
con y B , en smbolos : xRy , si acaso ( x, y ) R . Debe notarse que
el concepto de relacin es una generalizacin del concepto de funcin,
ya que se trata simplemente de un conjunto de pares ordenados sin la
hiptesis adicional, que caracteriza a las funciones, de que el segundo
elemento est determinado por el primero.
Del mismo modo que en el caso de las funciones se definen los
conceptos de dominio, recorrido y grfica:
dom( R) = {x A : y B, ( x, y ) R}
rec ( R ) = {y B : x A, ( x, y ) R}
gra f ( R ) = {P ( x, y ) : ( x, y ) R}
Es claro que el concepto de grfica requiere que la relacin sea entre

nmeros reales, donde son las coordenadas de los puntos que estn en
la relacin los que forman la grfica.
Finalmente, tambin en este caso se habla de restricciones y

extensiones: T ser restriccin de la relacin R, si acaso T R , y
correlativamente, R ser una extensin de la relacin T .
Ejemplos
1. O , definida por O = {( x, y ) : x < y}. Esta relacin entre de

esta relacin como la regin del plano nmeros reales corresponde
a la relacin de orden en . Podemos representar la grfica
indicada por la Figura 2.21.
86
Figura 2.24
{ }
2. C = ( x, y ) : x 2 + y 2 = 1 esta relacin representa las
coordenadas de los puntos que estn sobre una circunferencia de
centro 0 y radio 1
3. Una relacin R se llama relacin de equivalencia si cumple los tres

axiomas siguientes: xRx (reflexividad); xRy yRx (simetra);
xRy yRz xRz (transitividad). Cmo ser la grfica de una
relacin de equivalencia entre nmeros reales? Desde luego debe
contener la diagonal y ser simtrica. Pero eso no basta: la
transitividad no es tan fcil de caracterizar geomtricamente. En
las siguentes figuras se presentan dos grficas: una es de una
relacin de equivalencia (la de la izquierda) y la otra no (la de la
derecha:
87
4. 4. Podemos considerar una restriccin de la relacin anterior:
{ }
D = ( x, y ) : x 2 + y 2 = 1 y 0 Esta relacin representa la mitad
superior de la circunferencia anterior. Y una extensin de esta
{ }
relacin sera E = ( x, y ) : x 2 + y 2 1 y 0 . La Figura 2.22
muestra esta extensin.
Figura 2.25
5. { }
La relacin R = ( x, y ) : xy 2 = x + 1 no es una funcin.
En efecto, el elemento x = 1 tiene dos segundas componentes
diferentes que estn en la relacin: y = 2 e y = 2 . Cul es el
dominio de esta relacin? Para empezar, si x = 0 , entonces
claramente no hay ningn y tal que (0, y ) R . Para x 0 , la
x +1
pareja ( x, y ) R si acaso xy 2 = x + 1 , es decir, si y 2 = . Para
x
x +1
que exista la y, se necesita que 0 . Esto ocurre si acaso
x
x > 0 , o bien si x < 0 pero x + 1 0 , es decir, si acaso x 1 .
Luego, el dominio de esta relacin es:
dom(R ) = ] ,1] ]0, [
Por su parte el recorrido de la relacin es el conjunto de los y tales que
la ecuacin xy 2 = x + 1 tiene solucin, es decir, si x( y 2 1) = 1 tiene
solucin. Esto ocurre si acaso y 2 1 , es decir, si y no es 1 no 1.
Luego, el recorrido de la relacin es:
rec( R ) = {1,1}
88
No es tan fcil obtener una grfica aproximada de esta relacin. Ms
adelante estudiaremos mtodos que lo permiten hacer. Por el momento
presentaremos la grfica realizada por el software Scientific Work
2.5
1.25
0
-2.5 -1.25 0 1.25 2.5
-1.25
-2.5
Figura 2.26
2.9. - PROBLEMAS
1. Considere la siguiente relacin:

{
R = ( x, y ) 2 : x = y + 1 y { 3,1,2} }
Determine dominio, recorrido y grfica .
2. Determine la relacin que define a las coordenadas de una recta

(en un plano afn) que pasa por los puntos de coordenadas (-8,3) y
(4,0)
3. Identifique y grafique la relacin:
{
T = ( x, y ) 2 : y 2 4 y 8 x 20 = 0 }
4. Determine el valor del parmetro k de modo que el punto
de coordenadas(-1,2) pertenezca a la relacin:
89
{ }
S = ( x, y ) 2 : kx + 2 y 7 = 0
5. Determinar dominios y recorridos de las siguientes relaciones

reales:
x 2 ,0 x 1

( x, y ) : y = 2 x,1 < x < 2
2, x = 2

{( x, y) : x 2
+ y2 = 4 }
{( x, y) : x 2
+ y 2 = 4 y 2}
{( x, y) : xy = 1 0 < x < 2} {( x, y ) : y = x 2 1 < x < 3}
{( x, y ) : x + y = 1}
6. Encuentre restricciones interesantes de las relaciones dadas en el

problema 5 que sean:
Funciones
Funciones inyectivas
Funciones biyectivas. En este caso encuentre tambin las
inversas.
7. Grafique las siguientes relaciones K 2 :

( x, y ) K 1 y 1
( x, y ) K x y 1
( x, y ) K x = y x 2 = y
8. Defina relaciones reales que tengan los siguientes grficos:
90
9. Sea L = {( x, y ) A ] 2,5[ : y = x 2 + x 3 1} . Encuentre el
mayor conjunto A tal que la relacin L sea una funcin
{ }
10. Dada la relacin real T = ( x, y ) : y + 2 x 5 = 3 , estudie las
restricciones que sean funciones biyectivas y encuentre sus
inversas.
{ }
11. Sea R la relacin R = ( x, y ) : y 2 2 log x p = 1 . Encuentre los
valores del parmetro p para los cuales el par (2,0) pertenece a la
relacin. Encuentre adems el dominio y el recorrido de la
relacin. Determine restricciones interesantes que sean funciones.
91
CAPTULO 3 : SUCESIONES
3.1.- DEFINICIN Y EJEMPLOS
Se dice que los babilonios tenan una manera de aproximar el valor de la

raz cuadrada de un nmero mediante operaciones de suma y divisin.
Repitamos el procedimiento de los babilonios para ver si acaso es cierto
que nos podemos aproximar, digamos, a 2 . El procedimiento consiste
en comenzar con un nmero mas o menos arbitrario pero no tan alejado,
por ejemplo con x0 = 1 . A partir de este valor inicial, construimos el
siguiente:
2
x0 +
x0 1 + 2 3
x1 = = = = 1,5 y, aplicando la misma frmula,
2 2 2
construmos el siguiente:
2 2
x1 + 1,5 +
x1 1,5
x2 = = = 1,4166... y el siguiente:
2 2
2 2
x2 + 1,4166 +
x2 1,4166
x3 = = = 1,414215.....
2 2
En general, el nmero siguiente se obtiene del anterior mediante la
frmula:
2
xn +
xn
x n +1 =
2
Es curioso constatar que, efectivamente nos acercamos a 2 y de modo
extremadamente rpido: ya en la tercera iteracin tenemos 5 decimales
exactos.... al menos a juzgar por lo que nos entrega nuestra calculadora de
bolsillo, (la cual hace los clculos de otra manera , adems de garantizar 8
o 9 cifras decimales exactas...pero esto es otro problema, que
abordaremos ms adelante).
Este proceso de aproximacin lo podemos visualizar geomtricamente del
siguiente modo:
92
Figura 3.1
Esta figura es conocida como el grfico de la telaraa, porque, para

otros modelos, como veremos, las lneas se entrecruzan formando una
verdadera telaraa. En nuestro caso, se ha graficado la funcin que define
2
x+
el nmero sucesor : f ( x) = x . La recta diagonal que atraviesa el
2
dibujo es precisamente la grfica de la identidad g ( x) = x . Si se parte de
un valor inicial x 0 , su sucesor estar sobre la curva: x1 = f ( x 0 ) . Si se
refleja este punto sobre la diagonal, tendremos el sucesor sobre el eje OX,
el cual tendr su sucesor nuevamente sobre la curva y as sucesivamente.
Alternando el paso de la diagonal a la curva con el de la curva a la
diagonal, obtenemos grficamente toda la secuencia de nmeros que
deseamos. Del grfico se observa que la secuencia de nmeros as
construidos se acerca a la interseccin de la funcin con la diagonal. Para
calcular el valor de este punto tenemos que resolver la ecuacin:
2
x+
f ( x) = x , es decir, x = x , lo que es equivalente a x 2 = 2 . Por lo
2
tanto la abscisa del punto de interseccin es precisamente 2 .
Aqu deben destacarse tres cosas:
93
Todos los nmeros de la secuencia construda son racionales, si se
comienza con un x0 racional, como en nuestro caso.
El punto de acercamiento no es racional.
Los elementos de la secuencia aparentemente se acercan cada
vez ms y de modo efectivo al punto de interseccin.
Por otro lado, esta experiencia nos muestra un camino para calcular, de
modo aproximado, soluciones a los ms diversos problemas. Mas all de
la manera especfica como se ha elaborado la secuencia de nmeros , lo
que tenemos es, en realidad, un nmero real asociado a cada ndice
n N , o al menos a cada ndice a partir de un cierto ndice inicial. Estas
consideraciones nos llevan a la siguiente definicin:
Definicin.
Sea N p = {n N : n p} = {p, p + 1, p + 2, p + 3,......} una cola de los
nmeros naturales, empezando por p. Llamaremos sucesin ( o tambin
secuencia) de nmeros reales a una funcin
f : Np
Para designar una sucesin se utilizan diversas notaciones, unas mejores

que otras: para empezar se denota f (n) = x n , y la sucesin entera, es
decir, la funcin de dominio natural: f = ( x n )n p , o bien: {x n }n p o bien
la sucesin desglosada: x p , x p +1 , x p + 2 ... , cuando es claro el nmero que
viene a continuacin. La notacin, muy usada por lo dems: {x n }n p no
es muy buena, pues puede confundir la sucesin (que es una funcin) con
el conjunto de nmeros , que no es otra cosa que el recorrido de dicha
funcin. Con frecuencia se usan otras letras, por ejemplo: f (n) = a n .
Ejemplos
1
1. a n = . Esta sucesin est definida desde n = 1 y puede ser
n
graficada, como cualquier funcin, con un sistema de coordenadas en el
plano:
94
Figura 3.2
O bien, indicando la ubicacin de los puntos en la recta real:
Figura 3.3
Observar que, en este ejemplo, los valores de la sucesin se van

acercando a 0 , a medida que n crece.
(1) n
2. a n = , n 1 . Esta sucesin, similar a la anterior, est definida
n
explcitamente para cada n a partir de 1. A diferencia del ejemplo
anterior, esta sucesin va oscilando alrededor del cero:
Figura 3.4
95
Figura 3.5
Sin embargo, tambin en este caso, los valores de la sucesin se van

acercando al cero a medida que n va creciendo.
3. Sea a 0 = 2 , y a n +1 = 2a n . Se trata de una sucesin definida por

recurrencia, tal como lo hicimos en el ejemplo inicial. Los primeros
trminos de la sucesin son: 2 , 2 2 , 2 2 2 , ....... Para observar el
comportamiento de esta sucesin, podemos hacer el grfico de la telaraa:
Figura 3.6
En este ejemplo tambin observamos que los valores de la sucesin se

van acercando a la interseccin de la grfica de la funcin f ( x) = 2 x
con la diagonal, es decir, a la solucin no nula de la ecuacin: 2x = x ,
es decir, a 2.
4. Finalmente vamos a considerar la sucesin dada por recurrencia:
96
a 0 [0, K ], a n +1 = (1 + r (1
an
))a n , donde 0 < r 3, K > 0 . Esta sucesin
K
tiene un significado biolgico como modelo de la dinmica de una
poblacin y se conoce en la literatura como modelo logstico discreto.
Esta sucesin tiene un comportamiento muy desordenado (catico) si el
parmetro r es cercano a 3. El grfico de la telaraa que presentamos a
continuacin , para el valor del parmetro r = 2.9 , justifica su nombre.
Figura 3.7
Llegado a este punto observamos la necesidad de abordar dos problemas

tericos fundamentales:
Qu significa exactamente que una sucesin se acerque
efectivamente a un nmero real?
Cmo asegurar la existencia de un nmero real , por ejemplo 2 en
el ejemplo inicial, al cual se acerca la sucesin?
En este segundo punto se hace patente la insuficiencia del modelo

matemtico construdo con los 15 primeros axiomas de los nmeros
reales. Ntese que el conjunto de los nmeros racionales cumple con
estos 15 axiomas, es decir, constituye un cuerpo ordenado conmutativo y
sin embargo, la sucesin de los babilonios se acerca a un punto
inexistente entre los racionales. El axioma 16, llamado del Supremo, se
hace ya indispensable.
97
3.2 .- EL AXIOMA DEL SUPREMO
Un subconjunto A de se llama acotado superiormente, si acaso existe

algn nmero real c tal que x c, x A . Un nmero que cumple esta
propiedad se llama cota superior del conjunto A. Es claro que, si c es una
cota superior, entonces todo nmero mayor que c ser tambin una cota
superior de A.
Definicin . Se llama supremo de A a la mnima cota superior de A.

Si existe un tal supremo, se denota : sup(A)
Es claro que no todo conjunto de nmeros reales tiene supremo: si un

conjunto no es acotado, es decir, si no tiene ninguna cota superior , no
puede tener una cota superior mnima. El axioma del supremo expresa
precisamente la suficiencia de esta condicin:
Axioma del Supremo: Todo conjunto no vaco y acotado superiormente

de nmeros reales posee supremo.
Este axioma tiene consecuencias inmediatas que son fundamentales:
N , el conjunto de los nmeros naturales no es acotado

superiormente. En efecto, supongamos que lo fuese: por el axioma
del supremo, habra un nmero real = sup(N ) , luego
n + 1, n N , por lo tanto 1 n, n N , es decir, 1
es una cota superior de N estrictamente menor que el supremo, lo
que contradice la definicin de supremo.
satisface la llamada propiedad arquimedeana : si x > 0 , y un

nmero real cualquiera, entonces hay un natural n tal que :
x + x + x + .... + x = nx > y , es decir, sumando un nmero real
positivo, por mas pequeo que sea, la suficiente cantidad de veces
consigo mismo se puede superar cualquier otro nmero real, por
grande que este sea. En efecto, por el punto anterior, hay un
y
natural n tal que n > , de donde multiplicando por x que es
x
positivo, se obtiene la relacin deseada.
98
N es un conjunto bien-ordenado, es decir cumple la siguiente
propiedad: todo subconjunto no vaco de N tiene un primer
elemento. En efecto, sea A un subconjunto no vaco de nmeros
naturales. Consideremos el conjunto B = { n : n A}. Este
conjunto no es vaco y est acotado por 0. Luego posee un
supremo: k = sup( B ) . Afirmamos que m = k es el primer
elemento de A. Para esto debemos demostrar dos cosas: que m es
menor o igual que todos los elementos de A y que m pertenece a
A. La primera se sigue directamente del hecho de que
k n, n A , por ser supremo, luego efectivamente
m = k n, n A . Supongamos ahora que m A . Esto
significa que k = m B . Pero, por definicin de supremo, k 1
no puede ser cota superior de B, luego debe existir un elemento
b B tal que k 1 < b < k lo cual no es posible pues B es un
conjunto de nmeros enteros.
De aqu se puede demostrar el llamado principio de induccin

finita.: Sea P una propiedad definida para los nmeros naturales.
Si P( n0 ) es verdadera y si P(n) P(n + 1) , entonces P es
verdadera para todo n n0 . En efecto, supongamos que no : esto
significa que hay algn n n0 para el cual P no es verdadera, es
decir, el conjunto de naturales para los cuales no es verdadera no
es vaco: luego, este conjunto tiene un menor elemento : n1 , es
decir, P es verdadera para n1 1 , luego, por hiptesis de
induccin, P es verdadera para (n1 1) + 1 = n1 lo que es una
contradiccin.
Entre dos nmeros reales diferentes cualquiera siempre hay un

nmero racional. Veamos primero el caso especial en que los
nmeros son positivos: 0 x < y . Como y x > 0 , por la
propiedad arquimedeana, hay un natural n tal que n( y x) > 1 , es
1 1
decir, < y x , y por lo tanto x + < y . Sea ahora el conjunto
n n
1
k N : k > x que no es vaco. Luego este conjunto tiene un
n
99
1
menor elemento: llammoslo m. Luego (m 1) x , y por lo
n
m 1 m
tanto x < x + < y . Es decir el racional satisface la
n n n
propiedad buscada.
Sean ahora x < y reales cualesquiera. Basta trasladarlos con un
natural M para tener el caso positivo: 0 x + M < y + M . Por lo
anterior, hay un racional r tal que x + M < r < y + M , por lo
tanto: x < r M < y . Pero r M es tambin un nmero racional.
Entre dos nmeros reales diferentes siempre hay un nmero

irracional. Para demostrar esto necesitamos saber la existencia de
al menos un nmero irracional. Vamos a demostrar un poco ms
adelante que efectivamente existe 2 , es decir, que hay un
nmero real cuyo cuadrado es 2. Como sabemos, un tal nmero no
es racional, por lo tanto es irracional. Supongamos entonces, por
el momento, que existe este nmero irracional 2 . Demostremos
primero que entre dos nmeros racionales diferentes hay un
irracional: sea entonces r < s , ambos racionales. El nmero
sr
2( ) es un nmero irracional estrictamente positivo (Si
2
2
fuese racional bastara con multiplicarlo por para tener que
sr
2 es racional, lo que es una contradiccin). Por lo tanto
sr
x = r + 2( ) es un nmero irracional estrictamente mayor
2
1 s 1 s
que r . Pero tambin x = r (1 )+ < s (1 )+ = s.
2 2 2 2
Finalmente, si x e y son reales cualquiera con x < y , entonces,
por el punto anterior, hay un racional r tal que x < r < y , y
tambin hay un racional s tal que r < s < y , luego tendr que
haber un irracional i tal que x < r < i < s < y .
En este desarrollo se ha usado el hecho que el conjunto de los nmeros

racionales es cerrado respecto a la suma y la multiplicacin y tambin
que el inverso multiplicativo y aditivo de un racional es racional. De aqu
se desprende que el producto o la suma de un racional con un irracional
100
debe ser irracional: de lo contrario basta con despejar el irracional para
llegar a una contradiccin.
Veremos a continuacin algunos ejemplos de supremos de conjuntos
sencillos.
Ejemplos
1. Sea A = ]0,1[ . Entonces sup( A) = 1 . En efecto, 1 es claramente

mayor que todos los elementos del conjunto A, es decir, 1 es una
cota superior de A. Adems, cualquier nmero menor estricto que
a +1
1, no es cota superior. En efecto, si a < 1 , tomando b = , se
2
tiene: a a < b < 1 , es decir, a es menor estricto que b que est
en A. Debe notarse que 1 no pertenece al conjunto.
2. Sea A = ]0,1] . Entonces claramente sup( A) = 1 . En este caso 1 es

un elemento del conjunto, a saber, el mayor de todos. No puede
haber una cota superior menor que 1, pues cualquier nmero
menor deja de ser cota precisamente de 1 que est en el conjunto.
1
3. Sea A = 1 : n = 1,2,3,4... . Se trata aqu del recorrido de una
n
sucesin similar a las que vimos en los primeros ejemplos. Se
afirma que nuevamente sup( A) = 1 . En este caso 1 no pertenece al
conjunto, pero obviamente es una cota superior. Tomemos un
nmero estrictamente menor que 1 : a < 1 . Como N no es
1 1
acotado, hay un natural n > , luego 1 > a , es decir, a no
1 a n
es cota superior.
Definicin . Un subconjunto A de se llama acotado inferiormente, si

acaso existe algn nmero real c tal que c x, x A . Un nmero que
cumple esta propiedad se llama cota inferior del conjunto A. Es claro que,
si c es una cota inferior, entonces todo nmero menor que c ser tambin
una cota inferior de A. Se llama nfimo de A a la mxima cota
inferior de A. Si existe un tal nfimo, se denota : inf(A).
101
El concepto de nfimo es completamente anlogo al de supremo, solo hay
que invertir el orden. Por lo mismo podemos establecer el anlogo al
axioma del supremo, una suerte de axioma del nfimo, que esta vez
ser, por supuesto, un teorema:
Todo conjunto no vaco de nmeros reales acotado inferiormente, tiene

nfimo.
Para demostrar esta propiedad, dmonos un conjunto no vaco y acotado

inferiormente A y sea b una cota inferior de A, es decir: b x, x A .
Multiplicando por 1 , se tiene b x, x A , es decir, si llamamos
A = { x : x A}, entonces el conjunto A es acotado superiormente y
no es vaco. Luego, por el axioma del supremo, tiene supremo
s = sup( A) . Afirmamos que el nmero real s es el nfimo del
conjunto A. En efecto, para empezar, como s x, x A , se tiene que
s x, x A , es decir, s es una cota inferior de A. Esta es la mayor
cota inferior posible, pues si hubiese otra mayor, digamos s> s , se
tendra que s sera una cota superior de A menor que su supremo s.
De pasada hemos demostrado que:
sup( A) = inf( A)
3.3.- PROBLEMAS
1. 1. Cules son los supremos y los nfimos de los siguientes conjuntos

de nmeros reales? Pertenecen o no al conjunto?
A = [0,1] Q
(1) n
A = 1 : n N , n 0
n
1
A = : n Z , n 0
n
{
A = x : x < 0 x + x 1 < 0
2
}
A = ]0,1]
102
2. Sea A = { f ( x) : x [1,2[} . Encuentre supremos e nfimos
conjunto, para las siguientes funciones de A y vea si acaso
pertenecen o no al conjunto:
f ( x) = sen( x)
1
f ( x) =
x
f ( x) = log( x)
f ( x) = 2 x 2
3. Sea A un conjunto no vaco de nmeros reales. Denotemos por

A = { x : x A}. Qu relacin habr entre sup( A) y sup( A) ? Y
entre inf( A) y inf( A) ? Tal vez se pueden establecer relaciones
cruzadas?
4. Si A y B son conjuntos de nmeros reales vamos a denotar:
A + B = {x + y : x A y B}
Qu relacin puede establecer entre sup(A+B) y sup(A) +sup(B)?

sern iguales? Lo mismo para inf(A+B) y inf(A)+inf(B). Qu
hiptesis debe Ud. introducir?
5. Sea > 0 , A un conjunto no vaco de nmeros reales. Sern

verdaderas las afirmaciones :
sup(A) = sup( A)
inf(A) = inf( A)
No debera Ud. agregar alguna hiptesis? Qu puede Ud.
decir si < 0 ?
6. Sean f , g : A dos funciones reales acotadas (tanto superior

como.inferiormente).Demuestre:
sup( f + g )( x) sup f ( x) + sup g ( x)
x A xA x A
Puede encontrar ejemplos donde la desigualdad sea estricta?
Ser tambin cierto que sup( fg )( x) sup f ( x) sup g ( x) ?
x A xA x A
Qu hiptesis adicionales debera Ud. introducir?
7. Si A y B son conjuntos de nmeros reales vamos a denotar:
103
AB = {xy : x A y B}
Qu relacin puede establecer entre sup(AB) y sup(A) sup(B)?

sern iguales? Lo mismo para inf(AB) y inf(A)inf(B). Qu hiptesis
debe Ud. introducir?
3.4.- ESTRUCTURA TOPOLGICA DE
Para matematizar el concepto de cercana y el concepto de

acercarse de forma efectiva para una sucesin, necesitamos afinar
un poco ms nuestro modelo de los nmeros reales. Esto nos conduce
a la llamada topologa de los nmeros reales.
Definiciones :
Un conjunto U se llama una vecindad del nmero real x , si:
( > 0)(]x , x + [ U .
Se acostumbra a denotar: B ( x, ) = {y : y x < } = ]x , x + [
Vamos a denotar: W x = {U : U U .es.vecindad .de.x}
Sea A . x se llama punto de adherencia de A, si:
U Wx U A
Se denota: A = {x : x.es. punto.de.adherencia.de. A}
Sea A . x se llama punto de acumulacin de A, si:
U W x U A {x}
Se denota: A' = {x : x.es. punto.de.acumulacin.de. A}
Ejemplos
1. Sea A = ]0,1[ . Entonces es fcil ver, directamente de las

definiciones, que A = A' = [0,1]
104
(1) n
2. Sea A = : n N . Entonces A = A {0}, mientras que
n +1
A'= {0}
Ntese que siempre ocurre que A' A , y que A A , mientras que no
siempre ocurre que A' A , ni tampoco que A A' .
Por otro lado, las palabras usadas en la definicin punto de

adherencia y punto de acumulacin, estn bien escogidas pues
aluden intuitivamente a lo que ocurre con los puntos. Los puntos de
adherencia deben estar pegados al conjunto pues toda vecindad
tiene puntos del conjunto, es decir, el punto no se puede separar del
conjunto por alguna vecindad aunque sea pequea. Los puntos de
acumulacin deben efectivamente acumular puntos del conjunto,
pues uno puede ir achicando la vecindad y encontrar nuevos puntos
del conjunto.
Con estos conceptos estamos en condiciones de presentar el concepto

fundamental del anlisis que es el de lmite , que es el concepto que
matematiza la idea de acercamiento efectivo
Definicin.
Sea (a n ) una sucesin real. El nmero real L se llama lmite de la
sucesin, en smbolos: lim a n = L , si
n
U WL (m N )(n > m a n U )
Una sucesin se dice convergente si tiene un lmite real. En caso
contrario, se dice divergente.
La definicin anterior est escrita en lenguaje lgico. Para entenderla

mejor, vamos a expresarla de otros modos equivalentes:
> 0, m N , tal que a n L < , si acaso n > m . La
equivalencia de esta formulacin se debe a la definicin que
hemos dado de vecindad.
Cualquier vecindad de L , por pequea que sea, contiene una cola
completa de la sucesin, es decir, todos los elementos a n a partir
de algn ndice apropiado.
105
lim a n L = 0 : directamente de la definicin, pues ambas
n
expresiones dicen que los trminos de la sucesin se acercan a L.
Ejemplos
1 1
1. El ejemplo ms sencillo es : a n = . Aqu tenemos lim = 0 .
n n n
1
En efecto, si nos damos > 0 basta tomar m para tener

1 1
que , si n > m entonces < .
n m
2. La sucesin a n = (1) n , que desglosada es: 1,1,1,1,1,1,.... es
claramente divergente pues oscila entre 1 y 1 sin acercarse a
ningn nmero real.
(1) n
3. Por el contrario, la sucesin a n = tambin es oscilante,
n
pero se acerca a 0: si nos damos > 0 basta tambin aqu tomar
1 1
m para tener a n 0 = < si n > m .
n
n , n 10.000
2

4. La sucesin : a n = 1 es claramente convergente
n , n > 10.000
con lmite 0, pues la convergencia no depende de los primeros
trminos, aunque sean muchos: solo depende de las colas de la
sucesin.
5. Del mismo modo, una sucesin de la forma:
a1 , a 2 , a3 ,...a k , , , ,..... que llamaremos casi-constante es
tambin convergente con lmite .
1
6. Si a > 0 , entonces lim a = 0 . En efecto, si > 0 , tomamos
n n
1
1 1
m ( ) a , y si n > m , entonces n a > m a , de donde

1
<.
na
106
7. Si 0 < a < 1 , entonces lim a n = 0 . En efecto, observemos que
n
1 1
> 1 , luego = 1 + h , con h > 0 . Elevando a la potencia n y
a a
1
recordando el teorema del binomio: n = (1 + h) n > 1 + nh .
a
Ahora, si > 0 , entonces, por la arquimedianidad de , hay un
1
natural m tal que 1 + mh > , luego, si n > m se tiene

1 1
> 1 + mh > , es decir, a n < .
a n

Para poder analizar sucesiones ms interesantes necesitamos

estudiar las propiedades fundamentales de este concepto de lmite
de sucesiones. Agruparemos en un Teorema estas propiedades.
TEOREMA 1. (Propiedades bsicas de los lmites de sucesiones)
1. (unicidad del lmite) Si una sucesin tiene lmite, ste es nico.

2. Si una sucesin es convergente, entonces es acotada, es decir, su
recorrido es un conjunto acotado.
3. Si una sucesin es creciente y acotada superiormente, entonces es
convergente. Del mismo modo, si es decreciente y acotada
inferiormente, entonces es convergente.
4. (cero aniquila) Si la sucesin (a n ) es acotada y la sucesin
(bn ) converge a 0, entonces tambin lim a n bn = 0
n
5. (el sandwich) Si para algn m: a n x n bn , n m y

lim a n = lim bn = L , entonces tambin lim x n = L .
n n n
6. (el lgebra de lmites) Si lim a n = a lim bn = b , entonces:

n n
(a n + bn ) es convergente y: lim(a n + bn ) = a + b
n
( a n bn ) es convergente y : lim(a n bn ) = ab
n
an a a
( ) es convergente y : lim n = , si adems b 0
bn n bn b
107
DEMOSTRACIN
1. Si una sucesin tuviese dos lmites distintos, digamos a b ,

entonces existen vecindades disjuntas de a y b que deberan
contener una cola completa de la sucesin , lo que es imposible.
2. Si lim a n = a , entonces la vecindad U = ]a 1, a + 1[ contiene una
n
cola completa de la sucesin y por lo tanto queda afuera de U a lo

ms un nmero finito de valores de la sucesin, conjunto que es
acotado.
3. Sea (a n ) creciente y acotada superiormente. Por el axioma del
supremo existe a = sup{a n : n m}. Afirmamos que este a es
precisamente el lmite de la sucesin. Sea > 0 . Puesto que el
supremo de un conjunto es la menor cota superior, a no puede
ser cota superior, luego existe un ndice k tal que a < a k a
pero como la sucesin es creciente a < a k a n a n k ,
que es la definicin de lmite.
De modo anlogo se demuestra que una sucesin decreciente y
acotada inferiormente, es convergente.
4. Sea (a n ) acotada, digamos por A > 0 . Sea > 0 . Como la

sucesin (bn ) converge a 0, hay un nmero natural m tal que

bn < si acaso n > m . Luego a n bn A bn < A = .
A A
5. Sea a n x n bn , n m , lim a n = lim bn = L . Sea > 0 ,
n n
entonces, por definicin de lmite, existe m1 tal que < a n L

para n > m1 y existe un m 2 tal que bn L < para n > m2 . Basta
tomar m = min{m1 , m2 } para tener
< a n L x n L bn L < para n > m
6. Sea lim a n = a lim bn = b . Debemos dividir esta demostracin
n n
en tres casos:
La suma: Sea > 0 , entonces existen nmeros naturales m1 , m2

tales que a n a < , n > m1 , y , bn b <
, n > m2 . Basta
2 2
tomar m = min{m1 , m2 } para tener que, si n > m , entonces se
108
cumplen ambas desigualdades, con lo cual:

(a n + bn ) (a + b) a n a + bn b < + =
2 2
El producto: Para esto, consideremos la sucesin diferencia:
a n bn ab a n bn a n b + a n b ab a n bn b + a n a b . Aqu
podemos aplicar algunas de las propiedades ya demostradas: la
sucesin a n es acotada por ser convergente y la sucesin bn b
converge a 0, luego, por cero aniquila el producto a n bn b
tiende a 0. Del mismo modo, como a n a tiende a 0, entonces
tambin a n a b tiende a 0. Finalmente, la suma
a n bn b + a n a b tiende a 0 y, por sandwich, a n bn ab
tambin debe tender a 0, es decir, lim a n bn = ab .
n
Para el cuociente, la demostracin es un poquito ms delicada. En

primer lugar, como por hiptesis b 0 , existe un nmero natural
b
m1 tal que bn > , n > m1 : en efecto, basta considerar las
2
b
desigualdades: b bn b bn < . Aprovechando esta
2
an a ba n abn 2
desigualdad, tenemos: = ba n abn 2 .
bn b bbn b
Sumando y restando el producto ab y usando la desigualdad
triangular, tenemos que
ba n abn ba n ba + ba abn = b a n a + a bn b , y por lo
an a 2 2a
tanto, a n a + 2 bn b . Finalmente, aplicando
bn b b b
nuevamente cero aniquila, lmite de la suma y el sandwich, se
demuestra la propiedad.
Q.E.D.
109
Ejemplos
1 a
1. Sea a > 0 , x0 > 0 y x n +1 = ( x n + ) . Esta sucesin,
2 xn
definida por recurrencia, es la misma sucesin de los babilonios
que nosotros presentamos al principio para a = 2 . Esta
sucesin es decreciente a partir de n = 1 : en efecto,
a
( x n ) 2 0 , de donde, elevando al cuadrado:
xn
a2
x n 2a + 0 y sumando 4a a ambos lados se tiene
2
2
xn
a 2
( xn + ) 4a , es decir, recordando la definicin de x n +1 :
xn
1 a
( ( x n + )) 2 = x n +1 a . Ahora, sumando a ambos lados
2
2 xn
x n +1 , se tiene x n +1 + a 2 x n +1 y dividiendo por 2 x n +1 se
2 2 2
1 a
obtiene finalmente: ( x n +1 + ) x n +1 , o sea x n + 2 x n +1 .
2 x n +1
Aqu debe notarse que , partiendo de un nmero x0 no nulo,
todos los siguientes son tambin no nulos. Hemos demostrado
que la sucesin es decreciente . Adems es acotada
inferiormente por 0. Luego, por nuestro teorema es convergente.
cmo calcular su lmite? Para esto observemos que las
sucesiones ( x n ) y ( x n +1 ) son esencialmente las mismas, solo
estn corridas en un ndice. Directamente de la definicin se
deduce que, si una converge, lo hace tambin la otra y al mismo
lmite. Tomemos entonces lmite a ambos lados de la igualdad :
1 a
x n +1 = ( x n + ) . Para aplicar el lgebra de lmites, se
2 xn
necesita lim xn 0 . Pero xn a , n 1 . En efecto,
110
1 a
xn +1 = ( xn + ) a xn 2 2 xn a + a = ( xn a ) 2 0
2 xn
Aplicando entonces el lgebra de lmites se obtiene una
ecuacin para el lmite de la sucesin, que llamaremos x :
1 a
( x + ) = x de donde se obtiene: x 2 = a . Es decir, nuestro
2 x
lmite es efectivamente una raz cuadrada de a . Hemos
demostrado la existencia de races cuadradas para cualquier
nmero real positivo !
2. Sea a 0 = 2 y a n +1 = 2a n . Ahora estamos en condiciones de

fundamentar el clculo del lmite de esta sucesin. Esta sucesin es
creciente : en efecto , a 0 = 2 < 2 2 = a1 , pues elevando al
cuadrado resulta 2 < 2 2 que es cierto pues 2 > 1 . Supongamos
que vale a n < a n +1 , multiplicando por 2 y sacando raz cuadrada:
2a n < 2a n +1 , es decir, a n +1 < a n + 2 . Luego, por induccin finita ,
la sucesin es creciente. Tambin por induccin podemos demostrar
que es acotada superiormente por 2 : a 0 = 2 < 2 . Si suponemos que
a n < 2 , nuevamente multiplicando por 2 y sacando raz cuadrada, se
tiene: a n +1 = 2a n < 2 2 = 2 . Luego, por nuestro teorema , la
sucesin es convergente. Para calcular el valor del lmite procedemos
igual que en el caso anterior :
2. Si a > 1 , entonces lim n a = 1 . Por las reglas bsicas de los

n
1 1
exponentes, n a = a > 1 n = 1 , luego n a = 1 + hn , con hn > 0 , por lo
n
tanto, elevando a la potencia n y recordando el teorema del binomio:

a 1
a = (1 + hn ) n > 1 + nhn , con lo cual se tiene que hn < . Pero esta
n
ltima sucesin tiende a 0 con lo cual tambin hn lo hace (ley del
sndwich), por lo que, como n
a 1 = hn , n
a debe tender a 1.
111
3. De modo anlogo se tiene que lim n n = 1 . Aqu el argumento es
n
similar, pero un poquito ms fino: es claro que n

n > 1 , si n 2 ,
luego n = 1 + hn , con hn > 0 . Nuevamente elevando a la
n
n(n 1) 2 n(n 1) 2
potencia n: n = (1 + hn ) n > 1 + nhn + hn > hn , de
2 2
2
donde hn < . Pero esta ltima sucesin tiende a 0.
n 1
3n 5 + 5n 4 3n + 1
4. Calcular: lim Para calcular este tipo de
n 4n 5 6n 3 + 2
lmite se usa un truco general que consiste en dividir el numerador y el
denominador por n a la mayor potencia, en este caso 5 : la fraccin
resultante es exactamente la misma que la original :
5 3 1
3+ 4 + 5
lim n n n = 3 por el lgebra de lmites.
n 6 2 4
4 2 + 5
n n
5. Calcular : lim( n + 1 n ) Para este tipo de lmites se usa otro truco

n
general consistente en multiplicar y dividir por el conjugado de la

diferencia , obtenindose un producto de suma por diferencia:
n +1 + n 1
lim( n + 1 n ) = lim =0
n
n +1 + n n
n +1 + n
1
6. El lmite : lim(1 + ) n = e , es decir, la sucesin tiende a la base
n n
natural de los logaritmos . Este resultado, si bien es posible de establecer
por mtodos elementales (con bastante dificultad, sin embargo) lo
demostraremos mucho ms adelante, utilizando la teora ms desarrollada
del anlisis , donde resultar sumamente sencillo.
3.5 PROBLEMAS
112
1. A partir de qu valor de n el elemento a n de la sucesin estar a
una distancia menor que 0.001 de a* en los siguientes ejemplos?:
1
an = ...;...a* = 0
n +1
1
an = ...;...a* = 0
n +1
n +1
an = ...;...a* = 1
n
n 1
an = ...;...a* = 1
n
2. Conteste la pregunta anterior para un acercamiento arbitrario dodo

por un > 0
3. Calcular los lmites (cuando existan) de las sucesiones siguientes:

n+3

n3 + 4
n3 + 4

n+3
( n +1 n) n + 3
1 1
a 0 = 3, a n +1 = (a n )
2 an
n
n2
2n + 1

2n 1
a n +1
4. Determine para qu valores de x el lmite : lim es
n a
n
1
estrictamente menor que 1, donde a n = 2
( x + 1) n
n
5. Calcule el lmite:
1 + 5 + 5 2 + 5 3 + ... + 5 n 1
L = lim
n 5n + n
113
6. Determinar los valores de a N tales que la sucesin :
(n + 1) a
xn = sea convergente.
( 2n 2 + a ) 3
7 . Construya una sucesin convergente (a n ) tal que los trminos de

ndice impar sean racionales mientras que los de ndice par sean
irracionales . Dnde se encontrar su lmite?
8.(*) Sean P1 < P2 dos puntos en la recta real. Defina P3 como el

punto medio entre P1 y P2 , P4 como el punto medio entre P2 y P3 ,
P5 como el punto medio entre P3 y P4 y as sucesivamente .
Converge la sucesin de puntos as definida? Cul ser su lmite?
9. Estudie las siguientes dos sucesiones (de significado ecolgico)

dadas inductivamente. Conjeture un lmite (usando el grfico de
la telaraa) y fundamntelo usando los teoremas
correspondientes:
xn
i) 0 x0 K , x n +1 = (1 + r (1 )) x n , para 0 r 1
K
r 1 rx n
ii) 0 x0 , x n +1 = , para a > 0, r 1
a 1 + ax n
10. Analice la convergencia de la clsica fraccin continua:
1
1+
1
1+
1
1+
1 + ...
Cul es la sucesin que la define inductivamente? Puede

ayudarse con el grfico de la telaraa
11. Sea (a n ) una sucesin acotada:
114
i) Demuestre que las sucesiones:
bn = sup{a k : k n} , c n = inf {a k : k n}
son convergentes.
ii) Llamando lim sup a n = lim bn ; lim inf a n = lim c n ,

demuestre: (a n ) es convergente si y solo si:
lim sup a n = lim inf a n
12. (*) Sea A . Demuestre:
i) x A (x n A)(lim x n = x )
ii) x A' (x n A)(( x n )inyectiva lim x n = x )
3.6 LA RECTA REAL EXTENDIDA
Si comparamos el comportamiento de las sucesiones: a n = n 2 + 1 y

bn = ( 1) notaremos que difieren en un punto esencial: la sucesin
n
(bn ) oscila entre 1 y 1 sin acercarse a ninguna parte. La sucesin

(a n ) , en cambio crece y crece alejndose constantemente del 0 , con lo
que podemos decir que se acerca a . Es por eso que se suele escribir:
lim(n 2 + 1) = . De la misma manera se escribe lim(1 n 2 ) = ,
n n
puesto que esta sucesin se aleja hacia la izquierda del 0 de modo

constante y persistente . Por esta razn resulta conveniente definir un
nuevo espacio, ms amplio que los nmeros reales y que contenga a
estos puntos extremos.
115
Definicin: El conjunto = { , } se llama recta real extendida,
donde y son dos nuevos objetos diferentes entre si y que no
pertenecen al conjunto de los nmeros reales. Para este nuevo
conjunto se define la siguiente estructura:
i) Estructura ordinal: < x < , x . Es decir, los
nuevos elementos incorporados cierran el orden de los
nmeros reales. es, con esta definicin, un conjunto
totalmente ordenado.
ii) Estructura topolgica: las vecindades de los nuevos
puntos son :
{
W = U : K , K < 0, [ , K [ U }
W = {U : K , K > 0, ]K , ] U }
Es importante notar que, la definicin para lim a n = es, usando la

estructura topolgica recin definida:
K > 0, m N , (n > m a n > K ) y anlogamente para lim a n =
Las nociones de punto de adherencia y punto de acumulacin se

extienden naturalmente a estos nuevos puntos. Agregamos a
continuacin algunos problemas que sirven de ejercicio para la mejor
asimilacin de esta nocin.
3.7 PROBLEMAS
1. Demuestre que es el nico punto de acumulacin del conjunto N

de los nmeros naturales.
2. Sea 0 un punto de acumulacin de A ]0, [ . Demuestre que es

1
punto de acumulacin de B = : x A .
x
116
3. Sea 1 un punto de acumulacin del conjunto A ] ,1[ .
1
Demuestre que es punto de acumulacin de B = : x A
1 x
4. Suponga que es un punto de adherencia del conjunto A .

x
Demuestre que 1 es punto de adherencia de B = : x A
1 x
117
CAPTULO 4 : EL LMITE CONTINUO
4.1.- DEFINICIN Y EJEMPLOS
Consideremos dos curvas en el plano, que se cruzan segn la Figura

4.1 siguiente:
Figura 4.1
Qu condiciones deben cumplir estas curvas para que no solo se

crucen sino que se corten , es decir, tengan efectivamente un punto en
comn ? Si estas curvas son grficas de funciones reales, el ejemplo
siguiente nos muestra que el problema tiene una gran trascendencia:
Figura 4.2
Aqu la curva pretende representar la grfica de la funcin f ( x) = x n ,

y la recta horizontal representa la grfica de la funcin g ( x) = b . Si
estas dos curvas tienen un punto en comn, entonces se tendr:
118
f (a ) = a n = g (a ) = b , es decir: a = n b . O sea, el punto en comn es
nada menos que la raz n-sima del nmero b.
El estudio de este problema nos conduce a la nocin de continuidad y

de lmite continuo.
El concepto de lmite de sucesiones corresponde a la idea de un

acercamiento pasa a paso de los elementos de la sucesin a su lmite.
Esta misma idea de acercamiento puede ser concebida de modo
continuo. Aqu debe tenerse una funcin definida, no sobre ndices
discretos como las sucesiones , sino sobre un intervalo, o por lo menos
sobre un conjunto que tenga al punto de acercamiento como punto de
acumulacin . Para visualizarlo mejor, ilustrmoslo con un ejemplo:
x2 a2
Sea f ( x) = . Qu ocurre cuando x se acerca a a? se acerca
xa
el valor de la funcin a algn nmero real? Ntese que a no est en el
dominio de la funcin f , es decir, no se puede evaluar la funcin en el
punto a. Pero para todos los nmeros x distintos de a , la funcin se
x 2 a 2 ( x a )( x + a )
puede calcular: f ( x) = = = x + a , luego, si x se
xa xa
acerca a a (sin tocarla!) claramente f(x) se acerca a 2a .
Las grficas siguientes ilustran distintos tipos de comportamiento:
y 1
0.5
0
-5 -2.5 0 2.5 5
-0.5
-1
(a) (b) (c)
Figura 4.3
En la Figura 4.3 (a), la funcin asume un valor distinto del valor L de

acercamiento. En la Figura 4.3 (b) se ha graficado la funcin parte
entera (el mayor entero menor o igual a la variable). Aqu el valor de
119
acercamiento es diferente si uno se acerca a los enteros por la izquierda
o por la derecha: Si uno se acerca a 1 por la izquierda, la funcin se
acerca a cero, mientras que por la derecha lo hace a 1. Finalmente, en
1
la Figura 4.3 (c), se ha graficado la funcin sen( ) , la cual no se
x
acerca a ninguna parte cuando x se acerca a 0.
La idea de lmite continuo es la de un acercamiento condicionado: el

nmero f (x) se acerca a su lmite si acaso x se acerca al punto de
acercamiento correspondiente. Ya hemos introducido, cuando vimos
los lmites de sucesiones, el concepto que matematiza la idea de
acercamiento: se trata de las vecindades . La siguiente definicin no
debiera, por lo tanto, ser demasiado sorprendente:
Definicin: Sea f : D , x 0 D ' . Entonces el lmite de la

funcin f cuando x tiende a x0 es L, en smbolos:
lim f ( x) = L
x x0
Si acaso:
(U WL )(V W x0 )( x V D {x0 } f ( x) U )
La siguiente figura (abstracta) puede ilustrar esta definicin:
Figura 4.4
120
La definicin formal anterior ha sido escrita en lenguaje lgico: vale la
pena hacer algunas observaciones aclaratorias:
1. Utilizando la definicin de subconjunto, la definicin puede ser

reescrita del siguiente modo:
(U WL )(V W x0 )( f (V D {x0 }) U )
2. La estructura lgica de este concepto (la definicin mirada

con rayos X) es :
p (q (r s ))
No es, por lo tanto, una nocin simple. Sin embargo, tampoco
es tan compleja: en el lenguaje usual usamos expresiones cuya
estructura lgica es similar:
Para cada perro hay un collar, tal que , si no se lo pone , correr
como loco por todas partes o bien:
cada vez que voy a comprar, me sale un perro que, si no le tiro
una piedra, me muerde
3. Se ha exigido que el punto de acercamiento x0 sea un punto

de acumulacin del dominio de la funcin. Esto es necesario ,
pues de lo contrario, segn la definicin de punto de
acumulacin, se podr encontrar siempre una vecindad V de
x0 tal que V D {x0 } = , con lo cual la condicin de lmite
se cumple para cualquier punto (hiptesis vaca). Desde el
punto de vista intuitivo, esta exigencia significa que nos
podemos acercar efectivamente al punto x0 por puntos que
estn en el dominio de la funcin.
4. Cuando tanto el punto de acercamiento x0 como el lmite L son
nmeros reales, la definicin puede ser escrita usando las
vecindades especficas de los nmeros reales:
( > 0)( > 0)(0 < x x0 < x D f ( x) L < )
5. Si x0 , pero L = , entonces hay que usar las vecindades

propias del punto infinito, y se tiene lim f ( x) =
x x0
121
si acaso: (K > 0)( > 0)(0 < x x 0 < f ( x) > K )
6. Si x0 = , pero L , entonces lim f ( x) = L significa:

x
( > 0)(K > 0)( x > K x D f ( x ) L < )
7. De modo anlogo se traduce la definicin de lmite a los casos:
lim f ( x) = L , lim = , lim f ( x) =

x x x0 x
8. Los lmites de sucesiones tambin son casos particulares de

esta definicin general. En este caso el dominio de la funcin
es el conjunto de los nmeros naturales (o una cola de l) y el
nico punto de acumulacin de este conjunto es , con lo cual
la definicin general anterior coincide con la definicin dada en
el captulo 3. De pasada podemos observar que la notacin
tradicional lim a n puede ser simplificada omitiendo el smbolo
n
n , ya que n no puede tender a otro lado que a infinito.
9. Finalmente podemos introducir los conceptos de lmites

laterales, simplemente restringiendo la funcin al lado
izquierdo o derecho del punto de acercamiento (el cual debe
ser, por supuesto, un nmero real):
a) lim f ( x) = L (lmite por la izquierda), si acaso

x x0
(U WL )( > 0)( x0 < x < x0 x D f ( x) U )
b) lim f ( x) = L (lmite por la derecha) , si acaso:

x x0
(U WL )( > 0)( x0 < x < x0 + x D f ( x) U )
Existen otras notaciones para estos lmites laterales. Nosotros

hemos denotado el lmite por la izquierda indicando que el
acercamiento hacia x0 es desde la izquierda, es decir, con x
122
subiendo hacia x0 . Otros autores denotan este lmite agregando
un signo menos al punto de acercamiento: lim f ( x) . Para el
x x0
lmite por la derecha, hemos indicado que el acercamiento es

desde la derecha, es decir, bajando hacia x0 . Otros autores
agregan un signo ms al punto de acercamiento: lim+ f ( x) .
x x0
Debido a la existencia de estos lmites laterales, el lmite

propiamente tal de una funcin suele recibir el nombre de
lmite bilateral.
Ejemplos
. El dominio de esta funcin es D = {0}, es

1
1. f ( x) =
x
decir, no incluye al 0. Pero el 0 es obviamente un punto de
acumulacin del dominio de la funcin, por lo que tiene sentido
preguntarnos por los posibles lmites hacia el 0:
1 1
a) lim = : en efecto, sea K > 0 : basta tomar = > 0 .
x0 x K
1 1
Si tomamos x tal que 0 < x < , entonces f ( x) = > = K .
x
1
b) lim = : en efecto, si nos damos un nmero K < 0 ,
x0 x
1
basta tomar = > 0 : Si tomamos un x tal que
K
1 1
< x < 0 , entonces f ( x) = < =K.
x
Debe notarse que, en este caso no hay limite bilateral, pero
ambos lmites laterales existen, si bien no son nmeros reales.
2. lim( x 2 + 1) = 2 . Este resultado es muy intuitivo, sin

x 1
embargo es preciso fundamentarlo, ya sea con algn teorema

(que an no tenemos) o, al menos, directamente con la
definicin: sea > 0 .Buscamos una vecindad de 1 que
asegure : ( x 2 + 1) 2 = x 2 1 = x 1 x + 1 <
123
para todos los x en esa vecindad. Esto se cumplir si

acaso: x 1 < . Debemos, pues, buscar una condicin de
x +1
acercamiento al 1 para x que implique la desigualdad anterior.
1 2 1
Sea = min , . Si | x 1 |< , entonces | x 1 |< ,
2 5 2
1 3
luego < x < . Adems:
2 2
2
| x 1 |< = < =
5 3 x +1 | x +1|
+1
2
3. lim x 1 = 0 . Debe notarse, antes que nada, que este

x 1
lmite coincide con el lmite por la derecha, ya que el
dominio de la funcin solo tiene elementos a la derecha del
1. Para demostrar nuestra afirmacin, tomemos un
acercamiento arbitrario > 0 : buscamos un acercamiento
> 0 al 1 que nos asegure: x 1 < . Pero esta
desigualdad est implicada por x 1 < 2 , ya que ambos
lados son positivos. Por lo tanto basta tomar = 2 .
4. lim x = a , a 0 . Si acaso a = 0 , se trata

xa
esencialmente del mismo ejemplo anterior. Supongamos
que a 0 , es decir, a > 0 . Sea > 0 : necesitamos
encontrar un > 0 que nos asegure x a < . El
siguiente clculo algebraico nos ayudar a encontrarlo:
x a ( x + a) xa xa
x a = =
( x + a) x+ a a
luego, bastar con tomar un = a .
5. El razonamiento empleado en el ejemplo anterior nos

permite una generalizacin interesante: supongamos que
hay una funcin tal que lim f ( x) = L 0. Entonces:
xa
124
lim f ( x) = lim f ( x)
xa xa
En efecto, si L = 0 , entonces dado > 0 , la desigualdad

f (x) < se logra con un > 0 que asegure f ( x) < 2 , si
acaso 0 < x a < . Para L > 0 usamos el mismo truco
algebraico del punto anterior:
f ( x) L f ( x) L
f ( x) L = < se lograr con un
f ( x) + L L
acercamiento que asegure f ( x) L < L , lo cual ,a su vez,
resulta de la hiptesis de que L es efectivamente el lmite de la
funcin.
6. lim x n = , si n es un nmero natural no nulo. En efecto,
x
sea K > 0 . Basta tomar M = n K : si x > M , entonces

xn > K .
.si.b > 0
7. lim bx = . Esto resulta directamente de las
x
.si.b < 0
definiciones.
Finalmente agreguemos algunas observaciones:
lim f ( x) = L lim f ( x) L = 0 , si acaso el lmite L es un

xa xa
nmero real. Esta propiedad resulta directamente de las
definiciones.
lim f ( x) = L lim f ( x) = lim f ( x) = L . Esto resulta
xa xa xa
tambin directamente de las definiciones. Ntese que en
este caso el lmite L no necesita ser un nmero real.
Demostrar la existencia de un lmite y, ms an, el clculo
de su valor son asuntos extremadamente complicados si la
funcin no es tan sencilla como las que se han presentado en
los ejemplos. Se necesita una teora. Y esa teora existe!
Presentaremos a continuacin sus elementos fundamentales.
TEOREMA 2. (Propiedades bsicas de los lmites de funciones)
125
1. (unicidad del lmite) Si una funcin tiene lmite, ste es
nico.
2. Si f ( x) = g ( x), x a , entonces
lim f ( x) = L lim g ( x) = L
xa xa
3. (cero aniquila) Si lim f ( x) = 0 y g es una funcin

xa
acotada en una vecindad de a, entonces
lim( fg )( x) = 0
xa
4. (el sandwich) Si f ( x) h( x) g ( x), x a y si

lim f ( x) = lim g ( x) = L , entonces lim h( x) = L
xa xa xa
5. (el lgebra de lmites) Si
lim f ( x) = A lim g ( x) = B
xa xa
entonces:
lim( f + g )( x) = A + B
xa
lim( fg )( x) = AB
xa
f A
Si adems B 0 , lim ( x) =
xa g B
6. (lema de enlace) lim f ( x) = L

xa
((a n ), a n dom( f ), a n a, a n a, f (a n ) L)
DEMOSTRACIN.
1. Si una funcin tuviese dos lmites distintos, digamos A B ,

entonces podemos tomar vecindades disjuntas de A y B que
debern contener las imgenes de puntos que estn vecindades del
mismo punto de acercamiento, lo cual es imposible, pues la
interseccin de dos vecindades de un punto es tambin una
vecindad del mismo punto.
2. Esta propiedad es consecuencia directa de la definicin pues el

punto de acercamiento se excluye de la condicin.
126
3. Sea lim f ( x) = 0 y g ( x) M para todo x en una vecindad V1 de
xa
a. Sea > 0 : existe una vecindad V2 de a tal que , si

x V2 dom( f ) {a} , entonces f ( x) < . Por lo tanto bastar
M
con tomar la vecindad V = V1 V2 : si a x V dom( f ) ,

entonces g ( x) f ( x) < M = .
M
4. Aqu es preciso distinguir tres casos:
L . Sea > 0 : existirn dos vecindades de a , V1 ,V2 tales que :
a x V1 dom( f ) L < f ( x) < L +
a x V2 dom( g ) L < g ( x) < L + . Bastar con tomar
la vecindad V = V1 V2 de a para que ambas desigualdades se
cumplan, luego, si a x V dom(h) , se tendr:
L < f ( x ) h( x ) g ( x ) < L +
L = . Sea K > 0 : existe una vecindad V de a tal que , si

a x V dom( f ) dom(h) , entonces K < f ( x) h( x) , es
decir, lim h(x) = . Ntese que la funcin g no se ha usado.
xa
L = . Sea K < 0 : existe una vecindad V de a tal que , si

a x V dom( g ) dom(h) , entonces h( x) g ( x) < K , es
decir, lim h(x) = .
xa
5. Sea : lim f ( x) = A lim g ( x) = B . Veremos

xa xa
separadamente los tres casos:
La suma: Sea > 0 : existirn dos vecindades V1 ,V2 de a tales que:

a x V1 dom( f ) f ( x) A < ,
2

a x V2 dom( g ) g ( x) B <
2
Bastar entonces tomar la vecindad V = V1 V2 para tener

f ( x) + g ( x) ( A + B) f ( x) A + g ( x) B < + = si acaso
2 2
a x V dom( f ) dom( g )
127
El producto: puesto que A es un nmero real, la funcin f estar
acotada , digamos por M , en una vecindad V1 de a . Por otro lado

habr otra vecindad , digamos V2 , tal que g ( x) B < en esa
2M
vecindad y, finalmente, habr una tercera vecindad, V3 donde se

cumple f ( x) A < . Por lo tanto, si V = V1 V2 V3 y si
2B
a x V dom( f ) dom( g ) , entonces tendremos:
f ( x) g ( x) AB f ( x) g ( x) f ( x) B + f ( x) B AB =

= f ( x) g ( x) B + f ( x) A B < M + B =
2M 2B
El cuociente: demostraremos primero el caso especial en que
f ( x) = 1, x . Recordemos que B 0 , por lo tanto existe una
vecindad V1 de a tal que si a x V1 dom( g ) , entonces se
B
tendr: g ( x) B < . Usando la desigualdad triangular al
2
B
revs, se tiene B g ( x) B g ( x) < , por lo tanto
2
B
g ( x) > . Por otro lado existe una vecindad V2 donde
2
B
2
g ( x) B < y si tomamos, como antes la interseccin de

2
estas vecindades, se tendr
2 1 B
2
1 1 B g ( x)
= < =
g ( x) B g ( x) B B B 2
Para el caso general, en que f es una funcin cualquiera que

cumple la hiptesis, basta usar el teorema para el producto.
6. El llamado lema de enlace recibe ese nombre porque enlaza el

lmite continuo con el lmite discreto, es decir, de sucesiones. Se
trata de una condicin necesaria y suficiente:
128
Sea lim f ( x) = L , sea (a n ), a n dom( f ), a n a , a n a y
xa
sea U W L . Por la hiptesis, para esta vecindad debe existir una

vecindad V de a tal que f ( x) U si a x V dom( f ) . Pero
para esta vecindad de a existe un nmero natural m tal que
a n V , si n>m. Luego f (a n ) U , es decir, puesto que a n a ,
limf (a n ) = L
Sea ahora : para cada sucesin (a n ), a n dom( f ), a n a ,
a n a , que f (a n ) L . Sea U WL y supongamos que no
existe ninguna vecindad V de a que cumpla con
f (V dom( f ) {a}) U : debemos llegar a una contradiccin.
Es necesario distinguir tres casos: (i) a : para cada nmero
1 1
natural n podemos considerar la vecindad Vn = a , a + .
n n
Por nuestra suposicin debe existir un elemento
a n Vn dom( f ) {a} tal que f (a n ) U . Luego esta sucesin
(a n ) tiende a a , pero f (a n ) no tiende a L . (ii) Si a = , basta
tomar Vn = ]n, ] y el mismo argumento es vlido. (iii) Si
a = , entonces debe tomarse Vn = [ , n[ .
Q.E.D.
Ejemplos
sen x
1.- lim = 1 . Este resultado necesita, en rigor, de una definicin
x 0 x
analtica de la funcin seno. Pero eso requiere un poco ms de
anlisis (Teora de Integracin). Sin embargo, si aceptamos algunas
propiedades que resultan de la geometra, podemos obtenerlo:
129
Figura 4.3
sen( x)
De la figura resulta la desigualdad: sen( x) x tg( x) = ,
cos( x)
sen( x)
luego: cos( x) 1 y, aceptando que lim cos( x) = 1 se
x x 0
obtiene el resultado propuesto por el teorema del sandwich.
[x ], x 1
2. Sea f ( x) = Entonces se afirma : lim f ( x) = 1 . En
2 x 1, x < 1 x 1
este caso no podemos evitar el clculo de lmites laterales:

lim f ( x) = lim[x ] = 1 y lim f ( x) = lim(2 x 1) = 1
x 1 x 1 x 1 x 1
x
3. lim = 1 . En este caso no podemos aplicar el lgebra
x
x+ x+ x
de lmites pues no es un nmero real. Pero podemos hacer
previamente un arreglo algebraico:
x x 1
= = cuyo
x+ x+ x 1 1 1 1
x( 1+ + ) 1+ +
x x x x
lmite es 1 aplicando el lgebra de lmites.
1+ x2 1
4. lim = 0 . Aqu tampoco podemos usar directamente el
x 0 x
lgebra de lmites. El truco algebraico es, en este caso, similar al que
130
se emple para las sucesiones:
1 + x 2 1 ( 1 + x 2 1)( 1 + x 2 + 1 x2 x
= = =
x x( 1 + x + 1)
2
x( 1 + x + 1)
2
1+ x2 +1
a esta ltima fraccin podemos aplicar el lgebra de lmites y el
resultado es 0.
1
5. lim n sen( ) = 1 . Se trata, en este caso, del lmite de una sucesin.
n n
cmo usar la teora de lmites continuos para abordar este lmite
discreto? Usaremos, evidentemente, el lema de enlace: consideremos
sen( x) 1
la funcin real f ( x) = y la sucesin a n = . Entonces:
x n
1
sen( )
f (a n ) = n = n sen( 1 ) . Como lim f ( x) = 1 , entonces tambin
1 n x 0
n
nuestra sucesin tiende a 1.
6.(*) lim f ( x) = lim f (1 2 x) , en el sentido que: la existencia de
x 1 x0
un lado implica la del otro y vale la igualdad. Este resultado es
bastante intuitivo, corresponde a una suerte de cambio de
variables, pues si x tiende a 0 entonces 1 2 x tiende a 1 y los
signos dan la lateralidad correspondiente. Sin embargo vale la
pena examinarlo con detalles. En primer lugar hay que
entender que hay en juego dos funciones : la funcin f y la
funcin compuesta g ( x) = f (1 2 x) . Si queremos analizar este
ejemplo en toda su generalidad, debemos examinar los
dominios de ambas funciones recordando que los puntos de
acercamiento deben ser puntos de acumulacin de dichos
dominios. La relacin entre los dominios es claramente la
siguiente:
1 x
x dom( f ) dom( g ) ;
2
x dom( g ) 1 2 x dom( f )
a) Sea lim f ( x) = L . Entonces 1 es un punto de acumulacin
x 1
del lado derecho del dominio de f , es decir:
1 (dom( f ) ]1, [)' . Debemos demostrar, en primer lugar,
que 0 es un punto de acumulacin del lado izquierdo del
131
dominio de g. Para esto, sea > 0 . Pero existe un x en el
dominio de f tal que 1 < x < 1 + 2 , por lo tanto
1 x 1 x
< < 0 , con dom( g ) , es decir, 0 es punto de
2 2
acumulacin del lado izquierdo del dominio de g. Sea ahora
U W L . Por hiptesis existe > 0 tal que, si 1 < x < 1 + y

x dom( f ) , se tiene f ( x) U . Bastar tomar < y < 0,
2
con y dom(g ) para tener: 1 < 1 2 y < 1 + , con
1 2 y dom( f ) , por lo tanto g ( y ) = f (1 2 y ) U . Es
decir, lim f (1 2 x) = L .
x0
b) Sea ahora lim f (1 2 x) = L . En particular,

x0
0 (dom( g ) ] ,0[)' . Debemos demostrar, en primer lugar

que 1 es punto de acumulacin del lado derecho del dominio
de f Para esto, sea > 0 : debe existir x en el dominio de g tal

que < x < 0 , por lo tanto 1 + 2 x < 1 + con
2
1 + 2 x dom( f ) , luego efectivamente 1 (dom( f ) ]1, [)' .
Sea ahora U W L : deber existir > 0 tal que , si
< x < 0 x dom( g ) , entonces g ( x) U . Pero bastar
con tomar ]1,1 + 2 [ como vecindad derecha de 1: si
1 y
1 < y < 1 + 2 y dom( f ) , entonces < < 0 con
2
1 y 1 y
dom( g ) , por lo tanto g ( ) = f ( y ) U , es decir
2 2
lim f ( x) = L .
x 1
1
7. (*) Sea lim f ( x) = . Entonces lim = 0 . Este ejemplo es
x 1 x 1 f ( x )
similar al anterior, si lo queremos analizar en toda su generalidad.

Lo primero ser demostrar que, bajo la hiptesis de que 1 es punto
de acumulacin del dominio de f , 1 tambin es punto de
1
acumulacin del dominio de la funcin . Para esto sea V una
f
vecindad de 1 . Deber existir otra vecindad V1 V tal que
132
f (V1 dom( f ) {1}) ] ,1[ Pero el conjunto
V1 dom( f ) {1} no es vaco , luego existe un x en este conjunto
y como f ( x) < 1 , existe el inverso multiplicativo de f (x) , es
decir, x dom( ) , luego, en particular x V dom( ) {1} . Por
1 1
f f
lo tanto 1 es tambin punto de acumulacin del dominio de la
1
funcin .
f
Sea ahora > 0 : por la hiptesis hay una vecindad V de 1 tal que ,
si: x V dom( f ) {1} , entonces f ( x) < . Luego
1

1 1 1
= < , es decir, lim = 0.
f ( x) f ( x) x 1 f ( x )
4.2 PROBLEMAS
1. En la siguiente pregunta la existencia o no existencia de lmites se

refiere a lmites de valores reales:
Si no existe lim( f ) ni lim(g), PUEDE existir lim(f+g) ?
Si existe lim(f) y lim(f+g) DEBE existir lim(g) ?
Si existe lim(f) y no existe lim(g) PUEDE existir lim(f+g)?
Si existe lim(f) y lim(fg) DEBE existir lim(g)?
2. Cree Ud. que existen los siguientes lmites?:
lim([x ] + x [x ])
x 1
x 8
lim
x 8 x 8
133
3 x 2
,x <8
lim g ( x) , donde g ( x) = x 8
2 ,x >8
x8
3x
1 cos x
,x < 0
x2
lim f ( x) , donde f ( x) =
( x + 2) 8 , x > 0
3
x0
En caso que su respuesta sea afirmativa cules seran sus valores?
3. Calcule los siguientes lmites (si es que existen) :
6 7x
lim
x 2 (3 + 2 x) 4
xn yn
lim
x y x y
1+ x + x2 1
lim
x 0 x
x 1 2
lim 2
x 5 x 25
sen(6 x)
lim
x 0 x
sen 2 x
lim
x 0 x tg( x )
z + tg( z )
lim
z 0 sen z
a+h a
lim
h 0 h
4(*). Demuestre las siguientes igualdades, en el sentido que la

existencia de un lado implica la del otro y vale la igualdad:
1
lim f ( x) = lim f ( )
x x 0 x
134
1
lim f ( x) = lim f ( )
x x 0 x
lim f ( x) = lim f ( x)
x0 x0
5. Demostrar que, si lim f ( x) = L , entonces lim f ( x) = L

xa xa
x, x.es.racional
6. Demostrar que , si f ( x) = , entonces
x, x.es.irracional
lim f (x) no existe si a 0 .
xa
7. Demostrar lim f ( x ) = lim f ( x)

x 0 x0
8. Demostrar lim f ( x ) = lim f ( x)

2
x 0 x 0
9. Escriba detalladamente la definicin de lim f ( x) = y su

x
negacin.
10. Sern correctas todas las siguientes definiciones de limite, a :
lim f ( x) = L
xa
Para todo > 0 existe un > 0 tal que: Si 0 < x a < ,

entonces f ( x ) L <
entonces f ( x) L
Para todo > 0 existe un > 0 tal que: Si 0 < x a < 5 ,
entonces f ( x) L <
entonces f ( x ) L < 5
f ( x)
11. Suponga que lim g ( x) = 0 . Ser cierto que lim = ? Si Ud.
xa xa g ( x)
considera que no es cierto deber demostrarlo apropiadamente. Tal

vez podra Ud. obtener un verdadero teorema agregando algunas
hiptesis.
135
4.3.- Definicin. Sea f : D , x0 D . La funcin f se dice
continua en el punto x0 de su dominio, si acaso:
(U W f ( x0 ) )(V W x0 )( x V D f ( x) U )
Como tanto x0 como f ( x0 ) son nmeros reales, la definicin anterior se
traduce: ( > 0)( > 0)( x x0 < f ( x) f ( x 0 < )
La funcin se dice continua en el dominio D, si acaso es continua en cada
punto de ese dominio
Observaciones:
1. Es importante notar las semejanzas y las diferencias de esta

definicin con la definicin de lmite continuo.
En la definicin de continuidad, el punto no necesita ser
punto de acumulacin del dominio de la funcin, pero si
necesita ser un punto del dominio de la funcin
En la definicin de lmite continuo el punto no necesita
estar en el dominio de la funcin, pero si necesita ser un
punto de acumulacin del dominio de la funcin.
2. Si acaso x0 D D' , entonces f es continua en x0 si y solo

si: lim f ( x) = f ( x0 )
x x0
3. Si x0 es un punto aislado del dominio de la funcin, entonces

la funcin es continua en x0
4. La continuidad es una propiedad local, es decir, solo involucra

al punto de continuidad y a una vecindad arbitrariamente
pequea.
5. Utilizando estas observaciones y el lgebra de lmites, vale

tambin el algebra de las funciones continuas: la suma,
producto y cuociente de funciones continuas (donde no se
anule el denominador) es continuo. Aqu puede agregarse
tambin la operacin composicin: pero esto requiere de una
136
demostracin, puesto que no aparece en nuestro teorema del
lgebra de lmites.
6. Si se restringe la funcin al lado izquierdo del punto, surge en

forma natural el concepto de continuidad por la izquierda:
lim f ( x) = f ( x0 )
x x0
y de modo anlogo el de continuidad por la derecha:
lim f ( x) = f ( x0 )
x x0
Ejemplos
sen x
1. La funcin f ( x) = no es continua en 0, pues 0 no est en el
x
dominio de la funcin . Pero posee una extensin continua: la
sen x
,x 0
extensin de f definida por f ( x) = x ,
1, x = 0
es continua en 0
2. La funcin parte entera : f ( x) = [x ] obviamente que no es

continua en los enteros, pero es continua por la derecha en los
enteros.
3. La funcin identidad f ( x) = x es claramente continua, lo que

se ve directamente de la definicin. Por lo tanto , usando el
lgebra de las funciones continuas, tambin lo sern todas las
funciones polinmicas : f ( x) = a 0 + a1 x + .....a n x n y tambin las
funciones racionales donde no se anule el denominador:
a 0 + a1 x + ...a n x n
R ( x) =
b0 + b1 x + ...bm x m
137
x 2 , x 0
4. La funcin f ( x) = es discontinua en 0, pues el lmite en
1, x = 0
0 no coincide con el valor de la funcin. Este tipo de
discontinuidades se suele llamar reparable, pues la funcin
puede dar origen a una funcin continua redefiniendo la
funcin en el punto 0. Este concepto de reparabilidad de
las funciones es bastante controvertido: sugiere que las
funciones discontinuas son anmalas, estn mal definidas,
como si la continuidad fuese una condicin de normalidad
de las funciones.
1
sen( ), x 0
5. La funcin f ( x) = x es claramente discontinua
0, x = 0
en el punto 0 sin posibilidad alguna de ser reparada, pues
no tiene lmite es ese punto. Este tipo de discontinuidades se
denomina de segunda especie, para diferenciarlas de
aquellas en que existen ambos lmites laterales, las cuales
se llaman de primera especie.
6.(*) Vamos a llamar funcin de Spivak a la funcin

Sp : [0,1] , definida por:

0, si.x.es.irracional

Sp ( x) = 1, si.x = 0
1 p
q , si.x = q , p, q, primos.relativos

Una buena grfica de esta funcin no es fcil de hacer, pero

se puede ilustrar dibujando el valor de la funcin en algunos
puntos:
138
Figura 4.5
Esta funcin es discontinua sobre los racionales del

intervalo [0,1] . En efecto, si x = , entonces f ( x) = > 0 .
p 1
q q
Basta tomar como vecindad de este punto el intervalo
1 1 11
q , q + con = 2 q . Entonces, para cualquier

vecindad de x habr puntos cuyos valores de funcin se
salen de esta vecindad de f (x) , a saber, aquellos cuya
valor de funcin es 0, o sea, los irracionales.
Pero lo interesante es que esta funcin es continua sobre los
irracionales: Sea x* un nmero irracional del intervalo [0,1] .
1
Sea > 0 , y sea n > . Para cada denominador

[0,1]
p
q = 1,2,3,4...n hay un nmero finito de racionales
q
, a saber, aquellos donde p = 1,2,3...q . Tomar el racional r
ms cercano a x* y definir = r x * > 0 . Entonces en la
vecindad ]x * , x * + [ solo habr racionales con
p 1 1
denominador q > n , por lo tanto Sp ( ) = < < , lo
q q n
que demuestra la continuidad de esta funcin sobre los
irracionales, ya que ella se anula sobre los irracionales.
139
TEOREMA 3. (Propiedades bsicas de las funciones continuas)
1. Sea lim g ( x) = L , sea f continua en el punto L y sea a un

xa
punto de acumulacin de dom( f D g ) . Entonces

lim f ( g ( x)) = f (lim g ( x)) = f ( L)
xa xa
2. Sea f continua en a, f (a ) > c . Entonces hay una vecindad U de

a tal que f ( x) > c, x U . Anlogamente, si acaso f (a) < c ,
hay una vecindad U de a tal que f ( x) < c, x U
3. (Teorema del valor intermedio) Sea f : [a, b] continua en

[a, b] , y sea f (a) < c < f (b) (o bien f (a) > c > f (b) ).
Entonces existe un x0 [a, b] , tal que f ( x0 ) = c .
4. (Teorema de los valores extremos) Sea f : [a, b] continua

en [a, b] . Entonces existen puntos x1 , x 2 [a, b ] tales que
f ( x1 ) = inf( f [a, b]) y f ( x 2 ) = sup( f [a, b])
5. (Teorema de la funcin inversa) Sea f : [a, b ] inyectiva y

continua. Entonces f es estrictamente montona, el recorrido de
la funcin f [a, b] es un intervalo y la funcin inversa
f 1
: f [a, b] es continua.
DEMOSTRACIN
1. Sea lim g ( x) = L , sea f continua en el punto L y sea a un

x a
punto de acumulacin de dom( f D g ) . Sea > 0 : por continuidad

de f en L , existe > 0 tal que f ( y ) f ( L) < para todo
y domf que cumpla y L < . Pero para este , por definicin
de lmite, existe una vecindad V de a tal que g ( x) L < ,si
acaso x V domg {a}
140
Usando la misma vecindad V , si x V dom( f D g ) {a} ,
entonces se tendr en particular que g ( x) domf , y cumple las
hiptesis , luego f ( g ( x )) f ( L) < .
2. Sea f continua en a, f (a) > c . Tomar = f (a) c > 0 . Por

continuidad existe una vecindad V de a tal que, si x V dom( f ) ,
entonces f (a ) f ( x ) f ( x) f (a ) < = f (a ) c , de donde
f ( x) > c . El caso en que f (a ) < c es completamente anlogo.
3. Sea f : [a, b ] continua en [a, b ] , y sea f (a) < c < f (b) .

Construyamos el conjunto: A = {x [a, b] : f ( y ) < c, y [a, x ]}.
Este conjunto no es vaco pues contiene a a y es acotado
superiormente por b. Luego, por el axioma del supremo existe
x0 = sup( A) . Adems x0 b por ser b una cota superior y x0
ser la menor. Adems x0 a por ser a elemento de A y x0 una
cota superior de A. Por lo tanto x0 [a, b] = dom( f ) . En
particular, f es continua en x0 . Demostraremos que este punto
satisface la propiedad f ( x0 ) = c . Supongamos que f ( x0 ) < c :
por el punto anterior habra una vecindad de a donde esto
ocurre, en particular habra un x1 > x0 donde f ( x1 ) < c , con lo
cual x0 no sera cota superior de A. Del mismo modo, si
f ( x0 ) > c , habra una vecindad con esa misma propiedad y
ninguno de esos puntos estara en A, con lo cual habra cotas
menores que x0 , es decir, x0 no sera supremo.
El caso f (a) > c > f (b) es completamente anlogo.
4. Sea f : [a, b] continua en [a, b] . Demostraremos primero

que el conjunto f [a, b] es acotado. Sea :
A = {x [a, b] : f [a, x ].es.a cot ado}. Es claro que A , pues
a A , adems A est acotado por b. Por el axioma del supremo
existe x0 = sup( A) . Por el punto anterior, la funcin f es acotada
en una vecindad de cada punto de continuidad, en particular,
x0 > a . Adems x0 b , luego x0 [a, b] . Si suponemos que
x0 x0 donde f [a, x ] es acotado , luego x0 no sera supremo.
Luego x0 = b . Finalmente f es acotada en una vecindad de b,
con lo que el conjunto f [a, b ] es acotado.
Llamemos = inf( f [a, b]) , y = sup( f [a, b ]) . Debemos
demostrar que tanto como estn en el recorrido de la
funcin. Supongamos que f ( x), x [a, b] . Se tendra que
es continua en [a, b] y por lo tanto

1
la funcin
f ( x)
acotada all. Esto, sin embargo, no es cierto, pues si nos damos
1
K > 0 bastar tomar = y, por definicin de supremo
K
habra x [a, b] tal que f (x) > , es decir,
1 1
0 < f ( x) < , luego: > = K . Anlogamente
f ( x)
ocurre con . Esto demuestra que ambos puntos son asumidos
por la funcin en el intervalo [a, b ] .
5. Sea f : [a, b] inyectiva y continua. Demostraremos este

teorema en varios pasos:
Sea x < y < z f ( x) < f ( z ) : entonces

f ( x) < f ( y ) < f ( z ) . En efecto, si no es as, por el teorema
del valor intermedio ya demostrado, se contradira la
inyectividad de la funcin. La Figura 4.5 ilustra este
comportamiento.
Figura 4.6
142
Anlogamente, si x < y < z f ( x) > f ( z ) , entonces
f ( x) > f ( y ) > f ( z ) .
Sea ahora x < y f ( x) < f ( y ) y tomemos un punto z fuera del
intervalo z < x < y . Entonces debe ocurrir f ( z ) < f ( x) , de lo
contrario se contradira el punto anterior tomando y como punto
intermedio. Anlogamente, si y < z , se debe tener f ( y ) < f ( z )
Anlogamente si x < y f ( x) > f ( y )
Aplicando todos los puntos anteriores, si f (a) < f (b) , entonces f
es estrictamente creciente. Si en cambio f (a) > f (b) , entonces f
es estrictamente decreciente.
Hemos demostrado que rec( f ) = [ f (a), f (b)] , si f es creciente y

rec( f ) = [ f (b), f (a )] si f es decreciente.
Sea ahora f 1 : rec( f ) [a, b] . Demostraremos la continuidad de
esta funcin en todo su dominio. Sea y 0 rec( f ) , luego existe un
nico
x0 [a, b] , tal que f ( x0 ) = y 0 . Sea > 0 : tomemos
= min{ f ( x 0 + ) y 0 , y 0 f ( x0 )}
Para el caso creciente (luego f 1 tambin es creciente), si
y < y 0 + y 0 + f ( x0 + ) y 0 = f ( x0 + ) , aplicando f 1
se
tiene: f 1 ( y ) < f 1 f ( x0 + ) = x0 + = f 1 ( y 0 ) + .
Si y > y 0 y 0 y 0 + f ( x0 ) = f ( x0 ) , entonces:
f 1
( y ) > x0 = f 1
( y 0 ) . Por lo tanto juntando estas dos
ltimas desigualdades: f 1
( y) f 1
( y 0 ) < , lo que demustra la
continuidad. El caso decreciente es enteramente anlogo.
Q.E.D
Corolarios y observaciones.
1. Si la funcin f no es continua el punto 1 del Teorema puede

fallar:
1, x = 0
Sea f ( x) = y g ( x) = x . Entonces lim g ( x) = 0 , luego
0, x 0 x 0
143
f (lim g ( x)) = f (0) = 1 . Pero lim f ( g ( x)) = lim f ( x) = 0 .
x 0 x 0 x 0
2. Esta observacin nos debiera poner en alerta respecto al cambio

de variables en los lmites. Un ejemplo simple al respecto es el
1, x > 0

siguiente: sea f ( x) = 0, x = 0 . Claramente no existe lim f (u ) .
u 0
1, x < 0

Pero si hacemos el cambio de variables x 2 = u tendramos
lim f ( x 2 ) = 1 .
x 0
3. Podemos demostrar un verdadero teorema de cambio de

variables (Teorema de Substitucin) si agregamos las
suficientes hiptesis y utilizamos adecuadamente nuestro
Teorema:
Sea lim f (u ) = L
u u 0
Sea lim u (t ) = u 0
t t 0
Sea rec(u ) dom( f )

Sea u (t ) u 0 , t V {t 0 }, V .vecindad .de.t 0
Entonces efectivamente lim f (u (t )) = L
t t 0
Para demostrar esto, comenzamos por definir

f (u 0 ) = lim f (u ) = L , con lo cual f se extiende continuamente a
u u 0
u 0 . La cuarta hiptesis permite asegurar que t 0 es un punto de

acumulacin del dominio de la funcin compuesta f D u .
Finalmente, aplicando el teorema, obtenemos
lim f (u (t )) = f (lim u (t )) = f (u 0 ) = L = lim f (u )
t t 0 t t 0 u u 0
4. De este mismo punto del Teorema podemos extraer el corolario:

la compuesta de dos funciones continuas es continua, ms
precisamente: si g es continua en a y f es continua en g (a) ,
entonces f D g es continua en a.
144
5. El Teorema del valor intermedio permite finalmente demostrar
la existencia de races de cualquier orden de nmeros positivos.
En efecto, consideremos la funcin f : [0, [ [0, [ definida
por f ( x) = x n . Esta funcin es continua, pues es el producto de
la funcin identidad n veces, es estrictamente creciente, por las
propiedades ya estudiadas de las desigualdades. Adems
lim x n = . Por lo tanto, si a es un nmero real positivo, habr
x
otro nmero c 0 tal que c n > a , luego, tenemos una funcin

continua tal que 0 = f (0) a < f (c) , por lo tanto, existe un
nmero b 0 , talque f (b) = b n = a , es decir, b = n a . Adems
este nmero es nico por ser la funcin estrictamente creciente.
La unicidad permite demostrar las propiedades bsicas de las

races:
n ab = n a n b . En efecto, basta probar que el nmero
n
a n b satisface la condicin de raz n-sima, es decir, es
un buen candidato: ( n a n b ) n = ( n a ) n ( n b ) n = ab , lo
que es una simple aplicacin de la conmutatividad del
producto.
n
a m = ( n a ) m . Esta es una generalizacin de la
propiedad anterior y puede demostrarse por induccin.
Pero tambin por la unicidad basta comprobar que
ambos nmeros satisfacen la condicin de raz n-sima:
si se eleva a la potencia n el lado derecho, se comprueba
que resulta a m
Finalmente el Teorema de la funcin inversa permite demostrar que la

funcin g ( x) = n x , con dominio [0, [ , es continua.
163
6. Demostrar que la ecuacin: x179 + = 119 tiene al
1 + x + sen 2 x
2
menos dos soluciones en . Esta ecuacin es del tipo

trascendente, es decir, mezcla potencias con funciones
trascendentes (como la funcin seno). No hay ms que mtodos
aproximados para el estudio de este tipo de ecuaciones. Sin
embargo, la pregunta por la existencia de soluciones se puede
145
responder fcilmente utilizando el Teorema del Valor
163
Intermedio. En efecto, la funcin x179 + es
1 + x + sen 2 x
2
claramente continua en todo . Si evaluamos en 0, obtenemos

el valor 163 que es mayor que 119. Evaluando en 1, se obtiene
un nmero menor que 83, que es menor que 119. Luego, en el
intervalo [0,1] debe haber una solucin. Finalmente, si
evaluamos en 2, la funcin toma un valor mayor que
2179 3.7 10 53 , que es obviamente mayor que 119, luego, en el
intervalo [1,2] debe haber otra solucin.
4.4 PROBLEMAS
1 1
1. Hallar una funcin que sea discontinua en 1, , ,...... pero
2 3
continua en todos los dems puntos.
1 1
2. Hallar una funcin que sea discontinua en 1, , ,...... y en 0,
2 3
pero continua en todos los dems puntos.
3. Suponga que la funcin f satisface la propiedad

f ( x + y ) = f ( x) + f ( y ) , x, y y que es continua en 0.
Demuestre que entonces es continua en todos los puntos.
4. Para cada una de las siguientes funciones, decida cules estn

acotadas superiormente o inferiormente en el intervalo
indicado, y cules alcanzan sus valores mximo o mnimo:
f ( x) = x 2 en ] 1,1[
f ( x) = x 3 en ] 1,1[
f ( x) = x 2 en
f ( x) = x 2 en [0, [
146
x2, x a
f ( x) = , en [a 1, a + 1] (aqu ser
a + 2, x > a
necesario distinguir distintos valores posibles de a )

0, x.irracional

f ( x) = 1, x = 0 en [0,1]
1 p
q , x = q . fraccin.irreducible

1, x.irracional

f ( x) = 1, x = 0 en [0,1]
1 p

1, x.irracional

f ( x) = 1, x = 0 en [0,1]
1 p

x, x.racional
f ( x) =
0, x.irracional
5. Suponga que f es continua en [a, b] y que f ( x) es siempre

racional. Qu puede decir acerca de f ?
6. Cuntas funciones continuas f existen que satisfacen la

relacin ( f ( x)) 2 = x 2 para todo x ?
7. Un conjunto de nmeros reales se dice abierto , si es vecindad

de todos sus puntos, es decir, cada elemento admite una
vecindad contenida completamente en el conjunto. Suponga
que la funcin f es continua en todo y que A es un conjunto
abierto en . Demuestre que el conjunto
f 1 ( A) =: {x : f ( x) A} es tambin abierto.
147
8. Cree Ud. que la ecuacin trascendente log x 2 cos x = 0 tiene

una solucin en el intervalo 0, ? Es nica ?
2
9. Ocurre lo mismo con la ecuacin log((1 + senx) cos x = 0 ?
10. Ser cierto que toda funcin continua f : [0,1] [0,1] posee
un punto fijo , es decir un nmero x [0,1] tal que f ( x) = x ?
11. Cree Ud. Que exista una funcin que sea continua en un nico
punto a y sea discontinua en todos los dems?
12. Si f y g son dos funciones reales, vamos a definir la

envolvente superior de f y g por ( f g )( x) = max{ f ( x), g ( x)}
y, anlogamente la envolvente inferior de f y g por
( f g )( x) = min{ f ( x), g ( x)} . Porqu cree Ud. Que se llaman
envolventes? (hgase un dibujito: le servir). Si tanto f como
g son continuas en un punto x lo sern tambin ambas
envolventes?
13. Determinar los valores que deben tomar los parmetros A y B

2senx., x 2

para que la funcin f ( x) = Asenx + B, < x < sea
2 2

cos x, x
2
continua en toda la recta real.
14. Generalice el mtodo empleado en el punto anterior

enunciando y demostrando un Teorema de Anudamiento de
Funciones Continuas , para funciones que estn definidas por
tramos.
148

Jorge González - Cálculo 1 PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Jorge González - Cálculo 1 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

CAPTULO 1 : LOS NMEROS REALES

Desde los inicios de la Humanidad, se hizo necesario algn sistema de

1.2.- LOS 16 AXIOMAS

Consideraremos al sistema de nmeros reales como un modelo

2. 0 , x + 0 = 0 + x = x, x (0 se llama neutro aditivo)

3. (x )( x , x + ( x) = ( x) + x = 0) (el nmero real -x se

Estos cuatro primeros axiomas hacen que el par (,+) se llame

5. ( xy ) z = x( yz ), x, y, z (asociatividad del producto)

6. 1 ,1 0, x.1 = 1.x = x, x (1 se llama neutro

7. (x 0)(x 1 , xx 1 = x 1 x = 1) (el nmero real x 1 se

8. xy = yx, x, y (conmutatividad del producto)

9. x( y + z ) = xy + xz, x, y, z (distributividad del producto

Este noveno axioma pone en relacin las operaciones de suma y

10. (x ), x x (reflexividad del orden)

11. x y y z x z (transitividad del orden)

12. x y y x x = y (antisimetra del orden)

13. (x, y ), x y y x (tricotoma)

Estas cuatro propiedades definen lo que se llama un orden total sobre

15. x y z 0 xz yz (compatibilidad del orden con el producto)

Estos dos axiomas ponen en relacin las operaciones de suma y

1.3.- PROPIEDADES Y OPERACIONES DERIVADAS

En la estructura bsica del sistema de nmeros reales no aparecen las

1. Unicidad de los neutros. En la lista de axiomas se afirma la existencia,

3. Unicidad de los inversos: Tampoco aparece en nuestra lista de axiomas

4. De lo anterior se sigue que

5. (1)a = a, a . En efecto, sumando:

7. Cualquiera sea el nmero real a, se tiene: a.0 = 0

8. El cuerpo de los reales no tiene divisores de cero , es decir:

9. 0 < 1 : en efecto, puesto que por axioma 0 1 , la negacin de la

10. El cuadrado de todo real a es positivo (o nulo): en efecto, por

11. Conviene definir: a < b a b a b , como desigualdad estricta.

12. Si a > 0 , entonces tambin a 1 > 0 . En efecto, si suponemos que

13. Si a < b , no necesariamente ocurre que a 2 < b 2 , pues por ejemplo

Sern verdaderas o falsas las afirmaciones siguentes? En caso

Es asociativa esta operacin?

1.5.- PROBLEMAS ELEMENTALES CON COMO CUERPO

Hay una gran cantidad de problemas de la vida real que se pueden

Si C representa cierta cantidad , entonces

1. El gerente de una empresa anuncia a sus trabajadores que, por motivos

2. El gerente de la empresa anuncia a sus trabajadores que, debido a los

3. Un animal de experimentacin , de peso inicial de 50[gr], aumenta su

5 . El problema inverso nos plantea una dificultad diferente: supongamos que

6. En una festividad se renen nios y nias. El 40% son nias y el 12% de

Existen dos conceptos diferentes acerca de la concentracin de una

que queda expresado en un porcentaje. Una concentracin relativa del

1. Se mezclan dos soluciones de cido clorhdrico: 3 litros al 10% y 5

donde, despejando la x, se obtiene: x = 0.25 litros.

1. Una bomba de agua llena un estanque en 6 horas y otra lo hace en 9

1. Una poblacin de insectos decrece sostenidamente en 2.3%

2.. Una poblacin de bacterias en un experimento de laboratorio

3. Una rata de laboratorio pesa inicialmente 27 gr. , aumenta su peso

4. Una poblacin de protozoos crece en 3.5% durante el da y decrece

5. Un inversionista coloca un milln de pesos a inters en el banco.

7. Con 950 ladrillos se han hecho tres tabiques. En el primero entra

8. Una llave de agua llena un estanque en 5 horas menos que otra y

9. Un qumico tiene 20 litros de un desinfectante al 3.5% de

10. Se tienen dos soluciones: 25 litros al 4.3% y 35 litros al 2.5%.

12. Cinco personas desean comprar un terreno pagando en partes

13. El 15% de los miembros de una poblacin estaba afectado de una

14. En una prueba de matemticas para bilogos el 12% de la clase no

15. Un cajn de manzanas contiene m unidades, de las cuales p estn

16. Un recipiente contiene aceite y otro contiene agua. Se saca una

17. Un tren rpido fu obligado a detenerse 16 minutos en un disco