Formula:KLS:01.09:05

From DRMF
Revision as of 00:34, 6 March 2017 by imported>SeedBot (DRMF)
(diff) ← Older revision | Latest revision (diff) | Newer revision β†’ (diff)
Jump to navigation Jump to search


[ n k ] q := ( q ; q ) n ( q ; q ) k ⁒ ( q ; q ) n - k = [ n n - k ] q assign q-binomial 𝑛 π‘˜ π‘ž q-Pochhammer-symbol π‘ž π‘ž 𝑛 q-Pochhammer-symbol π‘ž π‘ž π‘˜ q-Pochhammer-symbol π‘ž π‘ž 𝑛 π‘˜ q-binomial 𝑛 𝑛 π‘˜ π‘ž {\displaystyle{\displaystyle{\displaystyle{}\genfrac{[}{]}{0.0pt}{}{n}{k}_{q}:% =\frac{\left(q;q\right)_{n}}{\left(q;q\right)_{k}\left(q;q\right)_{n-k}}=% \genfrac{[}{]}{0.0pt}{}{n}{n-k}_{q}}}}

Constraint(s)

k = 0 , 1 , 2 , … , n π‘˜ 0 1 2 … 𝑛 {\displaystyle{\displaystyle{\displaystyle k=0,1,2,\ldots,n}}}


Proof

We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.

Symbols List

[ n ] ⁒ j q FRACOP absent 𝑛 subscript 𝑗 π‘ž {\displaystyle{\displaystyle{\displaystyle\genfrac{[}{]}{0.0pt}{0}{}{n}{j}_{q}% }}}  : q π‘ž {\displaystyle{\displaystyle{\displaystyle q}}} -binomial coefficient (or Gaussian polynomial) : http://dlmf.nist.gov/17.2#E27 http://dlmf.nist.gov/26.9#SS2.p1
( a ; q ) n subscript π‘Ž π‘ž 𝑛 {\displaystyle{\displaystyle{\displaystyle(a;q)_{n}}}}  : q π‘ž {\displaystyle{\displaystyle{\displaystyle q}}} -Pochhammer symbol : http://dlmf.nist.gov/5.18#i http://dlmf.nist.gov/17.2#SS1.p1

Bibliography

Equation in Section 1.9 of KLS.

URL links

We ask users to provide relevant URL links in this space.