• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.399-415
• /
• 2017

Given a topological space X and a non-negative integer k, we study the self-homotopy equivalences of X that do not change maps from X to n-sphere $S^n$ homotopically by the composition for all $n{\geq}k$. We denote by ${\varepsilon}^{\sharp}_k(X)$ the set of all homotopy classes of such self-homotopy equivalences. This set is a dual concept of ${\varepsilon}^{\sharp}_k(X)$, which has been studied by several authors. We prove that if X is a finite CW complex, there are at most a finite number of distinguishing homotopy classes ${\varepsilon}^{\sharp}_k(X)$, whereas ${\varepsilon}^{\sharp}_k(X)$ may not be finite. Moreover, we obtain concrete computations of ${\varepsilon}^{\sharp}_k(X)$ to show that the cardinal of ${\varepsilon}^{\sharp}_k(X)$ is finite when X is either a Moore space or co-Moore space by using the self-closeness numbers.

• Communications of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.17-29
• /
• 2022

A commutative ring with unity R is called an EM-ring if for any finitely generated ideal I there exist a in R and a finitely generated ideal J with Ann(J) = 0 and I = aJ. In this article it is proved that C(X) is an EM-ring if and only if for each U ∈ Coz (X), and each g ∈ C^* (U) there is V ∈ Coz (X) such that U ⊆ V, ${\bar{V}}=X$, and g is continuously extendable on V. Such a space is called an EM-space. It is shown that EM-spaces include a large class of spaces as F-spaces and cozero complemented spaces. It is proved among other results that X is an EM-space if and only if the Stone-Čech compactification of X is.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.567-572
• /
• 2005

A Banach space X is a Hilbert space if and only if $$E{\mid}x=Y{\mid}{\le}2$$ for all x$\in$ X and all X-valued Bochner integrable functions Y satisfying EY = 0 and ${\mid}x-Y{\mid}{\le}2$ a.e.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.539-541
• /
• 1997

Let X be a smooth projective threefold. Let C be a smooth projective curve and let $f : X \to C$ be a fiber space with connected fiber S. Assume that $q_1(S) = 0$. Then we have $-X(O_C)X(O_S) \leq -X(O_X)$.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.2
• /
• pp.427-433
• /
• 2013

Observing that every Tychonoff space X has an extension $kX$ which is a weakly Lindel$\ddot{o}$f space and the minimal quasi-F cover $QF(kX)$ of $kX$ is a weakly Lindel$\ddot{o}$f, we show that ${\Phi}_{kX}:QF(kX){\rightarrow}kX$ is a $z^{\sharp}$-irreducible map and that $QF({\beta}X)=QF(kX)$. Using these, we prove that $QF(kX)=kQF(X)$ if and only if ${\Phi}^k_X:kQF(X){\rightarrow}kX$ is an onto map and ${\beta}QF(X)=(QF{\beta}X)$.

• Communications of the Korean Mathematical Society
• /
• v.17 no.4
• /
• pp.709-718
• /
• 2002

Observing that each Tychonoff space X has the minimal basically disconnected cover (ΛX, Λ$\sub$X/) and the .realcompact-ification $\upsilon$X, we introduce a concept of stable $\sigma$Z(X)#-ultrafilters and give internal characterizations of Tychonoff spaces X for which Λ($\upsilon$X) : $\upsilon$(ΛX).

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.1
• /
• pp.71-78
• /
• 2000

The main goal of this paper is to prove the following theorem ; Let (X, ${\rho}_1$) be a fuzzy normed linear space over K and (Y, ${\rho}_2$) be a fuzzy Banach space over K. If ${\chi}_{B_{{\parallel}{\cdot}{\parallel}}}{\supseteq}{\rho}*$, then (CF(X,Y), ${\rho}*$) is a fuzzy Banach space, where ${\rho}*(f)={\vee}{\lbrace}{\theta}{\wedge}\frac{1}{t({\theta},f)}\;{\mid}\;{\theta}{\in}(0,1){\rbrace}$, $f{\in}CF(X,Y)$, $B_{{\parallel}{\cdot}{\parallel}}$ is the closed unit ball on (CF(X, Y), ${\parallel}{\cdot}{\parallel}$ and ${\parallel}f{\parallel}={\vee}{\lbrace}P^2_{{\alpha}^-}(f(x))\;{\mid}\;P^1_{{\alpha}^-}(x)=1,\;x{\in}X{\rbrace}$, $f{\in}CF(X,Y)$, ${\alpha}{\in}(0,1)$.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.521-525
• /
• 2005

We give a necessary and sufficient condition of a rationally elliptic space X such that the Dold-Lashof classifying space Baut1X for fibrations with the fiber X is rank one. It is only when X has the rational homotopy type of a sphere or the total space of a spherical fibration over a product of spheres.

• Journal of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.467-475
• /
• 1994

In 1983 Harmand and Lima [5] proved that if X is a Banach space for which K(X), the space of compact linear operators on X, is an M-ideal in L(X), the space of bounded linear operators on X, then it has the metric compact approximation property. A strong converse of the above result holds if X is a closed subspace of either $\elll_p(1 < p < \infty) or c_0 [2,15]$. In 1979 J. Johnson [7] actually proved that if X is a Banach space with the metric compact approximation property, then the annihilator K(X)^\bot$ of K(X) in $L(X)^*$ is the kernel of a norm-one projection in $L(X)^*$, which is the case if K(X) is an M-ideal in L(X).

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.95-97
• /
• 1983

In this paper, we show a necessary and sufficient condition for QHC spaces to be S-closed. T. Thomson introduced S-closed spaces in [2]. A topological space X is said to be S-closed if every semi-open cover of X admits a finite subfamily such that the closures of whose members cover the space, where a set A is semi-open if and only if there exists an open set U such that U.contnd.A.contnd.Cl U. A topological space X is quasi-H-closed (denote QHC) if every open cover has a finite subfamily whose closures cover the space. If a topological space X is Hausdorff and QHC, then X is H-closed. It is obvious that every S-closed space is QHC but the converse is not true [2]. In [1], Cameron proved that an extremally disconnected QHC space is S-closed. But S-closed spaces are not necessarily extremally disconnected. Therefore we want to find a necessary and sufficient condition for QHC spaces to be S-closed. A topological space X is said to be semi-locally S-closed if each point of X has a S-closed open neighborhood. Of course, a locally S-closed space is semi-locally S-closed.