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

Re: [obm-l] Função_Exponencial



Title:
Veja o final do e-mail :). Ele já havia dado uma solução.
Abraços,
Carlos.

Lista OBM wrote:
Meu caro Carlos,
minha pergunta é se alguém conhece a tal f tal que (fof)(x) = e^x, o qual foi sugerido pelo Fábio D. Moreira. Não entendi o por quê do chateado!!!
 
Éder.  

Carlos <cjw@zipmail.com> wrote:
Oi Éder, o Domingos Jr. deu uma resposta bem geral ao seu problema. 

Só para você não ficar chateado, poderia pegar, por exemplo, g(x)= raiz cúbica (x) e f(x)=e^(x^3), que novamente responderia ao seu problema.

O Fábio Dias Moreira fez uma alteração no seu enunciado, tornando o problema mais interessante.
Abraços,
Carlos

Lista OBM wrote:
De fato, esse problema da revista mat. universitária parece ser bem mais complicado. Você, ou alguém da lista, sabe a resposta para esse problema?
 
Éder. 

Fábio Dias Moreira <fabio@dias.moreira.nom.br> wrote:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Lista OBM said:
> Gostaria de saber se existe duas funções reais f e g tais que (fog)(x) =
> e^x.
> [...]

Como outros já responderam, sim, existe: basta tomar f(x) = x e g(x) = e^x.

O mais interessante nesse problema é que existe uma função f: R -> R tal que
(fof)(x) = e^x -- esse é um dos problemas propostos na Matemática
Universitária, no. 35, páginas 41-46.

(espaço para quem quer pensar no problema...)


















































Cosndiere A_1 = (-1, 0], A_2 = (-inf, -1] e, se A_i = (a_i, b_i], então
A_{i+2} = (e^a_i, e^b_i] (estou definindo e^-inf = 0). É fá! cil ver que! os
A_i's são uma partição de R.

Agora, defina f_i: A_i -> A_{i+1} por f_1(x) = -1/(x+1) e f_{i+1}(x) =
e^(f_i^{-1}(x)), onde f_i^{-1} é a inversa da f_i. Para provar que esta
definição faz sentido, temos que provar que f_i é invertível para todo i.
Isso é verdade para i = 1; suponha a afirmação verdadeira para f_{i-1}. Então
f_i é trivialmente injetora, e é sobrejetora, pois a imagem de f_{i-1}^{-1} é
A_{i-1}, logo a imagem de f_i é a "exponencial" de A_{i-1}, que é A_{i+1}.

Finalmente, defina f(x) = f_i(x), onde i é escolhido de tal forma que x
pertença a A_i. Então

f(f(x)) = f(f_i(x)). Mas f_i(x) pertence a A_{i+1}, logo

f(f(x)) = f_{i+1}(f_i(x)) = e^(f_i^{-1}(f_i(x))) = e^x para todo x real.

[]s,

- --
Fábio Dias Moreira
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)

iD8DBQFA/aOmalOQFrvzGQoRApaJAJwOwqqzb2/iF37X4BnJ+fPFyHZylQCePqdA
Z9SahgcKCY+ovHQkGILqRWg=
! =EbqB
-----END PGP SIGNATURE-----


=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================

__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com


Yahoo! Mail agora ainda melhor: 100MB, anti-spam e antivírus grátis!