1. Verdadeiro ou falso? Para as afirmativas verdadeiras forneca justificativas breves, para as
afirmativas falsas forneca contra-exemplos: (a) Se |A|e < e existe um conjunto mensuravel E A, tal que |A|e = |E|, entao A e mensuravel. (b) Todo conjunto de medida exterior finita contem um subconjunto nao mensuravel; (c) Sejam S, T Rn dois conjuntos quaisquer e G Rn um conjunto aberto tal que S G e T G = , entao |S T |e = |S|e + |T |e . 2. Prove que a medida exterior e invariante por translacoes, ou seja, se E Rn e y Rn entao |E + y|e = |E|e 3. Usando a seguinte definicao para conjunto mensuravel: E Rn e mensuravel se |A|e = |A E|e + |A E c |e , A Rn . prove que: (a) Se |E|e = 0 entao E e mensuravel; (b) Se E1 e E2 sao mensuraveis, entao E1 E2 e mensuravel; (c) Se E1 E2 sao ambos mensuraveis e |E1 |e < entao |E2 E1 | = |E2 | |E1 |. 4. Seja f : [a, b] R contnua e : [a, b] R de variacao limitada (caso em que a integral Rb de Riemann-Stieltjes a f d existe). Prove que: (a) se f e contnua e de classe C 1 em [a, b], entao Z b Z b f (x)d(x) = f (t)0 (t)dt; a
(b) se f e contnua e e limitada e crescente em [a, b] entao existe [a, b] tal que Z b f (x)d(x) = f ()((b) (a)); a