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

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

• Journal of applied mathematics & informatics
• /
• v.31 no.3_4
• /
• pp.565-575
• /
• 2013

Let H be a real Hilbert space and let T : H ${\rightarrow}$ H be a Lipschitz pseudocontractive mapping. We introduce a modified Ishikawa iterative algorithm and prove that if $F(T)=\{x{\in}H:Tx=x\}{\neq}{\emptyset}$, then our proposed iterative algorithm converges strongly to a fixed point of T. No compactness assumption is imposed on T and no further requirement is imposed on F(T).

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

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.117-124
• /
• 1993

In this paper, we introduce a concept of quasi $O_{z}$ -spaces which generalizes that of $O_{z}$ -spaces. Indeed, a completely regular space X is a quasi $O_{z}$ -space if for any regular closed set A in X, there is a zero-set Z in X with A = c $l_{x}$ (in $t_{x}$ (Z)). We then show that X is a quasi $O_{z}$ -space iff every open subset of X is $Z^{#}$-embedded and that X is a quasi $O_{z}$ -spaces are left fitting with respect to covering maps. Observing that a quasi $O_{z}$ -space is an extremally disconnected iff it is a cloz-space, the minimal extremally disconnected cover, basically disconnected cover, quasi F-cover, and cloz-cover of a quasi $O_{z}$ -space X are all equivalent. Finally it is shown that a compactification Y of a quasi $O_{z}$ -space X is again a quasi $O_{z}$ -space iff X is $Z^{#}$-embedded in Y. For the terminology, we refer to [6].[6].

• Korean Journal of Mathematics
• /
• v.27 no.3
• /
• pp.661-690
• /
• 2019

The soft compactness notion via soft topological spaces was first studied in [10,29]. In this work, soft semi-open sets are utilized to initiate seven new kinds of generalized soft semi-compactness, namely soft semi-$Lindel{\ddot{o}}fness$, almost (approximately, mildly) soft semi-compactness and almost (approximately, mildly) soft semi-$Lindel{\ddot{o}}fness$. The relationships among them are shown with the help of illustrative examples and the equivalent conditions of each one of them are investigated. Also, the behavior of these spaces under soft semi-irresolute maps are investigated. Furthermore, the enough conditions for the equivalence among the four sorts of soft semi-compact spaces and for the equivalence among the four sorts of soft semi-$Lindel{\ddot{o}}f$ spaces are explored. The relationships between enriched soft topological spaces and the initiated spaces are discussed in different cases. Finally, some properties which connect some of these spaces with some soft topological notions such as soft semi-connectedness, soft semi $T_2$-spaces and soft subspaces are obtained.

• The Mathematical Education
• /
• v.16 no.2
• /
• pp.22-26
• /
• 1978

It is shown that a map having an extension to an open map between the Alex-androff base compactifications of its domain and range has a unique such extension. J.S. Wasileski has introduced the Alexandroff base compactifications of Hausdorff spaces endowed with Alexandroff bases. We introduce a definition of morphism between such spaces to obtain a category which we denote by ABC. We prove that the Alexandroff base compactification on objects can be extended to a functor on ABC and that the compact objects give an epireflective subcategory of ABC. For each topological space X there exists a completely regular space $\alpha$X and a surjective continuous function $\alpha$$_{x}$ : Xlongrightarrow$\alpha$X such that for each completely regular space Z and g$\in$C (X, Z) there exists a unique g$\in$C($\alpha$X, 2) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\alpha$$_{x}$, $\alpha$X) is called a completely regularization of X. Let TOP be the category of topological spaces and continuous functions and let CREG be the category of completely regular spaces and continuous functions. The functor $\alpha$ : TOPlongrightarrowCREG is a completely regular reflection functor. For each topological space X there exists a compact Hausdorff space $\beta$X and a dense continuous function $\beta$x : Xlongrightarrow$\beta$X such that for each compact Hausdorff space K and g$\in$C (X, K) there exists a uniqueg$\in$C($\beta$X, K) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\beta$$_{x}$, $\beta$X) is called a Stone-Cech compactification of X. Let COMPT$_2$ be the category of compact Hausdorff spaces and continuous functions. The functor $\beta$ : TOPlongrightarrowCOMPT$_2$ is a compact reflection functor. For each topological space X there exists a realcompact space (equation omitted) and a dense continuous function (equation omitted) such that for each realcompact space Z and g$\in$C(X, 2) there exists a unique g$\in$C (equation omitted) with g=g$^{\circ}$(equation omitted). Such a pair (equation omitted) is called a Hewitt's realcompactification of X. Let RCOM be the category of realcompact spaces and continuous functions. The functor (equation omitted) : TOPlongrightarrowRCOM is a realcompact refection functor. In [2], D. Harris established the existence of a category of spaces and maps on which the Wallman compactification is an epirefiective functor. H. L. Bentley and S. A. Naimpally [1] generalized the result of Harris concerning the functorial properties of the Wallman compactification of a T$_1$-space. J. S. Wasileski [5] constructed a new compactification called Alexandroff base compactification. In order to fix our notations and for the sake of convenience. we begin with recalling reflection and Alexandroff base compactification.