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

Um Fórum em Português dedicado à Matemática
Data/Hora: 28 mar 2024, 16:48

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 5 mensagens ] 
Autor Mensagem
MensagemEnviado: 27 Oct 2015, 14:02 
Offline

Registado: 27 Oct 2015, 13:45
Mensagens: 21
Agradeceu: 10 vezes
Foi agradecido: 0 vez(es)
Sejam IN o conjunto dos números naturais e f : IN → IN uma função que satisfaz as propriedades:

a) dado qualquer m ∊ IN existe n ∊ IN tal que f(n) ≥ m

b)A = {s ∊ IN ; s ≤ f(r) } está no conjunto imagem de f ,para todo r ∊ IN

Mostre que f é sobrejetora.


Topo
 Perfil  
 
MensagemEnviado: 28 Oct 2015, 08:19 
Offline

Registado: 17 jan 2013, 13:36
Mensagens: 2487
Localização: Lisboa
Agradeceu: 31 vezes
Foi agradecido: 1049 vezes
A condição a) diz que a função assume valores arbitrariamente grandes, enquanto que a condição b) garante que todos os inteiros inferiores a um qualquer valor de f pertencem também à imagem. Ora, se todos os inteiros inferiores a inteiros arbitrariamente grandes pertencem à imagem de f, a imagem de f tem que ser \(\mathbb{N}\), sendo a função "sobrejectora".


Topo
 Perfil  
 
MensagemEnviado: 29 Oct 2015, 11:33 
Offline

Registado: 27 Oct 2015, 13:45
Mensagens: 21
Agradeceu: 10 vezes
Foi agradecido: 0 vez(es)
então basicamente oque quer dizer é que se eu tenho imagens maiores ou iguais que qualquer natural e ao mesmo tempo eu tenho imagens menores ou iguais a um natural qualquer quer dizer que eu tenho a imagem de todos os naturais portanto ela é sobrejetora o meu raciocínio sobre a resposta está correto ?


Topo
 Perfil  
 
MensagemEnviado: 29 Oct 2015, 15:13 
Offline

Registado: 17 jan 2013, 13:36
Mensagens: 2487
Localização: Lisboa
Agradeceu: 31 vezes
Foi agradecido: 1049 vezes
A primeira parte está clara: existem imagens tão grandes quanto quisermos. A segunda parte não estou certo que tenho compreendido completamente... Dada uma imagem m, todos os naturais inferiores ou iguais a m também são imagens. Por exemplo, se 10000 for imagem, todos os inteiros inferiores ou iguais a 10000 são imagens. Como este limite dos 10000 pode ser elevado tanto quanto quisermos (primeira parte), então todo o natural vai estar na imagem.


Topo
 Perfil  
 
MensagemEnviado: 30 Oct 2015, 13:11 
Offline

Registado: 27 Oct 2015, 13:45
Mensagens: 21
Agradeceu: 10 vezes
Foi agradecido: 0 vez(es)
obrigado eu acredito que seja isso mesmo pois como temos qualquer imagem maior que qualquer natural e também um natural qualquer que é menor que a imagem de qualquer natural isso quer dizer que temos todos os naturais


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

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 36 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: