স্বতঃসিদ্ধমূলক সেট তত্ত্ব

উইকিপিডিয়া, মুক্ত বিশ্বকোষ থেকে

গণিতে স্বতঃসিদ্ধমূলক সেট তত্ত্ব (ইংরেজি ভাষায়: Axiomatic set theory) সেট তত্ত্বের একটি কঠোর গাণিতিক সংস্কারসাধিত রূপ। সরল সেট তত্ত্বের কূটাভাসগুলির সমাধানের লক্ষ্যে প্রথম-মাত্রার যুক্তিবিজ্ঞানের মাধ্যমে এটি রচিত হয়।

জার্মান গণিতবিদ গেয়র্গ কান্টর ১৯শ শতকের শেষ দিকে সেট তত্ত্বের ভিত্তি প্রস্তুত করেন। প্রথমদিকে তত্ত্বটি বিতর্কিত হলেও এটি পরবর্তীতে আধুনিক গণিতের একটি ভিত্তি তত্ত্বে পরিণত হয়, কেননা সেট তত্ত্বে গণিতের অন্যান্য ঐতিহ্যবাহী ক্ষেত্র (যেমন- বীজগণিত, গাণিতিক বিশ্লেষণ, টপোগণিত, ইত্যাদি) থেকে প্রাপ্ত গাণিতিক বস্তুসমূহ (যেমন- সংখ্যা, ফাংশন) সম্পর্কে বলা প্রস্তাবনাগুলি (propositions) একটিমাত্র তত্ত্বেই আলোচিত হয় এবং এগুলিকে ঠিক বা ভুল প্রমাণ করার জন্য সেট তত্ত্ব কতগুলি আদর্শ স্বতঃসিদ্ধের একটি সেট প্রদান করে।

কিন্তু দেখা গেল সেট তত্ত্বে অতি ব্যবহৃত কিছু যুক্তি (argument) কূটাভাসের জন্ম দেয়। অথচ এই যুক্তিগুলোই গণিতের সবচেয়ে কার্যকর যুক্তিগুলোর অন্যতম এবং বিধিগত যুক্তিবিজ্ঞানের (formal logic) একেবারে প্রাথমিক কাঠামো এদের ওপরেই দাঁড়িয়ে আছে। কান্টরের সরল সেট তত্ত্বে সংশোধন এনে বলা হল এতে প্রদত্ত সেটের সংজ্ঞা অতিরিক্ত সরল (naive), এবং স্বতঃসিদ্ধের (axioms) ভিত্তিতে তত্ত্বটি নতুন করে বর্ণনা করার প্রয়াস নেয়া হল। জারমেলো-ফ্রাঙ্কেলের সেট তত্ত্ব এদের মধ্যে সবচেয়ে জনপ্রিয়।

প্র • আ • স গণিত
যুক্তিবিজ্ঞান এবং গণিতের ভিত্তি	গণিতের ভিত্তি • স্বতঃসিদ্ধ ব্যবস্থা • গাণিতিক কূটাভাস • প্রতীকী যুক্তিবিজ্ঞান • স্বতঃসিদ্ধমূলক সেট তত্ত্ব • মডেল তত্ত্ব • অনাদর্শ বিশ্লেষণ • গ্যোডেল সংখ্যা • পুনরাবৃত্ত ফাংশন • সিদ্ধান্ত সমস্যা • গঠনমূলক ক্রমসূচক সংখ্যা • বিশ্লেষণী সেট
সেট, সাধারণ টপোগণিত এবং ক্যাটেগরিসমূহ	সেট • অন্বয় • সমতুল সম্পর্ক • ফাংশন • চয়নের স্বতঃসিদ্ধ ও এর সমতুলসমূহ • উপাদান সংখ্যা • সংগঠন • বিন্যাস ও সমাবেশ • সংখ্যা • বাস্তব সংখ্যা • জটিল সংখ্যা • ক্রমায়ন • ক্রমসূচুক সংখ্যা • ল্যাটিস • বুলিয়ান বীজগণিত • টপোজগৎ • মেট্রিক জগত • সমতল ডোমেইন • অভিসৃতি • সংযুক্ততা • মাত্রা তত্ত্ব • সমজগৎ • সমঅভিসৃতি • ক্যাটেগরি ও ফাংটর • আরোহী সীমা ও অভিক্ষেপী সীমা • শিফ
বীজগণিত	বীজগণিত • মেট্রিক্স • নির্ণায়ক • বহুপদী • বীজগাণিতিক সমীকরণ • ফিল্ড • গালোয়া তত্ত্ব • যোগাশ্রয়ী জগৎ • রিং • সহযোগী বীজগণিত • বিনিমেয় রিং • ন্যোথারীয় রিং • বহুপদীর রিং • ঘাত ধারার রিং • দ্বিঘাত ফর্ম • ক্লিফোর্ড বীজগণিত • অন্তরক রিং • ভিট ভেক্টর • মান আরোপন • আদেলীয় বীজগাণিতিক গ্রুপ • কেলি বীজগণিত • জর্ডান বীজগণিত • মডিউল • হোমোলজীয় বীজগণিত • হপ্‌ফ বীজগণিত
গ্রুপ তত্ত্ব	গ্রুপ • আবেলীয় গ্রুপ • মুক্ত গ্রুপ • সসীম গ্রুপ • ধ্রুপদী গ্রুপ • টপোগাণিতিক গ্রুপ • টপোগাণিতিক আবেলীয় গ্রুপ • সংবদ্ধ গ্রুপ • লি গ্রুপ • লি বীজগণিত • বীজগাণিতিক গ্রুপ • সমধর্মী জগৎ • প্রতিসম রীমানীয় জগৎ ও বাস্তব ফর্ম • বিচ্ছিন্ন গ্রুপ • স্ফটিকীয় গ্রুপ • উপস্থাপন • ঐকিক উপস্থাপন • অব্যয় ও সমপরিবর্তিতা
সংখ্যাতত্ত্ব	সংখ্যাতত্ত্ব • অবিরত ভগ্নাংশ • সংখ্যাতাত্ত্বিক ফাংশন • যোগাত্মক সংখ্যা তত্ত্ব • সংখ্যার বিভাজন • মৌলিক সংখ্যার বিন্যাস • ল্যাটিস-বিন্দু সমস্যা • দিওফান্তুসীয় সমীকরণ • সংখ্যার জ্যামিতি • তুরীয় সংখ্যা • দ্বিঘাত ফিল্ড • বীজগাণিতিক সংখ্যা ফিল্ড • শ্রেণী ফিল্ড তত্ত্ব • জটিল গুণন • ফের্মার সমস্যা • স্থানীয় ফিল্ড • সহযোগী বীজগণিতের পাটীগণিত • জেটা ফাংশন
ইউক্লিডীয় এবং অভিক্ষেপী জ্যামিতি	জ্যামিতি • জ্যামিতির ভিত্তি • ইউক্লিডীয় জ্যামিতি • ইউক্লিডীয় জগৎ • জ্যামিতিক অঙ্কন • সুষম বহুভুজ • পাই • ত্রিকোণমিতি • কনিক • চতুর্মাত্রিক তল • উত্তল সেট • ভেক্টর • স্থানাংক • অভিক্ষেপী জ্যামিতি • অ্যাফাইন জ্যামিতি • অ-ইউক্লিডীয় জ্যামিতি • সমরূপী জ্যামিতি • এরলাঙেন প্রকল্প • অবিচ্ছিন্ন জ্যামিতি • বক্ররেখা • তল • চার বর্ণ উপপাদ্য
অন্তরক জ্যামিতি	অন্তরক জ্যামিতি • অন্তুরীকরণযোগ্য প্রজগৎ • রিমানীয় প্রজগৎ • সংযোজন • টেনসর ক্যালকুলাস • প্রভূমিতি • প্রতিসম জগৎ • জি-সংগঠন • জটিল প্রজগৎ • কেলার প্রজগৎ • হারমনিক যোগজ • বক্ররেখা ও তলের অন্তরক জ্যামিতি • রিমানীয় উপ-প্রজগৎ • ন্যূনতম উপ-প্রজগৎ • হারমনিক চিত্রণ • মোর্স তত্ত্ব • ফিন্সলার জগৎ • যোগজ জ্যামিতি • জিগেল ডোমেন • ছদ্মসমরূপী জ্যামিতি • বর্ণালী জ্যামিতি • সামগ্রিক বিশ্লেষণ
বীজগাণিতিক জ্যামিতি	বীজগাণিতিক জ্যামিতি • বীজগাণিতিক বক্ররেখা • বীজগাণিতিক তল • বীজগাণিতিক ভ্যারাইটি • আবেলীয় ভ্যারাইটি • রিমান-রখ উপপাদ্য
টপোগণিত	টপোগণিত • মৌলিক গ্রুপ • আবরক জগৎ • চিত্রণের মাত্রা • কমপ্লেক্স • হোমোলজি তত্ত্ব • স্থির-বিন্দু উপপাদ্য • কোহোমোলজি অপারেশন • হোমোটপি তত্ত্ব • ফাইবার জগৎ • বাধা • লি গ্রুপ ও সমমাত্রিক জগতের টপোগণিত • ফাইবার গুচ্ছ • বিশিষ্ট শ্রেণী • কে-তত্ত্ব • গিঁট তত্ত্ব • গুচ্ছবিন্যাসীয় প্রজগৎ • অন্তরক টপোগণিত • রূপান্তর গ্রুপ • ব্যতিক্রম বিন্দুর তত্ত্ব • ফোলিয়েশন • গতি ব্যবস্থা • আকার তত্ত্ব • বিপর্যয় তত্ত্ব
বিশ্লেষণ গণিত	বিশ্লেষণ গণিত • অবিচ্ছিন্ন ফাংশন • অসমতা • উত্তল বিশ্লেষণ • সীমিত ভেদের ফাংশন • অন্তরকলন • অব্যক্ত ফাংশন • প্রাথমিক ফাংশন • সি-অসীমঘাত ফাংশন ও অর্ধ-বৈশ্লষিক ফাংশন • যোগজকলন • বক্ররৈখিক যোগজ ও পৃষ্ঠ যোগজ • পরিমাপ তত্ত্ব • যোগজীকরণ তত্ত্ব • অব্যয় পরিমাপ • সেট ফাংশন • দৈর্ঘ্য • ক্ষেত্রফল • দঁজোয়া যোগজ • ধারা • অসীমতটীয় ধারা • বহুপদীয় আসন্নীকরণ • লম্ব ফাংশন • ফুরিয়ে ধারা • ফুরিয়ে রূপান্তর • হারমনিক বিশ্লেষণ • প্রায়-পর্যায়বৃত্ত ফাংশন • লাপ্লাস রূপান্তর • যোগজ রূপান্তর • বিভব তত্ত্ব • হারমনিক ফাংশন ও উপহারমনিক ফাংশন • ডিরিশ্‌লেট সমস্যা • ধারকত্ব • ভেদকলন • প্লাতোর সমস্যা • সমপরিসীমা • ভেদ অসমতা
জটিল বিশ্লেষণ	হলোমর্ফিক ফাংশন • ঘাত ধারা • ডিরিশলেট ধারা • সীমিত ফাংশন • একযোজী ও বহুযোজী ফাংশন • তুরীয় সমগ্র ফাংশন • আনুপাতিক ফাংশন • জটিল ফাংশনের মানসমূহের বিন্যাস • গুচ্ছ সেট • বীজগাণিতিক ফাংশন • অ্যালজেব্রয়ডাল ফাংশন • রিমান তল • আদর্শ সীমানা • সমরূপী চিত্রণ • অর্ধ-সমরূপী চিত্রণ • টাইখম্যুলার জগৎ • ক্লাইনীয় গ্রুপ • চরমমান দৈর্ঘ্য • ফাংশনতাত্ত্বিক শূন্য সেট • জটিল রাশির বিশ্লেষণী ফাংশন • বিশ্লেষণী জগৎ • স্বসমচিত্রণী ফাংশন
ফাংশনাল বিশ্লেষণ	ফাংশনাল বিশ্লেষণ • হিলবার্ট জগৎ • বানাখ জগৎ • ক্রমায়িত যোগাশ্রয়ী জগৎ • টপোগাণিতিক যোগাশ্রয়ী জগৎ • ফাংশন জগৎ • বন্টন ফাংশন ও অতিফাংশন • ভেক্টর-মানকৃত যোগজ • যোগাশ্রয়ী অপারেটর • সংবদ্ধ ও নিউক্লীয় অপারেটর • অপারেটরসমূহের অন্তঃপাতন • অপারেটরের বর্ণালী বিশ্লেষণ • যোগাশ্রয়ী অপারেটরের বিচলন • অপারেটরের সেমিগ্রুপ ও বিবর্তন সমীকরণ • অন্তরক অপারেটর • অণুস্থানীয় বিশ্লেষণ • বানাখ বীজগণিত • ফাংশন বীজগণিত • অপারেটর বীজগণিত • অপারেশনাল ক্যালকুলাস • অ-যোগাশ্রয়ী ফাংশনাল বিশ্লেষণ
অন্তরক, যোগজ এবং ফাংশনাল সমীকরণসমূহ	অন্তরক সমীকরণ • সাধারণ অন্তরক সমীকরণ • আদিমান সমস্যা • সীমাস্থ মান সমস্যা • সমাধানের অসীমতটীয় আচরণ • যোগাশ্রয়ী সাধারণ অন্তরক সমীকরণ • অ-যোগাশ্রয়ী অন্তরক সমীকরণ • অ-যোগাশ্রয়ী দোলন • অ-যোগাশ্রয়ী সমস্যাসমূহ • সুস্থিতি • যোগজ অব্যয় • অন্তর সমীকরণ • ফাংশনাল-অন্তরক সমীকরণ • পূর্ণ অন্তরক সমীকরণ • স্পর্শ রূপান্তর • আংশিক অন্তরক সমীকরণ • মোঁজ-অম্পেয়্যার সমীকরণ • উপবৃত্তীয় ধরনের আংশিক অন্তরক সমীকরণ • অধিবৃত্তীয় ধরনের আংশিক অন্তরক সমীকরণ • পরাবৃত্তীয় ধরনের আংশিক অন্তরক সমীকরণ • মিশ্র ধরনের আংশিক অন্তরক সমীকরণ • গ্রিনের ফাংশন • গ্রিনের অপারেটর • যোগজকলনীয় সমীকরণ • যোগজ-অন্তরক সমীকরণ • বিশেষ ফাংশনাল সমীকরণ • ছদ্ম-অন্তরক অপারেটর
বিশেষ ফাংশনসমূহ	বিশেষ ফাংশন • সৃজক ফাংশন • উপবৃত্তীয় ফাংশন • গামা ফাংশন • অধিজ্যামিতিক ফাংশন • গোলকীয় ফাংশন • সম্মিলিত অধিজ্যামিতিক ফাংশন • বেসেল ফাংশন • উপগোলকীয় ফাংশন • মাতিও ফাংশন
সাংখ্যিক বিশ্লেষণ	সাংখ্যিক পদ্ধতি • অন্তঃপাতন • ত্রুটি বিশ্লেষণ • আইগেনমানের সাংখ্যিক গণনা • সাংখ্যিক যোগজীকরণ • অ্যানালগ গণনা • ফাংশনের মূল্যায়ন
কম্পিউটার বিজ্ঞান এবং গুচ্ছবিন্যাস তত্ত্ব	স্বয়ংক্রিয়ক • কম্পিউটার • কোডিং তত্ত্ব • সাইবারনেটিক্‌স • দৈব সংখ্যা • সিমুলাশন • উপাত্ত প্রক্রিয়াকরণ • জীববিজ্ঞানে ব্যবহৃত গাণিতিক মডেলসমূহ • গণনার জটিলতা • গুচ্ছবিন্যাস তত্ত্ব • লাতিন বর্গ • গ্রাফ তত্ত্ব
সম্ভাবনা তত্ত্ব	সম্ভাবনা তত্ত্ব • সম্ভাবনা পরিমাপ • সম্ভাবনা তত্ত্বের সীমা উপপাদ্য • সম্ভাবনাযুক্ত প্রক্রিয়া • মার্কভ প্রক্রিয়া • মার্কভ শৃঙ্খল • ব্রাউনীয় চলন • ব্যাপন প্রক্রিয়া • যোগাত্মক প্রক্রিয়া • শাখায়ন প্রক্রিয়া • মার্টিংগেল • স্থিতিশীল প্রক্রিয়া • গাউসীয় প্রক্রিয়া • সম্ভাবনাযুক্ত অন্তরক সমীকরণ • আর্গডিক তত্ত্ব • সম্ভাবনাযুক্ত নিয়ন্ত্রণ • সম্ভাবনাযুক্ত শোধন • পরিসংখ্যানিক বলবিজ্ঞানের সম্ভাবনাভিত্তিক পদ্ধতি
পরিসংখ্যান	পরিসংখ্যানিক উপাত্ত বিশ্লেষণ • পরিসংখ্যানিক অনু্মান • পরিসংখ্যা • নমুনায়ন বিন্যাস • পরিসংখ্যানিক মডেল • পরিসংখ্যানিক সিদ্ধান্ত ফাংশন • পরিসংখ্যানিক মূল্যায়ন • পরিসংখ্যানিক অনুকল্প পরীক্ষণ • বহুচলকীয় বিশ্লেষণ • রোবাস্ট পদ্ধতি • অপরামিতিক পদ্ধতি • সময় ধারা বিশ্লেষণ • পরীক্ষাসমূহের ডিজাইন • নমুনা জরিপ • পরিসংখ্যানিক মান নিয়ন্ত্রণ • অর্থমিতি • জীবমিতি • মনোমিতি • ইন্সুরেন্স গণিত
গাণিতিক প্রোগ্রামিং এবং অপারেশন গবেষণা	গাণিতিক প্রোগ্রামিং • যোগাশ্রয়ী প্রোগ্রামিং • দ্বিঘাত প্রোগ্রামিং • অ-যোগাশ্রয়ী প্রোগ্রামিং • নেটওয়ার্ক প্রবাহ সমস্যা • পূর্ণ সংখ্যা প্রোগ্রামিং • সম্ভাবনাযুক্ত প্রোগ্রামিং • গতিশীল প্রোগ্রামিং • ক্রীড়া তত্ত্ব • অন্তরক ক্রীড়া • নিয়ন্ত্রণ তত্ত্ব • তথ্য তত্ত্ব • অপারেশন গবেষণা • মজুতভাণ্ডার নিয়ন্ত্রণ • তফসিলীকরণ ও উৎপাদন পরিকল্পনা