Just-noticeable difference: Difference between revisions

Revision as of 20:07, 26 December 2013

In mathematics, the multinomial theorem says how to expand a power of a sum in terms of powers of the terms in that sum. It is the generalization of the binomial theorem to polynomials.

Theorem

For any positive integer m and any nonnegative integer n, the multinomial formula tells us how a sum with m terms expands when raised to an arbitrary power n:

(x_{1} + x_{2} + \dots + x_{m})^{n} = \sum_{k_{1} + k_{2} + \dots + k_{m} = n} (\binom{n}{k_{1}, k_{2}, \dots, k_{m}}) \prod_{1 \leq t \leq m} x_{t}^{k_{t}},

where

(\binom{n}{k_{1}, k_{2}, \dots, k_{m}}) = \frac{n!}{k_{1}! k_{2}! \dots k_{m}!}

is a multinomial coefficient. The sum is taken over all combinations of nonnegative integer indices k₁ through k_m such that the sum of all k_i is n. That is, for each term in the expansion, the exponents of the x_i must add up to n. Also, as with the binomial theorem, quantities of the form x⁰ that appear are taken to equal 1 (even when x equals zero).

In the case m = 2, this statement reduces to that of the binomial theorem.

Example

The third power of the trinomial a + b + c is given by

(a + b + c)^{3} = a^{3} + b^{3} + c^{3} + 3 a^{2} b + 3 a^{2} c + 3 b^{2} a + 3 b^{2} c + 3 c^{2} a + 3 c^{2} b + 6 a b c .

This can be computed by hand using the distributive property of multiplication over addition, but it can also be done (perhaps more easily) with the multinomial theorem, which gives us a simple formula for any coefficient we might want. It is possible to "read off" the multinomial coefficients from the terms by using the multinomial coefficient formula. For example:

a^{2} b^{0} c^{1}

has the coefficient

(\binom{3}{2, 0, 1}) = \frac{3!}{2! \cdot 0! \cdot 1!} = \frac{6}{2 \cdot 1 \cdot 1} = 3

a^{1} b^{1} c^{1}

has the coefficient

(\binom{3}{1, 1, 1}) = \frac{3!}{1! \cdot 1! \cdot 1!} = \frac{6}{1 \cdot 1 \cdot 1} = 6

.

Alternate expression

The statement of the theorem can be written concisely using multiindices:

(x_{1} + \dots + x_{m})^{n} = \sum_{| α | = n} (\binom{n}{α}) x^{α}

where α = (α₁,α₂,…,α_m) and x^α = x₁^α₁x₂^α₂⋯x_m^α_m.

Proof

This proof of the multinomial theorem uses the binomial theorem and induction on m.

First, for m = 1, both sides equal x₁ⁿ since there is only one term k₁ = n in the sum. For the induction step, suppose the multinomial theorem holds for m. Then

(x_{1} + x_{2} + \dots + x_{m} + x_{m + 1})^{n} = (x_{1} + x_{2} + \dots + (x_{m} + x_{m + 1}))^{n}

= \sum_{k_{1} + k_{2} + \dots + k_{m - 1} + K = n} (\binom{n}{k_{1}, k_{2}, \dots, k_{m - 1}, K}) x_{1}^{k_{1}} x_{2}^{k_{2}} \dots x_{m - 1}^{k_{m - 1}} (x_{m} + x_{m + 1})^{K}

by the induction hypothesis. Applying the binomial theorem to the last factor,

= \sum_{k_{1} + k_{2} + \dots + k_{m - 1} + K = n} (\binom{n}{k_{1}, k_{2}, \dots, k_{m - 1}, K}) x_{1}^{k_{1}} x_{2}^{k_{2}} \dots x_{m - 1}^{k_{m - 1}} \sum_{k_{m} + k_{m + 1} = K} (\binom{K}{k_{m}, k_{m + 1}}) x_{m}^{k_{m}} x_{m + 1}^{k_{m + 1}}

= \sum_{k_{1} + k_{2} + \dots + k_{m - 1} + k_{m} + k_{m + 1} = n} (\binom{n}{k_{1}, k_{2}, \dots, k_{m - 1}, k_{m}, k_{m + 1}}) x_{1}^{k_{1}} x_{2}^{k_{2}} \dots x_{m - 1}^{k_{m - 1}} x_{m}^{k_{m}} x_{m + 1}^{k_{m + 1}}

which completes the induction. The last step follows because

(\binom{n}{k_{1}, k_{2}, \dots, k_{m - 1}, K}) (\binom{K}{k_{m}, k_{m + 1}}) = (\binom{n}{k_{1}, k_{2}, \dots, k_{m - 1}, k_{m}, k_{m + 1}}),

as can easily be seen by writing the three coefficients using factorials as follows:

\frac{n!}{k_{1}! k_{2}! \dots k_{m - 1}! K!} \frac{K!}{k_{m}! k_{m + 1}!} = \frac{n!}{k_{1}! k_{2}! \dots k_{m + 1}!} .

Multinomial coefficients

The numbers

(\binom{n}{k_{1}, k_{2}, \dots, k_{m}}) = \frac{n!}{k_{1}! k_{2}! \dots k_{m}!},

which can also be written as

= (\binom{k_{1}}{k_{1}}) (\binom{k_{1} + k_{2}}{k_{2}}) \dots (\binom{k_{1} + k_{2} + \dots + k_{m}}{k_{m}}) = \prod_{i = 1}^{m} (\binom{\sum_{j = 1}^{i} k_{j}}{k_{i}})

are the multinomial coefficients. Just like "n choose k" are the coefficients when you raise a binomial to the n^th power (e.g. the coefficients are 1,3,3,1 for (a + b)³, where n = 3), the multinomial coefficients appear when one raises a multinomial to the n^th power (e.g. (a + b + c)³)

Sum of all multinomial coefficients

The substitution of x_i = 1 for all i into:

\sum_{k_{1} + k_{2} + \dots + k_{m} = n} (\binom{n}{k_{1}, k_{2}, \dots, k_{m}}) x_{1}^{k_{1}} x_{2}^{k_{2}} \dots x_{m}^{k_{m}} = (x_{1} + x_{2} + \dots + x_{m})^{n},

gives immediately that

\sum_{k_{1} + k_{2} + \dots + k_{m} = n} (\binom{n}{k_{1}, k_{2}, \dots, k_{m}}) = m^{n} .

Number of multinomial coefficients

The number of terms in multinomial sum, #_n,m, is equal to the number of monomials of degree n on the variables x₁, …, x_m:

#_{n, m} = (\binom{n + m - 1}{m - 1}) = (\binom{n + m - 1}{n}) .

The count can be performed easily using the method of stars and bars.

Central multinomial coefficients

All of the multinomial coefficients for which the following holds true:

⌊ \frac{n}{m} ⌋ \leq k_{i} \leq ⌈ \frac{n}{m} ⌉, \sum_{i = 1}^{m} k_{i} = n,

are central multinomial coefficients: the greatest ones and all of equal size.

A special case for m = 2 is central binomial coefficient.

Interpretations

Ways to put objects into boxes

The multinomial coefficients have a direct combinatorial interpretation, as the number of ways of depositing n distinct objects into m distinct bins, with k₁ objects in the first bin, k₂ objects in the second bin, and so on.^[1]

Number of ways to select according to a distribution

In statistical mechanics and combinatorics if one has a number distribution of labels then the multinomial coefficients naturally arise from the binomial coefficients. Given a number distribution {n_i} on a set of N total items, n_i represents the number of items to be given the label i. (In statistical mechanics i is the label of the energy state.)

The number of arrangements is found by

Choosing n₁ of the total N to be labeled 1. This can be done $(\binom{N}{n_{1}})$ ways.
From the remaining N − n₁ items choose n₂ to label 2. This can be done $(\binom{N - n_{1}}{n_{2}})$ ways.
From the remaining N − n₁ − n₂ items choose n₃ to label 3. Again, this can be done $(\binom{N - n_{1} - n_{2}}{n_{3}})$ ways.

Multiplying the number of choices at each step results in:

(\binom{N}{n_{1}}) (\binom{N - n_{1}}{n_{2}}) (\binom{N - n_{1} - n_{2}}{n_{3}}) . . . = \frac{N!}{(N - n_{1})! n_{1}!} \frac{(N - n_{1})!}{(N - n_{1} - n_{2})! n_{2}!} \frac{(N - n_{1} - n_{2})!}{(N - n_{1} - n_{2} - n_{3})! n_{3}!} . . . .

Upon cancellation, we arrive at the formula given in the introduction.

Number of unique permutations of words

The multinomial coefficient is also the number of distinct ways to permute a multiset of n elements, and k_i are the multiplicities of each of the distinct elements. For example, the number of distinct permutations of the letters of the word MISSISSIPPI, which has 1 M, 4 Is, 4 Ss, and 2 Ps is

(\binom{11}{1, 4, 4, 2}) = \frac{11!}{1! 4! 4! 2!} = 34650 .

(This is just like saying that there are 11! ways to permute the letters—the common interpretation of factorial as the number of unique permutations. However, we created duplicate permutations, due to the fact that some letters are the same, and must divide to correct our answer.)

Generalized Pascal's triangle

One can use the multinomial theorem to generalize Pascal's triangle or Pascal's pyramid to Pascal's simplex. This provides a quick way to generate a lookup table for multinomial coefficients.

The case of n = 3 can be easily drawn by hand. The case of n = 4 can be drawn with effort as a series of growing pyramids.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

External links

mutinom.m function in Specfun (since 1.1.0) package of Octave-Forge for GNU Octave. SVN version
Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.

my web-site http://himerka.com/

↑ Template:Cite web

[1] Template:Cite web

[1]

@@ Line 1: / Line 1: @@
-Some of the author is known by the name of Gabrielle Lattimer though she [http://www.wired.com/search?query=doesn%27t doesn't] really like being called in that way. To bake is something that the woman with been doing for growth cycles. Her job would be a cashier but instantly her husband and the actual woman's will start their own business. She's always loved living found in South Carolina. She is running and managing a blog here: http://prometeu.net<br><br>
+In [[mathematics]], the '''multinomial theorem''' says how to expand a [[power (mathematics)|power]] of a sum in terms of powers of the terms in that sum. It is the generalization of the [[binomial theorem]] to polynomials.
-Here is my blog :: clash of clans hack ([http://prometeu.net similar web page])
+==Theorem==
+For any positive integer ''m'' and any nonnegative integer ''n'', the multinomial formula tells us how a sum with ''m'' terms expands when raised to an arbitrary power ''n'':
+:<math>(x_1 + x_2  + \cdots + x_m)^n
+ = \sum_{k_1+k_2+\cdots+k_m=n} {n \choose k_1, k_2, \ldots, k_m}
+  \prod_{1\le t\le m}x_{t}^{k_{t}}\,,</math>
+where
+:<math> {n \choose k_1, k_2, \ldots, k_m}
+ = \frac{n!}{k_1!\, k_2! \cdots k_m!}</math>
+is a '''multinomial coefficient'''.  The sum is taken over all combinations of [[nonnegative]] [[integer]] indices ''k''<sub>1</sub> through ''k''<sub>''m''</sub> such that the sum of all ''k''<sub>i</sub> is ''n''.  That is, for each term in the expansion, the exponents of the ''x''<sub>''i''</sub> must add up to ''n''.  Also, as with the [[binomial theorem]], quantities of the form ''x''<sup>0</sup> that appear are taken to equal 1 (even when ''x'' equals zero).
+In the case ''m'' = 2, this statement reduces to that of the binomial theorem.
+===Example===
+The third power of the trinomial ''a'' + ''b'' + ''c'' is given by
+:<math>(a+b+c)^3 = a^3 + b^3 + c^3 + 3 a^2 b + 3 a^2 c + 3 b^2 a + 3 b^2 c + 3 c^2 a + 3 c^2 b + 6 a b c.</math>
+This can be computed by hand using the distributive property of multiplication over addition, but it can also be done (perhaps more easily) with the multinomial theorem, which gives us a simple formula for any coefficient we might want. It is possible to "read off" the multinomial coefficients from the terms by using the multinomial coefficient formula. For example:
+:<math>a^2 b^0 c^1 </math> has the coefficient <math>{3 \choose 2, 0, 1} = \frac{3!}{2!\cdot 0!\cdot 1!} = \frac{6}{2 \cdot 1 \cdot 1} = 3</math>
+:<math>a^1 b^1 c^1</math> has the coefficient <math>{3 \choose 1, 1, 1} = \frac{3!}{1!\cdot 1!\cdot 1!} = \frac{6}{1 \cdot 1 \cdot 1} = 6</math>.
+===Alternate expression===
+The statement of the theorem can be written concisely using [[multiindices]]:
+:<math>(x_1+\cdots+x_m)^n = \sum_{|\alpha|=n}{n \choose \alpha}x^\alpha</math>
+where α&nbsp;=&nbsp;(α<sub>1</sub>,α<sub>2</sub>,…,α<sub>''m''</sub>) and x<sup>α</sup>&nbsp;=&nbsp;''x''<sub>1</sub><sup>α<sub>1</sub></sup>''x''<sub>2</sub><sup>α<sub>2</sub></sup>⋯''x''<sub>''m''</sub><sup>α<sub>''m''</sub></sup>.
+===Proof===
+This proof of the multinomial theorem uses the [[binomial theorem]] and [[Mathematical induction|induction]] on ''m''.
+First, for ''m''&nbsp;=&nbsp;1, both sides equal ''x''<sub>1</sub><sup>''n''</sup> since there is only one term ''k''<sub>1</sub>&nbsp;=&nbsp;''n'' in the sum. For the induction step, suppose the multinomial theorem holds for ''m''.  Then
+:<math>(x_1+x_2+\cdots+x_m+x_{m+1})^n = (x_1+x_2+\cdots+(x_m+x_{m+1}))^n </math>
+:<math>   = \sum_{k_1+k_2+\cdots+k_{m-1}+K=n}{n\choose k_1,k_2,\ldots,k_{m-1},K} x_1^{k_1}x_2^{k_2}\cdots x_{m-1}^{k_{m-1}}(x_m+x_{m+1})^K
+</math>
+by the induction hypothesis.  Applying the binomial theorem to the last factor,
+:<math> = \sum_{k_1+k_2+\cdots+k_{m-1}+K=n}{n\choose k_1,k_2,\ldots,k_{m-1},K} x_1^{k_1}x_2^{k_2}\cdots x_{m-1}^{k_{m-1}}\sum_{k_m+k_{m+1}=K}{K\choose k_m,k_{m+1}}x_m^{k_m}x_{m+1}^{k_{m+1}}</math>
+:<math> = \sum_{k_1+k_2+\cdots+k_{m-1}+k_m+k_{m+1}=n}{n\choose k_1,k_2,\ldots,k_{m-1},k_m,k_{m+1}} x_1^{k_1}x_2^{k_2}\cdots x_{m-1}^{k_{m-1}}x_m^{k_m}x_{m+1}^{k_{m+1}}
+</math>
+which completes the induction.  The last step follows because
+:<math>{n\choose k_1,k_2,\ldots,k_{m-1},K}{K\choose k_m,k_{m+1}} = {n\choose k_1,k_2,\ldots,k_{m-1},k_m,k_{m+1}},</math>
+as can easily be seen by writing the three coefficients using factorials as follows:
+:<math> \frac{n!}{k_1! k_2! \cdots k_{m-1}!K!} \frac{K!}{k_m! k_{m+1}!}=\frac{n!}{k_1! k_2! \cdots k_{m+1}!}.</math>
+==Multinomial coefficients==
+The numbers
+:<math> {n \choose k_1, k_2, \ldots, k_m}
+ = \frac{n!}{k_1!\, k_2! \cdots k_m!},</math>
+which can also be written as
+:<math>
+ = {k_1\choose k_1}{k_1+k_2\choose k_2}\cdots{k_1+k_2+\cdots+k_m\choose k_m}
+ = \prod_{i=1}^m {\sum_{j=1}^i k_j \choose k_i}</math>
+are the [[Binomial coefficient#Generalization to multinomials|multinomial coefficients]]. Just like "n choose k" are the coefficients when you raise a ''binomial'' to the ''n''<sup>th</sup> power (e.g. the coefficients are 1,3,3,1 for (''a''&nbsp;+&nbsp;''b'')<sup>3</sup>, where ''n''&nbsp;=&nbsp;3), the multinomial coefficients appear when one raises a ''multinomial'' to the ''n''<sup>th</sup> power (e.g. (''a''&nbsp;+&nbsp;''b''&nbsp;+&nbsp;''c'')<sup>3</sup>)
+===Sum of all multinomial coefficients===
+The substitution of ''x''<sub>''i''</sub>&nbsp;=&nbsp;1 for all ''i'' into:
+:<math>\sum_{k_1+k_2+\cdots+k_m=n} {n \choose k_1, k_2, \ldots, k_m} x_1^{k_1} x_2^{k_2} \cdots x_m^{k_m}
+= (x_1 + x_2  + \cdots + x_m)^n\,,</math>
+gives immediately that
+:<math>
+\sum_{k_1+k_2+\cdots+k_m=n} {n \choose k_1, k_2, \ldots, k_m} = m^n\,.
+</math>
+===Number of multinomial coefficients===
+The number of terms in multinomial sum, #<sub>''n'',''m''</sub>, is equal to the number of monomials of degree ''n'' on the variables ''x''<sub>1</sub>,&nbsp;…,&nbsp;''x''<sub>''m''</sub>:
+:<math>
+\#_{n,m} = {n+m-1 \choose m-1} = {n+m-1 \choose n}\,.
+</math>
+The count can be performed easily using the method of [[Stars and bars (combinatorics)|stars and bars]].
+===Central multinomial coefficients===
+All of the multinomial coefficients for which the following holds true:
+:<math>
+\left\lfloor\frac{n}{m}\right\rfloor \le k_i \le \left\lceil\frac{n}{m}\right\rceil,\ \sum_{i=1}^m{k_i} = n,
+</math>
+are '''central multinomial coefficients''': the greatest ones and all of equal size.
+A special case for ''m''&nbsp;=&nbsp;2 is [[central binomial coefficient]].
+==Interpretations==
+===Ways to put objects into boxes===
+The multinomial coefficients have a direct combinatorial interpretation, as the number of ways of depositing ''n'' distinct objects into ''m'' distinct bins, with ''k''<sub>1</sub> objects in the first bin, ''k''<sub>2</sub> objects in the second bin, and so on.<ref>{{cite web |url=http://dlmf.nist.gov/ |title=NIST Digital Library of Mathematical Functions |author=[[National Institute of Standards and Technology]] |date=May 11, 2010 |at=[http://dlmf.nist.gov/26.4 Section 26.4] |accessdate=August 30, 2010}}</ref>
+===Number of ways to select according to a distribution===
+In [[statistical mechanics]] and [[combinatorics]] if one has a number distribution of labels then the multinomial coefficients naturally arise from the binomial coefficients. Given a number distribution  {''n''<sub>''i''</sub>} on a set of ''N'' total items, ''n''<sub>''i''</sub> represents the number of items to be given the label ''i''.  (In statistical mechanics ''i'' is the label of the energy state.)
+The number of arrangements is found by
+*Choosing ''n''<sub>1</sub> of the total ''N'' to be labeled 1.  This can be done <math>N\choose n_1</math> ways.
+*From the remaining ''N''&nbsp;−&nbsp;''n''<sub>1</sub> items choose ''n''<sub>2</sub> to label 2.  This can be done <math>N-n_1 \choose n_2</math> ways.
+*From the remaining ''N''&nbsp;−&nbsp;''n''<sub>1</sub>&nbsp;−&nbsp;''n''<sub>2</sub> items choose ''n''<sub>3</sub> to label 3.  Again, this can be done <math>N-n_1-n_2 \choose n_3</math> ways.
+Multiplying the number of choices at each step results in:
+:<math>{N \choose n_1}{N-n_1\choose n_2}{N-n_1-n_2\choose n_3}...=\frac{N!}{(N-n_1)!n_1!}\frac{(N-n_1)!}{(N-n_1-n_2)!n_2!}\frac{(N-n_1-n_2)!}{(N-n_1-n_2-n_3)!n_3!}....</math>
+Upon cancellation, we arrive at the formula given in the introduction.
+===Number of unique permutations of words===
+The multinomial coefficient is also the number of distinct ways to [[permutation|permute]] a [[multiset]] of ''n'' elements, and ''k<sub>i</sub>'' are the [[Multiplicity (mathematics)|multiplicities]] of each of the distinct elements. For example, the number of distinct permutations of the letters of the word MISSISSIPPI, which has 1 M, 4 Is, 4 Ss, and 2 Ps is
+:<math>{11 \choose 1, 4, 4, 2} = \frac{11!}{1!\, 4!\, 4!\, 2!} = 34650.</math>
+(This is just like saying that there are 11! ways to permute the letters—the common interpretation of [[factorial]] as the number of unique permutations. However, we created duplicate permutations, due to the fact that some letters are the same, and must divide to correct our answer.)
+===Generalized Pascal's triangle===
+One can use the multinomial theorem to generalize [[Pascal's triangle]] or [[Pascal's pyramid]] to [[Pascal's simplex]]. This provides a quick way to generate a lookup table for multinomial coefficients.
+The case of ''n''&nbsp;=&nbsp;3 can be easily drawn by hand. The case of ''n''&nbsp;=&nbsp;4 can be drawn with effort as a series of growing pyramids.
+==See also==
+* [[Multinomial distribution]]
+* [[Stars and bars (combinatorics)]]
+==References==
+{{Reflist}}
+==External links ==
+* <code>mutinom.m</code> function in [http://octave.sourceforge.net/specfun/ Specfun] (since 1.1.0) package of [http://octave.sourceforge.net/index.html Octave-Forge] for [[GNU Octave]]. [http://octave.svn.sf.net/viewvc/octave/trunk/octave-forge/main/specfun/inst/multinom.m SVN version]
+* {{springer|title=Multinomial coefficient|id=p/m065320}}
+{{DEFAULTSORT:Multinomial Theorem}}
+[[Category:Factorial and binomial topics]]
+[[Category:Articles containing proofs]]
+[[Category:Theorems in algebra]]

Just-noticeable difference: Difference between revisions

Revision as of 20:07, 26 December 2013

Contents

Theorem

Example

Alternate expression

Proof

Multinomial coefficients

Sum of all multinomial coefficients

Number of multinomial coefficients

Central multinomial coefficients

Interpretations

Ways to put objects into boxes

Number of ways to select according to a distribution

Number of unique permutations of words

Generalized Pascal's triangle

See also

References

External links

Navigation menu

Just-noticeable difference: Difference between revisions

Revision as of 20:07, 26 December 2013

Theorem

Example

Alternate expression

Proof

Multinomial coefficients

Sum of all multinomial coefficients

Number of multinomial coefficients

Central multinomial coefficients

Interpretations

Ways to put objects into boxes

Number of ways to select according to a distribution

Number of unique permutations of words

Generalized Pascal's triangle

See also

References

External links

Navigation menu

Search