১৯৬৫ সালে মাইকেল মর্লির একটি একক গবেষণাপত্র গাণিতিক যুক্তিবিজ্ঞানের অন্যতম প্রাচীন ও গভীর অমীমাংসিত প্রশ্নের সমাধান করে: অগণনাযোগ্য ক্যাটাগোরিসিটি সংক্রান্ত লোশের অনুমান। মর্লি প্রমাণ করেন যে একটি গণনাযোগ্য প্রথম-স্তরের তত্ত্বের যদি যেকোনো একটি অগণনাযোগ্য কার্ডিনালিটিতে কেবল একটি অনন্য মডেল থাকে, তবে প্রতিটি অগণনাযোগ্য অসীমে তার অবিকল একটিমাত্র মডেল থাকতে বাধ্য। এই অভাবনীয় বিজয় জন্ম দেয় আধুনিক ক্লাসিফিকেশন থিওরি এবং সাহারোন শিলাহের জ্যামিতিক স্থায়িত্ব তত্ত্বের (Geometric Stability Theory), যা প্রমাণ করে যে গণিতের মহাবিশ্বসমূহ হয় নিখুঁত জ্যামিতিক শৃঙ্খলায় আবদ্ধ, নয়তো চরম বিশৃঙ্খলায় বিস্ফোরিত।
১. ক্যাটাগোরিসিটি ও মর্লির যুগান্তকারী উপপাদ্য
একটি তত্ত্ব $T$-কে $kappa$-ক্যাটাগরিক্যাল বলা হয় যদি $kappa$ আকারের মহাবিশ্বে তার আইসোমরফিজম সাপেক্ষে কেবল একটিমাত্র অনন্য মডেল থাকে ($I(T, kappa) = 1$)।
- গণনাযোগ্য অসীমে ($aleph_0$) তত্ত্বগুলো চরম অনিয়ন্ত্রিত হতে পারে (যেমন ডেন্স লিনিয়ার অর্ডারের অগণনাযোগ্য জগতে অগুনতি অসদৃশ মডেল থাকে)।
- ১৯৫৪ সালে ইয়ের্জি লোশ অনুমান করেন যে অগণনাযোগ্য জগতে এই অস্থিরতা অদৃশ্য হয়ে যায়: $aleph_1$-এ যদি মডেল একটিই থাকে, তবে উচ্চতর সমস্ত অসীমেও মডেল একটাই থাকবে।
মর্লির ক্যাটাগোরিসিটি উপপাদ্য (1965)
একটি প্রথম-স্তরের গণনাযোগ্য তত্ত্ব $T$ যদি যেকোনো একটি অগণনাযোগ্য কার্ডিনাল $kappa > aleph_0$-তে ক্যাটাগরিক্যাল হয়, তবে তা প্রতিটি অগণনাযোগ্য কার্ডিনাল $lambda > aleph_0$-তেই ক্যাটাগরিক্যাল হতে বাধ্য!
২. টাইপসের স্টোন স্পেস ও মর্লি র্যাঙ্ক
এই ঐতিহাসিক উপপাদ্য প্রমাণ করতে গিয়ে মর্লি টাইপ (Type)-এর জ্যামিতিক তত্ত্ব উদ্ভাবন করেন। একটি মডেলে উপাদানসমূহ কী ধরনের যৌক্তিক আচরণ প্রকাশ করতে পারে, তার সম্পূর্ণ সামঞ্জস্যপূর্ণ প্রোফাইলকে বলা হয় একটি টাইপ $p(x)$।
সমস্ত টাইপের সমষ্টি একটি কম্প্যাক্ট টপোলজিক্যাল স্পেস গঠন করে, যার নাম স্টোন স্পেস $S_n(T)$। এর ওপর ভিত্তি করে মর্লি সংজ্ঞায়িত করেন মর্লি র্যাঙ্ক (Morley Rank)—যা বীজগাণিতিক জ্যামিতির ক্রুল ডাইমেনশনের মতো যেকোনো সংজ্ঞায়িত সেটের পরম যৌক্তিক মাত্রা নির্দেশ করে।
৩. বাল্ডউইন-ল্যাকলান উপপাদ্য (Baldwin-Lachlan, 1971)
জন বাল্ডউইন এবং অ্যালিস্টেয়ার ল্যাকলান মর্লির তত্ত্বের গভীরে গিয়ে প্রমাণ করেন যে সমস্ত অগণনাযোগ্য ক্যাটাগরিক্যাল তত্ত্বের মডেলগুলো মূলত একটিমাত্র কার্ডিনাল মাত্রা (Dimension) দ্বারা নির্ধারিত হয়:
বাল্ডউইন-ল্যাকলান উপপাদ্য
যদি কোনো তত্ত্ব অগণনাযোগ্য কার্ডিনালে ক্যাটাগরিক্যাল হয়, তবে তার সমস্ত মডেল একটি স্ট্রংলি মিনিমাল সেটের ওপর একক ডাইমেনশন দ্বারা অনন্যভাবে চিহ্নিত হয়:
[
text{dim}(mathcal{M}) in {0, 1, 2, dots, aleph_0, aleph_1, dots}
]
এর উজ্জ্বল উদাহরণ হলো:
- ভেক্টর স্পেস: দুটি ভেক্টর স্পেসের মাত্রা (বেসিসের আকার) সমান হলে তারা পরস্পর অবিকল আইসোমরফিক।
- অ্যালজেব্রাইকালি ক্লোজড ফিল্ড ($text{ACF}_p$): ট্রানসেন্ডেন্স ডিগ্রি সমান হলে দুটি জটিল ফিল্ড হুবহু এক। স্টাইনিৎসের ১৯১০ সালের ধ্রুপদী বীজগণিতীয় ফলাফল মূলত মডেল থিওরির ক্যাটাগোরিসিটির এক স্বাভাবিক প্রকাশ!
৪. শিলাহের মেইন গ্যাপ উপপাদ্য: শৃঙ্খলা বনাম চরম বিশৃঙ্খলা
সাহারোন শিলাহ তাঁর সুবিশাল ১০০০ পৃষ্ঠার গবেষণায় প্রথম-স্তরের সমস্ত তত্ত্বের মডেল সংখ্যা $I(T, kappa)$ ক্লাসিফাই করতে গিয়ে ১৯৮২ সালে প্রমাণ করেন তাঁর ঐতিহাসিক মেইন গ্যাপ উপপাদ্য (Shelah’s Main Gap):
শিলাহের মেইন গ্যাপ উপপাদ্য
যেকোনো প্রথম-স্তরের তত্ত্ব $T$-এর জন্য কেবল দুটি পরস্পর বিপরীত সত্যের একটি ঘটতে পারে:
- সুশৃঙ্খল বা ক্লাসিফায়েবল: তত্ত্বটির মডেলগুলো সুনির্দিষ্ট কিছু অর্ডিনাল ইনভ্যারিয়েন্ট দিয়ে সহজে ক্যাটালগ করা যায় এবং মডেলের সংখ্যা সর্বোচ্চ সীমার নিচে থাকে: $I(T, kappa) < 2^kappa$।
- চরম বিশৃঙ্খল (Maximal Chaos): তত্ত্বটির মডেল সংখ্যা নিয়ন্ত্রণের বাইরে চলে যায় এবং প্রতিটি অগণনাযোগ্য অসীমে মডেলের সংখ্যা হয় বিস্ফোরণমূলক:
[
I(T, kappa) = 2^kappa quad (text{সর্বোচ্চ বিশৃঙ্খলা!})
]
এখানে কোনো মাঝামাঝি ধূসর স্থান নেই। গণিতের তত্ত্বসমূহ হয় পরম জ্যামিতিক ঐকতানে বাঁধা, নয়তো চরম বিশৃঙ্খলার অতলে নিমজ্জিত। শিলাহের ফরকিং ইনডিপেন্ডেন্স (Forking Independence) লিনিয়ার ইনডিপেন্ডেন্সকে যৌক্তিক স্বাধীনতার এক সার্বজনীন মহাজাগতিক তত্ত্বে রূপান্তর করেছে।
