[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RES: RES: [obm-l] Probabilidade
A história daquela Sra e do sal, eu nao 
entendi nao... Poderia explicar melhor?  Vou tentar a da funcao, que parece 
mais facil.
 
(a) Se c =0, entao g eh constante e 
f(x) = x + C para alguma constante C. Segue-se automaticamente que f eh 
bijetora. Supondo-se c em (0, 1), admitamos que em I existam x e y 
distintos tais que f(x) = f(y). Entao, x + g(x) = y + g(y) => |g(x) - 
g(y)| = |x- y|. Como g eh Lipschitz, temos que |x - y| <=  c|x -y|. Como 
x e y sao distintos, concluimos que c>=1, contrariamente aa hipotese. Logo, f 
eh uma injecao de I sobre f(I). E como todo elemento de f(I) eh, por 
definicao, imagem de algum x de I, segue-se que f eh uma bijecao enter I e 
f(I).
 
(b) Se c = 0, entao f(x) = x + C ea 
conclusao eh trivialmente verificada. Se c >0, jah foi demonstrado aqui, 
 ha pouco tempo, que, como g eh Lipschitz com constante c e diferenciavel 
em I, entao |g'(x| <= c para todo x de I.   Como f'(x) = 1 + g'(x) 
e  0 < c < 1, temos que f' eh estritamente positiva em I (o que 
implica que f seja esritamente crecente em I). Por ser bijecao, f tem uma 
inversa f^(-1) e, como f' nao se anula em I e eh continua, um resultado classico 
da Analise diz que f^(-1) existe em I.  
 
(c) Suponhamos que I = R. Se c= 0 , 
entao f(x) = x + C e a conclusao eh imediata. Se c estiver em (0,1) entao, para 
todo real x, temos que |g(x) - g(0)| < = c|x|. de modo que |g(x| <= |g(0| 
+ c|x|. Para x>0, temos entao que f(x) = x + g(x) >= x -|g(0)| -c|x| = 
-|g(0)| + (1-c)*x. .Como c esta em (0,1), 1-c >0 e, aumentando x, podemos 
tornar f arbitrariamente grande. De modo similar, fazendo x -> -oo podemos 
faxer f(x) -> -oo. Como f eh continuaem R, pois g que eh  Lipscitz e a 
funcao identidade sao continuas, temos que f(I) = R.   
 
 
Artur 
 
 
 
 
 -----Mensagem original-----
De: 
owner-obm-l@mat.puc-rio.br [mailto:owner-obm-l@mat.puc-rio.br]Em nome de 
claudio.buffara
Enviada em: terça-feira, 18 de outubro de 2005 
20:15
Para: obm-l
Assunto: Re:RES: [obm-l] 
Probabilidade
   
  Sejam I um intervalo aberto de R, c um real em [0,1) e g: I -> R tal 
  que:
  |g(x) - g(y)| <= c|x - y| para quaisquer x e y em I.
  Seja f: I -> R dada por f(x) = x + g(x).
   
  a) Prove que f é uma bijeção entre I e J = f(I) = intervalo aberto de 
  R.
   
  b) Prove que se g é continuamente diferenciável, então f é um 
  difeomorfismo (bijeção diferenciável com inversa diferenciável) entre I e 
  J.
   
  c) Prove que se I = R, então J = R.
   
  []s,
  Claudio.