সার্বিক ফাংশন

testwiki থেকে
পরিভ্রমণে চলুন অনুসন্ধানে চলুন
X ডোমেইন থেকে কোডোমেইন Y-এ একটি সার্বিক ফাংশন। ফাংশনটি সার্বিক কারণ কোডোমেইনের প্রতিটি উপাদান f( x) এর মান ডোমেইনের অন্তত একটি উপাদান x এর সাথে সম্পর্কযুক্ত।

গণিতে,একটি ফাংশন f একটি সেট X থেকে অন্য একটি সেট Y এ সার্বিক হবে (এটি onto অথবা surjection নামেও পরিচিত), যদি f ফাংশনের কোডোমেইন Y এর প্রতিটি উপাদান y এর জন্য, f এর ডোমেইন X-এ কমপক্ষে একটি উপাদান x থাকে।যেন:f(x) = y হয়।[][][] এক্ষেত্রে x অনন্য হতে হবে এমন কোনো বাধ্যবাধকতা নেই; ফাংশন f-এ x-এর এক বা একাধিক উপাদান Y এর একটি উপাদানে ম্যাপ করা থাকতে পারে। এই ফাংশন বা চিত্রণ উপরিচিত্রণ নামে পরিচিত।

নিকোলা বুরবাকি সার্বিক সেট, একক এবং একক ও সার্বিক সেট সংশ্লিষ্ট বিষয়সমূহ প্রবর্তন করেছেন,[][] এটি মূলত বিংশ শতাব্দীর ফরাসি গণিতবিদদের একটি দল ছিল, যা এই ছদ্মনামে ১৯৩৫ সাল থেকে আধুনিক উন্নত গণিতের একটি ব্যাখ্যা উপস্থাপন করে বেশ কয়েকটি বই লিখেছিল। ফার্সি শব্দ সুর' অর্থ উপরে ' এবং এই সত্যের সাথে সম্পর্কিত যে একটি সার্বিক ফাংশনের ডোমেনের চিত্রটি ফাংশনের কোডোমেইনকে সম্পূর্ণরূপে আচ্ছাদিত করে।

যেকোন ফাংশন সার্বিক সেটে রূপান্তরিত হয় এর কোডোমেনকে ডোমেইনের উপাদানসমূহের প্রতিবিম্বের মধ্যে সীমাবদ্ধ রেখে। প্রত্যেক সার্বিক ফাংশন এর একটি ডান বিপরীত রয়েছে এবং ডান বিপরীতসহ প্রত্যেক ফাংশন অবশ্যই সার্বিক ফাংশন হবে। সার্বিক ফাংশনের কম্পোজিট(একের অধিক ফাংশনের সংমিশ্রণ ) সর্বদাই সার্বিক ফাংশন হয়ে থাকে। যেকোনো ফাংশনকে সার্বিক ফাংশন এবং একক ফাংশনে বিভক্ত করা যেতে পারে।

সংজ্ঞা

টেমপ্লেট:বিস্তারিত একটি সার্বিক ফাংশন হলো এমন এক ধরনের ফাংশন যার প্রতিবিম্বসমূহ এর কোডমেইনের সমান। একইভাবে , একটি ফাংশন f ডোমেইন X এবং কোডোমেইন Y সহ সার্বিক হবে যদি Y এর অন্তর্ভুক্ত প্রত্যেক y এর জন্য অন্তত একটি x X এর মধ্যে বিদ্যমান থাকে যাতে f(x)=y হয়।[] সার্বিক ফাংশনসমূহকে অনেক সময় দুই মাথা বিশিষ্ট ডানদিকবর্তী তীর দ্বারা চিহ্নিত করা হয়। (টেমপ্লেট:Unichar),[] f:XY এ যেমন দেখা যাচ্ছে।

সাংকেতিকভাবে ,

যদি f:XY, তবেf সার্বিক ফাংশন বলা হয় যদি
yY,xX,f(x)=y হয়।[][]

আরও দেখুন

তথ্যসূত্র

টেমপ্লেট:সূত্র তালিকা

আরও পড়া