• Journal for History of Mathematics
• /
• v.26 no.5_6
• /
• pp.401-416
• /
• 2013

There has been increasing interest in recent years in the pedagogical importance of counter-examples that focuses on pedagogical perspectives. But there is no research that undergraduate students' generating counter-examples and proposing the true statements. This study analyze 6 undergraduate students' response to interview tasks and the process of their generating counter-examples and proposing true statements. The results of interviews are that the more undergraduate students generate various counter-examples, the more valid they propose true statements. If undergraduate students have invalid understanding of logical implication and generate only one counter-example, they would not propose true statements that modify the given statement, preserving the antecedent. In pre-service teacher's education and school mathematics class, we need to develop materials and textbooks about counter-examples and false statements.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.93-97
• /
• 1994

Previously T.Porter [3] has given a relative Chinese Remainder Theorem under the hypothesis that given ring R has at least one .tau.-closed maximal ideal (by his notation Ma $x_{\tau}$(R).neq..phi.). In this short paper we drop his overall hypothesis that Ma $x_{\tau}$(R).neq..phi. and give the proof and some related results with this Theorem. In this paper R will always denote a commutative ring with identity element and all modules will be unitary left R-modules unless otherwise specified. Let .tau. be a given hereditarty torsion theory for left R-module category R-Mod. The class of all .tau.-torsion left R-modules, dented by J is closed under homomorphic images, submodules, direct sums and extensions. And the class of all .tau.-torsionfree left R-modules, denoted by F, is closed under taking submodules, injective hulls, direct products, and isomorphic copies ([2], Proposition 1.7 and 1.10).

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.693-704
• /
• 2012

We consider Weierstrass functions and divisor functions arising from $q$-series. Using these we can obtain new identities for divisor functions. Farkas [3] provided a relation between the sums of divisors satisfying congruence conditions and the sums of numbers of divisors satisfying congruence conditions. In the proof he took logarithmic derivative to theta functions and used the heat equation. In this note, however, we obtain a similar result by differentiating further. For any $n{\geq}1$, we have $$k{\cdot}{\tau}_{2;k,l}(n)=2n{\cdot}E_{\frac{k-l}{2}}(n;k)+l{\cdot}{\tau}_{1;k,l}(n)+2k{\cdot}{\sum_{j=1}^{n-1}}E_{\frac{k-1}{2}(j;k){\tau}_{1;k,l}(n-j)$$. Finally, we shall give a table for $E_1(N;3)$, ${\sigma}(N)$, ${\tau}_{1;3,1}(N)$ and ${\tau}_{2;3,1}(N)$ ($1{\leq}N{\leq}50$) and state simulation results for them.

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.591-602
• /
• 2020

There is a well-known class of compact, complex, non-Kählerian manifolds constructed by Bosio, called the LVMB manifolds, which properly includes the Hopf manifold, the Calabi-Eckmann manifold, and the LVM manifolds. As in the case of LVM manifolds, these LVMB manifolds can admit a regular holomorphic foliation 𝓕. Moreover, later Meersseman showed that if an LVMB manifold is actually an LVM manifold, then the regular holomorphic foliation 𝓕 is actually transverse Kähler. The aim of this paper is to deal with a converse question and to give a simple and new proof of a well-known result of Cupit-Foutou and Zaffran. That is, we show that, when the holomorphic foliation 𝓕 on an LVMB manifold N is transverse Kähler with respect to a basic and transverse Kähler form and the leaf space N/𝓕 is an orbifold, N/𝓕 is projective, and thus N is actually an LVM manifold.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.311-319
• /
• 2009

Let H be a Hilbert space which is the direct sum of five closed subspaces $X_0,\;X_1,\;X_2,\;X_3$ and $X_4$ with $X_1,\;X_2,\;X_3$ of finite dimension. Let J be a $C^{1,1}$ functional defined on H with J(0) = 0. We show the existence of at least four nontrivial critical points when the sublevels of J (the torus with three holes and sphere) link and the functional J satisfies sup-inf variational inequality on the linking subspaces, and the functional J satisfies $(P.S.)^*_c$ condition and $f|X_0{\otimes}X_4$ has no critical point with level c. For the proof of main theorem we use the nonsmooth version of the classical deformation lemma and the limit relative category theory.

• Honam Mathematical Journal
• /
• v.31 no.2
• /
• pp.233-237
• /
• 2009

In this paper, we show that: (1) every strongly ${\omega}$-monolithic space X with countable fan-tightness is Fr$\'{e}$chet-Urysohn; (2) a direct proof of that X is Lindel$\"{o}$f when $C_p$(X) is Fr$\'{e}$chet-Urysohn; and (3) X is Lindel$\"{o}$f when X is paraLindel$\"{o}$f and $C_p$(X) is AP. (3) is a generalization of the result of [8]. And we give two questions related to Fr$\'{e}$chet-Urysohn and AP properties on $C_p$(X).

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.129-135
• /
• 2012

The aim of this paper is to establish the well-known and very useful classical Saalsch$\ddot{u}$tz's theorem for the series $_3F_2$(1) by following a different method. In addition to this, two summation formulas closely related to the Saalsch$\ddot{u}$tz's theorem have also been obtained. The results established in this paper are further utilized to show how one can obtain certain known and useful hypergeometric identities for the series $_3F_2$(1) and $_4F_3(1)$ already available in the literature.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.439-448
• /
• 1994

It is known that the steepest descent(SD) method and the conjugate gradient(CG) method [1, 2, 5, 6] converge when these methods are applied to solve linear systems of the form Ax = b, where A is symmetric and positive definite. For some finite difference discretizations of elliptic problems, one gets positive definite matrices that are almost symmetric. Practically, the SD method and the CG method work for these matrices. However, the convergence of these methods is not guaranteed theoretically. The SD method is also called Orthores(1) in iterative method papers. Elman [4] states that the convergence proof for Orthores($\kappa$), with $\kappa$ a positive integer, is not heard. In this paper, we prove that the SD method and the CG method converge when the $\iota$$^2$ matrix norm of the non-symmetric part of a positive definite matrix is less than some value related to the smallest and the largest eigenvalues of the symmetric part of the given matrix.(omitted)

• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.4
• /
• pp.437-445
• /
• 2008

We show the existence of at least four nontrivial critical points of the $C^{1,1}$ functional f on the Hilbert space $H=X_0{\oplus}X_1{\oplus}X_2{\oplus}X_3{\oplus}X_4$, $X_i$, i = 0, 1, 2, 3 are finite dimensional, with f(0) = 0 when two sublevel subsets, torus with three holes and sphere, of f link, the functional f satisfies sup-inf variatinal linking inequality on the linking subspaces, the functional f satisfies $(P.S.)_c$ condition, and $f{\mid}_{X_0{\oplus}X_4}$ has no critical point with level c. We use the deformation lemma, the relative category theory and the critical point theory for the proof of main result.

• East Asian mathematical journal
• /
• v.32 no.2
• /
• pp.193-215
• /
• 2016

There are three subjects in the study. First, after investigating the development process of the method of infinite descent and the reduction to absurdity, we prove them to be equivalent each other. Second, we apply the method of infinite descent to some problems in textbook and compare it with the reduction to absurdity. Finally, we discuss on teaching proofs with the method of infinite descent.