DEMOSTRACIONES ANÁLISIS

TEMA 1

TEOREMA 1. 2 .
5 .
PRINCIPIO DE LA BUENA ORDENACION .
Todo subconjunto no

vacío de IN tiene mínimo

DEMOSTRACIÓN
sea A subconjunto no vacío de IN ,
si 1 E A 1 = min (A) , por tanto supongamos que
1 A
y
consideremos el conjunto B =
{ n EN : n < a
,
tac A }
Si B fuese inductivo coincidiría con IN contendría A tendríamos cada elemento
, a
y que
de A es estric menor que sí mismo como esto es
imposible B no es inductivo
.

,
y , .

Por otra parte ,

1 E B = > 3- n E B
tq n + 1 B ,
de esto se deduce :

tac A
}
n < a Con esto c- A
,
" + ^ ≤ ✗ < ht 1 = > ✗ = nt 1 probamos que ✗

3- ✗ c- A tq ✗ < n +1 ✗ = min (A)

y

TEOREMA 1.3.11 .
Sean × ,
y E IR tales que ✗ <
y ,
entonces :

1) Existe un numero irracional ✗ tal que ✗ < ✗ <

y
2) Existe un número racional r tal
que ✗ < r <
y

DEMOSTRACIÓN
1) Si × , y c-
Q basta considerar ✗ = ✗ +
SÉ que es irracional
y
✗ < ✗ <
y .

Si hubiera uno irracional y

otro racional ,
entonces ✗ =
×¥ seria irracional
y
✗ < ✗ <y .

Si ambos son irracionales ,

hay dos casos → ×Éˢ irracional = > ✗ =
¥4
×Iˢ racional ✗ =
×+¥ por ejemplo
2) Por el princ de .

Arquímedes existe NEIN

tq fr <
y
-
× .

Sea A =
{ 9- EZ : %<y } ,
sabiendo
que Z no está minorado
,
A es no vacío
y
además
está definición
mayorado por
sea p =
Max (A) ,
tenemos que y ,
P≥y y
como
y
= ✗ +
y
-

✗ S ✗ +
1m deducimos

que f- + En > ✗ +
1- y
así En > × ,
por tanto podemos considerar r =
%

TEMA 2

TEOREMA 2.2.8 .

1) Toda sucesión de números reales monótona acotada es convergente

y
2) Toda sucesión de números reales monótona y no acotada es divergente

DEMOSTRACIÓN
1) Supongamos {✗ } sucesión de números reales creciente
y mayoronda y sea
n
,

✗ =
sup { ✗n : NEIN } .

"
Dado EEIR ,
7in c- IN tq Xn < ✗ -

E .
Consideremos n E IN tq n ≤ m ,
entonces × > ✗ n ≥ Xm y
por tanto lxn -
✗ I = ✗ -
✗n ≤ ✗ -
✗ m
< E → se
prueba así
que {xn } converge a ×

De forma análoga ,
sea {✗ a } decreciente y mimrada ,
{✗ a } converge con tim Xn = inf { Xu : REIN }
2) Una sucesión de números reales monótona y no anotada debe ser creciente y no mayerada
O decreciente no minorada
y .

Sea 4in } una suc . de números reales crec .

y no
May .

,
dado ✗ E IR 7m EN tq ✗m > ✗

Dado nt IN con n ≥ m tenemos ✗n ≥ Xm > ✗ , por

tanto , {✗ n
} diverge positivamente .

De la misma forma demostrar i amos para el otro caso de sucesión no acotada ,

donde

diverge negativamente .

TEOREMA 2.2.16 TEOREMA .

DE COMPLETITUD DE ¢
Toda sucesión de Cauchy de números complejos es convergente

DEMOSTRACIÓN
sea { Zn} sucesión Cauchy de sabemos está acotada
una de nos .

complejos , que { Zn } y
que por
el teorema de B- W admite una sucesión parcial { 2- ocn, } convergente .

aplicando £
"
Sea z = limzocn , y consideramos E E IR , a la condicion de Cauchy que
{Zn } y la cohd convergencia que cumple {zrcn }
de natural tq :
cumple . , , conseguimos un m

IN / Zp Zq / < % / %
qE y n EIN , n ≥ m | Zocu, Z <
p p, q≥ m
-
-

,
,

Sea pues n EIN con n ≥ m ,

se cumple ocn) ≥ m y se cumple :
/ Zu -
Z / =
/ Zu -

Zocn , + Zocn , -
Z / ≤ / Zu -

Zorn, / + / Zocn, -

Z / < { → Esto prueba {Zn} → 2-

PROPOSICIÓN 2.3.3 .
Sea Ezn una serie convergente de números complejos Entonces .

la sucesión { zn } 0
converge a

parciales
DEMOSTRACIÓN
de sumas

si Ezn es una serie ueyv .

de nos .

complejos y { su } su sucesión correspondiente/ { su } es

convergente por definición ,

y tambien lo es { Sun } .
Al ser una sub sucesión tienen mismo límite .

Podemos concluir
que { Sun su } → O de ello deduce { zn } {2- } { Sun su
}
se
que → O =
pues
- -

, un

y las sucesiones { Zn} y { 2- u n } tienen el mismo comportamiento .

TEMA 3

TEOREMA DE BOLZANO (3. 5. 1.) Sean a

y
b números reales tales que a < b
y
función continua [a , supongamos f (a) flb ) existe
f :[ a , b ] → IR una en b]
,
< O ,
entonces

un punto ✗◦ C- [ a, b] tq flxo ) = O

DEMOSTRACIÓN
La condición f (a) f(b) < O equivale a f (a) < O < fcb) Ó f (b) < O < f (a) supongamos que
,
se

cumple la primera y definimos A =

{ ✗ C- [ a , b] :p (X) ≤O }
Sabemos
que A≠ O
porque a c- A
y
está mayerado por b. Sea ✗ ◦
=
sup A
= > a ≤ ✗ ◦ ≤ b y
ahora

probaremos fcxo ) = O

como sabemos ,
existe una sucesión de elementos de A tq {✗ } n → ✗◦ .

La continuidad de f en Xo garantiza que { fcxn) } → flxo ) y

como fcxn) ≤ O tu C- IN

podemos afirmar
que fcxo ) ≤ O ,
esto implica que ✗◦ < b

Definimos tu =
✗◦ tb-n-V-ne.IN .
Entonces ✗◦ < tu ≤b y por
tanto tu A = >
fltu) > 0

Además la sucesión { tu} converge deducir

que { fltn) } fcxo ) { fltnl }
y podemos
a ✗◦ → como
,
y
esta formada por números positivos { fltn ) } flxo) ≥ O Por tanto fcxo ) ,
→ = O

El caso
f (b) < O <
fca) se reduce al anterior
pero con -

f
TEOREMA DEL VALOR INTERMEDIO ( 3. 5. 2) sea I un intervalo
y f : I → IR una

función continua en I entonces f (1) es intervalo ,

un .

DEMOSTRACIÓN
sea I intervalo f I IR función continua consideremos ya ya C- FLI)
yn ≤ ya
→ con
una
un
y
:
, ,

y
veamos
que [ ya ya] , Cf ( I)
Sea { yn ya } claro
que y C- f (2) Supongamos
C- [ ya < <
y ,
ya ] ,
si
y
=
,
es .

que ya y ya
y
sean ✗
n ,
✗a C- I ,
con ✗ n ≠ ✗2
, tq flxr ) ya y f (✗ a) = =
ya
si {✗ } y b se tiene b
a = min n , ✗a = Max {✗ n ,
✗a } , que a< .

Consideremos g
: [ a , b] → IR definida por gcx ) fcx) y
= - te ✗ C- [ a, b] .
La función
g es

continua en [a ,
b]
y g (a) g (b)
=
( fan ) -

y ) ( f (✗ a) y)
-
= (ya y ) ( ya y )
- - < O

De esta forma
,
7 ✗ ◦ E [ a, b ] tq gcxo) = 0
,
es decir , f (Xo ) y =
y E f (2) = > [ ya ya] ,
CFCI)

TEOREMA DE WEIERSTRASS ( 3. 5. 3) La imagen mediante una función

continua de un intervalo cerrado

y
acotado es un intervalo cerrado
y agotado .

Por tanto toda función continua en un tal intervalo está acotada tiene máximo
, ,
y
y mínimo absolutos .

DEMOSTRACIÓN
Sean a
y b números reales con a≤ b
y f :[ a ,
b] → IR una función continua en [a ,
b] .

Veamos en primer lugar f ([ a ,b ] ) C IR (f acotada ) ello consideramos sucesión {yn }

que , para una

en el conjunto f ( [ a / b] ) ,
entonces ltne IN ,
7 XNE [ aib ] tal
que flxn) =
yn .

{ ✗ } está acotada y por el teorema

n
de B- W admite una { ✗ ocn, } convergente siendo lim ✗ ocn) =
Xo

tambien punto de [ aib] { fcxocni ) } { Yoon }

y
=
un .

La continuidad de f en ✗◦ nos
permite afirmar { flxocn, ) } converge a
f (Xo ) .

De esta forma toda sucesión de elementos de f ([ a, b] ) admite una

parcial f ( [ oyb] ) anotado
,

si ✗ = inf f ( [ a. b ] )
y P
=
sup f ( [ aib]) se tiene que flcaib] ) C [✗ / B ] ,
ahora probaremos que
la inclusión sea recíproca .

Sea { su } una sucesión de elementos que converja a

✗
para cada NEIN
existe de
f ( [a ,
b]) ,

tu C- [ a
,
b] tq fltn ) Sn Como sabemos { tu } está acotada y admite una parcial
=
.

convergente cuyo limite to E [ a , b ] Sabiendo que f es continua en to , deducimos que .

{ fltocn ) } ,
→ f ( to ) .

Por otra parte , { f ( tren) ) } =

{ Soon , } y por tanto f ( trans ) → ×
, luego ✗ C- flto ) ✗
Ef ( [ a / b] )
De la misma forma se demuestra que BE fl [ a ,
b])

Finalmente ,
de acuerdo con el teorema del valor int .

,
[ xp] Cf ( Ca ,
b] ) flla b] ) ,
=
[ a ,
p]
 TEMA Y

REGLA DE LA CADENA (4.2.2 ) .

sean f. A → IR y g :B
→ IR funciones reales
de variable real tales AMÁ Supongamos que f derivable
que f (A) y
CB ✗ ◦ E .
es en

✗◦ , que fcxo ) es
punto de acumulación de B y que g es derivable en fcxo ) .
Entonces
ft (Xo )
'
f
'
derivable
g es en ✗
y (g f) (Xo ) g (f ( Xo ) )
◦ ◦ =
◦

DEMOSTRACIÓN gcy)
-

glfcxo ))
'
consideremos la función :B definida por ( fcxo ) )
y IR Y (f (Xo ) ) YCY) ¥1
=
→ =
g ,

para todo C- BI { flxo) }

y
La derivabilidad de flxo ) traduce la continuidad de
g
en se en
y en
fcxol .

Al despejar gcy) -

glflxo )) tenemos :

gcy )
-

glfcxo) ) =
✗ (g) ( y
-

fcx ) ) .
y EB glflx) ) -

glfcxo)) =
Y HCH ) ( fcx ) -

fcxo) ) V✗ C- A

Dado Al {✗ }
190%1%-411×0
✗ c- o : >
= ( y ◦
f) Cx )

lfcxo ) )
'
Como
Yo f continua se tiene
hjuu ( yo f) (X ) (y f) (Xo ) ✗ ( f (Xo)) g
= =
es = ◦

Teniendo cuenta
que
limx-x.la?,-fY-=pkxo )
en
deducimos :

º9º
> '

limx → ×.
=
g
'
lfcxo) ) 14×0 ) por tanto , gof es derivable en Xo
y ( go f) (b) =
g
'
CFCXODFKX ) .

TEOREMA DE ROLLE (4. 3. 3.) Sea

f :[ a. b ] → IR una función continua en la / b]

y
derivable en Ja b [ , , supongamos además
que fca ) = fcb ) .
Entonces existe CE Ja , b [

tal que flcc ) = O

DEMOSTRACIÓN
Sean a, b E IR con acb sea f :[ aib ] IR función continua [a b] deriva en 3a b. [
y
→ una en ,
y .
,

con
f (a) =
f (b) ,
debe existir al menos un punto C C- Ja , b [ tq la recta tangente a

f en (c , FCCD sea paralela al eje de abcisas , veamos

que es así .

Esta claro tiene máximos y mínimos absolutos alcanza ambos los extremos de
f si en
que ,

'
f constante la fla) =p (b) por tce ] a b [
[a, b ] seria
, por
condicion
,
tanto , f (c) = O ,

Por otra parte , si f alcanza su maximo /mínimo absoluto en CE Ja , b. [

, f alcanza un extremo
'
relativo en C .
Como f es derivable en C
, f (C) = O

TEOREMA DEL VALOR MEDIO DE LAGRANGE ( 4. 3. 4)

Sea f :[ b] → IR una función continua en [a b ] derivable en ]a b[ Entonces existe
a, ,
y , .

H%iL
'
CE 3a ,
b [ tq f (c) =

DEMOSTRACIÓN
Consideramos dos puntos ( a ,
fca) ) (b f (b) ) la ecuación de la recta que pasa por ambos
y , ,

es
y
=
fca ) +
H%If (× -

a)
Definimos una función auxiliar gcx ) =
f (X ) -

y
=
FCX )
-

f (a) +
ll%ˢ ( ✗ -

a)
Como
f es continua en [ a, b ] y
derivable en ] a, b[
,
entonces
g tambien Además .
g satisface
las condiciones del Teorema de Rake en [aib]
ya que
:

gca) =
fca) -

f (a)
-

ll%ˢ ( a -

a) = O =
g (b) =p (b)
-

f (a)
-

ll%If ( b- a)

Por el teorema de Rolle como es derivable en 3a , b [ gca) g (b) existe C E Ja b [

g
=

y ,
,

ICHI
fk c) ftp.jf-aleqdy
' '
tal que glcc) = o =
> g CO ) =
O =p (c) -
=
> =

b- a
TEOREMA DEL VALOR MEDIO DE CAUCHY ( 4. 3. 5)
Sean continuas derivable existe
f , g :[a , b ] → IR funciones en [a / b]
y
en ]a /b[ .
Entonces

f (a) ) g ( g (b) gca) ) fkc )

'
C E Ja ,
b [ tal que (flb) -

(c) = -

DEMOSTRACIÓN
sea GLX ) una función definida como GCX ) =
[ gcb ) gca) ] [ fcx ) fcal] [ f (b) f (a) ] [ g (X ) G (a) ]
-
- . - - - .

donde fcx ) y gcx ) son funciones continuas en [a,b] derivable en la b) ademas

y ,
,

G (a) =
qcb) = O
'
Por el teorema de Rolle
,
existe C E Ja , b [ tq q (c) = 0 .
Sabiendo que :

[ g (b) g (a) ] fkc )

'
[ f (b)
GICX ) [ g (b) g (a) ] fkx) [ f (b) g (a) ] gl (X ) >
G- kx ) O g (a) ] g (c)
- - -

=
- - -
= = =

[ fcb) -

fca) ] gkc) [ g (b) gca) ] fkc ) = -

TEMA 5

TEOREMA FUNDAMENTAL DEL CÁLCULO ( 5. 2. 5) Sea I un intervalo

no reducido a un
punto , f : I → IR una función localmente integrable en I

F la función integral asociada f con origen en un

punto de a I siendo
y a ,

FCX ) =
SÍ f ltx EI .
Se cumplen las siguientes afirmaciones :

1) F es continua en I

2) Si f es continua en un punto ✗ ◦ C- I ,
entonces F es derivable en ✗o con

FCX ) .
=
f
'
( Xo ) .
Por tanto , f continua en I F derivable en I
y ÉCXKFCX) ✗ c- I

DEMOSTRACIÓN
1) Fijemos punto FCX ) FCXO ) Basta
EI veremos
que limoso probar que los
un ✗ ◦ ,
=
.
con

límites laterales correspondientes a F en ✗o existen y

coinciden con FCXO ) .

Supongamos en
primer lugar que existe ao C- I tal
que ao < ✗◦ .

Por hipótesis , f es
integrable y acotada en el intervalo [ao ,
✗ o ] .
Consideremos
M C- Rt tal que lflt ) / < M ,
ltt c- [ao , ✗ ] ◦ .
Dado EEIRT pongamos 8 =
min { Yo -

ao
, Im } .

Entonces ✗ EI con ✗ < ✗◦

y IX ✗ / < 8 se
-

o tiene ao < ✗ < ✗o lfltll ≤M ltt c- [ ✗ No ]

"
Asi pues , IFCX ) -

Fcxo ) / =
/ Sil Sa f / / SÍ f / ≤ MI
- =
✗ -
Xo / < M 8 < E =
> lim ✗ → ×.
-
Fcx) = FCXO )

si existe amado
b EI con ✗ o <b se
comprueba limx → ✗ +
◦
FCX ) = FCXO ) ganarte
2) Supongamos f continua en EI sea E c- Rt entonces 7 8 C- Rt tal
✗ o
y , que
✗ EI
,
/ ✗ -
✗o / < S If CH -

flxo ) / ≤ %
Consideremos ✗ EI tal que OLIX -
✗◦ la 8 ,
si te [✗ ◦ ,
× ] It -
X. / ≤ /X -
✗ ◦ 1<8
y
por
tanto lflt) -

fcxo ) / ≤ EL
tuo ) ( ✗ SÍ fct ) dt SÍ fcxo )
/ / / FCX ) )
/ /
FCXO ) dt

/
FCX ) FCXO ) ✗o
- - - -

De este modo
-
.

, ✗ -
✗ o
-

pcxo , =

X -
✗ o
=

✗ -
✗ o
=

SÍ lct ) Ho ) dt
/ / £ E- F-F
-

✗ -
✗ o
< = < { Lim ✗ → ✗◦
IX - ✗◦ I
=
flxo ) = > F derivable en ✗o
REGLA DE BARROW ( 5. 2. 4) Sea f :[ b) → IR una a
,
función integrable y
supongamos que existe una función 4 :[ b ] IR continua [aib ] derivable
a → en en
,
y
3a ,
b [ tal
que GKX ) =

fcx) t✗ c- [ a. b] ,
entonces fabf =
G (b) -

G (a) .

DEMOSTRACIÓN
sea P =
{ to , -4 , . . .
/
tu } una partición del intervalo [ aib ] y tengamos en cuenta
que
Gcb ) -

Gca) = 2:-, ( G ( tri ) -

Gltr ))
-
n ,
la restricción de G al intervalo [trrn ,
tia ] ,
tk C- {1 , . . .

/
K }

cumple la hipótesis del teorema del valor medio por tanto Cri E) tri tri [ tal que , -

r ,

G ( tri ) G ( tri ) 44cal ( tri tri ) f ( Cri ) (tri tri 1) por tanto Gcb ) G (a) EH ( Cri ) (tri tri 1)
-
= -
= -
-
= -

r
-
r - -

,
-

Esto G (a) ≤ Slf P )

lleva a
nos
que s ( f P ) ≤ G (b)
-

, ,

La arbitrariedad de la partición P nos permite afirmar ff ≤ G (b) G (a) ≤ / Y -

y como f integrable concluimos que Sabf

es
G (b) G (a) ,
= -