• Communications of the Korean Mathematical Society
• /
• v.25 no.1
• /
• pp.111-117
• /
• 2010

For a based, 1-connected, finite CW-complex X, we denote by $\varepsilon(X)$ the group of homotopy classes of self-homotopy equivalences of X and by $\varepsilon_#\;^{dim+r}(X)$ the subgroup of homotopy classes which induce the identity on the homotopy groups of X in dimensions $\leq$ dim X+r. In this paper, we calculate the subgroups $\varepsilon_#\;^{dim+r}(X)$ when X is a wedge of two Moore spaces determined by cyclic groups and in consecutive dimensions.

• Communications of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.347-353
• /
• 2006

In this paper, we show that if the minimal basically disconnected cover ${\wedge}X_\imath\;of\;X_\imath$ is given by the space of fixed a $Z(X)^#$-ultrafilters on $X_\imath\;(\imath=1,2)\;and\;{\wedge}X_1\;{\times}\;{\wedge}X_2$ is a basically disconnected space, then ${\wedge}X_1\;{\times}\;{\wedge}X_2$ is the minimal basically disconnected cover of $X_1\;{\times}\;X_2$. Moreover, observing that the product space of a P-space and a countably locally weakly Lindelof basically disconnected space is basically disconnected, we show that if X is a weakly Lindelof almost P-space and Y is a countably locally weakly Lindelof space, then (${\wedge}X\;{\times}\;{\wedge}Y,\;{\wedge}_X\;{\times}\;{\wedge}_Y$) is the minimal basically disconnected cover of $X\;{\times}\;Y$.

• Journal of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.15-23
• /
• 1996

Let C be a category of (pointed) spaces. For $X, Y \in C$ we denote the wedge (or one point union) by $X \vee Y$ and the cartesian product by $X \times Y$. Let $Z \in C$; we say that Z cancels with respect to wedge (resp. cartesian product) and C, if for all $X, Y \in C$ the existence of a homotopy equivalence $X \vee Z \to Y \vee Z$ implies the existence of a homotopy equivalence $X \to Y$ (resp. for cartesian product). If this does not hold, we say that there is a non-cancellation phenomenon involving Z (and C).

• Communications of the Korean Mathematical Society
• /
• v.11 no.1
• /
• pp.225-233
• /
• 1996

It is shown that for any space A, the cofibration X \to X \Join \sumA \to \sumA \wedge X$ decomposable when X is a co-T-space. It is also obtain necessary and sufficient conditions for the cofibration $X \to X \Join A \to A \wedge X$ is trivial, in the sense of cofibre homotopy type.

• The Pure and Applied Mathematics
• /
• v.16 no.2
• /
• pp.193-198
• /
• 2009

In the previous work [5] we have determined the group ${{\varepsilon}_{\sharp}}^{dim+r}^{dim+r}(X)$ for $X\;=\;M(Z_q,\;n+1){\vee}M(Z_q,\;n)$ for all integers q > 1. In this paper, we investigate the group ${{\varepsilon}_{\sharp}}^{dim+r}(X)$ for $X\;=\;M(Z{\oplus}Z_q,\;n+1){\vee}M(Z{\oplus}Z_q,\;n)$ for all odd numbers q > 1.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.2
• /
• pp.41-55
• /
• 1989

Successive iteration of geometrical optics(GO)is suggested to calculate wedge diffraction fields. For a wedge and given source, the GO field may be obtained when the fields by the half spaces are found and the shadow regions are determined. Furthermore, one may caluculate the sources which are equivalent to the discontinuities of the GO field along the shadow boundaries and form a new wedge problem with the equivalent sources instead of the original one. It is shown that the field by the wedge and the equivalent sources equals to the diffraction field which GO requires for the complete solution. Also, it is shown that the field generated by the equivalent sources in the unbounded space, or the incident field in the new wedge problem, equls to the diffraction field approximated by the physical optics. The new wedge problem is solved here by another application of the GO to approximate the diffraction field and the result is compared with that by the physical optics. For a validity of the successive iteration of GO , infinite iteration of GO is performed analytically and the convergence is examined ofr conducting wedges, of which the exact solution is available.

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

• Honam Mathematical Journal
• /
• v.37 no.4
• /
• pp.595-608
• /
• 2015

In this paper, as a survey paper, we review many works related to fixed point theory for digital spaces using Lefschetz fixed point theorem, Banach fixed point theorem, Nielsen fixed point theorem and so forth. Besides, we refer some properties of the fixed point property of a digital k-retract.

• Journal of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1053-1064
• /
• 2012

For a double array of random elements $\{X_{mn};m{\geq}1,n{\geq}1\}$ in a $p$-uniformly smooth Banach space, $\{b_{mn};m{\geq}1,n{\geq}1\}$ is an array of positive numbers, convergence of double random series ${\sum}^{\infty}_{m=1}{\sum}^{\infty}_{n=1}X_{mn}$, ${\sum}^{\infty}_{m=1}{\sum}^{\infty}_{n=1}b^{-1}_{mn}X_{mn}$ and strong law of large numbers $$b^{-1}_{mn}\sum^m_{i=1}\sum^n_{j=1}X_{ij}{\rightarrow}0$$ as $$m{\wedge}n{\rightarrow}{\infty}$$ are established.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.1089-1100
• /
• 2008

For a pointed space X, the subgroups of self-homotopy equivalences $Aut_{\sharp}_N(X)$, $Aut_{\Omega}(X)$, $Aut_*(X)$ and $Aut_{\Sigma}(X)$ are considered, where $Aut_{\sharp}_N(X)$ is the group of all self-homotopy classes f of X such that $f_{\sharp}=id\;:\;{\pi_i}(X){\rightarrow}{\pi_i}(X)$ for all $i{\leq}N{\leq}{\infty}$, $Aut_{\Omega}(X)$ is the group of all the above f such that ${\Omega}f=id;\;Aut_*(X)$ is the group of all self-homotopy classes g of X such that $g_*=id\;:\;H_i(X){\rightarrow}H_i(X)$ for all $i{\leq}{\infty}$, $Aut_{\Sigma}(X)$ is the group of all the above g such that ${\Sigma}g=id$. We will prove that $Aut_{\Omega}(X_1{\times}\cdots{\times}X_n)$ has two factorizations similar to those of $Aut_{\sharp}_N(X_1{\times}\cdots{\times}\;X_n)$ in reference [10], and that $Aut_{\Sigma}(X_1{\vee}\cdots{\vee}X_n)$, $Aut_*(X_1{\vee}\cdots{\vee}X_n)$ also have factorizations being dual to the former two cases respectively.