• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.4
• /
• pp.1137-1159
• /
• 2024

In the paper, we prove that if a continuous map of a compact uniform space is equicontinuous and pointwise topologically stable, then it is persistent. We also show that if a sequence of uniformly expansive continuous maps of a compact uniform space has a uniform limit and the uniform shadowing property, then the limit is topologically stable. In addition, we introduce the concepts of shadowable points and topologically stable points for a continuous map of a compact topological space and obtain that every shadowable point of an expansive continuous map of a compact topological space is topologically stable.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.4
• /
• pp.929-942
• /
• 2023

In this paper, we discuss topological ergodic shadowing property and topological pseudo-orbital specification property of iterated function systems(IFS) on uniform spaces. We show that an IFS on a sequentially compact uniform space with topological ergodic shadowing property has topological shadowing property. We define the notion of topological pseudo-orbital specification property and investigate its relation to topological ergodic shadowing property. We find that a topologically mixing IFS on a compact and sequentially compact uniform space with topological shadowing property has topological pseudo-orbital specification property and thus has topological ergodic shadowing property.

• 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.