লব্ধি

গণিতে, দুটি বহুপদীর লব্ধি হল তাদের সহগের একটি বহুপদী প্রকাশ যা শূন্য হবে যদি এবং কেবল যদি বহুপদীগুলির একটি সাধারণ মূল (সম্ভবত একটি ক্ষেত্র প্রসারণে), অথবা সমতুল্যভাবে, একটি সাধারণ উৎপাদক (তাদের ক্ষেত্র সহগের উপর) থাকে। কিছু পুরাতন পাঠ্যে, লব্ধিকে এলিমিনান্টও বলা হয়।

লব্ধি সংখ্যাতত্ত্বে ব্যাপকভাবে ব্যবহৃত হয়, হয় সরাসরি অথবা নিশ্চায়কের মাধ্যমে, যা মূলত একটি বহুপদী এবং বহুপদীজাত কোনো কিছুর লব্ধি। মূলদ সংখ্যা বা বহুপদী সহগসহ দুটি বহুপদীর লব্ধি কম্পিউটারে নির্ভূলতার সাথে হিসাব করা যেতে পারে। এটি কম্পিউটার বীজগণিতের একটি মৌলিক সরঞ্জাম এবং বেশিরভাগ কম্পিউটার বীজগাণিতিক সিস্টেমের একটি অন্তর্নির্মিত ফাংশন। এটি অন্যদের মধ্যে সিলিন্ড্রিক বীজগাণিতিক বিশ্লেষণ, মূলদ ফাংশনের সমাকলন এবং দ্বিপদী বহুপদী সমীকরণ দ্বারা আবদ্ধ বক্ররেখা আঁকতে ব্যবহৃত হয়।

"n"টি চলকের "n"টি সমঘাতি বহুপদী সমীকরণের লব্ধিকে (যাকে সাধারণত "বহুচলক লব্ধি" বা "ম্যাকাউলির লব্ধি" বলা হয়) ম্যাকাউলি প্রথম প্রবর্তন করেন। এটি সাধারণ ফলাফলের একটি বিস্তৃত রূপ। এটি এবং গ্রোবনার বেসিস নির্মূলন তত্ত্বের(Elimination Theory) প্রধানতম সূত্রগুলির মধ্যে একটি।

প্রকাশ

দুইটি একচলকবিশিষ্ট বহুপদী টেমপ্লেট:Math এবং টেমপ্লেট:Math-এর লব্ধি সাধারণত $\mathrm{res}(A,B)$ অথবা $\mathrm{Res}(A,B)$ আকারে প্রকাশ করা হয়।

লব্ধির অনেক প্রয়োগে বহুপদীগুলো একাধিক চলক নির্ভর হয় এবং সেগুলোকে তাদের কোনো এক চলকের উপর একচলকবিশিষ্ট বহুপদী হিসেবে বিবেচনা করা হয়, যেখানে অন্যান্য চলকগুলোকে সহগ হিসেবে ধরা হয়। এ ক্ষেত্রে, যে চলকটিকে লব্ধি নির্ধারণ এবং গণনার জন্য নির্বাচিত করা হয়, তাকে একটি সাবস্ক্রিপ্ট হিসেবে দেখানো হয়: ${\mathrm{res}}_x(A,B)$ বা ${\mathrm{Res}}_x(A,B)$। এখানে, $x$ হলো যে চলকের উপর ফলাফল নির্ণয় করা হচ্ছে।

লব্ধির সংজ্ঞায়নে বহুপদীগুলোর ঘাত ব্যবহৃত হয়। তবে, একটি টেমপ্লেট:Math মাত্রিক বহুপদীকে প্রয়োজনে উচ্চতর ঘাতের বহুপদী হিসেবে বিবেচনা করা যেতে পারে, যার উচ্চঘাতী চলকগুলোর সহগ শূন্য। যদি লব্ধি নির্ণয়ের জন্য এই ধরনের উচ্চতর ঘাত ব্যবহৃত হয়, তবে তা সাধারণত একটি সাবস্ক্রিপ্ট বা সুপারস্ক্রিপ্ট হিসেবে দেখানো হয়, যেমন ${\mathrm{res}}_{d,e}(A,B)$ বা ${\mathrm{res}}_x^{d,e}(A,B)$।

সংজ্ঞা

ক্ষেত্র বা ক্রমবিন্যাসী বিন্যাসের উপর দুটি একচলকবিশিষ্ট বহুপদীর লব্ধিকে তাদের সিলভেস্টার ম্যাট্রিক্সের নির্ণায়ক হিসাবে সংজ্ঞায়িত করা হয়।সুনির্দিষ্টভাবে বলতে গেলে, ধরি, $$A=a_0{x}^d+a_1{x}^{d-1}+\cdots +a_d$$

এবং

$$B=b_0{x}^e+b_1{x}^{e-1}+\cdots +b_e$$

যথাক্রমে টেমপ্লেট:Math এবং টেমপ্লেট:Math ঘাতের অশূন্য বহুপদী। আমরা ${𝒫}_i$ দ্বারা ভেক্টর ক্ষেত্র চিহ্নিত করি, যার মাত্রা টেমপ্লেট:Math এবং যার উপাদানগুলো টেমপ্লেট:Math থেকে নিম্নঘাতী বহুপদী। নিম্নোক্ত ফাংশনটি

$$\phi :𝒫e\times 𝒫d\to {𝒫}_{d+e}$$

এইভাবে প্রকাশ করা হয়:

$$\phi (P,Q)=AP+BQ$$

একই মাত্রার দুটি ক্ষেত্রের মধ্যে একটি রৈখিক ফাংশন। টেমপ্লেট:Math এর ঘাতের ভিত্তির উপর (যা অবরোহীক্রমে তালিকাভুক্ত), এই ফাংশনটিকে একটি টেমপ্লেট:Math মাত্রার বর্গাকার ম্যাট্রিক্স দ্বারা উপস্থাপন করা হয়, যাকে টেমপ্লেট:Math এবং টেমপ্লেট:Math-এর সিলভেস্টার ম্যাট্রিক্স বলা হয় (বহু লেখক , সিলভেস্টার ম্যাট্রিক্সকে এই ম্যাট্রিক্সের ট্রান্সপোজ হিসেবে সংজ্ঞায়িত করেছেন; তবে এখানে এটি ব্যবহার করা হয়নি, কারণ এটি রৈখিক ফাংশনের ম্যাট্রিক্স লেখার প্রচলিত রীতি ভঙ্গ করে)।

টেমপ্লেট:Math এবং টেমপ্লেট:Math-এর লব্ধিকে তাই এর নির্ণায়ক হিসেবে প্রকাশ করা হয়:

$$\left|\begin{array}{cccccccc}{a}_0& 0& \cdots & 0& b_0& 0& \cdots & 0\\ a_1& a_0& \cdots & 0& b_1& b_0& \cdots & 0\\ a_2& a_1& \ddots & 0& b_2& b_1& \ddots & 0\\ ⋮& ⋮& \ddots & a_0& ⋮& ⋮& \ddots & b_0\\ a_d& a_{d-1}& \cdots & ⋮& b_e& b_{e-1}& \cdots & ⋮\\ 0& a_d& \ddots & ⋮& 0& b_e& \ddots & ⋮\\ ⋮& ⋮& \ddots & a_{d-1}& ⋮& ⋮& \ddots & b_{e-1}\\ 0& 0& \cdots & a_d& 0& 0& \cdots & b_e\end{array}\right|,$$

যেখানে টেমপ্লেট:Math এর টেমপ্লেট:Mathটি কলাম এবং টেমপ্লেট:Math এর টেমপ্লেট:Mathটি কলাম রয়েছে (এখানে টেমপ্লেট:Math এবং টেমপ্লেট:Math-এর প্রথম কলামের একই দৈর্ঘ্য রাখা হয়েছে, অর্থাৎ টেমপ্লেট:Math, শুধুমাত্র নির্ণায়কের প্রকাশকে সহজ করার জন্য)। যেমন, যদি টেমপ্লেট:Math এবং টেমপ্লেট:Math ধরা হয়, আমরা পাই:

$$\left|\begin{array}{ccccc}{a}_0& 0& b_0& 0& 0\\ a_1& a_0& b_1& b_0& 0\\ a_2& a_1& b_2& b_1& b_0\\ a_3& a_2& 0& b_2& b_1\\ 0& a_3& 0& 0& b_2\end{array}\right|.$$

যদি পলিনোমিয়ালের সহগগুলো অখণ্ড ক্ষেত্রের অন্তর্গত হয়, তাহলে

$$\mathrm{res}(A,B)=a_0^e{b}_0^d\prod _{\begin{array}{c}1\le i\le d\\ 1\le j\le e\end{array}}({\lambda }_i-{\mu }_j)=a_0^e\prod _{i=1}^{d}B({\lambda }_i)=(-1{)}^{de}{b}_0^d\prod _{j=1}^{e}A({\mu }_j),$$

যেখানে ${\lambda }_1,\dots ,{\lambda }_d$ এবং ${\mu }_1,\dots ,{\mu }_e$ যথাক্রমে টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar-এর মূল, যেগুলো তাদের গুণকের ক্রমানুসারে হিসাব করা হয়েছে, এবং একটি বীজগাণিতিকভাবে বদ্ধ ক্ষেত্রের অন্তর্ভুক্ত, যা এই অখণ্ড ক্ষেত্রকে ধারণ করে। এটি লব্ধির স্বভাবজাত বৈশিষ্ট্যগুলির একটি সরাসরি লব্ধি, যা নিচে আলোচনা করা হয়েছে। সাধারণ ক্ষেত্রে, যেখানে পূর্ণসংখ্যার সহগ ব্যবহার করা হয়, বীজগাণিতিকভাবে বদ্ধ ক্ষেত্রটি সাধারণত জটিল সংখ্যার ক্ষেত্র হয়।

ধর্ম

এই অংশটি ও এর উপ-অংশগুলিতে, টেমপ্লেট:Math এবং টেমপ্লেট:Math কে টেমপ্লেট:Math চলরাশির উপর নির্ভরশীল এবং যথাক্রমে টেমপ্লেট:Math ও টেমপ্লেট:Math ঘাতবিশিষ্ট দুটি বহুপদী হিসেবে বিবেচনা করা হয়েছে এবং তাদের লব্ধিকে $\mathrm{res}(A,B)$ দ্বারা চিহ্নিত করা হয়েছে।

বৈশিষ্ট্য

একটি কম্যুটেটিভ রিং টেমপ্লেট:Math। যদি টেমপ্লেট:Mvar একটি ক্ষেত্র বা সাধারণভাবে একটি অখণ্ড ক্ষেত্র হয়, তাহলে লব্ধি হলো দুটি বহুপদীর সহগের উপর নির্ভরশীল একমাত্র ফাংশন যা নিম্নলিখিত বৈশিষ্ট্যগুলো পূরণ করে।

• যদি টেমপ্লেট:Mvar অন্য একটি রিং টেমপ্লেট:Mvar-এর একটি উপ-রিং হয়, তাহলে ${\mathrm{res}}_R(A,B)={\mathrm{res}}_S(A,B)$ অর্থাৎ, টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar বহুপদীসমূহের টেমপ্লেট:Mvar বা টেমপ্লেট:Mvar এর উপর ভিত্তি করে লব্ধি একই হয়।
• যদি টেমপ্লেট:Math হয় (অর্থাৎ যদি $A=a_0$ একটি অশূন্য ধ্রুবক হয়), তবে $\mathrm{res}(A,B)=a_0^e$। অনুরূপভাবে, যদি টেমপ্লেট:Math হয়, তবে $\mathrm{res}(A,B)=b_0^d$।
• $\mathrm{res}(x+a_1,x+b_1)=b_1-a_1$
• $\mathrm{res}(B,A)=(-1{)}^{de}\mathrm{res}(A,B)$
• $\mathrm{res}(AB,C)=\mathrm{res}(A,C)\mathrm{res}(B,C)$

শূন্য

• দুটি বহুপদীর লব্ধি, যাদের সহগগুলো একটি অখণ্ড ক্ষেত্রের অন্তর্গত, তখনই শূন্য হবে যদি এবং কেবলমাত্র যদি তাদের একটি ধনাত্মক মাত্রার গসাগু থাকে।
• দুটি বহুপদীর লব্ধি, যাদের সহগগুলো একটি অখণ্ড ক্ষেত্রের অন্তর্গত, তখনই শূন্য হবে যদি এবং কেবলমাত্র যদি বীজগাণিতিকভাবে বদ্ধ ক্ষেত্রে তাদের একটি সাধারণ মূল থাকে, যেটি সহগগুলোকে ধারণ করে।
• টেমপ্লেট:Math নামে একটি বহুপদী বিদ্যমান, যার মাত্রা টেমপ্লেট:Math-এর চেয়ে কম, এবং টেমপ্লেট:Math নামে একটি বহুপদী, যার মাত্রা টেমপ্লেট:Math-এর চেয়ে কম, যাদের জন্য $\mathrm{res}(A,B)=AP+BQ$। এটি বেজুটের অভেদক (Bézout's identity)র একটি সরলীকরণ, যেখানে বহুপদীগুলো একটি যেকোনো কম্যুটেটিভ রিং-এর উপর রয়েছে। অন্য কথায়, দুটি বহুপদীর লব্ধি তাদের দ্বারা উৎপন্ন আইডিয়ালের অন্তর্গত।

আরও দেখুন

• নির্মূলন তত্ত্ব
• রৈখিক বীজগণিত

তথ্যসূত্র

• টেমপ্লেট:Citation
• টেমপ্লেট:Citation

বহিঃসংযোগ

• টেমপ্লেট:MathWorld