ক্যালকুলাস দাঁড়িয়ে আছে সীমা (Limit) এবং অবিচ্ছিন্নতার (Continuity) ওপর, যা ঐতিহ্যগতভাবে ইউক্লিডীয় দূরত্বের ($|x – y| < epsilon$) সাহায্যে সংজ্ঞায়িত হয়। কিন্তু বাস্তব দূরত্ব আসলে একটি কৃত্রিম মাপকাঠি: দুটি বিন্দুর নৈকট্য সংখ্যার ওপর নয়, তাদের গুণগত প্রতিবেশের ওপর নির্ভরশীল। বিংশ শতাব্দীর শুরুতে ফেলিক্স হাউসডর্ফ ও মরিস ফ্রেশে সমস্ত স্কেল ও মিটার ফেলে দিয়ে সৃষ্টি করেন পয়েন্ট-সেট টপোলজি (Point-Set Topology)—দূরত্বহীন বিশুদ্ধ আকারের বিজ্ঞান, যা সম্পূর্ণরূপে উন্মুক্ত সেটের (Open Sets) মাধ্যমে রূপ পায়।
১. টপোলজিক্যাল স্পেসের স্বতঃসিদ্ধ সংজ্ঞা
একটি সেট $X$ এবং তার উপসেটসমূহের একটি পরিবার $tau subseteq mathcal{P}(X)$-কে নিয়ে গঠিত ব্যবস্থা $(X, tau)$ একটি টপোলজিক্যাল স্পেস হবে যদি:
- শূন্য সেট এবং সমগ্র সেট টপোলজির সদস্য হয়: $emptyset in tau$ এবং $X in tau$।
- উন্মুক্ত সেটসমূহের যেকোনো সংখ্যক (এমনকি অসীম সংখ্যক) সংযোগ বা মিলন সর্বদা উন্মুক্ত: $bigcup U_i in tau$।
- উন্মুক্ত সেটসমূহের যেকোনো সসীম সংখ্যক ছেদ বা ইন্টারসেকশন সর্বদা উন্মুক্ত: $bigcap_{k=1}^n U_k in tau$।
একটি সেটকে বদ্ধ (Closed) বলা হয় যদি তার পূরক সেটটি উন্মুক্ত হয়। আর একটি ফাংশন $f: X to Y$ অবিচ্ছিন্ন হবে যদি এবং কেবল যদি: $Y$-এর প্রতিটি উন্মুক্ত সেটের প্রাক-প্রতিবিম্ব $X$-এ সর্বদা উন্মুক্ত হয় ($f^{-1}(V) in tau_X$)। এখানে কোনো দূরত্বের পরিমাপের প্রয়োজন নেই।
২. বিযুক্তি স্বতঃসিদ্ধ ($T_0$ থেকে $T_4$)
মেট্রিক না থাকলে টপোলজিক্যাল বিন্দুগুলো পরস্পরের সাথে মিলেমিশে অস্পষ্ট হয়ে পড়তে পারে। বিন্দুগুলোকে আলাদা করার সক্ষমতার ওপর ভিত্তি করে টপোলজিকে শ্রেণিবদ্ধ করা হয়:
- $T_0$ (কলমোগোরভ): যেকোনো দুটি ভিন্ন বিন্দুর অন্তত একটির এমন প্রতিবেশ থাকবে যা অন্যটিকে ধারণ করে না।
- $T_1$ (ফ্রেশে): প্রতিটি একক বিন্দু ${x}$ একটি বদ্ধ সেট।
- $T_2$ (হাউসডর্ফ স্পেস): যেকোনো দুটি ভিন্ন বিন্দু $x neq y$-এর জন্য দুটি সম্পূর্ণ পৃথক (Disjoint) উন্মুক্ত প্রতিবেশ $U cap V = emptyset$ পাওয়া যায়। হাউসডর্ফ স্পেসে অনুক্রমের সীমা সর্বদা অনন্য হয়।
- $T_4$ (স্বাভাবিক স্পেস): যেকোনো দুটি পৃথক বদ্ধ সেটকে দুটি পৃথক উন্মুক্ত সেটের মাধ্যমে সম্পূর্ণ আলাদা করা যায় (উরিজনের লেমা)।
৩. কমপ্যাক্টনেস: সসীমতার টপোলজিক্যাল মহিমাকরণ
ইউক্লিডীয় স্থানে একটি আবদ্ধ ও সীমাবদ্ধ সেটকে কমপ্যাক্ট বলা হয় (হাইনে-বোরেল উপপাদ্য)। কিন্তু সাধারণ টপোলজিতে কোনো সীমাবদ্ধতার ধারণা নেই। তাই কমপ্যাক্টনেস (Compactness) সংজ্ঞায়িত হয় উন্মুক্ত আবরণের মাধ্যমে:
text{প্রতিটি উন্মুক্ত আবরণ } {U_i} text{ থেকে একটি সসীম উপ-আবরণ বাছাই করা যায়}
কমপ্যাক্টনেস হলো স্থানীয় বৈশিষ্ট্যকে সার্বজনীন বৈশ্বিক বৈশিষ্ট্যে রূপান্তরের পরম জাদুকরী হাতিয়ার। যেমন: একটি কমপ্যাক্ট স্পেসে সংজ্ঞায়িত যেকোনো অবিচ্ছিন্ন বাস্তব ফাংশন অবশ্যই তার সর্বোচ্চ ও সর্বনিম্ন মানে পৌঁছাতে বাধ্য (চরম মান উপপাদ্য)।
৪. টাইকনফ উপপাদ্য ও প্রোডাক্ট টপোলজি
যেকোনো সংখ্যক (এমনকি অগণ্য অসীম সংখ্যক) টপোলজিক্যাল স্পেসের কার্টেসিয়ান গুণফলের ওপর প্রজেকশনের ভিত্তিতে প্রোডাক্ট টপোলজি তৈরি করা হয়। ১৯৩০ সালে রাশিয়ান গণিতবিদ আন্দ্রেই টাইকনফ প্রমাণ করেন টপোলজির মহত্তম উপপাদ্য:
prod_{i in I} X_i text{ কমপ্যাক্ট} iff text{প্রতিটি উপাদান স্পেস } X_i text{ কমপ্যাক্ট}
টাইকনফ উপপাদ্যটি পছন্দের স্বতঃসিদ্ধের (ZFC) সমতুল্য এবং এটি আধুনিক ফাংশনাল বিশ্লেষণ (বানাক-আলাওগ্লু উপপাদ্য) ও বীজগণিতের সবচেয়ে শক্তিশালী কমপ্যাক্টনেস ভিত্তি হিসেবে কাজ করে।
