Escolar Documentos
Profissional Documentos
Cultura Documentos
Índice
1Definição
2Exemplos
3Aplicações lineares
4Injeções podem ser desfeitas
5Injeções podem tornar-se invertíveis
6Outras propriedades
7Provando que as funções são injetivas
o 7.1Exemplo 1
o 7.2Exemplo 2
8Ver também
9Notas
10Referências
11Ligações externas
Definição
Seja uma função cujo domínio é um conjunto Diz-se que a
função é injetiva desde que para todos e em sempre que então isto
é, implica Equivalente, se então
Simbolicamente,
Exemplos
A função definida por não é injectiva, pois existe
pelo menos um tal que por exemplo, para Isto é,
o domínio da função admite que dois objectos
distintos tenham a mesma imagem. Noutras
palavras, existem dois valores diferentes que
possam substituir a variável para que o valor da
função seja igual a 4. Esses valores são 2 e -2.
A função definida por é injectiva, pois implica
que deve ser diferente de para Isto é, o domínio
admite somente um valor para cada imagem.
Como por exemplo, para que a função seja igual
a 4, poderíamos substituir a variável somente
pelo número 2.
A função definida por é injectiva, pois implica
que deve ser diferente de para Isto é, o domínio
admite somente um valor para cada imagem.
Como por exemplo, para que a função seja igual
a 8, poderíamos substituir a variável somente
pelo número 2, enquanto que para que a função
seja igual a -8, poderíamos substituir a
variável somente pelo número -2.
Aplicações lineares
Uma transformação linear é dita injetora (ou
injetiva) se, e somente se, o seu núcleo — ou
ainda, — contiver apenas o vetor nulo e, pois,
tiver dimensão zero — isto é,
A demonstração segue adiante:
→ Hipótese: T não é injetora → com para algum
Das propriedades da transformação linear:
→
Como u ≠ v ⇔ u - v ≠ 0, então:
→
O caso de T ser injetora é exclusivo e podemos afirmar que se
Uma transformação linear também é dita injetiva
se, e somente se, leva vetores L.I em vetores L.I.
(LI = linearmente independentes)
Segue a demonstração:
→ Prova da ida:
Hipótese: A é injetiva
Tese: A leva vetores LI em vetores LI.
Se são linearmente independentes provaremos que são linearmente
independentes.
Com efeito se
Usando a linearidade de A:
⇒
⇒
Então temos que pertence ao núcleo de e como é injetiva, ou seja,
, como são LI tem-se , ou seja são linearmente independentes.
← Prova da volta:
Hipótese: A leva vetores LI em vetores LI.
Tese: A é injetiva.
Sendo é LI então é portanto e é injetiva.
Segue-se desse teorema que se tem dimensão finita, assim por exemplo não
existe transformação linear injetiva de em
Outras propriedades
Se e são ambas injetivas, então é injetiva.
Livros e manuais no Wikilivros
Função sobrejetiva
Função bijectiva
Teorema da função inversa
Notas
1. ↑ «Unicode» (PDF). Consultado em 11 de maio de 2013
2. ↑ Ao contrário da afirmação correspondente de que toda
função sobrejetiva tem um inverso à direita, isso não
requer o axioma da escolha, já que a existência de a é
implicada pela não-vacuidade do domínio. No entanto,
esta afirmação pode falhar em matemática menos
convencional, como a matemática construtiva. Na
matemática construtiva, a inclusão {0,1} → 'R' do conjunto
de dois elementos nos reais não pode ter inversão à
esquerda, pois violaria indecomposição, dando
uma retração da reta real para o conjunto {0,1}.
3. ↑ Williams, Peter. «Proving Functions One-to-One». Cópia
arquivada em 4 de junho de 2017
Referências
Bartle, Robert G. (1976), The Elements of Real
Analysis, ISBN 978-0-471-05464-1 2nd ed. , New
York: John Wiley & Sons, p. 17 ff.
Halmos, Paul R. (1974), Naive Set
Theory, ISBN 978-0-387-90092-6, New York:
Springer, p. 38 ff.
Ligações externas
v
d
e
Funções
Categorias:
Teoria dos conjuntos
Funções matemáticas
Esta página foi editada pela última vez às 23h39min de 11 de junho de
2020.
Este texto é disponibilizado nos termos da licença Atribuição-
CompartilhaIgual 3.0 Não Adaptada (CC BY-SA 3.0) da Creative
Commons; pode estar sujeito a condições adicionais. Para mais
detalhes, consulte as condições de utilização.
Política de privacidade
Sobre a Wikipédia
Avisos gerais
Versão móvel
Programadores
Estatísticas