• 한국수학사학회지
• /
• 제23권3호
• /
• pp.57-73
• /
• 2010

초월수의 연구는 2000년 이상 수학자들을 괴롭혀 왔던 고대 그리스의 기하학 문제의 하나인 원적문제가 불가능하다는 것을 보여줌으로써 수학사의 중요한 분야임을 입증하였다. Liouville은 1844년에 처음으로 구체적인 초월수의 예를 제시하였고, 칸토어는 1874년에 초월수의 존재성을 증명하였다. Louville 정리는 많은 초월수를 만들어 낼 뿐 아니라 초월수의 존재성을 증명하는데 이용할 수 있다. 1873년에 Hermite가 자연로그의 밑수 e가 초월수임을 보이고, 1882년에 Lindemann이 원주율 $\pi$가 초월수임 증명하였다. 1934년에 Gelfond와 Schneider는 각각 힐버트의 7번째 문제에 대한 서로 다른 완전한 해를 찾았다. 1966년에 Baker는 Gelfond-Schneider 정리의 일반화된 결과를 증명하였다. 이 연구의 목적은 초월수의 개념과 발달과정을 살피고, 미해결 문제를 제시하여 초월수의 연구가 촉진되도록 후학들에게 연구 동기를 부여하고자 한다.

• 대한수학회보
• /
• 제26권2호
• /
• pp.169-173
• /
• 1989

Let V={(x,y,z):f=z$^{n}$ -npz+(n-1)q=0 for n .geq. 3} be a compled analytic subvariety of a polydisc in $C^{3}$ where p=p(x,y) and q=q(x,y) are holomorphic near (x,y)=(0,0) and f is an irreducible Weierstrass polynomial in z of multiplicity n. Suppose that V has an isolated singular point at the origin. Recall that the z-discriminant of f is D(f)=c(p$^{n}$ -q$^{n-1}$) for some number c. Suppose that D(f) is square-free. then we prove that by Theorem 2.1 .mu.(p$^{n}$ -q$^{n-1}$)=.mu.(f)-(n-1)+n(n-2)I(p,q)+1 where .mu.(f), .mu. p$^{n}$ -q$^{n-1}$are the corresponding Milnor numbers of f, p$^{n}$ -q$^{n-1}$, respectively and I(p,q) is the intersection number of p and q at the origin. By one of applications suppose that W$_{t}$ ={(x,y,z):g$_{t}$ =z$^{n}$ -np$_{t}$ $^{n-1}$z+(n-1)q$_{t}$ $^{n-1}$=0} is a smooth family of complex analytic varieties near t=0 each of which has an isolated singularity at the origin, satisfying that the z-discriminant of g$_{t}$ , that is, D(g$_{t}$ ) is square-free. If .mu.(g$_{t}$ ) are constant near t=0, then we prove that the family of plane curves, D(g$_{t}$ ) are equisingular and also D(f$_{t}$ ) are equisingular near t=0 where f$_{t}$ =z$^{n}$ -np$_{t}$ z+(n-1)q$_{t}$ =0.}$ =0.

• 한국통신학회논문지
• /
• 제21권1호
• /
• pp.251-268
• /
• 1996

In this paper, a higher-order feedforward neural network called ridge polynomial network (RPN) which shows good approximation capability for nonlnear continuous functions defined on compact subsets in multi-dimensional Euclidean spaces, is presented. This network provides more efficient and regular structure as compared to ordinary higher-order feedforward networks based on Gabor-Kolmogrov polynomial expansions, while maintating their fast learning property. the ridge polynomial network is a generalization of the pi-sigma network (PSN) and uses a specialform of ridge polynomials. It is shown that any multivariate polynomial can be exactly represented in this form, and thus realized by a RPN. The approximation capability of the RPNs for arbitrary continuous functions is shown by this representation theorem and the classical weierstrass polynomial approximation theorem. The RPN provides a natural mechanism for incremental function approximation based on learning algorithm of the PSN. Simulation results on several applications such as multivariate function approximation and pattern classification assert nonlinear approximation capability of the RPN.

• 대한수학회지
• /
• 제38권5호
• /
• pp.915-935
• /
• 2001

Let V be any valuation domain and let E be a subset of the quotient field K of V. We study the ring of integer-valued polynomials on E, that is, Int(E, V)={f$\in$K[X]｜f(E)⊆V}. We show that, if E is precompact, then Int(E, V) has many properties similar to those of the classical ring Int(Z).In particular, Int(E, V) is dense in the ring of continuous functions C(E, V); each finitely generated ideal of Int(E, V) may be generated by two elements; and finally, Int(E, V) is a Prufer domain.

• East Asian mathematical journal
• /
• 제27권4호
• /
• pp.381-389
• /
• 2011

The flexible mathematical thinking - the ability to generate and connect various representations of concepts - is useful in understanding mathematical structure and variation in problem solving. In particular, the flexible mathematical thinking with the inventive mathematical thinking, the original mathematical problem solving ability and the mathematical invention is a core concept, which must be emphasized in all branches of mathematical education. In this paper, the author considered a case of flexible mathematical thinking with an inventive problem solving ability shown by his student via real analysis courses. The case is on the proofs of the equivalences of three different definitions on the concept of limit superior shown in three different real analysis books. Proving the equivalences of the three definitions, the student tried to keep the flexible mathematical thinking steadily.

• 대한수학회보
• /
• 제50권4호
• /
• pp.1389-1413
• /
• 2013

In this paper, we consider several convolution sums, namely, $\mathcal{A}_i(m,n;N)$ ($i=1,2,3,4$), $\mathcal{B}_j(m,n;N)$ ($j=1,2,3$), and $\mathcal{C}_k(m,n;N)$ ($k=1,2,3,{\cdots},12$), and establish certain identities involving their finite products. Then we extend these types of product convolution identities to products involving Faulhaber sums. As an application, an identity involving the Weierstrass ${\wp}$-function, its derivative and certain linear combination of Eisenstein series is established.

• 대한수학회지
• /
• 제50권2호
• /
• pp.331-360
• /
• 2013

Let ${\sigma}_s(N)$ denote the sum of the sth powers of the positive divisors of a positive integer N and let $\tilde{\sigma}_s(N)={\sum}_{d|N}(-1)^{d-1}d^s$ with $d$, N, and s positive integers. Hahn [12] proved that $$16\sum_{k. In this paper, we give a generalization of Hahn's result. Furthermore, we find the formula ${\sum}_{k=1}^{N-1}\tilde{\sigma}_1(2^{n-m}k)\tilde{\sigma}_3(2^nN-2^nk)$ for $m(0{\leq}m{\leq}n)$.

• 한국지능시스템학회논문지
• /
• 제14권2호
• /
• pp.178-183
• /
• 2004

본 논문에서는 기존의 계층 퍼지 시스템에서 입력 변수로 사용되던 이전 계층의 출력값을 퍼지 규칙의 전건부에서는 사용하지 않고 후건부에서만 사용하는 계층 퍼지 시스템을 제안하였다. 또한 제안된 계층 퍼지 시스템을 구성할 때에 싱글톤 퍼지화기와 평균 중심법 비퍼지화기를 사용하는 경우에는 시스템 입력 변수의 멤버쉽 함수가 주어진 컴팩트 도메인 내에서 완전하기만 하다면, 임의의 연속 함수에 대하여 그에 해당하는 제안된 형태의 계층 퍼지 시스템이 존재한다는 것을 수학적으로 증명하였다.

• 대한수학교육학회지:학교수학
• /
• 제4권1호
• /
• pp.49-62
• /
• 2002

developed by solving practical problems and gradually formalized and abstracted. But school mathematics seemed to stress the formalized and abstracted mathematics. The same is the case with calculus. In particular, it appeared extremely in teaching of calculus. It caused hindrance of learning and indeed, many students had difficulties in teaming of calculus. Therefore this study investigates the various approaches of calculus teaching and the history of calculus which include approaches by Archimedes, Galileo, Newton, Leibniz and Weierstrass etc. This may offer the implication for calculus teaching and we can find the alternative on the method of calculus teaching in historico-genetic principle. Finally we suggest the direction of calculus teaching from this perspective in tile concrete.

• 대한수학회논문집
• /
• 제18권1호
• /
• pp.105-115
• /
• 2003

It is well known that there exists a regular branched covering map from T$^2$ onto $\={C}$ iff the ramification indices are (2,2,2,2), (2,4,4), (2,3,6) and (3,3,3). In this paper we construct (count-ably many) chaotic homeomorphisms induced by hyperbolic toral automorphism and regular branched covering map corresponding to the ramification indices (2,2,2,2). And we also gave an example which shows that the above construction of a chaotic map is not true in general if the ramification indices is (2,4,4) and also show that there are no chaotic homeomorphisms induced by hyperbolic toral automorphism and regular branched covering map corresponding to the ramification indices (2,3,6) and (3,3,3).