• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.365-371
• /
• 2003

In this paper, we introduce metrics d, p and ${\mu}$ on a normed almost linear space (X, III.III). And we prove that above three metrics are equivalent if a normed almost linear space X has a basis and splits as X = W$_X$ + V$_X$.

• Journal of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.215-222
• /
• 2010

A T$_1$ topological space X is called an almost GP-space if every dense G$_{\delta}$-set of X has nonempty interior. The behaviour of almost GP-spaces under taking subspaces and superspaces, images and preimages and products is studied. If each dense G$_{\delta}$-set of an almost GP-space X has dense interior in X, then X is called a GID-space. In this paper, some interesting properties of GID-spaces are investigated. We will generalize some theorems that hold in almost P-spaces.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.23 no.6
• /
• pp.72-86
• /
• 2019

SpaceX is currently leading the global launch market with the successful launch and recovery of Falcon 9 v1.2 Block 5. SpaceX developed Merlin engine, a kerosene gas generator engine, and continuously upgraded the engine from Falcon 1 to Falcon Heavy to increase payload weight. SpaceX suffered a lot of failures early on, but with the help of NASA, it was possible to overcome many crises and develop vehicles. In addition, it successfully developed reusable vehicles, which drastically reduced operating costs. Subsequent launch vehicles in Korea also need to be developed with reference to SpaceX's development strategy.

• East Asian mathematical journal
• /
• v.30 no.1
• /
• pp.63-67
• /
• 2014

Observing that for any P'-space X, ${\Lambda}vX$ is a P'-space if vX is a weakly Lindel$\ddot{o}$f space, (${\Lambda}vX{\times}{\Lambda}Y$, ${\Lambda}_X{\times}{\Lambda}_Y$) is the minimal basically disconnected cover of $X{\times}Y$ for a countably locally weakly Lindel$\ddot{o}$f space Y.

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.465-475
• /
• 2019

Let X be a Banach space and $X^*$ be its dual. In this paper, we give relationships among some parameters in $X^*$: ${\varepsilon}$-nonsquareness parameter, $J({\varepsilon},X^*)$; ${\varepsilon}$-boundary parameter, $Q({\varepsilon},X^*)$; the modulus of smoothness, ${\rho}_{X^*}({\varepsilon})$; and ${\varepsilon}$-Pythagorean parameter, $E({\varepsilon},X^*)$, and weak orthogonality parameter, ${\omega}(X)$ in X that imply uniform norm structure in X. Some existing results are extended or approved.

• The Pure and Applied Mathematics
• /
• v.3 no.2
• /
• pp.163-171
• /
• 1996

Observing that a locally weakly Lindel$\"{o}$f space is a quasi-F space if and only if it has an F-base, we show that every dense weakly Lindel$\"{o}$f subspace of an almost-p-space is C-embedded, every locally weakly Lindel$\"{o}$f space with a cocompact F-base is a locally compact and quasi-F space and that if Y is a dense weakly Lindel$\"{o}$f subspace of X which has a cocompact F-base, then $\beta$Y and X are homeomorphic. We also show that for any a separating nest generated intersection ring F on a space X, there is a separating nest generated intersection ring g on $\phi_{Y}^{-1}$(X) such that QF(w(X, F)) and ($\phi_{Y}^{-1}$(X),g) are homeomorphic and $\phi_{Y}_{x}$(g$^#$)=F$^#$.

• The Pure and Applied Mathematics
• /
• v.18 no.4
• /
• pp.361-368
• /
• 2011

In this paper, we construct a cover ($\mathcal{L}(X)$, $c_X$) of a space X such that for any cloz-cover (Y, f) of X, there is a covering map g : $Y{\longrightarrow}\mathcal{L}(X)$ with $c_X{\circ}g=f$. Using this, we show that every Tychonoff space X has a minimal cloz-cover ($E_{cc}(X)$, $z_X$) and that for a strongly zero-dimensional space X, ${\beta}E_{cc}(X)=E_{cc}({\beta}X)$ if and only if $E_{cc}(X)$ is $z^{\sharp}$-embedded in $E_{cc}({\beta}X)$.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.171-179
• /
• 2000

We prove the following: (1) For a Hausdorff space X, the hyperspace K(X) of compact subsets of X is hemicompact if and only if X is hemicompact. (2) For a regular space X, the hyperspace $C_K(X)$ of subcontinua of X is hemicompact (hemiconnected) if and only if X is hemicompact (hemiconnected). (3) For a locally compact Hausdorff space X, each open set in X is hemicompact if and only if each basic open set in the hyperspace K(X) is hemicompact. (4) For a connected, locally connected, locally compact Hausdorff space X, K(X) is hemiconnected if and only if X is hemiconnected.

• Bulletin of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.67-75
• /
• 1984

Let X be a topological space. We consider a groupoid G over X and the quotient groupoid G/N for any normal subgroupoid N of G. The concept of groupoid (topological groupoid) is a natural generalization of the group(topological group). An useful example of a groupoid over X is the foundamental groupoid .pi.X whose object group at x.mem.X is the fundamental group .pi.(X, x). It is known [5] that if X is locally simply connected, then the topology of X determines a topology on .pi.X so that is becomes a topological groupoid over X, and a covering space of the product space X*X. In this paper the concept of the locally simple connectivity of a topological space X is applied to the groupoid G over X. That concept is defined as a term '1-connected local subgroupoid' of G. Using this concept we topologize the groupoid G so that it becomes a topological groupoid over X. With this topology the connected groupoid G is a covering space of the product space X*X. Further-more, if ob(.overbar.G)=.overbar.X is a covering space of X, then the groupoid .overbar.G is also a covering space of the groupoid G. Since the fundamental groupoid .pi.X of X satisfying a certain condition has an 1-connected local subgroupoid, .pi.X can always be topologized. In this case the topology on .pi.X is the same as that of [5]. In section 4 the results on the groupoid G are generalized to the quotient groupoid G/N. For any topological groupoid G over X and normal subgroupoid N of G, the abstract quotient groupoid G/N can be given the identification topology, but with this topology G/N need not be a topological groupoid over X [4]. However the induced topology (H) on G makes G/N (with the identification topology) a topological groupoid over X. A final section is related to the covering morphism. Let G$_{1}$ and G$_{2}$ be groupoids over the sets X$_{1}$ and X$_{2}$, respectively, and .phi.:G$_{1}$.rarw.G$_{2}$ be a covering spimorphism. If X$_{2}$ is a topological space and G$_{2}$ has an 1-connected local subgroupoid, then we can topologize X$_{1}$ so that ob(.phi.):X$_{1}$.rarw.X$_{2}$ is a covering map and .phi.: G$_{1}$.rarw.G$_{2}$ is a topological covering morphism.

• The Pure and Applied Mathematics
• /
• v.19 no.3
• /
• pp.273-279
• /
• 2012

In this paper, we construct an extension ($kX$, $k_X$) of a space X such that $kX$ is a weakly Lindel$\ddot{o}$ff space and for any continuous map $f:X{\rightarrow}Y$, there is a continuous map $g:kX{\rightarrow}kY$ such that $g|x=f$. Moreover, we show that ${\upsilon}X$ is Lindel$\ddot{o}$ff if and only if $kX={\upsilon}X$ and that for any P'-space X which is weakly Lindel$\ddot{o}$ff, $kX={\upsilon}X$.