লব্ধি

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

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

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

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

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

লব্ধির সংজ্ঞায়নে বহুপদীগুলোর ঘাত ব্যবহৃত হয়। তবে, একটি  মাত্রিক বহুপদীকে প্রয়োজনে উচ্চতর ঘাতের বহুপদী হিসেবে বিবেচনা করা যেতে পারে, যার উচ্চঘাতী চলকগুলোর সহগ শূন্য। যদি লব্ধি নির্ণয়ের জন্য এই ধরনের উচ্চতর ঘাত ব্যবহৃত হয়, তবে তা সাধারণত একটি সাবস্ক্রিপ্ট বা সুপারস্ক্রিপ্ট হিসেবে দেখানো হয়, যেমন \operatorname{res}_{d,e}(A,B) বা \operatorname{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

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

\varphi:\mathcal{P}{e}\times \mathcal{P}{d} \rightarrow \mathcal{P}_{d+e}

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

\varphi(P,Q) = AP + BQ

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

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

\begin{vmatrix} 
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 \\
\vdots  &\vdots   & \ddots & a_0        & \vdots   &\vdots       & \ddots & b_0  \\
a_d       & a_{d-1} & \cdots & \vdots   & b_e       & b_{e-1}     & \cdots & \vdots\\
0          & a_d       & \ddots &  \vdots  & 0          & b_e          & \ddots &  \vdots  \\
\vdots  & \vdots   & \ddots & a_{d-1}  & \vdots  & \vdots      & \ddots & b_{e-1}   \\
0          & 0          & \cdots  & a_d       & 0           & 0              & \cdots & b_e   
\end{vmatrix},

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

\begin{vmatrix} 
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{vmatrix}.

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

\operatorname{res}(A, B) = a_0^e b_0^d \prod_{\begin{array}{c}1 \leq i \leq d\\ 1 \leq j \leq 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 যথাক্রমে  এবং -এর মূল, যেগুলো তাদের গুণকের ক্রমানুসারে হিসাব করা হয়েছে, এবং একটি বীজগাণিতিকভাবে বদ্ধ ক্ষেত্রের অন্তর্ভুক্ত, যা এই অখণ্ড ক্ষেত্রকে ধারণ করে। এটি লব্ধির স্বভাবজাত বৈশিষ্ট্যগুলির একটি সরাসরি লব্ধি, যা নিচে আলোচনা করা হয়েছে। সাধারণ ক্ষেত্রে, যেখানে পূর্ণসংখ্যার সহগ ব্যবহার করা হয়, বীজগাণিতিকভাবে বদ্ধ ক্ষেত্রটি সাধারণত জটিল সংখ্যার ক্ষেত্র হয়।

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

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

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

### শূন্য

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

## আরও দেখুন
*নির্মূলন তত্ত্ব
*রৈখিক বীজগণিত

## তথ্যসূত্র

*
*

## বহিঃসংযোগ
* 

বিষয়শ্রেণী:বহুপদী
বিষয়শ্রেণী:নির্ণায়ক