Funciones suprayectivas

Cantidad de funciones suprayectivas

o Sean AA y BB dos conjuntos con |A|=n|A|=n y |B|

=k|B|=k. Queremos contar la cantidad de funciones
suprayectivas f:ABf:AB.
o Aplicamos el principio de inclusin-exclusin
con XX el conjunto de todas las funciones
y kkpropiedades, cada una correspondiente a un
elemento de BB. La propiedad cjcj es que el
elemento jj-simo de BB no est en la imagen de una
funcin.

o En este caso, tenemos que:

Si=(ki)(ki)n.Si=(ki)(ki)n.

Teorema

La cantidad de funciones suprayectivas de un

conjunto XX de nn elementos a un
conjunto YYcon kk elementos es:

i=0k(1)i(ki)(ki)n.i=0k(1)i(ki)(ki)n.

Nmeros de Stirling de segundo tipo

Nmeros de Stirling de segundo tipo

Denotamos con S(n,k)S(n,k) a la cantidad de maneras de

escribir el conjunto [n][n] como unin disjunta

 de kk conjuntos no vacos. (Cada manera se llama

una particin de [n][n]).

Ejemplos
o S(3,2)=3S(3,2)=3, pues [3][3] se puede escribir
como {1,2}{3}{1,2}{3}, {1,3}{2}{1,3}{2} y
{2,3}{1}{2,3}{1}.
o S(4,2)=7S(4,2)=7, pues [4][4] se puede escribir
como {1,2}{3,4}{1,2}{3,4}, {1,3}{2,4}
{1,3}{2,4}, {2,3}{1,4}{2,3}{1,4}. {1,2,3}{4}
{1,2,3}{4}, {1,2,4}{3}{1,2,4}{3}, {1,3,4}{2}
{1,3,4}{2} y {2,3,4}{1}{2,3,4}{1}.

Teorema

Se tiene que:

S(n,k)=1k!i=0k(1)i(ki)(ki)n.S(n,k)=1k!

i=0k(1)i(ki)(ki)n.

Demostracin

Cada funcin suprayectiva f:[n][k]f:[n][k] da una

particin de [n][n] en kk conjuntos no vacos: f1(1),

,f1(k)f1(1),,f1(k). Aplicando despus de ff una

permutacin de [k][k], se obtiene otra funcin
suprayectiva que da la misma particin.

Propiedades
 Propiedades elementales

Tenemos que:

o S(n,k)=0S(n,k)=0 si n<kn<k,
o S(n,0)=0S(n,0)=0,
o S(n,1)=1S(n,1)=1,
o S(n,n)=1S(n,n)=1,
o S(n,2)=2n11S(n,2)=2n11,
o S(n,n1)=(n2)S(n,n1)=(n2).

Teorema

S(n,k)=kS(n1,k)+S(n1,k1).S(n,k)=kS(n1,k)
+S(n1,k1).

Demostracin

o Dividimos a las particiones de [n]

[n] en kk bloques en dos clases de acuerdo a si {n}
{n} es uno de los bloques.
o Dada una particin de [n1]
[n1] en k1k1 bloques, podemos obtener una
particin de [n][n] en kk bloques uniendo {n}{n}. En la
particin resultante, {n}{n} es bloque.
o Para cada particin de [n1][n1] en kk bloques,
podemos unir {n}{n} a cualquiera de sus kkbloques
para obtener una particin de [n][n] donde {n}{n} no

es bloque.