Vandermondlarning o'ziga xosligi - Vandermondes identity - Wikipedia

Yilda kombinatorika, Vandermondening shaxsi (yoki Vandermondening konvolyutsiyasi) uchun quyidagi identifikator binomial koeffitsientlar:

har qanday salbiy uchun butun sonlar r, m, n. Shaxsiyat nomi berilgan Aleksandr-Teofil Vandermond (1772), garchi u 1303 yilda allaqachon ma'lum bo'lgan Xitoy matematikasi Chju Shijie.[1]

Bor q-analog ushbu teorema ga q-Vandermondning o'ziga xosligi.

Vandermondening identifikatorini turli xil usullar bilan, shu jumladan shaxsiyat bo'yicha umumlashtirish mumkin

Isbot

Algebraik isbot

Umuman olganda, ikkitaning mahsuloti polinomlar daraja bilan m va nnavbati bilan, tomonidan berilgan

bu erda biz konventsiyadan foydalanamiz amen Barcha tamsayılar uchun = 0 men > m va bj Barcha tamsayılar uchun = 0 j > n. Tomonidan binomiya teoremasi,

Binomial teoremadan eksponentlar uchun ham foydalanish m va n, so'ngra polinomlar ko'paytmasi uchun yuqoridagi formulani olamiz

bu erda polinomlar koeffitsientlari uchun yuqoridagi konventsiya binomial koeffitsientlarning ta'rifiga mos keladi, chunki ikkalasi hammasi uchun nolga teng men > m va j > nnavbati bilan.

Ning koeffitsientlarini taqqoslab xr, Vandermondening identifikatori barcha butun sonlar uchun amal qiladi r 0 with bilanr ≤ m + n. Kattaroq butun sonlar uchun r, binomial koeffitsientlarning ta'rifi tufayli Vandermondening ikkala tomoni nolga teng.

Kombinatorial dalil

Vandermondening identifikatori kombinatorlikni ham tan oladi ikki marta hisoblash, quyidagicha. Qo'mita tarkibiga kiradi m erkaklar va n ayollar. Kichik qo'mita qancha yo'llar bilan r a'zolar tuziladimi? Javob

Javob, shuningdek, ning barcha mumkin bo'lgan qiymatlari yig'indisidir k, tashkil topgan kichik qo'mitalar soni k erkaklar va r − k ayollar:

Geometrik isbot

Ning to'rtburchaklar panjarasini oling r x (m+nr) kvadratchalar. Lar bor

pastki chap vertikadan boshlanadigan va faqat yuqoriga yoki o'ngga qarab harakatlanadigan yo'llar, o'ng yuqori tepada tugaydi (buning sababi shundaki r to'g'ri harakatlar va m+n-r yuqoriga harakatlanish istalgan tartibda (yoki aksincha) amalga oshirilishi kerak va yo'lning umumiy uzunligi m + n). Chap pastki vertikani chaqiring (0, 0).

Lar bor (0, 0) dan boshlanadigan yo'llar (k, mk), kabi k to'g'ri harakatlar va mk yuqoriga qarab harakatlanish kerak (va yo'l uzunligi ham) m). Xuddi shunday, mavjud dan boshlanadigan yo'llark, mk) tugaydigan (r, m+nr), jami sifatida rk to'g'ri harakatlar va (m+nr) − (mk) yuqoriga qarab harakatlanish kerak va yo'l uzunligi bo'lishi kerak rk + (m+nr) − (mk) = n. Shunday qilib bor

(0, 0) da boshlanadigan yo'llar, (r, m+nr) va orqali o'ting (k, mk). Bu kichik to'plam (0, 0) da boshlanib, (da) tugaydigan barcha yo'llarningr, m+nr), shuning uchun k = 0 dan k = r (nuqta sifatida (k, mk) (0, 0) dan boshlanib ((0) gacha tugaydigan yo'llarning umumiy sonini olish uchun) kvadrat ichida bo'lish bilan cheklangan.r, m+nr).

Umumlashtirish

Vandermondening shaxsini umumlashtirdi

Vandermondening shaxsini quyidagicha umumlashtirish mumkin:

Ushbu identifikatsiyani ikkitadan ko'p polinom ishlatilganda yuqoridagi algebraik hosila yoki oddiy ikki marta hisoblash dalil.

Bir tomondan, kimdir tanlaydi elementlarning birinchi to'plamidan elementlar; keyin orqali boshqa to'plamdan va boshqalar jami qadar bunday to'plamlar elementlari tanlangan to'plamlar. Shuning uchun kimdir tanlaydi elementlari chap tomonda, bu ham o'ng tomonda amalga oshiriladi.

Chu-Vandermondning o'ziga xosligi

Identifikatsiya butun son bo'lmagan argumentlarni umumlashtiradi. Bunday holda, u sifatida tanilgan Chu-Vandermondning o'ziga xosligi (qarang Askey 1975, 59-60 betlar ) va shaklni oladi

umumiy uchun murakkab qadrli s va t va har qanday salbiy bo'lmagan butun son n. Yuqoridagi algebraik dalil bo'yicha isbotlanishi mumkin ko'payish The binomial qator uchun va va atamalarni binomial qator bilan taqqoslash .

Ushbu identifikatsiya tushish nuqtai nazaridan qayta yozilishi mumkin Pochhammer belgilari kabi

qaysi shaklda u an sifatida aniq tanilgan kindik varianti binomiya teoremasi (binomiya teoremasining umral variantlari haqida ko'proq ma'lumot uchun qarang binomial turi ). Chu-Vandermondning o'ziga xosligi ham alohida holat deb qaralishi mumkin Gaussning gipergeometrik teoremasi, deb ta'kidlaydi

qayerda bo'ladi gipergeometrik funktsiya va bo'ladi gamma funktsiyasi. Biri Chu-Vandermondning o'ziga xosligini qaytarib olib, qaytarib oladi a = −n va shaxsni qo'llash

erkin tarzda.

The Rothe-Xagen identifikatori bu o'ziga xoslikni yanada umumlashtirishdir.

Gipergeometrik ehtimollik taqsimoti

Qachon ikkala tomonni chapdagi ifoda bilan bo'linib, yig'indisi 1 ga teng bo'lsa, unda yig'indining shartlari ehtimollar deb talqin qilinishi mumkin. Natijada ehtimollik taqsimoti bo'ladi gipergeometrik taqsimot. Bu qizil marmar sonining ehtimollik taqsimoti r chizadi almashtirishsiz o'z ichiga olgan urnadan n qizil va m moviy marmar.

Shuningdek qarang

Adabiyotlar

  1. ^ Qarang Askey, Richard (1975), Ortogonal polinomlar va maxsus funktsiyalar, Amaliy matematika bo'yicha mintaqaviy konferentsiyalar seriyasi, 21, Filadelfiya, Pensilvaniya: SIAM, p. 59-60 tarix uchun.