Fórum de Matemática
DÚVIDAS? Nós respondemos!

Um Fórum em Português dedicado à Matemática
Data/Hora: 20 jun 2025, 08:26

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 
Autor Mensagem
MensagemEnviado: 22 fev 2015, 19:50 
Offline

Registado: 02 fev 2015, 14:27
Mensagens: 32
Agradeceu: 14 vezes
Foi agradecido: 0 vez(es)
Seja \(f: \mathbb{R}\rightarrow \mathbb{R}\) uma função tal que \(f(x+y)= f(x) + f(y)\)
e \(f(x.y)= f(x).f(y)\), quais quer \(x, y \in \mathbb{R}\). Prove que:
a) f(0) = 0
b) f(X) = 1 para \(x\in \mathbb{R}\), ou então f(1) = 1 e f é injetivo.


Topo
 Perfil  
 
MensagemEnviado: 24 fev 2015, 16:18 
Offline

Registado: 14 dez 2011, 15:59
Mensagens: 897
Localização: Portugal
Agradeceu: 20 vezes
Foi agradecido: 373 vezes
Creio que há uma gralha no enunciado na alínea b). Deveria estar f(x)=0 para todo o x real em vez de f(X)=1 para x real. Isto porque f constante igaul a 1 não satisfaz a condição f(x+y)=f(x)+f(y), enquanto f constante igual a 0 satisfaz as duas condições do enunciado e não é injetiva.

a) Provar que f(0)=0 é só questão de tomar x=y=0 na condição aditiva: f(0+0)=f(0)+f(0) (logo f(0)=2f(0) o que implica que f(0)=0).

b) É fácil ver que a função nula satisfaz as condições aditiva e multiplitiva. Vamos então considerar o caso em que f não é nula. Então existe um número real z tal que \(f(z)\not= 0\) que pela alínea a) terá de ser não-nulo. Então temos que:
\(f(1)=\frac{f(1)\cdot f(z)}{f(z)}=\frac{f(1\cdot z)}{f(z)}=\frac{f(z)}{f(z)}=1\)
Do facto de f(1)=1 tiramos que se \(x\not=0\) então \(f(x)\not=0\) pois \(f(x)f(x^{-1})=f(1)=1\not=0 \Rightarrow f(x)\not=0\).
Finalmente este facto mostra que f é injetiva, pois f(x)-f(y)=f(x-y)=0 se e só se x-y=0.

PS: Este exercício pode também ser resolvido usando álgebra abstrata (teoria de aneis). O que se quer mostrar é que qualquer automorfismo de aneis em R ou é trivial ou é injetivo.


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 12 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para:  
cron