• 대한수학회논문집
• /
• 제37권1호
• /
• pp.279-292
• /
• 2022

In this paper we adhere to the definition of infra-topological space as it was introduced by Al-Odhari. Namely, we speak about families of subsets which contain ∅ and the whole universe X, being at the same time closed under finite intersections (but not necessarily under arbitrary or even finite unions). This slight modification allows us to distinguish between new classes of subsets (infra-open, ps-infra-open and i-genuine). Analogous notions are discussed in the language of closures. The class of minimal infra-open sets is studied too, as well as the idea of generalized infra-spaces. Finally, we obtain characterization of infra-spaces in terms of modal logic, using some of the notions introduced above.

• 대한수학회보
• /
• 제21권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.

• 대한수학회지
• /
• 제44권2호
• /
• pp.261-273
• /
• 2007

In this paper, we introduce some new properties of a topological space which are respectively generalizations of $Fr\'{e}chet$-Urysohn property. We show that countably AP property is a sufficient condition for a space being countable tightness, sequential, weakly first countable and symmetrizable, to be ACP, $Fr\'{e}chet-Urysohn$, first countable and semimetrizable, respectively. We also prove that countable compactness is a sufficient condition for a countably AP space to be countably $Fr\'{e}chet-Urysohn$. We then show that a countably compact space satisfying one of the properties mentioned here is sequentially compact. And we show that a countably compact and countably AP space is maximal countably compact if and only if it is $Fr\'{e}chet-Urysohn$. We finally obtain a sufficient condition for the ACP closure operator $[{\cdot}]_{ACP}$ to be a Kuratowski topological closure operator and related results.

• 대한수학회보
• /
• 제44권3호
• /
• pp.537-545
• /
• 2007

Necessary conditions for the existence of common fixed points for noncommuting mappings satisfying generalized contractive conditions in the setup of certain metrizable topological vector spaces are obtained. As applications, related results on best approximation are derived. Our results extend, generalize and unify various known results in the literature.

• 한국지능시스템학회논문지
• /
• 제19권5호
• /
• pp.695-698
• /
• 2009

본 논문에서는 퍼지 r-열린 집합을 일반화 시킨 퍼지 r-일반 열린 집합의 개념과 성질을 소개한다. 그리고 퍼지 r-일반 연속함수, 퍼지 r-일반 열린함수, 퍼지 r-일반 닫힌 함수의 개념과 특성을 연구한다.

• 대한수학회논문집
• /
• 제16권2호
• /
• pp.277-285
• /
• 2001

The purpose of this paper is to give a proof of a generalized convex-valued selection theorem which is given by weakening a Banach space to a completely metrizable locally convex topological vector space, i.e., a Frechet space. We also develop the properties of upper semi-continuous singlevalued mapping to those of upper semi-continuous multivalued mappings. These properties wil be applied in our further consideraations of selection theorems.

• 대한수학회논문집
• /
• 제13권2호
• /
• pp.359-365
• /
• 1998

We give two sufficient conditions that the space (X,C*) be a Fr$\acute{e}$chet-Urysohn space such that $x_n \to x$ in (X,c) if and only if $x_n \to x$ in (X,c*), where c* is the sequential closure operator on a generalized topological (X,c).

• 대한수학회논문집
• /
• 제18권2호
• /
• pp.325-340
• /
• 2003

We introduce a fuzzy g-closure operator induced by a fuzzy topological space in view of the definition of Sostak [13]. We show that it is a fuzzy closure operator. Furthermore, it induces a fuzzy topology which is finer than a given fuzzy topology. We investigate some properties of fuzzy g-closure operators.

• Korean Journal of Mathematics
• /
• 제5권1호
• /
• pp.49-54
• /
• 1997

In this paper we study the generalized Reidemeister number $R({\varphi},{\psi})$ for a self-map $({\varphi},{\psi}):(X,G){\rightarrow}(X,G)$ of a transformation group (X, G), as an extension of the Reidemeister number $R(f)$ for a self-map $f:X{\rightarrow}X$ of a topological space X.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1995년도 추계학술대회 학술발표 논문집
• /
• pp.369-373
• /
• 1995

We introduce the concepts of generalized closed fuzzy set(breifly g-closed fuzzy set) and generalized fuzzy continuity (briefly g-fuzzy continuity), and investigate their some properties. When A is a fuzzy set in a fuzzy topological space, we denote the closure of A, the interior of A and the complement of A as CA(a) and CA, respectively