একটি সাধারণ ফুটবল এবং একটি ফাঁপা ডোনাটের মধ্যকার মৌলিক পার্থক্য গণিত কীভাবে নির্ধারণ করবে? সহজ চোখে দেখলে মনে হয় ডোনাটের মাঝখানে একটি ছিদ্র রয়েছে যা ফুটবলে নেই। কিন্তু সাধারণ পয়েন্ট-সেট টপোলজির ভাষায় এই ছিদ্রের অস্তিত্ব প্রমাণ করা অত্যন্ত কঠিন। ১৮৯৫ সালে ফরাসি গণিতবিদ অঁরি পয়েনকেয়ার বীজগাণিতিক টপোলজি (Algebraic Topology) এবং ফান্ডামেন্টাল গ্রুপ ($pi_1$) উদ্ভাবনের মাধ্যমে এর সমাধান করেন: তিনি স্থানিক ছিদ্রের জ্যামিতিক সমস্যাকে বিমূর্ত গ্রুপ তত্ত্বের নিখুঁত গাণিতিক ভাষায় রূপান্তরিত করেন।
১. পথের হোমোটোপি ও লুপের সমতুল্যতা
একটি টপোলজিক্যাল স্পেস $X$-এ পথ হলো একটি অবিচ্ছিন্ন রেখাচিত্র $gamma: [0, 1] to X$। যদি দুটি পথের প্রারম্ভ ও সমাপ্তি বিন্দু একই হয় এবং একটি পথকে অবিচ্ছিন্নভাবে টেনে অন্যটিতে রূপান্তর করা যায়, তবে তাদের হোমোটোপিক সমতুল্য ($gamma_0 simeq gamma_1$) বলা হয়।
যদি কোনো পথের শুরু এবং শেষ একই বিন্দুতে এসে মেলে ($gamma(0) = gamma(1) = x_0$), তবে তাকে বলা হয় একটি লুপ (Loop)।
২. ফান্ডামেন্টাল গ্রুপ $pi_1(X, x_0)$
একটি নির্দিষ্ট বিন্দু $x_0$-কে কেন্দ্র করে সমস্ত লুপের হোমোটোপি ক্লাসগুলোর সেট একটি গ্রুপ গঠন করে—যার নাম ফান্ডামেন্টাল গ্রুপ $pi_1(X, x_0)$। এখানে গ্রুপের ক্রিয়া হলো একটি লুপের পর অপর লুপটি অতিক্রম করা (Path Concatenation):
- অভেদক উপাদান হলো স্থির বিন্দুর লুপ (যাকে টেনে বিন্দুতে মিলিয়ে দেওয়া যায়)।
- বিপরীত হলো ঠিক বিপরীত দিকে লুপটি অতিক্রম করা।
যদি কোনো স্থানে সমস্ত লুপকে টেনে সংকুচিত করে একটি বিন্দুতে পরিণত করা যায়, তবে তাকে সিম্পলি কানেক্টেড (Simply Connected) বলা হয় (যেমন গোলক $S^2$, যেখানে $pi_1(S^2) = 0$)। কিন্তু একটি বৃত্তের ক্ষেত্রে ($S^1$) লুপগুলো ছিদ্রকে পেঁচিয়ে থাকে, ফলে এর ফান্ডামেন্টাল গ্রুপ হলো পূর্ণসংখ্যার গ্রুপ: $pi_1(S^1) cong mathbb{Z}$—যেখানে পূর্ণসংখ্যাটি নির্দেশ করে লুপটি কতবার ছিদ্রটিকে পেঁচিয়েছে (Winding Number)।
৩. কভারিং স্পেস ও সার্বজনীন কভার
ফান্ডামেন্টাল গ্রুপ নির্ণয়ের সবচেয়ে শক্তিশালী কৌশল হলো কভারিং স্পেস তত্ত্ব। বৃত্ত $S^1$-এর সার্বজনীন কভারিং হলো বাস্তব রেখা $mathbb{R}$, যা বৃত্তের ওপর একটি অনন্ত স্প্রিং বা হেলিক্সের মতো কাজ করে:
p: mathbb{R} longrightarrow S^1, quad t longmapsto e^{2pi i t}
বৃত্তের যেকোনো লুপ বাস্তব রেখায় একটি মুক্ত রেখায় উন্নীত (Lift) হয়, যার প্রান্তবিন্দু $0$ থেকে শুরু করে কোনো একটি পূর্ণসংখ্যা $n in mathbb{Z}$-এ গিয়ে থামে। বাস্তব রেখা নিজে সংকোচনশীল হওয়ায় প্রমাণিত হয় যে $pi_1(S^1) cong mathbb{Z}$।
৪. সেইফার্ট-ভ্যান ক্যাম্পেন উপপাদ্য
একাধিক জটিল জ্যামিতিক বস্তুর মিলন ঘটলে তাদের সার্বিক ফান্ডামেন্টাল গ্রুপ কীভাবে নির্ণয় করা যায়? সেইফার্ট-ভ্যান ক্যাম্পেন উপপাদ্য (Seifert-van Kampen Theorem) প্রমাণ করে যে $X = U cup V$ হলে তাদের মৌলিক গ্রুপ হলো উপাদানগুলোর ফ্রি প্রোডাক্টের অ্যামালগামেশন:
pi_1(U cup V) cong pi_1(U) *_{pi_1(U cap V)} pi_1(V)
এই সূত্রের সাহায্যে প্রমাণিত হয় যে একটি ডোনাটের (Torus $T^2$) ফান্ডামেন্টাল গ্রুপ হলো $mathbb{Z} oplus mathbb{Z}$—যা স্পষ্ট করে যে ডোনাটের দুটি ভিন্ন ছিদ্রের লুপ একে অপরের সাথে বিনিময়যোগ্য, কিন্তু আলাদা ছিদ্রের লুপগুলো কখনোই বিনিময়যোগ্য নয়।
