SIFAT-SIFAT MORFISMA DI DALAM KATEGORI RUANG PENUTUP TOPOLOGIS YANG TERHUBUNG LINTASAN

https://doi.org/10.22146/jmt.56529

Valentino Risali(1*), Indah Emilia Wijayanti(2)

(1) Universitas Gadjah Mada
(2) Universitas Gadjah mada
(*) Corresponding Author

Abstract


Untuk sebarang ruang topologis $X$ dapat dibentuk $Cov_X$ yaitu kategori \linebreak ruang penutup $X$ yang terhubung lintasan. Pada tulisan ini akan dibahas syarat perlu dan cukup eksistensi morfisma antara dua ruang penutup yang terhubung lintasan lokal. Untuk sebarang $x_0 \in X$ dan grup fundamental $G=\pi_1(X,x_0)$, dapat dibentuk kategori $SetG$, yaitu kategori semua himpunan yang dilengkapi aksi kanan oleh $G$. Selanjutnya dibentuk fungtor $F$ dari $Cov_X$ ke  $SetG$. Dalam tulisan dibuktikan bahwa $F$ bersifat \textit{fully faithful} jika $X$ terhubung lintasan dan terhubung lintasan lokal. Akibatnya untuk mengidentifikasi morfisma-morfisma antara dua obyek $A$ dan $B$ di $Cov_X$ dapat dilakukan dengan cara melihat sifat morfisma-morfisma antara $F(A)$ dan $F(B)$.

(For any topological space $X$, we can construct the category of path \linebreak connected covering spaces of $X$, denoted by $Cov_X$. In this paper we study a sufficient and necesarry condition for the existence of morphism between two locally path \linebreak connected covering spaces. For every $x_0 \in X$ and fundamental group $G=\pi_1(X,x_0)$, we can construct the category of sets with right action of $G$, denoted by $SetG$. \linebreak Furthermore, we can define a functor $F$ from $Cov_X$ to $SetG$. We proof that the functor $F$ is fully faithul if $X$ is path connected and locally path connected. From this result, we can identify morphisms between $A$ and $B$ in $Cov_X$ by using the properties of morphisms between $F(A)$ and $F(B)$. )


Keywords


Grup fundamental; ruang penutup; kategori ruang penutup; fungtor faithful (Fundamental group; covering space; category of covering spaces; faithful functor)

Full Text:

PDF


References

Brazas, J., Generalized Covering Spaces Theories, emph{Theory and Applications of Categories}, Vol 30 no 35 (2015), 1132-1162. Munkres, J.R., 2000, emph{Topology Second Edition}, Prentice-Hall, USA. Rotman, J.J., 1988, emph{An Introduction to Algebraic Topology}, Springer, New York. Adhikari, M.R., 2016, emph{Basic Algebraic Topology and its Application}, Springer, India. Weimar, J., 2008, Categories of Sets with A Group Action, textit{Thesis}, Mathematisch Instituut, linebreak Universiteit Leiden, Leiden. Wisbauer, R., 1991, emph{Foundations of Module and Ring Theory: A Handbook for Study and linebreak Research}, Gordon and Breach Science Publihsers, Reading.



DOI: https://doi.org/10.22146/jmt.56529

Article Metrics

Abstract views : 515 | views : 517

Refbacks

  • There are currently no refbacks.


Jumlah Kunjungan: View My Stats