লব্ধি

গণিতে, দুটি বহুপদীর লব্ধি হল তাদের সহগের একটি বহুপদী প্রকাশ যা শূন্য হবে যদি এবং কেবল যদি বহুপদীগুলির একটি সাধারণ মূল (সম্ভবত একটি ক্ষেত্র প্রসারণে), অথবা সমতুল্যভাবে, একটি সাধারণ উৎপাদক (তাদের ক্ষেত্র সহগের উপর) থাকে। কিছু পুরাতন পাঠ্যে, লব্ধিকে এলিমিনান্টও বলা হয়।
লব্ধি সংখ্যাতত্ত্বে ব্যাপকভাবে ব্যবহৃত হয়, হয় সরাসরি অথবা নিশ্চায়কের মাধ্যমে, যা মূলত একটি বহুপদী এবং বহুপদীজাত কোনো কিছুর লব্ধি। মূলদ সংখ্যা বা বহুপদী সহগসহ দুটি বহুপদীর লব্ধি কম্পিউটারে নির্ভূলতার সাথে হিসাব করা যেতে পারে। এটি কম্পিউটার বীজগণিতের একটি মৌলিক সরঞ্জাম এবং বেশিরভাগ কম্পিউটার বীজগাণিতিক সিস্টেমের একটি অন্তর্নির্মিত ফাংশন। এটি অন্যদের মধ্যে সিলিন্ড্রিক বীজগাণিতিক বিশ্লেষণ, মূলদ ফাংশনের সমাকলন এবং দ্বিপদী বহুপদী সমীকরণ দ্বারা আবদ্ধ বক্ররেখা আঁকতে ব্যবহৃত হয়।
"n"টি চলকের "n"টি সমঘাতি বহুপদী সমীকরণের লব্ধিকে (যাকে সাধারণত "বহুচলক লব্ধি" বা "ম্যাকাউলির লব্ধি" বলা হয়) ম্যাকাউলি প্রথম প্রবর্তন করেন। এটি সাধারণ ফলাফলের একটি বিস্তৃত রূপ। এটি এবং গ্রোবনার বেসিস নির্মূলন তত্ত্বের(Elimination Theory) প্রধানতম সূত্রগুলির মধ্যে একটি।
দুইটি একচলকবিশিষ্ট বহুপদী এবং -এর লব্ধি সাধারণত formula_1 অথবা formula_2 আকারে প্রকাশ করা হয়।
লব্ধির অনেক প্রয়োগে বহুপদীগুলো একাধিক চলক নির্ভর হয় এবং সেগুলোকে তাদের কোনো এক চলকের উপর একচলকবিশিষ্ট বহুপদী হিসেবে বিবেচনা করা হয়, যেখানে অন্যান্য চলকগুলোকে সহগ হিসেবে ধরা হয়। এ ক্ষেত্রে, যে চলকটিকে লব্ধি নির্ধারণ এবং গণনার জন্য নির্বাচিত করা হয়, তাকে একটি সাবস্ক্রিপ্ট হিসেবে দেখানো হয়: formula_3 বা formula_4।
এখানে, formula_5 হলো যে চলকের উপর ফলাফল নির্ণয় করা হচ্ছে।
লব্ধির সংজ্ঞায়নে বহুপদীগুলোর ঘাত ব্যবহৃত হয়। তবে, একটি মাত্রিক বহুপদীকে প্রয়োজনে উচ্চতর ঘাতের বহুপদী হিসেবে বিবেচনা করা যেতে পারে, যার উচ্চঘাতী চলকগুলোর সহগ শূন্য। যদি লব্ধি নির্ণয়ের জন্য এই ধরনের উচ্চতর ঘাত ব্যবহৃত হয়, তবে তা সাধারণত একটি সাবস্ক্রিপ্ট বা সুপারস্ক্রিপ্ট হিসেবে দেখানো হয়, যেমন formula_6 বা formula_7।
ক্ষেত্র বা ক্রমবিন্যাসী বিন্যাসের উপর দুটি একচলকবিশিষ্ট বহুপদীর লব্ধিকে তাদের সিলভেস্টার ম্যাট্রিক্সের নির্ণায়ক হিসাবে সংজ্ঞায়িত করা হয়।সুনির্দিষ্টভাবে বলতে গেলে,
ধরি,
formula_8
এবং
formula_9
যথাক্রমে এবং ঘাতের অশূন্য বহুপদী। আমরা formula_10 দ্বারা ভেক্টর ক্ষেত্র চিহ্নিত করি, যার মাত্রা এবং যার উপাদানগুলো থেকে নিম্নঘাতী বহুপদী। নিম্নোক্ত ফাংশনটি
formula_11
এইভাবে প্রকাশ করা হয়:
formula_12
একই মাত্রার দুটি ক্ষেত্রের মধ্যে একটি রৈখিক ফাংশন। এর ঘাতের ভিত্তির উপর (যা অবরোহীক্রমে তালিকাভুক্ত), এই ফাংশনটিকে একটি মাত্রার বর্গাকার ম্যাট্রিক্স দ্বারা উপস্থাপন করা হয়, যাকে এবং -এর "সিলভেস্টার ম্যাট্রিক্স" বলা হয় (বহু লেখক , সিলভেস্টার ম্যাট্রিক্সকে এই ম্যাট্রিক্সের ট্রান্সপোজ হিসেবে সংজ্ঞায়িত করেছেন; তবে এখানে এটি ব্যবহার করা হয়নি, কারণ এটি রৈখিক ফাংশনের ম্যাট্রিক্স লেখার প্রচলিত রীতি ভঙ্গ করে)।
formula_13
যেখানে এর টি কলাম এবং এর টি কলাম রয়েছে (এখানে এবং -এর প্রথম কলামের একই দৈর্ঘ্য রাখা হয়েছে, অর্থাৎ , শুধুমাত্র নির্ণায়কের প্রকাশকে সহজ করার জন্য)। যেমন, যদি এবং ধরা হয়, আমরা পাই:
formula_14
যদি পলিনোমিয়ালের সহগগুলো অখণ্ড ক্ষেত্রের অন্তর্গত হয়, তাহলে
formula_15
যেখানে formula_16 এবং formula_17 যথাক্রমে এবং -এর মূল, যেগুলো তাদের গুণকের ক্রমানুসারে হিসাব করা হয়েছে, এবং একটি বীজগাণিতিকভাবে বদ্ধ ক্ষেত্রের অন্তর্ভুক্ত, যা এই অখণ্ড ক্ষেত্রকে ধারণ করে। এটি লব্ধির স্বভাবজাত বৈশিষ্ট্যগুলির একটি সরাসরি লব্ধি, যা নিচে আলোচনা করা হয়েছে। সাধারণ ক্ষেত্রে, যেখানে পূর্ণসংখ্যার সহগ ব্যবহার করা হয়, বীজগাণিতিকভাবে বদ্ধ ক্ষেত্রটি সাধারণত জটিল সংখ্যার ক্ষেত্র হয়।
এই অংশটি ও এর উপ-অংশগুলিতে, এবং কে চলরাশির উপর নির্ভরশীল এবং যথাক্রমে ও ঘাতবিশিষ্ট দুটি বহুপদী হিসেবে বিবেচনা করা হয়েছে এবং তাদের লব্ধিকে formula_1 দ্বারা চিহ্নিত করা হয়েছে।
একটি কম্যুটেটিভ রিং । যদি একটি ক্ষেত্র বা সাধারণভাবে একটি অখণ্ড ক্ষেত্র হয়, তাহলে লব্ধি হলো দুটি বহুপদীর সহগের উপর নির্ভরশীল একমাত্র ফাংশন যা নিম্নলিখিত বৈশিষ্ট্যগুলো পূরণ করে।