Les coefficients binomiaux de Gauss sont définis par
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose r}_q = \begin{cases} \frac{(1-q^m)(1-q^{m-1})\cdots(1-q^{m-r+1})} {(1-q)(1-q^2)\cdots(1-q^r)} & r \le m \\ 0 & r>m \end{cases}}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mrow><mo> </mo><mtable displaystyle="false" rowspacing=".2em"><mtr><mtd><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup><mo stretchy="false"> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow></msup><mo stretchy="false"> </mo><mo> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mi> </mi><mo> </mo><mn> </mn></mrow></msup><mo stretchy="false"> </mo></mrow><mrow><mo stretchy="false"> </mo><mn> </mn><mo> </mo><mi> </mi><mo stretchy="false"> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo><mo> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup><mo stretchy="false"> </mo></mrow></mfrac></mrow></mtd><mtd><mi> </mi><mo> </mo><mi> </mi></mtd></mtr><mtr><mtd><mn> </mn></mtd><mtd><mi> </mi><mo> </mo><mi> </mi></mtd></mtr></mtable></mrow></mrow></mstyle></mrow> </math> </img>
où m et r sont des entiers naturels. Pour r = 0 la valeur est 1 puisque le numérateur et le dénominateur sont des produits sur l'ensemble vides . Bien que la formule dans le premier cas semble impliquer une fonction rationnelle, elle désigne en fait un polynôme, car la division est exacte dans Z [ q ] . Notez que la formule peut être appliquée pour r = m + 1 et donne à 0 grâce à un facteur 1 − q0 = 0 dans le numérateur, conformément au second cas (pour r encore plus grand le facteur 0 reste présent dans le numérateur, mais ses autres facteurs impliqueraient des puissances négatives de q, donc l’énonciation explicite du second cas est préférable). Tous les facteurs du numérateur et du dénominateur sont divisibles par 1 − q, en tant que quotient un q-nombre définit comme suit :
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mo stretchy="false"> <math>[k]_q=\sum_{0\leq i<k}q^i=1+q+q^2+\cdots+q^{k-1}= \begin{cases} \frac{1-q^k}{1-q} & \text{for} & q \neq 1 \\ k & \text{for} & q = 1 \end{cases},}
</mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><munder><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mn> </mn><mo> </mo><mi> </mi><mo> </mo><mi> </mi></mrow></munder><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup><mo> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo> </mo><mo> </mo><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow></msup><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mrow><mo> </mo><mtable displaystyle="false" rowspacing=".2em"><mtr><mtd><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup></mrow><mrow><mn> </mn><mo> </mo><mi> </mi></mrow></mfrac></mrow></mtd><mtd><mrow class="MJX-TeXAtom-ORD"><mtext> </mtext></mrow></mtd><mtd><mi> </mi><mo> </mo><mn> </mn></mtd></mtr><mtr><mtd><mi> </mi></mtd><mtd><mrow class="MJX-TeXAtom-ORD"><mtext> </mtext></mrow></mtd><mtd><mi> </mi><mo> </mo><mn> </mn></mtd></mtr></mtable></mrow></mrow><mo> </mo></mstyle></mrow> </math> </img>
en utilisant cette notation, on obtient la formule équivalente
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose r}_q=\frac{[m]_q[m-1]_q\cdots[m-r+1]_q}{[1]_q[2]_q\cdots[r]_q}\quad(r\leq m),}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mo stretchy="false"> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mn> </mn><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mi> </mi><mo> </mo><mn> </mn><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mrow><mrow><mo stretchy="false"> </mo><mn> </mn><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo stretchy="false"> </mo><mn> </mn><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mo stretchy="false"> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mrow></mfrac></mrow><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mi> </mi><mo stretchy="false"> </mo><mo> </mo></mstyle></mrow> </math> </img>
ce qui rend évident le fait que remplacer q par 1 dans Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="false" scriptlevel="0"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="1.2em" minsize="1.2em"> <math>\tbinom mr_q}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="1.2em" minsize="1.2em"> </mo></mrow></mrow></mstyle></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img> donne le coefficient binomial ordinaire Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="false" scriptlevel="0"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="1.2em" minsize="1.2em"> <math>\tbinom mr.}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="1.2em" minsize="1.2em"> </mo></mrow></mrow></mstyle></mrow><mo> </mo></mstyle></mrow> </math> </img> En termes de q-factorielleÉchec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mo stretchy="false"> <math>[n]_q!=[1]_q[2]_q\cdots[n]_q}
</mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mo> </mo><mo stretchy="false"> </mo><mn> </mn><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo stretchy="false"> </mo><mn> </mn><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mo stretchy="false"> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img> , la formule peut être énoncée comme
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose r}_q=\frac{[m]_q!}{[r]_q!\,[m-r]_q!}\quad(r\leq m),}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mo stretchy="false"> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo></mrow><mrow><mo stretchy="false"> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo></mrow></mfrac></mrow><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mi> </mi><mo stretchy="false"> </mo><mo> </mo></mstyle></mrow> </math> </img>
une forme compacte (souvent considérée comme une simple définition), qui cache cependant la présence de nombreux facteurs communs au numérateur et au dénominateur. Cette forme rend évidente la symétrie Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="false" scriptlevel="0"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="1.2em" minsize="1.2em"> <math>\tbinom mr_q=\tbinom m{m-r}_q}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="1.2em" minsize="1.2em"> </mo></mrow></mrow></mstyle></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="false" scriptlevel="0"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="1.2em" minsize="1.2em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mrow><mi> </mi><mo> </mo><mi> </mi></mrow></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="1.2em" minsize="1.2em"> </mo></mrow></mrow></mstyle></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img> pour r ≤ m .
Contrairement au coefficient binomial ordinaire, le coefficient binominal de gauss prend des valeurs finies lorsque Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi> <math>m\rightarrow \infty}
</mi><mo stretchy="false"> </mo><mi mathvariant="normal"> </mi></mstyle></mrow> </math> </img> (la limite ayant du sens analytiquement pour | q | < 1):
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{\infty \choose r}_q = \lim_{m\rightarrow \infty} {m \choose r}_q = \frac{1}{[r]_q!\,(1-q)^r}}
</mo></mrow><mfrac linethickness="0"><mi mathvariant="normal"> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><munder><mo movablelimits="true"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo stretchy="false"> </mo><mi mathvariant="normal"> </mi></mrow></munder><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mn> </mn><mrow><mo stretchy="false"> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><mi> </mi><msup><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup></mrow></mfrac></mrow></mstyle></mrow> </math> </img>
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{0 \choose 0}_q = {1 \choose 0}_q = 1}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mn> </mn></mstyle></mrow> </math> </img>
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{1 \choose 1}_q = \frac{1-q}{1-q}=1}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mn> </mn><mo> </mo><mi> </mi></mrow><mrow><mn> </mn><mo> </mo><mi> </mi></mrow></mfrac></mrow><mo> </mo><mn> </mn></mstyle></mrow> </math> </img>
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{2 \choose 1}_q = \frac{1-q^2}{1-q}=1+q}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup></mrow><mrow><mn> </mn><mo> </mo><mi> </mi></mrow></mfrac></mrow><mo> </mo><mn> </mn><mo> </mo><mi> </mi></mstyle></mrow> </math> </img>
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{3 \choose 1}_q = \frac{1-q^3}{1-q}=1+q+q^2}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup></mrow><mrow><mn> </mn><mo> </mo><mi> </mi></mrow></mfrac></mrow><mo> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup></mstyle></mrow> </math> </img>
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{3 \choose 2}_q = \frac{(1-q^3)(1-q^2)}{(1-q)(1-q^2)}=1+q+q^2}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo></mrow><mrow><mo stretchy="false"> </mo><mn> </mn><mo> </mo><mi> </mi><mo stretchy="false"> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo></mrow></mfrac></mrow><mo> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup></mstyle></mrow> </math> </img>
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{4 \choose 2}_q = \frac{(1-q^4)(1-q^3)}{(1-q)(1-q^2)}=(1+q^2)(1+q+q^2)=1+q+2q^2+q^3+q^4}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo></mrow><mrow><mo stretchy="false"> </mo><mn> </mn><mo> </mo><mi> </mi><mo stretchy="false"> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo></mrow></mfrac></mrow><mo> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo stretchy="false"> </mo><mo> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><mn> </mn><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup></mstyle></mrow> </math> </img>
Au lieu de ces expressions algébriques, on peut également donner une définition combinatoire des coefficients binomiaux de gauss. Le coefficient binomial ordinaire Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="false" scriptlevel="0"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="1.2em" minsize="1.2em"> <math>\tbinom mr}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="1.2em" minsize="1.2em"> </mo></mrow></mrow></mstyle></mrow></mstyle></mrow> </math> </img> compte le nombre de combinaisons. C'est à dire le nombre de façon de choisir choisir r éléments dans un ensemble éléments à m éléments . Si l' on prend les m éléments comme les différentes positions de caractère dans un mot de longueur m chaque r -combinaisons correspond à un mot de longueur m en utilisant un alphabet de deux lettres, disons {0,1}, avec r copies du lettre 1 (indiquant les positions dans la combinaison choisie) et m − r lettres 0 (pour les positions restantes).
les Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{4 \choose 2} = 6}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mo> </mo><mn> </mn></mstyle></mrow> </math> </img> mots utilisant des 0 et des 1 seraient 0011, 0101, 0110, 1001, 1010, 1100.
Pour obtenir de ce modèle le coefficient binomial de Gauss Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="false" scriptlevel="0"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="1.2em" minsize="1.2em"> <math>\tbinom mr_q}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="1.2em" minsize="1.2em"> </mo></mrow></mrow></mstyle></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img> , il suffit de compter chaque mot avec un facteur qd, où d est le nombre "d'inversions" dans le mot mot: le nombre de paires de positions pour lesquelles la position la plus à gauche de la paire contient la lettre 1 et la position la plus à droite une lettre 0 dans le mot. Par exemple, il y a un mot avec 0 inversions, 0011. Il y a 1 avec une seule inversion, 0101. Il y a deux mots avec 2 inversions, 0110 et 1001. Il y en a un avec 3, 1010, et enfin un mot avec 4 inversions, 1100. Ceci correspond aux coefficients de Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{4 \choose 2}_q = 1+q+2q^2+q^3+q^4}
</mo></mrow><mfrac linethickness="0"><mn> </mn><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><mn> </mn><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup></mstyle></mrow> </math> </img> .
On peut montrer que les polynômes ainsi définis satisfont les identités de Pascal données ci-dessous et coïncident donc avec les polynômes donnés par les définitions algébriques. Une manière visuelle de comprendre cette définition consiste à associer à chaque mot un chemin traversant une grille rectangulaire avec des côtés de hauteur r et de largeur m − r, du coin inférieur gauche au coin supérieur droit, en faisant un pas à droite pour chaque lettre un pas en avant pour chaque lettre 1. Ensuite, le nombre d'inversions du mot est égal à l'aire de la partie du rectangle située en bas à droite du tracé.
Comme les coefficients binomiaux ordinaires, les coefficients binomaux de Gauss sont symétriques, c'est-à-dire invariants par l'application Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi> <math> r \rightarrow m-r }
</mi><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mi> </mi></mstyle></mrow> </math> </img> :
- <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mrow><mi> </mi><mo> </mo><mi> </mi></mrow></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo></mstyle></mrow> </img>
En particulier,
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose 0}_q ={m \choose m}_q=1 \, ,}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mn> </mn><mo> </mo></mstyle></mrow> </math> </img>
- <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mrow><mi> </mi><mo> </mo><mn> </mn></mrow></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup></mrow><mrow><mn> </mn><mo> </mo><mi> </mi></mrow></mfrac></mrow><mo> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><mo> </mo><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow></msup><mi> </mi><mo> </mo><mn> </mn><mo> </mo></mstyle></mrow> </img>
Le nom coefficient binomial de Gauss vient du fait [réf. nécessaire] que leur évaluation à q = 1 est
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><munder><mo movablelimits="true"> <math>\lim_{q \to 1} {m \choose r}_q = {m \choose r}}
</mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo stretchy="false"> </mo><mn> </mn></mrow></munder><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow></mstyle></mrow> </math> </img>
pour tous m et r .
Les analogues des identités Pascal pour les coefficients binomiaux de Gauss sont
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose r}_q = q^r {m-1 \choose r}_q + {m-1 \choose r-1}_q}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mn> </mn></mrow><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mn> </mn></mrow><mrow><mi> </mi><mo> </mo><mn> </mn></mrow></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img>
et
- <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mn> </mn></mrow><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mi> </mi></mrow></msup><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mn> </mn></mrow><mrow><mi> </mi><mo> </mo><mn> </mn></mrow></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo></mstyle></mrow> </img>
Il existe des analogues de la formule du binôme de Newton et de la version généralisée de celle-ci pour les exposants entiers négatifs, bien que, dans le premier cas, les coefficients binomiaux de gauss eux-mêmes n'apparaissent pas sous forme de coefficients:
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><munderover><mo> <math>\prod_{k=0}^{n-1} (1+q^kt)=\sum_{k=0}^n q^{k(k-1)/2} {n \choose k}_q t^k }
</mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow></munderover><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup><mi> </mi><mo stretchy="false"> </mo><mo> </mo><munderover><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></munderover><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mn> </mn><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mo> </mo></mrow><mn> </mn></mrow></msup><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup></mstyle></mrow> </math> </img>
et
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><munderover><mo> <math>\prod_{k=0}^{\infty} (1+q^kt)=\sum_{k=0}^\infty \frac{q^{k(k-1)/2}t^k}{[k]_q!\,(1-q)^k} }
</mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow><mrow class="MJX-TeXAtom-ORD"><mi mathvariant="normal"> </mi></mrow></munderover><mo stretchy="false"> </mo><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup><mi> </mi><mo stretchy="false"> </mo><mo> </mo><munderover><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow><mrow class="MJX-TeXAtom-ORD"><mi mathvariant="normal"> </mi></mrow></munderover><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mn> </mn><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mo> </mo></mrow><mn> </mn></mrow></msup><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup></mrow><mrow><mo stretchy="false"> </mo><mi> </mi><msub><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mo stretchy="false"> </mo><mn> </mn><mo> </mo><mi> </mi><msup><mo stretchy="false"> </mo><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup></mrow></mfrac></mrow></mstyle></mrow> </math> </img>
qui, lorsque Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi> <math>n\rightarrow\infty}
</mi><mo stretchy="false"> </mo><mi mathvariant="normal"> </mi></mstyle></mrow> </math> </img> devient:
et
La première identité de Pascal permet de calculer les coefficients binomiaux de gauss de manière récursive (par rapport à m ) en utilisant les valeurs initiales "frontière"
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose m}_q ={m \choose 0}_q=1 }
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mn> </mn></mstyle></mrow> </math> </img>
et montre également que les coefficients binomiaux de Gauss sont bien des polynômes (en q ). La seconde identité Pascal découle de la première en faisant le changement Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi> <math> r \rightarrow m-r }
</mi><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mi> </mi></mstyle></mrow> </math> </img> et en utilisant l'invariance des coefficients binomiaux de Gauss par le changement de variable Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi> <math> r \rightarrow m-r }
</mi><mo stretchy="false"> </mo><mi> </mi><mo> </mo><mi> </mi></mstyle></mrow> </math> </img> . Les deux identités de Pascal impliquent ensemble
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose r}_q = {{1-q^{m}}\over {1-q^{m-r}}} {m-1 \choose r}_q }
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mrow class="MJX-TeXAtom-ORD"><mfrac><mrow class="MJX-TeXAtom-ORD"><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msup></mrow><mrow class="MJX-TeXAtom-ORD"><mn> </mn><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mi> </mi></mrow></msup></mrow></mfrac></mrow><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mn> </mn></mrow><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img>
ce qui conduit (lorsqu'il est appliqué de manière itérative pour m, m - 1, m - 2, ...) à une expression du coefficient binomial de Gauss, telle que donnée dans la définition ci-dessus.
Les coefficients binomiaux de Gauss apparaissent dans le dénombrement des polynômes symétriques et dans la théorie des partitions . Le coefficient en q r en
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{n+m \choose m}_q}
</mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mi> </mi></mrow><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img>
est le nombre de partitions de r parmis m ou moins de parties inférieures ou égales à n . De manière équivalente, il s'agit également du nombre de partitions de r parmis n ou moins de parties inférieures ou égales à m .
Les coefficients binomiaux de gauss jouent également un rôle important dans la théorie du dénombrement des espaces projectifs définis sur un corps fini. En particulier, pour chaque corps fini F q avec q éléments, le coefficient binomial de gauss
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{n \choose k}_q}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img>
compte le nombre de sous-espaces vectoriels de dimension k d'un espace vectoriel de dimension n sur F q (un grassmannien ). Lorsqu'il est étendu en tant que polynôme en q, il produit la décomposition bien connue du grassmannien en cellules de Schubert. Par exemple, le coefficient binomial de gauss
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{n \choose 1}_q=1+q+q^2+\cdots+q^{n-1}}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mn> </mn></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><mn> </mn><mo> </mo><mi> </mi><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo> </mo><mo> </mo><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mn> </mn></mrow></msup></mstyle></mrow> </math> </img>
est le nombre de sous-espaces de dimension 1 dans ( F q ) n (de manière équivalente, le nombre de points dans l' espace projectif associé). De plus, lorsque q vaut 1 (respectivement -1), le coefficient binomial de gauss donne la caractéristique d'Euler du complexe de Grassmann complexe (respectivement réel) correspondant.
Le nombre de sous-espaces affines de dimension k de F q n est égal à
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msup><mi> <math>q^{n-k} {n \choose k}_q}
</mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mi> </mi></mrow></msup><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img> .
Cela permet une autre interprétation de l'identité
- Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikipedia.org/v1/ » :): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> <math>{m \choose r}_q = {m-1 \choose r}_q + q^{m-r}{m-1 \choose r-1}_q}
</mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mn> </mn></mrow><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub><mo> </mo><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mi> </mi><mo> </mo><mi> </mi></mrow></msup><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mrow><mi> </mi><mo> </mo><mn> </mn></mrow><mrow><mi> </mi><mo> </mo><mn> </mn></mrow></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><mi> </mi></mrow></msub></mstyle></mrow> </math> </img>
en comptant les sous - espaces de dimension (r - 1) de l'espace projectif de dimension (m - 1), en fixant un hyperplan, en comptant les sous - espaces contenus dans ce hyperplan, puis en comptant les sous - espaces qui ne figurent pas dans l'hyperplan; ces derniers sous-espaces sont en correspondance bijective avec les sous-espaces affines de dimensions ( r - 1) de l'espace obtenu en traitant cet hyperplan fixe comme l'hyperplan à l'infini.
Dans les conventions courantes dans les applications aux groupes quantiques, une définition légèrement différente est utilisée; le coefficient binomial quantique il y a
- Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msup><mi> <math>q^{k^2 - n k}{n \choose k}_{q^2}}
</mi><mrow class="MJX-TeXAtom-ORD"><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup><mo> </mo><mi> </mi><mi> </mi></mrow></msup><msub><mrow class="MJX-TeXAtom-ORD"><mrow><mrow class="MJX-TeXAtom-OPEN"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow><mfrac linethickness="0"><mi> </mi><mi> </mi></mfrac><mrow class="MJX-TeXAtom-CLOSE"><mo maxsize="2.047em" minsize="2.047em"> </mo></mrow></mrow></mrow><mrow class="MJX-TeXAtom-ORD"><msup><mi> </mi><mrow class="MJX-TeXAtom-ORD"><mn> </mn></mrow></msup></mrow></msub></mstyle></mrow> </math> </img> .
Cette version du coefficient binomial quantique est invariante par le changement de Échec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi> <math>q}
</mi></mstyle></mrow> </math> </img> enÉchec de l’analyse (erreur de syntaxe): {\displaystyle <mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><msup><mi> <math>q^{-1}}
</mi><mrow class="MJX-TeXAtom-ORD"><mo> </mo><mn> </mn></mrow></msup></mstyle></mrow> </math> </img> .
Les coefficients binomiaux de gauss peuvent être disposés en triangle pour chaque q, pour q=1, on retrouve le triangle de Pascal . </br> Lisez ligne par ligne ces triangles forment les séquences suivantes dans OEIS :