Nmeros de Stirling de primera clase.

Dado el grupo de permutaciones Sn sobre un conjunto de n elementos, se podra plantear la cuestin de cuntas permutaciones se pueden descomponer exactamente en k ciclos. A este nmero S1(n,k) as definido lo llamaremos Nmero de Stirling de primera clase. Por ejemplo, el nmero S1(4,3) = 6 significa que hay seis permutaciones de 4 elementos (por ejemplo. en el conjunto 1234) que se pueden descomponer en 3 ciclos. Seran estas: (1)(2)(34), (1)(3)(24), (1)(4)(23), (2)(3)(14), (2)(4)(13) y (3)(4)(12). Se puede definir S1(n,0) con n>0 como 0, y aceptaremos que S1(0,0)=1 y que S1(0,n)=0. Es claro que se cumple que S1(n,n)=1 pues slo obtendramos la permutacin identidad, y es fcil demostrar que S1(n,1)=(n-1)! Los primeros nmeros de Stirling de primera clase son 0 0 1 2 3 4 5 6 7 8 1 0 0 0 0 0 0 0 0 1 1 2 6 24 120 720 5040 1 3 11 50 274 1764 13068 1 6 35 225 1624 13132 1 10 85 735 6769 1 15 175 1960 1 21 322 1 28 1 1 2 3 4 5 6 7 8

La propiedad fundamental de estos nmeros, y que permite generarlos en una tabla, es la siguiente: S1(n,r) = (n-1)*S1(n-1,r)+S1(n-1,r-1) Se puede comprobar en la tabla.

Nmeros de Stirling de Segunda Clase Es interesante preguntarse cuntas particiones distintas de k subconjuntos se pueden definir en un conjunto de n elementos. El resultado se denomina como nmero de Stirling de segunda clase y lo representaremos por S2(n,k). As, el nmero S2(5,4) representar el nmero de particiones distintas en cuatro subconjuntos disjuntos que se pueden definir en un conjunto de 5 elementos. Por ejemplo, en el conjunto {1,2,3,4,5} se pueden definir estas particiones de 4: {1}{2}{3}{45}, {1}{2}{4}{35}, {1}{2}{5}{34}, {1}{3}{4}{25}, {1}{3}{5}{ 24}, {1}{4}{5}{23}, {2}{3}{4}{15}, {2}{3}{5}{14}, {2}{4}{5}{13}, {3}{4}{5}{12}. En total 10, como se puede comprobar en la tabla de abajo. Es claro que S2(n,0)=0 y que S2(n,1)=S2(n,n)=1 porque slo hay una forma de partir un conjunto de n elementos en conjuntos de n elementos (l mismo) y tambin una sola forma de partirlo en n subconjuntos (los de un solo elemento). La propiedad que permite generar estos nmeros es: S2(n,r) = r*S1(n-1,r)+S1(n-1,r-1 Puedes comprobar esta propiedad en la siguiente tabla de nmeros de Stirling de segunda clase: 0 0 1 2 3 4 5 6 7 8 9 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 3 7 15 31 63 127 255 1 6 25 90 301 966 3025 1 10 65 350 1701 7770 1 15 140 1050 6951 1 21 266 2646 1 28 462 1 36 1 1 2 3 4 5 6 7 8 9

El nmero total de particiones que admite un conjunto, independientemente de su estructura, se llama nmero de Bell del conjunto y se representa por B(n). Es evidente que se pueden deducir de los anteriores sumando toda una fila. Los primeros nmeros de Bell son, por tanto:

0 1

1 1

2 2

3 5

4 15

5 52

6 203

7 877

8 4140

9 21147

10 115975

Definicin Los Nmeros de Stirling de segunda especie S(n,k) se definen como la cantidad de maneras que existen de hacer una particin de un conjunto de n elementos en k subconjuntos. La suma

es el n-simo Nmero de Bell. Si tomamos la frmula

(en particular, (x)0 = 1 porque se trata de un producto vaco), podemos caracterizar los nmeros de Stirling de segundo tipo mediante

Relacin de recurrencia Los Nmeros de Stirling de segunda especie obedecen la siguiente relacin de recurrencia

con

Por ejemplo, el nmero 25 en la columna k=3 y la fila n=5 viene dado por 25=7+(36), donde 7 es el nmero de arriba a la izquierda del 25, 6 es el nmero que hay encima del 25 y 3 es la columna conteniendo el 6.

Frmula explcita Los Nmeros de Stirling de segunda especie vienen dados por la siguiente frmula explcita: