• Bulletin of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.437-456
• /
• 2003

In this paper we use a generalized Brownian motion process to define a generalized analytic Feynman integral. We then establish a Fubini theorem for the function space integral and generalized analytic Feynman integral of a functional F belonging to Banach algebra $S(L^2_{a,b}[0,T])$ and we proceed to obtain several integration formulas. Finally, we use this Fubini theorem to obtain several Feynman integration formulas involving analytic generalized Fourier-Feynman transforms. These results subsume similar known results obtained by Huffman, Skoug and Storvick for the standard Wiener process.

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.487-493
• /
• 2008

A. Di Nola & S.Sessa [8] showed that two compact spaces X and Y are homeomorphic iff the MV -algebras C(X, I) and C(Y, I) of continuous functions defined on X and Y respectively are isomorphic. And they proved that A is a semisimple MV -algebra iff A is a subalgebra of C(X) for some compact Hausdorff space X. In this paper, firstly by use of functorial argument, we show these characterization theorems. Furthermore we obtain some other functorial results between topological spaces and MV -algebras. Secondly as a classical problem, we find a necessary and sufficient condition on a given residuated l-monoid that it is segmenently embedded into an l-group with order unit.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.137-143
• /
• 1992

The purpose of this paper is to provide the affirmative solution of the following conjecture due to Davis and Geramita. Conjecture; Let A=R[T] be a polynomial ring in one variable, where R is a regular local ring of dimension d. Then maximal ideals in A are complete intersection. Geramita has proved that the conjecture is true when R is a regular local ring of dimension 2. Whatwadekar has rpoved that conjecture is true when R is a formal power series ring over a field and also when R is a localization of an affine algebra over an infinite perfect field. Nashier also proved that conjecture is true when R is a local ring of D[ $X_{1}$,.., $X_{d-1}$] at the maximal ideal (.pi., $X_{1}$,.., $X_{d-1}$) where (D,(.pi.)) is a discrete valuation ring with infinite residue field. The methods to establish our results are following from Nashier's method. We divide this paper into three sections. In section 1 we state Theorems without proofs which are used in section 2 and 3. In section 2 we prove some lemmas and propositions which are used in proving our results. In section 3 we prove our main theorem.eorem.rem.

• Bulletin of the Korean Mathematical Society
• /
• v.28 no.2
• /
• pp.175-180
• /
• 1991

In [3], [4] and [5], Hochster and Huneke introduced the notions of the tight closure of an ideal and of the weak F-regularity of a ring. This notion enabled us to give new proofs of many results in commutative algebra. A regular ring is known to be F-regular, and a Gorenstein local ring is proved to be F-regular provided that one ideal generated by a system of parameters (briefly s.o.p.) is tightly closed. In fact, a Gorenstein local ring is weakly F-regular if and only if there exists a system of parameters ideal which is tightly closed [3]. But we do not know whether this fact is true or not if a ring is not Gorenstein, in particular, a ring is a Cohen Macaulay (briefly C-M) local ring. In this paper, we will prove this in the case of an 1-dimensional C-M local ring. For this, we study the F-rationality and the normality of the ring. And we will also prove that a C-M local ring is to be Gorenstein under some additional condition about the tight closure.

• Journal for History of Mathematics
• /
• v.30 no.3
• /
• pp.137-162
• /
• 2017

The Chinese algebraic method, the tian yuan shu, was developed during Song period (960-1279), of which Li Ye's works contain the earliest testimony. Two 18th century editors commentated on his works: the editor of the Siku quanshu and Li Rui, the latter responding to the former. Korean scholar Nam Byeong-gil added another response in 1855. Differences can be found in the way these commentators considered mathematical objects and procedures. The conflicting nature of these commentaries shows that the same object, the quadratic equation, can beget different interpretations, either a procedure or an assertion of equality. Textual elements in this paper help modern readers reconstruct different authors' understandings and reconsider the evolution of the definition of the object we now call 'equation'.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.517-528
• /
• 2011

Cameron and Storvick introduced change of scale formulas for Wiener integrals of bounded functions in the Banach algebra $\mathcal{S}$ of analytic Feynman integrable functions on classical Wiener space. Yoo and Skoug extended this result to an abstract Wiener space. Also Yoo, Song, Kim and Chang established a change of scale formula for Wiener integrals of functions on abstract Wiener space which need not be bounded or continuous. In this paper, we investigate a change of scale formula for generalized Wiener integrals of various functions on classical Wiener space.

• School Mathematics
• /
• v.9 no.1
• /
• pp.141-160
• /
• 2007

The purpose of this paper was to evaluate how students apply prior knowledge or experience in solving algebra word problems from the chain of signification-based perspective. Three middle school students were evaluated in this case study. The results showed that the subjects formed similarities in the process of applying knowledge needed for solving a problem. The student A and C used semi-open-end formulas and closed formulas as solutions. They then formed concrete shape for each solution using the chain of signification that was applied for solution by forming procedural similarity. At this time, the chain of signification could be the combination of numbers, words, and pictures (such as diagrams or graphs) or just numbers or words. On the other hand, the student C who recognized closed formulas and her own rule as a solution method could not formulate completely procedural similarity due to many errors arising from number information. Nonetheless, all of the subjects showed something in common in the process of coming up with a algorithm that was semi-open-end formula or closed formula.

• Journal of Korean Ophthalmic Optics Society
• /
• v.9 no.2
• /
• pp.481-489
• /
• 2004

Poly(triazine bissulfide)s were synthesized from 6-dibutylamino-1,3,5-triazine-2,4-dithiol with bis(4-chloro-3-nitrophenyl)sulfone in the presence of the phase transfer catalyst, and from m-dibromide xylene and p-dibromide xylene with 6-dibutylamino-1,3,5-triazine-2,4-dithiol in the presence of cetyltrimethyl ammonium bromide at $70^{\circ}C$ for 24h. We could acquire the good results about solubility, thermal property, and molecular weight to make cast film. These results are important as base for the synthesis of functionalization polymer material being optical plastic material. The maximum algebra viscosity was 0.57~1.40dl/g at the temperature more than $50{\sim}60^{\circ}C$.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.565-570
• /
• 1994

In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.731-737
• /
• 1994

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measures on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$- algebras of F. If $r > 0$, let $J = [-r, 0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert_C = sup_{s \in J} $\mid$\gamma(x)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E and F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$ with the norm $\Vert T \Vert = sup {$\mid$T(x)$\mid$_F : x \in E, $\mid$x$\mid$_E \leq 1}$.