• Journal of applied mathematics & informatics
• /
• 제32권3_4호
• /
• pp.323-330
• /
• 2014

The notion of transitive filters is introduced in lattice implication algebras. A necessary and sufficient condition is derived for every filter to become a transitive filter. Some sufficient conditions are also derived for a filter to become a transitive filter. The concept of absorbent filters is introduced and their properties are studied. A set of equivalent conditions is obtained for a filter to become an absorbent filter.

• 한국경영과학회지
• /
• 제14권1호
• /
• pp.80-87
• /
• 1989

Many Traditional Algebraic Analyses of preference and choice for a finite set of alternatives have been based on binary choices. They have assumed that the binary preference information given by a decision maker is transitive. However, there is considerable evidence that many relations that might occur as preference relations cannot be presented as transitive relations. To construct transitive binary comparisons from intransitive ones, we suggest the notion of superior set, which helps us to understand the structure of intransitive binary comparisons. We also provide a heuristic method to construct transitive binary comparisons. And some merits merits of the suggested method over the existing methods are also discussed.

• 대한수학회보
• /
• 제51권5호
• /
• pp.1259-1267
• /
• 2014

In this paper we show that any chain transitive set of a diffeomorphism on a compact $C^{\infty}$-manifold which is $C^1$-stably limit shadowable is hyperbolic. Moreover, it is proved that a locally maximal chain transitive set of a $C^1$-generic diffeomorphism is hyperbolic if and only if it is limit shadowable.

• 대한수학회보
• /
• 제49권2호
• /
• pp.263-270
• /
• 2012

We prove that a locally maximal chain transitive set of a $C^1$-generic diffeomorphism is hyperbolic if and only if it is shadowable.

• 대한수학회지
• /
• 제61권3호
• /
• pp.495-513
• /
• 2024

In the paper, we show that for a generic C¹ vector field X on a closed three dimensional manifold M, any isolated transitive set of X is singular hyperbolic. It is a partial answer of the conjecture in [13].

• 충청수학회지
• /
• 제26권4호
• /
• pp.821-829
• /
• 2013

Let f be a diffeomorphism of a closed $C^{\infty}$ manifold M, and let ${\Lambda}{\subset}M$ be a closed f-invariant set. We show that if $f{\mid}_{\Lambda}$ is robustly chain transitive with shadowing, then ${\Lambda}$ is the hyperbolic homoclinic class.

• Journal of applied mathematics & informatics
• /
• 제35권1_2호
• /
• pp.83-93
• /
• 2017

The Cayley graph ${\Gamma}=Cay(G,S)$ is called normal edge-transitive if $N_A(R(G))$ acts transitively on the set of edges of ${\Gamma}$, where $A=Aut({\Gamma})$ and R(G) is the regular subgroup of A. In this paper, we determine all hexavalent normal edge-transitive Cayley graphs on groups of order pqr, where p > q > r > 2 are prime numbers.

• 대한수학회지
• /
• 제58권4호
• /
• pp.977-1000
• /
• 2021

Consider the high dimensional torus 𝕋ⁿ and the set 𝜺 of its endomorphisms. We construct a map in 𝜺 that is robustly transitive if 𝜺 is endowed with the C² topology but is not robustly transitive if 𝜺 is endowed with the C¹ topology.

• 충청수학회지
• /
• 제25권4호
• /
• pp.643-653
• /
• 2012

Let $f\;:\;M\;{\rightarrow}\;M$ be a diffeomorphism on a closed $C^{\infty}$ manifold. Let $\Lambda$ be a transitive set. In this paper, we show that (i) $C^1$-generically, $f$ has the shadowing property on a locally maximal $\Lambda$ if and only if $\Lambda$ is hyperbolic, (ii) f has the $C^1$-stably shadowing property on $\Lambda$ if and only if $\Lambda$ is hyperbolic.

• 대한수학회지
• /
• 제56권3호
• /
• pp.805-823
• /
• 2019

We introduce polynomial PH-MPH transitive mappings which transform planar PH curves to MPH curves in ${\mathbb{R}}^{2,1}$, and prove that parameterizations of Enneper surfaces of the 1st and the 2nd kind and conjugates of Enneper surfaces of the 2nd kind are PH-MPH transitive. We show how to solve $C^1$ Hermite interpolation problems in ${\mathbb{R}}^{2,1}$, for an admissible $C^1$ Hermite data-set, by using the parametrization of Enneper surfaces of the 1st kind. We also show that we can obtain interpolants for at least some inadmissible data-sets by using MPH biarcs on Enneper surfaces of the 1st kind.