Ensino SuperiorConjuntos não enumerável Tópico resolvido

Poste aqui problemas sobre assuntos estudados no Ensino Superior (exceto os cobrados em concursos públicos e escolas militares).

Moderador: [ Moderadores TTB ]

Avatar do usuário
Autor do Tópico
eliz2016
Elite
Mensagens: 150
Registrado em: Seg 11 Abr, 2016 22:55
Última visita: 09-02-22
Jan 2021 19 23:17

Conjuntos não enumerável

Mensagem não lida por eliz2016 »

Boa noite , segue a dúvida.
Sejam A e B conjuntos e B não enumerável. Prove que se existir uma função sobrejetiva de A em B, então A é não enumerável.



Obrigada.




Avatar do usuário
Cássio
3 - Destaque
Mensagens: 895
Registrado em: Seg 12 Dez, 2011 14:05
Última visita: 29-09-22
Localização: PETROLINA/PE
Jan 2021 21 08:56

Re: Conjuntos não enumerável

Mensagem não lida por Cássio »

Por absurdo, suponha que [tex3]A[/tex3] é enumerável. Sem perda de generalidade, digamos [tex3]A=\mathbb{N}[/tex3] e seja [tex3]f[/tex3] função sobrejetora de [tex3]\mathbb{N}[/tex3] em [tex3]B[/tex3] . Dado [tex3]b\in B[/tex3] , seja [tex3]\mathbb{N}_b:=\{n\in\mathbb{N}\mid f(n)=b\}.[/tex3] Pela sobrejetividade de [tex3]f[/tex3] , temos que [tex3]\mathbb{N}[/tex3] é não vazio. E pelo princípio da boa ordenação, tal conjunto possui menor elemento. Denotemos então [tex3]s_b:=\min\mathbb{N}_b[/tex3] .

Como [tex3]S=\{s_b\mid b\in B\}\subseteq \mathbb{N}[/tex3] , segue que [tex3]S[/tex3] é enumerável. É fácil notar que [tex3]f\big|_S: S\to B[/tex3] é uma bijeção. Portanto, [tex3]B[/tex3] é enumerável, contradição.



"Se você se sente menos e menos satisfeito com suas respostas a perguntas que você mesmo elabora mais e mais perfeitamente, é sinal de que sua capacidade intelectual está aumentando."
Charles Churchman

Avatar do usuário
Autor do Tópico
eliz2016
Elite
Mensagens: 150
Registrado em: Seg 11 Abr, 2016 22:55
Última visita: 09-02-22
Fev 2021 03 23:27

Re: Conjuntos não enumerável

Mensagem não lida por eliz2016 »

Boa noite, muito obrigada pela ajuda.




Responder
  • Tópicos Semelhantes
    Respostas
    Exibições
    Última msg

Voltar para “Ensino Superior”