Bueno, la única manera de que haya funciones uno a uno $A\to B$ es que A sea más pequeño, es decir: $p\leq q$ .
En este caso, elegir dicha función es lo mismo que elegir el $p$ elementos de $B$ que están en la imagen del mapa. Por lo tanto, el número de tales mapas es el número de formas de elegir $p$ elementos fuera de $q$ donde el orden importa, ya que nos importa la función real y no sólo su imagen. Por lo tanto, hay $\frac{q!}{(q-p)!}$ tales mapas.
- Para los mapas $A\to B$ Ahora necesitamos $A$ para ser al menos tan grande como $B$ Así que $p\geq q$ .
Tras un recuento similar, podemos decir que el número de tales mapas es igual al número de formas de romper un $p$ elemento establecido en $q$ subconjuntos no vacíos, correspondientes a las fibras sobre los elementos de $B$ .
Esto es más difícil. Estos se llaman los números de Stirling del segundo tipo , $s(p,q)$ .