Sejam Xe Y conjuntos finitos não vazios com cardinalidade...
Imagem de fundo

Sejam Xe Y conjuntos finitos não vazios com cardinalidade...

Sejam e Y conjuntos finitos não vazios com cardinalidade |X| = m e |Y| = n, respectivamente, em que Considere o conjunto F de todas as funções . Define-se a propriedade P como o subconjunto das funções em F que são injetoras. Para que existam funções injetoras de X em Y e sua quantidade seja dada pela expressão é condição necessária e suficiente que:

Fonte: IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de matemática elementar: conjuntos e funções . 9. ed. São Paulo: Atual, 2013. v. 1.


A

.


B

seja uma bijeção e .


C

seja sobrejetora, qualquer que sejam os valores de e .


D

.


E

.