Você está na página 1de 8

LISTA DE EXERCCIOS - 01

CONTROLE TIMO

Jorge Luiz Ferreira da Silva Junior

Braslia, 5 de setembro de 2013

UNIVERSIDADE DE BRASLIA FACULDADE DE TECNOLOGIA

ENE-363855 Controle timo Lista de Exerccios Conjuntos Ordenados e Conjunto dos Reais Entrega 05/09/2013 1) Exerccios 4, 5, 8, 9, 16, 17, 19 do livro do Rudin 2) Exerccios 6R, 6S, 6T e 6U do livro do Bartle

Exerccios do livro do Rudin


4 - Seja E um subconjunto no vazio de um conjunto ordenado; suponha que seja um limite inferior de E e um limite superior de E. Prove que . Resoluo: Como E um subconjunto no vazio, admitimos um x E . Ento, pela denio de limites superiores e inferiores, temos que x .

5 - Seja A um conjunto no vazio de nmeros reais o qual possui um limite inferior. Admitindo que A o conjunto de todos os nmeros x, onde x A. Prove que inf A = sup (A). Resoluo: Como A um conjunto no vazio limitado inferiormente, suponha que = sup (A), portanto A um subconjunto no vazio dos nmeros reais limitado superiormente. Assimm x A, x = x ento um limite inferior de A. Agora suponhamos que exista um de tal forma que > e x A, x . Isso implica que < e x , x A. Contudo, um menor limitante superior (do que ) para A, o que contradiz que = sup (A). Portanto, no existe tal , e ento, pela proposio 1.18 (do livro de Rudin) sup (A) = = inf (A).

8 - Prove que nenhuma ordem pode ser denida no campo complexo o transformandoo em um campo ordenado. DICA: -1 um quadrado. Resoluo: Suponha que haja uma ordem denida no campo complexo que o transforma em um campo ordenado. Ento, temos uma contradio com a proposio 1.18(d) (do livro de Rudin), pois i = 0 e i2 = 1 < 0, onde 1 < 0 forado pela parte (a) da mesma proposio.

9 - Suponha que z = a + ib, w = c + id C. Dena z < w se a < c, e tambm se a = c porem b < d. Prove que esta operao transforma o conjunto de todos os nmeros complexos em um conjunto ordenado. (Este tipo de relao de ordem chamada de ordem do dicionrio, ou ordem lexicogrca, por razes bvias). Ser que este conjunto ordenado tem a propriedade de menor limite superior?

Resoluo: Seja z = a + ib, w = c + id C. Ento, uma vez que R um conjunto ordenado, e que a < b, a = b, ou a > b. Se a < b, ento z < w. Se a > b, ento z > w. Se a = b vamos vericar a relao entre b e d e da mesma forma iremos concluir que ou z < w se b < d, z > w se b > d, ou z = w se b = d. Para vericar a transitividade, seja u = e + if C e suponha que z < w e w < u. Ento a < c ou a = c e b < d. Igualmente, c < e ou c = e e d < f . Se a < c e c < e ento a < e pois R um conjunto ordenado e neste caso z < u. Se a < c e c < e com d < f logo a < c e ento z < u. Se a = c e b < d com c < e ento a = c < e e z < u. Se a = c e b < d com c = d < f logo a = e contudo b < d < f ento b<f pois R um conjunto ordenado e portanto z < u. Assim, C um conjunto ordenado sob esta ordem. Este conjunto ordenado tem a propriedade de menor limite superior. Para ver isso, admitimos E C e denimos = sup{a|a + ib E } e = sup{b|a + ib E }. Dessa forma ca claro que + i C pois R possui a propriedade de limite superior e inferior e ainda a + ib E, a + ib + i , (por que a e b ) ento + i um limite superior para E . Se < , ento temos que a a de forma que a + ib E , contradizendo a denio de . Uma contradio idntica denio de ocorre se = e < . Portanto, + i = sum(E ) C e este conjunto ordenado, de fato, tm a propriedade de menor limite superior.

16 - Seja k 3, x, y Rk , |x y| = d > 0 e r > 0. Prove: (a) Se 2r > d, h uma innidade de z Rk tal que |z x| = |z y| = r. (b) Se Se 2r = d, h exatamente um z. (c) Se Se 2r < d, no h nenhum z. Como essas armaes devem ser modicadas se k for 2 ou 1? Resoluo: (a) Se z Rk de forma que |z x| = |z y | = r ento z B (x, r) B (y, r), onde B (x, r) = {z Rk ||z x| = r} o limite da esfera de raio r centrado em x. Se 2r > d = r > d/2 ento os dois limites cruzam-se na superfcie (de dimenso k 2) e assim h innitamente muitos pontos nesta interseco que satisfazem a equao dada porque k 3. (b) Se r = d/2 ento os dois limites cruzam-se em um nico ponto, o ponto central do segmento que une x e y . (c) Se r < d/2 ento os limites nunca se cruzam e assim no h nenhum z Rk pode estar em ambos os limites simultaneamente. Se k = 1 ento no h nenhum z R que satisfaa ambas as equaes simultaneamente a menos que r = d/2. Isto ocorre porque h somente dois pontos com uma distncia r de x para um dado x R. Sem perda de generalidade podemos assumir x < y . Se r = d/2, observamos que z = x + r o nico ponto que esta a uma distncia r tanto de x como de y . Se r > d/2 ou r < d/2 ento os limites (conjunto de dois pontos) nunca se cruzam. Isto se d pelo fato de que os pontos da distncia r de x so x + r e x r. Contudo, y (x + r) = y x r = d r < d d/2 = d/2 < r ento x + r no de distncia r de y. Analogamente y (x r) = y x + r = d + r > r ento

x r tambm no de distncia r de y. Resultados anlogos mantm-se quando r < d/2 com a desigualdade invertida. Se k = 2, ento quando r > d/2 ao em vez de um nmero innito de pontos na interseco dos limites, existem apenas dois neste caso, uma vez que os limites da esfera em torno de x e y so crculos, e dois crculos diferentes podem maximamente cruzarem-se em apenas dois pontos. Os casos r = d/2 e r < d/2 geram os mesmos resultados que para k 3.

17 - Prove que |x + y|2 + |x y|2 = 2|x|2 + 2|y|2 se x, y Rk . Interprete geometricamente, como uma armao sobre paralelogramos. Resoluo: Se escrevermos x = (x1 , , xk ) e y = (y1 , , yk ) ento se expandirmos o lado esquerdo

|x + y |2 + |x y |2 =
i=1 k

(xi + yi )2 +
i=1

(xi yi )2

=
i=1 k

(xi + yi )2 + (xi yi )2
2 2 2 (x2 i + 2xi yi + yi + xi 2xi yi + yi ) i=1 k

=
i=1

2 (2x2 i + 2yi ) k k

=2
i=1 2

x2 i +2
i=1 2

2 yi

= 2|x| + 2|y | .

Se considerarmos os vetores x e y omo representao de dois lados de um paralelogramo, ento x y e x + y representam as diagonais. A equao acima , ento, visto como nada mais do que a forma generalizada do Teorema de Pitgoras. Considerando o caso em que k = 2, a equao meramente a soma do Teorema de Pitgoras comum para as duas diagonais. Uma vez que para ambas as diagonais dos lados do tringulo do qual eles so a hipotenusa so x e y que temos

|x + y |2 = |x|2 + |y |2 |x y |2 = |x|2 + |y |2

daqui a nossa equao original somente a soma desses dois.

19 - Seja a Rk , b Rk . Encontre um c Rk e r > U tal que |x a| = 2|x b| se somente se |x c| = r. Resoluo: Precisamos determinar as circunstncias em que |x a| = 2|x b| e |x c| = r. Para fazer isso, precisamos manipular estas igualdades at que encontremos um termo comum que possamos usar para compar-las.

|x a| = 2|x b| |x a|2 = 4|x b|2 |x|2 2x a + |a|2 = 4|x|2 8x b + 4|b|2 3|x|2 = |a|2 2x a + 8x b 4|b|2 |x c| = r |x c|2 = r2 |x|2 + 2x c + |c|2 = r2 3|x|2 = 3r2 + 6x c 3|c|2 Combinando estas duas ltimas igualdades juntos, temos |a|2 2x a + 8x b 4|b|2 = 3r2 + 6x c 3|c|2 |a|2 2x a + 8x b 4|b|2 3r2 6x c + 3|c|2 = 0 |a|2 4|b|2 + 3|c|2 2x (a 4b 3c) 3r2 = 0
b a Podemos zerar o produto escalar desta equao, assim 3c = 4ba c = 4 3 3 . Naturalmente, isto tambm determina um valor especco de c. Esta substituio nos d a nova igualdade:

|a|2 4|b|2 + 3

4b a 3r2 = 0 3 3 3 16 2 3 8 3 |a|2 4|b|2 + |b| a b + |a|2 3r2 = 0 3 9 9 3|a|2 12|b|2 + 16|b|2 8a b + |a|2 9r2 = 0

4|a|2 |b|2 8a b + |a|2 9r2 = 0 4|a b|2 = 9r2 2|a b| = 3r k Escolhendo 3c = 4b a e 3r = 2|a b|, podemos garantir que |x a| = 2|x b| |x c| = r.

Exerccios do livro do Bartle


6R - Se S um conjunto delimitado de um nmero real e se S0 um subconjunto no vazio de S, ento inf S inf S0 sup S0 sub S. s vezes mais conveniente para expressar essa relao de outra forma. Seja f ser denido em um conjunto no vazio D e tm alcance limitado em R Se D0 uma organizao no vazio subconjunto. Resoluo:

6S - Seja X e Y conjuntos no vazios e seja f denida em XxY um subconjunto limitado de R Seja f1 (x) = sup{f (x, y ) : y Y }, f2 (x) = sup{f (x, y ) : x X }. Estabelea o princpio de Suprema repetido

sup{f (x, y ) : x X, y Y } sup{f1 (x) : x X } sup{f2 (y ) : y Y }

Podemos expressar tambm como

supx,v f (x, y ) = supv supx f (x, y ) = supy supx f (x, y ) Resoluo:

6T - Seja f e f1 conforme o exerccio anterior e seja g2 (y) = inf {f (x, y) : x X}. Prove que sup{g2 (y) : y Y} inf {f1 (x) : x X}. Mostre que a desigualdade estrita pode ser mantida. Podemos expressar a desigualdade como supy infx f (x, y) infx supy f (x, y) Resoluo:

6U - Seja X um conjunto no vazio e seja f e g funes em X de subconjuntos limitados em R. Mostre que inf {f (x) : x X } + inf {g (x) : x X } inf {f (x) + g (x) : x X } inf {f (x) : x X } + sup{g (x) : x X } sup{f (x) + g (x) : x X } sup{f (x) : x X } + sup{g (x) : x X } Resoluo:

Você também pode gostar