Fórum de Matemática | DÚVIDAS? Nós respondemos! https://forumdematematica.org/ |
|
Mostrar que uma função é sobrejetora https://forumdematematica.org/viewtopic.php?f=21&t=6697 |
Página 1 de 1 |
Autor: | Marcella [ 13 ago 2014, 12:44 ] |
Título da Pergunta: | Mostrar que uma função é sobrejetora |
Bom dia!!! Seja \(f:A\rightarrow B\) uma função. Mostre que f é sobrejetora se, e somente se, \(f(f^{-1}(Y))=Y\) para todo \(Y\subset B\). |
Autor: | Walter R [ 14 ago 2014, 18:17 ] |
Título da Pergunta: | Re: Mostrar que uma função é sobrejetora [resolvida] |
Qualquer que seja a função, sempre vale que \(f(f^{-1}(B))\subset B\) (fica como exercício). Para provar a inclusão contrária, suponha \(y \in B\). Como a \(f\) é sobrejetiva, existe \(x \in A\) tal que \(y=f(x)\), o que implica \(x=f^{-1}(y)\), ou seja, \(y=f(x)\in f(f^{-1}(B))\). Isto prova que quando a função é sobrejetiva, temos \(B \subset f(f^{-1}(B))\). Se a função não é sobrejetiva, pode acontecer que se tenha \(y \in B\) mas não existir \(x \in A\) tal que \(y=f(x)\). Exemplo: \(f:\left \{ 1,2 \right \}\rightarrow \left \{ 1,4,8 \right \};f(x)=x^2\). O elemento 8 pertence ao contradomínio, mas não existe x no domínio tal que \(f(x)=8.\). |
Página 1 de 1 | Os Horários são TMG [ DST ] |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |