• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.1
• /
• pp.13-23
• /
• 2023

In this paper, we show that for an isometry on a Banach space the analytic spectral subspace coincides with the algebraic spectral subspace. Using this result, we have the following result. Let T be a bounded linear operator with property (δ) on a Banach space X. And let S be an isometry on a Banach space Y . Then every generalized intertwining linear operator θ : X → Y for (S, T) is continuous if and only if the pair (S, T) has no critical eigenvalue.

• Honam Mathematical Journal
• /
• v.46 no.1
• /
• pp.38-46
• /
• 2024

Let X, Y be Banach spaces, S_X and S_Y be the unit sphere of X and Y, respectively. Let f₀ : S_X → S_Y be ε-isometry for some ε ≥ 0. In this paper, we show that there is an extension f : X → Y of f₀ such that f is linear.

• Journal of Broadcast Engineering
• /
• v.17 no.6
• /
• pp.954-963
• /
• 2012

As a greedy algorithm reconstructing the sparse signal from underdetermined system, orthogonal matching pursuit (OMP) algorithm has received much attention. In this paper, we multiple candidate matching pursuit (MuCaMP), which builds up candidate support set in every iteration and uses the minimum residual at last iteration. Using the restricted isometry property (RIP), we derive the sufficient condition for MuCaMP to recover the sparse signal exactly. The MuCaMP guarantees to reconstruct the K-sparse signal when the sensing matrix satisfies the RIP constant ${\delta}_{N+K}<\frac{\sqrt{N}}{\sqrt{K}+3\sqrt{N}}$. In addition, we show a recovery performance both noiseless and noisy measurements.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.49 no.2
• /
• pp.122-129
• /
• 2012

As a greedy algorithm reconstructing the sparse signal from underdetermined system, orthogonal matching pursuit (OMP) algorithm has received much attention in recent years. In this paper, we present an extension of OMP for pursuing efficiency of the index selection. Our approach, referred to as generalized OMP (gOMP), is literally a generalization of the OMP in the sense that multiple (N) columns are identified per step. Using the restricted isometry property (RIP), we derive the condition for gOMP to recover the sparse signal exactly. The gOMP guarantees to reconstruct sparse signal when the sensing matrix satisfies the RIP constant ${\delta}_{NK}$ < $\frac{\sqrt{N}}{\sqrt{K}+2\sqrt{N}}$. In addition, we show recovery performance and the reduced number of iteration required to recover the sparse signal.

• Journal of the Korea Computer Graphics Society
• /
• v.3 no.2
• /
• pp.55-63
• /
• 1997

This paper presents a method of detecting motion isometry from the motions of two objects in a three-dimensional space. We define the motion isometry based on the group theory and a newly defined coordinate system. Motion isometry can be detected using the coordinate system which we call Motion Specific Coordinate System(MSCS). In addition, we present an algorithm if two motions are isometric using the coordinate system. The algorithm can detect the difference in the motions of objects irrespective of their positions or the directions of their motions in a space. The algorithm can also detect the motion difference in the case of segmented objects which have several joints. The motion quantity is represented by translation values or rotation angles about some axes.

• Journal of the Korean Mathematical Society
• /
• v.38 no.5
• /
• pp.971-986
• /
• 2001

Equations. See Full-text.

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.61-69
• /
• 1991

By $C^{(1)}$[0, 1] we denote the Banach algebra of complex valued continuously differentiable functions on [0, 1] with norm given by $${\parallel}f{\parallel}=\sup_{x{\in}[0,1]}({\mid}f(x){\mid}+{\mid}f^{\prime}(x){\mid})\text{ for }f{\in}C^{(1)}$$. By A we denote the sub algebra of $C^{(1)}$ defined by $$A=\{f{\in}C^{(1)}:f(0)=f(1)\text{ and }f^{\prime}(0)=f^{\prime}(1)\}$$. By an isometry of A we mean a norm-preserving linear map of A onto itself. The purpose of this article is to describe the isometries of A. More precisely, we show tht any isometry of A is induced by a point map of the interval [0, 1] onto itself.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.999-1006
• /
• 2015

In this paper, we deal with a characterization of the posets with the property that every poset isometry of $\mathbb{F}^n_q$ fixing the origin is a linear map. We say such a poset to be admitting the linearity of isometries. We show that a poset P admits the linearity of isometries over $\mathbb{F}^n_q$ if and only if P is a disjoint sum of chains of cardinality 2 or 1 when q = 2, or P is an anti-chain otherwise.

• Journal of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.725-735
• /
• 2016

A pair of bodies rolling on each other is an interesting example of nonholonomic systems in control theory. There is a geometric condition equivalent to the rolling constraint which enables us to generalize the rolling motions for any two-dimensional Riemannian manifolds. This system has a five-dimensional phase space. In order to study the controllability of the rolling surfaces, we lift the system to a six-dimensional space and show that the lifted system is controllable unless the two surfaces have isometric universal covering spaces. In the non-controllable case there are some three-dimensional orbits each of which corresponds to an isometry of the universal covering spaces.

• Journal of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.667-680
• /
• 2004

We generalize a theorem of W. Benz by proving the following result: Let $H_{\theta}$ be a half space of a real Hilbert space with dimension $\geq$ 3 and let Y be a real normed space which is strictly convex. If a distance $\rho$ > 0 is contractive and another distance N$\rho$ (N $\geq$ 2) is extensive by a mapping f : $H_{\theta}$ \longrightarrow Y, then the restriction f│$_{\theta}$ $H_{+}$$\rho$/2// is an isometry, where $H_{\theta}$＋$\rho$/2/ is also a half space which is a proper subset of $H_{\theta}$. Applying the above result, we also generalize a classical theorem of Beckman and Quarles.