Deje $H(n,k)$ el número de secuencias de $b_1,b_2, \ldots, b_n$ tal: que el elemento mayor es $k$, todos los números de $1,2,\ldots,k$ ocurren, y la primera aparición de $i$ ocurre antes de la primera aparición de $i+1$ todos los $i \in \{1,2,\cdots, k-1\}$.
Mi objetivo es mostrar que la $H(n,k)= S_{n,k}$ donde $S_{n,k}$ indica el número de Stirling del segundo tipo.
Aquí está mi enfoque: empecé por la comprensión de cómo estas secuencias parecen y se me ocurrió la siguiente:
$H(2,1) = |\{11\}| =1 = S_{2,1}$
$H(2,2) = |\{12\}| =1 = S_{2,2}$
- $H(3,2) = |\{112, 121,122\}| =3 = S_{3,2}$
Yo calculada par más para ver lo que pasa. Aquí está mi observación: me di cuenta de que $$H(3,2)=1+2(1) = H(2,1) + H(2,2)$$ and that quickly let me realize that $H(n,k)$ will satisfy the well known Stirling number of the second kind relation reccurence which is $$S_{n,k}= S_{n-1,k-1}+ kS_{n-1,k}.$$ Thus, I claim that $H(n,k)= S_{n,k}$.
Traté de mostrar esto por inducción, pero no estoy mostrar si esto tiene sentido: $$H_{n+1,k+1}=H_{n,k} + (k+1) H_{n,k+1}= S_{n,k} + (k+1) S_{n,k+1}= S_{n+1,k+1}$$
Pensé que esta pregunta está relacionada con la Express $F(n,k)$ a través de los Números de Stirling si ...
Es esto suficiente? Cualquier ayuda se agradece.