• 천문학회지
• /
• 제46권3호
• /
• pp.97-102
• /
• 2013

In the present work, we prove the validity of two theorems on null-paths in a version of absolute parallelismgeometry. A version of these theorems has been originally established and proved by Kermak, McCrea and Whittaker (KMW) in the context of Riemannian geometry. The importance of such theorems lies in their applications to derive a general formula for the redshift of spectral lines coming from distant objects. The formula derived in the present work can be applied to both cosmological and astrophysical redshifts. It takes into account the shifts resulting from gravitation, different motions of the source of photons, spin of the moving particle (photons) and the direction of the line of sight. It is shown that this formula cannot be derived in the context of Riemannian geometry, but it can be reduced to a formula given by KMW under certain conditions.

• 대한수학회지
• /
• 제33권1호
• /
• pp.25-29
• /
• 1996

The Debreu-Gale-Nikaido theorem [2] is a potential tool to prove the existence of a market equilibrium price. Walras' law is of a quantitative nature (i.e. it measures the value of the total excess demand), and it is interesting to note that the existence result holds true under some qualitative assumptions. In fact, the Debreu-Gale-Nikaido theorem states that the continuity of the excess demand function and Walras' law has the following implication : For some price and corresponding value of the excess demand function, it is not possible to respond with a new price system such that the value at the new price of every element in the value of the demand function associated with the old price system is strictly positive.

• 대한수학회논문집
• /
• 제27권1호
• /
• pp.47-56
• /
• 2012

In this article, we continue the study of tense symmetric Heyting algebras (or TSH-algebras). These algebras constitute a generalization of tense algebras. In particular, we describe a discrete duality for TSH-algebras bearing in mind the results indicated by Or lowska and Rewitzky in [E. Orlowska and I. Rewitzky, Discrete Dualities for Heyting Algebras with Operators, Fund. Inform. 81 (2007), no. 1-3, 275-295] for Heyting algebras. In addition, we introduce a propositional calculus and prove this calculus has TSH-algebras as algebraic counterpart. Finally, the duality mentioned above allowed us to show the completeness theorem for this calculus.

• 대한수학회지
• /
• 제45권2호
• /
• pp.377-392
• /
• 2008

Let X be a real reflexive Banach space with a uniformly $G\hat{a}teaux$ differentiable norm, C a nonempty closed convex subset of X, T : C $\rightarrow$ X a continuous pseudocontractive mapping, and A : C $\rightarrow$ C a continuous strongly pseudocontractive mapping. We show the existence of a path ${x_t}$ satisfying $x_t=tAx_t+(1- t)Tx_t$, t $\in$ (0,1) and prove that ${x_t}$ converges strongly to a fixed point of T, which solves the variational inequality involving the mapping A. As an application, we give strong convergence of the path ${x_t}$ defined by $x_t=tAx_t+(1-t)(2I-T)x_t$ to a fixed point of firmly pseudocontractive mapping T.

• 대한수학회지
• /
• 제57권3호
• /
• pp.793-807
• /
• 2020

Stable range of rings is a unifying concept for problems related to the substitution and cancellation of modules. The newly appeared element-wise setting for the simplest case of stable range one is tempting to study the lifting property modulo ideals. We study the lifting of elements having (idempotent) stable range one from a quotient of a ring R modulo a two-sided ideal I by providing several examples and investigating the relations with other lifting properties, including lifting idempotents, lifting units, and lifting of von Neumann regular elements. In the case where the ring R is a left or a right duo ring, we show that stable range one elements lift modulo every two-sided ideal if and only if R is a ring with stable range one. Under a mild assumption, we further prove that the lifting of elements having idempotent stable range one implies the lifting of von Neumann regular elements.

• 대한수학회논문집
• /
• 제24권1호
• /
• pp.127-144
• /
• 2009

Let f be a diffeomorphism of a compact $C^{\infty}$ manifold, and let p be a hyperbolic periodic point of f. In this paper we introduce the notion of $C^1$-stable inverse shadowing for a closed f-invariant set, and prove that (i) the chain recurrent set $\cal{R}(f)$ of f has $C^1$-stable inverse shadowing property if and only if f satisfies both Axiom A and no-cycle condition, (ii) $C^1$-generically, the chain component $C_f(p)$ of f associated to p is hyperbolic if and only if $C_f(p)$ has the $C^1$-stable inverse shadowing property.

• 대한수학회지
• /
• 제47권5호
• /
• pp.1001-1015
• /
• 2010

Let M be a $C^{\infty}$ real hypersurface in $\mathbb{C}^{n+1}$, $n\;{\geq}\;1$, locally given as the zero locus of a $C^{\infty}$ real valued function r that is defined on a neighborhood of the reference point $P\;{\in}\;M$. For each k = 1,..., n we present a necessary and sufficient condition for there to exist a complex manifold of dimension k through P that is contained in M, assuming the Levi form has rank n - k at P. The problem is to find an integral manifold of the real 1-form $i{\partial}r$ on M whose tangent bundle is invariant under the complex structure tensor J. We present generalized versions of the Frobenius theorem and make use of them to prove the existence of complex submanifolds.

• 대한수학회논문집
• /
• 제28권3호
• /
• pp.425-432
• /
• 2013

Let S be a minimal surface of general type with $p_g(S)=q(S)=0$ having an involution ${\sigma}$ over the field of complex numbers. It is well known that if the bicanonical map ${\varphi}$ of S is composed with ${\sigma}$, then the minimal resolution W of the quotient $S/{\sigma}$ is rational or birational to an Enriques surface. In this paper we prove that the surface W of S with $K^2_S=5,6,7,8$ having an involution ${\sigma}$ with which the bicanonical map ${\varphi}$ of S is composed is rational. This result applies in part to surfaces S with $K^2_S=5$ for which ${\varphi}$ has degree 4 and is composed with an involution ${\sigma}$. Also we list the examples available in the literature for the given $K^2_S$ and the degree of ${\varphi}$.

• 한국경영과학회지
• /
• 제19권1호
• /
• pp.1-16
• /
• 1994

In this paper, we try to raise the efficiency of PCB production by improving automated inserting process. This process is composed of part inserting sequence and feeder allocation problem. Until now, this problem is formulated by Traveling Salesman Problem (TSP) or Rural Postman Problem. They concerted more on parts(chips) inserting. But in this paper, we concentrate on Feeder. We formulate 0-1 Integer program (MP2) easier than TSP. This program can be solved by using LP Package (i. e. LINDO, GAMS etc). We propose Heuristic algorithm ISFA which guarantees a local optimum and often gives solution. We give some examples to prove ISFA algorithm.

• Journal of the Korean Statistical Society
• /
• 제28권2호
• /
• pp.235-251
• /
• 1999

In this paper we examine extremal behavior of a $textsc{k}$th-order stationary Markov chain {X\ulcorner} by considering excesses over a high level which typically appear in clusters. Excesses over a high level within a cluster define a cluster damage, i.e., a normalized sum of all excesses within a cluster, and all excesses define a damage point process. Under some distributional assumptions for {X\ulcorner}, we prove convergence in distribution of the cluster damage and obtain a representation for the limiting cluster damage distribution which is well suited for simulation. We also derive formulas for the mean and the variance of the limiting cluster damage distribution. These results guarantee a compound Poisson limit for the damage point process, provided that it is strongly mixing.