• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.3
• /
• pp.245-259
• /
• 2007

We define and study a concept of $T^f$-space for a map, which is a generalized one of a T-space, in terms of the Gottlieb set for a map. We show that X is a $T_f$-space if and only if $G({\Sigma}B;A,f,X)=[{\Sigma}B,X]$ for any space B. For a principal fibration $E_k{\rightarrow}X$ induced by $k:X{\rightarrow}X^{\prime}$ from ${\epsilon}:PX^{\prime}{\rightarrow}X^{\prime}$, we obtain a sufficient condition to having a lifting $T^{\bar{f}}$-structure on $E_k$ of a $T^f$-structure on X. Also, we define and study a concept of co-$T^g$-space for a map, which is a dual one of $T^f$-space for a map. We obtain a dual result for a principal cofibration $i_r:X{\rightarrow}C_r$ induced by $r:X^{\prime}{\rightarrow}X$ from ${\iota}:X^{\prime}{\rightarrow}cX^{\prime}$.

• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.591-603
• /
• 2006

For a set $X{\subset}{\mathbb{Z}}^n$ let $(X,\;T^n_X)$ be the subspace of the Khalimsky n-dimensional space $({\mathbb{Z}}^n,\;T^n)$, $n{\in}N$. Considering a k-adjacency of $(X,\;T^n_X)$, we use the notation $(X,\;k,\;T^n_X)$. In this paper for a map $$f:(X,\;k,\;T^n_X){\rightarrow}(Y,\;2\;T_Y)$$, we find the condition that weak (k, 2)-continuity of the map f implies strong (k, 2)-continuity of f.

• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.17-33
• /
• 2007

Suppose F is an arbitrary field. Let ${\mid}F{\mid}$ be the number of the elements of F. Let $T_{n}(F)$ be the space of all $n{\times}n$ upper-triangular matrices over F. A map ${\Psi}\;:\;T_{n}(F)\;{\rightarrow}\;T_{n}(F)$ is said to preserve idempotence if $A-{\lambda}B$ is idempotent if and only if ${\Psi}(A)-{\lambda}{\Psi}(B)$ is idempotent for any $A,\;B\;{\in}\;T_{n}(F)$ and ${\lambda}\;{\in}\;F$. It is shown that: when the characteristic of F is not 2, ${\mid}F{\mid}\;>\;3$ and $n\;{\geq}\;3,\;{\Psi}\;:\;T_{n}(F)\;{\rightarrow}\;T_{n}(F)$ is a map preserving idempotence if and only if there exists an invertible matrix $P\;{\in}\;T_{n}(F)$ such that either ${\Phi}(A)\;=\;PAP^{-1}$ for every $A\;{\in}\;T_{n}(F)\;or\;{\Psi}(A)=PJA^{t}JP^{-1}$ for every $P\;{\in}\;T_{n}(F)$, where $J\;=\;{\sum}^{n}_{i-1}\;E_{i,n+1-i}\;and\;E_{ij}$ is the matrix with 1 in the (i,j)th entry and 0 elsewhere.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.695-706
• /
• 1996

In the control system $ \dot{x} = f(t,x(t)) + g(t,x(t))\dot{u}, x(0) = \bar{x}, t \in [0,T], $ this paper shows that the map from u with $L^1(m)$-topology to $x_u$ with $L^1(\mu)$-topology is Lipschitz continuous where f is $C^1$, $\mu$ is the Stieltjes measure derived from the function g which is not smooth in the variable t and $x_u$ is the solution of the above system corresponding to u under the assumption that $\dot{u}$ is bounded.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2004.05a
• /
• pp.332-333
• /
• 2004

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.359-366
• /
• 1996

A linear map T from a Banach algebra A into a Banach algebra B is almost multiplicative if $\left\$\mid$ T(fg) - T(f)T(g) \right\$\mid$ \leq \in\left\$\mid$ f \right\$\mid$\left\$\mid$ g \right\$\mid$(f,g \in A)$ for some small positive $\in$. B.E.Johnson [4,5] studied whether this implies that T is near a multiplicative map in the norm of operators from A into B. K. Jarosz [2,3] raised the conjecture : If T is an almost multiplicative functional on uniform algebra A, there is a linear and multiplicative functional F on A such that $\left\$\mid$ T - F \right\$\mid$ \leq \in', where \in' \to 0$ as $\in \to 0$. B. E. Johnson [4] gave an example of non-uniform commutative Banach algebra which does not have the property described in the above conjecture. He proved also that C(K) algebras and the disc algebra A(D) have this property [5]. We extend this property to a derivation on a Banach algebra.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.1
• /
• pp.177-186
• /
• 2016

For a map $f:A{\rightarrow}X$, there are concepts of $H^f$-spaces, $T^f$-spaces, which are generalized ones of H-spaces [17,18]. In general, Any H-space is an $H^f$-space, any $H^f$-space is a $T^f$-space. For a principal fibration $E_k{\rightarrow}X$ induced by $k:X{\rightarrow}X^{\prime}$ from ${\epsilon}:PX^{\prime}{\rightarrow}X^{\prime}$, we obtain some sufficient conditions to having liftings $H^{\bar{f}}$-structures and $T^{\bar{f}}$-structures on $E_k$ of $H^f$-structures and $T^f$-structures on X respectively. We can also obtain some results about $H^f$-spaces and $T^f$-spaces in Postnikov systems for spaces, which are generalizations of Kahn's result about H-spaces.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.687-700
• /
• 1994

Throughout this paper we will let H denote the complete Heyting algebra ($H, \vee, \wedge, *$) with order reversing involution *. 0 and 1 denote the supermum and the infimum of $\emptyset$, respectively. Given any set X, any element of $H^X$ is called H-fuzzy set (or, simply f.set) in X and will be denoted by small Greek letters, such as $\mu, \nu, \rho, \sigma$. $H^X$ inherits a structure of H with order reversing involution in natural way, by definding $\vee, \wedge, *$ pointwise (sam notations of H are usual). If $f$ is a map from a set X to a set Y and $\mu \in H^Y$, then $f^{-1}(\mu)$ is the f.set in X defined by f^{-1}(\mu)(x) = \mu(f(x))$. Also for $\sigma \in H^X, f(\sigma)$ is the f.set in Y defined by $f(\sigma)(y) = sup{\sigma(x) : f(x) = y}$ ([4]). A preorder R on a set X is reflexive and transitive relation on X, the pair (X,R) is called preordered set. A map $f$ from a preordered set (X, R) to another one (Y,T) is said to be preorder preserving (inverting) if for $x,y \in X, xRy$ implies $f(x)T f(y) (resp. f(y)Tf(x))$. For the terminology and notation, we refer to [10, 11, 13] for category theory and [7] for H-fuzzy semitopogenous spaces.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1127-1133
• /
• 2014

Let S be a nonempty subset of a ring R. A map $f:R{\rightarrow}R$ is called strong commutativity preserving on S if [f(x), f(y)] = [x, y] for all $x,y{\in}S$, where the symbol [x, y] denotes xy - yx. Bell and Daif proved that if a derivation D of a semiprime ring R is strong commutativity preserving on a nonzero right ideal ${\rho}$ of R, then ${\rho}{\subseteq}Z$, the center of R. Also they proved that if an endomorphism T of a semiprime ring R is strong commutativity preserving on a nonzero two-sided ideal I of R and not identity on the ideal $I{\cup}T^{-1}(I)$, then R contains a nonzero central ideal. This short note shows that the conclusions of Bell and Daif are also true without the additivity of the derivation D and the endomorphism T.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.865-868
• /
• 1993

This paper describes a simple random signal generator employing by CMOS analog technology in current mode. The system is a nonlinear dynamical system described by a difference equation, such as x(t＋1) = f(x(t)) , t = 0,1,2, ... , where f($.$) is a nonlinear function of x(f). The tent map is used as a nonlinear function to produce the random signals with the uniform distribution. The prototype is implemented by using transistor array devices fabricated in a mass product line. It can be easily realized on a chip. Uniform randomness of the signal is examined by the serial correlation test and the $\chi$2 test.