• Kyungpook Mathematical Journal
• /
• v.49 no.4
• /
• pp.725-729
• /
• 2009

Let X be a direct system of topological spaces and X its direct limit. We show that under certain conditions the direct limit of a "subsystem" of X embeds in a canonical way as a closed subspace of X.

• Journal of Korea Multimedia Society
• /
• v.19 no.2
• /
• pp.146-154
• /
• 2016

This paper presents methods to analyze the topological structures of the spaces composed of patches extracted from waveform signals, which can be applied to the classification of signals. Commute time embedding is performed to transform the patch sets into the corresponding geometries, which has the properties that the embedding geometries of periodic or quasi-periodic waveforms are represented as closed curves on the low dimensional Euclidean space, while those of aperiodic signals have the shape of open curves. Persistent homology is employed to determine the topological invariants of the simplicial complexes constructed by randomly sampling the commute time embedding of the waveforms, which can be used to discriminate between the groups of waveforms topologically.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.753-771
• /
• 2015

A complete invariant defined for (closed connected orientable) 3-manifolds is an invariant defined for the 3-manifolds such that any two 3-manifolds with the same invariant are homeomorphic. Further, if the 3-manifold itself can be reconstructed from the data of the complete invariant, then it is called a characteristic invariant defined for the 3-manifolds. In a previous work, a characteristic lattice point invariant defined for the 3-manifolds was constructed by using an embedding of the prime links into the set of lattice points. In this paper, a characteristic rational invariant defined for the 3-manifolds called the characteristic genus defined for the 3-manifolds is constructed by using an embedding of a set of lattice points called the PDelta set into the set of rational numbers. The characteristic genus defined for the 3-manifolds is also compared with the Heegaard genus, the bridge genus and the braid genus defined for the 3-manifolds. By using this characteristic rational invariant defined for the 3-manifolds, a smooth real function with the definition interval (-1, 1) called the characteristic genus function is constructed as a characteristic invariant defined for the 3-manifolds.

• Journal of applied mathematics & informatics
• /
• v.13 no.1_2
• /
• pp.201-215
• /
• 2003

A map is a connected topological graph $\Gamma$ cellularly embedded in a surface. For any connected graph $\Gamma$, by introducing the concertion of semi-arc automorphism group Aut$\_$$\frac{1}{2}$/$\Gamma$ and classifying all embedding of $\Gamma$ undo. the action of this group, the numbers r$\^$O/ ($\Gamma$) and r$\^$N/($\Gamma$) of rooted maps on orientable and non-orientable surfaces with underlying graph $\Gamma$ are found. Many closed formulas without sum ∑ for the number of rooted maps on surfaces (orientable or non-orientable) with given underlying graphs, such as, complete graph K$\_$n/, complete bipartite graph K$\_$m, n/ bouquets B$\_$n/, dipole Dp$\_$n/ and generalized dipole (equation omitted) are refound in this paper.

• The Pure and Applied Mathematics
• /
• v.6 no.1
• /
• pp.39-45
• /
• 1999

The concept of pseudoLindelof spaces is introduced. It is shown that the followings are equivalent: (a) for any two disjoint zero-sets in X, at least one of them is Lindelof, (b) $\mid$vX{\;}-{\;}X$\mid${\leq}{\;}1$, and (c) for any space T with $X{\;}{\subseteq}{\;}T$, there is an embedding $f{\;}:{\;}vX{\;}{\rightarrow}{\;}vT$ such that f(x) = x for all $x{\;}{\in}{\;}X$ and that if $X{\;}{\times}{\;}Y$ is a z-embedded pseudoLindelof subspace of $vX{\;}{\times}{\;}vY,{\;}then{\;}v(X{\;}{\times}{\;}Y){\;}={\;}vX{\;}{\times}{\;}vY$.

• Honam Mathematical Journal
• /
• v.25 no.1
• /
• pp.153-162
• /
• 2003

Recently, the generalized digital $(k_{0},\;k_{1})$-continuity and its properties are investigated. Furthermore, the k-type digital fundamental group for digital image has been studies with the generalized k-adjacencies. The main goal of this paper is to find some properties of the k-type digital fundamental group of Boxer and to investigate some properties of minimal simple closed k-curves with relation to their embedding into some spaces in ${\mathbb{Z}}^n(2{\leq}n{\leq}3)$.

• Journal of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.129-134
• /
• 2005

Lpt X be a reduced Stein space and L a holomorphic line bundle on X. L is spanned by its global sections and the associated holomorphic map $h_L\;:\;X{\to}P(H^0(X, L)^{\ast})$ is an embedding. Choose any locally convex vector topology ${\tau}\;on\;H^0(X, L)^{\ast}$ stronger than the weak-topology. Here we prove that $h_L(X)$ is sequentially closed in $P(H^0(X, L)^{\ast})$ and arithmetically Cohen -Macaulay. i.e. for all integers $k{\ge}1$ the restriction map ${\rho}_k\;:\;H^0(P(H^0(X, L)^{\ast}),\;O_{P(H^0(X, L)^{\ast})}(k)){\to}H^0(h_L(X),O_{hL_(X)}(k)){\cong}H^0(X, L^{\otimes{k}})$ is surjective.

• Journal of the Korean Society of Safety
• /
• v.21 no.3 s.75
• /
• pp.94-100
• /
• 2006

The goal of this study is to show the way to increase the safety of deteriorated PSC beam bridges by the to-box reinforcing method. This method is to change the open girder section into the closed box section by connecting bottom flanges of neighboring PSC girders with the precast panels embedding PS tendons at the anchor block. The box section is composed of three concrete members with different casting ages, RC slab, PSC beam, precast panel. This different aging requires a time-dependent analysis considering construction sequences. Reliability index and failure probability are produced by the AFOSM reliability analysis. Transversely five schemes and longitudinally two schemes are considered. The full reinforcing scheme, transversely and longitudinally, shows the highest reliability index, but it requires more cost for retrofit. The partial reinforcing scheme 4, 4-1 are recommended in this study as the economically best scheme.

• Language and Information
• /
• v.5 no.2
• /
• pp.1-8
• /
• 2001

Natural language string sets are known to require a grammar with a generative capacity slightly beyond that of Context Free Grammars. Proofs regarding complexity of natural language have involved particular properties of languages like English, Swiss German and Bambara. While it is not very difficult to prove that Korean is more complex than the simplest of the many infinite sets, no proof has been given of this in the literature. I identify two types of center embedding in Korean and use them in proving that Korean is not a regular set, i.e. that no FSA's can recognize its string set. The regular language i salam i (i salam ul$)^j$ michi (key ha)^k$ essta is intersected with Korean, to give {i salam i (i salam ul$)^j$ michi (key ha$)^k$ essta i $$\mid$$ j, k $\geq$ 0 and j $\leq$ k}. This latter language is proved to be nonregular. As the class of regular sets is closed under intersection, Korean cannot be regular.

• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.715-720
• /
• 2004

Suppose X is a closed subspace of Z = ${({{\Sigma}^{\infty}}_{n=1}Z_{n})}_{p}$ (1 < p < ${\infty}$, dim $Z_{n}$ < ${\infty}$). We investigate an isometrically isomorphic embedding of L(X)/K(X) into L(X, Z)/K(X, Z), where L(X, Z) (resp. L(X)) is the space of the bounded linear operators from X to Z (resp. from X to X) and K(X, Z) (resp. K(X)) is the space of the compact linear operators from X to Z (resp. from X to X).