UniCV - 2012

ANLISE I - NOTAS DE AULAS -SEMANA 3

A. Joaquim Fernandes
(para erros ou omisses: ajokae@gmail.com)
SEMANA 3 (22.10.2012): Noes topolgicas de R
Topologia da recta, pontos e subconjuntos notveis de R. Propriedade do supremo de R.Completude de
R e densidade de Q em R. Sequncias em R. Limite de sequncias. Sequncias montonas e limitadas.
Sublimites. Limites superior e inferior. Sequncias de Cauchy. Compactos em R (intervalos limitados e
fechados).
Leitura:
Ref.[1] Captulo 12 (fotocpias extras na reprograa)
Sec 12.1 e 12.2
Ref.[2]
Sec. 4.1 a 4.5, pg. 53 a 63
Sec. 6.1 a 6.6, pg. 89 a 99
TPC:
Ref.[1] Captulo 12 (fotocpias extras na reprograa)
Pg. 694 #2,4,6,8,10,(12),14,16,(18), 20, 22, 24, 26, (28), 30, 32
Pg. 700 #2, 4, (6), 8, 10, (12), 14, 16, (20), 22, (24), 26, (28), 30
Ref.[2]
Pg. 70 # 1, 4, (5), 6, 7, 12, (13), 14, 15, (17), 18, 19, (26)
Pg. 96 #1, (2), 3, 4, 8, (10), 16, 19, (23), 25
Topologia da recta R
Recordando o que j se sabe sobre a ordem de R:
R

; um grupo comutativo, que contm o conjunto dos reais positivos,

R

+
;

, como subgrupo
maximal.
R

+
R

+
R

+
R

+
O conjunto R pode ser ordenado pela relao (<) "menor que": (a < b) = (b a) R

+
Entre quaisquer dois nmeros a; b R: ou a < b ou a = b ou a > b (tricotomia)
Se a < b e b < c ento a < c (transitividade)
O conjunto R totalmente ordenado pela endorelao (<)
A ordem lata (_) denida como a _ b = a < b . a = b
O modelo geomtrico de R uma recta contnua:
Os nmeros reais so representados por pontos sobre a recta.
Entre quaisquer dois reais distintos existem outros reais, em particular, no existe o menor nmero
positivo, Ex: 0 <
a
2
< a.
Ex. Prove que se a R e 0 _ a < " para qualquer " > 0, ento a = 0
Dois pontos a; b so chamados de bordos (ou extremos) dos seguintes intervalos:
Intervalo aberto: ]a; b[ = x R : a < x < b
Intervalo fechado: [a; b] = x R : a _ x _ b
1
Intervalos semi-abertos: ]a; b] = x R : a < x _ b e [a; b[ = x R : a _ x < b
A distncia (no orientada) entre dois pontos a; b R dada por [a b[, o valor absoluto da diferena
entre os dois nmeros.
As propriedades mtricas da distncia entre dois pontos:
[a b[ = 0 = a = b
[a b[ = [b a[
[a b[ _ [a c[ +[c b[
A distncia de qualquer ponto x R a zero dada pelo valor absoluto [x 0[ = [x[
O conjunto de pontos que distam de a uma distncia menor que " designa-se por vizinhana " de a:
V
"
(a) = x R : [x a[ < "
e corresponde a um intervalo aberto de centro em a e raio ":
V
"
(a) = ]a "; a + "[
Pontos notveis a E R:
a um ponto interior a E sse existir uma vizinhana de a incluida em E: Se existir " > 0 tal que
V
"
(a) E
a um ponto exterior a E sse existir uma vizinhana de a incluida em E
c
: Se existir " > 0 tal que
V
"
(a) E
c
, onde E
c
= R E
a um bordo de E sse no for nem interior nem exterior.
a um ponto aderente de E sse qualquer vizinhana de a possuir um elemento de E: Qualquer " > 0,
V
"
(a) E ,= ?
a um ponto de acumulao de E sse qualquer vizinhana de a possuir um elemento de E diferente
de a: Qualquer " > 0, (V
"
(a) a) E ,= ?
a um ponto de isolado de E sse a for uma vizinhana de a
Ex. prove que um ponto de acumulao necessriamente um ponto aderente, mas um ponto aderente
no precisa ser ponto de acumulao. Quando que um ponto aderente no um ponto de acumulao?
Subconjunto notveis E R:
Int E, interior de E, o conjunto de todos os pontos interiores de E
Ext E, exterior de E, o conjunto de todos os pontos exteriores de E
@E, bordo de E, o conjunto de todos os pontos fronteira de E
E, fecho de E, o conjunto de todos os pontos aderentes de E
E
0
, derivado de E, o conjunto de todos os pontos de acumulao de E
E aberto sse todos os seus pontos forem interiores a E
E fechado sse o seu complemento E
c
for aberto.
E denso em R sse E = R (o fecho todo R)
E raro em R sse Int

= ? (interior do seu fecho for vazio)

E perfeito se for fechado e todos os pontos forem de acumulao.
2
Ex. R aberto e tambm fechado. O conjunto vazio ? aberto e tambm fechado (os elementos
de um conjunto vazio, porque no existem, podem satisfazer qualquer propriedade!). Um conjunto nito
no pode ter pontos de acumulao. Ponto de acumulao aderente mas o recproco no verdadeiro, i.e.
pontos isolados so aderentes mas no so de acumulao.
Dado um subconjunto E R, se existir um nmero real R tal que x _ para qualquer x E, ento
E limitado por cima e chama-se de majorante de E.
Se um subconjunto E R possuir um minorante diz-se limitado por baixo.
Um subconjunto de R limitado se possuir majorante e minorante.
Ex: [2; +[ possui minorantes mas no limitado; 4 um majorante de ]3; 3[; 2 um minorante de
]1; +[
O menor majorante chama-se supremo de um subconjunto E R e o maior minorante chama-se nmo
de um subconjunto E R.
Outra maneira de dizer que R "no tem buracos" dizer que R possui a propridade do supremo (ou
do nmo): Qualquer subconjunto de R, no vazio e limitado por cima, possui supremo. (limitado por baixo,
possui nmo)
Ex. Prove que para quaisquer dois nmeros reais x; y R tal que x < y, existe um nmero racional
r Q tal que x < r < y
Sequncias em R
Um par ordenado de nmeros reais um conjunto ordenado de dois nmeros reais: (x; y)
Um triplo ordenado de nmeros reais: (x; y; z)
Um n-uplo ordenado de nmeros reais: (x
1
; x
2
; ::::x
n
)
Uma sequncia (ou sucesso) de nmeros reais: (x
1
; x
2
; ::::x
n
; :::) uma funo de N para R
x : N R
A sequncia representa-se por x = (x
n
) = (x
1
; x
2
; x
3
; :::), o conjunto dos seus termos por x
n
, e o termo
geral por x
n
, onde n N.
Ex: A sequncia dada pelo termo geral x
n
= (1)
n
pode ser escrita por extenso como um conjunto
ordenado (1; 1; 1; 1; :::) enquanto que o conjunto dos termos da sequncia o conjunto 1; 1.
Uma sequncia pode ser tambem denida recursivamente (ou inductivamente), indicando um ou mais
elementos iniciais x
1
; x
2
; :::; x
k
e a frmula para x
n+1
em funo de x
n
; x
n1
; :::x
nk
.
Ex. A sequncia denida recursivamente por x
1
= 5 e x
n+1
=
xn
2
pode ser escrita como (x
n
) =

5;
5
2
;
5
4
;
5
8
; :::

. A sequncia de Fibonacci, x
1
= 1; x
2
= 1 e x
n+1
= x
n
+ x
n1
pode ser escrita como
(1; 1; 2; 3; 5; 8; 13; :::)
Algumas sequncias notveis:
x
n
= r, onde r uma constante (sequncia constante)
x
n
= nr (progresso aritmtica de primeiro termo e razo r)
x
n
= r
n
(progresso geomtrica de razo r convergente para que valores de r?)
x
n
=

1
n

p
onde p > 0
Como sequncias so funes de N para R, satisfazem a algebra de funes j denida anteriormente:
a soma de sequncias (termo a termo), x + y = (x
n
+ y
n
), operao binria no conjunto s (R) de
todas as sequncias em R, associativa, comutativa, o elemento neutro a sequncia constante x
n
= 0
e todas as sequncias possuem simtrico.
a multiplicao de sequncias (termo a termo), x y = (x
n
y
n
), operao binria no conjunto s (R)
de todas as sequncias em R, associativa, comutativa, o elemento neutro a sequncia constante
x
n
= 1 e apenas possuem inverso as sequncias em que nenhum termo nulo.
3
Convergncia de sequncias em R
Uma sequncia limitada sse o conjunto dos seus termos for limitado (sse possuir majorante e minorante)
Ex: A sequncia x
n
= n no limitada pois o conjunto dos seus termos N e no possui majorante. A
sequncia x
n
=
1
n
limitada pois x
n
=

1;
1
2
;
1
3
; :::

possui minorantes, i.e. (0), e majorantes, i.e. (1).

Uma sequncia converge em R se existir um nmero L R que satisfaa a condio limite:
L R : \" > 0; N (") N : n > N = [x
n
L[ < "
O nmero L chamado de limite da sequncia e escreve-se:
lim
n!1
x
n
= L ou x
n
L
O nmero natural N (") a ordem a partir do qual todos do termo da sequncia passam a pertencer
vinhana " de L (pode depender de "):
x
n
]L "; L + "[ para n > N (")
Se L no for o limite de uma sequncia ento:
" > 0 : \n N; [x
n
L[ _ "
ou seja, existe uma vizinhana " de L qual os termos da sequncia nunca pertencem.
Se no existir qualquer x R que seja limite da sequncia esta diz-se divergente:
\x R; " > 0 : \n N; [x
n
x[ _ "
Ex. Prove que lim
n!1
1
n
= 0, que lim
n!1
3n+2
n+1
= 3 e que lim
n
2
1
2n
2
+3
=
1
2
(observe os coecientes de
maior grau)
Teoremas sobre limites de sequncias em R (provar - Bartle pg 60 a 66):
O limite de uma sequncia, se existir, nico.
Qualquer sequncia convergente limitada (A proposio contrria verdadeira? A proposio recp-
roca verdadeira? A proposio contra-recproca verdadeira?)
Dadas as sequncias x
n
a e y
n
b, tem-se que:
x
n
+ y
n
a + b
x
n
y
n
a b
x
n
y
n
a b

xn
yn

a
b
apenas se (y
n
) for uma sequncia em R

e b ,= 0
Se eventualmente x
n
_ y
n
ento limx
n
_ limy
n
Se eventualmente p _ x
n
_ q ento p _ limx
n
_ q
Se eventualmente x
n
_ z
n
_ y
n
ento a _ limz
n
_ b
lim
n!1
[x
n
[ = [a[
lim
n!1
_
x
n
=
_
a
Se lim
xn+1
xn
< 1 ento limx
n
= 0 (provar)
Uma sequncia (x
n
) crescente x
n
_ x
n+1
ou decrescente x
n
_ x
n+1
diz-se montona
Teorema da convergncia montona - Uma sequncia montona convergente sse for limitada
(provar).
Uma subsequncia (x
0
k
) uma composio da sequncia (x
n
) em R com uma sequncia (n
k
) em N que
preserva a ordem dos termos da sequncia original

njn
k
jk
> 0

:
x
0
k
= x
n
k
: n
k
< n
j
= k < j
4
Ex. x
0
k
= 1 uma subsequncia de x
n
= (1)
n
, pois fazendo n = 2k para k N, a composio resulta
na sequncia
x
0
k
= x
n
2k
= x
2k
= (1)
2k
=

(1)
2

k
= 1
k
= 1
Teoremas sobre subsequncias (provar):
Se uma sequncia converge para um nmero real L ento qualquer subsequncia tambem converge para
o mesmo nmero L. (A proposio contrria verdadeira? A proposio recproca verdadeira? A
proposio contra-recproca verdadeira?)
Qualquer sequncia possui uma subsequncia montona (teorema da subsequncia montona)
Qualquer sequncia limitada possui uma subsequncia convergente (Teorema de Bolzano-Weirstrass,
verso 1)
Teorema de Bolzano-Weierstrass (verso 2): Um subconjunto innito e limitado de E R possui
um ponto de acumulao (provar).
Prova. Como E um conjunto limitado, existe um intervalo nito tal que E [a; b]. Deixe m
1
=
a+b
2
ser
o ponto mdio de [a; b]. Como E = (E [a; m
1
]) '(E [m
1
; b]) possui um nmero innito de pontos, ento,
ou E [a; m
1
] possui um nmero innito de pontos, ou E [m
1
; b] possui um nmero innito de pontos.
Dena-se ento (denio condicional!):
a
1
= a . b
1
= m
1
se E [a; m
1
] for innito
a
1
= m
1
. b
1
= b caso contrrio
E
1
= E [a
1
; b
1
] um conjunto innito
Aplicando recursivamente este processo dene-se:
m
n+1
=
a
n
+ b
n
2
a
n+1
= a
n
. b
n+1
= m
n+1
se E [a
n
; m
n+1
] for innito
a
n+1
= m
n+1
. b
n+1
= b
n
caso contrrio
E
n+1
= E
n
[a
n+1
; b
n+1
] um conjunto innito
A sequncia (a
n
) crescente e limitada, logo lima
n
existe.
A sequncia (b
n
) decrescente e limitada, logo limb
n
existe.
Como b
n
a
n
=
ba
2
n
0 ento lima
n
= limb
n
= L
Ento L E.
L um ponto de acumulao de E se para qualquer " > 0 se mostrar que V
"
(L) E possui innitos
pontos. Mas para qualquer " > 0 se se escolher N tal que b
N
a
N
< " ter-se- por construo que
L [b
N
; a
N
] V
"
(L). Mas como E
N
= [b
N
; a
N
] E possui innitos pontos, ento V
"
(L) E possui innitos
pontos tambem pois [b
N
; a
N
] E V
"
(L) E.
Uma sequncia Cauchy (ou fundamental) sse
\" > 0; N (") N : m; n > N (") = [x
m
x
n
[ < "
Teoremas sobre sequncias Cauchy
Qualquer sequncia Cauchy limitada
5
Uma sequncia em R convergente sse Cauchy (Mais uma maneira de armar que R completo)
Uma sequncia contrativa se existir uma constante 0 < C < 1 tal que [x
n+2
x
n+1
[ _ C [x
n+1
x
n
[
Como que pode uma sequncia divergir? Ou limitada mas oscilante ou no limitada.
Se for limitada mas oscilante, tem subsequncias convergentes. O limite de uma subsequncia convergente
chama-se um sublimite.
Como a sequncia limitada, o conjunto de todos os sublimites um subconjunto no vazio e limitado
de R logo possui um nmo chamado de limite inferior, liminf x
n
, e um supremo chamado limite superior,
limsupx
n
.
Se liminf x
n
= limsupx
n
ento a sequncia converge.
Um subconjunto E R completo sse qualquer sequncia Cauchy em E convergente (R completo)
Um subconjunto E R conexo sse for um intervalo (aberto, fechado ou misto)
Um subconjunto E R (sequncialmente) compacto sse qualquer sequncia em E possui uma subse-
quncia convergente. (R no compacto, mas qualquer subconjunto limitado e fechado de R sequncial-
mente compacto).
Se a sequncia no limitada, conviniente alargar o conjunto R para incluir dois pontos "idealizados",
; +.
O conjunto alargado chama-se recta acabada R = R ' ; +
A recta acabada compacto.
Dada uma sequncia (x
n
) em R diz-se que x
n
+ e escreve-se limx
n
= + se para qualquer R
existe um N () N tal que se n _ N (), ento x
n
>
Se limx
n
= , ento para qualquer R existe um N () N tal que se n _ N (), ento x
n
<
As sequncias no limitadas passam a ter um liminf x
n
ou um limsupx
n
em R (entretanto, no se
chamam estas sequncias de convergentes).
R uma compacticao de R, mas no possui as propriedades de corpo e algumas operaes algbricas
com os novos elementos ; + deixam de ser possveis.
Para alm de
1
0
e 0
0
que eram indeterminadas mesmo no corpo R, as novas indeterminaes (+),

+1
+1

; 0 (+) e outras semelhantes, tambem so indeterminadas em R

6