Conceptos Previos / Supremo e nfimo de un conjunto

11
2 CONCEPTOS PREVIOS

2.1 SUPREMO E INFIMO DE UN CONJUNTO
2.1.1 Cotas

Definicin 2.1 : Cota
Sea S , si a y b / a x b x S se define :
b cota superior de S
a cota inferior de S

Definicin 2.2: Funcin Acotada
Sea :S, si , (x) , k
+
x S est acotada en S

Teorema 2.1
Sea :[a,b] continua est acotada en [a,b]

Nota:
Otra forma equivalente de enunciar la tesis sera que existen m , M tales
que m (x) M x

2.1.2 Supremo e nfimo

Definicin 2.3: Supremo e nfimo
a) Sea S , S acotado entonces si b / b es cota superior y no existe un c <
b tal que c sea cota superior de S b es el supremo de S
b) Sea S , S acotado entonces si a / a es cota inferior y no existe un c > a
tal que c sea cota inferior de S a es el nfimo de S

Nota:
Una forma de interpretar la definicin de supremos es que el supremo de un
conjunto es la menor cota superior de un conjunto. Anlogamente el nfimo de un
conjunto es la mayor cota inferior de conjunto




Ctedra de Matemtica / Facultad de Qumica Anlisis I
Conceptos Previos / Topologa en

12
Definicin 2.4: Mximo y mnimo
a) Sea S , b es el supremo de S, si b S , entonces b es el mximo de S
b) Sea S , a es el nfimo de S, si a S , entonces a es el mnimo de S

Axioma de completitud de los reales:
a) Sea S , S acotado superiormente, S b supremo de S
b) Sea S , S acotado inferiormente , S a nfimo de S

Nota:
Del axioma podemos concluir que cualquier conjunto acotado necesariamente
presentar supremo e nfimo

Teorema 2.2
Sea S , S y b supremo de S Dado > 0 , x S /
b x < b

Nota:
Para el nfimo podemos escribir un teorema anlogo donde la tesis sera de la
siguiente manera:
dado > 0 , x S / a < x a +

2.2 TOPOLOGIA EN

2.2.1 Entornos

Definicin 2.5: Entorno
Dado a y > 0, el conjunto B(a,) = { x / , x a , < } se llama
entorno de centro a y radio

Definicin 2.6 : Entorno reducido
Dado a y > 0, el conjunto B*(a,) = { x / 0 < , x a , < } se
llama entorno reducido de centro a y radio

Nota:
De la definicin de entorno, vemos que el conjunto B(a,) est formado por los x
/ a < x < a + . Para el caso de entorno reducido los puntos son los mismos que

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Conceptos Previos / Topologa en

13
en un entorno excepto el centro mismo del entorno, que no pertenece al entorno
reducido.

2.2.2 Punto de acumulacin y punto aislado

Definicin 2.7: Punto de acumulacin
Sea S , a si B*(a,) se cumple B*(a,) S , a es punto
de acumulacin de S

Nota:
Observar que para que a sea un punto de acumulacin del conjunto, no
necesariamente debe pertenecer a dicho conjunto. La idea es que sin importar el radio
que tenga el entorno, siempre es posible encontrar elementos del conjunto dentro del
entorno.

Ejemplo:
Por ejemplo un intervalo abierto de la forma (a,b), cualquier punto x
perteneciente al intervalo ser punto de acumulacin del mismo, ya que para cualquier
valor de la interseccin del entorno reducido con el conjunto tiene elementos en
comn, pero no son los nicos puntos de acumulacin. Tomemos el punto x = a, para
cualquier que elijamos los elementos comprendidos entre a y a + pertenecen al
intervalo, con lo cual B*(a,) (a,b) , por lo que el punto x = a es un punto de
acumulacin del intervalo abierto (a,b). Podemos concluir que los puntos de
acumulacin del intervalo abierto (a,b) es el intervalo cerrado [a,b]

Definicin 2.8: Punto aislado
Sea S , a S si B(a,) / B(a,) S = { a }, a es punto aislado
de S

Nota:
De la definicin se desprende que si un punto a es aislado de S no puede ser
punto de acumulacin del mismo conjunto, ya que para ese particular se cumple
B*(a,) S = , con lo cual no cumplira la definicin de punto de acumulacin.
Tambin se verifica a la inversa, ningn punto de acumulacin puede ser un punto
aislado del mismo conjunto S, ya que si es de acumulacin se verifica B*(a,) S
para cualquier radio , por lo que no es posible hallar un radio tal que B(a,) S = { a }
ya que la interseccin contendra otros elementos del conjuntos.
Ejemplo:
Tomemos el conjunto de los naturales N , alcanza con tomar un = , para
que se verifique B*(a,) N = { a }, con lo cual todos los puntos del conjunto N son
aislados

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Lmite de una Funcin

14
3 REPASO DE FUNCIONES DE UNA VARIABLE

3.1 FUNCION DE UNA VARIABLE

3.1.1 Funcin

Definicin 3.1:
Dados dos conjuntos A y B incluido en el conjunto de los reales. Si
existe una relacin tal que a cada elemento del conjunto A le asigna un nico
elemento del conjunto B, llamaremos a dicha relacin una funcin
El conjunto A se le llama Dominio de dicha funcin

Utilizaremos la siguiente notacin :A()B() para representar dicha
funcin y si llamamos x a los elementos de A, con el valor (x) representaremos el valor
que le asigna dicha relacin al elemento x. Obviamente (x) B


3.2 LIMITE DE UNA FUNCION

3.2.1 Lmite

Definicin 3.2: Lmite
Sea :D() , a un punto de acumulacin de D, decimos que existe
lmite de la funcin cuando x tiende al punto a y vale L ( ) L x f
a x
=

) ( lim
Dado >0 , = () / x B*(a,)D (x) B(L,)

Nota:
La idea de lmite es ver que ocurre con los valores funcionales a medida que los
valores de x se acercan a un punto determinado a, si dichos valores se acercan a un valor
L decimos que el lmite existe y toma ese valor.
Como podemos ver de la definicin x B*(a,)D, o sea que no importa que
pase en el punto a ya que estamos trabajando en un entorno reducido, sin el centro, por
lo cual no es importante que valor toma la funcin en ese punto. Es ms incluso el punto
no tiene por que pertenecer al dominio de la funcin, y an ser de acumulacin y por lo
tanto podemos hallar el valor del lmite sin que exista un valor funcional en dicho
punto.

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Lmite de una Funcin

15
Consideraremos ahora algunas propiedades de lmites teniendo en cuenta que
tanto el punto a en donde calculamos el lmite como el valor de lmite L, son valores
finitos, ms adelante veremos la definicin para el caso infinito.

Propiedades:
a) = L ) ( lim x f
a x
1
y = L ) ( lim x f
a x
2
L
1
= L
2

b) Si (x) = c = c ) ( lim x f
a x
c) Si (x) = x a x f
a x
=

) ( lim
d) Si L ) ( lim =

x f
a x
y L x f
a x
) ( lim =

e) y L ) ( lim =

x f
a x
M ) ( lim =

x g
a x
1) M L ) )( ( lim =

x g f
a x

2) M L ) )( ( lim =

x g f
a x
3)
M
L
) ( lim =
|
|
.
|

\
|

x
g
f
a x
, si M 0

Teorema 3.1: Teorema de la Funcin Compuesta
Sean :D
1
() y g:D
2
() / [D
1
] D
2
a un punto de acumulacin de D
1
y b un punto de acumulacin de D
2
Si , L b x f
a x
=

) ( lim ) ( lim =

y g
b y
y adems (x) b x B*(a,)
L x gof
a x
=

) )( ( lim

Nota:
La hiptesis de que (x) b x B*(a,) aunque parezca trivial no lo es ya
que sin ella el teorema deja de cumplirse, basta considerar las siguientes funciones:
(x) = 1 y

=
1 si 0
1 si 2
) (
y
y
y g 1 ) ( lim =

x f
a x
, 2 ) ( lim
1
=

y g
y
pero sin embargo
el lmite de la funcin compuesta no da 2 ya que cuando componemos g((x)) = g(1) =
0, constante , que es el verdadero valor del lmite de la compuesta en este caso. En este
ejemplo falla por que justamente no se verifica dicha hiptesis ya que (x) es constante.
La hiptesis de que (x) b x B*(a,) puede sustituirse por otra hiptesis
alternativa y es pedirle que L = g(b), que es lo mismo que pedirle a la funcin g que sea
continua en dicho punto (Veremos el concepto de funcin continua en la siguiente
seccin)


Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Lmite de una Funcin

16
Teorema 3.2: Funcin Comprendida
Sean, , g, h:D(), a un punto de acumulacin de D
Si (x) g(x) h(x) x B*(a,)D y L x f
a x
=

) ( lim y
L x h
a x
=

) ( lim L x g
a x
=

) ( lim

3.2.2 Lmites Laterales

La idea de lmite era ver que ocurre con los valores funcionales a medida que me
acercaba a un punto determinado a, en un B*(a,). Utilizando la definicin de entorno
reducido de centro a y radio , decimos que 0 < , x a , < o lo que es lo mismo - a
< x < a a < x < a + , o sea que no importa si me acerco por valores mayores o
menores al punto a cuando calculamos el lmite de una funcin. Con los lmites laterales
introducimos la idea de acercarse al punto de lmite solo por valores menores o solo por
valores mayores de la siguiente manera:

Definicin 3.3: Lmites laterales
Sea :D() , a un punto de acumulacin de D,
a) decimos que existe lmite lateral por la derecha de la funcin cuando x
tiende al punto a y vale L ( L x f
a x
=
+

) ( lim )
Dado >0 , = () / 0 < x a < (x) B(L,)
b) decimos que existe lmite lateral por la izquierda de la funcin cuando x
tiende al punto a y vale L ( L x f
a x
=

) ( lim )
Dado >0 , = () / 0 < a x < (x) B(L,)

Teorema 3.3:
Sea :D() , a un punto de acumulacin de D,
L x f
a x
=

) ( lim =
+

) ( lim x f
a x
L x f
a x
=

) ( lim

3.2.3 Lmites infinitos

Definicin 3.4:
Sea : decimos que existe lmite de la funcin cuando x tiende a
y vale ( =

) ( lim x f
x
) Dado K > 0 , M = M(K) / , x , > M
, (x) , > K

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Continuidad

17
Nota:
Utilizando las definiciones 3.2 y 3.4 podemos construir las definiciones que
faltaran, y =

) ( lim x f
a x
L x f
x
=

) ( lim que son otros casos posibles de lmites


3.3 CONTINUIDAD

3.3.1 Funciones Continuas


Definicin 3.5: Continuidad
Sea :D() , a D, y A D
a) es continua en un punto a si > 0 , = () / x B(a,)D
(x) B((a),)
b) es continua en A, si es continua en a, a A

Nota:
Si comparamos la definicin anterior con la definicin de lmite, (definicin 3.2)
podemos observar tres diferencias entre ambas definiciones:
1) el punto donde se define la continuidad es un punto del dominio, mientras que
para el clculo de lmite esto no era necesario, bastaba con que el punto fuera de
acumulacin.
2) En lmite nos interesa ver lo que ocurre con la funcin en un entorno reducido
del punto, no importa que pase en el punto en s, para continuidad esto cambia
ya que importa lo que pase en el punto a que es el centro del entorno.
3) Otra diferencia es que en continuidad (x) B((a),), o sea que centro del
entorno es (a), en caso del lmite no importa el valor funcional en a

Notacin
para indicar que una funcin es continua en un conjunto determinado [a,b]
utilizaremos la siguiente notacin:
C[a,b]






Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Continuidad

18
Teorema 3.4:
Sea :D() , a D,
a) Si a es punto de acumulacin de D
es continua en a ) ( ) ( lim a f x f
a x
=

b) Si a es punto aislado de D es continua en a

Propiedades:
1) Sean y g dos funciones continuas en a, se cumple:
a) ( g) es continua en a
b) (.g) es continua en a
c) (/g) es continua en a si g(a) 0
2) Sean continua en a y g continua en b, con b = (a) (go) es continua en a


3.3.2 Algunos teoremas de continuidad


Teorema 3.5: Conservacin del signo
Sean C[a,b] y c (a,b) / (c) > 0 B(c,) / x B(c,) se
cumple (x) > 0

Nota:
Se cumple un resultado anlogo pero considerando el caso en que (c) < 0

Teorema 3.6: Weierstrass
C[a,b] , [a,b] / () = inf { (x) / x [a,b] }
() = sup{ (x) / x [a,b] }

Teorema 3.7: Bolzano
C[a,b] / (a)(b) < 0 c (a,b) / (c) = 0

Teorema 3.8: Darboux
C[a,b] / (a) (b) [(a),(b)] [(b),(a)] , c
(a,b) / (c) =

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Derivada

19

3.4 DERIVADA

3.4.1 Definicin de Derivada

Definicin 3.6:
Sea :D() , a
o
D
a) es derivable en a
h
a f h a f
h
) ( ) (
lim
0
+

b) es derivable en A D es derivable en a a A

Nota:
Que a implica que el punto es interior al conjunto, o sea que B(a,) /
B(a,) D.
o
D

Otra forma equivalente de escribir el lmite es
a x
a f x f
a x

) ( ) (
lim , que surge de
hacer un simple cambio de variable, pero por razones de clculo es mas sencillo utilizar
el lmite con h tendiendo a cero
El cociente
h
a f h a ) ( ) f ( +
se llama cociente incremental y representa
geomtricamente el valor de la tangente del ngulo que forma la recta que une los
puntos (a,(a)) con el punto (a+ h,(a + h)) con el eje x.
A partir de ver que la funcin es derivable en un conjunto A, podemos definir
una nueva funcin que tenga como domino dicho conjunto y que le asigne para cada
punto del dominio a en donde la funcin es derivable, el valor de dicho lmite. A esta
funcin llamamos derivada de y la anotamos como (a). En definitiva

h
a f h a f
a f
h
) ( ) (
lim ) ( '
0
+
=

Esto nos trae un pequeo problema y es que ocurre cuando el lmite del cociente
incremental existe pero su valor es infinito. En este caso decimos que la funcin es
derivable en dicho punto porque existe el lmite, pero no existe la funcin derivada en
dicho punto. Como ejemplo tenemos (x) = x
1/3
cuando x = 0

A partir de la definicin de derivada tambin podemos definir la recta tangente
como la recta que pasa por el punto (a,(a)) cuya pendiente es (a), cuya ecuacin
sera
y = (a) + (a)(x a)

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Monotona y Extremos de una Funcin

20

Esta recta se puede utilizar como una aproximacin de la funcin en un entorno
del punto. El prximo tema extenderemos la idea de aproximar funciones utilizando
polinomios, hay que tener en cuenta que una recta es un polinomio de primer grado y la
recta tangente funciona como un primera aproximacin.
Si existe la derivada, vemos que el valor de la tangente del cociente incremental
tiende a la recta tangente, por eso a veces se relacionan la derivada con la tangente en el
punto, cuando en realidad la idea es que la derivada nos da la pendiente de la recta
tangente en ese punto.

Propiedades:
a) Sean derivable en a y () es derivable en a y () =
b) Sean y g derivables en a
1) ( + g) es derivable en a y ( + g) = + g
2) ( g) es derivable en a y ( g) = g + g
3) si g(a) 0,
|
|
.
|

\
|
g
f
es derivable en a y
2
'
' '
g
f g g f
g
f
=
|
|
.
|
\
|

Teorema 3.9: Regla de la cadena
Sean :D
1
() y g:D
2
() / (D
1
) D
2
es derivable en a y g es derivable en (a) (go) es derivable en a
(go)(a) = g((a))(a)

Teorema 3.10:
Si es derivable en a es continua en a

3.5 MONOTONIA Y EXTREMOS DE UNA FUNCION

3.5.1 Monotona

Definicin 3.7: Monotona de una funcin
Sea :D(), x e y D
a) Si x < y (x) (y) decimos que es creciente en D
b) Si x < y (x) (y) decimos que es decreciente en D
c) Si es creciente o decreciente, decimos que es montona en D

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Monotona y Extremos de una Funcin

21

Definicin 3.8: Monotona estricta de una funcin
Sea :D(), x e y D
a) Si x < y (x) <(y) decimos que es estrictamente creciente en D
b) Si x < y (x) > (y) decimos que es estrictamente decreciente en D
c) Si es estrictamente creciente o decreciente, decimos que es montona
estricta en D

Teorema 3.11:
Sea :D(), derivable en c
o
D
a) Si (c) 0 es creciente en B(c,)
b) Si (c) 0 es decreciente en B(c,)
c) Si (c) > 0 es estrictamente creciente en B(c,)
d) Si (c) < 0 es estrictamente decreciente en B(c,)
e) Si (c) = 0 x (a,b) D (x) = k x (a,b)


3.5.2 Extremos Relativos

Definicin 3.9: Extremos relativos de una funcin
Sea :D(), a
o
D
a) Si x B(a,) , (x) (a) decimos que presenta en a un mximo
relativo
b) Si x B(a,) , (x) (a) decimos que presenta en a un mnimo
relativo
c) Si presenta mximo o mnimo relativo en a, decimos que presenta un
extremo relativo en a

Teorema 3.12:
Sea :D(), a / (a) y presenta en a un extremo
relativo (a) = 0
o
D

Nota:
Este teorema nos permite encontrar candidatos a extremos relativos, pero
no en todos los puntos donde se anule la derivada la funcin presentar un extremo

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Monotona y Extremos de una Funcin

22
relativo. Para poder saber si en el punto donde se anul la derivada la funcin presenta
extremo relativo, hay que hacer un estudio de la monotona de la funcin, y por el
teorema 3.10 es necesario que la funcin cambie la monotona en el punto a para que se
pueda verificar la definicin de extremo relativo.
Otra consideracin a realizar es que este teorema no me permite
determinar que ocurre cuando la derivada en el punto a no existe, es posible que la
funcin presente un extremo relativo sin que la derivada exista, basta considerar el
ejemplo (x) = , x ,


3.5.3 Extremos Absolutos

Definicin 3.10: Extremos absolutos de una funcin
Sea :D(), a D
a) Si x D, (x) (a) decimos que presenta en a un mximo absoluto
en D
b) Si x D, (x) (a) decimos que presenta en a un mnimo absoluto
en D
c) Si presenta mximo y mnimo absoluto en D, decimos que presenta
extremos absolutos en D

Nota:
Con el Teorema 3.6 de Weierstrass, en definitiva podemos determinar que
cualquier funcin continua en un intervalo cerrado y acotado presenta mximo y
mnimo absoluto, ya que los valores funcionales en el caso de funciones continuas estn
incluidos dentro del conjunto, y el supremo y el nfimo se transforman en mximo y
mnimo respectivamente.


Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Algunos Teoremas de Derivadas

23

3.6 ALGUNOS TEOREMAS DE DERIVADAS
3.6.1 Teoremas de valor medio


Teorema 3.13: Rolle
Sea :[a,b] / continua en [a,b] , es derivable en (a,b) y
(a) = (b) c (a,b) / (c) = 0

Teorema 3.14: Lagrange
Sea :[a,b] / continua en [a,b] y es derivable en (a,b)
c (a,b) / (c) =
a b
a f b f

) ( ) (


Nota:
Estos dos ltimos teoremas junto con los teoremas de Bolzano y Darboux, vistos
en la seccin de continuidad, son lo que habitualmente llamamos teoremas de valor
medio. Estos teoremas son simplemente teoremas de existencia, nos permiten asegurar
la existencia de uno o ms puntos donde ocurre la tesis, pero no nos dicen cuales son
dichos puntos ni cuantos son. Pese a que esto pueda aparentar que estos teoremas son
ftiles esto no es as.

3.6.2 Regla de L`Hopital

Teorema 3.15: Regla de LHopital
Si lim =

) (x f
a x
0 ) ( lim =

x g
a x
continuas en B(a,) y g(x) 0
x B
*
(a,). Si L
x g
x f
a x
=
) ( '
) ( '
lim L
x g
x f
a x
=
) (
) (
lim

Nota:
Como podemos observar este teorema nos permita calcular limites
indeterminados de la forma 0/0, ya que ambas funciones tienden a cero, esto no impide
que se pueda aplicar en otros casos como por ejemplo cuando tenemos una
indeterminacin de la forma / (para demostrarlo basta con tomar el inverso de las
funciones)

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Funcin Inversa

24

Un echo frecuente es que aplicando una vez LHopital, no alcance para levantar
la indeterminacin, en la mayora de estos casos es posible aplicar nuevamente dicha
regla, hasta que logremos levantar la indeterminacin.
Hay que tener en cuenta la importancia de que el lmite sea indeterminado para
poder aplicar esta regla, ya que en caso de no serlo, el lmite puede dar un valor
cualquiera.


3.7 FUNCION INVERSA

3.7.1 Inyectividad y sobreyectividad de una funcin

Definicin 3.11:
Sea :AB / A y B
a) Si x, y A / x y (x) (y) decimos que es inyectiva
b) Si z B , x A / (x) = z decimos que es sobreyectiva
c) Si es inyectiva y sobreyectiva a la vez decimos que es biyectiva

3.7.2 Funcin Inversa

Definicin 3.12:
Sea :AB / A y B y una funcin biyectiva
Si g:BA / g(y) = x (x) = y , g es la funcin inversa de y se anota
-1


Nota:
de la definicin se desprende lo siguiente:
x A / g[(x)] = x (go):AA y que (go) es la identidad en A y anlogamente
y B / [g(y)] = y (og):BB y que (og) es la identidad en B
Vale la aclaracin de que la funcin inversa no es lo mismo que el inverso de
una funcin, y pese a que como notacin se utiliza -1 para simbolizar la funcin
inversa, esta no representa potencia.





Ctedra de Matemtica / Facultad de Qumica Anlisis I
Repaso de Funciones / Funcin Inversa

25
Teorema 3.16:
Sea estrictamente creciente y continua en [a,b].
Sea c = (a) y d = (b) y g la funcin inversa de
a) g es estrictamente creciente en [c,d]
b) g es continua en [c,d]

Nota:
Una relacin anloga se verifica para cuando la funcin es estrictamente
decreciente. Observar que la funcin necesariamente debe ser montona estricta para
que pueda existir la funcin inversa, sino no podra ser inyectiva.

Teorema 3.17:
Sea :AB con A = (a,b) tal que (x) 0 x (a,b). Sea g la funcin
inversa de g es derivable en B y g(y) =
)) ( ( '
1
) ( '
1
y g f x f
=



Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Introduccin

26
4 POLINOMIOS DE TAYLOR

4.1 INTRODUCCION

4.1.1 Aproximacin lineal

La idea de los polinomios de Taylor es poder aproximar una funcin en un punto
determinado utilizando dichos polinomios. Si recordamos la ecuacin de un polinomio
de grado n
Q(x) = c
0
+ c
1
x + c
2
x
2
+ . . . + c
n
x
n

lo que tenemos que lograr es determinar los coeficientes de dicho polinomio
para que Q(x) aproxime la funcin (x) en el punto x.

Si recordamos en 3.4, cuando definimos derivada, tambin definimos la recta
tangente como la recta que pasa por el punto (a,(a)) cuya pendiente es (a), la
ecuacin es
y = (a) + (a)(x a)
esta recta se puede utilizar como una aproximacin lineal de la funcin en un entorno
del punto ya que cualquier recta es un polinomio de primer grado. A partir de esto, en
lugar de trabajar con un polinomio de la forma de Q(x) , trabajaremos con polinomios
desarrollados de la siguiente manera
P(x) = c
0
+ c
1
(x a) + c
2
(x a)
2
+ . . . + c
n
(x a)
n

sin que perdamos con ello generalidad.
De esta manera la recta tangente sera el polinomio P(x) de grado uno con el cual
aproximara la funcin en un entorno de a, donde los coeficientes de dicho polinomio
seran:
c
0
= (a)
c
1
= (a)

4.1.2 Calculo del error

Si miramos la figura, podemos ver que cuando aproximamos la funcin con la
recta tangente cometemos un cierto error que podemos calcular mediante la diferencia
entre el verdadero valor funcional (x) y el valor aproximado P(x)

error = (x) P(x) = (x) (a) (a)(x a)

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Introduccin

27
Dado que estamos trabajando con polinomios, es razonable suponer que dicho
error es de la forma M(x a)
2
, si es que realmente ese valor de M. Vemos que en el
caso de existir se verifica que:
(x) = (a) + (a)(x a) + M(x a)
2

Vamos a probar la existencia de dicha constante, para ello vamos a pedirle a la
funcin que en un entorno del punto a, esto por lo tanto implica la continuidad y la
derivabildad de y . Tomemos x un elemento de dicho entorno, se cumplen las
mismas implicancias z [a,x]
Primero definamos una funcin auxiliar en [a,x] de la siguiente manera:
g(z) = (x) (z) (z)(x z) M(x z)
2

con esta nueva funcin podemos ver que:
g(a) = (x) (a) (a)(x a) M(x a)
2
= 0 por definicin del error como la
diferencia entre el valor funcional y el valor aproximado, tomando como cierto que el
error se puede expresar de ese modo.
g(x) = (x) (x) (x)(x x) M(x x)
2
= 0
o sea que g(a) = g(x) = 0.
Como la funcin g(z) est expresada como suma y producto de funciones
continuas, g es una funcin continua en [a,x], razonando anlogamente podemos ver
que g(z) es una funcin derivable en (a,x). Utilizando el teorema de Rolle, podemos
afirmar que c (a,x) / g(c) = 0
g(z) = (z) (z)(x z) + (z) + 2 M(x z) = (z)(x z) + 2 M(x z)
g(c) = 0 = (c)(x c) + 2 M(x c) (c)(x c) = 2 M(x c)
M = (c) con c (a,x)

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Definicin

28

En definitiva de este modo logramos probar la existencia del valor de M, y esto
nos permite obtener una funcin para el error que en este caso depende de la derivada de
segundo orden de . Por lo tanto obtenemos:
(x) = (a) + (a)(x a) + 1/2(c)(x a)
2
(Ec 4.1)
donde el inconveniente est en que el error nos qued dependiente del valor de
c, lo que hicimos fue demostrar la existencia del valor de M, pero no podemos
determinar su valor, ms adelante veremos como podemos aprovechar este echo para
poder estimar dicho error.
Cuando vemos la Ecuacin 4.1, dicha ecuacin nos sugiere otra forma de
aproximar el valor funcional (x) con un polinomio de segundo grado y es sustituir el
valor de c desconocido por el valor de a que es el punto en donde calculamos la recta
tangente. O sea que en este caso
P
2
(x) = (a) + (a)(x a) +
2
) ( " a f
(x a)
2

Nuevamente cuando planteamos esta aproximacin de segundo orden vamos a
cometer otro error, y podramos repetir el razonamiento para obtener el error. Pero con
estos elementos tenemos suficiente para introducir los polinomios de Taylor y el
porque de su desarrollo.


4.2 POLINOMIOS DE TAYLOR
4.2.1 Definicin

Definicin 4.1:
Sea : / C
n-1
B(a,) y
(n)
(a) el polinomio
P
(n,,a)
(x) =(a) + (a)(x a) +
! 2
) ( " a f
(x a)
2
+ . . . +
n!
) (
) n (
a f
(x a)
n

Se llama Polinomio de Taylor de orden n, de la funcin en x = a

Notas:
Si se sobrentiende la funcin y el punto del desarrollo habitualmente para
simplificar la notacin solamente utilizamos P
n
(x)
Usualmente los polinomios de Taylor los calculamos en a = 0 y es comn llamar
a los polinomios desarrollados en 0 polinomios de Mac Laurin
Para poder expresar los polinomios en una forma reducida, vamos a definir
como
(0)
(a) (a) y de esa forma expresar el polinomio con una sumatoria:

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Definicin

29
P
(n,,a)
(x) =
k
k
k
a x
k
a f
) (
!
) (
n
0
) (

=

recordar que 0! = 1

Teorema 4.1:
Sea : / C
n-1
B(a,) y
(n)
(a)
P
n
es el nico polinomio de grado menor o igual que n que verifica
P
n
(k)
(a) =
(k)
(a) , 0 k n

Propiedades:
a) P
(n,,a)
(x) = P
(n,,a)
(x) ,
b) P
(n,+g,a)
(x) = P
(n,,a)
(x) + P
(n,g,a)
(x)
c) Sean y g / og y g(x) = x con
P
(n,og,a)
(x) = [P
(n,,a)
(x)] o g(x)
d) P
(n,,a)
(x) = [P
(n+1,,a)
(x)]

Demostracin:
a) ()
(k)
(x) =
(k)
(x)
P
(n,,a)
(x) =
k
k
k
a x
k
a f
) (
!
) ( ) (
n
0
) (

=
k
k
k
a x
k
a f
) (
!
) (
n
0
) (

=

k
k
k
a x
k
a f
) (
!
) (

n
0
) (

=
= P
(n,,a)
(x)
c) (og)(x) = (x) (og)
(k)
(x) =
k

(k)
(x)
P
(n,og,a)
(x) =
k
k
k
a x
k
a fog
) (
!
) ( ) (
n
0
) (

=
=
k
k
k k
a x
k
a f
) (
!
) (
n
0
) (

=
k k
k
k
a x
k
a f
) (
!
) (
n
0
) (

=
=
k
k
k
a x
k
a f
) (
!
) (
n
0
) (

=
(
(

=
k
k
k
a z
k
a f
) (
!
) (
n
0
) (
o(x) = [P
(n,,a)
(z)]o(x)
Las demostraciones b) y d) quedan como ejercicios
#


Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Resto

30

Veremos ahora un par de propiedades para hallar los polinomios de Taylor para
el producto que no se calculan en forma similar a las vistas anteriormente como por
ejemplo para la suma de funciones, que solamente calculamos la suma de los
polinomios

Propiedades:
a) P
(n,g,a)
(x) se obtiene a partir del producto P
(n,,a)
(x) P
(n,g,a)
(x)
considerando nicamente los trminos de orden menor o igual a n
b) Sean y g / og y g(0) = 0
P
(n,og,0)
(x) se obtiene a partir de [P
(n,,0)
(x)]o[P
(n,g,0
(x)] considerando
nicamente los trminos de orden menor o igual a n


4.3 RESTO

4.3.1 Definicin de Resto

Definicin 4.2:
Sea : / P
(n,,a)
(x) , entonces
R
(n,,a)
(x) = (x) P
(n,,a)
(x)
se llama resto de orden n del polinomio de Taylor

Nota:
Si observamos el resto est definido como la diferencia entre el valor funcional
y el valor del polinomio de Taylor, que era el valor aproximado de la funcin, por ende
el resto es el error que nosotros cometemos cuando aproximamos la funcin.
Observar que el resto es del mismo orden que el polinomio.
Veremos formas de expresar el resto de tal modo que podamos utilizarlo, las
formas que vamos a trabajar del resto es en forma infinitesimal y la expresin del resto
en la forma de Lagrange (que es el resto que encontramos en la introduccin cuando
utilizamos como aproximacin de la funcin la recta tangente)






Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Resto

31
4.3.2 Forma infinitesimal del Resto

Teorema 4.2
Sea : / C
n-1
B(a,) y
(n)
(a)
0
) (
) (
lim
n
) , (n,
=

a x
x R
a f
a x


Demostracin:
Por definicin tenemos que R
n
(x) = (x) P
n
(x), si sustituimos en el lmite
obtenemos:
=

n
n
) (
) (
lim
a x
x R
a x
n
n
) (
) ( ) (
lim
a x
x P x f
a x

el segundo lmite, es indeterminado de la forma 0/0, ya que tanto (x) como P
n
(x)
tienden al valor (a). Como C
n-1
B(a,) la funcin es derivable y tambin lo es
cualquier polinomio, aplicando la regala de LHopital obtenemos
=

n
n
) (
) ( ) (
lim
a x
x P x f
a x
1 - n
n
) ( n
) ( ' ) ( '
lim
a x
x P x f
a x

donde se vuelve a repetir el echo de que el segundo lmite es indeterminado, entonces
podemos aplicar nuevamente LHopital, hasta obtener las derivadas de orden (n-1)
=

n
n
) (
) ( ) (
lim
a x
x P x f
a x ) ( n!
) ( ) (
lim
) 1 (n
n
) 1 n (
a x
x P x f
a x

en este lmite todava no se levant la indeterminacin, pero no podemos aplicar
L`Hopital en este caso por que
(n-1)
solo sabemos que es derivable en x = a, por lo que
no podemos saber nada de la derivabilidad del numerador.

) ( n!
) ( ) (
lim
) 1 (n
n
) 1 n (
a x
x P x f
a x

=
| |
) ( n!
) )( ( ) ( ) (
lim
) n ( ) 1 n ( ) 1 n (
a x
a x a f a f x f
a x
+

=
=
(
(

) (
) (
) ( ) (
lim
n!
1
n
) 1 n ( ) 1 n (
a f
a x
a f x f
a x
= 0
ya que el primer termino es el cociente incremental de
(n)
(a)
#

Nota:
observar que las hiptesis del teorema son las misma que en la definicin del
polinomio de Taylor, y el resto est definido con el polinomio de Taylor, por lo tanto,
esta propiedad del resto se verifica siempre que exista el polinomio.
Otra notacin ms frecuente para la forma infinitesimal del resto es la siguiente:

Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Resto

32
R
(n,,a)
(x) = O[(x a )
n
]
que es la notacin usual para los infinitsimos, teniendo en cuenta la notacin de que a
es el punto donde es infinitsimo y n es el orden del infinitsimo. Esta forma de
expresar el resto nos permite utilizar los polinomios de Taylor para el clculo de lmites
indeterminados.


4.3.3 Resto en la forma de Lagrange

Teorema 4.3
Sea /
(n)
es continua en [,] y
(n+1)
en (,), a (,)
c (a,x) (x,a) / R
(n,,a)
(x) =
1)! (n
) (
) 1 n (
+
+
c f
(x a)
n+1


Demostracin:
La demostracin es similar a la que hicimos en la introduccin como
aproximacin lineal. De las hiptesis podemos concluir la existencia del polinomio de
Taylor de orden n,
P
(n,,a)
(x) =(a) + (a)(x a) +
! 2
) ( " a f
(x a)
2
+ . . . +
n!
) (
) n (
a f
(x a)
n

tomaremos como resto una funcin R
n
(x) = M (x a)
n+1
, entonces se verifica:
(x) = P
(n,,a)
(x) + R
(n,,a)
(x)
= (a) + (a)(x a) +
! 2
) ( " a f
(x a)
2
+ . . . +
n!
) (
) n (
a f
(x a)
n
+ M (x a)
n+1

Definimos la siguiente funcin auxuliar:
g(z) = (x) (z) (z)(x z) . . .
n!
) (
) n (
z f
(x a)
n
M(x z)
n+1

= (x) (z)
k
k
k
z x
k
z f
) (
!
) (
n
1
) (

=
M(x z)
n+1
g(a) = g(x) = 0.
g es funcin continua en [a,x]
g(z) es funcin derivable en (a,x)
Utilizando el teorema de Rolle, podemos afirmar que c (a,x) / g(c) = 0

g(z) = (z)

=

+
|
|
.
|

\
|
+
n
1
1
) ( ) 1 (
) 1 ( ) (
!
) (
) (
!
) (
k
k
k
k
k
z x k
k
z f
z x
k
z f


Ctedra de Matemtica / Facultad de Qumica Anlisis I
Polinomios de Taylor / Resto

33
(n + 1)M(x z)
n
(-1) =
n!
) (
) 1 n (
z f
+
(x z)
n
+ (n + 1)M(x z)
n

evaluando la derivada de g en c obtenemos:
g(c) = 0 =
n!
) (
) 1 n (
c f
+
(x c)
n
+ (n + 1)M(x c)
n


n!
) (
) 1 n (
c f
+
(x c)
n
= (n + 1)M(x c)
n
M =
1)! (n
) (
) 1 n (
+
+
c f
con c (a,x)
#

Nota:
a diferencia del resto en forma infinitesimal, en este caso no siempre podemos
asegura que podamos expresar el resto en forma de Lagrange, por que necesita la de

(n+1)
y no siempre es posible asegurar su existencia.
Aunque la potencia que aparezca en la frmula es n + 1, el resto es de orden n,
no confundir en este caso la potencia con el orden del resto que est determinado por el
orden del polinomio de Taylor.
La utilidad de esta expresin est en que nos permite estimar el error que
cometemos cuando aproximamos la funcin, y solo estimar ya que no es posible saber
cual es el valor del c (a,x)









Ctedra de Matemtica / Facultad de Qumica Anlisis I