• Journal of the Chungcheong Mathematical Society
• /
• v.15 no.1
• /
• pp.7-23
• /
• 2002

We introduce the notion of expansivity for a continuous surjection on a compact metric space, as the positively and negatively expansive map. We also prove that some well-known properties about positively expansive maps in [2] hold by using our definition.

• The Pure and Applied Mathematics
• /
• v.2 no.1
• /
• pp.9-16
• /
• 1995

D. Dubois and H. Prade introduced the notions of fuzzy numbers and defined its basic operations [3]. R. Goetschel, W. Voxman, A. Kaufmann, M. Gupta and G. Zhang [4,5,6,9] have done much work about fuzzy numbers. Let $\mathbb{R}$ the set of all real numbers and $F^{*}(\mathbb{R})$ all fuzzy subsets defined on $\mathbb{R}$. G. Zhang [8] defined the fuzzy number $\tilde{a}\;\in\;F^{*}(\mathbb{R})$ as follows : (omitted)

• Journal of the Chungcheong Mathematical Society
• /
• v.14 no.2
• /
• pp.37-46
• /
• 2001

In this paper, weighted Bloch spaces $\mathcal{B}_q$ are considered on the open unit ball in $\mathbb{C}^n$. In this paper, we will show that every Bloch function in $B_q$ induces a bounded linear functional on $L^1_a(\mathcal{B})$.

• Journal of Information Processing Systems
• /
• v.9 no.2
• /
• pp.315-332
• /
• 2013

This paper presents an approach for improving the use of VP-tree in video indexing and searching. A vantage-point tree or VP-tree is one of the metric space-based indexing methods used in multimedia database searches and data retrieval. Instead of relying on the Euclidean distance as a measure of search space, the proposed approach focuses on the trigonometric inequality for compressing the search range, which thus, improves the search performance. A test result of using 10,000 video files shows that this method reduced the search time by 5-12%, as compared to the existing method that uses the AESA algorithm.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.397-420
• /
• 2011

In this paper we study the structure of closed weakly dense ideals in Privalov spaces $N^p$ (1 < p < $\infty$) of holomorphic functions on the disk $\mathbb{D}$ : |z| < 1. The space $N^p$ with the topology given by Stoll's metric [21] becomes an F-algebra. N. Mochizuki [16] proved that a closed ideal in $N^p$ is a principal ideal generated by an inner function. Consequently, a closed subspace E of $N^p$ is invariant under multiplication by z if and only if it has the form $IN^p$ for some inner function I. We prove that if $\cal{M}$ is a closed ideal in $N^p$ that is dense in the weak topology of $N^p$, then $\cal{M}$ is generated by a singular inner function. On the other hand, if $S_{\mu}$ is a singular inner function whose associated singular measure $\mu$ has the modulus of continuity $O(t^{(p-1)/p})$, then we prove that the ideal $S_{\mu}N^p$ is weakly dense in $N^p$. Consequently, for such singular inner function $S_{\mu}$, the quotient space $N^p/S_{\mu}N^p$ is an F-space with trivial dual, and hence $N^p$ does not have the separation property.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.31 no.2
• /
• pp.1-11
• /
• 2003

The purpose of this study is to investigate how five winning design proposals for the Seoul City Hall Plaza Design Competition have shown the spatial characteristics by comparing and reviewing them. Each design proposal shown different approaches that reveal the spatial characteristics. Through scrutinizing these design proposals, some similar and different aspects among them were identified. In order to examine these aspects, the winning design proposals were analysed and compared based on five categories such as design concepts, main facilities, representation of historical images, spatial connection, and event programs. Gilles Deleuze explained the spatial characteristics as striated space and smooth space. Striated space could be defined as sedentary space. It is distant vision-optical space that has dimensional, metric, and centered characteristics, whereas smooth space is defined as nomadic, close vision-haptic space that has directional and acentered characteristics. This study focused on the analysis of spatial characteristics according to smooth space and striated space. Based on the analysis of the spatial characteristics according to the smooth and striated space, some design proposals shown more characteristics of striated space while other proposals shown more characteristics of smooth space. Those design proposals that shown more characteristics of smooth space reveal flexible or changeable shape and void space, whereas the others that shown more characteristics of striated space try to suggest apparent guidelines for the future use by retaining the idea of a plaza through the concrete shape. This study, which analyzed the winning design proposals based on the spatial characteristics according to the smooth and striated space, can be used to analyze the designs and could help to develop a new methodology with a different perspective. furthermore, it could provide practical and creative design strategies for landscape design.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.1
• /
• pp.107-117
• /
• 2004

A new algorithm for planning a collision-free path based on an algebraic curve as well as the concept of path space is developed. Robot path planning has so far been concerned with generating a single collision-free path connecting two specified points in a given robot workspace with appropriate constraints. In this paper, a novel concept of path space (PS) is introduced. A PS is a set of points that represent a connection between two points in Euclidean metric space. A geometry mapping (GM) for the systematic construction of path space is also developed. A GM based on the 2$^{nd}$ order base curve, specifically Bezier curve of order two is investigated for the construction of PS and for collision-free path planning. The Bezier curve of order two consists of three vertices that are the start, S, the goal, G, and the middle vertex. The middle vertex is used to control the shape of the curve, and the origin of the local coordinate (p, $\theta$) is set at the centre of S and G. The extreme locus of the base curve should cover the entire area of actual workspace (AWS). The area defined by the extreme locus of the path is defined as quadratic workspace (QWS). The interference of the path with obstacles creates images in the PS. The clear areas of the PS that are not mapped by obstacle images identify collision-free paths. Hence, the PS approach converts path planning in Euclidean space into a point selection problem in path space. This also makes it possible to impose additional constraints such as determining the shortest path or the safest path in the search of the collision-free path. The QWS GM algorithm is implemented on various computer systems. Simulations are carried out to measure performance of the algorithm and show the execution time in the range of 0.0008 ~ 0.0014 sec.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.725-742
• /
• 1996

In this paper we give some sharp expressions of the weakly convergent sequence coefficient WCS(X) of a Banach space X. They are used to prove fixed point theorems for involution mappings T from a weakly compact convex subset C of a Banach space X with WCS(X) > 1 into itself which $T^2$ are both of asymptotically nonexpansive type and weakly asymptotically regular on C. We also show that if X satisfies the semi-Opial property, then every nonexpansive mapping $T : C \to C$ has a fixed point. Further, some questions for asymtotically nonexpansive mappings are raised.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.2
• /
• pp.257-264
• /
• 1992

Since Alfsen and Effors [1] introduced the notion of an M-ideal, many authors [3,6,9,12] have worked on the problem of finding those Banach spaces X and Y for which K(X,Y), the space of all compact linear operators from X to Y, is an M-ideal in L(X,Y), the space of all bounded linear operators from X to Y. The M-ideal property of K(X,Y) in L(X,Y) gives some informations on X,Y and K(X,Y). If K(X) (=K(X,X)) is an M-ideal in L(X) (=L(X,X)), then X has the metric compact approximation property [5] and X is an M-ideal in $X^{**}$ [10]. If X is reflexive and K(X) is an M-ideal in L(X), then K(X)$^{**}$ is isometrically isomorphic to L(X)[5]. A weaker notion is a semi M-ideal. Studies on Banach spaces X and Y for which K(X,Y) is a semi M-ideal in L(X,Y) were done by Lima [9, 10].

• East Asian mathematical journal
• /
• v.40 no.1
• /
• pp.1-23
• /
• 2024

Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (𝜙, 𝜉, 𝜂, g) in a complex space form M_n+1(c). We denote by A, K and L the second fundamental forms with respect to the unit normal vector C, D and E respectively, where C is the distinguished normal vector, and by R_𝜉 = R(𝜉, ·)𝜉 the structure Jacobi operator. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a scalar 𝜃(≠ 2c) and any vector fields X and Y , and at the same time R_𝜉K = KR_𝜉 and ∇_{𝜙∇𝜉𝜉}R_𝜉 = 0. In this paper, we prove that if it satisfies ∇_𝜉R_𝜉 = 0 on M, then M is a real hypersurface of type (A) in M_n(c) provided that the scalar curvature $\bar{r}$ of M holds $\bar{r}-2(n-1)c{\leq}0$.