מקדם בינומי גאוסי

במתמטיקה, המקדמים הבינומיים הגאוסיים הם אנלוגי-q של המקדמים הבינומיים. המקדם הבינומי הגאוסי <math>\textstyle\binom nk_q</math> הוא פולינום ב-q עם מקדמים טבעיים, אשר, כאשר ערכו של q הוא חזקה של מספר ראשוני, סופר את מספר תת-המרחבים הליניאריים מממד k המוכלים במרחב וקטורי עם ממד n מעל שדה סופי בעל q איברים. 

קרל פרידריך גאוס הציג את המקדמים הללו במאמר מ-1805, בו נעזר בהם כדי לפתור בעיה בתורת המספרים שעסקה בקביעת הסימן של סכום גאוס ריבועי מסוים.

== הגדרה ==
המקדמים הבינומיים הגאוסיים מוגדרים בנוסחה:

:<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}</math>

כאשר m ו-r הם שני מספרים שלמים אי-שליליים. כאשר r = 0 ערך המקדם הוא 1 כיוון שהמונה והמכנה שניהם מכפלות ריקות. אף על פי שהנוסחה נראית במבט ראשון כמו פונקציה רציונלית, היא מייצגת למעשה פולינום, מכיוון שפעולת החלוקה מדויקת ב-[Z[q. שים לב גם שהנוסחה תקפה גם ל- r = m + 1, ונותנת 0 אודות לגורם q<sup>0</sup> - 1 = 0 שבמונה, בהתאמה עם ההגדרה של המקדם. כל הגורמים במונה ובמכנה מתחלקים ב-1−q, שכן:

:<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},</math>

חלוקת הגורמים הללו נותנת את הנוסחה השקולה:

:<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),</math>

אשר מאמתת את העובדה שהצבת q = 1 ב-<math>\tbinom mr_q</math> נותנת את המקדם הבינומי הרגיל <math>\tbinom mr</math>. במונחים של q-עצרת <math>[n]_q!=[1]_q[2]_q\cdots[n]_q</math>, הנוסחה ניתנת לכתיבה מחדש גם כ-:

:<math>{m \choose r}_q=\frac{[m]_q!}{[r]_q!\,[m-r]_q!}\quad(r\leq m),</math>

צורה קומפקטית זאת מוכיחה מיד את הסימטריה <math>\tbinom mr_q=\tbinom m{m-r}_q</math> בעבור r ≤ m. 

בשונה מהמקדם הבינומי הרגיל, המקדם הבינומי הגאוסי מקבל ערך סופי כאשר <math>m\rightarrow \infty</math> (הגבול הוא בעל משמעות אנליטית כאשר q|<1|):

:<math>{\infty \choose r}_q = \lim_{m\rightarrow \infty} {m \choose r}_q = \frac{1}{[r]_q!\,(1-q)^r}</math>

== פירוש המקדמים בעזרת אלגברה ליניארית ==
למקדמים הבינומיים הגאוסיים יש פרשנות מעניינת מתחום האלגברה הליניארית, שהופכת אותם לחשובים בתאוריה של מרחבים פרויקטיביים. מקדמים אלו סופרים למעשה את מספר תת-המרחבים מממד k המוכלים במרחב וקטורי מממד n מעל שדה סופי בעל q איברים. נראה זאת.

כיוון שתת-מרחב k ממדי נפרש על ידי k וקטורים בלתי תלויים ליניארית <math>(v_1,...,v_k)</math>, אזי ראשית, <math>v_1</math> יכול להיות כל וקטור שונה מוקטור האפס של V. לפיכך, ייתכנו <math>q^n - 1</math> בחירות בעבור <math>v_1</math>. בהינתן <math>v_1</math>, אז <math>v_2</math> יכול להיבחר מבין אוסף הווקטורים שאינם נמצאים בתת-מרחב הנפרש על ידי <math>v_1</math>. כיוון שלתת-מרחב זה יש q איברים, ייתכנו <math>q^n - q</math> בחירות עבור <math>v_2</math>. כשממשיכים בדרך הזו, רואים שבהינתן 
<math>v_1,...,v_l</math> וקטורים בלתי תלויים (כאשר <math>k<l</math>), ישנן <math>q^n - q^l</math> בחירות אפשריות בעבור <math>v_{l+1}</math>.

מספר הצירופים של k וקטורים בלתי תלויים ליניארית מ-V הוא לפיכך:

:<math>(q^n-1)(q^n-q)\cdots(q^n-q^{k-1})</math>.

באמצעות יישום הנוסחה האחרונה למקרה הפרטי בו <math>n = k</math>, ניתן להיווכח בכך שלכל תת-מרחב k ממדי של V יש בדיוק

:<math>(q^k-1)(q^k-q)\cdots(q^k-q^{k-1})</math> בסיסים.

כדי לקבל את מספר תת-המרחבים ה-k ממדיים, יש לחלק את הביטוי הראשון בשני. כיוון שכך, מספר תת-המרחבים ה-k ממדיים של V הוא:

:<math>\binom nk_q = \frac</math>

ולאחר צמצום כל ה-q-ים שבמונה ובמכנה מקבלים את הצורה הסטנדרטית של המקדם הבינומי הגאוסי.

== תכונות חשובות ==
כמו המקדמים הבינומיים הרגילים, המקדמים הבינומיים הגאוסיים הם סימטריים ביחס למרכז, כלומר נשמרים תחת הפעולה <math> r \rightarrow m-r </math>:

:<math>{m \choose r}_q = {m \choose m-r}_q </math>

כמו כן מתקיים:

:<math>{m \choose 0}_q ={m \choose m}_q=1 \, ,</math>

:<math>{m \choose 1}_q ={m \choose m-1}_q=\frac{1-q^m}{1-q}=1+q+ \cdots + q^{m-1} \quad m \ge 1 \, .</math>

השם מקדם בינומי גאוסי נגזר מן העובדה שהערכה שלהם בנקודה q = 1 נותנת 

:<math>\lim_{q \to 1} {m \choose r}_q = {m \choose r}</math>

בעבור כל ערכי m ו-r.

הזהויות האנלוגיות לזהויות פסקל במקרה של מקדמים בינומיים גאוסיים הן:

:<math>{m \choose r}_q = q^r {m-1 \choose r}_q + {m-1 \choose r-1}_q</math>

ו-:

:<math>{m \choose r}_q = {m-1 \choose r}_q + q^{m-r}{m-1 \choose r-1}_q</math>.

== הקשר לחלוקות של מספרים ==
למקדמים הללו יש גם קשר אריתמטי מעניין לחלוקות של מספרים, כפי שגאוס עצמו הבחין במאמרו על קביעת הסימן של סכומי גאוס.

כאשר מגבילים את מספרם וגודלם של החלקים של מספר טבעי נתון n, אז ניתן לשאול את השאלה כמה חלוקות שונות יש למספר זה לכדי לכל היותר M חלקים, שלכל אחד מהם גודל של לכל היותר N. באופן שקול, אלו בדיוק החלוקות שניתן לתחום את דיאגרמת יאנג שלהן במלבן בגודל M × N. אם נסמן את מספר החלוקות הללו ב-(p(N, M; n, אז ישנו יחס נסיגה 

:<math>p(N,M;n) = p(N,M-1;n) + p(N-1,M;n-M) </math>

המקדם הבינומי הגאוסי מוגדר כ-

:<math>{k+\ell \choose \ell}_q = {k+\ell \choose k}_q = \frac{\prod^{k+\ell}_{j=1}(1-q^j)}{\prod^{k}_{j=1}(1-q^j)\prod^{\ell}_{j=1}(1-q^j)}</math>

ולו קשר הדוק לפונקציה היוצרת של (p(N, M; n, כפי שבא לידי ביטוי בשוויון:

:<math>\sum^{MN}_{n=0}p(N,M;n)q^n = {M+N \choose M}_q</math>.

== דוגמאות ==
:<math>{0 \choose 0}_q = {1 \choose 0}_q = 1</math>

:<math>{1 \choose 1}_q = \frac{1-q}{1-q}=1</math>

:<math>{2 \choose 1}_q = \frac{1-q^2}{1-q}=1+q</math>

:<math>{3 \choose 1}_q = \frac{1-q^3}{1-q}=1+q+q^2</math>

:<math>{3 \choose 2}_q = \frac{(1-q^3)(1-q^2)}{(1-q)(1-q^2)}=1+q+q^2</math>

:<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</math>

== ראו גם ==
* יריעת גרסמן

==קישורים חיצוניים==
* 

== הערות שוליים ==

קטגוריה:קומבינטוריקה
קטגוריה:קרל פרידריך גאוס