সপ্তদশ শতাব্দীতে গটফ্রিড ভিলহেম লিবনিজ এবং স্যার আইজ্যাক নিউটন যখন ক্যালকুলাস আবিষ্কার করেন, তখন তাঁরা নির্ভর করেছিলেন এক রহস্যময় রাশিয়ার ওপর, যার নাম ইনফিনিটেসিমাল (Infinitesimals)—এমন এক সংখ্যা যা শূন্য নয়, অথচ যেকোনো ধনাত্মক বাস্তব ভগ্নাংশের চেয়ে ক্ষুদ্রতর। দুই শতাব্দীরও বেশি সময় ধরে গণিতবিদরা একে যৌক্তিক বিভ্রান্তি (“হারিয়ে যাওয়া রাশিমালার ভূত”) বলে উড়িয়ে দেন এবং উয়েইয়েরস্ট্রাসের জটিল $epsilon$-$delta$ লিমিট দিয়ে তা প্রতিস্থাপন করেন। কিন্তু ১৯৬০ সালে আব্রাহাম রবিনসন এক অভাবনীয় অলৌকিক কাণ্ড ঘটান: মডেল থিওরি ও আল্ট্রাপ্রডাক্ট ব্যবহার করে তিনি প্রমাণ করেন যে ইনফিনিটেসিমাল ১০০% গাণিতিকভাবে নিখুঁত ও সত্য, এবং নির্মাণ করেন হাইপার-রিয়েল ফিল্ড (${}^*mathbb{R}$)।
১. হাইপার-রিয়েল সংখ্যা ${}^*mathbb{R}$-এর আল্ট্রাপাওয়ার নির্মাণ
কোনো স্ব-বিরোধিতা ছাড়া বাস্তব সংখ্যার মধ্যে অসীম ও ক্ষুদ্রাতিক্ষুদ্র সংখ্যা কীভাবে প্রবেশ করানো যায়? রবিনসন স্বাভাবিক সংখ্যার ওপর একটি ফ্রি আল্ট্রাফিল্টার ($mathcal{U}$) ব্যবহার করে এই ক্ষেত্রটি তৈরি করেন:
- বাস্তব সংখ্যার সমস্ত অসীম ধারার সেট নেওয়া হয়: $vec{x} = (x_0, x_1, x_2, dots)$।
- একটি নন-প্রিন্সিপাল আল্ট্রাফিল্টার $mathcal{U}$ নেওয়া হয়, যা নির্দেশ করে কোন সূচকের সেটটি “সংখ্যাগরিষ্ঠ সত্য”।
- ধারাসমূহের মধ্যে একটি সমতুল্য সম্পর্ক তৈরি করা হয়: $(x_n) sim (y_n) iff { n mid x_n = y_n } in mathcal{U}$।
- ভাগশেষ ক্ষেত্রটিই হলো হাইপার-রিয়েল ফিল্ড:
[
{}^*mathbb{R} = mathbb{R}^mathbb{N} / mathcal{U}
]
আল্ট্রাফিল্টারের জাদুকরী বৈশিষ্ট্যের কারণে ${}^*mathbb{R}$ কেবল একটি বলয় নয়, বরং এটি একটি নিখুঁত ক্রমবদ্ধ ফিল্ড (Ordered Field), যা বাস্তব সংখ্যা $mathbb{R}$-কে নিজের কোলে অটুটভাবে ধারণ করে।
২. ইনফিনিটেসিমাল ও অসীম সংখ্যার শ্রেণীবিন্যাস
হাইপার-রিয়েল ফিল্ডে এমন সব অবিশ্বাস্য সংখ্যার সন্ধান মেলে যা সাধারণ বাস্তব জগতে অসম্ভব:
হাইপার-রিয়েল সংখ্যার জগৎ
- ইনফিনিটেসিমাল বা অতিক্ষুদ্র ($epsilon$): এমন এক সংখ্যা যা শূন্যের চেয়ে বড় অথচ যেকোনো ধনাত্মক বাস্তব সংখ্যা $r > 0$-এর চেয়ে ক্ষুদ্রতর ($0 < |epsilon| < r$)।
উদাহরণ: ধারা $epsilon = [(1, 1/2, 1/3, 1/4, dots, 1/n, dots)]$ হলো একটি প্রকৃত ইনফিনিটেসিমাল! - অসীম সংখ্যা ($H$): এমন এক সংখ্যা যা পৃথিবীর সমস্ত বাস্তব সংখ্যার চেয়ে বৃহত্তর ($H > r$)। যদি $epsilon$ অতিক্ষুদ্র হয়, তবে $H = 1/epsilon$ হবে একটি প্রকৃত অসীম সংখ্যা! যেমন ধারা: $H = [(1, 2, 3, 4, dots, n, dots)]$।
- মোনাড (Monad): প্রতিটি সসীম বাস্তব সংখ্যা $r$-এর চারপাশে ক্ষুদ্রাতিক্ষুদ্র ইনফিনিটেসিমালের একটি মেঘ বা বলয় থাকে: $mu(r) = { x in {}^*mathbb{R} mid x – r approx 0 }$।
৩. স্ট্যান্ডার্ড পার্ট ম্যাপ ($text{st}$)
যেকোনো সসীম হাইপার-রিয়েল সংখ্যা $x$-কে একটি সাধারণ বাস্তব সংখ্যা এবং একটি অতিক্ষুদ্র ইনফিনিটেসিমালের যোগফল আকারে অনন্যভাবে ভেঙে ফেলা যায়: $x = r + epsilon$।
এই অতিক্ষুদ্র লেজ $epsilon$-কে বাদ দিয়ে বাস্তব অংশটিকে উদ্ধার করার ক্রিয়াকে বলা হয় স্ট্যান্ডার্ড পার্ট ম্যাপ:
[
text{st}(x) = r iff x approx r
]
৪. ট্রান্সফার নীতি (Transfer Principle)
জের্জি লোশের আল্ট্রাপ্রডাক্ট উপপাদ্য (১৯৫৫) থেকে জন্ম নেয় রবিনসনের সবচেয়ে শক্তিশালী অস্ত্র: ট্রান্সফার প্রিন্সিপল।
ট্রান্সফার নীতি
বাস্তব সংখ্যা $mathbb{R}$-এর জগতে প্রথম-স্তরের ভাষায় সত্য যেকোনো গাণিতিক উক্তি হাইপার-রিয়েল সংখ্যা ${}^*mathbb{R}$-এর জগতেও হুবহু সত্য থাকবে:
[
mathbb{R} vDash phi iff {}^*mathbb{R} vDash {}^*phi
]
এর অর্থ বাস্তব সংখ্যার সমস্ত বীজগাণিতিক সূত্র, বণ্টন বিধি ও ক্যালকুলাসের ভিত্তি হাইপার-রিয়েলে সম্পূর্ণ অপরিবর্তিত থাকে।
৫. লিবনিজের ক্যালকুলাসের বিজয়
রবিনসনের এই কাঠামোর মাধ্যমে ক্যালকুলাস থেকে $epsilon$-$delta$-র সমস্ত কৃত্রিম জটিলতা উবে যায় এবং লিবনিজের মৌলিক অন্তর্দৃষ্টি পুরোপুরি প্রতিষ্ঠিত হয়:
১. অবিচ্ছিন্নতা (Continuity)
একটি ফাংশন $f(x)$ অবিচ্ছিন্ন হবে যদি দুটি ইনপুট অতিক্ষুদ্র দূরত্বে থাকলে তাদের আউটপুটও অতিক্ষুদ্র দূরত্বে থাকে:
[
x approx x_0 implies {}^*f(x) approx f(x_0)
]
কোনো লিমিট নেই, কোনো ডেল্টা নেই—সরাসরি জ্যামিতিক সত্য!
২. অন্তরীকরণ বা ডিফারেনশিয়েশন
ফাংশন $f(x)$-এর ডেরিভেটিভ হলো যেকোনো অশূন্য ইনফিনিটেসিমাল $dx$-এর জন্য পরিবর্তনের অনুপাতের স্ট্যান্ডার্ড পার্ট:
[
f'(x) = text{st}left( frac{{}^*f(x + dx) – {}^*f(x)}{dx} right)
]
উদাহরণ: $f(x) = x^2$ হলে:
[
frac{(x + dx)^2 – x^2}{dx} = frac{2x , dx + (dx)^2}{dx} = 2x + dx
]
এবার স্ট্যান্ডার্ড পার্ট নিলে সাথে সাথে পাওয়া যায়: $text{st}(2x + dx) = 2x$!
লিবনিজ তিনশত বছর আগে যা কল্পনা করেছিলেন, বিংশ শতাব্দীর মডেল থিওরি তাকে পরম সত্য হিসেবে পৃথিবীর সামনে প্রতিষ্ঠিত করল।
