Escolar Documentos
Profissional Documentos
Cultura Documentos
Guadalajara
2004
2004
INTRODUCCIN AL ANLISIS MATEMTICO
! existe uno, y slo uno ! a A existe una, y slo una a que est en A
- y (conjuncin) aA-aB a A y a B
/ (disyuncin) aA/aB a A a B
II chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
NDICE
III
INTRODUCCIN AL ANLISIS MATEMTICO
Apndice.
Bibliografa. 212
IV chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
PRLOGO
Como anlisis matemtico se entiende, antes que nada, clculo diferencial e
integral. La creacin de los fundamentos del clculo diferencial e integral por Newton
y Leibnitz fue uno de los ms grandes acontecimientos cientficos del siglo XVII,
aunque algunos conceptos fundamentales anlogos hayan sido formulados mucho
antes. Actualmente el anlisis, en toda la extensin de la palabra, ha constituido, junto
con el lgebra y la geometra, uno de los pilares fundamentales sobre los cuales se
asienta todo el rbol de la matemtica moderna. Por eso, se ha convertido en una de
las disciplinas indispensables para el mundo matemtico, lo cual es demostrado por la
gran cantidad de libros editados sobre el tema. Sin embargo, no se puede concluir de
esto, que en el anlisis no hayan quedado temas para la investigacin cientfica y para
grandes descubrimientos. En verdad, lo que sucede es que el anlisis matemtico ha
crecido tanto, que se ha visto la necesidad de estudiar algunas de sus ramas por
separado, como son por ejemplo, la teora de probabilidad y la estadstica matemtica,
la teora de funciones de variable compleja y el anlisis funcional, la teora de
ecuaciones diferenciales ordinarias y en derivadas parciales, las ecuaciones de la
fsica matemtica, etc. En un sentido ms estrecho de la palabra, como una materia
de estudio, representa por s mismo una parte, y quiz una de las mayores, que se
presentan como generales para todas las disciplinas de la matemtica moderna, de
aqu el papel fundamental que juega en la formacin matemtica.
El presente trabajo contiene slo la parte introductoria al tema, que est
dirigida, en primer lugar, a estudiantes que desean iniciarse en el curso, con el estudio
y las demostraciones de los teoremas fundamentales, que les permitan adquirir las
bases para su formacin en el rea de la matemtica, con un enfoque diferente al
acostumbrado. Evidentemente, tambin los dems interesados en el tema estn
invitados al estudio de la presente obra, sin embargo, se requiere que el lector tenga
bien fundamentadas las bases de la educacin media superior, necesarias para la
buena comprensin del tema.
V
INTRODUCCIN AL ANLISIS MATEMTICO
VI chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
INTRODUCCIN
El presente libro ha sido pensado como libro de texto o complementario para la
Licenciatura en la materia de Anlisis Real I, abarcando parte de Teora de Conjuntos.
En el libro se dedica la mayor parte al estudio del Clculo Diferencial de una variable
real como una introduccin al tema. El primer captulo est dedicado a la Teora de
Conjuntos. El segundo captulo sigue con la el estudio de los Nmeros Reales,
estableciendo sus propiedades de Campo, de Orden y de Continuidad como Axiomas.
En el tercer y cuarto captulos se estudian los conceptos de Lmite y Continuidad,
mediante los conceptos de Conjunto Dirigido sin ltimo elemento (propiedad de
Moore-Smith), Base de un conjunto como caso particular; y las notaciones de Landau.
Esto permite tratar el tema con un enfoque no muy habitual y que permite una
generalizacin del concepto de Lmite. El quinto captulo est dedicado al estudio del
Clculo Diferencial, mediante las definiciones de Frechet, para conclur con la
Graficacin de Mapeos en el captulo seis. Se ha pretendido abarcar los temas
fundamentales para una parte indroductoria y demostrar los teoremas fundamentales
del anlisis en esta parte.
Agradecemos a los cientficos cuyas ideas hicieron posible la realizacin del
presente libro. Sera complicado mencionar a todos los que aportaron ideas, sin
embargo, debemos mencionar principalmente a V.V. Rizhkov, que introdujo el
concepto de conjunto dirigido el la definicin de Lmite; V.I. Ponomarv, a quien se
debe, entre otras aportaciones, el concepto de pequea imagen; V.A. Zorich y G.M.
Fikhtengoltz, cuyas obras maestras del Anlisis (Anlisis Matemtico y Clculo
Diferencial e Integral respectivamente) han contribuido de manera fundamental en el
desarrollo del Anlisis Moderno y en general, a las escuelas de P.S. Alexandrov y
Y.M. Smirnov, que han dado grandes cientficos en esta rea de la Matemtica
Morderna. En particular, y de manera muy especial debemos agradecer y reconocer
las aportaciones de B.T. Levshenko y V.V. Rizhkov en el enfoque moderno del tema.
VII
INTRODUCCIN AL ANLISIS MATEMTICO
CAPTULO I
ALGUNOS CONCEPTOS SOBRE TEORA DE CONJUNTOS
1.1 CONJUNTOS. CONCEPTOS ELEMENTALES Y NOTACIN.
El lenguaje de la teora de conjuntos ha sido, desde los ltimos aos del siglo XIX y los
primeros del siglo XX, el lenguaje ms universal de la matemtica. El matemtico alemn George
Cantor (18451918) es reconocido como el fundador de dicha teora.
Para denotar los diferentes conjuntos se utilizan las letras maysculas del alfabeto latino
A, B, C,, X, Y, Z,
Elemento. Los objetos que en su totalidad forman un conjunto dado, se llaman elementos del
conjunto.
Para denotar los diferentes elementos se utilizan las letras minsculas del alfabeto latino
a, b, c,, x, y, z,
Notacin por extensin. El conjunto formado por los elementos a1, a2, ... , an generalmente
escribe encerrando los elementos entre llaves {} y separndolos por comas de la siguiente manera:
{a1, a2, ... , an}. Esta forma de denotar un conjunto se llama por extensin por enumeracin.
Cuando no haya lugar a confusiones, escribiremos a en lugar de {a}.
Notacin por descripcin. Si a es un objeto y P es una propiedad, entonces P(a) denota que
a tiene la propiedad P y mediante {x | P(x) } se denota toda la clase de objetos que tienen la
propiedad P.
El smbolo , se lee tal que, por lo que la expresin x | P(x) se puede leer como
x tal que x tiene la propiedad P(x), bien
x tal que x cumple la propiedad P(x)
aA ( A a)
aA ( A a)
Definicin 1.1. (Principio de Extensin). Dos conjuntos A y B son iguales si, y slo si,
ambos tienen los mismos elementos, lo que se escribe
A=B ( B = A)
AB ( B A)
De esta manera A B significa que A tiene algn elemento que no tiene B que B tiene
algn elemento que no tiene A.
AB ( B A)
AB ( B A)
AB ( B A)
Diagramas de Venn - Euler. Para ilustrar de manera instructiva y sencilla las relaciones
entre conjuntos y conjuntos y elementos, se utilizan los llamados Diagramas de Venn Euler,
conocidos simplemente como Diagramas de Venn, que representan un conjunto como el rea de una
figura geomtrica, frecuentemente delimitada por un crculo.
B
A
fig. 1 A B
10 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
2.1 SIMBOLOGA
a A y a B
a A o a B
11
INTRODUCCIN AL ANLISIS MATEMTICO
existe una, y slo una (o existe una nica) x A que tiene la propiedad P.
( x A, P(x)) ( x A P(x))
( x A P(x)) ( x A, P(x))
7) El smbolo que se lee porque, puesto que, ya que, esto se justifica por..,
sirve para mencionar que el resultado obtenido, escrito inmediatamente antes de l; es justificado
por lo que se escribe inmediatamente despus de l, algunas de las veces dentro de parntesis. Por
ejemplo: la expresin A = B ( A B y B A), se puede leer como
Definicin 4.1. El conjunto potencia 2A del conjunto A se define como la familia de todos
los subconjuntos de A, es decir,
2A { B B A }
AB{xxA/xB}
A B
Propiedades de la Unin:
A (B C) = (A B) C
AB = BA
AB{xxA-xB}
A B
13
INTRODUCCIN AL ANLISIS MATEMTICO
Propiedades de la Interseccin:
A (B C) = (A B) C
AB = BA
Propiedades Distributivas:
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
Definicin 7.1. Se define el complemento del conjunto A como el conjunto de los elementos
que no pertenecen a A, es decir,
A' { x x A }
A A'
A B
AB{x(xA-xB)/(xA-xB)}
AB=(AB)(BA)
A B
(a, b) = (c, d) (a = c - b = d)
ABBA A=B
Diferentes afirmaciones en matemtica: como lema, teorema, corolario, etc., tienen la forma
A B, donde A se llama hiptesis, condicin suficiente; y B se llama tesis, condicin
necesaria. Se escribir A T B, en lugar de (A T) - (T B). La demostracin de una
afirmacin cualquiera (como un lema, un teorema, un corolario, etc.) consiste en la construccin de
una cadena de afirmaciones de la forma A T1 T2 Tn B, donde A puede ser un
axioma, un postulado, un teorema, lema corolario demostrado previamente, T1 es una afirmacin
que se deduce inmediatamente de A, y en general, Ti se deduce inmediatamente de Ti-1, de la cual se
deduce inmediatamente B. En las demostraciones vamos a utilizar las clsica forma de hacer
conclusiones, como en la lgica matemtica: si A es verdadero y A B, entonces B tambin es
verdadero. En las demostraciones por reduccin al absurdo (o contradiccin) vamos a utilizar la
forma clsica: si A es verdadero y suponiendo que B es falso, se demuestra que entonces A tambin
es falso, entonces A B. Se utilizar tambin, en este caso, el principio del tercer excluido, en el
cual, la afirmacin A / A es verdadera, independientemente de si A lo es no.
15
INTRODUCCIN AL ANLISIS MATEMTICO
Supongamos que P(x) es un enunciado (una proposicin) de una variable, la cual, para un
objeto a U puede ser verdadera (lo que escribimos como P(a)=1) falsa (lo que escribimos como
P(a)=0). Entonces P(x) genera un conjunto A { x U P(x)=1}.
Axioma de extensin. Dos conjuntos A y B son iguales si, y slo si, todo elemento de A es
un elemento de B y todo elemento de B es un elemento de A, es decir,
Axioma de especificacin. Sea P(x) una proposicin y sea A un conjunto. Entonces existe
un conjunto
B { x A P(x)=1}
El axioma de extensin nos muestra que slo interesa la propiedad del conjunto, de contener
ciertos elementos dados. El axioma de especificacin nos muestra que si A en un conjunto y P(x) es
una propiedad, entonces B { x A P(x)=1} tambin es un conjunto.
Ejemplo 2. Del axioma de especificacin se deduce que si A y son conjuntos, entonces que
A B { x A x B } tambin es un conjunto. En particular, si A U, entonces se tiene que
A' { x U x A } = { x x A } tambin es un conjunto.
I A,
Axioma de unin. Para cualquier familia {A} I de conjuntos, existe un conjunto
formado por aquellos elementos que pertenecen al menos a uno de los conjuntos de la familia
{A} I.
I A { x x A para algn I }
16 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
I
I A A{A} I x A } = { x
A { x I A x A para todo I }
Axioma de pareja. Para dos conjuntos A y B cualesquiera, existe un conjunto C tal que A y
B son sus nicos elementos. El conjunto C { A, B } (par, no ordenado) est formado de un slo
elemento, si A = B. Entonces la pareja ordenada se puede definir como sigue:
(A, B) { { A, A }, { A, B } }
As, el concepto de par no ordenado permite definir el concepto de par ordenado, que a su
vez permite introducir el conjunto producto, si se utiliza el axioma de especificacin junto con el
axioma siguiente:
Axioma de conjunto potencia. Para un conjunto A cualquiera, existe una familia 2A,
formada por aquellos, y slo aquellos, conjuntos que son subconjuntos de A.
2A { B B A }
Se tiene entonces:
A B { (a, b) 22 2 a A - b B }
A B
Esto nos permite formar un sistema del conjunto 0 (modelo de Newman), como la
interseccin de todos los conjuntos inductivos.
Axioma de sustitucin. Sea P(x, y) un enunciado formal de dos variables, tal que para
cualquier a A, existe un nico elemento b B para los cuales P(a, b) es verdadera, es decir,
P(a, b) = 1. Entonces los objetos b B, para cada uno de los cuales existe un elemento a A, con
los cuales P(a, b) = 1, forman un conjunto.
En el presente trabajo no se pretende obtener una teora axiomtica de conjuntos por lo cual
solamente mencionaremos algunas de las propiedades fundamentales de los conjuntos, sin embargo,
la tabla que sigue nos proporciona una serie de leyes de las cuales se puede deducir la mayora de las
propiedades fundamentales de los conjuntos y sus operaciones.
17
INTRODUCCIN AL ANLISIS MATEMTICO
Leyes de Idempotencia
AA = A AA = A
Leyes Asociativas
A (B C ) = (A B ) C A (B C ) = (A B ) C
Leyes Conmutativas
AB=BA AB= BA
Leyes Distributivas
A (B C ) = (A B ) (A C ) A (B C ) = (A B ) (A C )
Leyes de Identidad
A = A; AU = U A = ; AU = A
Leyes de Complemento
Leyes de De Morgan
I A)' =
(
I A' I A)' =
(
I A'
Leyes de Diferencia
A B = (A B') A B = (A B) (B A)
A B AB = A, bien como A B AB = B.
Las proposiciones que a continuacin se dan pueden deducirse de las propiedades enteriores
y sus demostraciones se dejan como ejercicio para el lector.
1) A B.
2) A B y B A A = B.
3) Si A B y A C, entonces A C.
1) A B A A B.
2) A C y B C A B C.
3) Si A C y B D, entonces A B C D y A B C D.
18 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
1) A B = A B.
2) A B = A ( A B ).
1) A B = A ( X B ).
2) A ( X A ) = , A ( X A ) = X.
3) X ( X A ) = A.
4) X = X, X X = .
5) AB X B X A.
6) X ( A B ) = ( X A ) ( X B ).
7) X ( A B ) = ( X A ) ( X B ).
1) A = A.
2) A A = .
3) A B = B A.
4) A(BC)= ( A B ) ( A C ).
5) AB= AC B = C.
6) AB= C B = A C.
7) A(AC)= C.
A B = A B ( A B ).
A B = A ( A B ).
A B = ( A B ) ( B A ).
A B = ( A B ) [( A B ) ( B A )]
19
INTRODUCCIN AL ANLISIS MATEMTICO
A (B C ) = (A B ) C
Demostracin.
A (B C ) =
= [A (B C )] [A' (B C)' ] igualdad 2) del lema.
= {A [(B C ) (B' C' )]} {A' [(B C' ) (B' C )]} igualdades 2) y 4) del lema.
= [A (B C )] [A (B' C' )] [A' (B C' )] [A' ( B' C )] propiedad distributiva.
= [A (B C )] [A' ( B' C )] [A (B' C' )] [A' (B C' )] propiedad conmutativa.
= [(A B ) C ] [(A' B' ) C ] [(A B' ) C' ] [(A' B) C' ] propiedad asociativa.
= {[(A B ) (A' B' )] C } {[(A' B) (A B' )] C' } propiedad distributiva.
= [(A B ) C )] [(A B )' C' ] igualdades 2) y 4) del lema.
= (A B ) C. igualdad 2) del lema.
Ejemplos:
1) Sea A el conjunto de los nmeros impares que no sean divisibles por tres.
20 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Relaciones Binarias
Un enunciado formal sobre el conjunto producto A B, es una proposicin P(x, y), la cual
para un par ordenado (a, b) A B puede ser verdadera (lo que escribimos como P(a, b)=1) o falsa
(lo que escribimos como P(a, b)=0).
(a, b) R, o simplemente a R b
(a, b) R, o simplemente a R/ b
Recta vertical. Se llama recta vertical que pasa por el elemento a A a la relacin
{a} B A B
Recta horizontal. Se llama recta horizontal que pasa por el elemento b B a la relacin
A {b} A B
Obsrvese que una relacin A B es un mapeo si, y slo si toda recta vertical
{a} B intersecta con en un nico elemento, es decir
a A, ! (a , b) ({a} B).
Mapeo identidad. El mapeo identidad o mapeo unidad 1A: A A se define como el mapeo
que asigna a cada elemento el mismo, es decir,
(a) a aA
(a) k B aA
(C) { y B y = (x) y x C }.
-1 (b) { x A (x) = b }.
22 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
-1(C) { x A (x) D }.
#(C) { y B 1(y) C }.
De la definicin de pequea imagen se sigue que los elementos que tienen una preimagen
vaca pertenecen a la pequea imagen de cualquier subconjunto C A.
ab (a) (b)
A B
x1 y1
y2
x2 y3
y4
Obsrvese que un mapeo : A B es inyectivo si, y slo si, ninguna recta horizontal
A {b} intersecta con en ms de un elemento, es decir
23
INTRODUCCIN AL ANLISIS MATEMTICO
A B
x1 y1
x2
x2 y2
Obsrvese que un mapeo A B es sobreyectivo si, y slo si, toda recta horizontal
A {b} intersecta con , es decir,
b B, (A {b}) .
#
Consecuentemente (C) (C) si es un mapeo sobreyectivo.
1) es inyectivo.
2) es sobreyectivo.
A B
x1 y1
x2 y2
x3 y3
Obsrvese que un mapeo : A B es biyectivo si, y solo si, toda recta horizontal {a} B
intersecta con en un nico elemento, es decir,
b B ! (a, b) (A {b})
b B ! a A (a) = b
24 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
(g)(a) g((a)) a A
A C
g
a c = g((a))
b = (a)
B
Como es inyectivo, a b implica, (a) (b), y como g es inyectivo (a) (b) implica,
g(a) =g((a)) g((b)) = g(b), esto es, g: A
C es un mapeo inyectivo.
25
INTRODUCCIN AL ANLISIS MATEMTICO
Sean a1 , a2 A con a1 a2. Entonces 1A(a1) 1A(a2) por lo que (g)(a1) (g)(a2), esto es
g((a1)) g((a2)) y, por lo tanto (a1) (a2), lo que significa que es inyectivo.
g = 1.
Sea A B el producto de A = y B = .
Funcin. Un mapeo que tiene por codominio a un conjunto de nmeros se llama funcin.
1; si x A
A(x)
0; si x A
Como C(X) se denota la familia de todas las funciones caractersticas de los subconjuntos de
X, es decir,
C(X) { A A X }
26 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
(a) = (a) a A
La grfica de una funcin par es simtrica con respecto al eje vertical Oy.
(a) = (a) a A
La grfica de una funcin par es simtrica con respecto al origen de coordenadas Oxy.
(x)
g (x) g(x) , si g(x) 0 para x B.
Adems, si h: A B , entonces
(h(x)) (h)(x)
g h(x) = g (h(x)) = g(h(x)) = (gh)(x), si g(x) 0 para x B.
Ejemplos.
27
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 5.1. Si una operacin binaria tiene elemento neutro, este es nico.
Demostracin. Sean x y x' A dos elementos inversos del elemento a A bajo la operacin
: A A A. Se tiene entonces (a , x) = e A, adems
x = (x, e) = (x, (a, x')) = ((x, a), x') = (e, x') = x'.
28 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
DA { (x, x) A A x A } = { (x, y) A A x = y }.
aA (a, a) R
(a, b) R (b, a) R
(a, b) R (b, a) R
reflexiva si y slo si DA R
simtrica si y slo si R = R1
transitiva si y slo si RR R
antisimtrica si y slo si R R1 D
asimtrica si y slo si R R1 =
R es reflexiva, R es transitiva.
Relacin de orden parcial. Una relacin R A A es una relacin de orden parcial (misma
que se denota como ), si
R es reflexiva, R es antisimtrica, R es transitiva.
RELACIONES DE EQUIVALENCIA.
Ntese que en una relacin de equivalencia, las clases derecha e izquierda coinciden, es
decir x A, [a] = aR = Ra.
Obsrvese primero que, si x ([a] [b] ) , entonces x [a], lo que significa que x a;
y x [b], lo que significa que x b. Por la propiedad simtrica de , se tiene que b x; y por la
propiedad transitiva de , se tiene que b a; esto es b [a]. Adems, por la propiedad simtrica de
la relacin , se tiene que a b; esto es a [b].
Si x [a], entonces, x a. Como [a] [b] , entonces a b, por lo que, por la propiedad
transitiva de , se tiene que x b; lo que significa que x [b]. Es decir,
30 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 3.1 (inverso del teorema 2). Sea {A}I una particin del conjunto A. Entonces
{A}I define una relacin de equivalencia en A.
x R y A {A} I x, y A.
31
INTRODUCCIN AL ANLISIS MATEMTICO
Seccin inicial abierta. Sea (A, ) un conjunto ordenado. La seccin inicial abierta de un
elemento a A se define como el conjunto
s(a) { x A x a }.
32 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
ax xA
xb xA
Maximal y Minimal
bx b=x
xa x=a
Demostracin. Sean a y a' dos primeros elementos de A. Se tiene que a a' puesto que a' es
primer elemento. Adems a' a puesto que a es primer elemento. Pero a = a' por la propiedad
antisimtrica de la relacin de orden parcial. Para el ltimo elemento la demostracin es anloga.
Mayorante y Minorante
33
INTRODUCCIN AL ANLISIS MATEMTICO
a, b A c A a c y b c.
Observacin. Algunos autores definen un conjunto dirigido como un conjunto A con una
relacin binaria de preorden R A A (reflexiva, transitiva) que cumple la propiedad de Moore E.
y Smith H. Sin embargo, las relaciones binarias usadas en este libro { , , } son antisimtricas,
por lo que nosotros, como algunos otros autores, definimos un conjunto dirigido como un conjunto
parcialmente ordenado que cumple la propiedad de Moore E. y Smith H.
De especial inters son, para la teora de lmites, aquellos conjuntos dirigidos sin ltimo
elemento. Un conjunto parcialmente ordenado (A, ) es un conjunto dirigido sin ltimo elemento, si
cumple la propiedad de Moore E. y Smith H.:
a, b A c A a c y b c
Teorema 8.1. Sea (A, ) un conjunto dirigido. Sea b un elemento maximal de A. Entonces b
es el ltimo elemento de A.
a, b A c A a c y b c.
34 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 9.1. Sea B subconjunto confinal de un conjunto dirigido (A, ). Entonces (B, )
con el orden inducido por A, es tambin un conjunto dirigido.
a, b B d A a d y b d.
Teorema 10.1. Sea (A, ) un conjunto dirigido y sea B subconjunto confinal de A (con el
orden inducido por A). Supongamos que (B, ) tiene un elemento maximal m = max (B). Entonces
(A, ) tiene un elemento maximal y m = max (A).
a b b a.
35
INTRODUCCIN AL ANLISIS MATEMTICO
a b a = b b a.
Los elementos a, b son llamados respectivamente extremo inferior y superior cada intervalo.
Teorema 11.1. Sea (A, ) un conjunto ordenado y sea s(A) { s(a) a A } la familia de
todas las secciones iniciales s(a) = { x A x a } de los elementos de A ordenada por inclusin.
Entonces (s(A), ) es isomorfa a (A, ), es decir,
36 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin. Defnase el mapeo : (A, ) (s(A), ) por la igualdad (a) s(a). Para
a b se tiene que x a implica x b, y por lo tanto s(a) s(b).
Ahora bien, si s(a) s(b), entonces x s(a) implica x s(b) y por lo tanto a b, es decir,
es un mapeo que preserva el orden.
Por definicin es sobreyectivo. Si a b, entonces b s(b) y b s(a), esto es, s(a) s(b),
pero s(a) s(b), lo que significa que es inyectivo. Se tiene entonces que es inyectivo y
sobreyectivo, es un mapeo biyectivo que preserva el orden, es decir es un isomorfismo.
37
INTRODUCCIN AL ANLISIS MATEMTICO
s t Sa s Tb t Sa Tb.
S a, S b s ( Sa Sb s - Sa Sb s ).
1) s.
2) s es cerrado con respecto a la interseccin.
n
3) S a.
S, S1 s S1 S S1, S2, , Sn s S = =1
38 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Sa s S a E = S a.
1) La unin
a I Sa de cualquier subfamilia {Sa}aI de elementos de es as
mismo un elemento de , es decir, {Sa}aI
a I Sa .
n
n
2) Sa de cualquier subfamilia finita {Sa}=1 de elementos de
La interseccin =1
n
n
es as mismo un elemento de , es decir, {Sa}=1 Sa .
=1
Los elementos de se llaman conjuntos abiertos por lo que se puede decir que la unin de
cualquier sistema de conjuntos abiertos es abierta y la interseccin de cualquier sistema finito de
conjuntos abiertos es abierta.
Ejemplos:
ALB
Se dice que dos conjuntos A y B tienen "la misma cantidad de elementos" que tienen la
misma cardinalidad, si pertenecen a la misma clase de equivalencia.
De lo anterior de deduce que dos conjuntos A y B son equipotentes si, y slo si tienen la
misma cardinalidad, es decir,
A B #(A) = #(B)
Definicin 16.1. Un conjunto que es equipotente a uno de sus subconjuntos propios, se llama
conjunto infinito, y en caso contrario se llama finito.
La cardinalidad #() del conjunto = {1, 2, 3, } de los nmeros naturales se denota como
0, es decir,
#() 0
mulas { Sa s a Sa }
40 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
s(n) { x x n } = {1, 2, 3, , n }
2z; si z >0
(z)
1-2z; si z 0
(m + n 2) (m + n 1)
((m, n)) + n
2
Por lo tanto (m ,n) (m', n') (m ,n) (m', n'), es decir, que es un mapeo inyectivo.
a1 (A)
a2 (A {a1})
a3 (A {a1, a2})
an (A {a1, a2, a3, , an1})
Teorema 18.1. Sea s = {An}n una familia contable de conjuntos contables. La unin (el
cuerpo) A ~ An es un conjunto contable. En este caso es evidente que si al menos uno de los
s = n=1
An es un conjunto infinito.
conjuntos An es infinito, entonces el cuerpo A = n=1
Demostracin. Supongamos que los conjuntos Aa son disjuntos dos a dos, es decir,
Ai Aj = si i j. Sean Ai = {ai1, ai2, ai3, , ain, } para cada i . Es decir, sean
A1 = {a11, a12, a13, }; A2 = {a21, a22, a23, }; A3 = {a31, a32, a33, }; ;
An = {an1, an2, an3, , ann, }; etc. Como en el teorema 15.1, el mapeo : A definido por
(m + n 2) (m + n 1) An se puede
la igualdad (amn) + n es biyectivo por lo que la unin A = n=1
2
representar como un conjunto contable de la siguiente manera:
A = {a11, a12, a21, a13, a22, a31, , a1n, a2 n-1, , a n-1 2, an1, }.
43
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 19.1. Los siguientes conjuntos son equipotentes al conjunto de los nmeros
reales: [0, 1] ; ]0, 1[ ; [0, 1[ y ]0, 1], es decir [0, 1] ]0, 1[ [0, 1[ ]0, 1] .
(x) tan (2x 1)
2
es biyectivo, se tiene que ]0, 1[ .
Demostremos ahora solamente que [0, 1] ]0, 1[. Lo dems se demuestra anlogamente.
1
x+2 si x = 0;1
(x)
1
n+2 si x = 1/n {1/2; 1/3; }
x si x A
n rn = 0.an1an2an3 ann
44 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Por reduccin al absurdo, supongamos que todos los nmeros reales del segmento [0, 1], se
pueden enumerar escribindolos como una sucesin A {r1; r2; r3; }.
Dentese al segmento que no contiene al elemento r2 como I2 = [a2, b2] , es decir, r2 I2, ... .
Continuando el proceso, se obtiene una sucesin de segmentos encajados
I0 I1 I2 I3 In ,
bn an
para los cuales r1 I1, r2 I2, , rn In, , y | In | = 2n tiende a hacerse 0, cuando n crece
indefinidamente.
Por el teorema de Cantor, existe entonces un nmero real c que pertenece a todos los
segmentos In, es decir, c In n . Ntese que c A, lo que significa que n para el
cual c = rn. Sin embargo rn In, lo que contradice el hecho de que c pertenezca a todos los
segmentos In. As que el conjunto [0, 1] no es contable.
#() c.
45
INTRODUCCIN AL ANLISIS MATEMTICO
A B ( B A)
y se dice que la cardinalidad del conjunto A es menor o igual a la cardinalidad del conjunto B, lo que
se escribe como #(A) #(B), es decir,
A B #(A) #(B)
B A significa que A B,
A B significa que A B, pero A L B
B A significa que A B.
A 2A
Demostracin. El mapeo g: A A
2 definido por (a) {a} es inyectivo, por lo cual
A 2A.
Para demostrar que A L 2A, procedemos por reduccin al absurdo. Supngase que A 2A, es
decir, que existe un mapeo biyectivo : A A
2 .
46 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
AB - BA A B.
Para demostrar el teorema basta demostrar que Y0 X0, es decir, que existe un mapeo
biyectivo h: X0
Y0; con lo que se demuestra que A B, (ya que, as X0 = A Y0 = g(B) B).
Adems, se tiene que (Xi Yi) (Xi+1 Yi+1), es decir, existe un mapeo biyectivo
-g: (X Y ) (X Y ). El mapeo identidad 1: (Y X ) (Y X ) tambin es un mapeo
i i i+1 i+1 i i+1 i i+1
biyectivo.
Sea D
i=0
(Xi Yi). Entonces
2X C(X)
47
INTRODUCCIN AL ANLISIS MATEMTICO
Sea C() la familia de todas las funciones caractersticas A: A {0, 1} de los subconjuntos
A del conjunto de los nmeros naturales. Sea g: C() [0, 1] el mapeo definido como
g(A) 0.A(1)A(2) A(3)
AB BA
Teorema 26.1. Sean A y B dos conjuntos no vacos, con #(A) = m y #(B) = n donde
m, n ; y sea BA {:A B} el conjunto de todos los mapeos :A B. Entonces
#(BA) = nm.
Para m = n = 1, es decir, A {a1} y B {b1}. Se tiene (a1) = b1, por lo que BA = {}, es
decir, #(BA) = 11 = 1.
Supongamos que A {a1, a2, , am, am+1}, B {b1, b2, , bn, bn+1}, es decir #(A) = m + 1 y
#(B) = n + 1. Supngase tambin que Am {a1, a2, , am-1, am}, Bn {b1, b2, , bn-1, bn} y que
adems #(Am) = m y #(Bn) = n implican #(BAn m) = nm . Se tiene entonces
n
A
a) { : A Bn (Am) = Bn, (am+1) = bk } y,
Por induccin sobre m, se tiene Bn = k=1
n
A
por lo tanto, #(Bn ) = #(BA Am m
n ) = n #(Bn ) = n n = n
m m+1
k=1
48 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
k
El producto Cm+1 nm+1k significa que:
k
1) Cm+1 es la cantidad de funciones : A Bn para las cuales #({-1(bn+1)}) = k
Teorema 27.1. Sean A y B dos conjuntos no vacos, con #(A) = m y #(B) = n donde
m, n y n > 1. Entonces, el conjunto BA {:A B} de todos los mapeos :A B tiene
cardinalidad mayor que la del conjunto A, es decir, #(A) < #(BA).
Demostracin.
a) Existe un mapeo inyectivo g:A A A A
B del conjunto A al conjunto B , es decir, A B .
b) No existe biyeccin h: A A A A
B entre el conjunto A y el conjunto B es decir, A L B .
A 2A .
49
INTRODUCCIN AL ANLISIS MATEMTICO
Obsrvese que el teorema de cantor es vlido y para A = . En este caso #(2A) = 1, mientras
que #(A) = 0.
De acuerdo al teorema 26.1, si A y B son dos conjuntos no vacos, con #(A) = m y #(B) = n
en donde m, n ; entonces #(BA) = nm. Por eso, cuando A y B son conjuntos infinitos, la
cardinalidad del conjunto BA {:A B} de todos los mapeos :A B se denota tambin por
#(BA) nm en donde #(A) = m y #(B) = n. En particular, el conjunto potencia de un conjunto A se
denota por 2A y su cardinalidad #(2A) 2m en donde #(A) = m.
50 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Definicin 19.1. Un conjunto ordenado (A, ) se dice bien ordenado si cada subconjunto no
vaco de A tiene un primer elemento.
Ejemplo. El conjunto de los nmeros naturales, con el orden natural es un conjunto bien
ordenado.
Todo conjunto isomorfo a un conjunto bien ordenado es bien ordenado y todos los conjuntos
finitos ordenados que tienen la misma cardinalidad son isomorfos entre s. Si dos conjuntos bien
ordenados A y B son isomorfos entre s, se escribe o(A) = o(B).
Nmeros ordinales. El tipo ordinal de un conjunto bien ordenado se llama nmero ordinal.
El nmero ordinal del conjunto de los nmeros naturales, con el orden natural se denota
como w, es decir, w o().
Suma de Conjuntos Bien Ordenados. Sea s = {Si}iI una familia bien ordenada de
conjuntos bien ordenados disjuntos dos a dos. Para cualesquiera a, b ~
s existen i, j I tales que
a Si y b Sj. Defnase un orden en la unin ~
s = Si de la siguiente manera: a b en ~
s, si i j
iI
en I; y si i = j en I, entonces a b en ~
s, para a b en Si. En este caso decimos que ~
s es la suma
ordenada de la familia s de conjuntos bien ordenados y la denotamos como Si.
iI
51
INTRODUCCIN AL ANLISIS MATEMTICO
n
Se escribe S1 + S2 + + Sn en lugar de Si. En particular, si S S1 = S2 = = Sn,
i=1
Ejemplo. Los conjuntos = {1, 2, 3, } y A = {a} son conjuntos bien ordenados disjuntos.
Se tiene + A = {1, 2, 3, ; a} y A + = {a; 1, 2, 3, }. Se ve claro que A + B B + A.
Teorema 28.1. La suma Si de una familia bien ordenada s = {Si}iI de conjuntos bien
iI
conjuntos bien ordenados. Sea S' un subconjunto de S no vaco. Como el conjunto I es un conjunto
bien ordenado, entonces Sea Si0 el primer conjunto Si de s que contiene elementos del conjunto S'.
Como Si0 S' es un subconjunto no vaco del conjunto bien ordenado Si0 debe tener un primer
elemento. Este elemento evidentemente es primer elemento del conjunto ordenado S'.
1) a0 S
2) s (a) { x A x a } S a S.
Entonces S = A.
A excepcin del ltimo elemento, cualquier otro elemento de un conjunto bien ordenado
tiene un siguiente.
Esto significa que (s0) S. Sin embargo (s0) s0, lo que contradice que s0 sea el primer
elemento de S.
Esto es, g1 : A 1
A es un isomorfismo para el cual g (a) a, contradiciendo al
teorema 29. Anlogamente, si se supone (a) g(a) se llega tambin a una contradiccin.
Teorema 31.1. Sea A un conjunto bien ordenado. Entonces A no puede ser isomorfo a
ninguna de sus secciones iniciales.
Entonces (a) s(a) y, por lo tanto, (a) a, en contradiccin con el teorema 29.
Corolario. Dos secciones iniciales de un conjunto bien ordenado no pueden ser isomorfas.
Demostracin. Supongamos que s(a) y s (b) dos secciones iniciales de un conjunto bien
ordenado A y que s(a) s(b). Por el teorema 11 se tiene que a b s (a) s (b). Por lo tanto,
bien a b, bien b a. Pero a b s(a) s(b), lo que significara que s(a) es una seccin
inicial de s (b) y b a s (b) s (a), lo que significara que s (b) es una seccin inicial de s(a).
53
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 32.1. Sean A y B dos conjuntos bien ordenados y sea s(a). Entonces para cualquier
seccin inicial s(a) de A, no puede existir ms de una seccin inicial s(b) de B sea isomorfa a ella.
Demostracin. Sean s(a) > s(b1) y s(a) > s (b2), donde b1, b2 B. Como la relacin de
isomorfismo es una relacin de equivalencia, entonces s(b1) > s(b2), y por el corolario anterior, esto
sucede slo si b1 = b2.
Teorema 33.1. Sean A y B dos conjuntos bien ordenados en los cuales una seccin inicial
s(a) de A es isomorfa a una seccin inicial s(b) de B. Entonces cualquier seccin inicial s(a') de
s(a) es isomorfa a alguna seccin inicial s(b') de s(b), es decir, que si s(a) > s (b) y, entonces
" s(a') s(a) $ s(b') s (b) s (a') > s(b'), adems, si : s(a)
s (b) es un isomorfismo, entonces la
restriccin ' |s(a')
:s (a')
s(b') = (s (a')), tambin es un isomorfismo.
Demostracin. Sea (a') = b'. Como la restriccin ': s (a') s(b') a s (a') es inyectiva y
preserva el orden, se tiene s(a') > '(s (a')); y como : s(a)
s(b) es un isomorfismo, entonces
Teorema 34.1. Sean A y B dos conjuntos bien ordenados. Entonces A > B uno de los
conjuntos es isomorfo a una de las secciones iniciales del otro, es decir, dados dos conjuntos bien
ordenados, entonces
A > B A B B A.
Para cada x A1, por el teorema 34, cada seccin inicial s(x) de A es isomorfa a una seccin
inicial nica s (y) de B y viceversa. Significa que existe una biyeccin : A1
B1, definida como
(x) y, si s (x) > s(y).
Sea g: s(x)
s(y) = (s(x)), un isomorfismo cuya restriccin de a s(x1), segn el teorema
) = |s(x
35, es un isomorfismo y por el teorema 34, es nico, por lo que g|s(x ) = y1. Pero como g(x1)
1 1
54 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
4) A1 = s (a) A y B1 = s(b) B. En este caso, a A1, puesto que, por la definicin de A1,
s (a) es isomorfa a una seccin inicial s (b) de B. Pero a s(a) = A1 lo cual es una
contradiccin. Por lo tanto, este ltimo caso es imposible.
Si un conjunto bien ordenado A es isomorfo a una de las secciones iniciales estrictas s(b) de
un conjunto bien ordenado B, se dice que A es ms corto que B, que B es ms largo que A, y se
escribe A B bien, que el nmero ordinal o(A) de A es menor que el nmero ordinal o(B) de B, lo
que se escribe como o(A) < o(B).
Definicin 20.1. Sean a = o(A) y b = o(B) los nmeros ordinales de los conjuntos bien
ordenados A y B respectivamente, tales que
a < b.
a<b A B,
a>b B A,
a=b A > B,
ab A B, es decir, a < b a = b.
ab B A, es decir, a < b a > b.
Entonces, todo conjunto de nmeros ordinales queda bien ordenado por la relacin a b.
Teorema 35.1. Sea s(a) el conjunto de los nmeros ordinales menores que el nmero ordinal
a. Entonces a = o(s(a)).
55
INTRODUCCIN AL ANLISIS MATEMTICO
Sea b = o(B) s (a). Entonces b < a, por lo que B A, es decir, B es isomorfo a una
seccin inicial s(b) de A. Por lo tanto b = o(s(b)) y como dos secciones iniciales distintas no pueden
ser isomorfas entre s, entonces s (b) es la nica seccin inicial tal que b = o(s(b)).
El mapeo : s(a) S(A), definido como (b) s(b), si b = o(s(b)), es inyectivo. Adems, si
s(c) S(A), entonces s (c) A y, por lo tanto, g = o(s(c)) < o(A) = a, esto es, g s(a), es decir,
(g) s(b), por lo que es sobreyectivo.
Sean ahora b, g s (a) tales que g < b. Entonces g = o(s(c)) y b = o(s(b)), esto es
(g) s(c) y (b) s (b), con lo que s (c) es una seccin inicial de s(b), es decir, s(c) es un
subconjunto propio de s (b), lo que significa que s(c) s(b), es decir, que preserva el orden y, por
lo tanto, es un isomorfismo. Se tiene entonces, o(s(a)) = o(S(A)) = a.
ai o(
iI
{ A i {ai}}).
iI
1 + 1 + 1 + = w,
a1 + a2 + a3 + = ai = w
i
Demostracin. Por la definicin de seccin inicial, se tiene s(a) = s(a) {a}, por lo tanto
o(s(a)) = o(s(a)) + o({a}), es decir, o(s(a)) = o(s(a)) + 1.
0 o()
1 o({0})
2 o({0, 1})
3 o({0, 1, 2})
w o({0, 1, 2, }) = o()
ab o({A B})
56 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 37.1. Sea A un conjunto contable (finito infinito) bien ordenado de nmeros
ordinales de segunda clase, a1, a2, , an, , . El primer nmero ordinal a que mayor que todos los
elementos de A es tambin es un nmero ordinal de segunda clase. En otras palabras, ningn
subconjunto contable del conjunto 1 de todos los nmeros ordinales de primero y segundo orden es
confinal de 1.
s(a) = s(an).
n
En efecto, evidentemente se tiene que s(an) s(a). Sea ahora b s(a), por lo que a
n
es el primer nmero ordinal a que mayor que todos los an, y b < a, por lo cual existe
un am > b, es decir, b s(am).
De la igualdad, se sigue que s(a) es un conjunto contable. Pero, por el teorema 37, se
tiene a = o(s (a)).
# (1) 1
57
INTRODUCCIN AL ANLISIS MATEMTICO
El primer nmero ordinal mayor que todos los nmeros ordinales de segunda clase, se denota
por w1. Entonces w1 es el tipo ordinal del conjunto 1 = s(w1). Por su definicin, w1 es el primer
nmero ordinal transfinito no contable y cualquier nmero ordinal a < w1 ser contable (finito
infinito). De aqu se deduce que el conjunto 1 de todos los nmeros ordinales de primera y segunda
clase tiene el mismo tipo ordinal w1 y, por lo tanto # (1) = 1.
0 < m < 1 .
Demostracin. Por reduccin al absurdo. Supngase que existe tal nmero cardinal m. Como
m < 1, entonces existe un subconjunto A 1 tal que m = #(A). Pero por la desigualdad 0 < m,
el conjunto A no es un conjunto contable, por lo que tiene cardinalidad 1. Obtenemos una
contradiccin.
Ejemplo. Para los siguientes conjuntos bien ordenados A = {a} y B = {b1, b2, b3, }, se
tiene 1 = o(A) y w = o(B). La suma A + B (unin ordenada) de estos conjuntos es el conjunto bien
ordenado:
A + B = {a; b1, b2, b3, },
que es isomorfo al conjunto A, por lo que se tiene w = o(A), es decir, 1 + w = w. Sin embargo, la
suma B + A (unin ordenada) de estos conjuntos es el conjunto bien ordenado:
que no es isomorfo al conjunto A, por lo que se tiene w o(B + A). Sin embargo B es isomorfo a la
seccin inicial (estricta) s(a) de B + A, por lo que se tiene la desigualdad o(B + A) > w.
Por otra parte, como B + A = {b1, b2, b3, ; a} = s(a), entonces tenemos que
o(B + A) = w + 1 > w, es decir,
1 + w = w w + 1.
Anlogamente, si A = {a1, a2, a3, , an} y B = {b1, b2, b3, }, se puede comprobar que, en
general, para cualquier nmero natural n, se tiene
n + w = w w + n.
a + (b + g) = (a + b) + g.
0 + a = a + 0 = a.
A = {a1, a2} y B = {b1, b2, b3, }, se tiene 2 = o(A) y w = o(B). El producto A B de estos
conjuntos es el conjunto bien ordenado:
58 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
A B = {(a1, b1), (a2, b1), (a1, b2), (a2, b2), (a1, b3), (a2, b3), }, que es isomorfo al conjunto
A, por lo que se tiene w = o(A B), es decir, 2 w = w. Sin embargo, el producto B A de estos
conjuntos es el conjunto bien ordenado:
B A = {(b1, a1), (b2, a1), (b3, a1) , ; (b1, a2), (b2, a2), (b3, a2), }, que no es isomorfo al
conjunto A, por lo que se tiene w o(B A). Sin embargo B es isomorfo a la seccin inicial
(estricta) s ((b1, a2)) de B A, por lo que se tiene la desigualdad o(B A) > w, es decir,
o(B A) = w 2 > w, es decir, 2 w = w w 2.
n w = w w n.
a(bg) = (ab)g.
1 a = a 1 = a.
a (b + g) = ab + ag.
59
INTRODUCCIN AL ANLISIS MATEMTICO
0, 1, 2, 3, 4, 5,
Le siguen, el primer ordinal lmite w, y los dems nmeros ordinales de segunda clase, segn
su orden
w, w + 1, w + 2, w + 3, w + 4, w + 5,
w2, w2 + 1, w2 + 2, w2 + 3, w2 + 4, w2 + 5,
Despus
Prosiguiendo,
2 El conjunto A no tiene ltimo elemento. En este caso, el primer nmero ordinal b mayor
que cualquier a A, tiene la propiedad de que para cualquier nmero ordinal a' < b, el intervalo
] a, b [ del conjunto bien ordenado s(b) = s(b + 1) = s(b) +1, contiene a todos los elementos a de A
mayores que el nmero a' A. En este caso se dice que El conjunto bien ordenado A converge
tiende al nmero ordinal b, (es decir, b es un elemento lmite del conjunto A) y se escribe:
b = lim a.
aA
En particular, sea s(b) un conjunto de nmeros ordinales donde b es un nmero ordinal. Si
s(b) tiene un ltimo elemento a', entonces b = a' +1 y en este caso el intervalo ]a', a' +2[ tiene un
nico elemento b = a +1, llamado nmero ordinal de primer gnero ( nmero aislado). Como
60 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
ejemplos de nmero ordinal de primer gnero tenemos todos los nmeros naturales, todos los
nmeros w + 1, w + n, ; w2 + 1, w3 + w2 + w +1, etc.
Si s (b) no tiene ltimo elemento, el intervalo ] a', b [ en donde a' < b, contiene un conjunto
infinito de elementos de s(b) y el nmero b es llamado nmero ordinal de segundo gnero (
nmero lmite). Como ejemplos de nmero ordinal de primer gnero tenemos los nmeros w, w2,
; w n, wn, w2 + w, etc.
A cada nmero ordinal a < w1 le sigue el nmero a + 1 < w1, es decir, un nmero de primer
gnero. Significa que el conjunto 1 es confinal a su subconjunto de todos los nmeros de primer
gnero. Este ltimo subconjunto, que por el corolario anterior es no contable; tiene tipo ordinal w1
(se puede establecer un isomorfismo (a) a + 1, donde a < w1; entre el conjunto 1 y el
subconjunto de todos los nmeros de primer gnero). Por otra parte, cada nmero a < w1 tiene un
elemento lmite mayor que l (por ejemplo a + w). De esto se sigue que el conjunto 1 es confinal a
su subconjunto de todos los nmeros de segundo gnero, que, por el corolario anterior tampoco es
contable y tiene tipo ordinal w1
Teorema 38.1. Si a < w1 es un nmero lmite transfinito, entonces existe una sucesin
(creciente) de nmeros ordinales
a0, a1, a2,
a = lim an.
n
Entre estos nmeros no existe ltimo elemento, ya que a es un nmero de segundo gnero
(ntese que el orden en este ltimo conjunto, en general puede no ser el mismo que en s(a)).
Tmese a0 = b0. Como b0 no es el ltimo elemento del conjunto, entonces existe otro nmero mayor
que l. Sea este a1 = bi1 > b0 aqul que tenga el menor subndice i1 1. Se tiene
Como bi1 no es el ltimo elemento del conjunto, entonces existe otro nmero mayor que l.
Sea este a2 = bi2 > bi1 aqul que tenga el menor subndice i2 i1. Se tiene
Demostremos que a = lim an. Es claro que a es mayor que cualquier an. Falta entonces
n
demostrar que no existe ningn b s(a) que sea mayor que todos los bin. Como entre los an, figuran
61
INTRODUCCIN AL ANLISIS MATEMTICO
todos los elementos de s (a), entonces b es algn bk. y como el conjunto de nmeros naturales in
crece indefinidamente, existe un nico nmero n tal que in k < in+1. Entonces se tiene
bk < bin+1 = an+1. En caso contrario el nmero bin+1 hubiera sido elegido en forma incorrecta, pues
bin < ak y tendra un subndice k menor que el nmero bin+1.
Enumeremos todos los nmeros racionales del intervalo I = ]0, 1[ como sigue
Si dicho nmero permite dos representaciones en sistema binario, tomemos aquella que a
partir de alguna cifra, le siguen puras unidades.
1) Este conjunto no est bien ordenado (en orden creciente). En este caso hacemos
corresponder al nmero x el conjunto Iw1.
2) Este conjunto est bien ordenado y tiene el tipo ordinal a, en donde w a w1. En este
caso hacemos corresponder al nmero x el conjunto Ia.
De esta manera, cada nmero x I queda contenido en un nico conjunto Ia, en donde w
a w1. Por lo tanto los conjuntos Ia forman una particin de I. Demostremos que para cada
nmero de segunda clase a el conjunto Ia es no vaco.
En efecto, como existen conjuntos Ja de nmeros racionales que tienen tipo ordinal a
= o(Ja). Tmese alguno de estos conjuntos Ja y supongamos que sus elementos son los nmeros
racionales
1 1 1
El nmero real x = n1 + n2 + + nk + es un elemento del conjunto Ia.
2 2 2
Por el axioma de eleccin, podemos elegir un elemento xa de cada conjunto Ia. El conjunto
obtenido A = { xa} tiene cardinalidad 1.
62 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Sea C el conjunto de todos los conjuntos. Por lo tanto, puesto que C C, entonces 2C C.
Pero 2C C implica 2C C, lo cual contradice al teorema de Cantor.
Paradoja de Russell
Sea Z el conjunto de todos los conjuntos que no se contienen a s mismos como elementos,
es decir,
Z {AAA}
Se puede ver que cualquiera de los dos casos Z Z Z Z, siempre lleva a una
contradiccin.
Sea C el conjunto de todos los nmeros cardinales. Entonces para cada cardinal a C se
tiene un conjunto tal que a = #(Aa). Sea
A = a
C
A a.
Sea O el conjunto de todos los nmeros ordinales. Como el conjunto O es bien ordenado, sea
a = o(O). Para la seccin inicial s (a) se tiene que a = o(s (a)). Por lo tanto
Esto significa que O es isomorfo a una de sus secciones iniciales, lo que contradice al
teorema 33.
Sea A un conjunto dado y sea I otro conjunto cualquiera. Para cada i I considrense los
conjuntos
Ai A {i} = {(a, i), (b, i), }
Aj A {j} = {(ai, j), (aj, j), }
Formamos la familia de conjuntos {Ai}iI. Puede verse que {Ai}iI I. Sea A la familia de
todos los conjuntos equipotentes al conjunto A.
63
INTRODUCCIN AL ANLISIS MATEMTICO
Para el conjunto potencia 2A, definiendo como se vio la familia de conjuntos {Ai}i2A , ya que
Ai A para todo i I; se tiene
{Ai}i2A A
Sea A un conjunto bien ordenado dado y sea I otro conjunto cualquiera. Para cada i I
considrense los conjuntos
Ai A {i} = {(a, i), (b, i), }
Aj A {j} = {(ai, j), (aj, j), }
Estos conjuntos con el orden (a, i) (b, i) a b son bien ordenados e isomorfos al
conjunto A, es decir, Ai > A.
Para el conjunto potencia 2A, definiendo como se vio la familia de conjuntos {Ai}i2A , ya que
Ai > A para todo i I; se tiene
{Ai}i2A A
64 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
CAPTULO II
NMEROS REALES
1.2 AXIOMAS DE LOS NMEROS REALES.
En este pargrafo se enuncian las propiedades fundamentales de los nmeros reales, las
cuales se toman como axiomas y los nmeros reales se definen axiomticamente. Las propiedades
se dividen en tres grupos axiomas de campo, axiomas de orden y el axioma de continuidad.
Definicin 1.2. El conjunto se llama conjunto de los nmeros reales (y sus elementos se
llaman nmeros reales), si satisface los siguientes axiomas:
Axiomas de Campo.
4) Existencia de neutros
0 a a+0 =0+a =a
1 a a1=1a=a
5) Existencia de inversos
a a a + (a) = (a) + a = 0
a \{0} a-1 a a-1 = a-1 a = 1
Axiomas de Orden
a, b + a + b + y ab +
65
INTRODUCCIN AL ANLISIS MATEMTICO
a<b b + (a) +
Axioma de Continuidad
si a A y b B se tiene a < b +,
66 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Con relacin a los nmeros reales comnmente se utiliza una interpretacin geomtrica
tomando en cuenta que entre los puntos de una recta y el conjunto de los nmeros reales se
puede establecer un mapeo biyectivo que conserva la relacin de orden. En otras palabras, existe un
isomorfismo entre los puntos de una recta , (llamada recta real) y el conjunto de los nmeros
reales , lo cual permite utilizar las palabras nmero y punto como sinnimos. La recta se denota
entonces tambin como . La interpretacin geomtrica ser utilizada constantemente.
0 1
En ocasiones conviene extender el conjunto de los nmeros reales con dos elementos al
conjunto * = {+, } llamado conjunto extendido de los nmeros reales o recta real
extendida, en donde los elementos +, llamado ms infinito y , llamado menos infinito; son
definidos axiomticamente como sigue:
a
1) < a < +, < +,
2) a + (+) = + + a = a () = (+) a = +,
3) a + () = + a = a (+) = () a = ,
4) para a > 0, a (+) = (+) a = +, a () = () a = ,
5) para a < 0, a (+) = (+) a = , a () = () a = +,
0 0
6) 0 (+) = (+) 0 = 0 () = () 0 = 0, = = 0,
+
7) (+) + (+) = +, () + () = ,
8) (+)(+) = ()() = +, (+)() = ()(+) = .
67
INTRODUCCIN AL ANLISIS MATEMTICO
Los axiomas del pargrafo anterior sirven para demostrar las todas principales de los
nmeros reales, de las cuales se tiene entre las principales las siguientes:
Propiedades de Campo
1) Simplificacin
a) a+c=b+c a = b.
b) ac = bc y c 0 a = b.
De estas dos propiedades se deduce que los elementos 0 y 1 del axioma 4) son nicos.
3) b a = b + (a); y 0 a = a.
(a) = a ;
a (b c) = ab ac;
0 a = a 0 = 0.
Propiedades de Orden
1) a < b a = b b < a ;
68 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Transitividad:
Propiedades de Continuidad
B {y xyxA} (B {y yxxA})
c x c y x A y y B.
Sean c = sup A y c' = sup A dos extremos superiores del conjunto A. Se tiene que c' c
puesto que c' = sup A y c es un mayorante de A. Adems c' c puesto que tambin c = sup A y c'
es un mayorante de A. Pero entonces c = c' por la propiedad antisimtrica de la relacin de orden
de los nmeros reales.
a A y b B se tiene a < b.
69
INTRODUCCIN AL ANLISIS MATEMTICO
nA n + 1 A.
x Ai x Ai iI x + 1 Ai iI x + 1 Ai.
iI iI
Definicin 3.2. Se llama conjunto de los nmeros naturales a la interseccin de todos los
conjuntos inductivos Ai, que contienen a la unidad 1, es decir, que 1 Ai " Ai.
Entonces K = .
Demostracin. Sean m, n dos nmeros naturales cualesquiera. Hay que demostrar que
m + n y m n .
Sea K { n m + n " m } .
Demostracin. Sea K el conjunto de todos los n para los cuales la afirmacin del
lema se cumple. Hay que demostrar que K = .
n+1<x 1<x 1x x 1 y .
El nmero n +1 K as encontrado ser primer elemento del conjunto K, puesto que, como
se ha visto, x K n < x < n + 1.
Las propiedades de los nmeros naturales hasta aqu demostradas no estn ligadas con el
axioma de continuidad.
x n x < n.
y y
n x < n, esto es n x > y.
x
y
Teorema 5.2. Sea x, y, r r x < r + n n . Entonces x = r.
y
Demostracin. Supngase que r < x. Entonces n n (x r) > y, esto es, x > r + n, lo
que contradice la hiptesis.
72 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
La demostracin de 2) es anloga.
A+B{x+yxA y yB}
La demostracin de 2) es anloga.
73
INTRODUCCIN AL ANLISIS MATEMTICO
{ x m = n + x donde m, n }
Ntese que el conjunto de los nmeros enteros es la unin del conjunto de todos los
nmeros naturales, el {0} y el conjunto de todos los inversos aditivos de los nmeros naturales,
es decir, = {0} .
1
Demostracin. Sea n 0 < n < b a. Por el principio de Arqumedes, se puede
m1 m m
encontrar un entero m , tal que n a < n . Entonces n < b, pues si no fuera as, se tendra
m1 m 1 m m
n a < b < n , de donde se seguira n > b a. As pues r = n y a < n < b.
74 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Divisibilidad
Definicin 6.2. El nmero p se llama nmero primo, si tiene un nico divisor distinto
de 1, a saber el mismo p. Un nmero distinto de la unidad que no es primo se llama compuesto.
Divisibilidad por un nmero primo p > 2 y p 5. El mtodo es vlido para gran cantidad de
impares no terminados en 5.
n n
N es divisible por n N = 10kak = 10kak + a0 = nm donde m es un entero.
k=0 k=1
Hay que sumar a ambos miembros el mnimo mltiplo de p que termine en 9 y multiplicado
por a0
n
10 10k-1ak + s a0 = p (m + s'a0).
k=1
Tenemos que el miembro derecho de la igualdad es divisible por 10, pero p es primo por lo
que (m + s'a0) debe ser divisible por 10. Denotamos m + s'a0 = 10m1, y obtenemos
n
10k-1ak + s a0 = pm1
k=1
es decir, para que N sea divisible por p hay que multiplicar el ltimo dgito de N por s y sumarlo al
nmero formado por el resto de los dgitos. El resultado debe ser un mltiplo de p.
n
10 10k-1ak ra0 = n (m r'a0).
k=1
Tenemos que el miembro derecho de la igualdad es divisible por 10, pero n es primo por lo
que (m r'a0) debe ser divisible por 10. Denotamos m + s'a0 = 10m1, y obtenemos
75
INTRODUCCIN AL ANLISIS MATEMTICO
n
10k-1ak ra0 = pm1
k=1
es decir, para que N sea divisible por p hay que multiplicar el ltimo dgito de N por r y restarlo del
nmero formado por el resto de los dgitos. El resultado debe ser un mltiplo de p.
Divisibilidad por 3:
n n
N es divisible por 3 N = 10kak = 10kak + a0 = 3m donde m es un entero.
k=0 k=1
Tenemos que el miembro derecho de la igualdad es divisible por 10, pero 3 es primo por lo
que (m + 3a0) debe ser divisible por 10. Denotamos m + 3a0 = 10m1, y obtenemos
n
10k-1ak + a0 = 3m1
k=1
Repitiendo sucesivamente la misma operacin se obtiene
n
ak = 3mn, es decir, para que N sea divisible por 3 hay que sumar los dgitos de N y el
k=0
Divisibilidad por 7:
n n
N es divisible por 7 N = 10kak = 10kak + a0 = 7m donde m es un entero.
k=0 k=1
Hay que restar a ambos miembros el mnimo mltiplo de 7 que termine en 1 multiplicado
por a0, es decir, rstese a ambos miembros 21a0. Se tiene entonces
n n
10kak 20a0 = 7m 21a0, es decir, 10 10k-1ak 2 a0 = 7 (m 3a0).
k=1
k=1
Tenemos que el miembro derecho de la igualdad es divisible por 10, pero 7 es primo por lo
que (m 3a0) debe ser divisible por 10. Denotamos m 3a0 = 10m1, y obtenemos
n
10k-1ak 2 a0 = 7m1
k=1
es decir, para que N sea divisible por 7 hay que multiplicar el ltimo dgito de N por 2 y restarlo del
nmero formado por el resto de los dgitos. El resultado debe ser un mltiplo de 7.
76 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
{ x mx = n donde m, n m 0 }.
Ntese que el conjunto de los nmeros racionales es el conjunto de todos los nmeros de
m
la forma mn-1, en donde m, n . Se denota el producto m n-1 como .
n
Lema 8. Las operaciones de adicin y multiplicacin de nmeros reales son cerradas en el
conjunto de los nmeros racionales.
Definicin 8.2. Se llama conjunto de los nmeros irracionales ', al conjunto de los
nmeros reales que no son racionales.
' { x x }.
Teorema 8.2. Para todo nmero real r 0 existe un nico nmero real x 0 (llamado raz
cuadrada de r), tal que, xx x = r.
r
(r + 1) > r y r < r (r + 1) X y r + 1 Y, por lo que X y Y .
r+1
Como x, y + x < y x < y, entonces cualquier elemento de X es menor que
cualquier elemento de Y. Por el axioma de continuidad se tiene que c x c y x X y
r
y Y, por ejemplo, c = sup X. Ntese que c 1 + r > 0. Hay que demostrar que c = r.
c r
Si c > r, entonces pongamos b c 2c , por lo que 0 < b < c y
(c r) (c r)
b = c (c r) + 4c = r + 4c > r. Entonces se tiene que b > x " x X o, lo
que es equivalente b > x x X, lo que nos dice que b es un mayorante de X. Pero b < c = sup X.
Se ha llegado a una contradiccin.
Si c < r, entonces, como c > 0, se puede encontrar un nmero b < c, positivo, tal que
r c
b < 3c . Se tiene, por lo tanto
77
INTRODUCCIN AL ANLISIS MATEMTICO
Un ejemplo clsico nos muestra que ' . Este ejemplo es el nmero s = 2 , es decir, el
nmero s + tal que ss s = 2. Por el teorema anterior 2 tiene una raz cuadrada s = 2 .
Mostraremos que s no es un nmero racional.
m
Supngase lo contrario, es decir, que s = 2 = n , en donde m y n son primos relativos, es
decir (m, n) = 1. Entonces m = 2n, por lo que m es un nmero par, es decir, que existe un nmero
r tal que m = 2r. Substituyendo, se tiene que (2r) = 2n, esto es, 2r = n, por lo que n tambin
es un nmero par, lo que contradice que m y n sean primos relativos.
78 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Veamos un mtodo que permite de forma nica para cada nmero real, construir una
sucesin de aproximaciones racionales, que nos lleva al sistema posicional de escritura numrica.
Lema 9. Si se fija un nmero q > 1, entonces para cualquier nmero positivo x existe un
nico nmero entero m , tal que
qk x < qk+1
Como q > 1, entonces qn < qm para n < m, donde m, n , por lo cual se ha demostrado
entonces que para cualquier nmero c se puede encontrar un nmero natural n0 , tal que
por cada nmero natural n + 1 > n0, se tenga c < qn + 1.
De aqu se deduce que para cualquier > 0, se encuentra un nmero m0 , tal que para
1 1
todos los nmeros naturales m + 1 > m0, se tiene qm + 1 < . Para esto es suficiente hacer c , y
1
n0 m0, Entonces < qm + 1 cuando m + 1 > m0.
La unicidad del nmero k se sigue de el hecho que si m, n , por ejemplo m < n, entonces
m + 1 n y por lo cual, si q > 1, entonces qm+1 qn. De esta observacin queda visto que las
desigualdades qm x < qm+1 y qn x < qn+1, de las cuales se sigue qk x < qk+1, son incompatibles
para m n.
Definicin 9.2. El nmero k que satisface la desigualdad qk x < qk+1, se llama orden del
nmero x, con un nmero fijo q.
k qk x < k qk + qk
79
INTRODUCCIN AL ANLISIS MATEMTICO
Con este algoritmo, a cada nmero positivo x se le hace corresponder una sucesin de
nmeros kk1 ... kn del conjunto {0, 1, 2, , q 1}, o bien, una sucesin de nmeros
racionales rn , que tienen la forma
rn k qk + k1 qk1 + + kn qkn , (*)
80 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1
rr + qrk qnk x < rr + qr+k .
y para cualquier n > r, se tiene
1 1
0 < rr + qrk x < qnk .
Es necesario tambin sealar que, si entre los nmeros kr1 kn , hay aunque sea
1 1
uno menor que q 1, entonces, en lugar de rn = rr + rk nk , se puede escribir
q q
1 1 1 1
rn < rr + , es decir, rn + nk < rr + rk . (***)
qrk qnk q q
Al nmero x < 0 se le hace corresponder con signo menos, el smbolo del nmero positivo
x. Finalmente, al nmero 0 se le hace corresponder el smbolo 0.00.
De esta forma queda concluida la construccin del q-ario sistema posicional de escritura de
los nmeros reales. El sistema ms usado es el sistema decimal (q = 10), y en la tcnica, el sistema
binario (q = 2).
Otro mtodo de construccin de los nmeros reales a partir de los nmeros racionales,
pertenece al matemtico alemn R. Dedekind, quien hace corresponder a cada nmero real una
particin de (que llam cortadura) en dos conjuntos disjuntos A y B, tales que a b a A y
b B. Con este mtodo se utiliza el axioma de continuidad llamado Axioma de Dedekind.
81
INTRODUCCIN AL ANLISIS MATEMTICO
En particular, se tiene n! = n (n 1) (n 2) (n 3) 3 2 1.
n n!
Lema . Para n , se tiene (n k)! k!, en donde 0 k n.
k
Demostracin. Para 0 k n + 1, se tiene
n n n! n! n! n!
+ = (n k)!k! + (n (k 1))!(k 1)! = (n k)! k(k 1)! + (n k + 1) (n k)!(k 1)! =
k k 1
n! 1 1 n! n+1 (n + 1)! n + 1
= +
(n k)!(k 1)! k n k + 1 (n k)!(k 1)! (n k + 1)k (n (k 1))!(k 1)! k 1
= = = .
n n nk k n n!
(a + b) = a b , en donde (n k)! k!
k k
k=0
(a + b)n+1
=
k=0
n nk k
a b (a + b) =
k k=0
n n+1k k
a
k
b +
k=0
n nk k+1
a b =
k
n
n
= an+1 b0 +
0 k=1
n n n+1k k n 0 n+1
+ a
k k 1
b + a b =
n
n n+1
n + 1 n+1 0
=
0
a b +
k=1
n + 1 n+1 k k n + 1 0 n+1
a
k 1
b + a b =
n + 1 k=0
n + 1 n+1 k k
k
a b = (a + b)n+1.
Supongamos que la desigualdad de Bernoulli es valida para n . Hay que demostrar que
entonces es valida para n + 1.
1 + (n + 1) x 1 + (n + 1) x + x2 = (1 + n x) (1 + x) (1 + x)n (1 + x) = (1 + x)n+1.
82 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Valor absoluto. El mapeo abs: + {0} , llamado se llama valor absoluto o mdulo,
queda definido por la igualdad abs(x) | x |, en donde
x si x 0
| x |
x si x < 0
5) " a, b se tiene | a | | b | | a b | | a | + | b |.
| a | | b | = | a | | b | | a ( b ) | = | a + ( b ) | | a | + | b | = | a | + | b |.
83
INTRODUCCIN AL ANLISIS MATEMTICO
LA DESIGUALDAD DE CAUCHY-SCHWARZ
n n n
Si a1, , an y b1, , bn , entonces ( ak bk) ( ak) ( bk)
k=1 k=1 k=1
n n n n
Como 0 (akx bk) x se tiene 0 ak x 2 x akbk + bk.
k=1 k=1 k=1 k=1
n
ak bk
k=1 n n n n
Tomando x , donde ak 0, se obtiene ( ak bk) ( ak) ( bk).
n k=1 k=1 k=1 k=1
ak
k=1
84 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
1 1
Er1,r2() { x x < r r < x } = E 1 1 (0)
1 2 r1r2
A menos que se diga otra cosa, diremos simplemente vecindad en lugar de vecindad abierta.
BOLAS
Como casos particulares de entornos vecindades se tienen las bolas abiertas, es decir,
aquellas vecindades cuyos radios inferior y superior coinciden, o sea r1 = r2 r, y al que
simplemente llamaremos radio de la bola.
Bola abierta de un punto. Se llama bola abierta de centro a y radio r > 0 al conjunto
Er(a) ]a r, a + r[ = { x | x a | < r }
Denotaremos como B(a) a la familia de las bolas perforadas de un punto a .
1
Er() { x | x | > r }} = E 1(0)
r
Bola perforada de infinito. Los trminos bola de infinito y bola perforada de infinito los
tomaremos como sinnimos, por lo que E r() = Er(), y por lo tanto B()
= B().
Teorema 9.2. Una familia A de vecindades forma, con la inclusin inversa, un conjunto
dirigido (A, ) sin ltimo elemento.
Demostracin. Para Er1,r2 y Er3,r4 A hgase r < min(r1, r2, r3, r4). Entonces la vecindad Er
queda contenida propiamente en Er1,r2 Er3,r4, es decir,
Teorema 10.2. Sea una familia vecindades y sea B A la subfamilia de A que consiste
en bolas abiertas. Entonces B forma un subconjunto confinal de A .
Demostracin. Sea Er1,r2 A cualquier vecindad y sea r < min(r1, r2). Entonces la bola Er
que es un elemento de B, queda contenida propiamente en Er1,r2, es decir,
lo que significa que (B, ) es un subconjunto confinal de (A, ) y por lo tanto es tambin un
dirigido sin ltimo elemento.
Denotaremos como B(a+) a la familia de vecindades laterales por la derecha y como B(a)
a la familia de vecindades laterales por la izquierda del punto a .
86 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
se llama vecindad perforada por la derecha del punto a con radio r > 0.
El conjunto E r(a) E
r(a) ( a ) = ] a r, a [ = { x 0 < a x < r }
1 1
El conjunto Er(+) Er() [ 0, + [ = ] r , + [ = { x x > r }
1 1
El conjunto Er() Er() ] , 0] = ] , r [ = { x x < r }
se llama vecindad de menos infinito, con radio r > 0.
De las propiedades de las vecindades, se sigue que A(a) = A(b) si, y slo si a = b, donde
puede ser a, b bien a = b = . Igualmente, B(a) = B(b) si, y slo si a = b, donde puede ser
a, b bien a = b = .
87
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 11.2. Una familia B de vecindades laterales forma con la inclusin inversa, un
conjunto dirigido (B, ) sin ltimo elemento.
Demostracin. Sean Er1 y Er2 B dos vecindades laterales y sea r < min (r1, r2). Entonces
la vecindad Er queda contenida propiamente en Er1 y en Er2, es decir,
(B, ) @ (+, )
Cuando se trate de una vecindad cualquiera, sin importar el los radios; simplemente se dir
vecindad, y se escribir sin los subndice r1, r2 r. As los conjuntos anteriores se denotarn
correspondientemente por:
E(a), E(a), +), E(a
E(), E(a+), E(a), E(a ), E(+) y E().
Adems, cuando no sea necesario especificar una familia en especial, ya sea de vecindades o
vecindades perforadas de un punto o a , o vecindades de infinito; en lugar de A(a) de A()
se escribir A() simplemente A; Igualmente, en lugar de B(a), B(), B(a+), B(a), B(+)
B() se escribir B() simplemente B; y los elementos de cualquiera de estos conjuntos se
se denotarn por E() simplemente por E.
88 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
EA A E,
E A A E;
Todos los puntos de A son puntos adherentes de A. Pueden existir puntos adherentes de A
que no pertenezcan al conjunto A.
Los puntos frontera son puntos adherentes de A y pueden pertenecer, o no, al conjunto A.
Ntese que a es un punto de acumulacin de A , si E(a) A E(a).
Se puede comprobar que si cualquier entorno E(a) contiene al menos un elemento de A,
entonces cualquier entorno E(a) contiene un nmero infinito de elementos de A.
Definicin 14.2. Un conjunto A se llama abierto, si todos sus puntos son interiores, es
decir, si A = int(A).
Ejemplos.
1
1) Sea X = { n n }, entonces el punto 0 es un punto de acumulacin o
punto lmite de X.
1
Puede observarse que X es un subconjunto confinal de Y = { x x 1 }, y que
adems el punto 0 es tambin un punto de acumulacin o punto lmite de Y.
90 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
Definicin 19.2. Una sucesin X1, X2, , Xn, se llama sucesin de conjuntos encajados
de nmeros reales si
Si adems es conocido que para cualquier > 0, en la sucesin I1, I2, , In, se puede
encontrar un segmento In=[an, bn] cuya longitud | In | = bn an < entonces el punto c es
nico para todos los segmentos, es decir,
Demostracin. Antes que nada, ntese que para cualesquiera dos segmentos In=[an, bn] y
Im=[am, bm], se tiene que an bm, pues en caso contrario se tendra an bn < am bm, lo cual
significara que In y Im seran disjuntos y por lo tanto no estaran encajados.
Supngase ahora que existen dos puntos c1, c2 que pertenecen a todos los segmentos In.
Supngase que c1 < c2. entonces n an c1 < c2 bn, es decir, 0 < c2 c1 bn an n ,
lo cual muestra que la longitud | In | = bn an. de cada segmento In no puede ser menor que
= c2 c1 > 0. Por lo tanto c1 = c2.
Lema 11. En cualquier sistema = {U} de intervalos, que cubre a un segmento I0 = [a0, b0]
existe un subsistema finito que tambin cubre a dicho segmento.
91
INTRODUCCIN AL ANLISIS MATEMTICO
Se puede comprobar que si cualquier entorno U(p) contiene al menos un elemento de X,
entonces cualquier entorno U(p) contiene un nmero infinito de elementos de X.
Lema 12. Cualquier conjunto infinito, acotado X de nmeros reales tiene por lo menos
un punto de acumulacin.
92 chimpintrin@gmail.com
INTRODUCCIN AL ANLISIS MATEMTICO
CAPTULO III
LMITES
1.3 LMITE DE UN MAPEO BAJO UN CONJUNTO DIRIGIDO
Ntese que los elementos del conjunto A pueden ser de cualquier naturaleza. Adems la
definicin, como se puede ver, es tambin vlida para b = b = + b = .
Demostracin. Supongamos b1 b2. Tmense U(b1) y U(b2) tales que U(b1) U(b2) = .
Teorema 2.3. Sea : A un mapeo definido en un conjunto dirigido (A, ) sin ltimo
lim (x) = b, entonces lim (x) = b.
elemento y sea B A, un subconjunto confinal de A. Si (A, ) (B, )
93
INTRODUCCIN AL ANLISIS MATEMTICO
E1 BA, E2 BA E BA E E1 E2
Ntese que BA = { E A E B }.
x a,
E(a) Vecindades perforadas del punto a.
x a+, +)
E(a Vecindades laterales derechas perforadas del punto a.
x a, )
E(a Vecindades laterales izquierdas perforadas del punto a.
x , E() Vecindades de infinito.
x +, E(+) Vecindades de infinito.
x , E() Vecindades de infinito.
94
INTRODUCCIN AL ANLISIS MATEMTICO
Definicin 6.3. Sean , g: A dos mapeos reales y B una base de A . Se dice que
es o minscula de g en B, lo que se denota como =
B
o(g) o bien, como = o(g) en B, si existe
un mapeo infinitesimal : A tal que
= g en B.
Como (x) =B
(x) 1 en cualquier base B, entonces =
B
o(1). Es decir,
(x) = o(1) > 0 E B | (x) | < x E.
B
Adems =
B
o(g) > 0 E B | (E) | < | g(E) |
Teorema 3.3. Propiedades de o(1).
o(1) 1 1
= = o g .
g g
4) | | < |k|< k = o(1).
|k|
1
Y si k 0 se hace lo mismo con k en lugar de k para obtener k = o(1).
| | < | k | k < k = o(1).
Definicin 8.3. Sean , g: A dos mapeos reales A y B una base de A. Se dice que
es O mayscula (o cota superior asinttica) de g en B, lo que se denota como =
B
O(g) o bien,
como = O(g) en B, si existe un mapeo finalmente acotado : A tal que
= g en B.
Como (x) =B
(x) 1 en cualquier base B, entonces =
B
O(1). Es decir,
(x) = O(1) r 0, E B | (x) | r x E.
B
Adems =
B
O(g) c > 0, E B | (E) | < c | g(E) |.
Teorema 4.3. Propiedades de O(1).
O(1) 1 1
g = g = O g .
4) | | c1 | k | c1 | k | c k = O(1).
1
Y si k 0 se hace lo mismo con k en lugar de k para obtener k = O(1).
| | < c1 | k | c k < c k = O(1).
96
INTRODUCCIN AL ANLISIS MATEMTICO
4) Como = O(1) entonces existe un c1 + tal que | | < c1. Sea c c1 + | b |. Como
= o(1), entonces | | < > 0, en particular, para c1 = c | b |, se tiene
| + b | | | + | b | < + | b | < c por lo que b + = O(1), es decir, b + o(1) = O(1). En
particular b = 0 muestra que o(1) es tambin O(1).
97
INTRODUCCIN AL ANLISIS MATEMTICO
= g en B.
(x) =
B
1 + (x) > 0 E B |(x) 1| < x E.
B g = g = (1 + o(1)) g = g + o(g).
B B B
Adems, si g 0 en algn B B, entonces = g + o(g) = 1 + o(1) = .
B gB B
2) =
B
,
1
3) = .
B
98
INTRODUCCIN AL ANLISIS MATEMTICO
1) = B (teorema anterior).
B
1
g = g = g g = g .
2) B B B B B
g h h h.
= = =
B B B B
1 1 1 1
gg= = .
4) Como g 0 en algn E B, B B B g Bg
La cota ajustada asinttica (notacin ) tiene relacin con las cotas asintticas superior e
inferior (notacin ):
99
INTRODUCCIN AL ANLISIS MATEMTICO
Se tiene, lim
B
(x) b U(b) EB(E) U(b) lim
B
(x) b = 0 (x) b =
B
o(1).
bien, lim
B
(x) = b > 0 E B | (x) b | < x E.
Como se ha visto, una base B de un conjunto A forma una familia dirigida sin ltimo
elemento con la inclusin inversa (B, ). Adems, se puede ver tambin, que cualquier familia
A() de vecindades perforadas E() forma una base y, una subfamilia B() de A() formada con las
vecindades simtricas perforadas ( bolas perforadas) de A(), tambin forma una base; y como se
haba visto antes, forma un subconjunto confinal de A().
Teorema 6.3. Sea : A un mapeo definido en un conjunto A . Sea A() una familia
de vecindades perforadas E() y sea B() la subfamilia B() de A() formada con las vecindades
simtricas perforadas de A(). Entonces
lim (x) = b, entonces lim (x) = b se deduce del teorema 2.3, es decir,
Demostracin. Si (A , ) (B, )
para cualquier vecindad U(b) existe un entorno perforado Er1,r2() A() (pudiendo ser r1 r2), tal
que (x) U(b) x Er1,r2(). Como B() A() es una subfamilia confinal de A(), entonces
existe un elemento de B(), a saber, Er() en donde r < min {r1, r2}; tal que Er() Er1,r2(), y por lo
tanto (x) U(b) x Er() B(), lo que significa que lim (x) = b.
(B, )
100
INTRODUCCIN AL ANLISIS MATEMTICO
1) lim
B
( g)(x) = lim
B
(x) lim
B
g(x).
2) lim (g)(x) = lim (x) lim g(x).
B B B
lim (x)
3) lim
B
(x) = si b2 0.
B g lim g(x)
B
101
INTRODUCCIN AL ANLISIS MATEMTICO
1) Si limB
(g)(x) = b, entonces lim
B
(g)(x) = b; y
2) si g 0 en algn E B y lim (x) b, entonces lim
B g
(x) b.
B g
1) g b =
B
g b =
B
( g b ) =
B
(1 + o(1)) o(1) =
B
o(1), y
1 1
2) b = b = b= ( b)= (1 + o(1)) o(1) = o(1).
g B g B g B g B B
Observacin. Esta afirmacin se puede aplicar en en general para los mapeos adicin y
sustraccin, es decir, lim
B
( g )(x) = b, no implica lim
B
( g)(x) = b. Ejemplo, como se
ver adelante cuando x0, tan(x) x y sen(x) x, sin embargo
3) Si lim
B
(x) = b1 y lim
B
(x) = b2, entonces b1 = b2 (ver el teorema de unicidad).
Demostracin.
102
INTRODUCCIN AL ANLISIS MATEMTICO
Lmite de una Sucesin. El conjunto de los nmeros naturales que es un conjunto bien
ordenado y no acotado; y por lo tanto es un conjunto dirigido sin ltimo elemento. Una sucesin de
los elementos de X es un mapeo : X cuyo dominio de definicin es el conjunto (en el cual
(n) xn X), entonces, como caso particular, se tiene la siguiente definicin:
lim
Definicin 10.3. El nmero b se llama lmite de la sucesin {xn}, lo que se escribe (, )
(n) b; si para cada entorno E(b), existe un n0 tal que, xn E(b) cuando n > n0.
lim (n) b (lo que es ms usual escribir como lim xn b) si para cualquier
Es decir, (, ) n
vecindad E(b) de b, el conjunto { n xn E(b)} no es un subconjunto confinal de ( , ), lo
cual implica que todos los xn posteriores a xn0, es decir, una cantidad infinita, quedan contenidos en
E(b); y todos los xn anteriores a xn0, es decir, slo una cantidad finita, quedan fuera de E(b).
103
INTRODUCCIN AL ANLISIS MATEMTICO
Definicin 1.3 (Lmite bajo un Conjunto Dirigido). Sea (A, ) conjunto dirigido sin ltimo
elemento y sea : A B un mapeo definido en A. Un elemento b se llama lmite del
mapeo , bajo el conjunto (A, ), lo que se escribe ( lim
A, )
(x) = b, si para cualquier vecindad E(b)
~ ~
del punto b existe un elemento x A, tal que (x) E(b) para todo x A tal que x x.
~ ~
lim (x) = b E(b) $ x A (x) E(b) x x, x A
(A, )
Como una base B de un conjunto A forma una familia dirigida sin ltimo elemento con
la inclusin inversa, se tiene el siguiente caso particular:
Definicin 9.3 (Lmite bajo una Base). Sea : A B un mapeo definido en un conjunto
A , y sea B una base de A. Un elemento b se llama lmite del mapeo en la base B, lo que
se escribe lim
B
(x) = b, si para cualquier vecindad E(b) del punto b existe un elemento B de la base
B tal que (B) E(b), es decir,
La definiciones de lmite de un mapeo bajo un conjunto dirigido y bajo una base son muy
generales. La definicin de Cauchy, en cambio, requiere definiciones separadas para cada caso,
cuando: x a y x ; b y b = ; por lo que muchos de los teoremas exigen demostraciones
por separado. Las definiciones de Cauchy, para cuando b y x a, y cuando b y x ,
son:
lim (x) = b > 0 > 0 | (x) b | < siempre que 0 < | x a | < .
Ax a
De acuerdo a lo antes visto, esta definicin de Cauchy, se puede sustituir por la siguiente:
104
INTRODUCCIN AL ANLISIS MATEMTICO
lim (f s) (n)= lim f (s(n))= lim f (xn)= b, lo que significa que lim (x) = b segn
(, ) (, ) (, ) Ax a
Heine.
105
INTRODUCCIN AL ANLISIS MATEMTICO
Para demostrar la parte inversa del teorema, procedemos por reduccin al absurdo.
Suponiendo que b Axalim (x), entonces existe una vecindad U(b) tal que, para cualquier n , en
o 1 o
la vecindad En1 (a) de radio se encuentra un punto xn En1 (a) pero que (xn) U(b). Esto significa
n
que nlim x = a, pero que nlim
n
(xn) b.
9.3 SUCESIONES
Teorema 14.3. (Criterio de Cauchy). Una sucesin numrica es convergente si, y slo si es
fundamental.
Supongamos ahora que {xn} es una sucesin fundamental. Para cada r > 0 se encuentra un
r
n0 tal que | xm xk | < 3 . Si fijamos el nmero m = n0 se tiene que para todo k > n0
r r
xn0 3 < xn < xn0 + 3 ,
como slo existe un nmero finito de elementos de la sucesin {xn} no mayores que n0, se sigue
que la sucesin fundamental es acotada.
De las definiciones se deduce que an an+1 bn+1 bn. Para la sucesin de segmentos
encajados [an, bn] existe un punto en comn b que es comn a todos los segmentos.
2r r
que, para n > m, se tiene bn an 3 < 3 .
106
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 15.3. (Weierstrass). Una sucesin no decreciente {xn} es convergente si, y slo si
es acotada superiormente.
| xn b | < 1.
es decir, para n > n0, | xn | < 1 + | b |. Si se toma M > max{| x |, ..., | xn |, 1 +| b | }, se tiene que
n > n0, | xn | < M, es decir, la sucesin {xn} es acotada.
Supongamos ahora que {xn} es acotada superiormente. Entonces {xn} tiene un extremo
superior c sup
n {xn}. Por las propiedades del extremo superior,
Ejemplos de sucesiones:
n n+1
Si xn qn , entonces xn+1 = x para n .
nq n
Los elementos de la sucesin son positivos, por lo que la sucesin es acotada inferiormente,
y entonces tiene un lmite.
1
1 q x = 0, es decir, x = 0.
lim n lim n n = 1.
2) Como consecuencia del problema anterior se tiene (, ) n = 1, es decir, n
Para un > 0 N " n > N, se tiene 1 n < (1 + )n, es decir, " n > N, se tiene 1
n lim n
n < 1 + y, por lo tanto n n = 1.
lim n lim 1 1 1
Si ahora 0 < a < 1, entonces n a = n = = 1=1
n 1 lim
n 1
a n a
n n
4) lim q = 0, q , esto es, lim q = 0, q .
(, ) n! n n!
n
q | q |
n
Para q = 0, la afirmacin es evidente. Como n! = n! , entonces es suficiente que se
demuestre la afirmacin para q > 0.
q
Como en el caso anterior, se tiene que xn+1 = n + 1 xn. El conjunto de los nmeros naturales
q
no es acotado superiormente, por lo que N " n > N, se tiene 0 n + 1 < 1, lo que
significa que " n > N, se tiene xn+1 < xn, esto es, la sucesin {xn} es montona decreciente y
como todos los elementos de la sucesin son positivos, entonces tiene un lmite.
lim xn, y como xn+1 = q xn, se tiene entonces
Si x (, ) n+1
5) El nmero e.
lim 1 n
Demostremos la existencia del lmite (, ) 1 + n , demostrando primero que la sucesin
n+1
1
yn 1 + n es decreciente.
108
INTRODUCCIN AL ANLISIS MATEMTICO
n
1
1 + n 1 n
yn-1 n2n n 1 n 1 n
yn
= n+1 =
( n 2
1)
n + 1
= 1 + 2
n 1 n + 1 1 + n2 1 n + 1
1
1 + n
1 n
1 + n n + 1 = 1 y como los elementos de la sucesin son positivos, entonces el lmite
n+1
lim 1 + 1
n
n existe. Pero entonces
n+1
1
n 1 + n n+1 n+1
lim 1 + 1 = lim lim 1 + 1 lim 1 lim 1 + 1
n
n n 1
= n
n n 1
= n
n
.
1 + n 1 + n
Definicin 18.3.
n
lim 1 + 1 .
e n
n
109
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 16.3. Los lmites superior e inferior de una sucesin acotada son
correspondientemente el elemento maximal y minimal de sus lmites parciales.
n , al utilizar las propiedades del extremo superior, y por induccin, se pueden elegir
1 lim sn = lim sn 1 = s,
nmeros kn tales que sn n < xkn sn kn < kn+1. Como n n n
entonces, por las propiedades del lmite, se puede afirmar que n lim xk = s, con lo que se demuestra
n
que s es un lmite parcial de la sucesin { xn }. Este es el mximo lmite parcial, puesto que > 0
n sn < s + , esto es, xk sn = sup
k n xk < s + k n.
Corolario. Para cualquier sucesin, el lmite superior es el mximo de sus lmites parciales y
el lmite inferior es el mnimo de sus lmites parciales.
___
lim xk = lim xk = + ( = ), entonces lim xk = + ( = ).
Demostracin. Si k k k
___
lim xk = lim xk = b . Como in = inf xk xk sup xk = sn y lim sn = lim in = b,
Sea k k kn kn n n
entonces, por las propiedades del lmite lim xn = b .
n
$ lim
B
(x) = b " > 0 $ E B (, E) < .
110
INTRODUCCIN AL ANLISIS MATEMTICO
Los elementos de la base no son vacos, por lo que se puede construir una sucesin de
puntos xn En , n , de la que se obtiene una sucesin {(xn) }. Para > 0 se encuentra un
1
nmero n , tal que n < , y puesto que para m < k < n, se tiene, Ek Em En, resulta
1
|(xm) (xk) | (, En) < n < .
lo que significa que la sucesin {(xn) } es fundamental. Por el criterio de Cauchy, la sucesin
{(xn) } tiene un lmite b . Falta demostrar que lim
B
(x) = b.
Para un > 0 fijo, se encuentra un N1 tal que, para n > N1, se tiene |(xn) b | < 2 . Se
1
encuentra ahora un N2 tal que N < 2 , esto es, (, EN2 ) < 2 . Sea N max{N1, N2}, entonces
2
1
|(x) b | |(x) (xN) | + |(xN) b | < (, EN) + 2 < N + 2 < .
10.3 SERIES
Definicin 24.3. Sea { sn } una sucesin de nmeros reales (llamada sucesin real). Se
llama serie infinita, suma de la sucesin{ sn }, a la suma
S si s1 + s2 + + sn + .
i=1
Definicin 26.3. Sea { sn } una sucesin real. Se llama serie finita, suma parcial de la
sucesin de n trminos; a la suma
n
S n si s 1 + s2 + + sn
i=1
111
INTRODUCCIN AL ANLISIS MATEMTICO
entonces la serie S = si se llama divergente.
i=1
lim { sn } = 0.
S = sk converge (, )
k=1
1
Entonces serie geomtrica qn converge si, y slo si |q| < 1 y en este caso qn = 1 q .
n=0 n=0
112
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1
Ejemplo. La serie S = 1 + 2 + 3 + + n + , llamada serie armnica, es divergente.
La condicin necesaria para la convergencia de la serie S se satisfacen, pero esta condicin,
como se ver no es suficiente. Veamos la sucesin {Sn}, en donde
1 1 1
Sn = 1 + + ++ .
n
2 3
1 1 1 1 1 1
Como |S2n Sn| = + + + + > n = , entonces, por el criterio
n+1 n+2 n+3 n+n 2n 2
de Cauchy, se tiene que esta sucesin no tiene lmite.
|sk|.
k=1
Como |s1 + + sn| |s1| + + |sn|, entonces, por el criterio de Cauchy se deduce que si la
serie |sk| converge, entonces converge tambin la serie S = sk .
k=1 k=1
1 1 1 1 1
Ejemplo. En la serie S = 1 1 + 2 2 + + n n + , las sumas parciales son n 0
y adems la serie converge a 0.
1 1 1 1
La serie de los valores absolutos de sus trminos 1 + 1 + + + + + + diverge,
2 2 n n
lo que se sigue del criterio de Cauchy al igual que la serie armnica:
1 1 1 1 1 1 1
n + 1 + n + 1 + + n + n + n + n = 2 n + 1 + + n + n > 2 n n + n = 1.
Teorema 19.3. La serie S = s1 + + sn, cuyos trminos son no negativos converge si, y slo
si la sucesin de sus sumas parciales es acotada superiormente.
a) B es convergente A es convergente
b) A es divergente B es divergente.
Si An ak y Bn bk, entonces An = ak bk = Bn.
k=1 k=1 k=1 k=1
n n
1
n(n + 1) <
1
n 2 <
1
(n 1)n
, y como k=1
1
k(k + 1)
= k=1
1
1
k (k + 1)
= 1
1
(n + 1)
, se tiene
entonces que
n=1
1
n(n + 1) = 1 y, por lo tanto
n=1
1
n2 tambin es convergente.
Corolario (Criterio de Weierstrass). Supongamos que A = ak y B = bk son dos series
k=1 k=1
para las cuales N n > N, |an| bn. Entonces, bk converge ak converge.
k=1 k=1
B = bk < |ak| < A = ak < .
k=1 k=1 k=1
___
lim
Corolario (Criterio de Cauchy). Sea S = sk una serie y supongamos que n
n
|sn|.
k=1
b) > 1 S diverge;
114
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin. a) Si < 1, entonces se puede elegir q tal que < q < 1. Por la
n
definicin de lmite superior N n > N, |sn| q. De esta forma, cuando n > N, se tiene
|sn| qn y, como qk < cuando |q| < 1, entonces, por el criterio de Weierstrass, S = |sk| < .
k=1 k=1
tal que nk |snk| = . Si > 1, entonces K k > K, | snk | > 1 , por lo que la condicin
necesaria para la convergencia de la serie S no se satisface, por lo que S es divergente.
c) = 1, entonces existen series sk tanto convergentes, como divergentes.
k=1
___
lim
n 1 lim n 1 lim 1 2 = 1.
= 2 = n
n n2 n n n
n
___
lim
n 1 lim n 1 lim 1 = 1.
n n = n n = n
n
n
Corolario (Criterio de DLambert). Sea S = sk una serie y supongamos que
k=1
b) >1 S diverge;
Demostracin.
a) Si < 1, entonces se puede elegir q tal que < q < 1. Por las propiedades de los
sn+1
lmites N n > N, s q. Como una cantidad finita de trminos no influye en la
n
sn+1
convergencia de la serie, se puede considerar, sin perder generalidad, que s q n > N. Como
n
sn+1 sn s2 sn+1
s s s = s
n n1 1 1
115
INTRODUCCIN AL ANLISIS MATEMTICO
se obtiene |sn+1| = |s1| qn. Pero la serie |s1| qk es convergente, por lo que, por el criterio de
k=1
sn+1
b) Si > 1, entonces N n > N, s > 1, es decir |sn| < |sn+1|, por lo que la
n
condicin necesaria para la convergencia de la serie S no se satisface, por lo que S es divergente.
c) = 1, entonces existen series sk tanto convergentes, como divergentes.
k=1
La serie
n=1
1
n
1 1
2 es absolutamente convergente, puesto que 2 = 2 . Sin embargo,
n n
2 2 2
lim sn+1 = lim n 2 = lim n = lim 1 1 = 1.
n sn n (n +1) n n +1 n n +1
La serie
n=1
1
n
es divergente. Sin embargo,
Corolario (Cauchy). Sea S = sk una serie cuyos trminos forman una sucesin montona
k=1
k
s1 s2 0. Entonces la serie sk converge si, y solo si converge la serie 2 s2 k .
k=1 k=0
1
2 ( S'n s1 ) S2 s1 S'n,
n+1
son las sumas parciales de las series en estudio. Las sucesiones { Sk } y { S'n } son no decrecientes
y de las desigualdades se puede deducir que son al mismo tiempo acotadas o no acotadas
superiormente. Por lo tanto, por el criterio de convergencia de las con trminos no negativos se
puede concluir que las dos serie convergen juntas juntas divergen.
116
INTRODUCCIN AL ANLISIS MATEMTICO
1
2k k p = (2
1p k
)
(2 ) k=0
k=0
Esta ltima serie converge si, y slo si q = 21p < 1, es decir p > 1.
n n
1 n 1
Veamos ahora por la frmula del binomio se tiene 1 + = nk , en donde
n k
k=0
n n! 12 n n( n 1) ( n k + 1)
(n k)! k! = 12 (n k) 12 k = k! ,
k
por lo que
n n n
1 n( n 1) ( n k + 1) 1 1 2 k 1 1
1 + n = k! nk = 1 n 1 n 1 n k! , o sea,
k=0 k=0
n
1 1 n(n 1) 1 n( n 1) ( n k + 1) 1 1 1
1 + n = 1 + n n + 2! n2 + + k! n k + + n n1 + n =
n n
1 1 1 2 1 1 2 k 1 1 1
= 1 + 1 + 1 n 2! + 1 n 1 n 3! + + 1 n 1 n 1 n k! + + nn ,
en donde
1 2 k 1 1 1 2 k1
1 n 1 n 1 n k! < 1 n 1 n 1 n < 1 1 1.
117
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1
Cuando n la parte izquierda de esta desigualdad tiende a ek = 1 +
1! + 2! + + k! ,
1 1 1 1
y la parte derecha tiende a e. Por lo tanto ek = 1 + + + ++ e k .
1! 2! 3! k!
n
1 1 1 1 1
Pero de la desigualdad 1 + n < en = 1 + + 2! + 3! + + n! e, se deduce que
1!
lim en = 1 + 1 + 1 + 1 + + 1 = e.
cuando n , se tiene que (, ) 1! 2! 3! n!
1 1 1 1
e=1+ + + ++ +
1! 2! 3! n!
1 1 1 1 1
Veamos de otra forma que en = 1 + 1! + 2! + 3! + + n! < en+1 = en + (n+1)! .
1 1 1 1 1 1
Adems en 1 + 1! + 2! + + n! < 1 + 1 + 2 ++ 2n = 3 2n+1 < 3, es decir, la
sucesin { en } es creciente y acotada superiormente y por lo tanto el conjunto no vaco { en } tiene
n
1
lim 1 + .
un extremo superior e sup { en } = n n
1 1 1 1
La serie e = 1 + + + + + n! + es muy til para el clculo del nmero e.
1! 2! 3!
1 1 1 1 1 1
0 < e en = (n + 1)! + (n + 2)! + (n + 3)! + = (n + 1)! 1 + n + 2 + (n + 2)(n + 3) + <
1 1 1 1 1 n+2 1
< (n + 1)! 1 + n + 2 + (n + 2)2 + = (n + 1)!
1 n! (n + 1) n! n .
2<
1 (n + 2)
As, para que la discrepancia absoluta de aproximacin del nmero e mediante la serie finita
1
en, no sea mayor que, por ejemplo 10-3, es suficiente que n! n < 103. Esta condicin la satisface e6.
e = 2.71828182845904523536028747135266249775724709366995
[x]
1 1 [x] 1 [x] + 1
(g1)(x) = 1 + (g2)(x) = 1 + (g3)(x) = 1 +
[x] + 1 [x] [x]
cada una de las cuales tiene como lmite cuando x+ el nmero e.
1
[x]
1 x 1 [x] + 1
1 + x + 1 1 + x 1 + x
[ ] [ ]
y como el primer y el tercer miembros de las desigualdades tienden a e cuando , por el teorema se
x
1
lim 1 + = e.
deduce que x+
x
x
a1 a y an+1 an a.
1
Adems, a0 1 y an de donde se siguen
an
am mn m n m+n
m 1
1 1
, a = (a )m (a )1.
an = a , a a = a
n n y a n = n
Propiedades:
3) a1 = a;
4) ax1 ax2 = ax1 + x2 ;
5) ax1 < ax2 (x1 < x2), si a > 1;
6) ax1 > ax2 (x1 < x2), si 0 < a < 1;
7) El conjunto de valores de expa: + es el conjunto + de los nmeros reales
positivos.
Propiedades:
1) loga(a) = 1;
2) loga(x1x2) = loga(x1) + loga(x2);
3) loga(x1) < loga(x2) (x1 < x2), si a > 1;
4) loga(x1) > loga(x2) (x1 < x2), si 0 < a < 1.
5) El conjunto de valores de loga: + es el conjunto de los nmeros reales.
loga(y)
Se tiene entonces: x loga(ax) = x; y + a = y.
120
INTRODUCCIN AL ANLISIS MATEMTICO
(cos A, sen A)
B
sen A cos B
sen (A B)
(cos B, sen B)
cos (A B)
sen A sen B
AB
cos A sen B
cos A cos B
En una crcunferencia x2 + y2 = 1 de radio r = 1, para cualquier ngulo A, se definen los
mapeos seno y coseno de la siguiente manera: cos A = x y sen A = y.
Se sigue de la definicin, que sen 0 = 0, cos 0 = 1, sen 2 = 1, cos 2 = 0, sen = 0,
3 3
cos = 1, sen 2 = 1, cos 2 = 0.
121
INTRODUCCIN AL ANLISIS MATEMTICO
b a
y
A x c-x B
c
122
INTRODUCCIN AL ANLISIS MATEMTICO
B = bn se pueden realizar correspondientemente, de la siguiente manera:
n=0
n
A + B (an + bn) y A B (an-kbk)
n=0 n=0 k=0
n
en cada suma finita (an-kbk) de trminos de la forma an-kbk se toma un nmero n tal que el
k=0
n n n n
(an-kbk) |an-kbk| = |ak| |bk| |ak| |bk| de donde se deduce la
k=0 k=0 k=0 k=0 k=0 k=0
convergencia absoluta de la serie (an-kbk) y cuya suma queda unvocamente definida,
k=0
independientemente del orden de los sumandos, por lo que se puede obtener como el lmite del
producto de las sumas An = a1 + a2 + a3 + + an y Bn = b1 + b2 + b3 + + bn cuando n, ya
que, An Bn A B cuando n.
n
Se tiene entonces A B (an-kbk), es decir,
n=0 k=0
Definicin 32.3. Una serie es alternada si cualesquiera dos trminos consecutivos son de
signo contrario, es decir, A = (1)nan, en donde an > 0 n .
n=0
123
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 22.3. Si en una serie alternada A = (1)nan sus trminos son decrecientes en valor
n=0
A1 A3 A2n+ 1 A A2n A2 A0
x2n x2 x4 x6 x2n
cos(x)
n=0
(1)n (2n)! = 1
2!
+
4!
6!
+ + (1)n
(2n)!
+ .
(2n1)!
a2n+2
(2n+2)! a2 a2
lim 2n = lim lim
n a n (2n+1) (2n+2) =
n (2n+1) (2n+2)
=0<1
(2n)!
Por el criterio de DLambert estas series convergen absolutamente para cualquier valor x,
por lo que los mapeos quedan bien definidos.
124
INTRODUCCIN AL ANLISIS MATEMTICO
IDENTIDADES TRIGONOMTRICAS
De 1), 3), 5), 6) y 7), haciendo sen(3x) sen(2x + x) y cos(3x) cos(2x + x), se obtienen:
125
INTRODUCCIN AL ANLISIS MATEMTICO
1 1
15) sen(x') sen(y') = 2 cos2( x' + y') sen2( x' y').
1 1
16) cos(x') + cos(y') = 2 cos ( x' + y') cos ( x' y').
2 2
1 1
17) cos(x') cos(y') =2 sen ( x' + y') sen ( x' y').
2 2
Adems, de 6) y 7) se deduce:
x 1 cos(x)
18) sen( )=
2 2
x 1 + cos(x)
19) cos( ) =
2 2
sen(x) cos(x) 1 1
tan(x) cot(x) sen(x) sec(x) cos(x) y csc(x) sen(x) .
cos(x)
en donde k A {(2k+1) 2 k } y B {(2k+1) k }.
De estas definiciones se pueden obtener tambin identidades para estos nuevos mapeos.
126
INTRODUCCIN AL ANLISIS MATEMTICO
|sen(x)| |x|
Demostracin. Como los mapeos seno y coseno, por la identidad 7) estn acotados por la
unidad, entonces para |x| 1 y para |x| = 0 se cumple la desigualdad |sen(x)| |x|. Ahora bien, para
0 < |x| < 1, puesto que |sen(x)| = |sen(x)| = |sen(x)| y |x| = |x|; por lo que es suficiente demostrar
la desigualdad para 0 < x < 1.
Como 0 < x < 1, por el teorema de la sucesin de las sumas parciales de una serie alternada
S1 S3 S2n+ 1 sen(x) S2n S2 S0, se tiene,
x3 x3
x < sen(x) < x si x > 0 y x < sen(x) < x si x < 0; por lo que
3! 3!
x3
|sen(x)| |x| y |x sen(x)| 3!.
Se puede ver tambin que, para 0 < x < 1 y n, se tiene x2n1 > x2n+1, y por lo que
4n1
x x4n+1
(4n1)! > (4n+1)! , de donde, utilizando la definicin del mapeo seno, se obtiene la siguiente serie:
3 5 7 9 4n1
x x x x x x4n+1
sen(x) = x ,
3! 5! 7! 9! (4n1)! (4n+1)!
en donde todos los trminos, dentro de los parntesis, son positivos, por lo que sen(x) x.
sen(x) > 0
Demostracin. Como x > 0, por el teorema de la sucesin de las sumas parciales de la serie
x3
alternada, para n = 1, se tiene, sen(x) > x > 0. Por lo tanto sen(x) > 0.
3!
Se puede ver tambin que, para 0 < x < 1 y n,, se tiene x6n5 > x6n3, y por lo que
6n5
x x6n3
(6n5)! (6n3)! , de donde, utilizando la definicin del mapeo seno, se tiene
>
x3 5
x x
7 9
x x
11
x
6n5
x6n3
sen(x) = x 3! + 5! 7! + 9! 11! + + (6n5)! (6n3)! + ,
en donde todos los trminos son positivos, por lo que sen(x) > 0.
1
Corolario. x ] 0, 2 [ se cumple la desigualdad: cos(x) > 0
127
INTRODUCCIN AL ANLISIS MATEMTICO
CAPTULO IV
CONTINUIDAD DE LOS MAPEOS
1.4 DEFINICIN DE CONTINUIDAD
128
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1
|sen(x) sen(a)| = 2 cos2( x + a ) sen2( x a ) 2 1 2 | x a | = | x a |
1 1 1
puesto que cos ( x + a ) 1 y sen2( x a ) 2 | x a | . Entonces,
2
1 1 1
|cos(x) cos(a)| = 2 sen2( x + a ) sen2( x a ) 2 1 2 | x a | = | x a |
1 1 1
puesto que sen ( x + a ) 1 y sen ( x a ) | x a |. Entonces,
2 2 2
ax0 ( ax x0 1) ~ ax0 loga( ax x0 ) = ax0 (x x0) loga(a) = ax0 (x x0) = ax0 o(1) = o(1).
x x x0
loga(x) loga(x0) = logax = loga1 + x
0 0
x x0 x x0
por la equivalencia loga1 + x ~ x cuando x x0 = o(1), se tiene
0 0
x x0 x x0 o(1)
loga1 + x ~ x = x = o(1).
0 0 0
129
INTRODUCCIN AL ANLISIS MATEMTICO
Propiedades locales de los Mapeos Continuos. Propiedades locales de los mapeos continuos
se les llama a aquellas propiedades que definen el comportamiento de los mapeos en alguna
vecindad de un punto del dominio de definicin, por ejemplo, la continuidad de un mapeo en algn
punto del dominio de definicin es, evidentemente, una propiedad local de un mapeo.
(x) (a) = o(1) cuando x a = o(1) (x) = (a) + o(1) = O(1) cuando x a = o(1),
Teorema 2.4 (Conservacin del signo). Sea : A un mapeo continuo en un punto a del
conjunto A y supongamos que (a) 0. Entonces existe una vecindad E(a) del punto a en la que
(x) tiene el mismo signo que (a) para todo x E(a).
(x) (a) = o(1) cuando x a, > 0 E(a) (x) (a) < x E(a),
1 1
como es continua en a se tiene que, para = 2 (a) > 0 E(a) |(x) (a)| < 2 (a) x de la
vecindad E(a). Por las propiedades de valor absoluto se tiene
1 1 1 1 3
(x) (a) < 2 (a) (a) 2 (a) < (x) < (a) + 2 (a), o sea , 2 (a) < (x) < 2 (a),
es decir, 0 < (x) en todo punto x del entorno E(a) como se quera demostrar.
Estn definidos en algn entorno E(a) del punto a y son continuos en el punto a.
1) (g)(x) (g)(a) = o(1), cuando x a = o(1), lo que significa que el mapeo g est
definido en algn entorno E(a) del punto a y es continuo en el punto a.
2) (g)(x) (g)(a) = o(1), cuando x a = o(1), lo que significa que el mapeo g est
definido en algn entorno E(a) del punto a y es continuo en el punto a.
3) g (x) g (a) = o(1), cuando x a = o(1), lo que significa que el mapeo g est
definido en algn entorno E(a) del punto a y es continuo en el punto a.
Demostracin. En realidad, este teorema es una consecuencia del teorema del lmite da la
composicin de mapeos, en el cual
lo que significa que el mapeo g est definido en algn entorno EA(a) del punto a y es continuo
en el punto a A. Sin embargo, para aplicar el teorema del lmite del mapeo compuesto hace falta
verificar, que para cualquier vecindad EB(b) de la base BB(b) se encuentra un elemento EA(a) de la
base BA(a) tal que (EA(a)) EB(b).
En efecto, por induccin se puede comprobar que la suma y el producto de una cantidad
finita de mapeos continuos en algn punto, es un mapeo continuo en dicho punto.
131
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin. Sin perder generalidad, supongamos que (a) > 0 y (b) > 0.
a + b a+b
Divdase el segmento [a,b] I0 por la mitad. Si > 0, denotemos a0 a1 y b1;
2 2
a + b a+b
si, por el contrario < 0, entonces denotemos 2 a1 y b0 b1.
2
a1 + b1
Divdase ahora el segmento [a1 , b1] I1 por la mitad. Si 2 > 0, entonces denotemos
a1 + b1 a1 + b1 a1 + b1
a1 a2 y 2 b2; si, por el contrario 2 < 0, entonces denotemos 2 a2 y b1 b2,
y continuando as sucesivamente el proceso, se obtiene una sucesin de segmentos encajados
I0 I1 I2 In ,
ba
en los que |In | = 2n tiende a 0 cuando n y por construccin se tiene adems, que (an) > 0
y (bn) < 0 n .
Por el teorema de Cantor, existe un nico punto c In entero n 0. Hay que demostrar
que (c) = 0.
Supongamos que (c) > 0. Entonces, puesto que es continuo, por el teorema de
conservacin del signo $ Er(c) (x) > 0 x Er(c).
b a ba
r > 0 n In Er(c), por ejemplo n > log2 r ; de donde 2n < r.
Entonces (x) > 0 x In Er(c) y, por lo tanto (bk) > 0 k > n, lo cual no es posible,
puesto que (bn) < 0 n .
Suponer que (c) < 0, nos lleva a una contradiccin anloga, por lo que (c) = 0.
Se puede demostrar tambin suponiendo sin perder generalidad, que (a) > 0 y (b) > 0.
Sea S { x [a,b] (x) > 0 }. S no es vaco, puesto que (a) > 0, adems, es acotado
superiormente, puesto que (b) < 0 y b > x x [a,b]. Por el teorema del extremo superior existe
un punto c [a,b] c sup S.
Si (c) > 0, entonces $ Er(c) (x) > 0 x Er(c). Por lo tanto, (x) > 0 x Er(c+), lo
que contradice que c sup S.
Suponer que (c) < 0, nos lleva a una contradiccin anloga, por lo que (c) = 0.
132
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 6.4 de Darboux (Valor intermedio). Sea : [a, b] un mapeo continuo en el segmento
[a, b] y supongamos que (a) y (b) estn bien definidos. Entonces, toma todos los valores
comprendidos entre (a) y (b) por lo menos una vez, en el intervalo ]a, b[, es decir
C ([a, b]; ) y (a) y (b) estn bien definidos n entre (a) y (b) c ]a, b[ (c) = n.
g(a) g(b) = ((a) n) ((b) n) < 0, entonces, por el teorema de Bolzano Cauchy, existe
un c ]a, b[ g(c) = (c) n = 0.
Demostracin. Por reduccin al absurdo, supngase que el mapeo es acotado en [a, b].
Divdase el segmento [a, b] I0 por la mitad. Entonces el mapeo no es acotado por lo
a+b a+b
menos en uno de los segmentos [a, 2 ] [ 2 , b]. Dentese este por [a1 , b1] I1.
Divdase el segmento [a, b] I0 por la mitad. Entonces el mapeo no es acotado por lo
a1 + b1 a1 + b1
menos en uno de los segmentos [a1, 2 ] [ 2 , b1]. Dentese este por [a2 , b2] I2, y
continuando as sucesivamente el proceso, se obtiene una sucesin de segmentos encajados
I0 I1 I2 In ,
ba
en los que |In | = 2n tiende a 0 cuando n y por construccin no es acotado en cada uno de
los segmentos In n .
es continuo en el punto c [a, b], es decir, (x) (c) = o(1) cuando x c = o(1); entonces
es localmente acotado en c, es decir, que $ Er(c) (x) es acotado x Er(c).
b a ba
r > 0 n In Er(c), por ejemplo n > log2 r ; de donde 2n < r. Por lo tanto
(x) es acotado x In Er(c), lo cual no es posible, puesto que por construccin no es acotado
en cada uno de los segmentos In n .
Como C([a,b];), para cualquier punto x [a,b] I se encuentra un entorno tal que en
el conjunto EI(x) = I E(x) el mapeo es acotado. La familia {E(x)}xI forma una cubierta del
segmento [a,b] con intervalos abiertos, de la cual se puede obtener una subfamilia finita
{E(x1),E(x2),,E(xn)} que tambin cubre a [a, b]. En cada el conjunto EI(xk) = I E(xk) el mapeo
es acotado, es decir mk (x) Mk xEI(xk) donde mk, Mk, por lo que xI, se tiene
min{m1,m2, ,mn} (x) max{M1,M2,,Mn} lo que demuestra que el mapeo es acotado en
[a,b].
133
INTRODUCCIN AL ANLISIS MATEMTICO
Supongamos que (x) < M x [a,b]. Entonces el mapeo continuo g(x) M (x) > 0 no
1 1
se anula en todo el segmento I = [a,b]. Por lo tanto, el mapeo
g(x) = M (x) > 0 es un mapeo
1
continuo y por lo tanto, acotado en [a,b], es decir, que existe un C > 0 < C x [a,b].
g(x)
1 1
Pero entonces g(x) = M (x) > C , por lo cual (x) < M C x [a,b]. Lo que contradice que
sup (x) sea la menor cota superior para la cual (x) < M x[a,b]. Por lo tanto xM[a,b]
M = x[a;b]
(xM) = M.
C([a,b];) (: [a,b]
es estrictamente montono en el segmento [a,b])
Sea : [a,b]
un mapeo inyectivo. Por reduccin al absurdo, supongamos que hay tres
puntos x1 < x2 < x3 del segmento [a, b], tales que (x2) no se encuentra entre (x1) y (x3). Entonces
(x3) se encuentra entre (x1) y (x2), (x1) se encuentra entre (x2) y (x3). Sin perder
generalidad, supongamos que (x3) se encuentra entre (x1) y (x2). Por hiptesis es continuo en el
segmento [x1, x2], y por el teorema del valor intermedio contiene un punto x'3 tal que (x'3) = (x3).
Entonces x'3 < x3 y (x'3) = (x3), lo que contradice que sea inyectivo. El caso cuando (x1) se
encuentra entre (x2) y (x3) es anlogo.
134
INTRODUCCIN AL ANLISIS MATEMTICO
En este caso, diferentes puntos tienen diferentes imgenes, es decir, el mapeo es inyectivo.
Por lo tanto el mapeo es biyectivo, lo que significa que el mapeo inverso 1: B A dado por la
relacin x = 1(y) y = (x) queda bien definido. De esta manera se tiene
1(y2) 1(y1)
y1, y2 B y1 y2, se tiene que > 0,
y2 y1
y por lo menos uno de ellos no coincide con la imagen (a) del punto aA bajo el mapeo .
lim
xa+(x)
lim(x) (a).
(a+) xa
lim (|Aa)(x) =
lim (x) = (a).
Aaxa Axa
+
La demostracin es anloga, si a A es un punto de acumulacin de Aa {xAx > a}.
lim+(x) (a+) xa
1) Por lo menos uno de los mapeos xa lim(x) (a) est bien definido.
2) Por lo menos en una de las desigualdades (a) (x) (a+), si es creciente, tiene
lugar el signo de desigualdad estricta <.
3) Por lo menos en una de las desigualdades (a) (x) (a+), si es decreciente, tiene
lugar el signo de desigualdad estricta >.
Supongamos que a1 < a2 son dos diferentes puntos de discontinuidad del mapeo . Entonces,
como es creciente, se tiene
+ +
(a1) (a1) (a1) (a2) (a2) (a 2).
De aqu se sigue que los intervalos que corresponden a diferentes puntos de discontinuidad
de un mapeo montono son disjuntos.
136
INTRODUCCIN AL ANLISIS MATEMTICO
Ahora, si A = [a,b] y es un mapeo continuo en [a,b], por el teorema anterior, se sigue que el
conjunto B = (A) es un segmento cuyos extremos son los puntos (a) y (b).
137
INTRODUCCIN AL ANLISIS MATEMTICO
lim sen(x) = sen(a) y lim cos(x) = cos(a), lo significa que los mapeos
n, se tiene xa xa
sen: y cos: son continuos en cualquier punto a.
De la definicin se obtiene,
(x2n + x2n1a + + x a2n1+ a2n)
sen(x) sen(a) =
n=0
x2n+1 a2n+1
n
(1) (2n+1)! = (x a)
n=0
(1)n (2n+1)!
n=0
(1)n
(2n+1)! = n=0
(2n+1) a2n
n
(1) (2n+1)! = n=0
a2n
n
(1) (2n)! = O(1).
(x2n+1 + x2n a + + x a2n + a2n+1)
cos(x) cos(a)
n=0
x2n+2 a2n+2
(1)n+1 (2n+2)! (x a) n=0
(1)n
(2n + 2)!
n=0
(1)n(a
(2n+2)!
=
n=0
(1) n(2n+2) a2n+1
(2n+2)!
=
n=0
a2n+1
(1)n(2n+1)! = O(1).
cos(x) cos(a) = O(1) (x a) + o(x a) = O(1) o(1) + o(1) = o(1), lo significa que los
mapeos sen: y cos: son continuos en cualquier punto a .
138
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 25.3. Existe un mnimo nmero positivo c para el cual sen(c) = 0..
Demostracin. En los extremos del intervalo [2,4] el mapeo sen(x) toma los valores sen(2) y
sen(4). Como 2 > 0 y 4 > 0, por el teorema de la sucesin
23 8 2
sen(2) > 2 = 2 6 = 3 > 0 y, para n = 4,
3!
El mapeo sen: es continuo en todos sus puntos. Entonces, por el teorema de Bolzano
c[2, 4] tal que sen(c) = 0.
Definicin 33.3. Definimos como el menor nmero real positivo para el cual sen() = 0.
sen(x) > 0
Demostracin. Se deduce del hecho sen(x) > 0 para x]0,1[, de la continuidad del mapeo
sen: y de la definicin de .
Corolario. x]0,2 [ se cumple la desigualdad: cos(x) > 0
sen() = 2 sen 2 cos 2 > 0.
De estas definiciones se pueden obtener prcticamente todas las identidades que se ocupan
en el anlisis. Por ejemplo, de las identidades 7), 5) y 6) correspondientemente, se obtienen los
siguientes resultados:
sen() = 2 sen 2 cos 2 = 0, (pero sen2 0), es decir, cos2 = 0.
cos2 + sen 2 = 1, pero cos2 = 0, por lo que sen2 = 1, es decir, sen2 = 1.
cos() = cos 2 sen2 = 0 1 = 1.
Adems: sen( x) = sen(x), cos 2 x = cos(x);
139
INTRODUCCIN AL ANLISIS MATEMTICO
sen x = cos(x); cos x = sen(x);
2 2
sen + x = cos(x) y cos + x = sen(x).
2 2
2 3
De las identidades cos 2 x = sen(x) y la identidad 9), se tiene sen10 = cos10.
2 3
Por las identidades 5) y 9) sen10 = 2 sen cos y cos = 4cos 3cos ,
10 10 10 10 10
por lo que 2 sen10 cos10 = 4cos10 3cos10 y, puesto que cos10 0, se sigue entonces
2 sen10 = 4cos10 3 = 4 1 sen10 3 = 4 4 sen10 3 = 1 4 sen10, de donde
1 5
4 sen10 + 2 sen10 1 = 0. La solucin de esta ecuacin es sen10 =
4 . Considerando
1 2
que sen10 > 0, se tiene finalmente sen = ( 5 1) , de donde cos = 5 + 5.
10 4 10 4
1 2
De la identidad 6) se obtiene, cos = ( 5 + 1) y sen = 5 5.
5
4 5
4
140
INTRODUCCIN AL ANLISIS MATEMTICO
Teorema 25.3. El mapeo sen: es estrictamente en el intervalo [0, ].
2
Demostracin. El mapeo cos: es continuo y cos(x) > 0 x [0, 2 [ puesto que
cos(0) = 1 y es el menor nmero positivo para el que cos = 0. Sean x1, x2 [0, ] tales que
2 2
2
1 1 1
x2 x1 > 0. Entonces sen(x2) sen(x1) 2 cos (x2 + x1) sen (x2 x1), en donde cos (x2 + x1) > 0,
2 2 2
1 1
puesto que (x2 + x1) [ 0, [. Adems sen (x2 x1) > 0, por la desigualdad
2 2 2
3 3
1 1 x2 x1 1 1
0 < 2(x2 x1) 23 3! sen2( x2 x1) 2(x2 x1). Entonces sen(x2) sen(x1) > 0.
Demostracin.
x3 x5 x7 n x
2n+1
1) sen(x) = x 3! + 5! 7! + + (1) (2n+1)! + = sen(x) = x + o(x) cuando x 0;
x2 x4 x6 n x
2n
x2
2) cos(x) = 1 + + + (1) (2n)! + = 1 2 + o(x2) cuando x = o(1);
2! 4! 6!
sin(x) x + o(x)
3) tan(x) = cos(x) = = x + o(x) cuando x = o(1);
x2
1 2 + o(x2)
1
ln(1 + x) x
4) = ln(1 + x) = ln(e) + o(1) = 1 + o(1) cuando x = o(1);
x
1
1 axln(a) + bxln(b) + cxln(c) a b c a+b+c 1
ln (a b c ) a+b+c
~ ea+b+c x ~ e a b c
= (a b c ) .
m m
lim x a
2) xa x a donde a > 0 . Solucin
m x 1 x 1 x a 1
m
x a
m
m a1 m m a 1 m m a m ma (x a) m a
a a xa = a xa = a x a ~ ma .
xa = xa ~
1 x x
sen(x)cos(x) 1 sen(x)(1 cos(x)) x 1 1 2 2
tan(x) sen(x)
= = ~ ~
x x x cos(x) x cos(x) x cos(x)
1 1
~ 2 cos(x) ~ 2 .
142
INTRODUCCIN AL ANLISIS MATEMTICO
CAPTULO V
CLCULO DIFERENCIAL
1.5 DIFERENCIACIN DE MAPEOS
(x) (a)
(x) (a) = L (x a) + o(x a) = L + o(1),
xa
y, por el teorema de unicidad del lmite, se tiene que el nmero L queda definido unvocamente.
(x) (a)
= '(a) + o(1) cuando A x a = o(1).
xa
o sea,
(x) (a) = '(a) (x a) + o(x a) cuando x a, x A.
Sea A* { x A: A es diferenciable en x }
lim (x) (a), aA* en
El mapeo ': A' definido por la relacin ':a '(a) = Axa
xa
donde el mapeo : A es diferenciable, se llama derivada ( mapeo derivado) de .
lim (x + h) (x).
y el mapeo ': A' queda entonces definido por la igualdad '(x) h0
h
La diferencial L (x a) del mapeo se denota por d(a), es decir d(a) = '(a) (x a).
143
INTRODUCCIN AL ANLISIS MATEMTICO
en donde el lmite
lim (x) (a)
'(a+) .
[a; b]xa+ xa
en donde el lmite
lim (x) (a)
'(b) .
[a; b]xb xa
La notacin juega un papel muy importante en la matemtica. J.L. Lagrange denot el lmite
lim (x) (a) lim (x + h) (x) por d; y L. Arbogast
por '(a); W.G. Leibnitz denot el lmite
Axa xa h0 h dx
sugiri que la derivada de un mapeo fuera denotada como D. El smbolo D llamado operador de
derivacin, ha tenido gran aceptacin y sugiere que D es un nuevo mapeo obtenido por el operador
D. La diferencia (x) (a) W.G. Leibnitz la denot como (x) (a) y la llam incremento
del mapeo; y a la diferencia h x a la denot como x x a y la llam incremento del
argumento x, o simplemente incremento de x. En este caso, se tiene
144
INTRODUCCIN AL ANLISIS MATEMTICO
Esta ltima igualdad es equivalente a que lim (x) = c0. Si, en particular, el mapeo es
Axa
lim (x) = (a) y, por lo tanto c0 = (a).
continuo en el punto a, entonces Axa
lo que es una generalizacin del problema anterior, puesto que la igualdad (*) se puede escribir de la
forma
(x) = c0 + o((x a)0) cuando A x a = o(1).
(x) = c0 + c1(x a) + c2(x a)2 + + c n(x a)n + o((x a)n) cuando A x a = o(1). (***)
con la condicin de que todos los lmites existen; en caso contrario la condicin (***) no se satisface
y el problema no tiene solucin.
145
INTRODUCCIN AL ANLISIS MATEMTICO
representa la mejor aproximacin del mapeo en una vecindad del punto a, en el sentido de que
para cualquier otro mapeo (x) c0 + c1 (x a), se tiene la diferencia (x) (x) o(x a) cuando
x a = o(1), x A.
que pasa por el punto ( a, (a)) y tiene una pendiente (coeficiente angular) de '(a) y, puesto que esta
recta da la mejor aproximacin del mapeo grfica del mapeo y = (x) en una vecindad del punto (
a, (a)), se tiene la siguiente definicin:
La diferencia h = x a se puede ver como un vector, con punto inicial a, que define el valor
x = a + h. La familia de vectores de este tipo la denotaremos como T(a). En forma anloga,
denotaremos como T((a)) a la familia de vectores definidos por la diferencias (a) (x) (a).
Entonces de la definicin de diferencial, se sigue que el mapeo
146
INTRODUCCIN AL ANLISIS MATEMTICO
La diferencial d(a) h = '(a) h se define completamente por la derivada '(a) del mapeo
en el punto a, el cual se puede encontrar como el lmite
Mm
F=G r,
|r|
en donde r(t) = (x(t), y(t)) es el vector cuyo origen es M y extremo m, y |r| = x(t) + y(t) es la
longitud del vector r., es decir, la distancia entre los cuerpos M y m.
r(t) r(0) = v t,
en donde v = r(1) r(0) As, el desplazamiento r(t) r(0) resulta, en el caso ms simple, un mapeo
lineal de tiempo y que juega el papel de coeficiente de proporcionalidad entre el desplazamiento
r(t) r(0) y el tiempo t. Este vector v se llama vector de velocidad del movimiento uniforme. Se ve
que el movimiento es rectilneo por la ecuacin paramtrica de su trayectoria: r(t) = r(0) + v t, que
es la ecuacin de una recta.
La velocidad v(t) del cuerpo m en todos los instantes de tiempo cercanos a un momento t0
deber estar cercana al valor v(t0) que se desea determinar. En este caso, el movimiento en una
pequea vecindad poco se diferencia del movimiento uniforme con velocidad v(t0).
147
INTRODUCCIN AL ANLISIS MATEMTICO
En nuestro problema se tiene entonces v(t) v(t0) cuando el valor t es cercano al valor t0, es
decir, v(t) v(t0) = o(1) cuando t t0 = o(1). Entonces se deber tener
la diferencia r(t) r(t0) es equivalente a v(t0)(t t0), cuando t t0 = o(1), lo que es lo mismo,
Aqu es necesario notar que |v(t0) (t t0)| = |v(t0)| |t t0|, por lo que si v(t0) 0, entonces
|v(t0) (t t0)| es del mismo orden que |t t0|, y por esto o(v(t0)(t t0)) = o(t t0). Por lo tanto, se
puede escribir
lo que no cuando excluye el caso cuando v(t0) = 0. La relacin anterior es equivalente a la relacin
r(t) r(t0)
v(t0) = tlim
t0 t t0
,
lo que se puede aceptar como definicin de la velocidad instantnea del cuerpo en el momento t0.
Como el vector r(t) r(t0) tiene coordenadas (x(t) x(t0), y(t) y(t0)), entonces
En tal caso, si v(t0) 0, entonces r(t) r(t0) = v(t0)(t t0) es la ecuacin de la recta tangente
a la lnea de trayectoria del cuerpo en el punto (x(t0), y(t0)).
mr (t) = F(t)
x(t)
x (t) = GM
[x(t) + y(t)]
3
2
y(t)
y (t) = GM
[x(t) + y(t)]
3
2
148
INTRODUCCIN AL ANLISIS MATEMTICO
1) ( g)(x) ( g)(a) = (x) g(x) ((a) g(a)) = (x) (a) (g(x) g(a)) =
2) (g)(x) (g)(a) = (x) g(x) (a) g(a) = [(x) (a)] g(x) + (a) [g(x) g(a)] =
= [(a) g'(a) + g(a) '(a)] (x a) + o(x a) = (g' + g')(a) (x a) + o(x a), es decir,
(g)'(a) = (g' + g')(a);
(x) (a) 1
g(x) g(a) g(a) g(x) [(x) g(a) (a) g(x)] =
3) g (x) (a) = =
g
149
INTRODUCCIN AL ANLISIS MATEMTICO
1 g(x) g(a)
= g(a) g(a) g(x) {[(x) (a)] g(a) (a) [g(x) g(a)]} =
1 o(1)
= g(a) g(a) (g(a) + o(1)) {['(a)(x a) + o(x a)] g(a) (a) [g'(a)(x a) + o(x a)]} =
1
= + o(1) {['(a)g(a) (a)g'(a)] (x a) + o(x a)} =
g(a)
g(a) '(a) (a) g'(a) g' g'
= (x a) + o(x a) = (a)(x a) + o(x a), es decir,
g(a) g
' g' g'
(a) = (a).
g g
1) d( g) = d dg
2) del mapeo producto d(g) = dg + g d
g d dg
3) del mapeo cociente d g = en los puntos donde g 0.
g
150
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin.
= d(a) d g(a);
151
INTRODUCCIN AL ANLISIS MATEMTICO
y b = ('(a) + o(1)) (1(y) 1(b)), esto es, ('(a) + o(1))1 (y b) = (1(y) 1(b)).
1 1 1 1 1 1
(1(y) 1(b)) = 1
o(1) = '(a) 1 + o(1) = '(a) (1 + o(1)) = ('(a)) + o(1),
=
'(a) + o(1) '(a)
1+
'(a)
1 1 1
esto es, ( (y) (b)) = ('(a)) (y b) + o(y b) cuando y b = o(1), b B, es decir,
(1(b))' = ('(a))1.
152
INTRODUCCIN AL ANLISIS MATEMTICO
1
ln(x) ln(a) = (x a) + o(x a), cuando x a = o(1), x A +.
a
1 1
Esto significa que ln'(a) = a +, y por lo tanto se puede escribir ln'(x) = .
a x
Ejemplo. Por las propiedades de los mapeo logartmicos, loga: + , donde a +{1}
se tiene que, para cualquier mapeo diferenciable : A +, se tiene
g(x) (x)g(x).
g (g)'
(ln )' = (g(ln))', esto es, g = g(ln)' + (ln) g', de donde se obtiene
'
(g)' = g g + g (ln) g' = gg 1 ' + g (ln) g'.
153
INTRODUCCIN AL ANLISIS MATEMTICO
= g(a) (a)g(a) 1 ['(a)(x a) + o(x a)] + (a)g(a) (ln )(a) g'(a)(x a) + o(x a) =
= [ g(a) (a)g(a) 1 '(a) + (a)g(a) (ln )(a) g'(a) ] (x a) + o(x a), es decir, que cuando x a,
x A, se tiene
Esto significa que (g)'(a) = (g g 1 ' + g (ln ) g')(a) a A, y por lo tanto se puede
escribir como (g)'(x) = (g g 1 ' + g (ln ) g')(x), es decir
Demostracin. Se tiene, (k)' = kk1' + k (ln)k' = k k1', es decir, (k)' = kk1 '.
154
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1
sen(x) sen(a) = 2 cos (x + a) sen2(x a) = 2 [cos(a) + o(1)] [ 2(x a) + o(x a)] =
2
Esto significa que sen'(a) = cos(a) a , y por lo tanto se puede escribir sen'(x) = cos(x).
Aqu, los mapeos sen: A y cos: A son continuos en el punto a, por lo que,
1 1 1 1 1 1 1 1 1
cos2 (x + a) = cos2x cos2a sen 2x sen2a = (cos2a + o(1)) cos2a (sen2a + o(1)) sen2a =
1 1 1
= cos22a sen22a + o(1) = cos2(a + a) = cos(a) + o(1) cuando x a, x A.
Demostracin. Utilizando la identidad trigonomtrica cos() = sen( 2 ), se tiene,
(cos)' = (cos())' = (sen( 2 ))' = cos( 2 ) (2 )' = sen() (0 ') = (sen)'.
1 1 1
cos(x) cos(a) = 2 sen2(x + a) sen2(x a) = 2 [sen(a) + o(1)] [ 2(x a) + o(x a)] =
= sen(a) (x a) + o(x a), es decir,
Esto significa que cos'(a) = sen(a) a , y por lo tanto se puede escribir como
cos'(x) = sen(x).
(cos)' = (sen)'.
155
INTRODUCCIN AL ANLISIS MATEMTICO
n=0
(1)n
(2n+1)!
= n=0
(1)
(2n+1) a2n
n
(2n+1)!
= n=0
(1)n
a2n
(2n)!
= cos(a)
Por lo tanto, cuando (x a) = o(1), se tiene sen(x) sen(a) = cos(a) (x a) + o(x a).
Anlogamente,
x2n a2n x2 a2 x4 a4 x6 a6 x2n a2n
cos(x) cos(a) = n=1
(1)n (2n)!
2!
+
4!
6!
+ + (1)n
(2n)!
+ .
(x2n+1 + x2n a + + x a2n + a2n+1)
cos(x) cos(a)
n=0
x2n+2 a2n+2
(1)n+1 (2n+2)! (x a)
n=0
(1)n
(2n + 2)!
Por lo tanto, cuando (x a) = o(1), se tiene cos(x) cos(a) = sen(a) (x a) + o(x a).
De lo anterior, se tiene, sen'(x) = cos(x) y cos'(x) = sen(x). Por la diferenciacin del mapeo
compuesto, si f : es un mapeo diferenciable, (senf )' = (cosf ) f ' y (cosf )' = (senf )f '.
sen(x)
Como sen(x) = x + o(x) cuando x0. En particular, para x 0, se tiene x = 1 + o(1), es
lim sen(x) = 1.
decir, x0 x
x2
Anlogamente, se tiene cos(x) = 1 2! + o(x2), cuando x0.
Ejemplo. Para cualquier mapeo diferenciable : A B { y y 2 (2k+1), k },
en donde A , se tiene
(tan)' = (sec) '.
156
INTRODUCCIN AL ANLISIS MATEMTICO
(cot)' = (csc)'.
Ejemplo. Para cualquier mapeo diferenciable : A B { y y 2 (2k+1), k },
en donde A , se tiene
(sec)' = (tan) (sec)'.
157
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1 1
(sen1)'(y) = (sen'(x))1 = sen'(x) = cos(x) = = .
1 sen(x) 1 y
El signo del radical se eligi positivo, puesto que cos(x) > 0 cuando x ] 2 , [.
2
El signo del radical se eligi positivo, puesto que sen(x) > 0 cuando x ]0,[.
'
(cos1)' = .
1
Ejemplo. El mapeo tan: A , en donde A = ]2 , 2 [ ; es un mapeo biyectivo.
Mostremos que este mapeo es diferenciable en cualquier punto y = tan(x) .
Demostracin. Para x]2, 2 [, se tiene y' = tan'(x) = sec(x) 0 y, y = tan(x).
Aplicando el teorema del mapeo inverso, se tiene
1 1 1 1
(tan1)'(y) = (tan'(x))1 = tan'(x) = sec(x) = 1 + tan(x) = 1 + y.
158
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin. Para x ] 2 , 2 [, se tiene y' = sec'(x) = sec(x) tan(x) 0 y, y = sec(x) .
Aplicando el teorema del mapeo inverso, se tiene
1 1 1 1
(sec1)'(y) = (sec'(x))1 = sec'(x) = sec(x) tan(x) = = .
sec(x) sec(x) 1 y y 1
1 1 1 1
(csc1)'(y) = (csc'(x))1 = csc'(x) = csc(x) cot(x) = = .
csc(x) csc(x) 1 y y 1
159
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1
loga'(y) = (expa1(y))' = (expa'(x)) 1 = = = .
expa'(x) ax ln(a) y ln(a)
1 1
expa'(x) = (loga1(x))' = (loga'(y)) 1 = = = y ln(a) = ax ln(a).
loga'(y) 1
y ln(a)
En particular, para a = e, se tiene:
1 1 1
ln'(y) = (exp1(y))' = (exp'(x)) 1 = exp'(x) = ex = y ;
1 1 x
exp'(x) = (ln1(x))' = (ln'(y)) 1 = ln'(y) =
1 =y=e .
y
Definicin 17. Los mapeos senh: A , y cosh: A , donde A , se definen por las
respectivas igualdades
ex ex ex + ex
senh(x) 2 y cosh(x) 2
se llaman respectivamente seno hiperblico y coseno hiperblico.
Los mapeos senh y cosh son continuos, lo que se sigue inmediatamente de la definicin
anterior y de las propiedades del mapeo exp.
1) senh(x) = senh(x);
2) cosh(x) = cosh(x);
3) senh(x + y) = senh(x) cosh(y) + cosh(x) senh(y);
4) senh(x y) = senh(x) cosh(y) cosh(x) senh(y);
5) ch(x + y) = cosh(x) cosh(y) + senh(x) senh(y);
6) ch(x y) = cosh(x) cosh(y) senh(x) senh(y);
7) senh(2x) = 2 senh(x) cosh(y);
8) ch(2x) = senh(x) + cosh(x);
9) cosh(x) senh(x) = 1
1 1
10) senh(x) + senh(y) = 2 senh2(x + y) cosh2(x y);
1 1
11) sh(x) sh(y) = 2 cosh2(x + y) sh2(x y);
1 1
12) cosh(x) + cosh(y) = 2 cosh2(x + y) cosh2(x y);
1 1
13) cosh(x) + cosh(y) = 2 senh2(x + y) senh2(x y);
160
INTRODUCCIN AL ANLISIS MATEMTICO
x cosh(x) 1
14) senh = ;
2 2
x cosh(x) + 1
15) cosh = ;
2 2
Frmula de Moivre:
senh(x) cosh(x) 1 1
tanh(x) cosh(x) ; coth(x) senh(x) ; sech(x) cosh(x) ; y csch(x) senh(x) .
= (csch) '.
161
INTRODUCCIN AL ANLISIS MATEMTICO
El mapeo senh es biyectivo y estrictamente creciente por lo que tiene un mapeo inverso
definido en toda la recta real. El mapeo cosh estrictamente decreciente en y estrictamente
creciente en +; por lo que pueden definir dos mapeo inversos:
cosh1 1
: [ 1, [ [ , 1 [ y cosh + : [ 1, [ [ 0, [.
(senh1) = ln( + + 1 );
(cosh1 1
+ ) = ln( + 1 ); y ( cosh ) = ln( + 1 );
1 1 +
(tanh1) = 2 ln ;
1
1 + 1
(coth1) = ln
2 1
;
1 + 1 1 1
(sech1
+ ) = ln ; y ( sech1
) = ln ;
1 + 1 +
(csch1) = ln .
Para el clculo de las derivadas se utiliza el teorema de la derivada del mapeo inverso.
1 1 1 1
Ejemplo. (senh1)'(y) = (senh'(x))1 = senh'(x) = cosh(x) = = .
senh(x) + 1 y + 1
'
( senh1 )' = .
+ 1
162
INTRODUCCIN AL ANLISIS MATEMTICO
1 1 1 1
Ejemplo. (cosh1 1
+ )'(y) = (cosh'(x)) = =
cosh'(x) senh(x)
= = .
cosh(x) 1 y 1
1 1 1 1
Anlogamente (cosh1 1
)'(y) = (cosh'(x)) = = = = .
cosh'(x) senh(x) cosh(x) 1 y 1
' '
(cosh1
+ )' = y (cosh1
)' = .
1 1
1 1 1 1
Ejemplo. (tanh1)'(y) = (tanh'(x))1 = = = = .
tanh'(x) sech(x) 1 tanh(x) 1 y
'
(tanh1)' = .
1
1 1 1 1
Ejemplo. (coth1)'(y) = (coth'(x))1 =
coth'(x) csch(x) coth(x) 1 1 y .
= = =
'
(coth1)' = .
1
1 1 1
Ejemplo. (sech1)'(y) = (sech'(x))1 = = = =
sech'(x) sech(x) tanh(x) sech(x) 1 sech(x)
1
.
y 1 y
' '
(sech1
+ )' = y (sech1
)' = .
1 1
1 1 1
Ejemplo. (csch1)'(y) = (csch'(x))1 = csch'(x) = csch(x) coth(x) = =
csch(x) csc(x) + 1
1
.
y y + 1
'
(csch1)' = .
+ 1
163
INTRODUCCIN AL ANLISIS MATEMTICO
164
INTRODUCCIN AL ANLISIS MATEMTICO
Sean x=x(t) y y=y(t) dos mapeos diferenciables definidos en una vecindad U(t0) de un punto
t0. Supongamos que el mapeo x=x(t) tiene un inverso t=t(x) (significa que x'(t)0 en una
vecindad E(x0) del punto x0=x(t0)). Por la composicin de mapeos, la igualdad y=y(t) se puede ver
como un mapeo que implcitamente depende de x, es decir y=y(t)=y(t(x))=(yt)(x)=y(x). Es decir,
un mismo mapeo se ve como mapeo de diferentes argumentos. Por los teoremas de la diferenciacin
de la composicin de mapeos y del mapeo inverso, y puesto que y(x)=(yt)(x), se tiene
1 y'(t)
y'(x) = (yt)'(x) = y'(t(x)) t'(x) = y'(t) = .
x'(t) x'(t)
y(x) y(x0) = y'(x0) (x x0) + o(x x0) = (yt)'(x0) (x x0) + o(x x0))
1
y(x) y(x0) = y'(t(x0)) t'(x0) (x x0) + o(x x0) = y'(t0) x'(t ) (x x0) + o(x x0)
0
y'(t0) y(x) y(x0) y'(t0)
y(x) y(x0) = (x x0) + o(x x0), por lo que y'(x0) = lim = .
x'(t0) x x0 x x0 x'(t0)
(n) ((n1))'.
165
INTRODUCCIN AL ANLISIS MATEMTICO
Ejemplos.
' '' ''' (n)
sen(x) cos(x) sen(x) cos(x) sen x + n .
2
cos(x) sen(x) cos(x) cos(x) cos x + n .
2
x x x
expa(x) = a a ln(a) a ln(a) ax ln(a) x n
a ln (a).
exp(x) = ex ex ex ex ex.
n (nk) (k) n n!
(g)(n) = g , en donde (n k)! k!
k k
k=0
Demostracin. Por induccin, para n = 1, coincide con el teorema de la derivada del mapeo
producto. Supngase que los mapeos , g: A B , son n + 1 veces diferenciables en A y
n
n ' n n
(g) (n+1)
= ((g)(n)
)' =
k=0 n (nk) (k)
g
k
=
n (nk) (k+1)
g
k
+
n (nk+1) (k)
k
g =
k=0 k=0
n n+1
= (n+1) (0)
g +
k=1
n n (n+1k) (k)
+
k k 1
g + (0)g(n+1) =
k=0
n + 1 (n+1k) (k)
k
g .
2 n
Ejemplo. Sea P(x) = c0 + c1x + c2x + + cnx un polinomio de grado n, entonces
P(n+1)(x) = 0;
166
INTRODUCCIN AL ANLISIS MATEMTICO
Como c A es un punto de extremo interior de , entonces existe una vecindad EA(c) del
punto c en el conjunto A, tal que
Si fuera '(c) 0, entonces x EA(c), se tiene que ('(c) + o(1)) tendra, por el teorema de
conservacin del signo, el mismo signo que '(c) en alguna una vecindad EA(c) de c, y sin embargo
el signo de la diferencia (x c) puede ser positivo negativo en EA(c), ya que c A es un punto de
extremo interior de .
Por consiguiente, si '(c) 0, entonces (x) (c) tiene un signo constante, mientras que el
signo de ('(c) + o(1)) (x c) depende del signo de la diferencia x c. Esta contradiccin demuestra
la afirmacin del lema.
El lema de Fermat muestra la condicin necesaria para que un punto c sea un punto de
extremo interior. Ms delante se ver que dicha condicin no es suficiente.
167
INTRODUCCIN AL ANLISIS MATEMTICO
El teorema de Lagrange es llamado tambin teorema del valor medio teorema de los
incrementos finitos.
'(c) = 0.
168
INTRODUCCIN AL ANLISIS MATEMTICO
lim+'(x) = p, donde p +.
xa g'(x)
(x) '(x)
Entonces lim+ = lim+ = p.
xa g(x) xa g'(x)
Demostracin. Supongamos primero que p < +. Tmense dos nmeros fijos r, s tales que
'(x)
p < r < s. Como g'(x) p = o(1) cuando x a+, entonces existe un punto x0 ]a,b[, tal que
'(x)
x]a,x0 [ se tendr g'(x) < r < s. Como g'(x) 0 en ]a,b[ , g(x) es estrictamente montona en el
intervalo ]a,b], y pro lo tanto se puede elegir un punto x1]a,x0[ tal que g(x) 0 en]a,x1[.
Para dos puntos x, y]a,x1[, por el teorema de Cauchy, existe un punto c]a,x1[, para el cual
(x) (y)
de donde se tiene que g(x) g(y) < r, si x, y ] a, x1 [.
(x)
g(x) < s.
En ambos casos, existe un intervalo ]a,xs[, tal que en cualquier punto se tiene
Como s es un nmero arbitrario, tal que p < s, entonces para p = , la regla de L'Hpital
queda demostrada.
169
INTRODUCCIN AL ANLISIS MATEMTICO
Si, en cambio < p, entonces se pueden tomar dos nmeros fijos r, s tales que
p > r > s y de forma anloga, se encuentra un intervalo ] a, xs [, tal que en cualquiera de sus
(x)
puntos se tiene > s.
g(x)
Como s es un nmero arbitrario, tal que p > s, entonces para p = +, la regla de L'Hpital
queda demostrada.
Si, por ltimo, < p < +, entonces para cualquier par de nmeros r, r, tales que
r < p < r, se encuentra un intervalo ]a,xs[ ]a,xs[, tal que en cualquiera de sus puntos se tiene
(x) '(x)
r < < r, es decir, p = o(1) cuando x a+.
g(x) g'(x)
Demostracin. Sean x1, x2 ] a, b [ dos puntos del intervalo, tales que x1 < x2, es decir,
x2 x1 > 0. Entonces, de acuerdo al teorema de Lagrange, para el mapeo , existe un punto
c ]x1,x2[, para el cual
(x2) (x1) = '(c) (x2 x1).
Sean x1,x2]a,b[ dos puntos del intervalo, tales que x1 < x2, es decir, x2 x1 > 0. Entonces,
de acuerdo al teorema de Lagrange, para el mapeo , existe un punto c]x1,x2[, para el cual
170
INTRODUCCIN AL ANLISIS MATEMTICO
cuyas derivadas hasta el orden n en el punto a coinciden con las derivadas de orden correspondiente
P(k)
n (a) (k)(a)
del mapeo en el punto a, es decir, k! = k! para k = 0, 1, 2, ,n.
Ntese que, por las propiedades del polinomio Pn( x; a ); se tiene que
No hay ningn motivo para pensar que, la serie de Taylor de cualquier mapeo infinitamente
diferenciable debe convergir en alguna vecindad del punto a puesto que para cada sucesin de
nmeros c0, c1, , cn, se puede construir (aunque no sea nada fcil) un mapeo : A B tal
que (n)(a) = cn.
171
INTRODUCCIN AL ANLISIS MATEMTICO
Asimismo, no hay motivo alguno para pensar que si la serie de Taylor converge, entonces
debe convergir necesariamente al mapeo : A B del cual fue generada. La convergencia de
la serie de Taylor hacia el mapeo : A B del cual fue generada, tiene lugar solamente en los
llamados mapeos analticos.
Teorema 7.5 (Resto de Peano para la Frmula de Taylor). Sea rn: A B un mapeo n
veces diferenciable en un punto a A , esto significa adems, que rn es n 1 veces
diferenciable en alguna vecindad del punto aA.
Supongamos que el teorema es vlido para algn k , es decir, que bajo las condiciones
del teorema, se cumple la igualdad rn(x;a) = o((x a)k) cuando x a = o(1).
172
INTRODUCCIN AL ANLISIS MATEMTICO
Pn(x;a) = c0 + c1 (x a) + + cn (x a)n
que satisface la condicin (x) = Pn(x;a) + o((x a)n), cuando x a = o(1), x A, es decir,
Demostracin. De la condicin
por la unicidad del lmite se obtienen sucesivamente los coeficientes del polinomio
lim (x)
c0 = Axa
lim (x) c0
c1 = Axa
xa
y, puesto que (n+1)(x) es acotada en una vecindad del punto a, entonces la Frmula de Taylor con el
residuo de Peano, cuando x a = o(1), se puede escribir tambin como
173
INTRODUCCIN AL ANLISIS MATEMTICO
(n+1)(c)
Adems, para este punto c, se tiene r'n(x;c) = n! (x c)n.
(n+1)(c)
n! (x c)n
rn(x;x) rn(x;a) 0 rn(x;a) r'n(x; c)
= = =
(x) (a) (x) (a) '(c) '(c)
(n+1)(c)
rn(x; a) = (n + 1)! (x a)n+1.
Ntese que el mapeo (t) (t x)n+1 lleva al mismo resultado.
174
INTRODUCCIN AL ANLISIS MATEMTICO
(n+1)(c)
rn(x; a) = (x c)n (x a).
n!
Ntese que los mapeos (t) t, (t) x t y (t) t x llevan al mismo resultado.
Puesto que | c a | < | x a |, entonces existe un nmero , que en general depende de x; tal
que 0 < | | < 1 y c = a + ( x a ), por lo que el resto de Cauchy se puede escribir de la siguiente
manera:
(n+1)(c)
rn(x; a) = n! (1 )n (x a)n+1,
x x2 x3 x4 xn
e = exp(x) = 1 + x + 2! + 3! + 4! + + n! ;
ec
as como el residuo de Lagrange es rn( x; 0 ) = (n + 1)! xn+1, en donde | c | < | x |, por lo que
ec | x |n+1 | |
| rn(x; 0) | = (n + 1)! | x |n+1 < (n + 1)! e x .
| x |n+1 | x |
En cualquier caso, si con un x , cuando n , el valor (n + 1)! e tiende a cero, por
lo que, de la definicin de la suma de una serie, se tiene
x2 x3 x4 xn
ex = exp(x) = 1 + x + 2! + 3! + 4! + + n! + .
Ejemplos.
x 2 x2 3 x3 n xn
a = expa(x) = 1 + ln(a) x + ln (a) 2! + ln (a) 3! + + ln (a) n! + rn(x; 0);
x3 x5 x7 x2n+1
senh(x) = x + 3! + 5! + 7! + + (2n+1)! + rn( x; 0 );
x2 x4 x6 x2n
cosh(x) = 1 + 2! + 4! + 6! + + (2n)! + rn( x; 0 );
175
INTRODUCCIN AL ANLISIS MATEMTICO
x3 x5 x7 x2n+1
1) sen(x) = x 3! + 5! 7! + + (1)n (2n+1)! + o(x2n+1);
x2 x4 x6 x2n
2) cos(x) = 1 2! + 4! 6! + + (1)n (2n)! + o(x2n);
x2 x3 x4 n+1 x
n
3) ln(1 + x) = x
2 + 3 4 + +(1) + o(xn);
n
x2 xn
4) (1 + x) = 1 + x + ( 1) + + (( 1) ( n + 1)) + o(xn);
2! n!
x2 x3 x4 xn
5) e = exp(x) = 1 + x + 2! + 3! + 4! + + n! + o(xn);
x
x3 x5 x7 x2n+1
6) tan1(x) = x + + + (1)n + o(x2n+1);
3 5 7 2n+1
1 ln( 1 + x ) x3 x5 x7 x2n+1
7) 2 ln( 1 x ) = x + 3 + 5 + 7 + + 2n+1 + o(x2n+1);
1 1 1 1
= tan1(1) = 4 [ 1 3 + 5 7 + +(1)n 2n+1 + ].
176
INTRODUCCIN AL ANLISIS MATEMTICO
CAPTULO VI
GRAFICACIN DE MAPEOS
1.6 CONDICIONES DE MONOTONA DE LOS MAPEOS.
En este caso el signo de (x2) (x1) coincide con el signo de '(c); y, si '(x) = 0 x]a,b[,
entonces, puesto que '(c) = 0, se tiene que (x2) (x1) = 0, es decir, el mapeo es constante.
Adems, si x2 > x1, entonces el signo de (x2) (x1) coincide con el signo de '(c).
(x) (a)
Se tiene entonces, (x) (a) = ('(a) + o(1)) (x a), es decir,
x a = ('(a) + o(1)).
(x) (a)
Si es creciente, entonces x a 0 (tienen el mismo signo) y, por lo tanto '(a) 0.
(x) (a)
Si es decreciente, entonces
x a 0 (tienen signo contrario) y, por lo tanto '(a) 0
177
INTRODUCCIN AL ANLISIS MATEMTICO
Entonces se tiene
178
INTRODUCCIN AL ANLISIS MATEMTICO
(n)(a)
(x) (a) = n! (x a)n + o((x a)n), cuando x a = o(1), x A.
(n) (n)(a)
Como (a) 0, entonces x EA(c), se tiene que n! + o(1) tiene, por el teorema de
conservacin del signo, el mismo signo que (n)(a) en alguna una vecindad de a. Si n es impar,
entonces (x a)n cambia de signo, lo que implica el cambio de signo de la diferencia (x) (a), por
lo que no tendra extremo en el punto a. Si n es par, entonces (x a)n > 0 cuando x a, por lo que
existe alguna una vecindad de a en la cual el signo de la diferencia (x) (a) coincide con el signo
de (n)(a).
Si 0 < < 1, entonces ' cambia de positivo a negativo en el punto x = 1 y por lo tanto en el
punto x = 1 el mapeo tiene un mximo.
179
INTRODUCCIN AL ANLISIS MATEMTICO
p q a b
a b + , si p < 1
p q
a 1
Demostracin. Se deduce directamente del lema, haciendo x = y= .
b p
n n p n q
p q
ai bi a i b i , si p > 1, y
i =0
i =0 i =0
1 1
n n p n q
p q
ai bi a i b i , si p > 1 p 0.
i =0
i =0 i =0
Cuando p < 0, se supone que ai > 0, i = 1, 2, , n; y la igualdad se cumple slo cuando los
vectores (a1, a2, , an) y (b1, b2, , bn) son proporcionales.
p q
ai bi
Demostracin. En la primera desigualdad de Young hgase a = yb= ,
n n
p q
ai bi
i =0 i =0
p q
ai bi 1 ai 1 bi
de donde se obtiene 1 1 p +q ,
n n
n p n q p q
a p b q ai bi
i =0 i =0
i =0 i i =0 i
n 2 n
2
n
2
ai bi
i =0
ai bi .
i =0 i =0
n 2 n
2
n
2 1 n
ai bi =
i =0
ai bi 2 (ai bj bi aj)2 .
i =0 i =0 j =0
i =0
n p n p n p
(ai + bi)p p
a i p
+ b i , si p > 1, y
i =0
i =0 i =0
1 1 1
n p n p n p
(ai + bi)p p
a i p
+ b i , si p > 1 p 0.
i =0
i =0 i =0
n n n
(ai + bi)p ai (ai + bi)p1 + bi (ai + bi)p1 .
i =0 i =0 i =0
n p
n q n p
n q
a p (ai + bi)p p
+ b i (ai + bi)p .
i =0 i i =0 i =0
i =0
1
q
n
Las desigualdades obtenidas se dividen entre (ai + bi)p , y se obtienen los resultados
i =0
buscados.
Como en la desigualdad de Glder, la igualdad se cumple slo cuando los vectores (a1,
a2, , an) y (b1, b2, , bn) son proporcionales.
181
INTRODUCCIN AL ANLISIS MATEMTICO
x2 x x x1
1 = y 2 = ,
x2 x1 x2 x1
x2 x x x1
(x) x x (x1) + x x (x2).
2 1 2 1
lo que nos muestra otra forma de definir la concavidad de un mapeo en un intervalo ]a,b[.
En lo sucesivo, nos limitaremos slo a demostrar los teoremas para los mapeos cncavos
: ]a,b[ B , en un intervalo ]a,b[, puesto que todas las construcciones se hacen en forma
anloga para los mapeos convexos en el mismo intervalo (cambiando por ), como lo muestra el
siguiente teorema.
182
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin. Sea un mapeo cncavo (estrictamente cncavo) en ]a,b[, es decir, que para
cualesquiera dos puntos x1, x2, ]a,b[ y cualesquiera dos nmeros no negativos 1 0, 2 0, tales
que 1 + 2 = 1, se verifica la desigualdad
(x2) (x1)
'(x1) '(x2)
x2 x1
lo que nos muestra que la derivada ' del mapeo es montona en el intervalo ] a, b [.
Por el teorema de Lagrange, existen dos elementos c1 y c2 tales que x1 < c1 < x < c2 < x2 y,
para los cuales, se tiene
Recprocamente, para a < x1 < x < x2 < b, por el teorema de Lagrange, existen dos elementos
c1 y c2 tales que x1 < c1 < x < c2 < x2 y, para los cuales, se tiene
183
INTRODUCCIN AL ANLISIS MATEMTICO
(x) y = (x) (x0) '(x0) (x x0) = '(c) (x x0) '(x0) (x x0) = ('(c) '(x0)) (x x0).
(x2) (x1)
x2 x1 '(x0) para x < x0 , y
(x2) (x1)
x2 x1 '(x0)
para x > x0.
184
INTRODUCCIN AL ANLISIS MATEMTICO
Por lo tanto, al pasar por el punto de inflexin, cambia la grfica de cncava a convexa de
convexa a cncava, por lo que en el punto (x0, (x0)) de la grfica del mapeo pasa de un lado de la
tangente en dicho punto, al otro.
Si la segunda derivada ''(x) definida en la vecindad E(a) del punto a y tiene en E (a)
un signo y en E +(a) el signo contrario, entonces esto es suficiente para que la primera derivada '(x)
sea montona en E (a) y en E +(a) (creciente en un conjunto y decreciente en el otro), por lo cual,
por el teorema n (penltimo), la concavidad del mapeo cambia en el punto (a, (a)), es decir, el
mapeo tiene un punto de inflexin en a.
1 n1
(1 x1 + + n xn) = ( ( x1 + + x ) + n xn)
n1
1 n1
( (x1) + + (xn1)) + n (xn), en donde + n = 1, y
1 n1
( x1 + + x ) ]a,b[ . Por la hi ptesis de induccin, se tiene
n1
1 n1 1 n1
( x1 + + xn1) (x1) + + (xn1), y por lo tanto
1 n1
(1 x1 + + n xn) ( (x1) + (xn1)) + n (xn) 1(x1) + + n (xn).
185
INTRODUCCIN AL ANLISIS MATEMTICO
5.6 ASNTOTAS.
(x)
cn = lim
B x
n ,
(x) cn xn
cn-1 = lim
xn-1
B
,
c0 = lim
B
(x) (c1 x + + cn xn).
186
INTRODUCCIN AL ANLISIS MATEMTICO
(a,b) = (c,d) a = c y b = d.
Como cada una de las clases de equivalencia consta de un slo elemento, se denotarn estas
clases por (a,b) en lugar de =(a, b) y al conjunto producto lo denotaremos por , y lo
llamaremos conjunto de los nmeros complejos.
+:
((a,b),(c,d)) (a + c,b + d) (a,b) + (c,d) y
:
((a,b),(c,d)) (ac bd, ad + bc) (a, b) (c, d).
Para cada complejo z = (a,b) se define un nmero z = (a,b) (a,b) llamado
conjugado de z = (a,b).
a b
y el inverso multiplicativo de (a,b) es (a,b)1 a + b ; a + b .
187
INTRODUCCIN AL ANLISIS MATEMTICO
Axiomas de Orden
Ntese que z + z = (a,b) + (a,b) = (a,b) + (a,b) = (2a,0)
y que z z = (a,b) (a,b) = (a,b) (a,b) = (a,b)(a,b) = (a + b,0).
Adems (0,1) = (0,1) (0,1) = (1,0), lo que muestra que el nmero complejo (0,1) es una
solucin de la ecuacin (0,1) + (1,0) = (0,0), es decir, de la ecuacin z + 1 = 0.
Se define (0,1) como la unidad imaginaria y se le denota por (0,1) i, por lo que se tiene
en donde a Re(a,b) se llama parte real y b Im(a,b) se llama parte imaginaria del nmero
complejo (a,b).
a b
Se tiene entonces (a + bi)1 = a + b a + b i .
Los nmeros complejos tienen una representacin trigonomtrica
z = a + bi = r(cos() + isen()) y z = a + bi = a bi = r (cos() isen())
188
INTRODUCCIN AL ANLISIS MATEMTICO
La distancia entre dos puntos permite definir los entornos o, mejor dicho, los r-entornos de
un nmero z0 , como el conjunto Er(z0) = { z | z1 z2 | < r } que representa un crculo de
radio r (sin incluir a su circunferencia) y con centro en el punto z0 que, en analoga a los nmeros
reales, llamaremos bola de radio r y con centro en el punto z0 = (x0, y0).
En forma anloga a las sucesiones de nmeros reales, se tienen las siguientes definiciones:
lim (n) z0 (lo que es ms usual escribir como lim zn z0) si para cualquier
Es decir, (, ) n
vecindad E(z0) de z0, el conjunto { n zn E(z0)} no es un subconjunto confinal de (,), lo
cual implica que todos los zn posteriores a zn0, es decir, una cantidad infinita, quedan contenidos en
E(z0); y todos los zn anteriores a zn0, es decir, slo una cantidad finita, quedan fuera de E(z0).
max {| xn x0 |, | yn y0 |} | zn z0 | | xn x0 | + | yn y0 |
se ve que la sucesin de nmeros complejos {zn} converge si, y slo si las dos sucesiones de
nmeros reales {xn} y {yn} convergen al mismo tiempo.
189
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin. Se deduce directamente del criterio de Cauchy para series de nmeros reales.
Si la suma S de la serie zi z1 + z2 + + zn + , la entendemos (como en el caso de los
i=1
nmeros reales) como el lmite de la sucesin {Sn} de las sumas parciales de la sucesin {zn}
lim Sn = S, entonces se obtiene el Criterio de Cauchy para la convergencia
cuando n,es decir, n
de la serie S zi = z1 + z2 + + zn + .
i=1
Demostracin. Se deduce directamente del criterio de Cauchy para series de nmeros reales.
converge la serie zi | z1 | + | z2 | + + | zn | + .
i=1
Ejemplo 1.
x2 xn
1) La serie ex = exp(x) = 1 + x + 2! + + n! + ; es absolutamente convergente en toda
la recta real y por la ley de los exponentes, se tiene exp(x) exp(y) = ex eiy, de donde
x iy x
2
(yi)2 x
n
xn1 (yi)n1 (yi)n
e e = 1 + (x + yi) + 2! + xyi + 2! + + n! + (n1)! yi + + x (n1)! + n! + =
(x + yi)2 (x + yi)3 (x + yi)n
= 1 + (x + yi) + 2! + 3! + + n! + = ex+iy = exp(x + yi) = exp(z) = ez.
190
INTRODUCCIN AL ANLISIS MATEMTICO
x3 x5 x7 x2n+1
sen(x) = x 3! + 5! 7! + + (1)n (2n+1)! +
x2 x4 x6 x2n
y, cos(x) = 1 2! + 4! 6! + + (1)n (2n)! + ;
x2 xn
De la serie ex = exp(x) = 1 + x + + + + ; se obtiene
2! n!
y2 y3 (i y)n y2 y2n
eiy = exp(iy) = 1 + iy i ++ +=1 + + (1)n +
2! 3! n! 2! (2n)!
y3 y2n+1
+ i y 3! + + (1)n (2n+1)! + + = cos(y) + i sen(y), es decir
ex ex ex + ex
Por ejemplo, de las definiciones senh(x) 2 y cosh(x) 2 , se tiene
(ix)3 n (ix)
2n+1
x3 x2n+1
Adems, sen(ix) = ix 3! + + (1) (2n+1)! + = i x + 3! + + (2n+1)! + = i senh(x)
2 2n 2 2n
(ix) (ix) x x
y cos(ix) = 1 2! + + (1)n (2n)! + = 1 + 2! + + (2n)! + = cosh(x), es decir,
191
INTRODUCCIN AL ANLISIS MATEMTICO
1
R ___ .
lim n cn
n
En cualquier punto interior del crculo la serie converge absolutamente y en cualquier punto
exterior del crculo, la serie diverge.
192
INTRODUCCIN AL ANLISIS MATEMTICO
Demostracin. Como la serie S(z) = zi es convergente absolutamente, entonces para un
i=1
> 0 se encuentra un nmero N tal que | zn | < . Encontremos un nmero K tal que
n=N+1
entre los trminos de la suma Sk(z) = zn1 + zn2 + zn3 + + znk cuando k > K se encuentren todos los
trminos de la suma SN(z) = z1 + z2 + z3 + + zn. Si S(z) = zi, entonces, cuando k > K, se tiene
i=1
| S(z) Sk(z) | | SN(z) Sk(z) | | zn | + | zn | < 2. Por lo tanto, cuando k se tiene
n=N+1 n=N+1
x3 x5 x7 x2n+1
10) sen(x) = x 3!+ 5! 7! + + (1)n (2n+1)! + o(x2n+1);
x2 x4 x6 x2n
11) cos(x) = 1 2! + 4! 6! + + (1)n (2n)! + o(x2n);
193
INTRODUCCIN AL ANLISIS MATEMTICO
x2 x3 x4 n+1 x
n
n
12) ln( 1 + x ) = x 2 + 3 4 + +(1) n + o(x );
x2 xn
13) ( 1 + x ) = 1 + x + ( 1) 2!+ + (( 1) ( n + 1)) n! + o(xn);
x3 x5 x7 n x
2n+1
14) tan1(x) = x + + + (1) + o(x2n+1);
3 5 7 2n+1
1 ln( 1 + x ) x3 x5 x7 x2n+1
15) 2 ln( 1 x ) = x + 3 + 5 + 7 + + 2n+1 + o(x2n+1);
Definicin 10. Se define la n-upla ordenada (a1,a2,,an) de n elementos a1,a2, ,an como
el conjunto
(a1, a2,,an) {{a1},{a1,a2},,{a1,a2,,an}}
Como n denotaremos el conjunto de todas las n-uplas ordenadas (x1, x2, , xn), de
nmeros reales, es decir
Cada n-upla (x1, x2, , xn) la vamos a denotar por una letra x (x1, x2, , xn), misma que
llamaremos punto del conjunto n.
+ ((x1, x2, , xn), (y1, y2, , yn)) (x1 + y1, x2 + y2, , xn + yn)
194
INTRODUCCIN AL ANLISIS MATEMTICO
1) x, y n x = y (x, y) = 0.
2) x, y, z n (x, y) (x, z) + (y, z).
195
INTRODUCCIN AL ANLISIS MATEMTICO
G, se
Sea {G}I una familia cualquiera de conjuntos abiertos. Para cualquier punto x I
G,
encuentra un conjunto abierto G, en el cual existe una bola B(x) de x tal que xB(x) G I
G es un conjunto abierto.
lo que significa que I
n
n
Sea {Gi}i=1 una familia finita cualquiera de conjuntos abiertos. Cualquier punto x G,
i=1
pertenece a cada uno de los conjuntos abiertos Gi, en cada uno de los cuales existe una bola Bri(x) de
x tal que x Bri(x) Gi. Denotemos como r = min{r1, r2,, rn}, entonces Br(x) con lo que se tiene
n n n
x Br(x) Bri(x) G, lo que significa que G es un conjunto abierto.
i=1 i=1 i=1
No hay qu pensar que al calcular el lmite de un mapeo de varias variables se puede calcular
obteniendo el lmite sucesivo por cada una de sus coordenadas. Veamos el siguiente contra ejemplo:
2 2
x y
2 2; x2 + y2 = 0
Sea F(x,y) = x + y
0; x2 + y2 0
2 2 2
lim ( lim F(x,y)) = lim ( lim x2 y2 ) = lim ( x2 ) = 1, en cambio
x0 y0 x0 y0 x + y x0 x
2 2 2
lim ( lim F(x,y)) = lim ( lim x2 y2 ) = lim (y2 ) = 1.
y0 x0 y0 x0 x + y y0 y
196
INTRODUCCIN AL ANLISIS MATEMTICO
(x) = o(g(x)) en B.
en donde L(x): n n es un mapeo lineal con relacin a (x a), llamado diferencial del mapeo
: A en el punto a.
(x) (a)
(x) (a) = L(a) (x a) + o(x a) = L(a) + o(1),
xa
y, por el teorema de unicidad del lmite, se tiene que el nmero L(a) queda definido unvocamente.
(x) (a)
x a = '(a) + o(1) cuando A x a = o(1).
o sea,
(x) (a) = '(a) (x a) + o(x a) cuando x a, x A.
Sea A* { x A: A es diferenciable en x }
197
INTRODUCCIN AL ANLISIS MATEMTICO
(x) (a)
El mapeo ': A' definido por la relacin ':a '(a) = lim , aA* en
Axa xa
donde el mapeo : A es diferenciable, se llama derivada ( mapeo derivado) de .
lim (x + h) (x).
y el mapeo ': A' queda entonces definido por la igualdad '(x) h0 h
La diferencial L (x a) del mapeo se denota por d(a), es decir d(a) = '(a) (x a).
Si escribimos los vectores (x + h), (x), L(x)h, o(h) en forma de coordenadas, se tienen las
n igualdades equivalentes i(x + h) i(x) = Li(x)h + o(hi) i = 1,,n.
(x1 + h1, x2 + h2, , xn + hn) (x1, x2,, xn) = 1(x)h1 + 2(x)h2, + n(x)hn + o(h), en
donde L(x)h = 1(x)h1 + 2(x)h2, + n(x)hn, h 0.
(x1, x2, , xi1, xi + hi, xi+1, , xn1, xn) (x1, x2,, xn) = i(x)hi + o(hi), cuando hi 0.
lim (x1, x2, , xi1, xi + hi, xi+1, , xn1, xn) (x1, x2,, xn)
El lmite i(x) = hi0 hi se denota
(x)
como y se llama derivada parcial de con respecto a xi. Tambin se denota
xi
habitualmente como i(x), Di(x), x' i(x).
F(x, y) lim F(x;b) F(a;b) y F'y(x,b) F(x,y) = lim F(a;y) F(a;b) las
F'x(a,y) = Axa
x x=a xa x y=b Byb yb
derivadas parciales.
198
INTRODUCCIN AL ANLISIS MATEMTICO
1 F C(p)(U; ), en donde p 1,
2 F(x0,y0) = 0,
3 F'y(x0,y0) 0.
F(x,y) = 0 y = f(x)
Adems, el derivado del mapeo f en el punto x Ix, se puede obtener mediante la igualdad
F'x(x, f(x))
f '(x) = F' (x, f(x)).
y
Demostracin. Supongamos que F'y(x0,y0) > 0. Como F C(1)(U; ), entonces, por el teorema de
conservacin del signo, existe un entorno del punto (x0,y0) en donde F'y(x,y) > 0. Sin perder
generalidad podemos considerar que F'y(x,y) > 0 en todo el entorno U(x0,y0). Ms an, se puede (si
es necesario reducirlo) considerar que U(x0,y0) es una bola de radio r = 2 >0 con centro en el punto
(x0,y0) .
Como F'y(x,y) > 0 en U(x0,y0), entonces el mapeo F(x0,y) > 0 de y est definido y es
montono creciente en el segmento y0 y y0 + , por lo tanto,
Ix { x | x x0 | < }, Iy { y | y y0 | < },
Para cada x Ix fijemos el segmento vertical con extremos (x, y0 ) y (x, y0 + ). Veamos
en l F(x,y) como un mapeo de y, y obtenemos un mapeo continuo estrictamente creciente, que tiene
signos diferentes en los extremos del segmento. Por lo tanto, para x Ix se encuentra un nico punto
y(x) Iy que F(x, y(x)) = 0. Haciendo y(x) f(x), obtenemos la relacin F(x,y) = 0
y = f(x).
La ltima igualdad se deduce evidentemente de que cuando x = x0 se tiene un nico punto y(x0) Iy
tal que F(x0, y(x0)) = 0 y, puesto que F(x0, y0) = 0, por lo que f(x0) = y0.
199
INTRODUCCIN AL ANLISIS MATEMTICO
Fijando un tal que 0 < < , podemos repetir la demostracin de la existencia del mapeo
f(x) y encontrar un tal que 0 < < , para el cual, en el segmento bidimensional I Ix Iy, en
donde
Ix { x | x x0 | < }, Iy { y | y y0 | < },
Se cumple la relacin
( F(x,y) = 0 en I) ( y = f(x) para x Ix),
con un nuevo mapeo f : Ix Iy.
Pero Ix Ix, Iy Iy y I I, por lo que se sigue que f (x) f(x) para x Ix Ix, con lo que se
verifica que | f(x) f(x0) | = | f(x) y0 | < cuando | x x0 | < .
F'x(x, f(x))
Demostremos que f C(1)( Ix; Iy) y establezcamos que f '(x) = F' (x, f(x)).
y
Sea x tal que x + x Ix. Sea y = f(x) y y + y = f(x + x). Por el teorema del valor medio
para F(x, y) en I, se tiene
y F'x(x + x, y + y)
=
x F'y(x + x, y + y)
en donde y = f(x) y, por la continuidad del mapeo compuesto, se obtiene f C(1)( Ix; Iy).
[Fxx
'' + Fxy
'' f '(x)] F'y F'x[ Fxy
'' + Fyy'' f '(x)]
f ''(x) = 2
F''y
Se tiene entonces f C(2)( Ix; Iy), si F C(2)(U; ). Por induccin, puesto que en estas dos
igualdades el orden de diferenciacin de f en el lado derecho, es una unidad menor que el del lado
izquierdo, se tiene que f C(p)( Ix; Iy), si F C(p)(U; ).
200
INTRODUCCIN AL ANLISIS MATEMTICO
Apndice
(Unas notas Sobre las Cnicas)
La intencin es proporcionar unas notas breves sobre la recta y las secciones cnicas.
En particular, las ecuaciones de las tangentes a las cnicas en un punto dado se obtienen aqu sin el
uso del clculo diferencial como una alternativa.
LA RECTA
Es una de las figuras geomtricas ms simples. La ecuacin algebraica de la recta tambin
tiene una forma simple.
Sea B = (0, b) el punto de interseccin de la recta L con el eje y, y sea P = (x, y) cualquier
otro punto de la recta. Trcese una recta paralela al eje x que pase por el punto B, y otra recta
paralela al eje y que pase por el punto P; trcese tambin la recta x = 1. Sea m la pendiente
(coeficiente de inclinacin) de la recta L (ver fig. 4). Por la semejanza de los tringulos BSQ y BRP,
yb m
= 1 , o simplemente,
x
(1) y = mx + b.
En estos casos se obtiene una ecuacin de primer grado. Ms an, cualquier ecuacin de
primer grado de dos incgnitas x e y se puede llevar a la forma (2) o a la forma (3).
(4) Ax + By = C.
A C
Si B 0, se puede escribir la ecuacin (4) de la forma y = B x B, es decir, de la forma (2).
C
Cuando B = 0 la ecuacin (5) obtiene la forma Ax = C, o x = A, en decir, la forma (3).
De esta forma, cualquier recta se describe con una ecuacin de primer grado con incgnitas x
e y; y recprocamente, cualquier ecuacin de primer grado con dos incgnitas x e y, describe una
lnea recta.
201
INTRODUCCIN AL ANLISIS MATEMTICO
Ecuacin de la Recta que pasa por el punto P0(x0, y0) y es paralela al vector direccional V(a,
b).
V(a, b) PP0(x x0, y y0) (las respectivas coordenadas son proporcionales).
x x0 y y0
a = b = x x0 = a y y y0 = b
Ecuacin de la recta L que pasa por el punto P0(x0, y0) y es perpendicular al vector normal
N(A, B).
Ecuacin de la recta L que pasa por los puntos P1(x1, y1) y P2(x2, y2). La Recta que pasa por
los puntos P1(x1, y1) y P2(x2, y2) tiene la misma direccin que el vector P2P1(x2 x1, y2 y1) que une
los puntos P1(x1, y1) y P2(x2, y2).
P2P1(x2 x1, y2 y1) PP0(x x0, y y0) (las respectivas coordenadas son proporcionales).
x x1 y y1 y2 y1
= = o bien y y1 = (x x1).
x2 x1 y2 y1 x2 x1
A1 B1
0, de lo contrario las rectas son paralelas. Se tiene entonces
A2 B2
C1 B1 A1 C1
C2 B2 A2 C2
x= A y= A
1 B1 1 B1
A2 B2 A2 B2
x x0 y y0
= .
A B
202
INTRODUCCIN AL ANLISIS MATEMTICO
2 2
B x0 ABy0 AC ABx0 + A y0 BC
x = A2 + B2 , y = A2 + B2 punto de interseccin de estas dos rectas. El
cuadrado |P0L|2 de la distancia del punto de interseccin P(x, y) al punto un punto P0(x0, y0) es
(x x0)2 + (y y0)2.
2 2 2 2 2 2
2 B x0 ABy0 AC ABx0 + A y0 BC A x0 ABy0 AC
|P0L| = A2 + B2
x0 +
A2 + B2
y0 =
A2 + B2 +
2 2 2 2
ABx 0 B y0 BC A 2 B 2
(A2 + B2)2 ( 0
Ax + By0 + C) + 2
(A + B2)2 ( 0
A2 + B2 = Ax + By0 + C) =
2
(Ax0 + By0 + C) Ax0 + By0 + C
= 2 2 . Por lo tanto |P0L| =
A +B A2 + B2
SECCIONES CNICAS
Son curvas planas, que se obtienen por la interseccin de un cono recto circular con un plano
que no pasa por su vrtice (fig. 1). Desde el punto de vista de la geometra analtica la seccin
cnica representa el lugar geomtrico de los puntos que satisfacen una ecuacin de segundo grado.
Con exclusin de los casos de singularidad, las secciones cnicas son elipses, hiprbolas o
parbolas.
(fig. 1)
203
INTRODUCCIN AL ANLISIS MATEMTICO
LA CIRCUNFERENCIA
Es el lugar geomtrico formado por los puntos P(x, y) cuya distancia a un punto C(h, k)
llamado centro es una constante r llamada radio.
|PC| = r |PC|2 = r2 (x h)2 + (y k)2 = r2
(x1 h) (x h) + (y1 k) (y k) = r2
(x2 h) (x h) + (y2 k) (y k) = r2
1 y1 k x1 h 1
r2 r2
1 y2 k x2 h 1
Interseccin de dos tangentes xh= x h y k yk= x h y k
1 1 1 1
x2 h y2 k x2 h y2 k
Ecuacin de la recta que pasa por el centro y el punto de interseccin a las tangentes (x1 h)
(x h) + (y1 k) (y k) = r2 y (x2 h) (x h) + (y2 k) (y k) = r2.
(x2 x1, y2 y1) es el vector que une los puntos de tangencia P1(x1, y1) y P2(x2, y2).
204
INTRODUCCIN AL ANLISIS MATEMTICO
LA PARBOLA
Es el lugar geomtrico formado por los puntos P(x, y) que son equidistantes a un punto
F(h + c, k) y a una recta D: y = h c llamada directriz.
(y k)2 = 4c(x h)
205
INTRODUCCIN AL ANLISIS MATEMTICO
Los mtodos de la geometra analtica permiten, sin mucha dificultad, investigar las
propiedades de las curvas que por lo general no se estudian en los manuales comunes de planimetra.
Supngase dado el punto F con coordenadas (0,1) y la recta y = 1 (fig. 5). El conjunto de
los puntos P = (x, y), para los cuales la distancia PF es igual a la distancia PD, se llama parbola. La
recta y = 1 se llama directriz de la parbola y el punto F se llama foco de a parbola. Para aclarar
cmo se distribuyen los puntos P, que satisfacen la ecuacin PF = PD, se escribe con ayuda de
coordenadas:
1
La abscisa del punto medio M de la cuerda P1P2 es igual a 2( x1 + x2) = 2m. El resultado
depende nicamente de m y no depende de b.
Si despus se observa el conjunto de rectas paralelas con una misma pendiente m, pero con
diferentes valores b, entonces los puntos medios de todas las cuerdas de esta parbola, forman la
recta vertical x = 2m.
Fig. 5. PARBOLA, simtrica con relacin al eje y, que intersecta a la familia de rectas con pendiente m. Los puntos medios de
todas las cuerdas, formadas por estas rectas y la parbola, estn sobre la recta x = 2m. La tangente T a la parbola la intersecta en un
nico punto P con coordenadas (2m, m2).
206
INTRODUCCIN AL ANLISIS MATEMTICO
Entre todas estas rectas hay una recta especial T, que intersecta a la parbola en un nico
punto. Esta recta se llama tangente. El punto de tangencia P tiene coordenadas (2m, m2).
x1 h y1 k 1 x1 h
2c
x2 h y2 k 1 x2 h
xh= yk=
1 y1 k 1 y1 k
1 y2 k 1 y2 k
Sean P1(x1, y1) y P2(x2, y2) los puntos de interseccin de la secante con la parbola
(y k)2 = 4c(x h). Entonces
x x1 y y1
(y1 k)2 = 4c(x1 h) (y2 k)2 = 4c(x2 h) y = .
x2 x1 y2 y1
4c(x x1) y y1
De la recta = y y
4c[(x2 h) (x1 h)] 2 1
4c(x x1)
(y2 + y1 2k) = y y1
4c(x x1) = (y2 + y1 2k) (y y1)
Ecuacin de la secante que intersecta a la parbola en los puntos P1(x1, y1) y P2(x2, y2).
Cuando P1(x1, y1) = P2(x2, y2) = P0(x0, y0) se obtiene la ecuacin de la tangente a la parbola en el
punto P0(x0, y0):
(y0 k) (y k) = 2c(x0 h + x h)
207
INTRODUCCIN AL ANLISIS MATEMTICO
LA ELIPSE Y LA HIPRBOLA
Es el lugar geomtrico formado por los puntos P(x, y) cuya suma (diferencia) de sus
distancias a dos puntos F1(h c, k) y F2(h + c, k) es igual, en valor absoluto, a la distancia entre los
vrtices V1(h a, k) y V2(h + a, k), que es igual a 2a.
||PF1| |PF2| | = 2a
|PF1|2 2|PF1| |PF2| + |PF2|2 = 4a2
|PF1|2 + |PF2|2 4a2 = 2|PF1| |PF2|
(|PF1|2 + |PF2|2)2 8a2 (|PF1|2 + |PF2|2) + 16a4 = 4|PF1|2|PF2|2
(|PF1|2 |PF2|2)2 = 8a2 (|PF1|2 + |PF2|2) 16a4
2
{[(x (h c))2 + (y k)2] [(x (h + c))2 + (y k)2]} = 8a2
{[(x (h c))2 + (y k)2] + [(x (h + c))2 + (y k)2]} 16a4
2
{[((x h) + c)2 + (y k)2] [((x h) c)2 + (y k)2]} = 8a2
{[((x h) + c)2 + (y k)2] + [((x h) c)2 + (y k)2]} 16a4
{4c(x h)}2 = 8a2 {2(x h)2 + 2c2 + 2(y k)2} 16a4
16c2(x h)2 = 16a2 {(x h)2 + c2 + (y k)2} 16a4
(x0 h) (x h) (y0 k) (y k)
Tangente =1
a2 b2
Sean P1(x1, y1) y P2(x2, y2) los puntos de interseccin de la secante con la Elipse (Hiprbola)
2
(x h) (y k)2
b2 = 1. Entonces
a2
208
INTRODUCCIN AL ANLISIS MATEMTICO
2 2
(x2 h) (x1 h) (y2 k) (y1 k)2
2
a2 b2 =0
(x2 + x1 2h) (x2 x1) (y2 + y1 k) (y2 y1)
=0
a2 b2
Cuando P1(x1, y1) = P2(x2, y2) = P0(x0, y0) se obtiene la ecuacin de la tangente a la Elipse
(Hiprbola) en el punto P0(x0, y0):
(x h)2 (y k)2
Asntotas de la Hiprbola 2 = 0.
a b2
(x h)2 (y k)2
2 =0
a b2
(x1 h) (y1 k)
h)
b2 (y k) = 1
2 (x
a
(x2 h) (y2 k)
h)
b2 (y k) = 1
2 (x
a
1 y1 k x1 h 1
1 y2 k x2 h 1
Interseccin de dos tangentes : x h = yk= .
2
x1 h y1 k 2
x1 h y1 k
a b
x2 h y2 k x2 h y2 k
209
INTRODUCCIN AL ANLISIS MATEMTICO
Las hojas de la hiprbola se acercan a dos rectas, que se intersectan entre las hojas. Estas rectas,
llamadas asntotas de la hiprbola, se construyen como se muestra en la figura 7 derecha.
F'x (x0, y0) (x x0) + F'y (x0, y0) (y y0) = 0 (x x0) + f '(x0) (y y0) = 0
210
INTRODUCCIN AL ANLISIS MATEMTICO
seno coseno
2 2
3 [( 51)( 3+1) 2 5+ 5( 31)] [ 2 5+ 5 ( 3+1)+( 51) ( 31)]
16 16
1 1
6 [ 3 2 5 5 ( 5+1)] [ 3( 5+1)+ 2 5 5]
8 8
2 2
9 [( 5+1) 2 5 5] [( 5+1)+ 2 5 5 ]
8 8
1 1
12 [ 2 5+ 5 3( 51)] [ 3 2 5+ 5+( 51)]
8 8
2 2
15 ( 3 1) ( 3+1)
4 4
1 2
18 ( 5 1) 5+ 5
4 4
2 2
21 [ 2 5 5( 3+1)( 5+1)( 31) ] [( 3+1)( 5+1)+ 2( 31) 5 5]
16 16
1 1
24 [ 3 ( 5 + 1 ) ;2 5 5 ] [ 3 2 5 5 +( 5+1)]
8 8
2 1 2 1
27 [ 2 5 + 5 ( 5 1) ] = 8 2 10 2 5 [ ( 5 1) + 2 5 + 5 ] = 8 + 2 10 2 5
8 4 8 4
1 3
30
2 2
2 2
33 [( 51)( 3+1)+ 2 5+ 5 ( 31)] [( 51)( 31) 2 5+ 5( 3+1)]
16 16
2 1
36 5 5 ( 5 + 1)
4 4
2 2
39 [( 5+1)( 3+1) 2 5 5 ( 31)] [ 2 5 5 ( 3+1)+( 5+1)( 31)]
16 16
1 1
42 [ 3 2 5+ 5( 51)] [ 2 5+ 5+ 3( 51)]
8 8
2 2
45
2 2
211
INTRODUCCIN AL ANLISIS MATEMTICO
BIBLIGRAFA
[1] Lipschutz, Seymour. Teora de Conjuntos y Temas Afines. McGraw Hill,
1964.
[4] Zorich V. A. Anlisis Matemtico T.I. (en ruso). Fazis. Mosc 1997.
[5] Fikhtengoltz G. M. Curso de Clculo Diferencial e Integral T.I. (en ruso).
Nauka. Mosc 1969.
212