كثير الحدود ذو القيم الصحيحة

في الرياضيات ، متعددة الحدود ذات القيم الصحيحة (المعروفة أيضًا باسم متعددة الحدود العددية )P(ت){\displaystyle P(t)}هي متعددة حدود قيمتهاP(ن){\displaystyle P(n)}عدد صحيح لكل عدد صحيح n . كل متعددة حدود ذات معاملات صحيحة هي متعددة حدود ذات قيم صحيحة، ولكن العكس غير صحيح. على سبيل المثال، متعددة الحدود

P(ت)=12ت2+12ت=12ت(ت+1){\displaystyle P(t)={\frac {1}{2}}t^{2}+{\frac {1}{2}}t={\frac {1}{2}}t(t+1)}

تأخذ قيمًا صحيحة كلما كان t عددًا صحيحًا. وذلك لأن أحد t وت+1{\displaystyle t+1}يجب أن يكون عددًا زوجيًا . (القيم التي تأخذها هذه المعادلة متعددة الحدود هي الأعداد المثلثية .)

تعد كثيرات الحدود ذات القيم الصحيحة موضوعات للدراسة في حد ذاتها في الجبر، وتظهر بشكل متكرر في الطوبولوجيا الجبرية . [ 1 ]

تصنيف

وصف جورج بوليا ( 1915 ) فئة كثيرات الحدود ذات القيم الصحيحة وصفًا كاملاً . داخل حلقة كثيرات الحدود سؤال[ت]{\displaystyle \mathbb {Q} [t]}بالنسبة لكثيرات الحدود ذات المعاملات العددية النسبية ، فإن الحلقة الفرعية لكثيرات الحدود ذات القيم الصحيحة هي زمرة أبيلية حرة . وتتخذ من كثيرات الحدود أساسًا لها.

Pك(ت)=ت(ت-1)(ت-ك+1)/ك!{\displaystyle P_{k}(t)=t(t-1)\cdots (t-k+1)/k!}

لك=0،1،2،...{\displaystyle k=0,1,2,\dots }أي معاملات ذات الحدين . بعبارة أخرى، يمكن كتابة أي متعددة حدود ذات قيم صحيحة كتركيبة خطية صحيحة لمعاملات ذات الحدين بطريقة واحدة فقط. ويتم البرهان باستخدام طريقة متسلسلة تايلور المنفصلة : معاملات ذات الحدين هي متعددات حدود ذات قيم صحيحة، وبالعكس، فإن الفرق المنفصل لمتسلسلة صحيحة هو متسلسلة صحيحة، لذا فإن متسلسلة تايلور المنفصلة لمتسلسلة صحيحة مولدة بواسطة متعددة حدود لها معاملات صحيحة (وهي متسلسلة منتهية).

القواسم الأولية الثابتة

يمكن استخدام كثيرات الحدود ذات القيم الصحيحة بفعالية لحل مسائل تتعلق بقواسم كثيرات الحدود الثابتة. على سبيل المثال، كثيرات الحدود P ذات المعاملات الصحيحة التي تأخذ دائمًا قيمًا زوجية هي تلك التي تحقق الشرط التالي:P/2{\displaystyle P/2}هي ذات قيمة صحيحة. وهذه بدورها هي كثيرات الحدود التي يمكن التعبير عنها كتركيبة خطية بمعاملات زوجية صحيحة لمعاملات ذات الحدين.

في مسائل نظرية الأعداد الأولية، مثل فرضية شينزل H وتخمين بيتمان-هورن ، يُعدّ فهم الحالة التي لا يكون فيها للعدد P قاسم أولي ثابت (وهي خاصية بونياكوفسكي ، نسبةً إلى فيكتور بونياكوفسكي ) أمرًا بالغ الأهمية. بكتابة P بدلالة معاملات ذات الحدين، نلاحظ أن أكبر قاسم أولي ثابت هو أيضًا أكبر عامل مشترك أولي للمعاملات في هذا التمثيل. إذن، خاصية بونياكوفسكي تُكافئ المعاملات الأولية فيما بينها.

على سبيل المثال، زوج كثيرات الحدودن{\displaystyle n}ون2+2{\displaystyle n^{2}+2}ينتهك هذا الشرط فيص=3{\displaystyle p=3}لكلن{\displaystyle n}المنتج

ن(ن2+2){\displaystyle n(n^{2}+2)}

يقبل القسمة على 3، وهو ما ينتج عن التمثيل

ن(ن2+2)=6(ن3)+6(ن2)+3(ن1){\displaystyle n(n^{2}+2)=6{\binom {n}{3}}+6{\binom {n}{2}}+3{\binom {n}{1}}}

بالنسبة للأساس ذي الحدين، حيث يكون العامل المشترك الأعلى للمعاملات هو - وبالتالي القاسم الثابت الأعلى لـن(ن2+2){\displaystyle n(n^{2}+2)} هو 3.

خواتم أخرى

يمكن تعريف كثيرات الحدود العددية على حلقات وحقول أخرى، وفي هذه الحالة يشار إلى كثيرات الحدود ذات القيم الصحيحة المذكورة أعلاه باسم كثيرات الحدود العددية الكلاسيكية .

التطبيقات

نظرية K لـ BU( n ) هي كثيرات حدود عددية (متناظرة).

متعددة حدود هيلبرت لحلقة متعددة الحدود في k  +  1 متغيرًا هي متعددة الحدود العددية(ت+كك){\displaystyle {\binom {t+k}{k}}}.

مراجع

  1. جونسون، كيث (2014)، "نظرية التماثل المستقر، وقوانين الزمر الرسمية، ومتعددات الحدود ذات القيم الصحيحة"، في فونتانا، ماركو؛ فريش، صوفي؛ جلاز، سارة (محررون)، الجبر التبادلي: التطورات الحديثة في الحلقات التبادلية، ومتعددات الحدود ذات القيم الصحيحة، ودوال متعددات الحدود ، سبرينغر، ص 213-224 ، ISBN  9781493909254انظر على وجه الخصوص الصفحتين  213-214.

الجبر

الطوبولوجيا الجبرية

للمزيد من القراءة