• Journal of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.841-857
• /
• 2009

In this paper, we give and study the notion of computer topological function space between computer topological spaces with $k_i$ adjacency, i $\in$ {0, 1}. Using this notion, we study various properties of topologies of a computer topological function space.

• Korean Journal of Mathematics
• /
• v.7 no.1
• /
• pp.11-25
• /
• 1999

We will define a smooth fuzzy closure space and a subspace of it. We will investigate relationships between smooth fuzzy closure spaces and smooth fuzzy topological spaces. In particular, we will show that a subspace of a smooth fuzzy topological space can be obtained by the subspace of the smooth fuzzy closure space induced by it.

• Journal of applied mathematics & informatics
• /
• v.40 no.1_2
• /
• pp.85-98
• /
• 2022

The purpose of this paper is to introduce the notion of Fermatean fuzzy topological space by motivating from the notion of intuitionistic fuzzy topological space, and define Fermatean fuzzy continuity of a function defined between Fermatean fuzzy topological spaces. For this purpose, we define the notions of image and the pre-image of a Fermatean fuzzy subset with respect to a function and we investigate some basic properties of these notions. We also construct the coarsest Fermatean fuzzy topology on a non-empty set X which makes a given function f from X into Y a Fermatean fuzzy continuous where Y is a Fermatean fuzzy topological space. Finally, we introduce the concept of Fermatean fuzzy points and study some types of separation axioms in Fermatean fuzzy topological space.

• Communications of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.183-191
• /
• 2017

We define a stratification and a partition of a finite topological space and define a partial order on the partition. Open subsets can be described completely in terms of this partially ordered partition. We associate a directed graph to the partially ordered partition of a finite topological space. This gives a one-to-one correspondence between finite topological spaces and a certain class of directed graphs.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.1-9
• /
• 2023

An le-module M over a commutative ring R is a complete lattice ordered additive monoid (M, ⩽, +) having the greatest element e together with a module like action of R. This article characterizes the le-modules _RM such that the pseudo-prime spectrum X_M endowed with the Zariski topology is a Noetherian topological space. If the ring R is Noetherian and the pseudo-prime radical of every submodule elements of _RM coincides with its Zariski radical, then X_M is a Noetherian topological space. Also we prove that if R is Noetherian and for every submodule element n of M there is an ideal I of R such that V (n) = V (Ie), then the topological space X_M is spectral.

• Bulletin of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.67-75
• /
• 1984

Let X be a topological space. We consider a groupoid G over X and the quotient groupoid G/N for any normal subgroupoid N of G. The concept of groupoid (topological groupoid) is a natural generalization of the group(topological group). An useful example of a groupoid over X is the foundamental groupoid .pi.X whose object group at x.mem.X is the fundamental group .pi.(X, x). It is known [5] that if X is locally simply connected, then the topology of X determines a topology on .pi.X so that is becomes a topological groupoid over X, and a covering space of the product space X*X. In this paper the concept of the locally simple connectivity of a topological space X is applied to the groupoid G over X. That concept is defined as a term '1-connected local subgroupoid' of G. Using this concept we topologize the groupoid G so that it becomes a topological groupoid over X. With this topology the connected groupoid G is a covering space of the product space X*X. Further-more, if ob(.overbar.G)=.overbar.X is a covering space of X, then the groupoid .overbar.G is also a covering space of the groupoid G. Since the fundamental groupoid .pi.X of X satisfying a certain condition has an 1-connected local subgroupoid, .pi.X can always be topologized. In this case the topology on .pi.X is the same as that of [5]. In section 4 the results on the groupoid G are generalized to the quotient groupoid G/N. For any topological groupoid G over X and normal subgroupoid N of G, the abstract quotient groupoid G/N can be given the identification topology, but with this topology G/N need not be a topological groupoid over X [4]. However the induced topology (H) on G makes G/N (with the identification topology) a topological groupoid over X. A final section is related to the covering morphism. Let G$_{1}$ and G$_{2}$ be groupoids over the sets X$_{1}$ and X$_{2}$, respectively, and .phi.:G$_{1}$.rarw.G$_{2}$ be a covering spimorphism. If X$_{2}$ is a topological space and G$_{2}$ has an 1-connected local subgroupoid, then we can topologize X$_{1}$ so that ob(.phi.):X$_{1}$.rarw.X$_{2}$ is a covering map and .phi.: G$_{1}$.rarw.G$_{2}$ is a topological covering morphism.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.1
• /
• pp.183-191
• /
• 2018

This paper deals with binary ideal topological space and discuss about generalized binary closed sets and generalized kernel in the same topological space. Further it will discuss various types of characterizations of generalized binary closed sets and generalized kernel.

• Honam Mathematical Journal
• /
• v.32 no.4
• /
• pp.619-624
• /
• 2010

We introduce the notions of bigeneralized topological spaces and quasi generalized open sets, and study some basic properties for the sets. We also introduce the notion of quasi generalized continuity on bigeneralized topological spaces, and investigate characterizations for the continuity.

• The Pure and Applied Mathematics
• /
• v.30 no.4
• /
• pp.357-375
• /
• 2023

In this paper, we introduce the concept of bipolar soft supra topological space and provide a characterization of the related concepts of bipolar soft supra closure and bipolar soft supra interior. We also establish a connection between bipolar soft supra topology and bipolar soft topology. Additionally, we present the concept of bipolar soft supra continuous mapping and examine the concept of bipolar soft supra compact topological space. A related result concerning the image of the bipolar soft supra compact space is proved. Finally, we identify the concepts of disconnected (connected) and strongly disconnected (strongly connected) space and derive several results linking them together. Relationships among these concepts are clarified with the aid of examples.

• Honam Mathematical Journal
• /
• v.33 no.4
• /
• pp.617-628
• /
• 2011

In relation to the classification of finite topological spaces the paper [17] studied various properties of finite topological spaces. Indeed, the study of future internet system can be very related to that of locally finite topological spaces with some order structures such as preorder, partial order, pretopology, Alexandroff topological structure and so forth. The paper generalizes the results from [17] so that the paper can enlarge topological and homotopic properties suggested in the category of finite topological spaces into those in the category of locally finite topological spaces including ALF spaces.