Função bijectiva: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Desambiguação utilizando AWB |
|||
Linha 1:
{{sem-fontes|data=junho de 2010}}
[[Imagem:Bijection.svg|thumb|Uma função bijetiva.]]
Uma '''função bijetiva''', '''função bijetora''', '''correspondência biunívoca''' ou '''bijeção''', é uma [[função (matemática)|função]] [[função injectiva|injectiva]] e [[função sobrejectiva|sobrejectiva]] (''injetora e sobrejetora'').
Os termos ''injectiva'', ''sobrejectiva'' e ''bijectiva'' se popularizaram devido ao seu uso por [[Nicolas Bourbaki]]<ref>[http://www.tau.ac.il/~corry/publications/articles/pdf/Bourbaki%20-%20OHHM.pdf Writing the Ultimate Mathematical Textbook: Nicolas Bourbaki’s Éléments de mathématique], por Leo Corry, [[Tel Aviv University]]</ref>.
Linha 13:
== Construção de funções bijetivas ==
Se existe uma função injetiva <math>f: A \to B
A questão análoga para funções sobrejetivas não é trivial: construir uma função bijetiva <math>f: C \to B
== Teoria das Categorias ==
Linha 22:
{{referências}}
==
{{Correlatos
|commons =
| |||