[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] supremo



Meu caro Cláudio,
não entendi sua pergunta!!!

Claudio Buffara <claudio.buffara@terra.com.br> wrote:
on 08.06.04 11:39, Lista OBM at obm_lista@yahoo.com.br wrote:

Seja B(X;R) = {f: X --> R; f limitada}. Gostaria de saber se alguém sabe se existe alguma relação entre o
| sup_{x em X}(f(x) - g(x)) | e o sup_{x em X}{| f(x) - g(x) |}, onde f e g estão em B(X;R).

Obs.: (i) O símbolo "_" indica índice, por exemplo, x_{0} quer dizer x índice 0;
        (ii) X é um subconjunto do conjunto dos reais (denotado por R);
       (iii) As "{ }" não precedidas de "_" indica conjunto.

Grato desde já, Éder.

Oi, Eder:

As funcoes f e g sao dadas ou os supremos sao calculados sobre todas as f e g de B(X;R) alem de todos os x de X ?


De qualquer forma, basta considerar a funcao h:X -> R dada por h(x) = f(x) - g(x), pois eh claro que se f e g pertencem a B(X;R) entao h tambem pertence.

Assim, sejam:
A = sup{h(x)   t.q.   x pertence a X   e   h a B(X;R)};
a = inf{h(x)   t.q.   x pertence a X   e   h a B(X;R)};
B = sup{|h(x)|   t.q.  x pertence a X   e   h a B(X;R)}.

Queremos a relacao entre |A| e B.

Se h for dada de antemao, entao vale |A| <= B.

Nesse caso, basta mostrar que B = max{|A|,|a|}, o que eh consequencia das desigualdades:
B >= |h(x)| >= max{h(x),-h(x)}.
e do fato que, para qualquer subconjunto Y de R, vale:
sup(-Y) = -inf(Y)  e  inf(-Y) = -sup(Y), onde -Y = {-y  t.q.  y pertence a Y}.

Um exemplo onde vale a desigualdade estrita eh:
X = [0,1]  e  h(x) = 3x - 2.
Nesse caso:
A = 1, a = -2 e B = 2 > 1 = |A|.

***

Por outro lado, se os supremos forem tomados sobre todas as funcoes de B(X;R), entao vale a igualdade, pois se a funcao f pertence a B(X;R), entao a funcao |f|, dada por |f|(x) = |f(x)| tambem pertence e, no caso de |f|, os dois supremos sao claramente iguais, pois a funcao toma apenas valores nao-negativos.


[]s,
Claudio.



Yahoo! Mail - Participe da pesquisa global sobre o Yahoo! Mail. Clique aqui!