• 대한수학회보
• /
• 제47권5호
• /
• pp.1037-1040
• /
• 2010

For convex subsets X of a topological vector space E, we show that a KKM principle implies a Fan-Browder type fixed point theorem and that this theorem implies generalized forms of the Sion minimax theorem.

• Kyungpook Mathematical Journal
• /
• 제55권1호
• /
• pp.181-189
• /
• 2015

In this paper, we study Baire property of a family of spaces which contains properly the family of all topological spaces and generalize the existing results. Also, we study the images and inverse images of such spaces.

• 한국CDE학회논문집
• /
• 제1권1호
• /
• pp.1-19
• /
• 1996

Non-manifold topological representations can provide a single unified representation for mixed dimensional models or cellular models and thus have a great potential to be applied in many application areas. Various boundary representations for non-manifold topology have been proposed in recent years. These representations are mainly interested in describing the sufficient adjacency relationships and too redundant as a result. A model stored in these representations occupies too much storage space and is hard to be manipulated. In this paper, we proposed a compact hierarchical non-manifold boundary representation that is extended from the half-edge data structure for solid models by introducing the partial topological entities to represent some non-manifold conditions around a vertex, edge or face. This representation allows to reduce the redundancy of the existing schemes while full topological adjacencies are still derived without the loss of efficiency. To verify the statement above, the storage size requirement of the representation is compared with other existing representations and present some main procedures for querying and traversing the representation. We have also implemented a set of the generalized Euler operators that satisfy the Euler-Poincare formula for non-manifold geometric models.

• 대한기계학회논문집
• /
• 제18권8호
• /
• pp.1974-1984
• /
• 1994

This paper presents a relative coordinate formulation for constrained mechanical systems. Relative coordinates are defined along degrees of freedom of a joint. Graph theoretic analyses are performed to identify topological paths in mechanical systems. Cut constraints are generated to handle closed loop systems. Equations of motion are derived in the Cartesian space and transformed to the joint space. Relative generalized coordinates are corrected to satisfy the cut constraints by a parametrizatiom method.

• 대한수학회지
• /
• 제47권4호
• /
• pp.735-742
• /
• 2010

In this paper, we define and study the concept of $\wedge^s_{\delta}$-closure operator and the associated topology $\tau^{\wedge}^s_{\delta}$ on a topological space (X, $\tau$) in terms of g.$\wedge^s_{\delta}$-sets.

• Kyungpook Mathematical Journal
• /
• 제57권2호
• /
• pp.199-210
• /
• 2017

In this paper, we analyze some new properties of nowhere dense and strongly nowhere dense sets. Also, we discuss the images of nowhere dense and strongly nowhere dense sets. Further, we study the properties of weak Baire space in generalized topological spaces.

• 대한수학회보
• /
• 제52권6호
• /
• pp.1777-1795
• /
• 2015

In this paper, we establish sufficient conditions for the solution set of parametric generalized vector mixed quasivariational inequality problem to have the semicontinuities such as the inner-openness, lower semicontinuity and Hausdorff lower semicontinuity. Moreover, a key assumption is introduced by virtue of a parametric gap function by using a nonlinear scalarization function. Then, by using the key assumption, we establish condition ($H_h$(${\gamma}_0$, ${\lambda}_0$, ${\mu}_0$)) is a sufficient and necessary condition for the Hausdorff lower semicontinuity, continuity and Hausdorff continuity of the solution set for this problem in Hausdorff topological vector spaces with the objective space being infinite dimensional. The results presented in this paper are different and extend from some main results in the literature.

• 대한수학회논문집
• /
• 제31권4호
• /
• pp.857-868
• /
• 2016

Let (X, ${\mu}$) be a generalized topological space (GTS) and $\mathcal{H}$ be a hereditary class on X due to $Cs{\acute{a}}sz{\acute{a}}r$ [8]. In this paper, we define an operator $()^{\circ}:\mathcal{P}(X){\rightarrow}\mathcal{P}(X)$. By setting $c^{\circ}(A)=A{\cup}A^{\circ}$ for every subset A of X, we define the family ${\mu}^{\circ}=\{M{\subseteq}X:X-M=c^{\circ}(X-M)\}$ and show that ${\mu}^{\circ}$ is a GT on X such that ${\mu}({\theta}){\subseteq}{\mu}^{\circ}{\subseteq}{\mu}^*$, where ${\mu}^*$ is a GT in [8]. Moreover, we define and investigate ${\mu}^{\circ}$-codense and strongly ${\mu}^{\circ}$-codense hereditary classes.

• Nonlinear Functional Analysis and Applications
• /
• 제28권1호
• /
• pp.123-134
• /
• 2023

Since Knaster, Kuratowski, and Mazurkiewicz established their KKM theorem in 1929, it was first applied to topological vector spaces mainly by Fan and Granas. Later it was extended to convex spaces by Lassonde and to extensions of c-spaces by Horvath. In 1992, such study was called the KKM theory by ourselves. Then the theory was extended to generalized convex spaces or G-convex spaces. Motivated by such spaces, there have appeared several particular types of artificial spaces. In 2006 we introduced abstract convex spaces which contain all existing spaces appeared in the KKM theory. Later in 2014-2020, Khahn and Quan introduced "topologically based existence theorems" and the so-called KKM structure. In the present paper, we show that their structure is a particular type of already known KKM spaces.

• Journal of applied mathematics & informatics
• /
• 제7권1호
• /
• pp.1-28
• /
• 2000

In the present paper, we introduce fundamental results in the KKM theory for G-convex spaces which are equivalent to the Brouwer theorem, the Sperner lemma, and the KKM theorem. Those results are all abstract versions of known corresponding ones for convex subsets of topological vector spaces. Some earlier applications of those results are indicated. Finally, We give a new proof of the Himmelberg fixed point theorem and G-convex space versions of the von Neumann type minimax theorem and the Nash equilibrium theorem as typical examples of applications of our theory.