Generalidades de Funciones

NOTAS DE ANLISIS I
(TOMO 1: CAPTULOS 1 6 Y APNDICE A)
NICOLS S. BOTBOL
www.algoritmos.itgo.com
Versin: Mayo de 2005
Notas de Anlisis I
ndice
NDICE
1 Introduccin
Conjuntos y relaciones
Naturales, Enteros, Racionales y Reales
7
7
8
2 - Generalidades sobre Funciones

Nocin de funcin
Grfico
Inyectividad, sobreyectividad y biyectividad
Otras consideraciones sobre funciones
Composicin de funciones
Funcin inversa
Funciones especiales
11
11
12
13
15
17
19
22
3 - Nmeros reales
La recta real
Axiomas de cuerpo ordenado
Supremo e nfimo
Abiertos y cerrados
Densidad de y completitud de
29
29
30
32
35
37
4 - Sucesiones
Trmino general
Propiedad del lmite y convergencia
lgebra de lmites
Indeterminaciones
Sucesiones montonas
Subsucesiones y teorema de Bolzano-Weierstrass
Ejemplo importantes (lmites especiales)
Sucesiones dadas por recurrencia
43
44
44
49
53
55
56
59
64
5 - Lmite de funciones y continuidad

Lmites en el infinito
Lmites en el punto
Lmites a derecha e izquierda
Continuidad
lgebra de lmites y continuidad
Teoremas sobre continuidad
Lmites especiales
69
69
73
75
79
81
82
87
6 - Derivadas
Definicin
89
89
Notas de Anlisis I
ndice
Derivada y recta tangente

Funcin derivada
Reglas de derivacin
Regla de la cadena
Derivabilidad y continuidad
Teoremas del valor medio (Fermat, Rolle, Lagrange y Cauchy)
Consecuencias de los Teoremas del valor medio
Derivada de la funcin inversa
Derivadas sucesivas
Regla de Lhpital
91
93
93
94
95
96
99
101
101
102
7 - Estudio de funciones
Ceros y puntos crticos
Positivita y negatividad
Crecimiento y decrecimiento
Extremos locales y puntos de inflexin
Asntotas
Concavidad y convexidad
Construccin de grficos
Aplicaciones
?
?
?
?
?
?
?
?
?
8 - Integrales
Nocin de rea
Sumas de Riemann
La integral definida
Regla de Barrow
Propiedades de la integral definida
Teorema del valor medio
Teorema fundamental del clculo
Clculo de primitivas
Mtodos de integracin
Integrales impropias
?
?
?
?
?
?
?
?
?
?
?
9 - Series
Trmino general y sumas parciales
Series geomtricas y telescpicas
Series de trminos no negativos
Series alternadas
Criterios de convergencia de series numricas
Convergencia absoluta
Series de potencias
Desarrollo de funciones en series de potencias
Series de potencias importantes
?
?
?
?
?
?
?
?
?
?
Notas de Anlisis I
ndice
Apndice A (Lgica de primer orden y teora de conjuntos)

Introduccin
Los axiomas
Conceptos bsicos teora de conjuntos y notacin
Lgica proposicional y de predicados.
Operaciones con conjuntos
Producto cartesiano, relaciones y funciones
105
105
105
106
107
110
112
Apndice B (Estructuras algebraicas)

Grupos
Anillos
Cuerpos
Espacios Vectoriales
?
?
?
?
?
Apndice C (Tpicos de la matemtica moderna)

Anlisis
Teora de nmeros
lgebra
Topologa
Geometra
?
?
?
?
?
?
Notas de Anlisis I
ndice
Notas de Anlisis I
1. Introduccin
1 - INTRODUCCIN
Conjuntos y relaciones
Comenzaremos definiendo la nocin de conjunto, ya que es fundamental
en toda la matemtica. No profundizaremos demasiado en este tema ya que slo
se pretende que el lector tenga los rudimentos bsicos para una buena
comprensin del texto especfico del libro. Si el lector est interesado en
profundizar en este tema puede remitirse al apndice B, o consultar la bibliografa.
Un conjunto es una coleccin de objetos bien definidos agrupados por
cierta caracterstica que los distingue del resto, por ejemplo el conjunto de las
mujeres involucra a todos los seres humanos de sexo femenino. El conjuntos de
nmeros pares es aquel que involucra a los nmeros que son divisibles por 2 como
por ejemplo 4, 6, 8, En general cuando hablemos de conjuntos haremos
referencia a conjuntos numricos, ms an, hablaremos principalmente de los
nmeros naturales , enteros , racionales , reales
y de sus subconjuntos.
As mismo dos conjuntos que sers de gran importancia tener presente son el
conjunto vaco y el conjunto universal. El primero, el conjunto vaco (se lo nota
de la siguiente forma: ), que se corresponde con aquel conjunto que no posee
elementos, o si se quiere, con el conjuntos de los elementos que tienen la
propiedad de ser distintos de s mismos (claro est que no puede haber elementos
distintos de s mismos, por ello, el conjunto por ellos es el conjunto vaco). Esto es
ms formalmente: = { x / x x} y esto se lee: El vaci es el conjunto formado
por los x tales que x x . El segundo, el conjunto universal (se lo nota de la
siguiente forma: A ), este es el conjunto que contiene a todos los elementos. Ms
formalmente: A = { x / x = x} y esto se lee: El conjunto universal es el conjunto
formado por los x tales que x = x .
Cada vez que se tiene un conjunto, se pretende establecer una vinculacin
entre ste con algn otro conjunto (que podra ser s mismo). Pensemos por
ejemplo un caso muy sencillo: queremos comprar manzanas, sabemos que el kilo
est a dos pesos, es decir por cada kilo que compre pagar 2 pesos. Estoy
estableciendo una relacin entre el conjunto de precios y el conjunto de kilos
posibles, en este caso como los precios posibles son 1, 2, 3,. Pesos y los kilos 1,
2, 3, kilos ambos conjuntos se representarn con los nmeros naturales , o
Notas de Anlisis I
talvez con
1. Introduccin
que es el conjunto de los naturales agregndole el elemento 0,
= {0} . (Ver apndice B)

Podamos pensar que ahora un kilo de manzana cuesta 1,50, con lo cual el
conjunto de precios no estara bien representado por los nmeros naturales, ya que
1,50 es un precio posible pero no un natural. Representaremos entonces a los
precios por los nmeros racionales
. Teniendo aqu una relacin entre el
conjunto de nmeros naturales (que representa los kilos) y el de los racionales
(que representa los costos). A esta altura no es difcil ver que si decidiramos
comprar un kilo y medio, o admitiendo que nuestra compra de manzanas no es
exactamente una cantidad de kilos entera, la relacin sera entre los racionales con
ellos mismos.
Pensemos por un momento que al tener un conjunto de Kilos posibles (A)
y otro de Costos posibles (B) nos podra interesar vincularlos, es decir establecer
una relacin entre los valores de A y los de B. Para fijar ideas pensemos en la
siguiente relacin: Rm que vincula un valor de A (es decir un peso determinado)
con el valor de B correspondiente al costo de esa cantidad de manzanas. En el
primer ejemplo esto sera: (1 ; 1,5) Rm esto quiere decir que el valor 1 est
relacionado con el valor 1,5. Otra relacin posible sera: R p la cual relaciona el
observar que
precio con el valor de las peras: Defino
R p de la siguiente manera:
(k ; 1, 70.k ) R p si k < 4 y no es cliente
(k ; 1, 60.k ) R p si k 4 y no es cliente , en este caso el precio depender de que
(k ; 1,50.k ) R p si es cliente
el comprador sea o no cliente y en caso de no serlo depender de si su compra
supera o no los 4 kilos. Es decir, una relacin es una vinculacin entre elementos
de dos conjuntos A y B, que a un elemento del conjunto A puede hacerle
corresponder tanto uno, ninguno o ms de un elemento del conjunto B, y
viceversa.
Para fijar ideas sean A y B dos conjuntos tales que A = {1, 2,3} y
B = {a, b, c} todas las relaciones posibles estn dadas por los siguientes pares:
(1, a); (2, a); (3, a); (1, b); (2, b); (3, b); (1, c); (2, c); (3, c ) en el primer caso
diremos que 1 se relaciona con a y se nota (1, a ) R .
A lo largo del libro trabajaremos con algunos objetos que denominaremos
funciones, que resultan ser casos particulares de relaciones, cuyo estudio
comenzaremos en el prximo captulo,
Naturales, Enteros, Racionales y Reales
Daremos entonces una definicin un poco ms detallada de los conjuntos

numricos que usaremos de aqu en ms.
Notas de Anlisis I
1. Introduccin
= {1, 2,3,} no daremos una definicin formal de estos

i) Naturales:
nmeros, para ello ver bibliografa [1CDIN]
= {0}
ii) Enteros:
donde = {1, 2, 3,} i.e. los naturales
con signo opuesto.
= a
a
y b observemos que los nmeros
iii) Racionales:
b
racionales son los nmeros fraccionarios, para los cuales el denominador
no se anula ya que es un nmero natural.
iv) Reales: no daremos una descripcin formal de los nmeros reales, slo
diremos que son aquellos nmeros con los que el alumno de secundario
est acostumbrado a trabajar. Podemos pensar que son todas las posibles
tiras
de
nmeros
que
sepamos
construir,
como
ser:
234,23411213567899000044 ; 0,45454545 observar que todos los
nmeros racionales son reales, ya que si q = a b , i.e. a y
b entonces podemos hacer la divisin y obtenemos que el nmero
26 7 = 3, 714285714285714
q = q1 qs , qs +1 ,
por
ejemplo
observemos adems que los nmeros racionales tienen una periodicidad en
su expresin decimal. Los nmeros enteros y naturales son racionales, por
lo tanto son peridicos 5 = 5,00000000 . Los nmeros racionales no son
y
los
nicos
reales,
por
ejemplo:
e = 2, 71828182846
= 3,14159265359 son reales no racionales.
y ms an, no vale en ninguno de

No es difcil ver que
estos casos la igualdad.
Para esto es necesario ver que todo natural es entero, todo entero es
racional (si n y como n = n n = n , ya que n n y 1 ),
1
1
y segn la definicin aceptada de , .
Notas de Anlisis I
1. Introduccin
10
Notas de Anlisis I
2. Generalidades Sobre Funciones
2 GENERALIDADES SOBRE FUNCIONES
Nocin de funcin
Para hablar de funciones debemos recordar la idea de relacin dada en el

captulo 1. Supongamos entonces que tenemos dos conjuntos A y B , y una regla
que los vincula a la que llamamos una relacin ( R ) .
Definicin: Diremos que ( R ) es una funcin si cumple las siguientes condiciones:
A cada punto de A le asigna un punto de B
i)
a A
Para
un
punto
dado
fijo,
si
ii)
b, b B (a, b) R y ( a, b) R entonces b = b
Notacin: en el caso anterior se escribe R : A B , por lo general se suele notar a
las funciones con las letras f , g , h .
En conclusin diremos que f : A B es una funcin si cada elemento
a A es asignado a uno y slo un elemento b B .
Definicin: Si f : A B es una funcin llamaremos:
i)
A es el dominio de la funcin f (y se nota Dom( f ) = A )
ii)
B es el codominio de la funcin f (y se nota Cod ( f ) = B )
iii)
f ( A) es un subconjunto de B (no necesariamente igual a B ) que se
denomina imagen de f (y se nota Im( f ) = A )
Si recordamos los ejemplos de relaciones dados en el captulo 1, la primera
relacin que mostramos era Rm que vinculaba los valores de los pesos de las
manzanas con sus respectivos costos. Pensemos por un instante que
A = {los pesos} y B = {los precios} entonces podemos pensar que ahora Rm
asigna a un peso dado un costos determinado (en este caso ser 1,5 veces el peso
en kilos), o sea Rm (a) = 1,5.a . Observemos adems que si suponemos que los
pesos slo pueden ser positivos o cero, entonces a cada peso se le asigna un costo
11
Notas de Anlisis I
y slo uno. Por lo tanto resulta que Rm es una funcin, para la cual
Dom( f ) = A = {los pesos} y Cod ( f ) = B = {los precios} .
Grfico
Siguiendo con el ejemplo anterior nos gustara tener una forma ms

tangible para poder comprender el comportamiento de nuestra funcin. Una forma
posible es mediante un grfico.
Recordamos del secundario el concepto de plano (espacio euclideo
bidimensional) o tambin 2 , formado por dos ejes ortogonales (perpendiculares)
comnmente denominados eje x (o eje de abscisas) y eje y (eje de ordenadas), el
primero horizontalmente y el segundo vertical. En este nuevo espacio
( 2 ) llamaremos puntos a sus elementos que tendrn la forma de pares ordenados
( x0 , y0 ) donde la primera coordenada corresponde a la posicin vertical (posicin
sobre el eje de las abscisas) y la segunda corresponde al valor de las ordenadas.
Para fijar ideas veamos el siguiente ejemplo:
Ejemplo: Consideremos una funcin que tiene como dominio y codominio al
conjunto de todos los nmeros reales, es decir, sea f : , definida de
manera tal que mande a cada elemento a su doble, o sea f ( x ) = 2.x
Es claro entonces que en este caso la imagen de f coincide con el codominio de
f . Para ver esto basta tomar un valor en codominio, b Cod ( f ) y ver que existe
un valor a Dom ( f ) tal que f ( a ) = b . Para ello basta tomar a = b .
2
Si realizamos un grfico de esta funcin colocando tanto en el eje de abscisas
como en el de ordenadas al conjunto , obtenemos:
f ( x) = 2 x
( x, 2.x )
12
Notas de Anlisis I
Inyectividad, sobreyectividad y biyectividad
En el estudio de las funciones podemos distinguir a las funciones segn su

comportamiento respecto de los elementos de su dominio y de su codominio.
Quisiramos poder distinguir a una funcin que siempre manda dos elementos
distintos a dos distintos y aquellas que no. Para fijar idea, pensemos en la funcin
del ejemplo anterior, es bastante claro que esta funcin siempre enva dos
elementos a elementos distintos, matemticamente decimos que si a b entonces
f (a ) f (b) .
Supongamos que f (a ) = f (b) y veamos que a = b . Si
f (a ) = f (b) , entonces como f ( x) = 2 x tenemos que 2.a = 2.b y multiplicando
por el inverso multiplicativo de 2 a ambos lados obtenemos que a = b .
Como para que esto se vea ms claro, consideremos la funcin g ( x) = x 2 ,
que dado un valor real cualquiera lo multiplica por s mismo. Tomemos a = 1 ,
b = 1 , y claramente a b ,pero g (a) = 1 y g (b) = 1 , luego g (a ) = g (b) .
Esto motiva la siguiente definicin:
Definicin: Una funcin f : A B se dice inyectiva si dados x1 , x2 A y
f ( x1 ) = f ( x2 ) x1 = x2 .
Con respecto a lo observado anteriormente, podemos decir que con las
funciones f y g definidas como antes, f es inyectiva, y que g no lo es.
Por otro lado hay diferencia sustancial entre estas dos funciones: como ya
observamos Im( f ) = , lo cual coincide con su codominio. Ser esto cierto para
la segunda? Claramente no! Tomemos un elemento particular en el codominio y
veamos que no pertenece a la imagen, por ejemplo que pasa si tomamos b = 1 ,
ser cierto que existe a Dom( f ) =
tal que f (a ) = b ? Responder esto es
equivalente a preguntarse si existe a Dom( f ) =
tal que
a 2 = 1 , y
claramente la respuesta a esto es negativa, no hay elementos que elevados al
cuadrado sean iguales a -1.
Esto motiva una nueva definicin:
Definicin: Una funcin f : A B se dice sobreyectiva (o suryectiva) si

y B x A tal que f ( x) = y .
13
Notas de Anlisis I
Diagrama que representa a

una funcin no inyectiva.
Diagrama que representa a

una funcin no sobreyectiva.
Un teorema importante que caracteriza a las funciones sobreyectivas el es

siguiente:
Teorema: Sea f : A B una funcin. Son equivalentes:

i) f es sobreyectiva
ii) f ( A) = B donde f ( A) = { y B / x A tal que f ( x) = y}
iii) Im( f ) = Cod ( f )
Demostracin: veremos entonces que i) ii) , ii) iii) y finalmente iii) i) .
i) ii) ) Sabemos f es sobreyectiva, luego y B x A tal que f ( x) = y ,
entonces por la definicin de f ( A) obtenemos que B f ( A) , y como f ( A) es
un subconjunto de B entonces vale f ( A) B , y por lo tanto f ( A) = B .
ii) iii) Sabiendo que f ( A) = B , como por definicin f ( A) = Im( f ) y
B = Cod ( f ) , obtenemos que Im( f ) = Cod ( f )
iii) i) Sabiendo que Im( f ) = Cod ( f ) entonces podemos afirmar que para
cualquier valor y Cod ( f ) , entonces y Im( f ) = f ( A) , por lo tanto como y es
un elemento de f ( A) , entonces por definicin de f ( A) existe un elemento luego
x A tal que f ( x) = y , lo cual nos da exactamente la definicin que dimos de
sobreyectividad.
Y con esto queda probado el teorema.
En conclusin podramos haber adoptado cualquiera de estas como la
definicin de funcin sobreyectiva.
Es importante observar que la inyectividad no esta necesariamente ligada
la sobreyectividad. Estos son conceptos que dependen fuertemente de la eleccin
del dominio y codominio de la funcin. Se deja como ejercicio para el lector
encontrar funciones que sean de un tipo y no del otro.
Concluiremos dando un nombre a aquellas funciones que cumplen las dos
caractersticas anteriormente mencionados.
Definicin: Una funcin

sobreyectiva.
f : A B se dice biyectiva si es inyectiva y
14
Notas de Anlisis I
Para ver cmo estos conceptos se relacionan con el codominio de la

funcin, basta analizar el grfico de la funcin. Si para todo valor
y B = Dom( f ) sucede que al trazar una recta horizontal corta en al menos un
punto al grfico de la funcin, entonces diremos que es sobreyectiva, ya que
entonces podemos encontrar un elemento x A tal que f ( x) = y . Si para todo
valor y B = Dom( f ) sucede que al trazar una recta horizontal corta en a lo
sumo un punto al grfico de la funcin, diremos que es inyectiva ya que la funcin
no repite valores del codominio. Luego en el caso en que para todo valor
y B = Dom( f ) suceda que al trazar una recta horizontal corte en uno y slo un
punto al grfico de la funcin, diremos que es biyectiva, ya que ser inyectiva y
sobreyectiva a la vez.
Ejemplo de funcin noinyectiva
Ejemplo de funcin nosobreyectiva
Ejemplo
biyectiva
de
funcin
Otras consideraciones sobre funciones
En la seccin anterior hemos estudiado como clasificar a las funciones de

acuerdo con su comportamiento respecto de su dominio y codominio, veremos
ahora cmo clasificarlas segn su simetra respecto de los ejes coordenados.
Definicin: Una funcin f se dice par si f ( x) = f ( x) para todo x en el

dominio.
Notar que esta definicin nos est diciendo que toda funcin par es
simtrica respecto del eje Y, ya que la funcin toma el mismo valor en los puntos
x y x .
Definicin: Una funcin f se dice impar si f ( x) = f ( x) para todo x en el

dominio.
Observara ahora que esta definicin no nos dice nada sobre su simetra
respecto de alguno de los ejes, sino que dice que toda funcin par es simtrica
15
Notas de Anlisis I
respecto del origen, ya que toma el mismo valor en los puntos ( x, f ( x)) y
( x, f ( x)) .
Definicin: Una funcin f

f ( x + p) = f ( x) para todo x .
se dice peridica con perodo
p ( p > 0) si
Si realizamos un grfico de una funcin peridica notaremos

inmediatamente que existe un intervalo en el cual la funcin toma ciertos valores
y que en el resto del dominio repite peridicamente estos valores tomados. Para
ver esto con ms claridad grafiquemos alguna de las funciones trigonomtricas
clsicas, por ejemplo el seno.
Grfico de la funcin f ( x ) = sin( x ) . Perodo: 2 , amplitud: 1.
Obs.: El perodo de la funcin f ( x) = A sin( Bx + C ) f ( x) = A cos( Bx + C ) es

2
.
B
Se deja como ejercicio para el lector determinar cul es el perodo de la
funcin f ( x) = tan x .
Para las funciones trigonomtricas definiremos su amplitud como A , esto
indica la diferencia entre las ordenadas de los valores mximos y los valores
mnimos
Veamos ahora algunos ejemplos que ayudarn a clarificar lo visto en las
secciones anteriores de este captulo.
Ejemplos:
Sea f : , f ( x) = mx + b, m, b , entonces si m 0 , f es
sobreyectiva ya que dado y0 = Cod ( f ) , basta tomar
y b
x0 = 0
= Dom( f ) , y se verifica que f ( x0 ) = y0 , (observar
m
que Im( f ) = Cod ( f ) ). f es inyectiva ya que si f ( x1 ) = f ( x2 ) ,
entonces mx1 + b = mx2 + b , luego despejando x1 = x2 . Por lo tanto f
es biyectiva y se ve que como f (a ) = ma + b y
como
f (a) = m(a) + b = ma + b ,
resulta
ser
par
si
16
Notas de Anlisis I
f (a ) = f ( a )
m(a ) + b = ma + b m( a ) = ma 2ma = 0 m = 0 . Y resulta ser
impar si f (a ) = f ( a ) m( a) b = ma + b b = b
2b = 0 b = 0 . Observar que la nica funcin par impar a la vez
es la funcin f ( x) = 0 x .
Sea f : , f ( x) = x 2 ,
existe un valor y0
x0 = Dom( f ) tal que
y0 = 1 , y claramente
entonces f no es sobreyectiva ya que

= Cod ( f ) para el cual no existe
f ( x0 ) = y0 , en este caso basta tomar
no existe x = Cod ( f ) tal que
f ( x) = x 2 = y , observar que Im( f ) = >0 = Cod ( f ) . Y f no es

inyectiva ya que existen x1 , x2 Dom( f ) tales que f ( x1 ) = f ( x2 ) , en
este caso basta tomar x1 = 1 , x 2 = 1 , y se ve que
f ( x1 ) = (1) 2 = 1 = (1) 2 = f ( x2 ) . Por lo tanto
no resulta ser
biyectiva. Se puede ver que f (a) = a = ( a) = f ( a) , luego f es

par.
2
Sea f : 0
biyectiva,
y
f:
Sea
f:
veamos
Im( f ) =
, f ( x) = x 2 . Se deja de ejercicio mostrar que f es

analizar
los
casos
f : 0
y
, con f ( x) = x 2 .
2
bx + (2 ba)
+b =
,
xa
xa
que
es
biyectiva.
Es
sobreyectiva
ya
que
{b} = Cod ( f ) (se deja de ejercicio verificar esto). Es
{a}
{b} ,
con
f ( x) =
f ( x1 ) = f ( x2 )
entonces
inyectiva
ya
que
si
2
2
2
2
+b =
+b
=
2( x2 a) = 2( x1 a) x2 = x1
x1 a
x2 a
x1 a x2 a
. Por lo tanto f es biyectiva. Se deja como ejercicio para el lector
verificar que f no es ni par ni impar.
Composicin de funciones
En esta seccin veremos una propiedad que tienen las funciones que es de
mucha utilidad, veremos que dos funciones se pueden componer. Para comenzar
supongamos que queremos tapizar un cuadrado de 10 cm. de lado, con una tela
que cuesta $0,2 el cm2, entonces primero calculamos el rea (10 cm. . 10 cm.=100
cm2) y luego calculamos su valor (100 . 0,2 = 20).
Pensemos matemticamente cmo fue nuestro proceder.
17
Notas de Anlisis I
g ( x) = 0, 2.x
f ( x) = x 2
Lado
10
a
rea
100
f (a)
Costo
20
g ( f (a))
Esto indica que estamos aplicando dos funciones, primero f ( x) = x 2 , que

es la funcin encargada de vincular el tamao del lado con el rea, y luego
g ( x) = 0, 2.x que es la que relaciona el valor del rea con el costo por unidad.
Podemos resumir todo este trabajo construyendo una nica funcin que sea la
encargada de calcular el valor total a partir del tamao del lado directamente.
Veamos que el resultado final es g ( f (a)) , es decir, aplicar g al resultado de
aplicarle f a a . Entonces definimos h( x) = g ( f ( x)) y lo notamos como
h=g f .
Definicin (Composicin de Funciones): Sean f : A B, g : B C dos
funciones. Definiremos la composicin de g con f como g f , tal que
( g f )( x) = g ( f ( x)) , es decir que g compuesta con f aplicada a un x funciona
como aplicar g al resultado de haber aplicado f a x .
g(B)
f(A)
f ( x)
g ( f ( x))
g f
Veamos algunos ejemplos que nos servir para clarificar cmo se realiza
una composicin de dos funciones:
Ejemplos:
i) Sean
f:
{3} , g :
dos funciones definidas como
2x +1
y g ( x) = x 2 + 2 . Veamos ahora cmo se comporta
x3
h=g f .
h=g f
La
funcin
est
definida
como
f ( x) =
( 2 x + 1) + 2 . Notar que
2x +1 2x + 1
)=
h( x) = g ( f ( x)) = g (
+2=
2
x 3
x 3
( x 3)
2
como dom(h) = dom( f ) =
{3} la funcin no se indefine.
18
Notas de Anlisis I
ii) Pero si decidiramos componer en sentido inverso es decir l = f g ,

l
luego
se
define
como
l ( x) = f ( g ( x)) :
l ( x) = f ( x 2 + 2) =
2( x 2 + 2) + 1
, deberamos tener mucho cuidado con
( x 2 + 2) 3
cul es el dominio de l . Ya que dom(l ) = { x

decir dom(l ) =
/( x 2 + 2) 3 0} , es
{1,1} . Esto es algo que no esperbamos a priori.
iii) Supongamos ahora que componemos dos funciones f y g cuyos

dominios son dom( f ) = {a} y dom( g ) = {b} Qu podemos
decir del dominio de h = g f y l = f g ?
Calcules cul es dom(h) = dom( g f ) , para empezar como
h( x) = g ( f ( x)) es necesario que f est definida donde h est
definida, luego a dom(h) . Pero adems hay que tener cuidad de que
g no reciba valores que no estn en su dominio, es decir qu pasa si
f (c) = b , no podramos calcular g ( f (c )) = h(c ) ? Entonces tenemos
que sacar todos los valores tales que vayan a para a b va f , es decir
debemos quitar todo el conjunto f 1 (b) = {c Dom( f ) / f (c) = b} .
Con lo cual obtenemos que dom(h) =
Se deja como ejercicio
dom(l ) = ( g 1 (a) {b}) .
para
( f 1 (b) {a}) .
el
lector
verificar
que
Funcin inversa
Supongamos ahora que estamos en las condiciones anteriores:

f : A B, g : B C dos funciones, y definimos h = g f , es decir, h el
resultado de aplicar f y luego g . Qu pasa si la eleccin de hace de forma tal
que g deshaga los cambios que produjo f ? Como se muestra en el siguiente
diagrama:
A
x
g(B) A
f(A)
f ( x)
g ( f ( x)) = x
g f = Id A
19
Notas de Anlisis I
Dicho de otro modo, la composicin de g con f no produce ningn

cambio, g ( f ( x)) = x . Pensemos en el siguiente caso: f ( x) = 2 x + 7 y
g ( x) = x 7 .
2
Calculemos h = g f : h( x) = g ( f ( x)) = f ( x) 7 = (2 x + 7) 7 = x .
2
2
Se deja como ejercicio para el lector verificar que l ( x) = ( f g )( x) = x .
Esto nos indica que las composiciones resultan ser las identidades de A y de B
respectivamente, esto es h = Id A , l = Id B .
En este caso diremos que f y g son funciones inversas y resultar que
C = A ( f : A B, g : B A ).
Definicin: Sean f : A B, g : B A dos funciones tales que f ( g ( x)) = x para
todo x en el dominio de g y g ( f ( x)) = x para todo x en el dominio de f ,
entonces f y g se dicen funciones inversas (se suele decir que g es la funcin
inversa de f y se nota g = f 1 ).
Ejemplos:
Sea f : , f ( x) = mx + b, m, b , como f es biyectiva si
m 0 , entonces admite inversa. Calculemos f 1 : tomo y = mx + b y
despejamos. y = mx + b y b = mx y b = x ya que m 0 ,
m
1
1
luego f : , se define como f ( x) = x b .
m
Sea f :
, f ( x) = x 2 , como f no es biyectiva no admite inversa.
Sea f :
, f ( x) = x 2 . Se deja de ejercicio mostrar que existe
f 1 definida como f 1 :
casos f :
y f:
y que f 1 ( x) = x y analizar los
, con f ( x) = x 2 .
2
bx + (2 ba)
+b =
. Hemos visto que
xa
xa
es biyectiva luego admite inversa y despejando obtenemos que como
2
2
2
+b y b =
xa =
(ya que
y b 0 , porque
y=
xa
xa
y b
2
b Cod ( f ) )
x=
+a,
luego
existe
f 1
definida
como
y b
2
f 1 : {b} {a} donde f 1 ( x) =
+a.
x b
Sea f :
{a}
{b} , con f ( x) =
20
Notas de Anlisis I
El siguiente teorema nos da una caracterizacin de las funciones que son

invertibles.
Teorema: Una funcin f : A B, con A, B
admite inversa si y slo si es
biyectiva.
Demostracin: ) Supongamos primero que f admite inversa, entonces
podemos definir una funcin g : B A que resulte ser la inversa de f de lo cual
sale que ( g f )( x) = x para todo x A y ( f g )( x) = x para todo x B .
Supongamos que existen x1 , x2 A tales que f ( x1 ) = f ( x2 ) entonces
g ( f ( x1 )) = g ( f ( x2 )) , luego ( g f )( x1 ) = ( g f )( x2 ) y por lo anterior x1 = x2 , lo
cual prueba la inyectividad. Por otro lado, sea y0 B , queremos ver que hay un
elemento x0 A tal que f ( x0 ) = y0 . Si consideramos x0 = g ( y0 ) resulta que
f ( x0 ) = f ( g ( y0 )) = y0 exactamente como queramos.
) Supongamos ahora que f es biyectiva y veamos que admite inversa, es
decir, debemos definir una funcin g : B A tal que ( g f )( x) = x para todo
x A y ( f g )( x) = x para todo x B . Tomemos entonces un elemento y0 B ,
por la sobreyectividad de f sabemos que existe un elemento x0 A tal que
f ( x0 ) = y0 y sabemos por la inyectividad que ese elemento x0 es nico. Entonces
definimos g ( y0 ) = x0 . Veamos que de esta forma obtenemos una funcin
g : B A , que por construccin es la inversa de f .
Daremos ahora nombre a otros tipos especiales de funciones, y usaremos
el teorema anterior para poder sacar conclusiones sobre la existencia de sus
funciones inversas.
Definicin: Sea f : A
diremos que f es creciente en A si, para todo
x1 , x2 A , x1 < x2 entonces f ( x1 ) f ( x2 ) .
diremos que f es decreciente en A si, para todo
x1 , x2 A , x1 < x2 entonces f ( x1 ) f ( x2 ) .
Observar que esto admite que en algunos puntos la funcin repita valores.
Daremos un nombre a aquellas funciones crecientes (o decrecientes) que no
repiten valores.
diremos que f es estrictamente creciente en A si,
para todo x1 , x2 A , x1 < x2 entonces f ( x1 ) < f ( x2 ) .
21
Notas de Anlisis I
diremos que f es estrictamente decreciente en A si,
para todo x1 , x2 A , x1 < x2 entonces f ( x1 ) > f ( x2 ) .
Notar que la desigualdad estricta impide que la funcin repita valores. Por
otra parte, es claro que si una funcin es estrictamente creciente (decreciente),
entonces es creciente (decreciente) a secas.
Para las funciones que son crecientes o decrecientes diremos que son
funciones montonas, y este trmino involucra a todas las funciones que son de la
forma de las de las definiciones anteriores.
Veamos cmo aporta esto al objetivo de estudio de esta seccin que es la
existencia de la funcin inversa de una funcin dada.
Supongamos que f : A B es una funcin estrictamente creciente, por lo
que vimos antes no repite valores en el codominio, ya que si x1 x2 , entonces
x1 < x2 x2 < x1 y entonces f ( x1 ) < f ( x2 ) f ( x2 ) < f ( x1 ) luego f ( x1 ) f ( x2 ) ,
lo cual prueba la inyectividad. Por otra parte si modificamos el codominio de f
convenientemente, es decir, tomamos B = Im( f ) , entonces resulta biyectiva, y
por lo que vimos antes esto es equivalente a decir que f admite una funcin
inversa. Esto prueba el siguiente teorema:
Teorema: Sea f : A
estrictamente creciente o decreciente en un intervalo,
entonces f admite inversa.
En los siguientes grficos se puede observar cmo la monotona de la
funcin implica la biyectividad y esto permite definir la funcin inversa. Adems
as se podr apreciar cmo el grfico de una funcin y el de su inversa resultan
simtricos respecto de la recta y = x
22
Notas de Anlisis I
Este grfico muestra la simetra respecto de la recta y = x
Funciones especiales
Dedicaremos esta seccin a estudiar algunos tipos de funciones

particulares, a saber: Funciones lineales, cuadrticas y polinmicas en general.
Funciones lineales
Definicin: diremos que una funcin f : A B es lineal si responde a la
forma f ( x) = mx + b , con m, b .
La primera observacin ser que es grfico de una funcin de este tipo esta
representado por una recta. Es fcil ver que si m = 0 esta funcin resultar
constante, es decir, tendremos que f ( x) = b para todo valor de x , con lo cual su
grfico sera una recta horizontal a la altura del valor b . Al nmero m lo
llamamos la pendiente de la funcin, ya que en un grfico de la funcin, ste
determina la inclinacin de la recta. Al valor b lo llamamos ordenada al origen.
En resumen toda funcin lineal est determinada por dos valores: la pendiente y la
ordenada al origen.
Una observacin elemental que est relacionada con la geometra del
grfico de las funciones lineales es que como ste es una recta, bastara conocer
dos puntos del plano por donde esta funcin pasa para determinar su grfico
completo. Esto es: dados los puntos ( x0 , y0 ), ( x1 , y1 ) A B , existe una nica recta
que pasa por esos puntos.
Ms an, veremos que dada una recta en el plano ( L A B 2 ), hay
una nica funcin cuyo grfico es L , esto junto con la observacin nos permite
23
Notas de Anlisis I
ver que dos puntos cualesquiera ( x0 , y0 ), ( x1 , y1 ) A B (no alineados

verticalmente) determinan una nica funcin lineal.
Veamos entonces que se cumple lo que afirmamos en el prrafo anterior,
es decir, que dada una recta determinada en el plano hay una nica funcin lineal
para la cual esa recta representa su grfico. Construiremos una funcin lineal
donde el valor de m est dado por la pendiente de la recta y el valor de b sea la
coordenada del eje de las ordenadas (Y) donde el grfico de la funcin corta a
este mismo eje. Cmo determinamos la pendiente? La pendiente esta dada por el
cociente entre el incremento en el eje de las ordenadas, y el incremento en el eje
y y
de las abscisas. Es decir definiremos m = 1 0
= Y
y b estar
x1 x0
X
definido como el valor que hace que (0, b) L .
Por construccin estos valores m y b son nicos. Supongamos que
hubiera otro valor posible para b entonces como b = f (0) ya que f (0) = m0 + b ,
este nmero determina que punto del plano de la forma (0, b) que pertenece al
grfico de f . Y nuevamente slo hay un posible valor para la pendiente de la
recta que es el valor de m por definicin, luego hay una nica funcin posible
para un grfico dado.
El grfico de abajo ilustra el proceder anterior.
Definimos:
( 0, b )
m = Y
X
x
Definimos la
ordenada al
origen como el
valor b hallado.
Se enunciarn a continuacin dos teoremas cuyas correspondientes

demostraciones quedan como ejercicio para el lector.
Teorema: Sea f : A B una funcin lineal, f ( x) = mx + b , con m, b
entonces f es creciente si m 0 y decreciente si m 0 .
Teorema: Sea f : A B una funcin lineal, f ( x) = mx + b , con m, b ,

entonces f es estrictamente creciente si m > 0 y estrictamente decreciente si
m < 0.
24
Notas de Anlisis I
Funciones cuadrticas
Definicin: diremos que una funcin f : A B es cuadrtica si responde a la
forma f ( x) = ax 2 + bx + c , con a, b, c y a 0 .
Notar que esta ltima condicin es fundamental ya que si a fuera 0
entonces f sera una funcin lineal.
En este caso necesitaremos conocer estos tres valores para poder conocer
unvocamente a la funcin cuadrtica de la que se habla. Como sus grfico est
representado por una parbola necesitaremos ahora conocer tres puntos del plano
(no alineados) por donde la parbola pasa para determinarla de forma nica. Y
como dada una parbola hay una nica funcin para la cual sta es su grfico,
entonces tres puntos en el plano (no alineados) determinan una nica funcin
cuadrtica.
Una propiedad importante que diferencia a las funciones cuadrticas de las
lineales es que para las primeras hay esencialmente una nica forma de
expresarlas ( f ( x) = mx + b ), mientras que para las cuadrticas tenemos tres
maneras posibles, a saber:
i) Forma poli nmica: f ( x) = ax 2 + bx + c , con a, b, c y a 0 .
ii) Forma cannica: f ( x) = a( x xv ) 2 + yv , donde xv representa el valor de
las abscisas del vrtice y yv el valor de las ordenadas del vrtice.
iii) Forma factorizada: f ( x) = a ( x x1 )( x x2 ) , donde x1 y x2 representan
las races de f . Notar que si f no tiene races, es decir f ( x) x para todo x ,
entonces no es posible expresar a f de esta forma.
yv
( xv , yv )
xv
No tiene races, a > 0 .
Tiene races r1 = 1 , r2 = 2,5 , a < 0 .
Revisemos los conceptos que se usaron en las definiciones:
25
Notas de Anlisis I
Llamamos eje de simetra de la funcin al valor xs de las abscisas para el

cual se cumple que f ( xs h) = f ( xs + h) , es decir, el grfico de la funcin es
simtrico respecto de la recta vertical x = xs . Llamamos vrtice al punto del plano
( xs , f ( xs )) y lo notamos ( xv , yv ) .
Con respecto al nmero a diremos que su valor absoluto, que es el
coeficiente correspondiente al trmino cuadrtico, es el que determina la amplitud
de la parbola. Esto quiere decir que cuanto mayor es el nmero | a | la parbola
que representa grficamente a la funcin f estar ms abierta, cuanto menor
sea | a | , la parbola estar ms cerrada. Adems si el valor de a es positivo la
parbola estar apoyada en su vrtice, mientras que si a es negativo, entonces
la parbola estar colgando del vrtice. Ms formalmente diremos que: a > 0
entonces la funcin tendr concavidad positiva, si a < 0 diremos que la funcin
tiene concavidad negativa, o simplemente que es cncava positiva o negativa
respectivamente.
Los valores x1 y x2 mencionados en la tercera definicin corresponden
como ya dijimos a los ceros de la funcin, est claro que stos podran no existir.
Consideremos el caso de la funcin f ( x) = x 2 + 1 , donde segn la notacin
adoptada a = 1 , b = 0 , y c = 1 . Debera ser claro para el lector que esta funcin no
puede tener ceros, ya que buscar soluciones para la ecuacin f ( x) = 0 es
equivalente a buscar una solucin para x 2 + 1 = 0 , o sea x 2 = 1 , lo cual sabemos
que no es posible sobre el conjunto de los nmeros reales. En casos como este en
el cual la funcin cuadrtica que se nos dio no admite expresin factorizada
diremos que es irreducible, y grficamente se condice con el hecho que su grfico
no corte el eje de las abscisas (las abscisas de estos posibles cortes son los
candidatos a races de la funcin).
Funciones polinmicas
Este tipo de funciones sern tratadas muy brevemente. Es probable que el
alumno est acostumbrado a operar con polinomios, no haremos aqu ninguna
distincin entre polinomios y funciones polinmicas ya que no pretendemos
meternos en conceptos demasiado algebraicos, y escapa a los objetivos de este
curso.
Este tipo de funciones generalizan a las funciones anteriores, recordemos
que las funciones lineales son de la forma f ( x) = mx + b , y las cuadrticas son de
la forma f ( x) = ax 2 + bx + c , en las primeras el mayor exponente que acompaa a
las x es a lo sumo un 1, mientras que en las segundas es un 2. Llamaremos
funciones polinmicas a aquella funciones que son sumas finitas de coeficientes
de la forma ax n , con a
y n , es decir ahora admitiremos que los
exponentes sean tan grandes como se deseen. Es importante que el alumno no
26
Notas de Anlisis I
confunda a las funciones polinmicas con aquellas sumas en las cuales se

permiten trabajar con infinitos trminos, a estas se la llamarn series y las
trataremos en el ltimo captulo.
Definicin: diremos que una funcin f : A B es polinmica si responde a la
para todo i entre 0 y n .
forma f ( x) = an x n + an 1 x n 1 + + a1 x + a0 , con ai
Con la notacin de la definicin anterior llamaremos grado de f al
exponente de la x del primer trmino de coeficiente no nulo. Entonces ahora
podemos formalizar la idea anterior de que las funciones polinmicas generalizan
a las funciones lineales y a las cuadrticas. Podramos definir a las funciones
lineales como funciones polinmicas de grado menor o igual que 1, y a las
funciones cuadrticas como aquellas funciones polinmicas de grado 2.
Dadas dos funciones polinmicas f ( x) = an x n + an 1 x n 1 + + a1 x + a0 y
g ( x) = bm x m + bm 1 x m 1 + + b1 x + b0 , definimos la suma de f con g como:
(Supondremos que m > n ) entonces completando con ceros los trminos
correspondientes
obtenemos
que:
m
n +1
n
n 1
f ( x) = 0 x + + 0 x + an x + an 1 x + + a1 x + a0 y luego sumamos trmino a
se completa con 0 los
trminos restantes
para llegar a m
trmino obtenemos:
f ( x) + g ( x) = (bm + 0) x m + + (bn +1 + 0) x n +1 + (bn + an ) x n + + (b0 + a0 ) .
Para facilitar la notacin introduciremos aqu algn simbolismo que puede
que al lector le resulte nuevo, es aconsejable que se asimile esta escritura lo ms
rpido posible, ya que ser de frecuente uso en todas las materias de matemtica
n
desde aqu en adelante. Notaremos
a x
i =0
= an x n + an 1 x n 1 + + a1 x + a0 , es
decir, la suma de los trminos de la forma ai xi desde i = 0 hasta i = n .

Ahora estamos en condiciones de definir el producto de funciones
polinmicas.
Dadas
dos
funciones
polinmicas
n
n 1
m
m 1
y
f ( x) = an x + an 1 x + + a1 x + a0
g ( x) = bm x + bm 1 x + + b1 x + b0 ,
definimos el producto de f con g como:
n+m
f ( x).g ( x) = ( (b0 + ai ) + (b1 + ai 1 ) + + (bi 1 + a1 ) + (bi + a0 ) ) xi , es decir, es una

i =0
suma desde i = 0 hasta i = n + m , donde el i-simo sumando es la sumas de todos

los coeficientes (tomados de a dos) cuyos ndices suman i . Notar que esto nos es
ms que una generalizacin la propiedad distributiva que el lector ya conoce, si se
quiere una forma complicada de escribir la distributiva de dos trminos:
(an x n + an 1 x n 1 + + a1 x + a0 ).(bm x m + bm 1 x m 1 + + b1 x + b0 ) .
27
Notas de Anlisis I
Nuevamente la resta entre f y g est definida como f + (1).g donde,

tanto la suma como el producto, son los recin mencionados.
28
Notas de Anlisis I
3. Nmeros Reales
3 - NMEROS REALES
Nuestro objetivo principal es profundizar el estudio sobre el

comportamiento de las funciones ( f : A B ) y lograr operar con ellas. Para esto
ser necesario manejar bien el concepto de nmero real, ya que los conjuntos A y
B donde trabajaremos sern en general subconjuntos de los nmeros reales, es
decir A y B .
Veremos en este captulo cmo se representan los nmeros reales sobre
una recta. Y estudiaremos algunas de las propiedades que tienen los nmeros
reales y algunos de sus subconjuntos, entre ellas se destacan dos propiedades muy
importantes como ser la propiedad de completitud y de densidad.
La recta real
Es conocido por la mayora de los alumnos de secundario que los nmeros

reales pueden ser representados sobre una recta. Esto no es acaso posible
tambin con los nmeros racionales, enteros y naturales? Qu propiedad tan
importante cumplen los nmeros reales que los distinguen tanto del resto?
Para empezar observemos que si colocamos los nmeros enteros o
naturales sobre una recta quedan agujeros, es decir, podemos observar que entre
un natural y otro, o entre un entero y otro hay un espacio libre.
-2
.
-1
.
0.
1.
2.
3.
4.
5.
6.
7.
Al final de este captulo mostraremos que si bien los nmeros racionales

parecen llenar la recta, de todas forman siguen quedando agujeros. Sin embargo
en cualquier segmento por ms pequeo que sea, podremos encontrar un nmero
racional ah dentro (Propiedad de densidad). El resultado fundamental ser que si
colocamos todos los nmeros reales sobre la recta, esta se llena completamente
sin dejar agujeros, y este resultado ser el ya mencionado principio de
completitud.
Estudiaremos primero algunas propiedades elementales de los nmeros
reales en la seccin siguiente, veremos cmo se comporta el conjunto , de los
nmeros reales, con respecto a las operaciones + (suma) y . (producto).
29
Notas de Anlisis I
3. Nmeros Reales
Axiomas de cuerpo ordenado
Consideremos para comenzar en conjunto de los nmeros reales, un

conjunto como se indico en el captulo 1, no es ms que una bolsa de elementos,
es decir, si pensamos en el conjunto de las manzanas, no podemos hacer ningn
tipo de operacin adicin, multiplicacin, potenciacin, etc. En este caso decimos
que un conjunto no est dotado de ninguna operacin, es decir, no es ms que los
elementos que lo componen. (Ver apndice B) Sin embargo nos interesara poder
definir sobre el conjunto de los nmeros reales dos operaciones, para lo cual
consideraremos a partir de ahora la terna ( , +, .) , o sea, el conjunto
con las
operaciones + (suma) y . (producto). Esta terna forma lo que se denomina una
estructura de Cuerpo (ver apndice A).
Observemos que ahora ya tenemos estas dos operaciones se nos permiten
sumar y multiplicar nmeros reales, y como -1 es un nmero real tambin
tenemos la resta ya que a b = a + (1).b .A dems como todos los inversos de un
nmero real no nulo tambin es un nmero real, es decir, si
a {0} 1 = a 1 , entonces la divisin es una operacin vlida, ya que
a
a = a. 1 = a.b 1 , y ya sabemos que b 1 si b 0 .
b
b
Pero todo esto no nos dice nada a cerca de cmo se comparan dos nmeros
reales, es decir, nos gustara poder decidir si dados a y b dos nmeros reales
cualesquiera alguno es mayor, menor o igual que el otro. Para esto
consideraremos una nueva operacin que ser (menor o igual que), donde
a b se lee: a es menor o igual que b . Entonces agreguemos esta operacin a
nuestra terna anterior y la transformaremos en una cuaterna ( , +, ., ) , donde
ahora adems de tener las operaciones ya mencionadas tenemos una nueva
operacin, que nos permite comparar dos elementos cualesquiera.
Observemos que la operacin nos permite obtener nuevas operaciones,
es decir si a b y b a , entonces diremos que a = b ( a es igual a b ), esto no es
una propiedad, estamos definiendo la igualdad entre nmeros reales, en el caso en
que no suceda que a = b , diremos a b ( a es distinto de b ). Adems si sabemos
que a b y a b , entonces diremos que a < b ( a es menor que b ),
nuevamente aqu estamos definiendo la operacin <.
Veamos finalmente cules son los axiomas de cuerpo ordenado, es decir
las propiedades que una cuaterna debe cumplir para ser un cuerpo ordenado.
Axiomas de cuerpo ordenado para ( , +, ., ) :
S1)
Conmutatividad:
Dados dos nmeros reales a y b vale que a + b = b + a
S2)
Asociatividad:
Dados tres nmeros reales a , b y c vale que a + (b + c) = (a + b) + c
S3)
Elemento neutro de la suma:
30
Notas de Anlisis I
3. Nmeros Reales
Existe un nmero real 0 (cero) para el cual, para cualquier nmero real a ,
vale que a + 0 = a
S4)
Inverso aditivo:
Dado un nmero real a , existe otro nmero real que representa el inverso
aditivo de a , que notaremos a , tal que a + ( a) = 0
P1)
Conmutatividad:
Dados dos nmeros reales a y b vale que a.b = b.a
P2)
Asociatividad:
Dados tres nmeros reales a , b y c vale que a.(b.c) = (a.b).c
P3)
Elemento neutro del producto:
Existe un nmero real distinto de cero 1 (uno) para el cual, para cualquier
nmero real a , vale que a.1 = a
P4)
Inverso multiplicativo:
Dado un nmero real a distinto de cero, existe otro nmero real que
representa el inverso multiplicativo de a , que notaremos a 1 , tal que a.(a 1 ) = 1
D)
Distributividad: (este axioma vincula las operaciones + y .)
Dados tres nmeros reales a , b y c vale que a.(b + c) = a.b + a.c
O1) Tricotoma:
Dados dos nmeros reales a y b vale una y slo una de las siguientes
posibilidades:
a<b,
b<a,
a =b.
O2) Transitividad:
Dados tres nmeros reales a , b y c que satisfacen que a < b y b < c ,
entonces necesariamente vale que a < c .
O3) Monotona de la suma:
Dados dos nmeros reales a y b que satisfacen que a < b , entonces para
cualquier nmero real c vale que a + c < b + c .
O4) Monotona del producto:
Dados dos nmeros reales a y b que satisfacen que a < b , entonces para
cualquier nmero real c positivo ( 0 < c ) vale que a.c < b.c .
Un hecho muy importante es que toda la aritmtica se basa en estos 13
axiomas, es decir que cualquier propiedad aritmtica se desprende de aqu,
veamos algunos ejemplos.
Teorema (0 es el elemento absorbente para el producto): Para cualquier nmero
real a vale que a.0 = 0 .
Demostracin: Partimos de que a.0 = a.(0 + 0) = a.0 + a.0 , la primera igualdad se
debe a que aplicamos el axioma S3), y la segunda por el axioma D), de lo cual
sale que a.0 = a.0 + a.0 . Si ahora sumamos a ambos miembros el inverso aditivo
de a.0 , es decir (a.0) obtenemos que a.0 + ((a.0)) = a.0 + a.0 + ((a.0)) .
Veamos ahora que pasa con ambos trminos: por un lado a.0 + (( a.0)) = 0 por el
axioma S3), por otro lado a.0 + a.0 + ( (a.0)) = a.0 + ( a.0 + (( a.0))) = a.0 ,
31
Notas de Anlisis I
3. Nmeros Reales
primero por el axioma S2) y luego por S3). Con lo cual si juntamos lo obtenido
llegamos a que 0 = a.0 , que era exactamente lo que queramos probar.
Se deja como ejercicio para el lector probar que a.(b) = ( a).b , a partir
de los 13 axiomas anteriores.
Supremo e nfimo
El objetivo de este captulo es principalmente exponer la nocin de

densidad de los nmeros racionales y de completitud de los reales. Para entender
que significa la propiedad de completitud que posee ser necesario dar algunas
definiciones previas, que ser lo que haremos en esta seccin y en la siguiente:
Definicin: Un conjunto A
( A ) se dice acotado superiormente si existe
un nmero real M tal que cualquiera sea a A , resulta que a M . Un valor
M como el hallado se llama una cota superior de A .
Definicin: (anloga a la anterior) Un conjunto A ( A ) se dice acotado
inferiormente si existe un nmero real m tal que cualquiera sea a A , resulta que
m a . Un valor m como el hallado se llama una cota inferior de A .
Observaciones:
i) Podra no haber cotas superiores, esto corresponde al caso en que el
conjunto contine hasta el infinito positivo (observar que los nmeros
naturales como subconjunto de los reales no est acotados superiormente).
(Ver ms adelante, al final del captulo: Principio de Arqumedes)
ii) Podra no haber cotas inferiores, como en el caso anterior esto corresponde
al caso en que el conjunto contine hasta el infinito negativo (observar que
los nmeros enteros como subconjunto de los reales no est acotados
inferiormente).
iii) Es fcil observar que si un conjunto posee una cota superior, entonces
posee infinitas. Para esto no hace falta ms que ver que si M es cota
superior de A , entonces los nmeros reales M + 1 , M + 2 ,
M + 3 son tambin cotas superiores.
iv) Anlogamente sucede con las cotas inferiores, si hay una entonces puedo
encontrar infinitas.
v) Puedo definir un orden sobre el conjunto de cotas superiores, es decir
habr cotas ms grandes que otras, por ejemplo M < M + 2 .
vi) Puedo definir un orden sobre el conjunto de cotas inferiores, es decir habr
cotas ms pequeas que otras.
Las preguntas que podemos formularnos a esta altura son habr una cota
superior que sea la ms chica de todas? O sea una que sea la que est ms prxima
32
Notas de Anlisis I
3. Nmeros Reales
al conjunto podr pasar que sta pertenezca al conjunto? Y anlogamente con las
cotas inferiores.
Con respecto a la primera pregunta, esta propiedad que habamos
mencionado de los nmeros reales, que los diferencia de los racionales, o sea la
completitud de en trmino de cotas inferiores y superiores nos permite asegurar
la existencia de una cota ms prxima al conjunto. Es decir en el conjunto de
todas cotas superiores de un conjunto, habr una que sea la ms pequea, y en el
conjunto de todas las cotas inferiores, habr una que sea la ms grande.
Esto motiva las siguientes definiciones:
Definicin: Un conjunto A , acotado superiormente posee una cota superior

S que es menor que las dems. Es decir, cualquiera sea M cota superior de A ,
podemos afirmar que a S M para todo a A . Un valor S como el hallado se
llama el supremo de A (este valor es nico y se nota sup( A) ).
Definicin: (anloga a la anterior) Un conjunto A , acotado inferiormente
posee una cota inferior I que es mayor que las dems. Es decir, cualquiera sea m
cota superior de A , podemos afirmar que m I a para todo a A . Un valor
I como el hallado se llama el nfimo de A (este valor es nico y se nota inf( A) ).
La segunda pregunta motiva las siguientes definiciones:
Definicin: Sea A un conjunto acotado superiormente con supremo

S decimos que S es el mximo del conjunto si S A . Es decir, si el supremo est
dentro del conjunto lo llamamos mximo (este valor es nico, por se nico el
supremo).
Definicin: Sea A un conjunto acotado inferiormente con nfimo I decimos
que I es el mnimo del conjunto si I A . Es decir, si el nfimo est dentro del
conjunto lo llamamos mnimo (este valor es nico, por se nico el nfimo).
En conclusin, es supremo de un conjunto es la menor de todas las cotas
superiores y el nfimo es las mayor de todas las cotas inferiores. Si es supremo
pertenece al conjunto se le dice mximo, si el nfimo pertenece al conjunto se le
dice mnimo.
Antes de dar ejemplos veamos algunas definiciones ms, que nos
permitirn construir los ejemplos y mostrar dos teoremas importantes vinculados
con la completitud.
Definicin: Llamaremos intervalos a los segmentos de la recta real.
I
Definicin:
Diremos
que
es
I = { x a, b : a x b} = [a, b] .
33
un
intervalo
cerrado
si:
Notas de Anlisis I
3. Nmeros Reales
Definicin:
Diremos
que
I
es
I = { x a, b : a < x < b} = (a, b) .
un
intervalo
abierto
si:
Definicin: Diremos que I es un intervalo cerrado a izquierda y abierto a derecha

si: I = { x a, b : a x < b} = [a, b) .
Definicin: Diremos que I es un intervalo abierto a izquierda y cerrado a derecha
si: I = { x a, b : a < x b} = (a, b] .
Ejercicio: Convencerse de que la unin de intervalos no es necesariamente un
intervalo.
Veamos ahora algunos ejemplos.
Ejemplo: Dado el conjunto A , escribir A como intervalo o como unin de

intervalo, graficarlo en la recta numrica. Calcular: sup( A) , inf( A) , y decidir si
estos son mximos o mnimos.
Consideremos el conjunto dado: A = { x 2 x 2 3 > 2 x 2 + 1}
Aqu, los elementos del conjunto son los x y 2 x 2 3 > 2 x 2 + 1 es la
condicin que deben cumplir los elementos para pertenecer al conjunto A .
Luego a partir de la condicin despejamos:
2 x 2 3 > 2 x 2 + 1
2 x 2 3 (2 x 2 + 1) > 0
4x 2 4 > 0
4(x 2 1) > 0
x2 > 1
x >1
x >1 x >1
x < 1 x > 1
x (, 1) (1, +)
-4
-3
-2
-1
En este caso es claro que el conjunto obtenido no est acotado, tanto

superior como inferiormente. Luego no tiene sentido hablar de supremo o nfimo,
34
Notas de Anlisis I
3. Nmeros Reales
ni mximos o mnimos, ya que para esto necesitamos que el conjunto est acotado
superior o inferiormente respectivamente.
Observemos que si se considera un conjunto A , no vaco, acotado
inferiormente, parecera razonable pensar que hay una relacin entre inf( A) y
sup( A) , donde A = { a a A} .
Para fijar ideas veamos que si consideramos el intervalo abierto A = (a, b) ,
con a < b , resulta que inf( A) = a . Por otro lado A = (b, a) , y entonces
sup( A) = a , ya que es un intervalo abierto donde b < a . En resumen,
parecera que inf( A) = sup( A) . Formalicemos esto:
Teorema: Sea A , un conjunto no vaco acotado inferiormente. Entonces

inf( A) = sup( A) . (Equivalentemente inf( B) = sup( B) , con B = A ).
Demostracin: Demostraremos que inf( B) = sup( B) . Supongamos que
c = sup( B) , tenemos entonces que es una cota superior de B , y que es la menor
de todas las cotas superiores de B , y queremos ver que c = inf( B) , o sea que
c es una cota inferior de B , y que es la mayor de todas las cotas inferiores de
B . Supongamos que c no fura una cota inferior de B , entonces existe un
elemento r B , tal que r < c , pero entonces sera c < r y como r B
entonces r B , lo cual contradice que c es una cota inferior de B . Entonces c
debe ser una cota inferior de B .
Veamos ahora que es la mayor de todas. Nuevamente, supongamos que no, es
decir que hay una cota inferior de B mayor que c . Esto significa que existe
un elemento s que es cota inferior de B tal que c < s , entonces s < c ,
luego como s es cota inferior de B entonces s es cota superior de B y s < c ,
lo cual contradice que c = sup( B) . Por lo tanto c tiene que ser la mayor de todas
las cotas inferiores, lo cual nos indica que c = inf( B) , y esto prueba lo que
queramos.
Abiertos y cerrados
Como vimos en las definiciones anteriores, podemos encontrar diversos

tipos de intervalos en
, pero adems, los intervalos no son los nicos
subconjuntos posibles de . Pensemos por ejemplo en la unin de dos intervalos,
est claro que eso no es necesariamente un intervalo, por ejemplo si uno el
intervalo (0,1) con el intervalo (3, 4] , esto es (0,1) (3, 4] y no resulta un
intervalo.
Veamos entonces cmo se generaliza esto:
Definicin: Se dice que G es un conjunto abierto, si para cualquier elemento

g G , se puede encontrar un intervalo abierto I que contenga a g , tal que I
35
Notas de Anlisis I
3. Nmeros Reales
est completamente contenido en el conjunto G . Usando notacin matemtica

diremos que G es abierto si g G , I intervalo abierto tal que g I G .
Claramente el intervalo I depende de la eleccin de g .
Pensemos ahora que tenemos dos intervalos abiertos (a, b) , (c, d ) , la
unin de ellos ser un conjunto abierto (se deja al lector verificar esta propiedad),
ms en general, si tenemos una unin finita de intervalos abiertos, esta resultar
tambin un conjunto abierto.
Se puede ver en las definiciones del pargrafo anterior que si un intervalo
no es abierto esto no implica que sea cerrado. Sin ms, pensemos en el ejemplo
anterior (3, 4] , veamos que esta idea se extiende a conjuntos ms generales de la
recta. Es decir:
Definicin: Se dice que un conjunto F es un conjunto cerrado si su complemento

( F c = F ) es abierto.
Para ver esta idea pensemos en el intervalo I = [a, b] , su complemento se
escribe como I c = [a, b] = (, a ) (b, +) que es unin de dos intervalos
abiertos (se deja al lector hacer las demostraciones que se crean necesarias)
Proposicin: El conjunto vaco () es abierto

Demostracin: Para esto ser necesario que el lector tenga cierta madurez
matemtica. La idea ser muy simple: tenemos que ver que se cumple la
definicin, es decir, para cualquier elemento que tome que est en el vaco,
debera haber un intervalo que lo contenga, y que a su vez, est contenido en el
vaco, pero como no hay ningn elemento en el vaco, esto se cumple
trivialmente. (El lector que no maneje estos conceptos puede remitirse al apndice
B, dnde sern explicados con ms detalles).
Proposicin: El conjunto de todos los nmeros reales es abierto.
Demostracin: Esto tambin es fcil y no hay ms que hacer que mirar la
definicin, si tomamos un elemento g , considero el intervalo
I = ( g 1, g + 1) (que como dijimos antes depende de la eleccin de g ) y se
por ser este un intervalo de nmeros reales (ms an,
verifica que I
cualquier intervalo que contenga a g servira para nuestro propsito).
Corolario: El conjunto vaco () es cerrado
Demostracin: para ver esto no hay ms que mirar la definicin, bastar ver que
su complemento es abierto. Sabemos que su complemento es c = = ,
que por la proposicin anterior sabemos que es abierto. Entonces queda probado
que el conjunto vaco es cerrado.
36
Notas de Anlisis I
3. Nmeros Reales
Corolario: El conjunto de todos los nmeros reales es cerrado

Demostracin: Sabemos que su complemento es c = = , que por la
primera proposicin sabemos que es abierto. Entonces queda probado que el
conjunto de todos lo nmeros reales es cerrado.
Densidad de
y completitud de
Tal como advertimos en la primera seccin de este captulo nos

dedicaremos de lleno a ver de qu manera se comportan los racionales al ser
colocados sobre la recta. Para empezar estos pareceran completar la recta un poco
mejor que los enteros y naturales. Est claro que el racional 2 / 5 = 0, 2 estar entre
el 0 y el 1. Y el 1 / 5 = 0,1 estar entre el 0 y el 2 / 5 .
Veamos entonces que si tenemos los nmeros racionales a y b (a < b)
reprensados en la recta entonces entre ellos dos podemos colocar algn otro
racional. Pensemos dnde debera estar el nmero (a + b) = a + b como
2
2
2
a
a
a
b
b
b
a < b tenemos que a =
+
<
+
<
+
= b por lo tanto
2
2
2
2
2
2
a < a + b < b , entonces est entre a y b .
2
2
A esta propiedad que cumplen los racionales (entre dos racionales
cualesquiera hay uno en el medio) la llamamos la propiedad de densidad de en
la recta. Entonces obtenemos el siguiente
Teorema: Dados a, b
que a < c < b .
(a < b) cualesquiera, existe un nmero racional c tal
Dicho de otra forma, si tomamos una porcin cualquiera de segmento de la

recta construida anteriormente podemos observar que seguro que tenemos un
racional ah metido, esto se debe a que si tomamos un racional a la izquierda del
segmento y otro a la derecha, considerando lo anterior y repitiendo el
procedimiento de calcular el racional medio entre los anteriores podemos colocar
uno dentro del intervalo.
Como bien sabemos los racionales son un subconjunto propio de los reales
(es decir que todos los racionales son reales, pero hay reales que no son
racionales). Pensemos entonces en el nmero x positivo tal que elevado al
cuadrado da 2, es decir x 2 = 2 x = 2 . Vemos que este nmero no es racional.
Supongamos que s lo es entonces 2 = a con a , b tales que a es
b
b
2
2
2
2
2
= a 2 , luego 2b = a entonces a es
irreducible, por lo tanto 2 = a
b
b
( )
37
Notas de Anlisis I
3. Nmeros Reales
mltiplo de 2, pero por ser a 2 un cuadrado entonces es mltiplo de 4, entonces

b 2 es mltiplo de 2, entonces a y b son ambos mltiplos de 2, luego llegamos a
que a no es irreducible, esto es un absurdo ya que habamos supuesto que s lo
b
era. Por esto es que 2 es irracional.
Hemos visto en el captulo anterior algunos ejemplos de nmeros reales,
nos dedicaremos a estudiar algunas de las propiedades ms importantes que tienen
estos nmeros en el anlisis matemtico.
no vaco acotado
Propiedad (de completitud): Todo conjunto A
superiormente tiene supremo. Es decir, existe c tal que c = sup( A) .
Veremos que esta propiedad no es extensible al conjunto de los nmeros
racionales. Para ello consideremos el conjunto A = { x / x 2 < 2} . Si pensamos
al conjunto A como un conjunto con elementos en los reales, es evidente que el
supremo sera 2 , pero ste es irracional, supongamos entonces que hubiera otro
candidato a supremo para A , pero ahora en los racionales, digamos que
sup ( A) = c con c , entonces como el conjunto de los racionales es un
subconjunto de los racionales entonces c . Hay dos posibilidades: o bien
c < 2 o bien c > 2 . Supongamos que c < 2 : entonces c 2 < 2 , por la propiedad
de densidad de los nmeros racionales (enunciada y demostrada al final de este
captulo) existe un valor r tal que c < r < 2 y r 2 < 2 , luego r A , lo cual
contradice que c sea el supremo, ya que no es cota superior. Anlogamente se
procede si c > 2 . Este absurdo parte de suponer que el conjunto A admite
admite
supremo sobre los racionales. Luego como no todo subconjunto de
supremo se deduce el siguiente
Corolario:
no es un conjunto completo.
Estudiaremos ahora algunas de las propiedades que se deducen como

consecuencia de la propiedad de completitud de los nmeros reales.
Recordemos que entonces todo conjunto no vaco acotado superiormente
admite un supremo, ms an, este elemento es nico, el siguiente teorema nos
permitir poder caracterizar a este elemento.
Teorema (caracterizacin del supremo): Sea A un conjunto no vaco acotado
superiormente. Un nmero c es el supremo de A si y solo si cumple las
siguientes condiciones:
c es cota superior de A .
i)
Para cualquier valor real de positivo existe a A tal que
ii)
c < a.
38
Notas de Anlisis I
3. Nmeros Reales
Demostracin: Para esto ser necesario probar dos implicaciones. Veamos

primero que si c = sup( A) entonces c cumple i) y ii):
Sabemos que por ser el supremo c es la mejor de todas las cotas
superiores, en particular es una cota superior de A (luego cumple i)). Para ver
que satisface ii) veamos que c < c ya que es positivo, luego c no puede
ser una cota superior de A , ya que c era la menor de todas. Entonces debe haber
algn elemento a A tal que c < a . (si no fuera as c sera una cota
superior). Esto prueba ii) con lo cual queda demostrada la primera de las
implicaciones.
Veamos ahora la implicacin en sentido contrario, es decir sabiendo que
existe un elemento que cumple i) y ii), veremos que este ser el supremo del
conjunto:
Supongamos entonces que c satisface i) y ii). Entonces ya sabemos que es
cota superior (por i)) y veamos que es la menor de todas. Para esto supondremos
que existe un valor d que es una cota superior de A . Si d < c basta tomar
= c d > 0 , pero por ii) existira a A tal que c < a , y como a A tal que
c = c (c d ) = c c + d = d , entonces existira a A tal que d < a , lo cual
contradice que d sea una cota superior de A . Con lo cual no puede suceder que
d < c , entonces d c y de aqu sale que de haber otra cota superior esta debe ser
mayor que c . Luego c es la menor de todas las cotas superiores de A entonces
c = sup( A) .Lo cual prueba la segunda implicacin y termina la prueba del
teorema.
Como decamos antes, este teorema es una caracterizacin del supremo, es
decir que cada vez que queramos probar que un nmero c es supremo de un
determinado conjunto A no vaco y acotado superiormente, deberemos probar que
este elemento cumple las propiedades i) y ii).
Ejemplo: Dado el conjunto A , escribir A como intervalo o como unin de
intervalo, graficarlo en la recta numrica. Calcular: sup( A) , inf( A) , y decidir si
estos son mximos o mnimos.
n
Consideremos el conjunto dado: A = n 2
n +1
Si calculamos los primeros trminos de la sucesin (*) generada por los
elementos del conjunto obtenemos:
1 2 3 4 5 6 7 8 9
n 2
n = , , , , , , , , ,
n +1
2 5 10 17 26 37 50 65 82
No es inmediato, pero mostraremos que sup( A) = 1 y que inf( A) = 0 .
2
Esto probablemente sea inmediato para el alumno que tenga
conocimientos sobre lmites (ya que esta sucesin es decreciente con lmite cero).
De todas maneras haremos el anlisis completo:
Veamos que inf( A) = 0 : podemos observar primero que dado > 0 ,
a A tal que 0 < a < . Esto es claro por el principio de arquimedeanidad que
39
Notas de Anlisis I
3. Nmeros Reales
nos indica que el conjunto de los nmeros naturales no est acotado, luego como
2
n 2
< n < ( n 2 + 1) 1 < n + 1 = n + 1 ,
pero
esta
ltima
n
n
n +1
condicin se satisface trivialmente ya que independientemente de cual sea el valor
de > 0 , podemos tomar n 1 < n y por lo tanto 1 < n + 1 . (Al final de
este captulo se enuncia el teorema de caracterizacin del supremo que permite

justificar tericamente este proceder).
Volviendo tenamos que: para todo > 0 , a A 0 < a < luego hemos
obtenido que el nfimo del conjunto no puede superar a cero. Entonces inf( A) 0 .
Veamos que no es posible que sea inf( A) < 0 , ya que podemos encontrar un
elemento x ajeno a A , que sea mayor que el nfimo (basta tomar x = 0 ).
Finalmente obtenemos que inf( A) = 0 . Y como inf( A) A , este conjunto no
posee mnimo.
Veamos ahora que sup( A) = 1 , esto es obvio ya que si fuera
2
sup( A) > 1 , dado un > 0 y tomando sup( A) = 1 + , podemos encontrar
2
2
x = 1 + que cumple que 1 < x < sup( A) , y x A , lo cual es absurdo. Y
2
2
2
tomando sup( A) < 1 , basta tomar x = 1 , y ver que sup( A) < x con x A , lo
2
2
cual tambin es absurdo. Por lo tanto tenemos que sup( A) = 1 . Y en este caso
2
como sup( A) A , este resulta ser un mximo del conjunto.
Se deja como ejercicio para el lector completar el ejercicio realizando el
grfico del conjunto en la recta. (Tener en cuenta que los puntos de este conjunto
son puntos aislados)
( )
( )
(*) estudiaremos ms adelante con mayor detalle estos elementos matemticos
Veamos ahora otras consecuencias importantes de la completitud. El

resultado que se enuncia a continuacin formaliza un hecho bastante trivial que es
que el conjunto de los nmeros naturales no est acotado superiormente. Este
Teorema conocido como el Principio de Arquimedeanidad o Principio de
Arqumedes, tiene consecuencias muy importantes en el anlisis matemtico.
Veremos posteriormente reformulaciones de este mismo principio.
Teorema (Principio de Arquimedeanidad): Para cualquier nmero real a , existe
un nmero natural n tal que n > a .
Demostracin: Supongamos que esto no fuera as, entonces para cualquier
nmero natural n , resultara que n a , lo cual es equivalente a decir que el
est acotado superiormente (ms an,
conjunto de los nmeros naturales
no es vaco
estamos afirmando que a es una cota superior). Como el conjunto
(pues el elemento 1 ) por la propiedad de completitud podemos afirmar que
40
Notas de Anlisis I
3. Nmeros Reales
admite un nmero real c = sup( ) . Por el teorema anterior, para todo > 0 debe
existir un nmero n tal que c < n . Como esto vale para todo > 0 , en
particular podemos tomar = 1 . Entonces tenemos que existe un n tal que
c 1 < n , entonces c < n + 1 , pero esto es un absurdo ya que como n entonces
n + 1 y entonces c no sera una cota superior de
lo cual contradice que
c = sup( ) .
Observar que como se muestra al comienzo de la demostracin anterior
no este acotado superiormente, lo
este hecho es equivalente a que el conjunto
cual era bastante previsible. Luego obtenemos el siguiente corolario que no es
ms que una reformulacin del teorema anterior.
Corolario: El conjunto
de los nmeros naturales no admite una cota superior.
Corolario: Si es un nmero real positivo, entonces existe un nmero natural n

tal que 1 < .
n
Demostracin: este resultado es inmediato, ya basta aplicar el teorema anterior
tomando a = 1 , entonces existe n tal que a = 1 < n , pasando de trminos
obtenemos lo deseado.
Posiblemente uno de los resultados ms importantes que se desprenden del
principio de arquimedeanidad o de la propiedad de completitud, es el prximo
teorema, que nos dice que entre dos nmeros reales cualesquiera, siempre
podemos encontrar un nmero racional.
Teorema (densidad de ): Dados a y b dos nmeros reales cualesquiera tales
que a < b , podemos afirmar que existe un nmero racional r tal que a < r < b .
Demostracin: Esta demostracin talvez resulte ser un poco ms tcnica que las
anteriores y ser efectuada en varias etapas, se recomienda que sea leda ms de
una vez para una mejor comprensin.
Para comenzar supondremos que 0 < a < b . Llamemos entonces = b a , es
decir, representa la distancia entre a y b . Por el corolario anterior existe n
tal que 1 < . Consideremos ahora un conjunto A = m / m. 1 > a , o sea
n
n
m
los valores naturales m que son mayores que a.n . Luego es claro que
es
n
m
> a , buscaremos un
nmero racional y como los valores de A satisfacen que
n
valor de m suficientemente chico como para no pasarnos de b , ya que queremos
un racional entre a y b . Como A , es decir, es un subconjunto de los
naturales, entonces existe un nmero que es el menor de todos, digamos que
41
Notas de Anlisis I
3. Nmeros Reales
m
m
est entre a y b . Ya sabemos que
> a porque
n
n
m
m
m A , por ser m = min( A) . Adems
< b , ya que si no fuera s sera
b,
n
n
de donde:
1 m 1
1
1
(m 1). = b > b (b a ) = a , o sea que (m 1). > a con lo cual
n n n
n
n
m 1 A , lo cual sera contradictorio ya que m 1 < m = min( A) . Luego
m
a < < b , con lo cual probamos la primara parte.
n
Los casos restantes son considerablemente ms sencillos.
Supondremos ahora a < 0 < b , pero esto es inmediato ya que 0 es racional.
Veamos que pasa si 0 = a < b . En este caso, existe un valor n tal que 1 < b .
n
1
Como
es positivo y es racional queda probado este caso.
n
Resta ver los casos a < b < 0 y a < b = 0 , que sern dejados como ejercicio. El
primero ellos es muy similar al ultimo caso demostrado ya que multiplicando por
-1 obtenemos que 0 < b < a , y procedemos como antes. En el ltimo de los
casos procedemos de la misma manera, multiplicando por -1 y aplicamos lo
obtenido para el primero de los casos. Y con esto queda probado el teorema.
m = min( A) , y veamos que
42
Notas de Anlisis I
4. Sucesiones
4 - SUCESIONES
En el captulo 2 estudiamos a las funciones en general, dedicaremos este

captulo al estudio de un tipo particular de funciones. Trabajaremos con funciones
. A este tipo de
definidas sobre los naturales, es decir, su dominio ser
funciones las llamaremos sucesiones.
Notar que en realidad lo que estamos haciendo es crear una relacin entre
el conjunto de los naturales y un conjunto B (el codominio), que generalmente
ser el conjunto . Por ser funcin sabemos que a cada natural le corresponde un
nico valor de la imagen, en definitiva, esta regla de asignacin que estamos
definiendo no es ms que una forma de numerar los elementos de la imagen.
f (1) = b1
f (2) = b2
f (n) = bn
Como a cada elemento bi de Im( f ) B le corresponde un nmero natural
i
tal que f (i ) = bi , entonces diremos que bi es el i-simo elemento de la
sucesin. Esto nos da una nueva forma de representar las sucesiones:
b1 , b2 , , bi , , bn , donde b1 representa el primer trmino, es
decir f (1) , b2 el segundo, bi el i-simo, bn el n-simo, etc.
Debera ser evidente para el lector que esta tira de elementos (sucesin de
elementos) es infinita, ya que corresponde uno por cada nmero natural
Definicin: Definimos una sucesin como una funcin f : donde a cada
elemento f (n) lo llamamos an , notaremos a las sucesin como (an )n .
Por ejemplo consideremos la sucesin dada por la siguiente regla
. Los trminos correspondientes seran 1 , 1 , 1 , 1 ,
f (n) = an = 1 2
2 6 12 20
n +n
43
Notas de Anlisis I
4. Sucesiones
Trmino general
Llamamos trmino general de la sucesin a la expresin genrica, que nos

permite determinar cul es la regla de asignacin. Es decir, en el caso anterior, el
, esta expresin nos permite generar todos los
trmino general es an = 1 2
n +n
trminos de la sucesin tan solo reemplazando la variable n por la posicin de
trmino que se desee calcular. Esto es, que si se desea calcular el trmino 137,
.
ste ser 1 2
137 + 137
Notar que no basta conocer los primeros 10 ni 100 ni 1000 trminos de la
sucesin para generar los restantes, necesitaremos inevitablemente conocer un
patrn, o una frmula para crearlos y esta es exactamente el trmino general. De
todas maneras, esta es una prctica usual, muchas veces conociendo los primeros
trminos de una sucesin podemos deducir un patrn y as obtener el trmino
general y de esta manera poder generar la sucesin en su totalidad. Veamos
algunos ejemplos de esto:
Ejemplos: Deducir el trmino general de las siguientes sucesiones:
i) 1, 1 , 1 , 1 , 1 , . En este caso no es difcil notar que los
4 9 16 25
denominadores corresponden a los cuadrados de los nmeros naturales, entonces
el trmino general ser an = 1 2 .
n
ii) 1, 1 , 1 , 1 , 1 , 1 . En este caso como los signos son
4 9
16 25
36
alternantes deberemos colocar un factor que asigne el signo correcto. Notar que
n +1
.
los signos (menos) aparecen en los trminos pares, luego an = (1)
n2
iii) 1, 1 ,3, 1 ,5, 1 , 7, 1 , . Observar que en este caso los trminos
2
4
6
8
impares son exactamente el valor que le corresponde a su posicin, mientras que
los pares son los inversos multiplicativos de stos. Diremos entonces que el
si n es impar
n
, este tipo de definicin del
trmino general est dado por an = 1
n si n es par
trmino general se llama definicin por casos.
Propiedad del lmite y convergencia
En esta seccin trataremos un tema central en el estudi de las sucesiones

y es adems una de las bases del anlisis matemtico. Introduciremos aqu la
nocin de lmite.
44
Notas de Anlisis I
4. Sucesiones
Definicin: Una sucesin (an )n tiene lmite L
, es decir, lim a n = L si
n
> 0, n0 tal que n n0 an L < .

Grficamente el lmite representa, en caso de existir, el valor al cual se va
aproximando la sucesin a medida que los ndices de los trminos crecen, notar
que la definicin dice que: llamamos L al lmite de la sucesin (an )n si para
todos los valores grandes de n (esto es n0 tal que n n0 ) la distancia entre el
supuesto lmite y los valores de la sucesin es muy pequea ( an L < , el valor
indica el tamao de la distancia, como debe cumplirse para cualquier valor de

, ya que dice > 0 , obliga a que a medida que el valor de n crece an se
acerque a L ).
. .
. .. .
.
.
.
...
L+
L
L
|
1
|
2
|
3
|
4
|
n0
En algn sentido, al hablar de lmites finitos, podemos decir que los

valores de (an )n se acumulan cerca de L a medida que el valor de n crece. O
de otra manera, decimos que (an )n converge a L .
Es posible tambin que la sucesin no se acumule cerca de ningn valor
real. Pero que aun as los trminos se comporten de forma buena, es decir que
los valores absolutos tiendan a agrandarse cada vez ms. Esto motiva la siguiente
definicin:
Definicin: Una sucesin (an )n
tiene lmite infinito positivo, es decir,
lim a = + si M > 0, n0 tal que n n0 , an > M . Se dice que tiene lmite

n n
infinito negativo, es decir, lim an = si m < 0, n0 tal que n n0 , an < m .
n
Definicin:
Si L , entonces se dice que la sucesin converge a L .

Si L = (positivo o negativo) se dice que la sucesin diverge.
Si no existe el lmite (ni finito ni infinito) se dice que la sucesin es
oscilante.
45
Notas de Anlisis I
4. Sucesiones
Veamos ahora un ejemplo de sucesiones para cada uno de los casos de la

definicin anterior:
Ejemplos:
1
, si bien an no
n
tenemos todas la herramientas para demostrar lo afirmado, el lector puede
(debera poder) convencerse de que la sucesin escogida converge. Ms an
converge a cero (Usar principio de arquimedeanidad)
ii) Un ejemplo de sucesin divergente: Considerar an = n , nuevamente
como en el caso anterior, el lector debera poder ver que como esta sucesin toma
los valores correspondientes a los nmeros naturales equivalentes a sus ndices, el
valor del lmite ser infinito porque el conjunto de los nmeros naturales no est
acotado superiormente. Nuevamente el principio de arquimedeanidad nos permite
afirmar esto)
ii) Un ejemplo de sucesin oscilante: Considerar an = (1) n , nuevamente
nos encontramos faltos de herramientas para demostrar que esta sucesin no
converge, pero el lector debera poder ver que como la sucesin toma el valor 1 en
todos los trminos pares y -1 en todos los impares, es de esperar que los valores
de (an )n no se acumulen entorno de un nico punto. Notar que la distancia
entre dos trminos consecutivos cualesquiera es siempre 2, luego tomando = 1
podemos ver que no se cumple la definicin de lmite (no existe un valor n0 como
el buscado en la definicin).
i) Un ejemplo de sucesin convergente: Considerar an =
Como decamos antes, al decir que la sucesin converge estamos diciendo

que valores de (an )n se acumulan cerca de L , observar que estamos hablando
de los valores de la imagen de funcin asociada a la sucesin. Es decir que los
valores que toma la sucesin se acercan cada vez ms a L .
Podemos considerar el conjunto A = {a1 , a2 , a3 , , an ,} formado por
todos los valores que toma la sucesin, y sobre este aplicar todos los
conocimientos adquiridos en el captulo 3. Daremos ahora una definicin de
sucesin acotada. Que se corresponde directamente con la idea de conjunto
acotado.
Definicin: Una sucesin (an )n se dice acotada inferiormente si m > 0 tal que
an m n . Anlogamente se dice acotada superiormente si M > 0 tal que
an M n . Si las dos anteriores se cumplen simultneamente decimos que
(an )n est acotada (a secas).

Proposicin: Sea (an )n sucesin son equivalentes:
i) (an )n es acotada inferiormente (superiormente)
46
Notas de Anlisis I
ii) el conjunto
4. Sucesiones
A = {a1 , a2 , a3 , , an ,}
es acotado inferiormente
(superiormente)
Demostracin: Se deja como ejercicio para el lector.
El siguiente teorema nos dice que si una sucesin converge, entonces el
valor al cual converge, o sea su lmite, es nico.
Teorema (unicidad del lmite): Sea (an )n una sucesin convergente, entonces
lim a = L y su lmite es nico.
n n
Demostracin: Sabemos que como la sucesin converge, entonces tiene lmite y
ste es un valor real, luego lim an = L . Razonaremos de la siguiente
n
tales que
manera, supondremos que hay dos valores posibles L1 , L2
lim a = L1 y lim an = L2 , y mostraremos que L1 = L2 .
n n
n
Sea > 0 cualquiera, por la definicin de lmite y lo anterior sabemos que existe
tal que para todo n n1 , | an L1 |< . Anlogamente existe otro valor

2
existe n2 tal que para todo n n2 , | an L2 |< . Tomemos ahora un valor n
2
que sea mayor que n1 y que n2 . Entonces obtenemos lo siguiente:
| L1 L2 |=| L1 an + an L2 |
n1
| L1 an | + | an L2 | =| an L1 | + | an L2 | < + = . Entonces tenemos que

2
2
| L1 L2 |< y como esto vale cualquiera sea > 0 , entonces | L1 L2 |= 0 ,
entonces queda probado que L1 = L2 .
Se deja como ejercicio para el lector convencerse de que si un nmero real r es
tal que r < para todo > 0 , entonces r = 0 , y tomando r = L1 L2 sale lo
anterior.
Proposicin: Sea (an )n
una sucesin convergente tal que
lim a a ,
n n
entonces n0 tal que an a n n0 .

Demostracin: Idea: (Razonado por el absurdo) Supongamos que el consecuente
no es cierto y llegaremos a un absurdo. Decir que no es cierto el consecuente es
equivalente a decir que para cualquier n0 existe un m tal que am = a , y como
(an )n es una sucesin convergente, entonces | an L |< para todo n n0 , en

particular para m , luego | a L |=| am L |< , entonces a = L , y por lo tanto
lim a = a , lo cual genera un absurdo.
n n
Ejemplo:
47
Notas de Anlisis I
4. Sucesiones
i) Calcular el lmite de an =
2
y demostrarlo por definicin.
n2
2
(ya
n
que n n 2 para cualquier natural), entonces uno esperara que el lmite fuera
menor o igual que el lmite de cn , y como todos los valores de an son positivos
entonces afirmamos que lim an = 0 . Para demostrar esto hay que ver que :
n
> 0, n0 tal que n n0
an L < . Luego > 0, n0 tal que
Primero podemos observar que la sucesin an decrece ms rpido que bn =
n n0
n0 =
2
< de lo cual sale que
n2
< n , entonces deberamos tomar
+1 y como n n0 se cumple lo deseado.
Aqu se ve claramente que el valor de n0 = n0 ( ) depende de la eleccin de .

2
. Calcularemos este lmite de manera
n + n2
intuitiva (el uso de la intuicin es muy importante en la matemtica). Veamos
1
1
, entonces sera
primero que n + n 2 n para cualquier n luego
2
n+n
n
1
razonable pensar que si an converge entonces lim an lim = 0 . Por otro
n
n n
lado como la sucesin an es siempre positiva entonces lim an lim 0 = 0 .
ii) Calcular el lmite de an =
Entonces no nos queda otra que lim an = 0 .
El prximo teorema formaliza la idea de los ejercicios anteriores.
(bn )n y (cn )n sucesiones

Teorema (del sndwich): Sean (an )n ,
convergentes tales que
lim a = lim c = L y an bn cn , entonces
n n n n
lim b = L .
n n
Demostracin: Sea > 0 cualquiera, existe un natural n1 tal que para todo
n n1 , | an L |< , y existe otro valor existe n2 tal que para todo n n2 ,
| cn L |< . Entonces si tomemos ahora un valor n que sea mayor que n1 y que
n2 (podemos tomar n mayor o igual que n3 = mx {n1 , n2 } ) obtenemos que:
L bn L an | L an |=| an L |< y bn L cn L | cn L |< . Y de aqu sale

que L bn < y que bn L < , entonces | L bn |< . Luego mostramos que
48
Notas de Anlisis I
4. Sucesiones
existe un valor n3 = mx {n1 , n2 } tal que para todo n n3 vale que | L bn |< ,
esto es la definicin de lmite, entonces lim bn = L .
n
Una interpretacin geomtrica de este teorema mostrara que si se quiere
estudiar la convergencia de una sucesin (bn )n y se tienen dos sucesiones
(an )n y (cn )n tales que encierren a la sucesin (bn )n , una por arriba y la
otra por debajo, y que adems sus lmites coinciden, entonces como los valores de
(bn )n estn en el medio, el lmite de la sucesin (bn )n no puede ser otra que
el mismo que el las otras dos sucesiones.
. . . . .
.
o
|
1
|
2
|
3
|
4
.
. .
(cn ) n
o (bn ) n
(an ) n
|
n0
Ahora estamos en condiciones de formalizar las ideas de los ejemplos

2
anteriores. Mostremos entonces que lim an = lim 2 = 0 . Esto es bastante fcil
n
n n
ahora. Consideremos dos sucesiones: bn = 0 (es la sucesin constantemente nula)
2
y cn = . Adems se verifica que bn an cn . Y por el teorema anterior
n
lim a = lim c = 0 y an bn cn entonces
obtenemos que como
n n n n
2
lim an = lim 2 = 0
n
n n
lgebra de lmites
En esta seccin veremos como operar con sucesiones y cmo se

comportan al tomar lmites.
49
Notas de Anlisis I
4. Sucesiones
(bn )n dos sucesiones

Teorema (lgebra de Lmites): Sean (an )n y
convergentes tales que lim an = a y lim bn = b , entonces valen los
n
n
siguientes resultados:
lim k .an = k .a , k constante
n
lim a + b = a + b
n n n
lim an bn = a b
n
lim an .bn = a.b
n
lim an / bn = a / b, si n0 tal que n n0 bn 0 y b 0
n
Demostracin: Probaremos primero que
lim k .a = k .a , k constante :
n n
Sabiendo que > 0 , n0 tal que para todo n n0 , | an a |< , acotemos la
distancia | k a n k a | = k | a n a |< k = como es arbitrario entonces

se cumple que lim k .an = k .a .
n
Probemos que lim an + bn = a + b : Sabiendo que 1 > 0 , n1 tal que para todo
n
n n1 , | an a |< 1 , y que 2 > 0 , n2 tal que para todo n n2 , | bn b |< 2 ,
acotemos
la
distancia
Luego,
| an + bn (a + b) |= | (an a) + (bn b) | | an a | + | bn b |< 1 + 2 = .
hemos mostrado que se cumple lo deseado.
Los casos restantes sern omitidos ya que las demostraciones son tcnicas y no
contienen ms ideas que las anteriores. De todas maneras el lector debera estar
capacitado para poder reproducirlas, teniendo en cuenta las ideas anteriores. Para
ver las pruebas completas consultar en la bibliografa [1CDIN].
2
Ejemplo: Supongamos que se desea calcular lim n 3+ n + 2 , veamos de qu
n 3n 1
n3 + n
manera podemos partir esta tarea en tareas ms simples, y luego juntar todo
nuestro trabajo usando el teorema anterior. Ya sabemos, por ejercicios anteriores
1
3n3 1
que
= 0 , intentemos entonces calcular
lim 2
lim 3
, pero
n n + n
n n + n
nuevamente este cociente podemos partirlo en dos cocientes cuyos lmites son
3n3 1
3n3
1
, calcularemos entonces
= 3
3
ms fciles de calcular. Como 3
n +n n +n n +n
1
3n3
3n3
usaremos un truco
. Para calcular lim 3
lim 3
y lim 3
n n + n
n n + n
n n + n
2
50
Notas de Anlisis I
4. Sucesiones
frecuente (tomar factor comn) ya que en este caso tenemos que salvar una
indeterminacin (del tipo ):
3
3
3n
3n
3
= lim 3
= lim
= 3 . Notar que este ltimo paso
lim 3
n n + n n n (1 + 1 2 ) n 1 + 1 2
n
n
0
n
usamos el lgebra de lmites ya que como sabamos que 1
0 , o sea
n 2 n
converge, y todo los dems elementos que intervienen convergen por ser
constantes entonces el lmite total es el cociente entre el lmite del numerados y
del denominador, que a su vez ste es suma de dos lmites de sucesiones
convergentes.
1
Calculemos ahora
lim 3
: consideremos dos sucesiones: an = 0
n n + n
1
(constantemente nula, que converge a cero) y an = 3 (el lector a esta altura
n
debera poder probar por definicin que converge a cero). Adems es claro que
1
an = 0
y
por
otro
lado
como
3
n +n
1
1
1
1
1
bn = 3 3
obtenemos que bn 3
n3 + n n3 3 3
an .
n
n +n
n
n +n
n +n
1
Aplicando el teorema del sndwich, podemos mostrar que lim 3
= 0.
n n + n
Ahora aplicando lgebra de lmites (segundo caso) como las dos sucesiones
3n3
1
convergen es decir los lmites lim 3
y lim 3
existen, obtenemos
n n + n
n n + n
3n3 1
3n3
1
= lim 3
+ lim
=3
que lim 3
n n + n n n + n n n3 + n
1
2
Recapitulando: queramos calcular lim n 3+ n + 2 , y llegamos a que
n 3n 1
n3 + n
2
3n3 1
= 3 , y como el denominador no se anula y su
= 0 y lim 3
lim 2
n n + n
n n + n
lmite es finito y no nulo, usando nuevamente lgebra de lmites (quinto caso)
1
2
obtenemos que lim n 3+ n = 0 . Como acabamos de probar que esta sucesin
n 3n 1
n3 + n
converge y la sucesin constantemente igual a 2 tambin converge (y lo hace a 2),
51
Notas de Anlisis I
4. Sucesiones
nuevamente usando el segundo caso del lgebra de lmites, podemos afirmar que
1
2
lim n + n + 2 =2.
n 3n3 1
n3 + n
Hemos usado en el ejemplo anterior otras herramientas como que
1
= 0 . Extenderemos, para casos como este, el lgebra de lmites a
lim
n n3 + n
valores infinitos.
Teorema (lgebra de Lmites para valores infinitos): Sean (an )n y (bn )n dos
sucesiones. Entonces valen los siguientes resultados:
i) Si lim an = + y lim bn = b
n
n
lim k .an = sg (k ) , k constante (donde sg (k ) representa el signo de k (*))
n
lim an + bn = +
n
lim an bn = +
n
lim an .bn = sg (b) (siempre y cuando b 0)
n
lim an / bn = sg (b), si n0 tal que n n0 bn 0
n
lim bn / an = 0, si b 0
n
i) Si lim an = + y lim bn = +
n
n
lim an + bn = +
n
lim a b = indeterminacin
n n n
lim an .bn = +
n
lim an / bn = indeterminacin
n
lim bn / an = indeterminacin
n
(Veremos en la prxima seccin qu es una indeterminacin)
1 si k > 0
(*) La funcin signo se define como sg ( k ) = 1 si k < 0 la funcin signo
0 si k = 0
representa el signo de la variable k, asignndole 1, -1 0 segn corresponda.
Teorema: Toda sucesin convergente es acotada.
52
Notas de Anlisis I
4. Sucesiones
Demostracin: Sea (an )n una sucesin convergente y supongamos que

lim a = L . O sea < 0 , n0 tal que para todo n n0 , | an L |< , de lo cual
n n
obtenemos que < an L < , y finalmente L < an < L + . Como por
definicin esto est valiendo para todo < 0 , entonces vale para = 1 . Hemos
obtenido que para todo n n0 se cumple que L 1 < an < L + 1 , es decir pudimos
acotar la cola de la sucesin. Slo nos falta poder mostrar que podemos tambin
acotar los primeros n0 trminos. Pero esto es obvio, ya que como son finitos,
podemos tomar como cota superior al mayor de todos ( M = max a1 , a2 , , an0 ) y
como cota inferior al mnimo de todos ( m = min a1 , a2 , , an0 ), entonces la

sucesin queda encerrada. Pode debajo la podemos acotar por el menor entre m y
L 1 , y por arriba por el mayor entre M y L + 1 . Luego la sucesin es acotada.
El siguiente grfico ilustra la idea de la demostracin.
. . . .
........
M
L +1
L
L 1
m
0
|
1
|
2
|
3
|
4
|
n0
Indeterminaciones
En el ejemplo de la seccin anterior nos topamos con un problema que lo
denominamos como una indeterminacin del tipo , veremos en esta seccin
qu es una indeterminacin, y cules son los posibles tipos de indeterminaciones.

Adems extenderemos al lgebra de lmites para los casos infinitos.
Cuando se calcula un lmite de una sucesin (an )n que viene dada, por
b
ejemplo, por un cociente ( an = n c ), donde el numerador (bn )n converge a
n
una valor b y el denominador (cn ) n converge a c y c 0 , entonces el
lgebra de lmites nos permite afirmar que la sucesin converge a b , y para
c
poder afirmar esto no es siquiera necesario conocer explcitamente de qu
sucesin (an )n se trata. (En algn sentido, podemos operar sin necesidad de
estudiar este caso particularmente). Pero, qu pasa si las sucesiones (bn )n y
53
Notas de Anlisis I
4. Sucesiones
(cn ) n tuvieran lmites infinitos? Cul es el valor del lmite de (an )n ? Aqu
comienza el problema, podra pasar cualquier cosa. Mostraremos ejemplos de
sucesiones (bn )n y (cn ) n con lmites infinitos y donde el lmite del cociente,
(an )n , toma valores distinto en cada caso, o bien, ni siquiera existe este lmite.
Ejemplos:
i) Consideremos bn = 3n , cn = n , y notemos que lim bn = lim cn = + .
n
n
3
n
b
Entonces si an = n c resulta que lim an = lim
= 3 . Si hubiramos
n
n n
n
kn
definido bn = kn , con k y k 0 , tendamos que lim an = lim
= k , es
n
n n
decir cualquier valor real no nulo.
ii)
Consideremos:
bn = n ,
cn = n 2 ,
y
notemos
que
b
lim bn = lim cn = + . Si definimos como antes an = n c resulta que
n
n
n
n
1
lim an = lim 2 = lim = 0 .
n
n n
n n
n
iii) Consideremos: bn = (1)
, cn = 1 , como d n = 1 bn cn y
n
n
n
sabemos que cn converge a cero, por el teorema del sndwich afirmamos que bn
0
tambin converge a cero. Veremos que este tambin un tipo de
0
b
indeterminacin. As definimos an = n c , no slo podemos conseguir casos
n
como los anteriores, sino que, peor an, puede ni siquiera existirle lmite del
(1) n
n
n = lim (1) n = lim (1)n y ya
cociente. Calculemos lim an = lim
n
n 1
n n
n
n
vimos que este lmite no existe.
Definicin: Decimos que el clculo de un lmite es una indeterminacin si no se
puede conocer cul ser su resultado sin apelar al estudio del caso particular del
que se trata. Estos son casos en los cuales no podemos aplicar el lgebra de lmites
inmediatamente.
Veamos ahora cules son los tipos de indeterminaciones posibles:
54
Notas de Anlisis I
4. Sucesiones
Indeterminaciones:
i)
ii)
iii)
n +1
. Por ejemplo lim 2
.
n n + n
1
0
del tipo . Por ejemplo lim n + 1 .
n 3
0
n2
1
del tipo 0. . Por ejemplo lim 2
. ( n + 1) .
n n + n
del tipo
iv)
del tipo . Por ejemplo lim n 2 + n n 2 3 .

n
v)
1
del tipo 1 . Por ejemplo lim 1 + .
n n
vi)
del tipo . Por ejemplo lim n = lim n n .

n
n
vii)
1 n
del tipo 0 . Por ejemplo lim = lim 1 n .
n n
n
n
1
n
Se deja como ejercicio para el lector verificar que efectivamente se trata de

indeterminaciones. Esto significa que para cada uno de los tipo antes enunciado
hay que encontrar ejemplos de sucesiones (al menos dos) que tengan lmite
distintos o una converja y otra que no, tal como se hizo en el primer ejemplo de la
seccin para el caso .
Veremos en lo que resta del captulo, algunos mtodos para poder salvar
estas indeterminaciones, es decir, poder solucionar este problema de
incertidumbre del lmite y calcular los lmites deseados.
Sucesiones montonas
Definicin: Una sucesin se dice creciente si an +1 an para todo n , y se dice

decreciente si an +1 an para todo valor de n . Si la sucesin cumple es de
cualquiera de estos dos tipos, diremos que se trata de una sucesin montona.
Teorema: Toda sucesin (an )n , montona y acotada es convergente.
Demostracin: Consideraremos el conjunto A = {a1 , a2 , a3 , , an ,} . Como
(an )n es acotada entonces A es acotado y entonces por la completitud de los

nmeros reales podemos afirmar que existen s = sup( A) y i = inf( A)
( i = sup( A) ). Adems como (an )n es montona entonces es creciente o
decreciente. Supongamos que es creciente, y veamos que tiene lmite. Como
s = sup( A) , entonces por la caracterstica del supremo sabemos que para todo
55
Notas de Anlisis I
4. Sucesiones
> 0 existe an A tal que s < an , como (an )n es creciente, para n n0 ,

tenemos que s < an an y por ser s = sup( A) tenemos que s < an an s
0
y adems s < an0 an s < s + , esto dice que s < an < s + . Entonces
hemos llegado a que para todo > 0 se cumple que para todo n n0 ,
s < an < s + , o sea | an s |< . Esto ltimo dice que la sucesin converge a
s . Para el caso en que la sucesin sea decreciente, se repite el mismo
procedimiento, pero esta vez considerando i = inf( A) .
Pero, qu pasa si la sucesin no es acotada? Notemos entonces que si la
sucesin es montona entonces ser creciente o decreciente, en el primer caso
tomar valores cada vez mayores y como no es acotada entonces no podremos
fijar una cota superior M para el conjunto A = {a1 , a2 , a3 , , an ,} . Es decir,
existe n0 , tal que para cualquier n n0 , an M , lo cual nos dice que la sucesin
tiene lmite + . Para el caso en que sea decreciente se repite el razonamiento
anterior. Esto se formaliza con el siguiente teorema.
Teorema: Toda sucesin (an )n , montona y no acotada tiene lmite + (si es
creciente) y (si es decreciente).
Demostracin: Se deja como ejercicio formalizarla (basadas en las ideas del
prrafo anterior)
Subsucesiones y teorema de Bolzano-Weierstrass
Ya hemos visto algunas herramientas para calcular lmites de sucesiones, y

ms adelante veremos algunos resultados que harn esta tarea ms fcil. Pero no
tenemos hasta ahora un mtodo efectivo para probar que una determinada
sucesin no posee lmite (ni finito ni infinito). Veremos en esta seccin una
herramienta de gran valor para lograr esto ltimo.
Consideremos para comenzar una sucesin (an )n convergente. Es de
esperar que como todos los valores de la sucesin se acumulan cerca del lmite a
medida de que el valor de n crece, entonces si uno escoge de la sucesin original
un subconjunto de los elementos, estos tambin se estaran acumulando cerca del
mismo lmite. Es decir si, (an )n converge a L entonces todos los elementos de
A = an0 , an0 +1 , an0 + 2 , an0 +3 , , an , estn cerca de L . Luego si se extrae cualquier

subconjunto de A , sus elementos tambin estarn cerca de L . Esto nos dice que
si una sucesin converge y uno extrae trminos de ella (esto es obtener una
subsucesin de la sucesin original), esta nueva sucesin converge tambin, y ms
an, converge al mismo valor que la sucesin original. Esto motiva la definicin
de subsucesin y el siguiente teorema:
56
Notas de Anlisis I
4. Sucesiones
Definicin: Dada una sucesin (an )n : a1 , a2 , a3 , , an , , decimos que

(an )n : an1 , an2 , an3 , , ank , es una subsucesin de (an )n . Mas formalmente,
k
si (an )n representa a : , una subsucesin de (an )n es una composicin

a n : donde n : es una funcin estrictamente creciente. Llamamos
nk = n(k ) de lo cual sale que ank = an (k ) = a(n(k )) = (a n)(k ) .
Teorema: Sea (an )n una sucesin convergente, con lmite L (podra ser
(an )n divergente con lmite infinito). Entonces toda subsucesin (an )n de
k
(an )n converge, y lo hace al mismo lmite L .

Pensemos ahora en el contra recproco del razonamiento anterior.
Supongamos que (an )n es una sucesin que no posee lmite. Para fijar ideas
consideremos la sucesin an = (1) n , la cual, como ya fue explicado antes, toma
el valor 1 si n es par y 1 si n es impar.
Observemos que si nos quedamos solamente con los trminos pares
obtenemos una sucesin que vale constantemente 1, a la cual la llamaremos la
subsucesin de los trminos pares y si nos quedamos con los impares obtenemos
una sucesin que vale constantemente -1, a la cual la llamaremos la subsucesin
de los trminos impares. Hemos aqu obtenido dos Subsucesiones convergentes,
que convergen a distintos lmites, pero esto muestra que la sucesin original no
puede converger, ya que si convergiera, el lmite sera nico, y las dos
Subsucesiones obtenidas deberan tener el mismo lmite.
Entonces, cmo mostramos que una sucesin no tiene lmite? Deberamos poder
conseguir dos subsucesiones que converjan a valores distintos. Veamos un
ejemplo de esto:
Ejemplos:
i) Mostraremos que la sucesin an = (1)n no tiene lmite. Bastara para
ello encontrar dos subsucesiones de la anterior que converjan a valore distintos.
)
la de los impares.
Tomemos (a2n )n , la subsucesin de los pares y (a
2n+1 n
a = (1) 2 n = 1 ,
Como
entonces
converge
a
1,
y
2n
a
= (1) 2 n +1 = (1) 2 n (1) = 1 , entonces converge a -1.
2n+1
ii) Mostraremos ahora que la sucesin an = sen n
2 no tiene lmite.
Debemos construir dos subsucesiones con distintos lmites. Tomemos
a = sen 4n = 0 ,
que
converge
a
cero,
y
4n
2
( )
57
Notas de Anlisis I
4. Sucesiones
( )
a
= sen 4n + 1 = sen = 1 que converge a 1. (Queda como ejercicio
4n+1
2
2
para el lector llenar los detalles faltantes).
Enunciaremos a continuacin un lema que nos servir para probar el

teorema que le da nombre a esta seccin.
Lema (de los puntos panormicos): Dada una sucesin (an )n , podemos extraer
una subsucesin montona (an )n .
k
Demostracin: Diremos que am es un punto panormico de la sucesin si para

todo n > m , am > an . Intuitivamente esto dice desde am en adelante todos los
valores son menores que l. (Notar que si todos los puntos son panormicos
entonces la sucesin es decreciente).
Notemos que puede darse dos situaciones: Primero, que haya infinitos puntos
panormicos. En este caso tomaremos un valor n1 tal que an1 sea un punto
panormico. De esta forma an1 > an para todo n > n1 . Como hay infinitos puntos
panormicos tomamos n2 > n1 tal que an2 sea un punto panormico. Notemos que
an1 > an2 . De esta forma, como hay infinitos puntos panormicos, repitiendo este
procedimiento
podemos
construir
una
(an )n : an1 > an2 > an3 > > ank > , que es
k
subsucesin
justamente la
decreciente
subsucesin
montona que buscbamos.

El segundo caso se corresponde con el hecho que haya slo un nmero finito de
puntos panormicos. Como hay un nmero finito, a partir de un cierto valor n1 no
encontramos ms puntos panormicos. Esto quiere decir que no hay valores que
sean mayores que todos los siguientes. Como an1 no es panormico luego
podemos encontrar un valor n2 > n1 tal que an1 an2 , pero claramente an2
tampoco puede ser panormico, entonces podemos tomar un valor n3 > n2 tal que
an2 an3 , y prosiguiendo como hasta ahora podemos construirnos una subsucesin
creciente (an )n : an1 an2 an3 ank , que es justamente la subsucesin
k
montona que buscbamos.

Ahora estamos en condiciones de probar el teorema.
Teorema (Bolzano-Weierstrass): Sea (an )n
posee una subsucesin (an )n convergente.
una sucesin acotada, entonces
Demostracin: Por el lema anterior podemos construirnos una subsucesin

montona (an )n . Como la sucesin (an )n est acotada, entonces es evidente
k
58
Notas de Anlisis I
4. Sucesiones
que la subsucesin (an )n es acotada. Tenemos entonces que la subsucesin

k
(an )n
k
es montona y acotada. Y sabemos que toda sucesin con estas
condiciones es convergente (ver seccin anterior). Con esto queda probado el

teorema.
Ejemplo importantes (lmites especiales)
Dedicaremos esta seccin a generar herramientas que nos permitirn salvar

algunos tipos de indeterminaciones.
Trataremos primero las correspondientes al tipo
. Consideremos el
n +1
ejemplo dado: lim 2
. Cmo logramos eliminar la variable del numerador?
n n + n
Un procedimiento comn suele ser sacar factor comn tanto en el numerador
como en el denominador, con el objetivo de poder eliminar la variable deseada.
1+ 1
n(1 + 1 )
n +1
n
n . Ahora slo resta resolver
Esto sera lim 2
= lim
= lim
n n + n n n(n + 1) n n + 1
un lmite conocido, donde se puede aplicar el lgebra de lmites. Por un lado
tenemos que lim 1 + 1 = 1 en el numerador, y claramente el denominador
n
n
n +1
diverge, luego lim 2
=0.
n n + n
Podra entonces decirse que el mtodo para solucionar indeterminaciones
del tipo es sacando factor comn y luego operar algebraicamente para poder
aplicar el lgebra de lmites? S, en general este procedimiento funciona de

maravilla.
0
Pasemos ahora al segundo tipo de indeterminaciones, las del tipo .
0
Notemos primero que cualquier indeterminacin de este tipo se puede transforma
inmediatamente en una indeterminacin del tipo anterior. En algn sentido
1
podramos decir que un 0 es de la forma . Dicho de otra manera podramos
1
0
rescribir la indeterminacin como , lo cual equivaldra a una
1
0
indeterminacin del tipo anterior. Es importante aclara que este manejo algebraico
que se acaba de hacer con las indeterminaciones no es ms que un abuso de
notacin, es claro que nadie va a pasar dividiendo ni multiplicando un cero o un
59
Notas de Anlisis I
4. Sucesiones
infinito, so se escribe as para ilustrar la idea de rescribir la indeterminacin de un

tipo
en
otro.
Hagamos
esto
con
el
siguiente
ejemplo:
1
n2
, que no es ms que una indeterminacin del tipo
lim n + 1 = lim
n 3
n 3(n + 1)
n2
anterior, la cual ya sabemos resolver.
Notar que este mismo proceder se aplica alas indeterminaciones del tipo
1
0. , que puede rescribirse como indeterminaciones del tipo . , lo cual
equivale a una indeterminacin del primer tipo.

Las indeterminaciones del tipo tambin puede ser rescrita en su
mayora como indeterminaciones del primer tipo, veamos un ejemplo.
Aplicaremos para esto un mtodo algebraico que se conoce como multiplicar por
el conjugado. Supongamos que se quiere calcular lim n 2 + n n 2 3 ,
n
llamaremos conjugado de
operaremos
de
n 2 + n n 2 3 a la expresin n 2 + n + n 2 3 , y
la
siguiente
manera:
n2 + n + n2 3
lim n + n n 3 = lim ( n + n n 3)
,
n
n
n2 + n + n2 3
observemos qu tenemos en el numerador, aplicando la regla distributiva
llegamos
a
que
2
n2 + n + n2 3
(n 2 + n) (n 2 3)
lim ( n 2 + n n 2 3)
= lim
, notemos
n
n 2 + n + n 2 3 n n 2 + n + n 2 3
que ahora ni el numerador ni el denominador son indeterminaciones, ya que
lim (n 2 + n) (n 2 3) = lim n 1 = y lim n 2 + n + n 2 3 = por ser
n
n
n
una suma de infinitos positivos. Hemos entonces obtenido una indeterminacin
del primer tipo, tal como queramos.
Veremos ahora como tratar las indeterminaciones de la forma 1 , estas

no siempre se puede rescribir como algunas de las de los tipos anteriores. Para
resolver alguno de los casos ms tpicos apelaremos a un teorema cuya
demostracin no ser dada. Pero si el lector desea, puede verla en la bibliografa
[1CDIN].
Teorema:
Sea
(an )n
an
lim 1 + 1 = e .
an
n
lim 1 + 1
n
n
una
En
sucesin tal
particular
=e
60
que
tomando
lim a = ,
n n
an = n
se
entonces
obtiene
Notas de Anlisis I
4. Sucesiones
n
corresponde uno
Notemos que el lmite del teorema, lim 1 + 1
an
n
del tipo 1 . Como para entender como resolver una indeterminacin de este tipo
usando
el
teorema
anterior
resolveremos
el
siguiente
lmite:
3n1
n2 + n
. Para comenzar observemos que el lmite de la base es 1,
lim 2
n n + 3n 2
mientras que el del exponente es infinito, con lo cual estamos en las condiciones
que esperbamos. Tratemos mediante mtodos aritmticos elementales conseguir
una expresin como la buscada.
n2 + n
n2 + n
(n 2 + n) (n 2 + 3n 2)
= 1+ 2
1 = 1+
=
n 2 + 3n 2
n + 3n 2
n 2 + 3n 2
1
2n + 2
. Obtenemos de esta manera lo
= 1+ 2
= 1+ 2
n + 3n 2
n + 3n 2
2 n + 2
3n1
, para obtener en el exponente lo

siguiente: lim 1 + 2
n n + 3n 2
2n + 2
deseado multiplicaremos y dividiremos por lo que se pretende tener, obteniendo:

2 n + 2
.(3n 1)
n 2 + 3n 2 n 2 + 3 n 2
2n + 2
lim 1 +
.
n n 2 + 3n 2
2 n + 2
Aplicando el teorema anterior a la parte interior a los corchetes, obtenemos que su

lmite es el nmero e . Por otro lado, en el numerador, obtenemos una
indeterminacin
del
primer
tipo.
Calculando
llegamos
a
que
2 n + 2
lim 2
.(3n 1) = 6 . Finalmente por el lgebra de lmites con los
n n + 3n 2
3n1
n2 + n
lmites obtenidos recin tenemos que lim 2
n n + 3n 2
= e 6 .
Antes de estudiar las indeterminaciones de la forma 0 , veremos que

rn
rn
lim
= + si r > 1 . Sea an = , veamos primero que esta sucesin es
n n
n
a
creciente, a partir de algn n0 . Para ello veremos cundo el cociente n +1 es
an
61
Notas de Anlisis I
4. Sucesiones
r n +1
a
nr
1
nr
. Pero
. Luego
> 1 nr > n + 1 n >
mayor que 1. n +1 = n +n 1 =
r
n +1
r 1
an
n +1
n
1
es creciente tomando valores de n >
. Entonces por ser montona existe el
r 1
lmite (finito o infinito positivo). Queremos ver que es infinito, as que
supondremos que es infinito y llegaremos a una contradiccin:
rn
lim
= L < + . Entonces desarrollando segn la definicin tenemos que:
n n
lim a
lim a
n n +1 = lim nr = r > 1 , y por el otro lado n n +1 = L = 1 , luego 1<1, lo
n n + 1
L
lim a
lim a
n n
n n
rn
= + .
cual es evidentemente un absurdo. Entonces tenemos que lim
n n
Ejercicio: Se deja como ejercicio para el lector demostrar que

r <1.
lim r n = 0 si
n
Consideremos la siguiente sucesin: an = n n . Es claro que 1 = n 1 < n n . Y

si podemos ver que 1 = n 1 n n < 1 + = r habremos visto que su lmite es 1.
rn
Operando obtenemos que 1 n n < r n < r n 1 < . Lo cual es cierta por el
n
resultado anterior para todos los n a partir de algn n0 .
As como vimos que lim n n = 1 , tambin se puede demostrar que
n
lim n polinomio en funcin de n = 1 . Por ejemplo: lim n 3n12 + 7n 2 3n + 1 = 1 .

n
Estos resultados sirven para tratar los lmites de los dos ltimos tipos.
Veamos ahora otros teoremas muy importantes a la hora de calcular
lmites.
Teorema (cero por acotado): Sean (an )n y (bn )n dos sucesiones acotadas tal
que lim an = 0 , entonces lim an .bn = 0 .
n
n
Demostracin: Queremos probar que lim an .bn = 0 , sabiendo que lim an = 0 ,
n
n
y que M < (bn )n < M , luego | (bn )n |< M . Sabemos que para todo > 0 ,
existe un valor n0 , tal que para todo n n0 , | an |< . Luego acotemos
62
Notas de Anlisis I
4. Sucesiones
| an .bn |=| an | . | bn |<| an | M < M = , entonces tenemos que para todo > 0 ,
existe un valor n0 , tal que para todo n n0 , | an .bn |< (donde M = ), lo cual
muestra que lim an .bn = 0 .
n
Veamos un ejemplo de cmo se aplica esto.
sen(n 2 + n)
1
, podemos ver fcilmente que
sen(n 2 + n) es un
Calculemos lim
n
n
n
1
producto de dos sucesiones: una con lmite cero, y la otra acotada. lim
=0,
n n
2
1
1
1
=
= L , entonces por el lgebra de lmites como
ya que si lim
n n
n
n
2
1
2
nlim
= nlim
=L ,
entonces
L2 = 0 L = 0 .
Claramente
sen(n 2 + n)
= 0.
1 sen(n + n) 1 . Luego por el teorema anterior lim
n
n
Veremos ahora un ltimo teorema, que tambin ser una herramienta para
calcular lmites. La demostracin de este teorema no se dar, si el desea leerla
puede consultar la bibliografa [1CDIN] o [2NRSSFEC].
Teorema: Sea (an )n
una sucesin tal que
lim a = 0 , entonces
n n
sen(an )
lim
=1
n an
Veamos algn ejemplo de aplicacin de este teorema.
2
1
sen 2
3n + n
Ejemplo: Calculemos el siguiente lmite: lim

. Intentemos llevarlo
n
1
sen 2
7n n
a la forma adecuada para poder aplicar el teorema anterior:
sen(1/(3n 2 + n))
sen(1/(3n 2 + n)) 3n 2 + n 7 n 2 n
lim
=
lim
.
.
n sen(1/(7 n 2 n)) n sen(1/(7 n 2 n)) 3n 2 + n 7 n 2 n
Reagrupando obtenemos:
1
2
3n 2 + n
sen(1/(3n 2 + n))
sen(1/(3n 2 + n))
7n n
lim
lim
.
.
.
=
n sen(1/(7n 2 n)) n
1
sen(1/(7n 2 n)) 7n 2 n
3n 2 + n
Estudiemos cada cociente por separado: Por el teorema anterior tanto el primero
como el segundo cociente convergen a 1, mientras que el tercero es una
63
Notas de Anlisis I
4. Sucesiones
3n 2 + n 3
. Calculando obtenemos que lim
= .
n 7 n 2 n 7
sen(1/(3n 2 + n)) 3
Luego aplicando el lgebra de lmites tenemos que lim
= .
n sen(1/(7 n 2 n)) 7
indeterminacin del tipo
Sucesiones dadas por recurrencia
Concluiremos con el captulo correspondiente a sucesiones estudiando

sucesiones descritas de una forma que no fue mencionada anteriormente. Hasta
ahora hemos visto que las sucesiones se pueden describir mostrando su trmino
general y muchas veces, podemos conociendo tan slo algunos trminos de la
sucesin predecir cmo se comportar. Otra forma que describir el
comportamiento de una sucesin es de forma recurrente, esto es: describir el nsimo trmino de la sucesin en funcin de alguno (o algunos) de los anteriores.
Para fijar ideas, pensemos en un ejemplo muy elemental:
Ejemplo: La sucesin se define como: a0 = 2 , an = 2.an 1 , n . Esto nos indica
que el primer trmino toma el valor 2, y que un trmino cualquiera toma el valor
equivalente al doble del anterior. Surgen aqu algunas preguntas: por qu es
necesaria poner cuanto vale el primer trmino? Cmo calculo cuanto vale un
trmino determinado, por ejemplo el trmino a5 ? Respondamos primero la
segunda y caer de maduro la respuesta de la primera. Si miramos la definicin de
an = 2.an 1 podemos deducir que a5 = 2.a51 = 2.a4 (basta tomar n = 5 y
reemplazar). Pero a su vez a4 est definido recurrentemente. Con lo cual
a5 = 2.a4 = 2.(2.a3 ) , y como a3 tambin est definido recurrentemente se sigue
que a5 = 2.a4 = 2.(2.a3 ) = 2.(2.(2.a2 )) . Este proceso se contina hasta
a5 = 2.a4 = = 2.(2.(2.(2.(2.a0 )))) . Aqu se ve la importancia de a0 , tenemos que
reemplazar
por
a0 = 2 .
Notemos
entonces
que
a5 = 2.(2.(2.(2.(2.a0 )))) = 2.2.2.2.2.2 = 26 , y por el mismo procedimiento que el
anterior se deduce a4 = 2.(2.(2.(2.a0 ))) = 2.2.2.2.2 = 25 . Propongamos entonces,

mirando casos de a4 y a5 , que an = 2n +1 (si el lector necesita ms casos, es
fundamental que los desarrolle). Notar adems que se verifica que a0 = 20+1 = 2 .
Veamos ahora un ejemplo un poco ms complicado:
Ejemplo: Consideremos la sucesin definida por: a0 = 2 , an = 3.an 1 + 2. n ,
n . Desarrollemos algunos trminos para comprender su comportamiento:
64
Notas de Anlisis I
4. Sucesiones
a1 = 3.a11 + 2. 1 = 3.(2) + 2.1

a2 = 3.a21 + 2. 2 = 3.(3.(2) + 2.1) + 2. 2 = 3.3.(2) + 3.2.1 + 2. 2
a3 = 3.a31 + 2. 3 = 3.(3.(3.(2) + 2.1) + 2. 2) + 2. 3 = 3.3.3.(2) + 3.3.2.1 + 3.2. 2 + 2. 3
Rescribamos el trmino a3 de forma tal que nos sea ms fcil deducir el trmino
general.
a3 = 3.3.3.(2) + 3.3.2.1 + 3.2. 2 + 2. 3 = 33.(2) + 32.2. 1 + 31.2. 2 + 30.2. 3 ,
escribamos el trmino a4 = 34.(2) + 33.2. 1 + 32.2. 2 + 31.2. 3 + 30.2. 4 (se deja
como ejercicio par el lector desarrollar el cuarto trmino y llegar a la expresin
anterior). Podemos ahora deducir cmo sern los trminos sucesivos? S,
podemos intentarlo, notemos que el primer sumando del trmino an siempre es de
la forma 3n (2) . En cuanto a los dems, podemos ver que hay n sumandos en el
cual, el exponente del 3 decrementa su valor y el argumento de la raz cuadrada se
incrementa. En general escribiremos:
an = 3n.(2) + 3n 1.2. 1 + 3n 2.2. 2 + + 31.2. n 1 + 30.2. n . Usando la notacin
con
sumatorias
introducida
en
el
captulo
2
escribiremos:
n
an = 3n.(2) + 3n i.2. i . Verificar que a0 = 2 , y que se verifica para todos los

i =1
casos desarrollados.
A continuacin desarrollaremos otro ejemplo, en el cual no calcularemos
su trmino general, sino que mostraremos la importancia que tiene que haya una
expresin como la anteriormente calculada.
Ejemplo: Consideremos la sucesin definida como: a0 = 1 , a1 = 1 ,
an +1 = 2.an + an 1 , n , n > 1 . Notar que la recurrencia depende ahora de los
trminos anteriores, entonces es de esperar que el trmino a2 dependa de a1 y a0 .
Esto muestra que la importancia de definir dos casos bases. Desarrollando (para
valores de n grandes) obtenemos que:
an +1 = 2.(2.an 1 + an 2 ) + 2.an 2 + an 3 ,
an
an1
an +1 = 2.(2.(2.an 2 + an 3 ) + (2.an 3 + an 4 )) + 2.(2.an 3 + an 4 ) + (2.an 4 + an 5 ) =

an
an1
= 2.2.2.an 2 + 2.2.an 3 + 2.2an 3 + 2.an 4 + 2.2.an 3 + 2.an 4 + an 5

Notar que en este caso la recurrencia comienza a hacerse cada vez ms
complicada. Es importante que el lector note que si este clculo lo tuviera que
hacer uno a mano, sera una tarea enormemente larga, incluso para cuando el
valor de n no es tan grande, por ejemplo tomar n = 5 , y obtenemos la siguiente
expresin: a6 = 2.2.2.a3 + 2.2.a2 + 2.2a2 + 2.a1 + 2.2.a2 + 2.a1 + a0 .
65
Notas de Anlisis I
4. Sucesiones
Reemplazando
los
valores
conocidos
por
las
hiptesis:
a6 = 2.2.2.a3 + 2.2.a2 + 2.2a2 + 2.1 + 2.2.a2 + 2.1 + 1 . Y an falta desarrollar algunos
trminos.
Supongamos entonces que decidimos pasarle esta espantosa tarea de
clculo a una computadora. Si volvemos a mirar la frmula:
an +1 = 2.2.2.an 2 + 2.2.an 3 + 2.2an 3 + 2.an 4 + 2.2.an 3 + 2.an 4 + an 5 , notamos que
incluso en una etapa del desarrollo muy temprana (slo hicimos unos pocos
reemplazos), estamos calculando varios valores ms de una vez, es decir, la
computadora calcular an 2 , para lo cul necesitar calcular an 3 y an 4 , y luego
en el segundo y tercer sumando volver a calcular an 3 para lo cual volver ser
necesario calcular an 4 . Por supuesto que en la prctica existen mtodo que
permiten eliminar la recursin en una sucesin, lo cual nos permite tener un
algoritmo ms eficiente para el clculo. Dejemos de lado el enfoque
computacional, Qu significa esto desde un punto de vista matemtico? Simple!
Es importante eliminar la recurrencia en una sucesin, es decir, ser importante,
siempre que se pueda, obtener el trmino general.
Mostraremos a continuacin otro ejemplo de sucesin muy conocido:
Ejemplo (sucesin de Fibonacci): la sucesin de Fibonacci es una sucesin
recurrente, lineal (esto quiere decir que si se reemplazan la llamada a los trminos
anteriores por la variable x , el polinomio obtenido tiene grado 1). Se define
como: a0 = 0 , a1 = 1 , an +1 = an + an 1 , n , n > 1 . Se generan de esta forma los
trminos:
0,1,1, 2,3,5,8,13, 21,34,55,89,144, 233,377,
Desarrollemos un rbol dnde se muestren los clculos necesarios para
obtener el quinto trmino de la sucesin.
a5
a4
a3
a3
a2
a1 = 1 U
a2
a1 = 1 U
a1 = 1 U a0 = 0 U a1 = 1 U
a0 = 0 U
66
a1 = 1 U
a2
a0 = 0 U
Notas de Anlisis I
4. Sucesiones
Podemos observar en el rbol anterior que el clculo del quinto trmino de

la sucesin de Fibonacci, involucra el clculo de a4 , dos veces el clculo de a2 ,
tres veces el de a3 , y evaluar un total de 8 veces los casos bases, lo cual hace que
el proceso de clculo de los trminos de la sucesin sea sumamente costoso. Lo
cual confirma lo expuesto en el ejemplo anterior.
67
Notas de Anlisis I
4. Sucesiones
68
Notas de Anlisis I
5. Lmites de Funciones y Continuidad
5 - LMITE DE FUNCIONES Y CONTINUIDAD
En este captulo generalizaremos nociones vistas en los captulos

anteriores, estudiaremos las propiedades de los lmites pero sobre funciones ms
generales, es decir para funciones reales cualesquiera. Las funciones que
consideraremos son las estudiadas en el captulo 2, y combinaciones de ellas, y
contamos con la teora desarrollada en el captulo 3 sobre la completitud de los
nmeros reales, la densidad de los nmeros racionales, y el principio de
arquimedeanidad.
Lmites en el infinito
Anlogamente a lo hecho para sucesiones definiremos el concepto de

lmite en el infinito de la siguiente forma.
Definicin:
Una
funcin
f:
lim f ( x) = L si > 0, x0
x+
tiene
lmite
es
decir,
tal que x x0 f ( x) L < .
As como en el estudio de lmites para sucesiones, en el estudio de lmites

de funciones nos centraremos en adquirir herramientas para poder salvar las
indeterminaciones que aparezcan. Y veremos en el captulo siguiente una
0
herramienta muy poderosas para poder salvar las indeterminaciones del tipo
0
y .
Definicin: Decimos que el clculo de un lmite es una indeterminacin si no se

puede conocer cul ser su resultado sin apelar al estudio del caso particular del
que se trata. Estos son casos en los cuales no podemos aplicar el lgebra de lmites
inmediatamente (el lector ya est familiarizado con el lgebra de lmites para
sucesiones y veremos que se extiende sin problemas para el estudio de lmites de
funciones).
69
Notas de Anlisis I
Veamos ahora cules son los tipos de indeterminaciones posibles:

Indeterminaciones:
i)
ii)
iii)
x +1
. Por ejemplo lim 2
.
x +x
1
0
del tipo . Por ejemplo lim x + 1 .
x 3
0
x2
1
. ( x + 1) .
del tipo 0. . Por ejemplo lim 2
x x + x
del tipo
iv)
del tipo . Por ejemplo lim x 2 + x x 2 3 .

x
v)
1
del tipo 1 . Por ejemplo lim 1 + .
x x
vi)
del tipo 0 . Por ejemplo lim x x = lim x x .

x
x
vii)
1 x
del tipo 00 . Por ejemplo lim = lim 1 x .
x x
x
x
Nuevamente dejamos deja como ejercicio para el lector verificar que

efectivamente se trata de indeterminaciones. Esto quiere decir que para cada uno
de los tipo antes enunciados hay que encontrar ejemplos de sucesiones (al menos
dos) que tengan lmite distintos o una converja y otra que no, tal como se hizo en
para el estudio de indeterminaciones en el captulo 4.
Introduciremos a esta altura el primer concepto novedoso del captulo. Era
evidente en el captulo anterior que cuando tombamos un lmite infinito este
lmite tena que ser indefectiblemente un lmite con n tendiendo a infinito
positivo, ya que los valores que alcanzaba la variable n eran valores naturales.
Pero en el estudio actual los lmites dependen del valor de la variable x, que bien
podra moverse por todo el conjunto de los nmeros reales. Imagnense que
tenemos una funcin definida como f :
y queremos estudiar su
comportamiento cuando tomamos valores muy negativos. Es claro que este
planteo no tiene sentido en el estudio de sucesiones. De esta manera introducimos
el concepto de lmite hacia infinito negativo.
Definicin:
Una
funcin
f:
lim f ( x) = L si > 0, x0
x
tiene
lmite
tal que x x0 f ( x) L < .
70
es
decir,
Notas de Anlisis I
tiene lmite infinito positivo, es decir,

Definicin: Una funcin f :
lim f ( x) = + si M > 0, x0 tal que x x0 , f ( x) > M . Se dice que tiene lmite
x
infinito negativo, es decir,
lim f ( x) = si m < 0, x0
tal que
x
x x0 , f ( x) < m .
Veremos an as algunos ejemplos del clculo de lmites.
Ejemplos: Calcular los siguientes lmites
2x 1
x(2 1 x)
2 1 x 2
i) lim
= lim
= lim
= .
x + 3 x + 2
x + x (3 + 2 x )
x + 3 + 2 x
3
2x 1
Observemos que el clculo de lim
es idntico al anterior ya que
x 3 x + 2
2x 1 2
= .
lim 1 x = lim 2 x = lim 1 x = lim 2 x = 0. Luego lim
x +
x +
x
x
x 3 x + 2
3
2
ii) lim
. Intentemos aplicar el lgebra de lmites tal como
x + x + 1
1
x
x +1
= 1 ya que x toma
la conocemos para sucesiones. Por un lado lim
x +
x
valores positivos. Luego el denominador tiene lmite cero. Entonces el
cociente tiende a infinito. Pero ser infinito positivo o negativo?
Analicemos con ms cuidado el lmite calculado, como siempre vale que
x +1
> 1 cuando x>0, y entonces tenemos que si bien
x + 1 > x entonces
x
x +1
lim
= 1 podemos adems afirmar que nos acercamos al valor 1 por
x +
x
los mayores que 1, lo notaremos agregando un signo + como exponente
71
Notas de Anlisis I
x +1 +
x +1
= 1 , entonces tenemos que lim
1 = 0+ , y como
x +
x +
x
x
2
= + .
el numerador es siempre positivo, obtenemos que lim
x + x + 1
1
x
2
Analicemos lim
. Veamos primero qu pasa con el denominador.
x x + 1
1
x
x +1
: Por la definicin de la funcin mdulo
Calculemos lim
x
x
x si x 0
f ( x) =
debemos reemplazar x por x y obtenemos que
x si x < 0
del 1: lim
x +1
x +1
x +1
= lim
= 1 , luego lim
1 = 2 , con lo cual se
x
x
x
x
x
x
2
= 1 .
obtiene que lim
x x + 1
1
x
lim
Como se puede observar el procedimiento para calcular lmites a ms o

menos infinito es muy similar, y no vara mucho de lo estudiado en el captulo
anterior. Los procedimientos para salvar indeterminaciones tambin se copian y
se aplican al calculo de lmites funciones.
Veremos ahora que tambin se obtienen resultados similares a los del
captulo anterior, que son de gran importancia a la hora de calcular lmites.
Teorema (cero por acotado): Sean f :
y g:
dos funciones
acotadas tales que
lim f ( x) = 0 , entonces
lim f ( x).g ( x) = 0 . Y
x
x
anlogamente si lim f ( x) = 0 , entonces lim f ( x).g ( x) = 0 .
x
x
Demostracin: Queremos probar que lim f ( x).g ( x) = 0 , sabiendo que
x
lim f ( x) = 0 , y que M < f ( x) < M , x , luego | f ( x) |< M , x .
x
Sabemos que para todo > 0 , existe un valor x0 , tal que para todo x x0 ,
| f ( x) |< . Luego acotemos | f ( x).g ( x) |=| f ( x) | . | g ( x) |<| f ( x) | M < M = ,
entonces tenemos que para todo > 0 , existe un valor x0 , tal que para todo
x x0 , | f ( x).g ( x) |< (donde
M = ), lo cual muestra que
lim f ( x).g ( x) = 0 .
x
72
Notas de Anlisis I
El lector podr observar que esta demostracin es una copia de la prueba

realizada para sucesiones.
Si recordamos el ejemplo de aplicacin dado para sucesiones podemos
obtener un ejemplo de aplicacin de este teorema para el caso de funciones.
Veamos un ejemplo de cmo se aplica esto.
sen( x 2 + x)
1
Calculemos lim
sen( x 2 + x) es un producto de
, y tenemos que
x
x
x
1
= 0 (ver
dos funciones: una con lmite cero, y la otra acotada. lim
n x
demostracin hecha para sucesiones). Claramente 1 sen( x 2 + x) 1 . Luego por
el teorema anterior lim
x
sen( x 2 + x)
= 0.
x
As como sucede en el estudio de sucesiones de aqu se desprende el

siguiente teorema.
x
sen( f ( x))
sen( f ( x))
lim
=1.
= 1 . Tambin si lim f ( x) = 0 , entonces lim
x f ( x)
x f ( x)
x
Para obtener un ejemplo de este teorema, basta con mirar el ejemplo dado
para sucesiones
Teorema: Sea
f:
una funcin tal que
Lmites en el punto
Una de las principales diferencias en el estudio de lmites de funciones

con el correspondiente estudio para sucesiones es la existencia de lmites
puntuales. Como el conjunto de los nmeros reales es un conjunto continuo, esto
es, verifica la propiedad de completitud, tiene sentido pensar en tender o
acercarse a un determinado punto x0 movindonos desde la izquierda o desde la
derecha. Veamos el ejemplo que clarifique la situacin.
Sea f : una funcin, cuyo grfico no presenta saltos, es decir, la
funcin no presenta discontinuidades, y tomemos un punto cualquiera,
x0 Dom( f ) = . Tiene sentido preguntarse: a qu valor se acerca f ( x) cuando
nos acercamos al punto x0? Sin querer necesariamente preguntar cunto vale la
funcin en el punto x0.
73
Notas de Anlisis I
En este caso parecera sensato pensar que a medida que nos acocamos al
valor x0 (en el dominio de la funcin - por el eje de las X -), nos estamos
acercando al valor f ( x0 ) (en la imagen de la funcin - por el eje de las Y -).
Esto no parece tener mucho sentido cuando la funcin se comporta
bastante bien cerca del punto al cual tendemos.
Consideremos el siguiente ejemplo, dado por una funcin homogrfica que
presenta una discontinuidad (un salto) en el punto x0.
Sea f : { x0 } una funcin cuyo grfico es el siguiente:
74
Notas de Anlisis I
Analicemos cual es el comportamiento de la funcin cuando nos

acercamos al valor x0. Est claro que en este caso no podemos decir que a medida
que nos acocamos al valor x0, nos estamos acercando al valor f ( x0 ) , ya
que f ( x0 ) no est definido porque x0 Dom( f ) . Estamos en una situacin en la
cual no hay ms alternativa que hacer el clculo del lmite a mano.
Si observamos el grfico con detenimiento podemos ver que el valor del
lmite vara dependiendo si nos acercamos a x0 por la derecha o por la izquierda,
deberemos calcular ambos lmites laterales, para comprender el comportamiento
de la funcin cerca del punto en cuestin.
Lmites a derecha e izquierda
Siguiendo con el ejemplo anterior (y sumndole un poco de imaginacin)

podemos observar que a medida que nos acercamos a x0 por su derecha la funcin
toma valores cada vez mayores, mientras que si nos acercamos por su izquierda
los valores son cada vez ms negativos. Diremos entonces que el lmite a derecha
del punto x0 ser infinito positivo, mientras que el lmite a izquierda del punto x0
ser infinito negativo, y lo notamos as: lim+ f ( x) = + y lim f ( x) = .
x x0
x x0
Formalmente decimos:
Definicin:
lim f ( x) = + si M > 0 , > 0 tal que si x0 < x < x0 + ,
x x0+
entonces f ( x) > M . Anlogamente decimos que lim f ( x) = + si M > 0 ,

x x0
> 0 tal que si x0 < x < x0 , entonces f ( x) > M .
Definicin:
lim f ( x) = si m < 0 , > 0 tal que si x0 < x < x0 + ,
x x0+
entonces f ( x) < m . Anlogamente decimos que
lim f ( x) = si m < 0 ,
x x0
> 0 tal que si x0 < x < x0 , entonces f ( x) < m .
Este valor > 0 que buscamos en la definicin representa una distancia en el

dominio, para la cual siempre que estemos dentro del rango pedido
( x0 < x < x0 x0 < x < x0 + ), podamos asegurar que se cumple la condicin
buscada ( f ( x) < m f ( x) > M ). Grficamente esto se ve de la siguiente manera:
75
Notas de Anlisis I
Veamos ahora un ejemplo de lmite puntual en el cual los valores a los

cuales uno tiende sean finitos, es decir: Consideremos una funcin
f : { x0 } , tal que los valores de los lmites laterales sean finitos (no
necesariamente iguales) cuyo grfico es el siguiente:
Decimos en este caso que el lmite a derecha del punto x0 ser Ll, y el
lmite a izquierda del punto x0 ser L2, y lo notamos as: lim+ f ( x) = L1 y
x x0
lim f ( x) = L2 .
x x0
76
Notas de Anlisis I
Formalmente decimos que:

Definicin: lim+ f ( x) = L1 si > 0 , 1 > 0 tal que si x0 < x < x0 + 1 , entonces
x x0
f ( x) L1 < . Anlogamente decimos que lim f ( x) = L2 si > 0 , 2 > 0

x x0
tal que si x0 2 < x < x0 , entonces f ( x) L2 < .

En el caso el caso en que los valores de L1 y L2 coincidan (L1 = L2 = L)
diremos que el lmite cuando x tiende a x0 es L1, y lo notaremos lim f ( x) = L (o
x x0
sea no haremos distincin entre lmite a derecha o izquierda). Formalmente

decimos que:
Definicin: lim f ( x) = L si > 0 , > 0 tal que si 0 < x x0 < , entonces
x x0
f ( x) L < .
Notar que la condicin 0 < x x0 < involucra las dos condiciones

anteriores x0 < x < x0 y x0 < x < x0 + . Y que la condicin f ( x) L < dice
que L < f ( x) < L + . Grficamente se ve lo siguiente:
Veamos algunos ejemplos concretos:

Ejemplos: calcular los lmites laterales a x0 de las siguientes funciones y en caso
de existir calcular el lmite en el punto.
77
Notas de Anlisis I
i) f ( x) = 2 x 3 , con x0 = 1 . Observamos primero que la funcin es

bastante buena (es continua). Si calculamos el lmite lateral derecho decimos
que como lim + x 3 = 1 , entonces lim + 2 x 3 = 2 . De forma similar tenemos que
x1
x 1
lim 2 x = 2 , con lo cual podemos afirmar que existe el lmite en el punto

3
x 1
x0 = 1 , y que lim 2 x 3 = 2 .
x1
3x 2
, con x0 = 1 .
Nuevamente tenemos una funcin
x 1
homogrfica, que presenta problemas en x0 = 1 , ya que este valor no pertenece
al dominio de la funcin. Si calculamos el lmite lateral derecho al punto x0 = 1 ,
tenemos que el denominador tiende a anularse, es decir que lim+ x 1 = 0 , pero
ii)
f ( x) =
x 1
podemos saber ms, como nos acercamos al valor 1 por su derecha, la variable x
toma valore mayores que 1, con lo cual x-1 toma valores cercanos a 0, pero
positivos, es decir que lim+ x 1 = 0+ , mientras que cuando tendemos por la
x1
izquierda obtenemos que lim x 1 = 0 . Si estudiamos el numerador de la

x1
funcin tenemos que lim+ 3x 2 = lim 3x 2 = 1 , con lo cual el lmite del

x1
x 1
cociente ser infinito. En el primer caso tenemos que tanto el numerador como el
denominador son positivos, mientras que en el segundo caso tenemos que el
numerador es positivo, pero el denominador es negativo. De todo esto se deduce
3x 2
3x 2
que lim+
= + y lim
= .
x1 x 1
x1 x 1
2 x + 1
, con x0 = 4 . Estudiemos este ejemplo, y observemos
iii) f ( x) =
2 x + 3
que lim+ 2 x + 1 = 3 y que lim+ 2 x + 3 = 5 . Este es un caso donde ambos lmites
x1
x1
laterales son finitos, distintos, luego no existe el lmite en el punto.

Definicin: Sea f : A tal que ambos lmites laterales existen, son finitos y
coinciden (o sea lim+ f ( x) = lim f ( x) = L ), pero que la funcin no est
x x0
x x0
definida en el punto ( x0 Dom( f ) ) o que f ( x0 ) L , entonces diremos que f

presenta una discontinuidad evitable en x0.
Definicin: Sea
f:
{ x0 }
tal que no est definida en el punto
( x0 Dom( f ) ), y:
i) ambos lmites laterales existen, son finitos pero no coinciden (o sea
lim+ f ( x) lim f ( x) ),
x x0
x x0
78
Notas de Anlisis I
ii) alguno de los lmites laterales es infinito (en el peor de los casos ambos
son infinitos), o
iii) alguno de los lmites laterales no existe (en el peor de los casos
ninguno de ellos existe),
diremos que f presenta una discontinuidad inevitable (o esencial) en x0.
Continuidad
Hemos mencionado en el captulo 2, qu significa intuitivamente que una

funcin sea continua, esto era que su grfico se poda hacer sin levantar el lpiz,
es decir la funcin no pega saltos. Desde aquel hasta ahora hemos desarrollado
varias herramientas que nos permitirn formalizar la idea de continuidad.
Supongamos que se tiene una funcin f, y que se quiere estudiar su
comportamiento en un determinado punto, llammoslo x0. Como no aclaramos
que la funcin est definida en el punto en cuestin no sera prudente calcular f(x0)
ya que podra no tener sentido. Calculemos entonces ambos lmites laterales, y
supongamos que ambos existen, son finitos y coinciden. Sean ahora
lim+ f ( x) = lim f ( x) = L . Si resultara que el punto x0 Dom( f ) o que
x x0
x x0
f ( x0 ) L , por lo visto antes diramos que f presenta una discontinuidad evitable

en el punto x0. Pero, qu sucede si f ( x0 ) = L ?, es decir que ambos lmites
coinciden con el valor que la funcin toma en el punto. En este caso resultar que
f es continua en el punto x0. Ms formalmente decimos que:
Definicin: Sea f una funcin definida en un entorno del punto x0. f se dice
continua si > 0 , > 0 tal que si x x0 < , entonces f ( x) f ( x0 ) < .
Observemos que la condicin x x0 < , entonces f ( x) f ( x0 ) <

implica
0 < x x0 < ,
x0 Dom( f ) , y
entonces
f ( x) f ( x0 ) <
como
adems
f ( x0 ) = L , esto implica que 0 < x x0 < , entonces
f ( x) L < y f ( x0 ) = L . En resumen tenemos que el lmite en el punto x0
existe y coincide con f(x0). Luego tenemos las siguientes equivalencias:

Teorema: Sea f definida en un entorno del punto x0. Las siguientes afirmaciones
son equivalentes:
i) f es continua en el punto x0 (o sea > 0 , > 0 tal que si
x x0 < , entonces f ( x) f ( x0 ) < ),
ii) lim+ f ( x)
x x0
, lim f ( x)
x x0
, lim+ f ( x) = lim f ( x) = f ( x0 ) ,
x x0
iii) lim f ( x) = f ( x0 ) .
x x0
79
x x0
Notas de Anlisis I
Consideremos ahora una funcin f que presenta una discontinuidad evitable en el

punto x0. Supongamos adems que la funcin no est definida en ese punto.
Podremos hacer algo para que la funcin resulte continua en x0? Nuevamente
tomemos la definicin de discontinuidad evitable, sabemos que los lmites
laterales en el punto x0 coinciden, y que f no est definida en el punto x0.
Extendamos el dominio de la funcin agregando el este valor y hagamos que en x0
tome el valor de los lmites. Es decir, si se tiene que f : A ,
x0 A = Dom( f ) , lim f ( x) = lim+ f ( x) = L , definimos entonces una nueva
x x0
x x0
f ( x) si x A
, entonces resulta que lim f ( x) = lim f ( x) = L
funcin f ( x) =
x x0
x x0
si x = x0
L
y adems f ( x0 ) = L , entonces por el teorema anterior ( iii ) i) ) vale que
f : A { x0 }
, y f coincide con f sobre A, esto ltimo suele escribirse
= f.
Ejemplo: Encontrar todos los posibles valores de k de forma tal que la siguiente
funcin resulte continua. f : , definida como:
4 + 2.e1 x si x < 0
.
f ( x) =
2
2 x + k si x 0
Primero observemos que para estudiar la continuidad de f (en todo su dominio),
nos bastar tan slo con ver qu sucede con la rama que la define a la izquierda
del cero, a la derecha del cero y en el aquel punto.
Est bastante claro que la funcin f1 ( x) = 4 + 2.e1 x no presenta problemas
a la izquierda del cero, ya la funcin e1 x est bien definida sobre todos los valores
negativos de x y luego al multiplicar por 2 y sumarle 4 esto se mantiene. Si bien
esto parece muy intuitivo, formalmente estamos haciendo uso del lgebra de
funciones continuas, el lector a esta altura puede imaginarse de que se trata, pero
de todas maneras ser explicado en la prxima seccin.
Esto mismo sucede con la segunda rama, la funcin f 2 ( x) = 2 x + k 2 por
ser lineal resulta continua en todo su dominio, es decir, f 2 es continua para todos
los reales mayores que cero independientemente del valor de k. Por qu no
podemos afirmar que la funcin sea continua en el cero Para esto deberamos
verificar que se cumple la definicin de continuidad o alguna de sus
equivalencias. Por simplicidad buscaremos que los lmites laterales existan, que
sean finitos y que lim+ f ( x) = lim f ( x) = f ( x0 ) .
x 0
x 0
Calculemos lim+ f ( x) = lim+ f1 ( x) = lim 4 + 2.e1 x = 4 + 2. lim e1 x = 4 + 2.0 = 4

x 0
x 0
x 0
x 0
(Observar que nuevamente hemos usado el lgebra de lmites).
80
Notas de Anlisis I
Si calculamos lim+ f ( x) = lim+ f 2 ( x) = lim+ 2 x + k 2 = k 2 lo cual coincide con

x 0
x 0
x 0
f (0) = k . Es decir, queremos que 4 = lim f ( x) = lim+ f ( x) = f ( x0 ) = k 2 .

2
x 0
x 0
Entonces pedimos k = 4 k = 2 .
2
lgebra de lmites y continuidad
En esta seccin extenderemos el lgebra de lmites para funciones, lo cual

no resultar ms que una copia de lo ya hecho para sucesiones:
Teorema (lgebra de Lmites): Sean f : A { x0 } B y
g : A { x0 } C dos
funciones tales que lim f ( x) = l1 y lim g ( x) = l2

x x0
x x0
siguientes resultados:
lim k . f ( x) = k .l1 , k constante
x x0
, entonces valen los
lim f ( x) + g ( x) = l1 + l2
x x0
lim f ( x) g ( x) = l1 l2
x x0
lim f ( x).g ( x) = l1.l2

x x0
lim f ( x) / g ( x) = l1 / l2 , suponiendo que g ( x) 0 y que l2 0

x x0
Teorema (lgebra de Lmites para valores infinitos): Sean f : A { x0 } B y
g : A { x0 } C dos funciones. Entonces valen los siguientes resultados:

i) Si lim f ( x) = y lim g ( x) = l2
x x0
x x0
lim k . f ( x) = sg (k ) , k constante (donde sg (k ) representa el signo de k)
x x0
lim f ( x) + g ( x) =
x x0
lim f ( x) g ( x) = +
x x0
lim f ( x).g ( x) = sg (l2 ) (siempre y cuando b 0)
x x0
lim f ( x) / g ( x) = sg (l2 ), suponiendo que g ( x) 0 y que l2 0

x x0
lim g ( x) / f ( x) = 0, si l2 0
x x0
81
Notas de Anlisis I
ii) Si lim f ( x) = + y lim g ( x) = +

x x0
x x0
lim f ( x) + g ( x) = +
x x0
lim f ( x) g ( x) = = indeterminacin
x x0
lim f ( x).g ( x) = +
x x0
lim f ( x) / g ( x) = indeterminacin
x x0
lim g ( x) / f ( x) = indeterminacin
x x0
Con respecto a las funciones continuas, no podemos decir mucho ms que

repetir lo ya dijimos varias veces. Dado que la nocin de continuidad se desprende
de la nocin de lmite, resulta que la suma, la resta, la multiplicacin, etc. De
funciones continuas resultar continua. Lo formalizamos con el siguiente
resultado.
Teorema (lgebra de funciones continuas): Sean f : A B y g : A C dos
funciones definidas en un entorno del punto x0 y continuas en x0 . Entonces se
tiene que valen los siguientes resultados:
k . f ( x) es continua en x0 , k constante
f ( x) + g ( x) es continua en x0
f ( x) g ( x) es continua en x0
f ( x).g ( x) es continua en x0
f ( x) / g ( x) es continua en x0 , suponiendo que g ( x) 0 cerca de x0
Adems se verifica que:
Teorema: Si f : A B, g : B C son dos funciones definidas en un entorno del
punto x0 y f ( x0 ) y continuas en x0 y f ( x0 ) respectivamente. Entonces la
composicin resulta continua en x0
Teoremas sobre continuidad
Consideremos ahora, funciones que sean continuas en un intervalo

cerrado, es decir, sea f : A B slo pediremos que la funcin f est definida en
el intervalo [a,b], y que adems resulte continua ah adentro, notar que la
continuidad en los bordes del intervalo indica que el lmite por izquierda al punto
b coincida con el valor f(b) (sin importarnos que sucede con el lmite por derecha,
f podra ni siquiera estar definida a la derecha de b). Anlogamente sucede con a,
82
Notas de Anlisis I
slo pediremos que el valor del lmite por derecha coincida con la valuacin en el
punto, y no nos detendremos a estudiar el lmite por izquierda a ese punto.
A continuacin se estudiarn algunos teoremas que nos permitirn
comprender el comportamiento de las funciones continuas.
Teorema: Sea f : A B una funcin continua en el intervalo [a,b], afirmamos
que f es acotada en todo el intervalo.
Demostracin: Sea f continua en el intervalo [a,b], pero supongamos que nos es
acotada. (Esto nos indica que o bien no es acotada superiormente o bien
inferiormente). Supongamos primero que no es acotada superiormente, entonces
para cualquier valor de M > 0 , existe x [a, b] tal que f ( x) > M . Como esto lo
podemos hacer para cada valor de M, tomemos M = n , y llamemos xn [a, b] al
correspondiente valor de x, que hace que se cumpla f ( xn ) > n . Repitiendo esto
para cada nmero natural n, conseguimos una sucesin ( xn ) n :
x1 , x2 , x3 , , xn , , totalmente contenida en el intervalo [a,b], con la propiedad
que f ( xn ) > n n . Entonces esto ltimo nos indica que la sucesin est
acotada. Y por el teorema de Bolzano-Weierstrass (ver captulo 4) afirmamos que
la sucesin ( xn ) n contiene una subsucesin convergente ( xnk ) k que tiene
lmite
lim xnk = l , y como se verifica que

k
a ( xn ) n b
, entonces
a ( xnk ) k b , y por lo tanto l [a, b] , y entonces afirmamos que existe f(l).

Por ser f continua en [a,b], afirmamos que lim f ( xn ) = f (l ) (se deja como
k
k
ejercicio para el lector convencerse de esto). De aqu se obtiene que
( f (x ))
nk
es una sucesin convergente que tiene como lmite a f(l). Pero por otrio lado
tenemos que f ( xnk ) > nk k , entonces f ( xnk )
no es acotada.
Claramente estos dos resultados son contradictorios, ya que hemos visto que toda
sucesin convergente es acotada. De lo cual se obtiene una contradiccin que
parte de suponer que f no era acotada superiormente. Este mismo razonamiento se
copia suponiendo que f no era acotada inferiormente.
Tenemos ahora que la imagen de una funcin continua sobre un intervalo
cerrado es acotada (y claramente no vaca), entonces por lo estudiado en el
captulo 3, existen valores llamados supremo e nfimo, que por pertenecer al
conjunto imagen decimos que son mximos y mnimo respectivamente. En los
prximos teoremas ser de gran importancia la propiedad de completitud de .
Esto motiva el siguiente
Teorema (Weierstrass): Sea f : A B una funcin continua en el intervalo [a,b],
afirmamos que f alcanza un mximo y un mnimo en el intervalo.
83
Notas de Anlisis I
Demostracin: Como f es continua en el intervalo [a,b], el conjunto

A = Im( f ) = { f ( x) / x [a, b]} es acotado (tanto inferior como superiormente por
lo que explicamos en el prrafo anterior). Llamemos: s = sup( A) , i = inf( A) .
Debemos ver ahora que existen valores x1 , x2 tales que f ( x1 ) = s y f ( x2 ) = i .
1
,
Supongamos que no fuera as, consideremos adems la funcin g ( x) =
s f ( x)
que por nuestra suposicin est bien definida ya que es el cociente de dos
funciones continuas que no se anulan. Y como g es continua en un intervalo
cerrado, por el teorema anterior g es acotada, es decir existe un valor M tal que
1
g ( x) =
M x [a, b] . De aqu sale que 1 M ( s f ( x) ) , o sea
s f ( x)
1
1
f ( x) s
x [a, b] . De esto se deduce que s
es cota superior de A, lo
M
M
cual contradice que s sea el supremo. Esta contradiccin provino de suponer que
no exista ningn valor x1 tal que f ( x1 ) = s , entonces s es un mximo del
conjunto A, o sea que f ( x1 ) f ( x) x [a, b] .De la misma manera se procede
1
se
con x2 . Suponiendo que no existe y considerando la funcin h( x) =
f ( x) i
llaga a una contradiccin. (Se deja como ejercicio para el lector completar esta
demostracin)
Es bueno que el lector que este en condiciones se habite a demostrar
formalmente ya que en la matemtica las cosas ms esperadas pueden resultar
falsas y las ms increibles pueden resultar ciertas.
Recordemos ahora la definicin informal de continuidad dada en el
captulo dos. Decamos que una funcin es continua si podamos graficarla so
levantar el lpiz del papel. Por otro lado supongamos que se tiene una funcin
continua que toma valores negativos y valores positivos. Para fijar ideas
supongamos que a, b Dom( f ) y que f (a) < 0 y que f (b) > 0 , intuitivamente
esperaramos que la funcin corte en algn lugar (entre a y b) al eje de las X. Lo
que es mucho menos obvio es que para afirmar esto estamos usando la propiedad
de completitud de los nmeros reales. Formalizaremos a continuacin este
resultado y lo demostraremos con mximo detalle para que el lector pueda
observar que la propiedad de completitud es indispensable. Se recomienda que se
haga una lectura detenida de la demostracin del teorema.
84
Notas de Anlisis I
Teorema (Bolzano): Sea f : A B una funcin continua en el intervalo [a,b], tal

que f (a) < 0 y que f (b) > 0 (o al revs, se suele escribir f (a). f (b) < 0 ).
Entonces existe un punto c (a, b) tal que f (c) = 0 .
Demostracin: Consideremos el conjunto formado por todos los puntos del
intervalo donde la funcin es negativa. A = { x [a, b] / f ( x) < 0} . Este conjunto
est acotado superiormente por b (ya que si x A x [a, b] x b ), y adems
es no vaco ya que a A , luego (por la propiedad de completitud) existe un
elemento c = sup( A) . Como el conjunto A est totalmente incluido en el intervalo
[a, b] entonces c [a, b] . Queremos ver que este valor c es el valor buscado, es
decir que f (c) = 0 .
Supongamos que no. Si f (c) < 0 , entonces afirmamos que existe un valor > 0
(*), tal que para cualquier x que cumpla c < x < c + vale que f ( x) < 0 . Sea
x1 un elemento tal que c < x1 < c + , entonces f ( x1 ) < 0 , entonces x1 A . Lo
cual es una contradiccin ya que es un elemento de A y es mayor que el supremo.
Si f (c) > 0 , tambin afirmamos que existe un valor > 0 tal que para cada x tal
que c < x < c + se cumple f ( x) > 0 . Sea ahora x2 un valor tal que
c < x2 < c . Es claro que x2 no puede ser cota superior de A ya que c es la
menor de todas, entonces existe un elemento x3 A tal que x2 < x3 c , pero
entonces como x3 (c , c + ) tenemos que f ( x3 ) > 0 y adems f ( x3 ) < 0 por
estar en A. Lo cual es absurdo. Con lo cual tenemos que f (c) = 0 y como
c [a, b] y c a ya que f (a) < 0 y c b ya que f (b) > 0 , entonces c (a, b) ,
lo cual prueba el teorema.
(*)(se deja al lector convencerse de esto, basta mirar con cuidado la definicin de
lmite)
Veamos que la idea que aporta este teorema puede ser generalizada un
poco ms, es decir, este razonamiento puede ser trasladado horizontalmente y
tenemos el siguiente corolario:
85
Notas de Anlisis I
Corolario: Sea f : A B una funcin continua en el intervalo [a,b], tal que

f (a) < f (b) (o al revs) y sea y0 tal que f (a) < y0 < f (b) . Entonces existe un
punto c (a, b) tal que f (c) = y0 .
Demostracin: Para demostrar esto no hay ms que considerar la funcin f1
definida sobre el mismo intervalo, tal que f1 ( x) = f ( x) y0 (desplazamiento de f
y0 puntos en sentido vertical) y aplicar el teorema de Bolzano a la funcin f1 .
Tenemos entonces que existe un valor c (a, b) tal que f1 (c) = 0 , luego
f1 (c) = f (c) y0 = 0 , entonces f (c) = y0 .
Tomando f1 ( x) = f ( x) y0 y
luego aplicando el teorema de
Bolzano.
Ejemplo (Aplicacin del teorema del Bolzano): Sea f :

una funcin
4
3
2
polinmica definida como f ( x) = x 3 x 4 x + 12 x . Sabiendo que f (3) = 0 ,
calcular los conjuntos de negatividad ( C ( f ) ) y positividad ( C+ ( f ) ) de f.
Primero observamos que la condicin f (3) = 0 equivale a decir que x 3
divide a f, y adems podemos observar que de la expresin de f podemos extraer
86
Notas de Anlisis I
un factor comn, la variable x. Obtenemos de esta manera una expresin ms

factorizada de f : f ( x) = x( x 3 3 x 2 4 x + 12) = x.( x 3)(algo de grado 2) .
Determinemos cul es la cuadrtica restante, mediante una simple divisin de
polinomios:
x3 3 x 2 4 x + 12
x3
x 3x
x2 4
4 x + 12
4 x + 12
0
Obtenemos entonces que f ( x) = x.( x 3)( x 2 4) y por ser una diferencia de

cuadrados sabemos que x 2 4 = ( x 2)( x + 2) , con lo cual obtenemos que f se
escribe como: f ( x) = x.( x 3)( x 2)( x + 2) y queda claro que las races de f son
{2, 0, 2,3} . Veamos cmo se aplica el teorema de Bolzano. Sabemos que la
funcin entre raz y raz, no corta el eje de las X, y usando el contrarecproco del
teorema de Bolzano, que dice:
Teorema de Bolzano (contrarecproco): Si f : es una funcin continua en
[a, b] y no contiene ningn cero en el intervalo [a, b] , entonces f es positiva o
negativa en el intervalo (pero no puede ser ambas).
Esto nos dice que en los intervalos restantes (, 2) , (2, 0) , (0, 2) , (3, ) , la
funcin slo puede ser positiva o negativa. Para determinar es cul de los dos
casos estamos, vasta tomar un punto en cada intervalo y el signo del valor de la
valuacin en el punto nos determinar el signo de f en todo el intervalo:
3 (, 2)
1 (2, 0)
1 (0, 2)
2,5 (2,3)
10 (3, )
f (3) = 90 > 0
f (1) = 12 < 0
f (1) = 6 > 0
f (2,5) 2,8 < 0
f (10) = 6720 > 0
f es positiva en (, 2)
f es negativa en (2, 0)
f es positiva en (0, 2)
f es negativa en (2,3)
f es positiva en (3, )
Entonces tenemos que:

C+ ( f ) = (, 2) (0, 2) (3, ) y C ( f ) = (2, 0) (2,3)
Lmites especiales
Al igual que para sucesiones, mostraremos aqu algunos lmites conocidos

que nos servirn como herramientas para resolver indeterminaciones. Como se ha
visto a lo largo del captulo gran parte de los resultados obtenidos para sucesiones
87
Notas de Anlisis I
se copian para el tratamiento de lmites de funciones. Es por esto que pasaremos

directamente a estudiar una reformulacin de un resultado obtenido en el captulo
cuatro, que nos permite salvar algunas indeterminaciones de la forma 1 . Como
hicimos en el captulo anterior, enunciaremos el teorema y dejaremos que el lector
interesado consulte la demostracin en la bibliografa [1CDIN].
Teorema: Sea f :
una funcin (no necesariamente definida en x0 ) tal que
lim f ( x) = + , entonces lim 1 + 1

f ( x)
x x0
x x0
f ( x) = x se obtiene
1/ x
lim (1 + x )
x0+
lim 1 + 1
x
x+
f ( x)
= e . En particular tomando
= e . Y tomando
f ( x) = 1/ x se tiene
=e
Teorema (cero por acotado): Sean f :

y g:
necesariamente definidas en x0 ), acotadas tal que
lim f ( x).g ( x) = 0 .
x x0
Demostracin: Queremos
dos funciones (no

x x0
lim f ( x).g ( x) = 0 , sabiendo

x x0
que lim f ( x) = 0 , y que M < g ( x) < M , luego | g ( x) |< M . Sabemos que para
x x0
probar
que
todo > 0 , existe un valor > 0 , tal que si x x0 < , | f ( x) |< . Luego
acotemos | f ( x).g ( x) |=| f ( x) | . | g ( x) |<| f ( x) | M < M = , entonces tenemos
que para todo > 0 , existe un valor > 0 , tal que si x x0 < , | f ( x).g ( x) |<
(donde M = ), lo cual muestra que lim f ( x).g ( x) = 0 lim an .bn = 0 .
x x0
n
El ltimo teorema tambin resulta ser una copia del teorema enunciado
para sucesiones, y la demostracin de este teorema no se dar, pero podr ser
consultada en la bibliografa [1CDIN] o [2NRSSFEC].
Teorema: Sea f :
(an )n
una funcin (no necesariamente definida en

sen( f ( x))
x0 ), tal que lim f ( x) = 0 , entonces lim
= 1 . Si tomamos x0 = 0 y
x x0 f ( x)
x x0
sen( x)
f ( x) = x obtenemos que lim
=1.
x0 x
88
Notas de Anlisis I
6. Derivadas
6 DERIVADAS
As como estudiamos en el captulo anterior la nocin de continuidad de

una funcin en un punto veremos en este captulo la nocin de derivada puntual.
Este concepto aportar una herramienta potente para comprender el grfico de una
funcin expresada analticamente. La mayora de la teora desarrollada en este
captulo servir principalmente para poder realizar un estudio de funcin competo.
As mismo obtendremos una herramienta potente para calcular lmites.
Definicin
Supongamos ahora que se tiene una funcin continua, cuya grfica es

suave, es decir, no presenta puntas ni quiebres bruscos.
Consideremos ahora un punto Q y otro punto P1 sobre el grfico de f , luego
trazamos L1 la recta secante al grfico de f que pasa por los puntos marcados.
Podemos repetir este procedimiento trazando las rectas L1, L2, L3, Ln, que pasan
por los puntos P1, P2, P3, Pn y Q respectivamente, notemos que las rectas son
cada vez ms parecidas a la recta tangente al grfico de f en el punto Q, a la cual
hemos llamado L.
El grfico siguiente ilustra este procedimiento.
89
Notas de Anlisis I
6. Derivadas
Formalicemos esta idea: Sea f una funcin continua definida en un

intervalo [a, b] , tomemos x0 (a, b) y sea Pi = ( xi , f ( xi )) puntos sobre el grfico
de f de forma tal que la sucesin formada por los xi x0 cuando i tiende a
infinito (es decir los valores de xi se aproximan a x0 ). Por otro lado, notemos que
Li
definidas como antes son:
las pendientes de las rectas
f ( xi ) f ( x0 )
pend ( Li ) =
.
xi x0
En definitiva afirmamos que el lmite de este cociente, si existe, ser el
valor de la recta tangente en el punto Q.
Matemticamente
decimos
que
f ( xi ) f ( x0 )
lim pend ( Li ) = lim
= pend ( L) .
i
i
xi x0
Lo
Definicin: Si este lmite existe lo llamamos la derivada de f en x0 .
f ( xi ) f ( x0 )
= f ( x0 ) , o ms usualmente, directamente
escribimos como: lim
xi x0
xi x0
f ( x) f ( x0 )
= f ( x0 ) .
suprimimos los subndices y decimos: lim
x x0
x x0
Tambin podemos llamar hi a la distancia entre xi y x0 , es decir

hi = xi x0 y como xi se aproximan a x0 tenemos que hi se aproximan a 0.
Luego, tomando h = x x0 podemos rescribir el lmite anterior de la siguiente
manera:
f ( x) f ( x0 )
f ( x0 + h) f ( x0 )
lim
= lim
= f ( x0 )
x x0
h 0
x x0
h
90
Notas de Anlisis I
6. Derivadas
Definicin: Decimos que una funcin f es derivable en un punto x0 si el lmite

f ( x0 + h) f ( x0 )
lim
existe (es finito), y en ese caso decimos que su derivada en
h 0
h
ese punto es f ( x0 ) .
Definicin: Decimos que una funcin f es derivable en un intervalo (a, b) , si es
derivable en cada uno de sus puntos.
Observacin:
i)
La nocin de derivabilidad (al igual que la de continuidad) es una
nocin local, es decir nos informa sobre el comportamiento de la
funcin en un entorno del punto.
ii)
Adems es importante notar que la definicin de funcin derivable
en un intervalo automticamente requiere que ste sea abierto ya
que deben existir los lmites al punto, tanto por izquierda como por
derecha.
Si el intervalo fuera cerrado a izquierda (a derecha) no sera posible
tomar lmite por izquierda (derecha) al punto mnimo (mximo) del
intervalo.
Derivada y recta tangente
Como hemos visto en la seccin anterior la derivada de una funcin f en un

punto x0 se interpreta geomtricamente como la pendiente de la recta tangente al
grfico de f en el punto x0 .
Esto nos brinda una forma prctica para conocer la recta tangente una
funcin derivable en un punto dado. Sabemos que la recta tiene pendiente f ( x0 )
y f ( x0 )
= f ( x0 ) . Por lo
y sabemos que pasa por el punto ( x0 , f ( x0 )) Luego
x x0
tanto se obtiene que:
y = f ( x0 )( x x0 ) + f ( x0 ) es la ecuacin de la recta tangente.
Veamos algunos ejemplos de clculos de derivadas
Ejemplos:
i) Calcular la derivada de f en x0 = 3 de f ( x) = 2 x 4 . Y calcular la recta
tangente al grfico de f en ese mismo punto.
f (3 + h) f (3)
2(3 + h) 4 2
6 + 2h 4 2
2h
f (3) = lim
= lim
= lim
= lim
=2
h 0
h
0
h
0
h
0
h
h
h
h
Calculemos ahora la recta tangente correspondiente:
91
Notas de Anlisis I
6. Derivadas
y = f ( x0 )( x x0 ) + f ( x0 ) = 2( x 3) 2 = 2 x 4 .
No es casualidad que en este caso la recta haya resultado idntica a la
funcin lineal original, debera ser bastante claro para el lector que la recta
tangente (la recta que mejor aproxima a la funcin en el punto), es la funcin
misma.
Es de esperar que para cualquier funcin lineal la recta tangente a su
grfico en cualquier punto sea el grfico de la funcin misma, y por lo tanto la
derivada de la funcin ser su pendiente independientemente de la eleccin del
punto.
Es decir, si f ( x) = mx + b ,
f ( x0 + h) f ( x0 )
m( x0 + h) + b [mx0 + b]
mh
= lim
= lim
= m y por
h 0
h 0
h 0 h
h
h
lo tanto la recta tangente a f en x0 es:
f ( x0 ) = lim
y = f ( x0 )( x x0 ) + f ( x0 ) = m( x x0 ) + (mx0 + b) = mx + b , tal como se

esperaba.
ii) Determinar si existe la derivada de la funcin f ( x) =| x | en el punto
x0 = 0 . Para ello deberamos ver si existe el lmite del cociente incremental.
x si x 0
| x |=
, por lo tanto calculemos primero
x si x < 0
f ( x0 + h) f ( x0 )
f ( x0 + h) f ( x0 )
f +( x0 ) = lim+
y luego f ( x0 ) = lim
. Tenemos
h 0
h 0
h
h
|h|
h
|h|
h
= lim+
= 1 luego el
= lim+ = 1 y que: f ( x0 ) = lim
que f +( x0 ) = lim+
h 0 h
h 0 h
h 0 h
h 0 h
lmite no existe, entonces decimos que f no es derivable en el cero.
Recordemos
que
iii) Calcular la derivada de f ( x) = x 2 en el punto x0 .

( x0 + h) 2 x0 2
x 2 + 2 x0 h + h 2 x0 2
h(2 x0 + h)
= lim 0
= lim
= lim 2 x0 + h = 2 x0
h 0
h 0
h0
h 0
h
h
h
Observamos en este caso que el valor de la derivada depende de la
eleccin del punto.
f ( x0 ) = lim
iv) Calcular la derivada de f ( x) = e x en el punto x0 .

e x0 + h e x0
e x0 (e h 1)
(e h 1)
= lim
= e x0 .lim
= e x0 .
h 0
h
0
h
0
h
h
h
h
(e 1)
= 1.
como ejercicio para el lector verificar que lim
h 0
h
f ( x0 ) = lim
92
Se
deja
Notas de Anlisis I
6. Derivadas
Funcin derivada
Los ejemplos iii) y iv) muestran casos en los cuales los valores de las
derivadas de las funciones dependen de los puntos en los cuales se las quiera
calcular (cosa que no suceda en el primer ejemplo). Tenemos que si f ( x) = x 2
entonces f ( x 0 ) = 2 x 0 y que si f ( x) = e x entonces f ( x0 ) = e x0 .
Esto motiva pensar si se tiene una funcin que es derivable en (a, b)
entonces para cada punto x (a, b) est definida f ( x) , es decir que para cada
punto tenemos una derivada, lo cual nos da una funcin la cual llamaremos
funcin derivada.
En los ejemplos tenemos que si f ( x) = x 2 entonces su funcin derivada
ser f ( x) = 2 x y que si f ( x) = e x entonces su funcin derivada ser f ( x) = e x .
Se deja como ejercicio para el lector verificar la siguiente lista de
correspondencias:
f ( x)
f ( x)
f ( x)
f ( x)
k (constante)
x
mx + b
0
1
m
xa ( a
ax a 1
sen( x)
cos( x)
cos( x)
- sen( x)
ex
ln( x)
ex
x 1
Reglas de derivacin
Como hemos podido apreciar en las secciones anteriores el clculo de

derivada no parece una tarea prctica, ya que esto involucra el clculo de n lmite
el cual en la mayora de los casos se presenta como una indeterminacin del tipo
cero sobre cero.
A continuacin desarrollaremos tcnicas que facilitarn el clculo.
Teorema: Sean f y g dos funciones derivables en x0 . Entonces:
(k . f ) = k . f
k
i)
( f + g ) = f + g
ii)
( f g ) = f g
iii)
( f .g ) = f .g + g . f
iv)
v)
f f .g g . f
=
g2
g
(siempre y cuando el denominador no se
anule)
93
Notas de Anlisis I
6. Derivadas
Son derivables en x0 y sus derivada correspondientes son los trminos de la

derecha.
Demostracin: Probaremos i), ii), iii), iv).
k . f ( x0 + h) k . f ( x0 )
f ( x0 + h) f ( x0 )
i) (k . f )( x0 ) = lim
= k .lim
= k . f ( x0 ) .
h 0
h 0
h
h
ii) ( f + g )( x0 ) =
( f + g )( x0 + h) ( f + g )( x0 )
f ( x0 + h) + g ( x0 + h) ( f ( x0 ) + g ( x0 ))
= lim
= lim
=
h 0
h 0
h
h
f ( x0 + h) f ( x0 ) g ( x0 + h) g ( x0 )
+
= f ( x0 ) + g ( x0 ) .
h
h
iii) ( f g )( x0 ) = ( f + (1) g )( x0 ) = f ( x0 ) + ((1) g )( x0 ) = f ( x0 ) g ( x0 )
iv)
( f .g )( x0 + h) ( f .g )( x0 )
f ( x0 + h).g ( x0 + h) f ( x0 ).g ( x0 )
( f .g )( x0 ) = lim
= lim
=
h 0
h 0
h
h
= lim
h 0
f ( x0 + h).g ( x0 + h) f ( x0 + h).g ( x0 ) + f ( x0 + h).g ( x0 ) f ( x0 ).g ( x0 )

=
h 0
h
( f ( x0 + h) f ( x0 )).g ( x0 )
f ( x0 + h).( g ( x0 + h) g ( x0 ))
= lim
+ lim
=
h 0
h 0
h
h
g ( x0 + h) g ( x0 )
f ( x0 + h) f ( x0 )
= lim f ( x0 + h).lim
+ g ( x0 ).lim
=
h 0
h 0
h 0
h
h
= f ( x0 ).g ( x0 ) + g ( x0 ). f ( x0 ) = f ( x0 ).g ( x0 ) + g ( x0 ). f ( x0 )
Para la demostracin de v) consultar la bibliografa [2NRSSFEC].
= lim
Ejemplo: Calcule la funcin derivada de f ( x) = tg ( x)

sen( x) ( sen( x) ) .cos( x) sen( x). ( cos( x) ) cos 2 ( x) + sen 2 ( x)
tg ( x) =
=
=
=
cos 2 ( x)
cos 2 ( x)
cos( x)
1
=
= sec 2 ( x) .
2
cos ( x)
Regla de la cadena
El siguiente teorema nos da una herramienta para derivar una composicin

de funciones. Esta forma de derivacin se la suele conocer como Regla de la
cadena.
Teorema: Si f : A B, g : B C son dos funciones definidas en un entorno del
punto x0 y f ( x0 ) y derivables en x0 y f ( x0 ) respectivamente (es decir existen
94
Notas de Anlisis I
6. Derivadas
f ( x0 ) y g ( f ( x0 )) ). Entonces la composicin resulta derivable en x0 y ms aun

( g f )( x0 ) = g ( f ( x0 )). f ( x0 ) .
Para ver una demostracin de este teorema consultar la bibliografa [2NRSSFEC].
Ejemplo: Calcular la derivada de la funcin f ( x) = a x con a
f ( x) = (a x ) = eln( a
) = ( e
x .ln( a )
) = e
x .ln( a )
>0
.( x.ln(a )) = a x .ln(a)
Notar que cuando a = e obtenemos la conocida frmula f ( x) = e x .

Se deja como ejercicio (recomendable) que el lector verifique que la derivada de
la funcin f ( x) = x a es f ( x) = a.x a 1 , y que ms generalmente la derivada de la
g ( x). f ( x)
funcin f ( x) = g ( x) h ( x ) es f ( x) = g ( x) h ( x ) . g ( x).ln( f ( x)) +
. Y
f ( x)
notar que si g ( x) = x y h( x) = a estamos en el caso anterior y que

si g ( x) = a h( x) = x entonces estamos en caso del ejemplo dado.
Derivabilidad y continuidad
Estudiaremos en esta seccin algunas vinculaciones entre la nocin de

continuidad y la de derivabilidad. Como ya dijimos, ambos conceptos nos
informan sobre el comportamiento local de una funcin en un punto.
Esto es claro ya que el estudio de la continuidad en x0 slo involucra el
clculo de los lmites laterales y la valuacin de la funcin en el punto, es decir
slo nos interesa qu pasa en un entorno del punto. Para el estudio de la
derivabilidad de la funcin en ese punto, slo debemos calcular el lmite del
cociente incremental (lo cual requiere que la funcin est definida en x0 ), si este
existe, ese valor ser la derivada, si no existe, diremos que no es derivable en el
punto.
Las preguntas que se nos plantean son: ser posible que la funcin sea
continua pero no derivable? ser posible que la funcin sea derivable pero no
continua?
Hemos mostrado un ejemplo de una funcin que es continua en x0 = 0
pero no es derivable en ese punto. Estamos hablando de la funcin f ( x) =| x | : es
claro que f es continua en cero (sus lmites laterales y la valuacin en el punto
cero coinciden con cero), pero mostramos que no es derivable en el punto ya que
f +(0) = 1 y f (0) = 1 , con lo cual afirmbamos que no exista el lmite del
cociente incremental en el punto. Con lo cual se ve que la respuesta a primera
pregunta es que s es posible.
95
Notas de Anlisis I
6. Derivadas
Veremos ahora que la respuesta a la segunda pregunta es negativa, y para

ello enunciamos el siguiente teorema.
Teorema: Sea f : A B una funcin definida en un entorno del punto x0 y
derivable en x0 . Entonces f es continua en x0 .
f ( x) f ( x0 )
= f ( x0 )
Demostracin: Como f es derivable en x0 , entonces lim
x x0
x x0
Queremos ver que lim f ( x) = f ( x0 ) o sea lim f ( x) f ( x0 ) = 0 .
x x0
lim f ( x) f ( x0 ) = lim
x x0
x x0
x x0
f ( x) f ( x0 )
.( x x0 ) = f ( x0 ). lim ( x x0 ) = f ( x0 ).0 = 0
x x0
x x0
tal como queramos.

Geomtricamente las preguntas anteriores se traducen de la siguiente
manera: ser posible que la funcin sea continua (no tenga saltos) pero que no
sea suave? ser posible que la funcin sea suave pero que tenga saltos? Es claro
que la respuesta a la primera pregunta es s, ya que la funcin f ( x) =| x | no pega
saltos, pero no es suave en el cero, ya que en ese punto su grfico se quiebra. La
respuesta a la segunda pregunta es no, eso es lo que dice el teorema anterior, y
geomtricamente es visible, si la funcin es suave, no debera pegar saltos.
Teoremas del valor medio (Fermat, Rolle, Lagrange y Cauchy)
En esta seccin nos concentraremos en construir herramientas que sern de

suma utilidad para comprender el grfico de las funciones.
Antes que nada el lector debera convencerse de que existe una relacin
muy estrecha entre la recta tangente al grfico de una funcin f en un punto x0 y
el comportamiento local de la funcin en un entorno del punto x0 . En el grfico
de abajo se observa que al calcular la recta tangente al grfico de f en un punto de
un intervalo de crecimiento de f la recta tambin resulta creciente, esto es: su
pendiente es positiva. Mientras que para los puntos de los intervalos de
decrecimiento, la pendiente de la recta tangente es negativa. As mismo la recta
tangente en el mximo de la funcin result ser horizontal, es decir que la
pendiente de la recta tangente en ese punto es cero. Recordemos que la derivada
de la funcin en el punto representa la pendiente de la recta tangente al grfico en
el punto. Esto nos muestra de qu manera la nocin de derivada se vincula con el
estudio del crecimiento, decrecimiento, mximos y mnimos de una funcin.
96
Notas de Anlisis I
6. Derivadas
Formalizaremos ahora las nociones de crecimiento y decrecimiento, y las

de mximos y mnimos.
Definicin: Sea f : A B una funcin definida en un entorno del punto x0
decimos que x0 es un mximo local de f, si existe un entorno I de x0 tal que
f ( x) f ( x0 ) para todo x I .
Definicin: Sea f : A B una funcin definida en un entorno del punto x0
decimos que x0 es un mnimo local de f, si existe un entorno I de x0 tal que
f ( x) f ( x0 ) para todo x I .
Definicin: Sea f : A B una funcin decimos f es creciente en A si se cumple
que x0 x1 f ( x0 ) f ( x1 ) para todo x0 , x1 A .
Definicin: Sea f : A B una funcin decimos f es creciente en A si se cumple
que x0 x1 f ( x0 ) f ( x1 ) para todo x0 , x1 A .
El primero de los teoremas nos da un resultado bastante esperado, que ya
hemos mostrado al comienzo de la seccin.
Teorema (Fermat): Sea f una funcin definida en un intervalo abierto (a, b) . Sea
x0 (a, b) tal que f tiene una mximo o un mnimo en x0 , entonces si f es
derivables en x0 , f ( x0 ) = 0 .
Demostracin: Haremos la demostracin suponiendo que x0 es un mnimo de f.
Sea x (a, b) , sabemos que f ( x) f ( x0 ) . Calculamos entonces las derivada
f ( x) f ( x0 )
f ( x) f ( x0 )
.
y f ( x0 ) = lim
laterales de f, esto es f +( x0 ) = lim+
x x0
x x0
x x0
x x0
Notemos que cuando x x0+ vale que x > x0 o sea x x0 > 0 entonces se tiene
97
Notas de Anlisis I
6. Derivadas
f ( x) f ( x0 )
0 y por la propiedad de conservacin del signo
x x0
f ( x) f ( x0 )
f +( x0 ) = lim+
0 . As mismo cuando x x0 vale que x < x0 o sea
x x0
x x0
f ( x) f ( x0 )
f ( x) f ( x0 )
x x0 < 0 luego
0 y entonces f +( x0 ) = lim+
0.
x x0
x x0
x x0
Pero como f es derivable en el punto x0 , entonces las derivadas laterales deberan
coincidir, luego f ( x0 ) = 0 . Es el caso en que x0 es un mximo de f, se copia la
demostracin haciendo las consideraciones pertinentes (se deja este caso como
ejercicio para el lector).
que
A continuacin se enunciar un teorema que dice que si se tiene una

funcin continua en un intervalo cerrado y derivable, que en los extremos
coincide, entonces en algn punto del medio la derivada se anula. Este hecho es
obvio, ya que toda funcin continua alcanza un mximo y un mnimo en un
intervalo cerrado, y luego bastar con aplicar el teorema anterior.
Teorema (Rolle): Sea f una funcin continua en [a, b] y derivable en (a, b) , tal
que f (a ) = f (b) . Entonces existe un punto c (a, b) tal que f (c) = 0 .
Demostracin: Como f es continua en el intervalo cerrado [a, b] , entonces
sabemos que f alcanza un mximo y un mnimo. Sea x1 [a, b] un mnimo de f y
x2 [a, b] un mximo. Es claro que si ambos valores no son los extremos,
entonces alguno de los dos cae dentro del intervalo (a, b) , y por el teorema
anterior f se anula en ese punto. Si Ambos valores coinciden con los extremos
entonces f tiene que ser constante, y trivialmente f ( x) = 0 para todo valor de
x [ a, b] .
Ahora veremos se generaliza el teorema anterior para el caso en el cual la
funcin considerada no vale lo mismo en los extremos del intervalo.
Teorema (Lagrange): Sea f una funcin continua en [a, b] y derivable en (a, b) .
f (b) f (a )
Entonces existe un punto c (a, b) tal que
= f (c) .
ba
Demostracin: Intentaremos llevar las condiciones de este teorema a las del
teorema anterior. Para ello consideraremos la siguiente funcin:
f (b) f (a )
y=
( x a) + f (a) , lo cual representa la ecuacin de la recta que une
ba
al punto (a, f (a)) y (b, f (b)) . Consideremos la resta f ( x) y lo cual representa
la distancia vertical entre la cuerda y la funcin f en cada punto, y llamemos g a
98
Notas de Anlisis I
6. Derivadas
esta
nueva
funcin.
Tenemos
entonces
que
f (b) f (a)
g ( x) = f ( x)
( x a ) f (a) , de los cual obtenemos que
ba
g (a) = g (b) = 0 (se deja que el lector verifique este resultado).
Como nuestra nueva funcin g es suma y producto de funciones continuas, el
lgebra de funciones continuas nos aseguran la continuidad de g en [a, b] y por la
misma razn ser derivable en (a, b) . Entonces por el teorema de Rolle
afirmamos que existe un punto c (a, b) tal que g (c) = 0 . Calculando la
f (b) f (a)
. Y por la condicin anterior
derivada obtenemos que g ( x) = f ( x)
ba
f (b) f (a)
g (c) = f (c)
= 0 de lo cual se obtiene que existe un punto c (a, b)
ba
f (b) f (a)
.
tal que f (c) =
ba
Teorema (Cauchy): Sea f y g dos funciones continuas en [a, b] y derivable en
( a, b) .
Entonces
existe
un
punto
c ( a, b)
tal
que
( f (b) f (a) ) g (c) = f (c) ( g (b) g (a) ) adems si g ( x) 0 para todo x (a, b)
f (b) f (a) f (c)
.
=
entonces
g (b) g (a) g (c)
Demostracin: Se deja que el lector consulte la demostracin de este teorema en
la bibliografa.
Consecuencias de los Teoremas del valor medio
Veremos ahora algunas consecuencias de los teoremas anteriores. Recordemos

que decamos la derivada de una funcin constante es la funcin cero
(constantemente igual a cero) la pregunta que surge es: si f es constantemente
nula en (a, b) , ser f constante? Y la respuesta es afirmativa ya que si x 1 y x2
son dos valores de [a, b] (supongamos x1 < x2 ), y miramos a f en el intervalo
[ x1 , x2 ] esta resulta continua y derivable en ( x1 , x2 ) . Afirmamos entonces por el
teorema de Lagrange que existe un punto c ( x1 , x2 ) tal que
f ( x2 ) f ( x1 )
f (c) =
. Ahora observemos que si la derivada f es constantemente
x2 x1
nula entonces f (c) = 0 con lo cual f ( x2 ) f ( x1 ) = 0 , entonces f ( x2 ) = f ( x1 )
cualesquiera sean x 1 y x2 en [a, b] , entonces vemos que f es constante. De aqu
obtenemos la siguiente proposicin:
99
Notas de Anlisis I
6. Derivadas
Proposicin: Si f es continua en [a, b] y derivable en (a, b) , y adems f ( x) = 0

para todo x (a, b) . Entonces f es constante en [a, b] .
De la proposicin anterior se deduce que si f y g son dos funciones
continuas en[a, b] y derivables en (a, b) , y adems f ( x) = g( x) para todo
x (a, b) entonces podemos considerar la funcin h( x) = f ( x) g ( x) cuya
derivada es h( x) = f ( x) g ( x) = 0 y como h cumple con las hiptesis del
teorema anterior tenemos que h es constante, luego f y g difieren en una constante.
Mas formalmente decimos:
Corolario: Si f y g son dos funciones es continuas en[a, b] y derivables en (a, b) ,
y adems f ( x) = g( x) para todo x (a, b) .Entonces f ( x) = g ( x) + c para todo
x [a, b] , con c .
Ms an, tal como observbamos al comienzo de la seccin anterior el
conocimiento de la derivada nos permite decidir sobre el crecimiento o
decrecimiento de la funcin, como se muestra en el prximo teorema:
Proposicin: Si f es continua en [a, b] y derivable en (a, b) . Si f ( x) > 0 para
todo x (a, b) , entonces f es estrictamente creciente en [a, b] . Si f ( x) < 0 para
todo x (a, b) , entonces f es estrictamente decreciente en [a, b] .
Demostracin: tal como hicimos antes sean x 1 y x2 son dos valores de [a, b]
(supongamos x1 < x2 ), y miramos a f en el intervalo [ x1 , x2 ] esta resulta continua y
derivable en ( x1 , x2 ) . Afirmamos entonces por el teorema de Lagrange que existe
f ( x2 ) f ( x1 )
. Si f ( x) > 0 para todo
un punto c ( x1 , x2 ) tal que f (c) =
x2 x1
x (a, b) , observemos que f (c) > 0 , entonces f ( x2 ) f ( x1 ) > 0 , y as
f ( x2 ) > f ( x1 ) cualesquiera sean x 1 y x2 en [a, b] . Entonces vemos que f es
estrictamente creciente. Anlogamente se obtiene el segundo resultado.
Un resultado que parece esperable es que toda funcin estrictamente
creciente es inyectiva. Esto es bastante claro ya que si tomara en dos valores
distintos x 1 y x2 de su dominio un mismo valor en las imgenes f ( x2 ) = f ( x1 ) ,
por el teorema de Rolle su derivada se anulara en algn punto del intervalo
( x1 , x2 ) , lo cual contradice que sea estrictamente creciente. Tenemos entonces el
siguiente resultado:
100
Notas de Anlisis I
6. Derivadas
Proposicin: Si f es continua en [a, b] y derivable en (a, b) . Si f es estrictamente

creciente o estrictamente decreciente en [a, b] , entonces f es inyectiva.
Derivada de la funcin inversa
La proposicin anterior nos brinda una herramienta potente para

determinar la existencia de funciones inversas y de sus respectivas derivada.
Teorema: Sea f :[a, b] [ f (a), f (b)] , continua en [a, b] . Si f es estrictamente
creciente o estrictamente decreciente en [a, b] . Entonces est definida
f 1 :[ f (a), f (b)] [a, b] y si f es derivable en x0 (a, b) y f ( x0 ) 0 , entonces
1
.
f 1 es derivable en y0 = f ( x0 ) y adems ( f 1 )( y0 ) =
f ( x0 )
f : (0, ) (1,1) ,
definida
Ejemplo:
Consideremos
la
funcin
como f ( x) = cos( x) , debera ser claro para el lector que f ( x) = sen( x) y
claramente f ( x) < 0 para todo x (0, ) , luego f es estrictamente decreciente en
[0, ] . Entonces el teorema anterior nos permite deducir que f admite funcin
inversa. Decimos que f 1 = arccos :[1,1] [0, ] y adems por el teorema
anterior como f ( x) 0 para todo x (0, ) , entonces f 1 es derivable en
1
(1,1) . Y podemos calcular su derivada usando que ( f 1 )( y0 ) =
, es decir
f ( x0 )
1
(arccos)( y ) =
.
sen(arccos( x))
y
como
Si
tomamos
y = arccos( x) cos( y ) = x
sen( y ) = 1 + cos 2 ( y ) = 1 + x 2
entonces
tenemos
1
1
1
(arccos)( y ) =
=
=
si x (1,1) .
sen(arccos( x)) sen( y )
1 + x2
que
Derivadas sucesivas
En esta seccin se expondr un resultado bastante obvio. Es claro que dada

una funcin derivable f podemos calcular su funcin derivada f, la cual resulta ser
una funcin. Si adems sta tambin resultara derivable, podramos entonces
calcular su derivada (f), es decir, la derivada de la derivada de la funcin f, y
notaremos con f a la derivada de la derivada de f y la llamaremos la derivada
segunda de f.
101
Notas de Anlisis I
6. Derivadas
Este proceso se generaliza tanto como sea posible (dependiendo solamente

de la suavidad de la funcin original). Ms en general diremos:
Definicin: Sea f una funcin derivable n veces en un punto x0 . Notamos con
f ( n ) ( x0 )
a la derivada n-sima de f en el punto
x0 . Y vale que
f ( n ) ( x0 ) = ( f ( n 1) ) ( x0 ) .
Ejemplo:
i)
Si f ( x) = x 3 + 4 x 2 + 1 , entonces f ( x) = 3 x 2 + 8 x , f ( x) = 6 x + 8 ,
f ( x) = 6 y f ( n ) ( x) = 0 para todo n , n 4
f ( x) = cos( x)
se
verifica
que
f ( x) = sen( x) ,
ii)
Si
(4)
(5)
f ( x) = cos( x) , f ( x) = sen( x) , f ( x) = cos( x) . Se deja como ejercicio
verificar que:
n+1
2
(1) sen( x) si n es impar
(n)
f ( x) =
n

2
(
1)
cos( x)
si n es par
f ( x) = x n , con n .Se tiene que

f ( x) = n.x n 1 ,
iii)
Si
n!
.x n 3 . Y claramente su
f ( x) = n.(n 1) x n 2 , f ( x) = n.(n 1)(n 2) x n 3 =
(n 3)!
derivada resulta nula si se deriva ms de n veces. Entonces se tiene que:
n ! n k
si n k
x
(k )
f ( x) = ( n k ) !
0
si n k
Regla de Lhpital
Una consecuencia importante del teorema de Cauchy es lo que llamaremos

la Regla de Lhpital, que es una herramienta muy poderosa para el clculo de
lmites.
Teorema: Sean f y g funciones definidas y derivables en (a, b) . Supongamos que
g ( x) 0 para todo x (a, b) salvo para x = x0 y f ( x0 ) = g ( x0 ) = 0 . Entonces si
f ( x0 )
y es finito, entonces afirmamos que el lmite
existe el lmite lim
x x0 g ( x )
0
f ( x0 )
f ( x0 )
f ( x0 )
lim
existe y ms aun, lim
= lim
.
x x0 g ( x )
x x0 g ( x )
x x0 g ( x )
0
0
0
102
Notas de Anlisis I
6. Derivadas
Demostracin: Sea lim
x x0
f ( x0 )
=l
g ( x0 )
, entonces dado > 0 existe > 0 tal que:
f ( x)
l < (debemos tomar los intervalos de manera tal que
g ( x)
ambas funciones queden definidas ah dentro). Como g ( x0 ) = 0 entonces
g ( x) = 0 para todo x (a, b) salvo para x = x0 (ya que si no fuera as, por el
teorema de Rolle, existira un valor c en el cual g (c) = 0 , y esto no puede ser por
hiptesis).
f ( x) f ( x) f ( x0 ) f (c)
para algn valor c entre x y x0 ,
Si 0 <| x x0 |<
=
=
g ( x) g ( x) g ( x0 ) g (c)
0 <| x x0 |<
en particular tendremos que 0 <| c x0 |<
f ( x)
f (c)
l =
l < tal como
g ( x)
g (c)
se quera.
El teorema se aplica tambin en el caso en que la indeterminacin a salvar
sea del tipo . Ms precisamente:
Teorema: Sean f y g funciones definidas y derivables en (a, b) , salvo en

x0 (a, b) . Supongamos adems que lim f ( x0 ) = lim g ( x0 ) = y que g ( x) 0
x x0
x x0
para todo x (a, b) salvo para x = x0 . Entonces si existe el lmite lim
x x0
finito, entonces afirmamos que el lmite

lim
x x0
f ( x0 )
f ( x0 )
= lim
.
g ( x0 ) x x0 g ( x0 )
lim
x x0
f ( x0 )
g ( x0 )
f ( x0 )
y es
g ( x0 )
existe y ms aun,
Veamos algunos ejemplos:

Ejemplos: Calcular los siguientes lmites:
ln( x)
i)
. Para ello observamos que es una ingerminacin del tipo
lim
x 1 x 1
0
, mediante la regla de Lhpital obtenemos que el clculo de se lmite es
0
x 1
ln( x)
= lim x 1 = 1 . Por lo tanto lim
=1
equivalente al clculo de lim
x 1 1
x 1
x 1 x 1
103
Notas de Anlisis I
6. Derivadas
1 cos( x)
.
Tenemos:
x2
1 cos( x)
sen( x) 1
sen( x) 1
1 cos( x) 1
= .
lim
= lim
= .lim
= , luego lim
2
x 0
x 0 2 x
x 0
x
x2
2 x 0 x
2
2
lim
ii)
x 0
Observacin 1: Las indeterminaciones del tipo 0. puede rescribirse para ser

llevadas a indeterminaciones de los tipos anteriores.
1
Ejemplo: lim x.ln 2 representa una indeterminacin de la forma 0. . Y
x 0
x
1
1
ln 2
x 2 .(2). 3
x
1
x = lim 2.x = 0 .
rescribimos esto como lim x.ln 2 = lim = lim
x 0
x
0
x 0
x 0
1
1
x
2
x
x
Observacin 2: Las indeterminaciones del tipo 1 , 00 (tendiendo a cero por
0+ ), 0 puede salvarse rescribiendo:
ln lim f ( x) g ( x ) = lim ln ( f ( x) g ( x ) ) = lim ( g ( x) ln f ( x) ) = l . La primera igualdad

x 0
x 0
x 0
vale por la continuidad del ln( x) . Finalmente lim f ( x) g ( x ) = el .

x 0
Ejemplo: lim ( cos(2 x) ) x2 representa una indeterminacin del tipo 1 .

x 0
Rescribiendo
obtenemos
que
3

ln ( cos(2 x) )
3
lo cual lo
ln lim ( cos(2 x) ) x2 = lim 2 ln ( cos(2 x) ) = 3.lim
x 0
x2
x 0
x 0 x
0
hemos transformado en una indeterminacin del tipo , entonces nuevamente
0
ln ( cos(2 x) )
=
3.lim
por la regla de Lhpital obtenemos que
x 0
x2
1
( sen(2 x) ) .2
1
tg (2 x)
cos(2 x)
3.lim
.2 = 6 .
= 3.lim
= 3.lim
2
x 0
x 0
x 0 cos (2 x )
2x
x
3
Luego lim ( cos(2 x) ) x2 = e 6

x 0
104
Notas de Anlisis I
Ap. A. Lgica y Teora de Conjuntos
APNDICE A - (Lgica de primer orden y teora de conjuntos)
Introduccin
El concepto de conjunto es de fundamental importancia en las matemticas

modernas. Los primeros estudios en esta rama corresponden a Georg Cantor ,
quien dio su primer tratamiento formal en 1870 y en el ao 1874 apareci el primer
trabajo revolucionario de Cantor sobre la Teora de conjuntos. El concepto de
conjunto es uno de los ms fundamentales en matemtica, incluso ms que la
operacin de contar, pues se puede encontrar implcita o explcitamente en todas las
ramas de las matemticas puras y aplicadas. Muchos matemticos creen que es
posible expresar todas las matemticas con un lenguaje de teora de conjuntos.
En su forma explcita, los principios y terminologa de los conjuntos se
utilizan para construir proposiciones matemticas ms claras y precisas y para
explicar conceptos abstractos como el infinito. Otra aplicacin de la teora de
conjuntos la encontramos con el modelado e investigacin de operaciones en las
ciencias computacionales.
La teora de conjuntos se ha convertido en un rea muy bien establecida de
la matemtica, y han surgido contradicciones o paradojas en dicha teora, y fue
revista varias veces hasta llegar a lo que se conoce hoy como teora de conjuntos.
Eventualmente, los ms sofisticados acercamientos al trabajo original de Cantor
hicieron que dichas paradojas desaparecieran.
Desarrollaremos en este captulo las nociones bsicas de la teora de
conjuntos sin detenernos demasiado en cules fueron los problemas que generaron
las paradojas anteriormente mencionadas y finalizaremos con una seccin
dedicada completamente a las paradojas, en la cul no nos detendremos en el
anlisis de ninguna de ellas.
TLos axiomas
Originalmente la teora de conjuntos fue creada de forma semiintuitiva,

pero la aparicin de algunas paradojas hizo que fuera necesaria una formalizacin
axiomtica.
105
Notas de Anlisis I
Sabemos que un axioma es un principio o postulado bsico que es asumido

como regla de juego en el proceso de la inferencia lgica, que no requiere ninguna
demostracin previa. Fue en la antigua Grecia donde empez el uso de los
axiomas, que representaba enunciados o afirmaciones que valan por su aparente
evidencia.
Definicin: Un axioma es un principio que permite iniciar un proceso lgico de
deduccin, tomndolo como partida para los pasos de razonamiento.
La coleccin inicial de signos, definiciones, enunciados, postulados y
reglas de derivacin (o deduccin) forman lo que se denomina un sistema
axiomtico. Este sistema axiomtico debe ser, indecidible y consistente (no
contradictorio) y desearamos que fuera completo.
Indecidible: Ningn axioma del sistema puede ser obtenido (deducido)
partiendo de los dems axiomas. Esto indica que el conjunto de axiomas debe ser
minimal.
Consistente: Nunca podr deducirse una contradiccin como teorema. Esto
es que lo afirmado por un axioma nunca puede contradecir lo afirmado por los
dems axiomas.
Completo: Desearamos que todas las verdades del universo en el que
trabajamos puedan ser deducidas de los axiomas.
Uno de los trabajos ms importantes en la teora de conjuntos demuestra
que ningn sistema axiomtico formal puede ser completo y consistente a la vez,
este resultado se debi al trabajo de Gdel a mediados del siglo pasado.
La primera axiomatizacin apareci en 1908, consista en siete axiomas
(los siete axiomas de Zermelo (Berlin 1871 - Friburgo 1953). Estor eran: Axioma
de extensionalidad, axioma de formacin de conjuntos, axioma del par, axioma de
la gran unin, axioma del conjunto de partes, axioma de eleccin.
Finalmente diremos que los teoremas son todos los resultados (tiras de
smbolos con sentido) que se desprenden de los axiomas aplicando el mtodo
deductivo.
Conceptos bsicos teora de conjuntos y notacin
Usualmente notaremos los conjuntos con letras maysculas. Los objetos

que forman los conjuntos sern denominados, los elementos del conjunto, y sern
expresados entre llaves { , }, separados por comas. Por ejemplo: el conjunto
formado por elementos 1,2,3,4, que llamaremos A, se nota de la siguiente manera:
A = {1, 2,3, 4} . Cuando definimos un conjunto enumerado los elementos que
contiene, diremos que la definicin es por extensin.
106
Notas de Anlisis I
El smbolo elemento significa (es elemento de). Anlogamente,

significa (no es elemento de). Por ejemplo: Sea A = {1, 2,3, 4} , el mismo conjunto
que el anteriormente definido, cuyos elementos son los primeros cuatro nmeros
naturales. Podemos entonces escribir 1 A, 2 A, 3 A y 4 A , a su vez, 5 A ,
17 A , etc.
Definicin: Diremos que dos conjuntos A y B son iguales si cada elemento de A
es elemento de B y viceversa. Se escribe A = B .
.
Ejemplo: En el ejemplo anterior pusimos A = {1, 2,3, 4} ; puesto que {1, 2,3, 4} es
un smbolo para representar al mismo conjunto que representa A . Por lo tanto
A = {1, 2,3, 4} y B = {2, 4,1,3} representan el mismo conjunto.
Observacin: Debe notarse que, segn la definicin anterior, al definir un
determinado conjunto no importa el orden en que se expresan los elementos.
Es til tener el concepto de un conjunto sin elemento, para ello daremos la
siguiente definicin:
Definicin: un conjunto sin elementos recibe el nombre de conjunto vaco o
conjunto nulo y se representa por { } o por .
Definicin: el conjunto formado por todos los elementos, recibe el nombre de
conjunto universal, y se nota con la letra U.
Lgica proposicional y de predicados.
En la seccin anterior hemos mostrado ejemplos de conjuntos, que fueran

definidos por extensin, claramente este mtodo de definir conjuntos no parece
adecuado cuando el conjunto que se desea definir es numeroso, y se complica an
ms cuando ste es infinito.
Cuando el conjunto de elementos que se desea definir es muy numeroso se
utilizan definiciones por intencin. Esto consiste en dar propiedades de los
elementos que forman el conjunto, mediante un predicado lgico que estos
elementos debern satisfacer. En principio podra tomarse cualquier lenguaje
natural para describir los elementos del conjunto, sin embargo es preferible usar
un lenguaje formal que nos permita definir con precisin lo suficiente y necesario
como para que el conjunto quede bien determinado.
Para expresar los predicados utilizaremos el lenguaje formal de la lgica
de predicados de primer orden. Esto es: usaremos construcciones de lgica
proposicional, formada por los conectivos , , , , agregndoles los
cuantificadores existenciales ( ) y universales ( ).
107
Notas de Anlisis I
Veamos algunos ejemplos antes de seguir:

Ejemplos: i) Formalicemos la frase: voy al cine o voy al teatro (admitimos el
caso en el cual se pueda ir a los dos lugares). Distinguiremos dos proposiciones:
P, Q, y un conectivo lgico: o = .
voy al cine o voy al teatro es equivalente a P Q . Pero para cada
P
proposicin slo hay un posible valor de verdad: es verdadera o es falsa. Se

plantean entonces cuatro posibilidades que se mostrarn en la siguiente tabla:
P
V
V
F
F
Q
V
F
V
F
PQ
V
V
V
F
Significa:
voy al cine y voy al teatro
voy al cine pero no voy al teatro
no voy al cine pero voy al teatro
no voy ni al cine ni voy al teatro
Notar que para los tres primeros casos se cumple la proposicin planteada,
mientras para el ltimo caso no se cumple. Esto representa lo que se llama la tabla
de verdad del conectivo . Que es verdadera cuando alguna de las proposiciones
es verdades y es falsa slo cuando todas las proposiciones son falsas.
A continuacin se muestra las tablas de verdad del , , :
P
V
V
P
F
V
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
F
F
PQ
V
F
V
V
Ejercicio: se deja para el lector demostrar, mediante tablas de verdad, que las
siguientes frmulas son equivalentes:
i) P Q y P Q . (Esto muestra que el conectivo puede construirse
con los dems conectivos).
ii) P Q y Q P (resultado conocido como el contrarecproco)
iii) ( P Q) y P Q .
iv) ( P Q) y P Q .
A estas ltimas dos equivalencias se las conocen como Leyes de De Morgan.
Debido a la gran importancia del tem ii) mostraremos aqu su validez:
Para demostrar que P Q y Q P son equivalentes cualesquiera sean P y
Q, debemos ver sus tablas de verdad son iguales:
108
Notas de Anlisis I
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
Q
F
V
F
V
P
F
F
V
V
Q P
V
F
V
V
Veamos un ejemplo de cmo se extiende la lgica proposicional a la lgica

de predicados de primer orden mediante la adicin de los cuantificadores
existenciales y universales al lenguaje de smbolos.
Ejemplo: Consideremos el siguiente predicado, conocido como Principio de
Arqumedes: Para cualquier nmero natural, podemos encontrar un nmero real
que lo supere. Intentemos usando lgica de predicados formalizar este concepto.
Para cualquier nmero natural puede pensarse como Para cualquier elemento
n, que sea un nmero natural esto se escribe: (n)( n es un nmero natural) , pero
la frase n es un nmero natural representa un predicado, el predicado de
pertenencia, que puede escribirse como n y representa un predicado P (o
bien P(n)) en el cual la variable n est siendo fijada por el cuantificador universal.
La segunda parte, podemos encontrar un nmero real que lo supere, quiere decir
que existe otro elemento que cumple con el predicado ser un nmero real y con el
predicado ser mayor que n, esto es (r )(Q R) , donde Q: ser un nmero real
( Q : r ), y R: ser mayor que n ( r > n ).
En definitiva tenemos que el predicado Para cualquier nmero natural, podemos
encontrar un nmero real que lo supere se formaliza como
(n)((n )(r )((r ) (r > n))) , que por comodidad suele escribirse como:
n , r tal que r > n .
Esto muestra que en el lenguaje de predicados podemos agregar smbolos
de la aritmtica que nos permiten formar predicados ms claros.
Los siguientes ejemplos son de especificaciones implcitas de conjuntos.
Las dos primeras son de conjuntos infinitos; la tercera es un conjunto finito.
i) El conjunto de enteros mayores que 10 es especificado por
{ x x , x > 10} , comnmente se escribe {x x > 10}
ii) El conjunto de enteros pares puede ser especificado
como {x y, y , x = 2 y}
Significados menos formales son usados frecuentemente para describir
conjuntos. Una tcnica es colocar las especificaciones del conjunto a la izquierda
de una barra vertical, como lo muestran los siguientes ejemplos:
iii)
El conjunto de enteros mltiplos de 3 puede ser especificado por
{3x x } = 3. en lugar de {x x , tal que y, y , x = 3 y}
109
Notas de Anlisis I
iv)
El conjunto de nmeros racionales puede ser especificado por
x
x, y , y 0
Si un conjunto es finito pero muy largo como para listarse fcilmente o si

es un conjunto infinito, los puntos suspensivos suelen ser usadas para especificar
implcitamente un conjunto. Las siguientes especificaciones usan puntos
suspensivos para caracterizar una lista de los elementos de un conjunto.
v)
El conjunto de enteros del 1 al 20 es especificado por
{1, 2,3, , 20}
vi)
El conjunto de naturales pares es especificado por {1, 2,3,}
Todas stas tcnicas informales de especificaciones de conjuntos son

convenientes por lo cual podemos usarlas libremente, mientras que sean
suficientemente claras y no se presten a confusin.
Operaciones con conjuntos
Existen operaciones que nos permiten crear nuevos conjuntos a partir de

otros conocidos.
Definicin: llamamos complemento Ac de A al conjunto Ac = { x x A}
Definicin: llamamos unin A B e interseccin A B de dos conjuntos A y B a
los siguientes conjuntos:
A B = { x x A x B}
A B = { x x A x B}
La definicin de A B admite el caso en que el elemento x est en ambos

conjuntos a la vez, para notar esto no hay ms que mirar la definicin de .
Definicin: Dos conjuntos A y B se dicen disjuntos si no tienen elementos
comunes, es decir, si A B = .
Definicin: Para dos conjuntos A y B, el complemento relativo A \ B es el conjunto
de elementos que estn en A y no estn en B. Matemticamente decimos que:
A \ B = { x x A x B}
Observacin: Podemos rescribir Ac = U \ A , donde U representa al conjunto
universal.
110
Notas de Anlisis I
Definicin: La diferencia simtrica AB de los conjuntos A y B es el conjunto

AB = ( A B) \ ( A B) = ( A \ B) ( B \ A)
En general para A U el complemento relativo U \ A recibe el nombre de
complemento absoluto o sencillamente complemento y se denota por Ac. Ntese
que el complemento relativo A \ B puede escribirse en trminos del complemento
absoluto: A \ B = A B c .
Para ilustrar las definiciones anteriores introduciremos los llamados
diagramas de Venn.
Ejemplo: Sean:
A = {n
n 7} ,
B = {n
n es par n 16} y
E = 2. = {n
n es par} .
Entonces tenemos:
A B = {0,1,2,3,4,5,6,7,8,10,12,14,16},
A B = {0,2,4,6},
A \ B = {1,3,5,7},
B \ A = {8,10,12,14,16},
AB = {1,3,5,7,8,10,12,14,16}.
111
Notas de Anlisis I
Leyes de lgebra de conjuntos:

AB=BA
AB=BA
Leyes conmutativas
(A B) C = A (B C)
(A B) C = A (B C)
Leyes asociativas
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
AA=A
AA=A
A=A
AU=U
A=
AU=A
(Ac )c = A
A Ac = U
A Ac =
Uc =
c = U
(A B)c = Ac Bc
(A B)c = Ac Bc
Leyes distributivas
Leyes de la idempotencia
Leyes de identidad
Complementacin
Leyes de DeMorgan
Las demostraciones que se hacen usando diagramas de Venn parecen

mucho ms fciles que las pruebas en las que analizamos las inclusiones mediante
elementos. Los diagramas de Venn para tres conjuntos tienen 8 regiones y
comprenden todas las posibilidades lgicas, lo cual nos dice que las
demostraciones que utilizan diagramas de Venn perfectamente vlidas.
Sin embargo hay una objecin que hacerle a este tipo de pruebas, utilizar
diagramas de Venn es muy complicado de dibujar cuando hay ms de tres
conjuntos.TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTTTT
Producto cartesiano, relaciones y funciones
Definicin: un par ordenado consta de dos elementos a y b, donde hay un primer

elemento y un segundo elemento distinguido. La notacin usual para pares
ordenados es (a,b). Dos pares ordenados (a,b) y (c,d) son iguales si y solo si a=c y
b=d.
112
Notas de Anlisis I
Dados dos conjuntos A y B podemos definir un nuevo conjunto llamado el

conjunto producto cartesiano de A y B, y lo notamos como A B . Este conjunto
est formado por todos los elementos de la forma (a,b) con a A , b B .
Ejemplo: Consideremos los conjuntos A = { , , , } , B = {1, 2,3} . Tenemos
entonces que el producto cartesiano de A y B resulta:
A B = {( ,1), ( ,1), ( ,1), ( ,1), ( , 2), ( , 2), ( , 2), ( , 2), ( ,3), ( ,3), ( ,3), ( ,3)}
Definicin: Usaremos la notacin # A para denotar cual es la cantidad de
elementos que tiene el conjunto A, en el caso de ser infinito diremos que # A = ,
sin hacer ningn otro tipo de disquisicin al respecto.
Ejemplo: Con los conjuntos definidos en el ejemplo anterior tenemos que # A = 4 ,
# B = 3 , #( A B) = 12 .
Adems # = # = # = y que # = tambin.
Ejercicio: Se deja al lector convencerse de que el conjunto producto cartesiano
tiene exactamente tantos elementos como el producto entre los elemento de ambos
conjuntos. Es decir: si # A = n , # B = m , entonces #( A B) = n.m .
Retomemos el tema del primer captulo y volvamos con la nocin de
relacin. Ahora ms formalmente podemos decir que dados dos conjuntos
A
y B, y su producto cartesiano, definimos en A B una relacin como un
subconjunto R A B . Esto es, algunos de los pares ordenados del conjunto
producto sern admitidos y otros no.
Para fijar ideas retomemos el siguiente ejemplo:
Ejemplo: A = B = , A B = , es decir, el producto cartesiano est formado
por toso los pares ordenados de nmeros naturales (notar que los pares (1,2) y
(2,1) son pares distintos, y estos distintos de los dems).
Definamos una relacin R A B = :
R = {(1,1), (1, 2), , (2, 2), (2,3), , (3,3), (3, 4), , (4, 4), (4,5), (n, n), (n, n + 1),}
Notar que (2,1) R , (3, 2) R , (7,3) R , es decir quedan excluidos aquellos
pares en los cuales el primer elemento es mayor que el segundo. Se define de esta
manera la relacin: (a, b) R si y slo si a b , a, b .
Veamos cmo podemos representar de manera ms visible cules son los
elementos que pertenecen a la relacin. Diseemos una grilla (en este caso
infinita) en la cual colocaremos horizontalmente los electos del primer conjunto
del par ordenado, y verticalmente los del segundo conjunto.
113
Notas de Anlisis I
5
(2,3)
2
3

1 2
1 2
Elementos de la relacin
(1,1)
En general usaremos esta forma de representar relaciones (o funciones),

aunque muchas veces cuando los conjuntos que forman los pares ordenados son
densos (ver captulo 3) este tipo de grillas no se pueden construir y los
representamos grficamente sobre dos ejes perpendiculares. Esto no es ms que lo
que estaba a acostumbrado a hacer el alumno de secundario con las funciones
reales. Veamos el siguiente ejemplo.
Ejemplo: Consideremos la relacin S sobre el producto cartesiano = 2
definida por (a, b) S si y slo si a 2 b y a 0 , esto muestra que b debe ser al
menos igual al cuadrado de a. Como en el eje vertical colocaremos los valores de
b. veamos el siguiente grfico que ayudar a entender la situacin.
Elementos que pertenecen a la relacin.
Elementos que no pertenecen a la

relacin porque a < b 2 .
Elementos que no pertenecen a la
relacin porque a < 0 .
114
Notas de Anlisis I
Definicin: Si R A B representa una relacin, llamaremos grfico de la

relacin al conjunto: graf ( R) = {(a, b) A B a y b se relacionan por R} .
Veamos ahora cmo se desprende el concepto de funcin. Comenzaremos
con una definicin:
Definicin: Sea R A B una relacin, diremos que R es una funcin si para
cada elemento a A , existe un nico elemento b B tal que (a, b) R . Es decir
que para cada electo de A siempre hay un elemento que se relaciona con l y
nunca ms de uno.
Grficamente lo que estamos diciendo es que si para cada elemento de A
trazamos una lnea vertical en el grfico, nunca deberamos encontrar ms de un
punto de la relacin.
Notacin: Como para cada valor a del conjunto A hay un nico valor b de B que le
corresponde, notamos a ste ltimo elemento como b = R (a ) , Adems como R es
una funcin, la notacin usual para funciones es usar las letras f,g,h. Adems
decimos que la funcin f : A B , esto es que toma elementos en A y llega a B.
estos conjuntos reciben nombres caractersticos que los relacionan con la funcin,
es decir. Diremos que A es el dominio de la funcin, y que B es el codominio de f,
y se suele escribir, Dom( f ) = A , Cod ( f ) = B .
Se presentan varios ejemplos de funciones en el captulo correspondiente a
este tema, donde se las estudia con mayor detalle.
Se deja como ejercicio para el lector avanzado demostrar los siguientes
dos teoremas que caracterizan a las funciones inyectivas y sobreyectivas.
Teorema: Sea f : A B una funcin, A y B dos conjuntos no vacos. Son
equivalentes:
i) f es inyectiva (es decir: dados x1 , x2 A y f ( x1 ) = f ( x2 ) x1 = x2 ).
ii) Se cumple que para cualquier conjunto C, y cualesquiera dos funciones
g , h : C A , si f g = f h entonces g = h . Diagramticamente:
115
Notas de Anlisis I
Teorema: Sea f : A B una funcin, A y B dos conjuntos no vacos. Son

equivalentes:
i) f es sobreyectiva (es decir: si y B x A tal que f ( x) = y ).
ii) Se cumple que para cualquier conjunto C, y cualesquiera dos funciones
g , h : B C , si g f = h f entonces g = h . Diagramticamente:
El lector con conocimientos de lgebra notar que los conceptos expuestos

en los tems ii) del primer y segundo teorema son equivalentes a las nociones de
monomorfismo y epimorfismo respectivamente.
116

Generalidades de Funciones

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Generalidades de Funciones

Cargado por

Copyright:

Formatos disponibles

NOTAS DE ANLISIS I

(TOMO 1: CAPTULOS 1 6 Y APNDICE A)

2 - Generalidades sobre Funciones

5 - Lmite de funciones y continuidad

Derivada y recta tangente

Apndice A (Lgica de primer orden y teora de conjuntos)

Apndice B (Estructuras algebraicas)

Apndice C (Tpicos de la matemtica moderna)

que es el conjunto de los naturales agregndole el elemento 0,

= {0} . (Ver apndice B)

precio con el valor de las peras: Defino

(k ; 1, 70.k ) R p si k < 4 y no es cliente

(k ; 1, 60.k ) R p si k 4 y no es cliente , en este caso el precio depender de que

Naturales, Enteros, Racionales y Reales

Daremos entonces una definicin un poco ms detallada de los conjuntos

= {1, 2,3,} no daremos una definicin formal de estos

y ms an, no vale en ninguno de

2. Generalidades Sobre Funciones

2 GENERALIDADES SOBRE FUNCIONES

Para hablar de funciones debemos recordar la idea de relacin dada en el

2. Generalidades Sobre Funciones

Siguiendo con el ejemplo anterior nos gustara tener una forma ms

2. Generalidades Sobre Funciones

Inyectividad, sobreyectividad y biyectividad

En el estudio de las funciones podemos distinguir a las funciones segn su

Definicin: Una funcin f : A B se dice sobreyectiva (o suryectiva) si

2. Generalidades Sobre Funciones

Diagrama que representa a

Diagrama que representa a

Un teorema importante que caracteriza a las funciones sobreyectivas el es

Teorema: Sea f : A B una funcin. Son equivalentes:

Definicin: Una funcin

f : A B se dice biyectiva si es inyectiva y

2. Generalidades Sobre Funciones

Para ver cmo estos conceptos se relacionan con el codominio de la

Ejemplo de funcin noinyectiva

Ejemplo de funcin nosobreyectiva

Otras consideraciones sobre funciones

En la seccin anterior hemos estudiado como clasificar a las funciones de

Definicin: Una funcin f se dice par si f ( x) = f ( x) para todo x en el

Definicin: Una funcin f se dice impar si f ( x) = f ( x) para todo x en el

2. Generalidades Sobre Funciones

Definicin: Una funcin f

se dice peridica con perodo

Si realizamos un grfico de una funcin peridica notaremos

Grfico de la funcin f ( x ) = sin( x ) . Perodo: 2 , amplitud: 1.

Obs.: El perodo de la funcin f ( x) = A sin( Bx + C ) f ( x) = A cos( Bx + C ) es

2. Generalidades Sobre Funciones

entonces f no es sobreyectiva ya que

f ( x) = x 2 = y , observar que Im( f ) = >0 = Cod ( f ) . Y f no es

biyectiva. Se puede ver que f (a) = a = ( a) = f ( a) , luego f es

, f ( x) = x 2 . Se deja de ejercicio mostrar que f es

2. Generalidades Sobre Funciones

Esto indica que estamos aplicando dos funciones, primero f ( x) = x 2 , que

dos funciones definidas como

como dom(h) = dom( f ) =

{3} la funcin no se indefine.

2. Generalidades Sobre Funciones

ii) Pero si decidiramos componer en sentido inverso es decir l = f g ,

cul es el dominio de l . Ya que dom(l ) = { x

{1,1} . Esto es algo que no esperbamos a priori.

iii) Supongamos ahora que componemos dos funciones f y g cuyos

Supongamos ahora que estamos en las condiciones anteriores:

2. Generalidades Sobre Funciones