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

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

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

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

 সংজ্ঞা 

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

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

যদি , তবে সার্বিক ফাংশন বলা হয় যদি

 হয়।

 আরও দেখুন 
 একক ও সার্বিক ফাংশন
একক ফাংশন
কভার (বীজগণিত)
 আবরণ মানচিত্র
 গণনা
 ফাইবার বান্ডিল
সূচক সেট
বিভাগ (বিভাগ তত্ত্ব)

 তথ্যসূত্র 

 আরও পড়া 



বিষয়শ্রেণী:সেট তত্ত্বের মৌলিক ধারণা
বিষয়শ্রেণী:ফাংশন ও ম্যাপিং
বিষয়শ্রেণী:গাণিতিক সম্বন্ধ
বিষয়শ্রেণী:ফাংশনের ধরন