Você está na página 1de 9

Anlise- Curso de Vero - IPE USP 2013

Professor: David
Editor: Pedro Schneider
Email: pschneider@usp.br
1 Fundamentos
A B A B
A condio suciente para ocorrncia de B: A B (A B)
B condio necessria para ocorrncia de A.
A B (A B) : Ou A no verdade, ou B verdade, pois B cond. nec.
Contrapositiva: A B B A
Se A, ento B Se B no vale, ento A no vale
Lei de De Morgan: (A

B)
C
= A
C

B
C
e (A

B)
C
= A
C

B
C
1.1 Mtodos de Prova
1. Contrapositiva
2. Contradio ou Absurdo: til para casos: Provar que A verdadeiro ou que AB
Assuma A como falso e chegue em contradio.
Assuma A como verdadeiro e B como falso e chegue em contradio.
3. Induo:
Mostrar que vale para n = 1, 2
Supor que vale para n e mostrar que vale para n+1
4. Construo: Prove que xP(x): Estratgia: Construir Exemplo.
5. Contra-exemplo: Prove quexP(x): Mostrar que x em que P(x) no vale.
Obs: Negao de Quanticadores:
xP(x) x(P(x))
P(x) x(P(x))
2 Funo
Def. f : A B um subconjunto de A B; a A, !b B; (a, b) f
No h exceo,i.e, f(x)x A
No h ambiguidade, i.e, f(x) nico para cada x A.
a) Injetora f(x) = f(y) x = y
b) Sobrejetora y B pelo menos um x A; f(x) = y f(A) = B
1
c) Imagem (f(A)) f(X) = f(x) = y; y B Se y f(X), ento existe x X; f(x) = y
d) Imagem Inversa (f
1
(Y )), onde Y B : x A; f(x) Y
Obs: x f
1
(Y ) f(x) Y
3 Relao
Def. Qualquer conjunto de A
2
(ou um elemento do conjunto das partes de A
2
.
Relao de Equivalncia
Reexiva: xDx
Simtrica: Se xDy, ento yDx
Transitividade: Se xDy e yDz, ento xDz.
Partio de P(A):

A = P e A
1
, A
2
A, A
1

A
2
=
Relaes de Equivalncia geram e so geradas por parties.
4 Os nmeros naturais: N
Axiomas de Peano: A partir da funo "sucessor"s: s : N N; n s(n)
1. Injetiva: Dois nmeros com o mesmo sucessor so iguais:
s(m) = s(n) m = n
2. N s(n) tem apenas um elemento: !n N; no sucessor: 1, i.e, n N,
1 ,= s(n) e se n ,= 1, ento !s(n
0
) = n
3. Princpio da Induo
Conjunto Enumervel Finito ou com bijeo com os naturais.
5 Os nmeros reais: R
Corpo: Conjunto K munido de adio e multiplicao: x + y K e x y K
X e.v sobre K Tem operao de adio com elemento neutro e fechado por adies e
tem operao de multiplicao por escalar.
Ordem (): Relao, i.e, subconjunto de A A que satisfaz:
Reexividade: x X, x x
Antisimetria: x y ey x x = y
Transitividade: x y, y z x z
Ordem Total/Simples/Linear x, y A, x y ou x y
Corpo Ordenado: Se P K : Positivos de K;
x, y P x + y P e x y P
Dado x K s ocorre ou x = 0 ou x P ou x P
2
Corpo Completo: Qdo todo subconjunto no-vazio limitado superiormente possui supremo.
Corpo Arquimediano:
N K ilimitado superiormente
Dados a, b K, com a > 0, n N tal que na > b
Dado a k, a > 0, n N; 0 < 1/n < a
Propriedade Arquimediana: Um conjunto no possui nmeros innitamente grandes ou
innitamente pequenos.
x N; n > x
Supremo e Inmo: !K ordenado e X K limitado superiormente.
b K = supX
x X, x b
Se c K x cx X, ento b c.
Dado c < b em K. x X; c < x
O Axioma do Supremo: x R limitado superiormente, existe supremo.
Existe um corpo ordenado, completo R, chamado o corpo dos nmeros reais.
Todo corpo ordenado completo arquimediano
Norma: : X R
+
i) (X) = 0

X =

0
ii) (X) = [[(X)
iii) (X + Y ) (X) + (Y ) (Desigualdade Triangular)
Obs: a x a [x[ a
[x z[ [x y[ +[y z[
[x y[ = [y x[
5.1 Sequncias de Nmeros Reais
Def.: uma funo X : N R em que n X
n
Subsequncia: uma restrio da funo X a um subconjunto innito N

N
Limite de uma Sequncia:
limX
n
= a > 0 n
o
N; n n
o
[X
n
a[ <
Unicidade do Limite: Se limX
n
= a e limX
n
= b a = b
Se limX
n
= a, ento toda subsequncia converge para a.
Se a sequncia convergente limitada
Teorema da Convergncia Montona: Toda sequncia montona limitada converge.
Propriedades de Limites: Se limX
n
= a e limY
n
= b
3
lim(X
n
+ Y
n
) = a + b
lim(X
n
Y
n
) = ab
lim
X
n
Y
n
=
a
b
, se b ,= 0
Permanncia de Sinal: Se limX
n
= a > 0, n
o
N; n > n
o
X
n
> 0
Teorema do Sanduche: X
n
Z
n
Y
n
n N.
Se limX
n
= limY
n
= a, ento limZ
n
= a
Lema dos Intervalos Encaixantes: !I
n
seq. de intervalos fechados "encaixantes", i.e,
I
n+1
I
n
Ento

n=1
,=
Teorema de Bolzano Weierstrass: Toda sequncia limitada tem uma subsequncia que
converge
6 Topologia em Espaos Normados
Ponto Interior (a): > 0; B

(a) S
Obs: B

(a) = x X; [[x a[[ <


x Xponto interior > 0; (x , x + ) X [y x[ < y X
Se X tem ponto interior, deve conter ao menos um intervalo aberto, logo innito.
Se x no ponto interior, ento toda bola aberta de centro x contm pontos , X.
Intervalo Aberto Conjunto no-enumervel: Se int(X) ,= , ento X no-enumervel.
X nito int(X) =
int(X) X
Vizinhana: S vizinhana de P quando P int(S)
Conjunto Aberto: Todos os pontos interiores. A R; int(A) = A
Se A
1
R e A
2
R so abertos, ento A
1

A
2
aberto e A
1

. . .

A
n
aberto.
A =

L
A

um conjunto aberto.
Um intervalo um conjunto aberto Intervalo Aberto.
Ponto de Acumulao(p): S R
> 0, B

S innito.
> 0, B

Sp , =
a = limX
n
, onde (X
n
) sequncia de elementos de S, dois a dois distintos.
Se Acum(X) ,= , ento X innito.
Fronteira: (X)
vizinhana W de X, W

V ,= e W

(XV ) ,=
Toda bola aberta contm pontos de X e pontos do complementar de X.
x no interior de X, nem de seu complementar.
4
Conjunto Fechado: X fechado Se X
n
Xn N e limX
n
= a, ento a X.
Se X = X
n
sequncia com [im[ = , ento Acum(im(x)) = limites de suas subsequncias
.
limsup(X) ponto de acumulao e o maior ponto limite de alguma subsequncia.
liminf(X) o menor ponto limite de alguma subsequncia.
Obs: Subsequncia Converge Ponto de acumulao Acum(im(X)) ,= qdo a sequncia
limitada.
Enunciados Equivalentes do Teorema de Bolzano Weierstrass:
Se X R
N
ltada e [im(X)[ = , ento Acum(im(X)) ,=
Todo cjuto innito ltado X R
n
possui algum ponto de acumulao
Se X R
n
ltado e fechado, X contm algum ponto de acumulao.
SeX R
n
ltado e fechado, X sequencialmente compacto.
Compacidade Sequencial:
S X sequencialmente compacto qdo toda sequncia com imagem contida em S tem
uma subsequncia convergente a um ponto de S.
Sequncias de Cauchy: Se > 0n
o
N; m, n n
o
[X
m
X
n
[
Em um corpo completo, toda sequncia de Cauchy convergente e toda sequncia
convergente de Cauchy
7 Topologia: Caso Geral
Def. 2
X
, (i.e, elementos de chamados de cjutos abertos so subconjuntos de X) uma
topologia se:
i)
ii) X
iii) Se A famlia de elementos de , ento

A e, se A nita, ento

A
Obs: Em X normado, se V aberto, ento x V, B
x
X e B
x
V ; V

B
x
e V

B
x
Vizinhana (V): V vizinhana de x X qdo W aberto ; x W V.
X interior a V qdo V vizinhana de X.
int(V ) = x X : x pto interior de V = "O maior aberto contido em V"
Se x pto interior de V, aberto W V ; x W


V o fecho (topolgico) de V qdo V o "menor"fechado contendo V.
Fechado: S X fechado se S
C
,i.e, (XS) aberto.
Se F
1
, F
2
, . . . , F
n
so fechados, ento F
1

F
2

. . .

F
n
fechado.
F =

um cjunto fechado.
5


X = X

Acum(X)
V fechado V Acum(V )
V fechado

V = V
V aberto int(V ) = V
Pontos Isolados: Isol(S) = SAcum(S)
Cobertura de um conjunto: C = (C

)
L
de C

R; X

L
C

Subcobertura: C

= (C

)
L
, L

L; X

L
C

Compacto: K X compacto Qqer cobertura aberta de K (i.e, A ;

A K)
admite subcobertura nita (i.e, A

A;

K e A

nito)
Em um espao normado X, K X compacto sequencialmente compacto.
Teorema de Heine-Borel: S R
n
limitado e fechado. S compacto.
X R ltado e fechado sup(X) X e inf(X) X
8 Continuidade:
Def. Se > 0, > 0; [[x a[[ < [[f(x) f(a)[[ <
Se > 0, > 0; f(B

(a)) B

(f(a)) B

(a) f
1
(B

(f(a))
obs: Se a um ponto isolado de X, ento toda funo contnua no ponto a.
Contnua em a lim
xa
f(x) = f(a)
f : X Y contnua V Y aberto , f
1
(V ) X aberto
Funes Contnuas em Compacots:
!f : X R contnua. Se X compacto f(X) compacto.
Se K Xcompacto f(K) Y compacto.
Weierstrass: Se f : X R contnua e K X compacto, ento
a, b X; f(a) f(x) f(b)x K
Toda funo contnua denida num compacto limitada e atinge seus extremos.
Obs: Se X compacto e f : X R contnua e injetiva, ento f(X) = Y compacto e a inversa
f
1
: Y R contnua.
Teorema do Valor Intermedirio: f : [a, b] R contnua,u [f(a), f(b)] (supondo f(a)
f(b)). Ento c [a, b]; f(c) = u
6
9 Teoremas do Ponto Fixo
Def. Ponto xo = x; x = f(x)
a) TPF de Brower Se f : D
n
D
n
contnua, ento f tem ponto xo, i.e, f(x) = x
(D
n
:= x R
n
: [[X[[ 1), mas D
n
pode ser qqer outro conjunto compacto e convexo.
Lema(Bohl,1904): , retrao : D
n
S
n1
S
n1
:= x R
n
: [[x[[ = 1
: X Y, Y X uma retrao se contnua e restrita a Y=Id.
b) TPF de Tarski: No existe f : [0, 1]
n
[0, 1]
n
no decrescente sem ponto xo.
Obs: Homeomorsmo: : A B homeomorsmo se uma bijeo , contnua e
1
tb
contnua.
Seja X R
n
homeomorfo ao D
n
. Ento, g : X X contnua ter ponto xo.
Convexidade de Conjuntos: A convexo x, y A, (1 )x + y A
A interseo de convexos um conjunto convexo.
Fecho Convexo: O menor subconjunto convexo de X, contendo X, i.e B X, i.e, a interseo de
todos os convexos de X, que contm B.
c) TPF de Kakutani: Se X uma correspondncia semicontnua superior de simplexo
r dimensional em R(S), ento ponto xo: x
o
S; x
o
(x
o
)
Topologia Produto: X Y tem como abertos unies de subconjuntos da forma A B,
onde A X aberto e B Y aberto.
Aberto Relativo: A Z Y aberto relativo a Z V aberto Y com A = V

Z.
d) TPF de Banach (Teorema da Contrao): X R e.v normado completo (Seq. de
Cauchy convergem).
f : X X contrao se [[f(x) f(y)[[ c[[x y[[ , 0 c < 1
Se f contrao em um e.v normado completo, ento f tem ponto xo, que nico.
10 Separao de Convexos
Produto Interno Cannico: (x
1
, . . . , x
n
).(y
1
, . . . , y
n
) =

x
i
y
i
= x, y
Hiperplano Gerador por p e c: Dados p R
n
0 e c R
H
p,c
= z R
n
: p, z = c
Desigualdade de Cauchy-Schwartz: [XY [ [[X[[ [[Y [[, com igualdade sse x e y so LD.
[X, Y [ = [[X[[ [[Y [[ cos
7
Teorema do Hiperplano Separador: B R
n
convexo fechado, x , B. Ento,
p R
n
0 e c R; p, z < c e p, x > c , z B
Teorema do Hiperplano Suporte: B R
n
convexo, x , int(B). Ento,
p R
n
0 tq p, x p, y y B
Teorema de Separao de Convexos(Minkowski): A, B ,= convexos disjuntos do R
n
.
Ento existe hiperplano separador,
p R
n
0 e c Rtal quep.y c p.xx A, y B
Concavidade e Convexidade de Funes:
f : A R cncava x, y A, [0, 1] f((1 )x + y)) (1 )f(x) + f(y)
f convexa f cncava.
f quase-cncava se x, y A, f((1 )x + y) minf(x), f(y)
Obs: Concavidade Quase Concavidade.
Qualquer funo montona quase-cncava
Se f quase-cncava, ento f
1
([m, )) um subconjunto convexo de A m.
E vale a volta, i.e, f quase cncava qdo todos os seus conjuntos contorno superior so convexos.
Semicontnua Superiormente(UHC):
: X Y UHC x X, (x) ,= e seq. X
n
x e seq. Y
n
(x
n
) subseq. de Y
n
convergente em Y
(x)
Semicontnua Inferiormente (LHC):
: X Y LHC x X, (x) ,= e y (x), X
n
x, n
o
, (y
n
) ; y
n
y n n
o
Teorema do Mximo:
!X R
l
, Y R
m
e f : X Y R contnua e : X P(X)0 correspondncia contnua, i.e,
UHC e LHC, sendo (x) compacto x X. Ento,
h : X R dada por max f(x, y) contnua e G : X P(X)0dada por G(x) = argmaxf(x, y) UHC.
Obs: Se (x) for convexo x X e f estritamente cncava, ento G : X Y uma correspon-
dncia univalorada, i.e, uma funo contnua.
11 Calculo:
Funo Diferencivel: f : Uaberto de R R diferencivel em x
o
U
lim
h0
f(x
o
+ h) f(x
o
)
h
, i.e, a R; > 0, > 0; [h[ < [
f(x
o
+ h) f(x
o
a)
h
[ <
CPO: Se f tem mximo ou mnimo local em x
o
, ento f

(x
o
) = 0, supondo f diferencivel.
Teorema de Rolle: Se f contnua em [a.b], diferencivel em (a, b) e f(a) = f(b), ento
x
o
(a, b) com f

(x
o
) = 0.
8
Teorema do Valor Mdio: Se f contnua em [a.b], diferencivel em (a, b), ento, x
o

(a, b); f

(x
o
) =
f(b) f(a)
b a
Obs: Corolrio: Quaisquer duas primitivas de f so iguais a menos de uma constante aditiva.
TVM para Integrais: reas so contnuas, i.e ,

x
a
f contnua, mesmo que f no seja
contnua. Logo, se

b
a
f contnua , c [a, b]; (b a)f(c) =

b
a
f
1o TFC: Integrais so primitivas.
Dado f : [a, b] R contnua, se F(x) =

x
a
f(y)dy, ento F

(x) = f(x) x (a, b)


2o TFC: Integrais denidas podem ser calculadas via primitivas.
Se F

= f, ento

b
a
f = F(b) F(a)
Regra de Leibniz:

x

b
a
f(x, y)dy =

b
a

x
f(x, y)dy
2a Verso: I =

b(x)
a(x)
f(x, y)dy :
I
x
=

b(x)
a(x)
f
x
y + f(x, b(x))b

(x) f(x, a(x))a

(x)
Derivada Direcional: f : V (Aberto do) R
n
R e S
n1
, i.e, [[ = 1.
D

f(x
o
) = lim
h0
f(x
o
+ h) f(x
o
)
h
no ponto x
o
e na direo .
Obs: Se as derivadas parciais so contnuas, as derivadas direcionais existem.
f : R
n
R
m
diferencivel sse lim
f(x) f(x
o
) A(x x
o
)
[[x x
o
[[
= , onde A=matrix n x m
Teorema de Schwartz: Hess f simtrica, contanto que f : R
n
R seja de classe C
2
Obs: possvel calcular as derivadas direcionais a partir das parciais:
D

f(x) = f(x), = Df(x).


Srie de Taylor: f(x) = f(x
o
) + f

(x
o
)(x x
o
) + . . . +
f
(n)
(x
o
)(x x
o
)
n
n!
9