• Journal of applied mathematics & informatics
• /
• 제11권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$.

• 대한수학회지
• /
• 제47권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.

• 한국추진공학회지
• /
• 제23권6호
• /
• pp.72-86
• /
• 2019

SpaceX는 현재 Falcon 9 v1.2 Block 5의 성공적인 발사 및 회수로 세계 발사 시장을 주도하고 있다. SpaceX는 케로신 가스 발생기 엔진인 Merlin 엔진을 개발하였고, Falcon 1에서 Falcon Heavy까지 엔진을 지속적으로 업그레이드하여 탑재 중량을 증가시켰다. SpaceX는 초기에 많은 실패를 겪었지만 NASA의 도움으로 많은 위기를 극복하고 발사체를 개발할 수 있었다. 또한 재사용 발사체를 성공적으로 개발하여 운용비용을 크게 절감했다. 한국의 후속 발사체도 이러한 SpaceX의 개발 전략을 참고하여 개발할 필요가 있다.

• East Asian mathematical journal
• /
• 제30권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.

• 대한수학회논문집
• /
• 제34권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제3권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$^#$.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권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)$.

• 대한수학회보
• /
• 제37권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.

• 대한수학회보
• /
• 제21권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제19권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$.