Escolar Documentos
Profissional Documentos
Cultura Documentos
‡
Rodrigo Carlos Silva de Lima
rodrigo.uff.math@gmail.com
‡
1
Sumário
1 Equacões funcionais 3
1.1 f(x + y) = f(x).f(y) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 f(x.y) = f(x) + f(y). . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 f(x + y) = f(x) + f(y) . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.3 f(x + y) + f(x − y) = 2f(x) + 2f(y) . . . . . . . . . . . . . . . . . . 8
1.2 Homomorfismo e Isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . 9
2
Capı́tulo 1
Equacões funcionais
ê Demonstração. Vale que f(x.1) = f(x) + f(1) portanto f(1) = 0 desse fato e
3
CAPÍTULO 1. EQUACÕES FUNCIONAIS 4
f(x + 1)
lim = 1 segue que f 0 (1) = 1. Derivamos f(x.y) = f(x) + f(y) em relação à x
x→0 x
considerando y constante arbitrário, que resulta em yf 0 (x.y) = f 0 (x), tomando x = 1
1 1
tem-se yf 0 (y) = f 0 (1) = 1, portanto f 0 (y) = , como ln 0 (x) = , então ln(x) e f(x)
y x
diferem por uma constante, que deve ser nula pois f(1) = 0 = ln(1).
Nessas condições, para todo x ∈ Q vale que f(x) = ax, onde f(1) = a.
ê Demonstração.
• Vale f(0) = 0 pois f(0 + 0) = f(0) + f(0) = 2f(0) = f(0) se fosse f(0) 6= 0
chegarı́amos no absurdo de 2 = 1 então vale f(0) = 0.
• Dado x real arbitrário, vale que f(−x) = −f(x) pois f(x − x) = f(x) + f(−x) = 0
portanto f(−x) = −f(x).
• Vale que f(nx) = nf(x) para qualquer x real e n natural pois, por indução
f(1.x) = 1.f(x), supondo f(nx) = nf(x) tem-se que
ê Demonstração.
f(xn ) = xn .f(1) = xn .a
x x x
f(x) = f( + ) = f( )2 > 0
2 2 2
isto é,
h(x + y) = h(x) + h(y)
definindo h : R → R+ com h(x) = g(ex ) temos pela relação funcional acima que
h contı́nua, por ser composição de contı́nuas, então é uma função linear h(x) = bx
para alguma constante b ∈ R
g(ex ) = bx
g(y) = b ln(y).
xn ≤ x ≤ yn
CAPÍTULO 1. EQUACÕES FUNCIONAIS 7
tomando o limite
x.a ≤ f(x) ≤ x.a.
Portanto f(x) = a.x para qualquer x real.
disso segue que tomando x > y, f(x − y) > 0, f(x) − f(y) > 0 ⇒ f(x) > f(y),
a função é crescente, pelo resultado anterior ela é da forma f(x) = ax, como
f(1) = 1 = a então f(x) = x∀ x ∈ R.
f(x + y) = f(x).f(y),
f(x + y) = f(x).f(y),
sendo f monótona e que não se anula. Então, f(x) = eax , para algum a ∈ R.
ê Demonstração.
• Como g é crescente e satisfaz g(x) + g(y) = g(x) + g(y), então g é linear, por
isso existe a tal que
tomamos agora x = kh e ficamos com g((k + 1)h) − g(kh) = 2f(h), aplicamos a soma
X
n−1
em ambos lados, que é telescópica, resultando em
k=0
g(nh) − g(0) = 2nf(h) ⇒ g(nh) = 2nf(h) + f(h) ⇒ f((k + 1)h) − f(kh) = 2kf(h) + f(h)
X
n−1
aplicamos novamente a soma em ambos lados de ambos lados tem-se
k=0
n(n − 1)
f(nh) − f(0) = 2f(h) + f(h) = n2 f(h)
|{z} 2
=0
portanto f(nh) = f(h)n2 , tomando h = 1 segue que f(n) = an2 onde f(1) = a, perceba
p
que as contas foram feitas com h arbitrário, podemos tomar então h = e daı́
n
p p
f(nh) = f(n ) = f(p) = ap2 = f( )n2
n n
2
p p
daı́ f( ) = a como querı́amos mostrar.
n n
Se f : R → R contı́nua com a mesma lei da função acima, segue que f(x) = ax2
para todo x real por continuidade.
f(x.y) = f(x).f(y)
f(1A ) = 1B
ê Demonstração. Temos
f(0) = 0.
ê Demonstração. Pois
$ Corolário 3.
f(a − b) = f(a) + f(−b) = f(a) − f(b).
CAPÍTULO 1. EQUACÕES FUNCIONAIS 11
ê Demonstração.
ê Demonstração.
•
f−1 (x + y) = f−1 (f(a) + f(b)) = f−1 (f(a + b)) = a + b = f−1 (x) + f−1 (y).
•
f−1 (x.y) = f−1 (f(a).f(b)) = f−1 (f(a.b)) = a.b = f−1 (x).f−1 (y).
ê Demonstração.
• Vale f(0) = 0 pois f(0 + 0) = f(0) + f(0) = 2f(0) = f(0) se fosse f(0) 6= 0
chegarı́amos no absurdo de 2 = 1 então vale f(0) = 0.
• Dado x racional arbitrário, vale que f(−x) = −f(x) pois f(x−x) = f(x)+f(−x) =
0 portanto f(−x) = −f(x).
• Vale que f(nx) = nf(x) para qualquer x racional e n natural pois, por indução
f(1.x) = 1.f(x), supondo f(nx) = nf(x) tem-se que
px p p
• Daı́ concluı́mos que f( ) = f(x) onde é um número racional.
q q q
p p p
• f( ) = f(1) = , então a função é a identidade.
q q q
Perceba que usamos apenas as propriedades f(x + y) = f(x) + f(y) e f(1) = 1, não
usamos f(x.y) = f(x).f(y) o que poderia simplificar as contas porém é desnecessário
supor.