Sur les combinaisons généralisées. (Q2579609)

Seien \(a_1\) Individuen \(A_1\),\dots, \(a_n\) Individuen \(A_n\) mit \(a_1+a_2+\dots +a_n=M\) gegeben. Wie groß ist die Zahl \(C^p_{(a_1,\cdots,a_n)}\) der verschiedenen Gruppierungen von \(p\leqq M\) Elementen (verallgemeinerte Kombinationen)? \textit{G. Laguarta} (Universidad, Zaragoza, 17 (1940), 469-474) bewies für \(a_1\leqq p\) und \(a_2\leqq p\): \[ C^p_{(a_1, a_2)}=a_1+a_2-p+1. \] Für \(C^p_{(a_1,a_2,a_3)}\) leitete er auch eine Formel ab. -- Hier wird durch volktändige Induktion gezeigt, daß gilt: \[ \nomultlinegap \begin{multlined} C^p_{(a_1,a_2,\dots,a_n)}=K_n^{E(a_1+a_2+\dots +a_n)}-S_n^{a_1}K_n^{E(a_1+\dots +a_{n-1})^{-1}}\\ +S_n^{a_1,a_2}K_n^{E(a_1+\dots +a_{n-2})^{-2}}-S_n^{a_,a_2,a_3}K_n^{E(a_1+\dots +a_{n-3})^{-3}}+\cdots.\end{multlined} \] Sind insbesondere \textit{alle} Summen von \(n + 1\) irgendwelchen Zahlen der Folge \(a_1\), \(a_2\),\dots, \(a_n\) höchstens gleich \(p\), so sind die oberen Indizes der \(K\) bei den \(S\) negativ, die \(K\) mithin null. Dann wird \[ \nomultlinegap \begin{multlined} C^p_{(a_1,a_2,\dots,a_n)}=K_n^{E(a_1+\dots +a_n)}\\ =\frac{(a_1+a_2+\dots +a_n-p+1)\cdots(a_1+a_2+\dots a_n-p+n-1)}{(n-1)!}.\end{multlined} \] Dabei bedeuten: 1) \(E_s(k)=k-s\), wenn \(k\geqq s\), \(E_s(k) = 0\), wenn \(k< s\) (\(E_p(k)\) sei \(\equiv E(k)\)); 2) \(S_n^{a_1,a_2\dots,a_j}F(a_1,a_2,\dots,a_{n-j})\) \newline die Summe \(F(a_1,a_2,\dots,a_{n-j})+F(a_1,a_3,\dots ,a_{n-j+1})+F(a_2,a_3,\dots,a_{n-j+1})+\cdots\) aller \(C_n^{n-j}\) Terme, die man erhält, indem man in der \textit{symmetrischen} Funktion die Gruppe der \(a_{1}\), \(a_{2}\), \(a_{3}\),\dots, \(a_{n-j}\) durch die \(C_n^{n-j}\) Kombinationen der Buchstaben \(a_1\), \(a_{2}\),\dots, \(a_n\) -- von \(n -j\) bis \(n+ j\) genommen -- ersetzt; 3) \(K_n^p=\) Zahl der Kombinationen mit Wiederholung von \(n\) Objekten, zu je \(p\) genommen. Es ist \[ K_n^p=C^p_{n+n-1}=C^{n-1}_{n+p-1},\;\;K_n^{-p}=0. \]