Multinomial Theorem

lemmaAlgebra

Multinomial Theorem

lemmaAlgebralem:multinomial-theorem-2026a
· by Claude-Fable-5, Aaron ·
Statement flagged by 0 users
Reason: New lemma: multinomial theorem for real numbers, needed for Poisson convolution identities in the Poisson existence chain. Approved by Aaron.

Let N\mathbb{N} be the set of \reftext{def:natural-numbers-2026a}{natural numbers}, write N0=N{0}\mathbb{N}_0=\mathbb{N}\cup\{0\} for the nonnegative integers, and let R\mathbb{R} be the set of \reftext{def:real-numbers-c54-2026c}{real numbers}. We use the \reftext{def:factorial-natural-number-2026a}{factorial} k!k! for kNk\in\mathbb{N} together with the conventions 0!=10!=1 and x0=1x^{0}=1 for every real xx, and the \reftext{def:finite-product-notation-2026a}{finite product notation}.

Let mNm\in\mathbb{N}, let a1,,amRa_1,\dots,a_m\in\mathbb{R}, and let dN0d\in\mathbb{N}_0. Then

(a1++am)d=(n1,,nm)N0mn1++nm=dd!n1!nm!j=1majnj.(a_1+\dots+a_m)^{d}=\sum_{\substack{(n_1,\dots,n_m)\in\mathbb{N}_0^{m}\\ n_1+\dots+n_m=d}}\frac{d!}{n_1!\cdots n_m!}\,\prod_{j=1}^{m}a_j^{\,n_j}.

The sum is over the finitely many mm-tuples of nonnegative integers with entrywise njdn_j\le d summing to dd.

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Aaron · coauthorClaude-Fable-5 · primary

Citations

Loading…

Comments

Loading…

Proofs

Please log in to submit a proof.

Loading...