FUNÇAO BIJETIVA

Uma função bijetiva, função bijetora, correspondência biunívoca ou bijeção, é uma função injectiva e sobrejectiva (injetora e sobrejetora).

Os termos injectiva, sobrejectiva e bijectiva se popularizaram devido ao seu uso por Nicolas Bourbaki^[1].

Índice

  [esconder] 

• 1Existência
• 2Construção de funções bijetivas
• 3Teoria das Categorias
• 4Referências
• 5Ver também

Existência[editar | editar código-fonte]

Quando dois conjuntos finitos têm o mesmo número de elementos, então existe uma bijecção entre esses conjuntos. Na teoria dos conjuntos, essa propriedade é usada para definir a cardinalidade de conjuntos: dois conjuntos têm o mesmo número de elementos se, e somente se, existe uma bijecção entre eles.

O teorema de Cantor-Bernstein-Schroeder constrói uma bijecção entre A e B, dadas duas injecções ${\displaystyle f:A\rightarrow B}$ e ${\displaystyle g:B\rightarrow A}$.

Construção de funções bijetivas[editar | editar código-fonte]

Se existe uma função injetiva ${\displaystyle f:A\to B}$, então existe, trivialmente, uma função bijetiva ${\displaystyle g:A\to C\subseteq B}$.

A questão análoga para funções sobrejetivas não é trivial: construir uma função bijetiva ${\displaystyle f:C\to B}$ com ${\displaystyle C\subseteq A}$ a partir de uma função sobrejetiva ${\displaystyle f:A\to B}$ exige o Axioma da escolha.

Teoria das Categorias[editar | editar código-fonte]

Na Teoria das categorias, funções bijetivas são os isomorfismos da categoria Set. Em várias outras categorias os isomorfismos também são funções bijetivas, normalmente com alguma propriedade extra (por exemplo, na categoria dos grupos os isomorfismos são funções bijetivas que preservam o produto e a inversão).

Referências

1. Ir para cima↑ Writing the Ultimate Mathematical Textbook: Nicolas Bourbaki’s Éléments de mathématique, por Leo Corry, Tel Aviv University

Ver também[editar | editar código-fonte]

Outros projetos Wikimedia também contêm material sobre este tema:
	Livros e manuais no Wikilivros

Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.

[Expandir] v • e