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

11

24

50

35

10

120

274

225

85

15

720

1764

1624

735

175

21

5040

13068

13132

6769

1960

322

28

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

15

25

10

31

90

65

15

63

301

350

140

21

127

966

1701

1050

266

28

255

3025

7770

6951

2646

462

36

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: