Keterhubungan Lintasan pada Ruang Topologi di Himpunan Berhingga

INDONESIA;

Topologi merupakan salah satu cabang matematika yang mengkaji sifat-sifat ruang secara umum, salah satunya adalah konsep keterhubungan (connectedness). Keterhubungan lintasan (path connectedness) merupakan bentuk keterhubungan yang lebih kuat, namun secara umum kedua konsep tersebut tidak ekuivalen pada ruang topologi sembarang. Penelitian ini bertujuan untuk membuktikan keekuivalenan antara keterhubungan dan keterhubungan lintasan pada ruang topologi di himpunan berhingga (finite topological space). Penelitian ini merupakan penelitian matematika murni yang bersifat kualitatif dengan pendekatan studi pustaka (library research), yang dilakukan melalui pengkajian konsep, penyusunan definisi, serta pembuktian lemma dan teorema secara aksiomatik.
Hasil penelitian menunjukkan bahwa sifat keterhubungan lintasan dipertahankan oleh fungsi kontinu. Relasi keterhubungan lintasan pada suatu ruang topologi X merupakan relasi ekuivalensi yang mempartisi X menjadi komponen-komponen lintasan, dan setiap ruang yang terhubung lintasan pasti terhubung. Lebih lanjut, dibuktikan bahwa suatu ruang dikatakan terhubung lintasan secara lokal jika dan hanya jika setiap komponen lintasan dari setiap himpunan terbuka di dalamnya juga merupakan himpunan terbuka. Berdasarkan sifat-sifat tersebut, dibuktikan teorema utama bahwa pada ruang topologi di himpunan berhingga, suatu ruang X terhubung jika dan hanya jika X terhubung lintasan, dengan menunjukkan bahwa komponen lintasan dari setiap titik merupakan himpunan buka tutup (clopen) sehingga sama dengan ruang itu sendiri. Dengan demikian, penelitian ini membuktikan bahwa keekuivalenan antara keterhubungan dan keterhubungan lintasan, yang secara umum tidak berlaku pada ruang topologi sembarang, terbukti berlaku secara khusus pada ruang topologi di himpunan berhingga.

INGGRIS;

Topology is one of the branches of mathematics that studies the properties of spaces in general, one of which is the concept of connectedness. Path connectedness is a stronger form of connectedness; however, in general, the two concepts are not equivalent in an arbitrary topological space. This research aims to prove the equivalence between connectedness and path connectedness in finite topological spaces (finite topological space). This research is a pure mathematics study of a qualitative nature using a library research approach (library research), conducted through conceptual review, definition formulation, and axiomatic proof of lemmas and theorems.
The results show that the property of path connectedness is preserved under continuous functions. The path connectedness relation on a topological space X is an equivalence relation that partitions X into path components, and every path connected space is connected. Furthermore, it is proved that a space is locally path connected if and only if every path component of every open set contained in it is also an open set. Based on these properties, the main theorem is proved: in a finite topological space, a space X is connected if and only if X is path connected, by showing that the path component of every point is a clopen set and therefore equals the space itself. Thus, this research proves that the equivalence between connectedness and path connectedness, which does not hold in general topological spaces, is specifically proved to hold in finite topological spaces.

ARABIC;

الطوبولوجيا هو من إحدى فروع الرياضيات التي تدرس خصائص الفضاءات بصورة عامة، ومن أبرز مفاهيمها مفهوم الترابط. ويُعدّ الترابط المساري شكلاً أقوى من الترابط، غير أن المفهومين ليسا متكافئين بوجه عام في الفضاءات الطوبولوجية الاعتباطية.هدفت هذه الدراسة إلى إثبات التكافؤ بين الترابط والترابط المساري في الفضاءات الطوبولوجية المنتهية وهي دراسة في الرياضيات البحتة ذات طابع نوعي، تعتمد على منهج البحث المكتبي وتسير عبر مراجعة المفاهيم، وصياغة التعريفات، وإثبات الليمات والمبرهنات بأسلوب بديهي.
أظهرت النتائج أن خاصية الترابط المساري تنحفظ تحت الدوال المستمرة. وتُعدّ علاقة الترابط المساري على الفضاء الطوبولوجي Xعلاقةَ تكافؤ تُقسّم إلى مركّبات مسارية Xوكل فضاء مترابط مساريًّا يكون مترابطًا. علاوةً على ذلك أُثبت أن الفضاء يكون مترابطًا مساريًّا محليًّا إذا وفقط إذا كانت كل مركّبة مسارية لكل مجموعة مفتوحة فيه مجموعةً مفتوحة أيضًا واستنادًا إلى هذه الخصائص، أُثبتت المبرهنة الرئيسية في الفضاء الطوبولوجي المنتهي X يكون الفضاء مترابطًا إذا وفقط إذا كان X مترابطًا مساريًّا. وذلك بإثبات أن المركّبة المسارية لكل نقطة هي مجموعة مفتوحة مغلقة ، ومن ثَمّ تساوي الفضاء ذاته. وبذلك تُثبت هذه الدراسة أن التكافؤ بين الترابط والترابط المساري، الذي لا يتحقق في الفضاءات الطوبولوجية الاعتباطية، يتحقق خصوصًا في الفضاءات الطوبولوجية المنتهية.