• Honam Mathematical Journal
• /
• v.9 no.1
• /
• pp.1-6
• /
• 1987

• The Mathematical Education
• /
• v.49 no.2
• /
• pp.161-174
• /
• 2010

The purpose of the study is to analyze various types of errors appeared in true-false proof problems of matrix and to find out correction method. In order to achieve this purpose, error test was conducted to the subject of 87 second grade students who were chosen from D high schoool. It was shown from this test that the most frequent error type was caused by the lack of understanding about concepts and essential facts of matrix(35.3%), and then caused by the invalid logically reasoning (27.4%), and then caused by the misusing conditions(18.7%). Through three hours of correction lessons with 5 students, the following correction teaching method was proposed. First, it is stressed that the operation rules and properties satisfied in real number system can not be applied in matrix. Second, it is taught that the analytical proof method and the reductio ad absurdum method are useful in the proof problem of matrix. Third, it is explained that the counter example of E=$\begin{pmatrix}1\;0\\0\;1 \end{pmatrix}$, -E should be found in proof of the false statement. Fourth, it is taught that the determinant condition should be checked for the existence of the inverse matrix.

• Communications of Mathematical Education
• /
• v.28 no.4
• /
• pp.513-528
• /
• 2014

This study is intended to examine 36 in-service secondary school mathematics teachers' conceptions of proof in the context of mathematics and mathematics education. The results suggest that almost teachers recognize the role as justification well but have the insufficient conceptions about another various roles of proof in mathematics. The results further suggest that many of teachers have vague concept-images in relation with the requirement of proof and recognize the insufficiency about the actual teaching of proof. Based on the results, implications for revision of mathematics curriculum and mathematics teacher education are discussed.

• Journal of Educational Research in Mathematics
• /
• v.14 no.3
• /
• pp.239-266
• /
• 2004

This article presents new perspectives for analysing and diagnosing students' mathematical errors on the basis of Pascaul-Leone's neo-Piagetian theory. Although Pascaul-Leone's theory is a cognitive developmental theory, its psychological mechanism gives us new insights on mathematical errors. We analyze mathematical errors in the domain of proof problem solving comparing Pascaul-Leone's psychological mechanism with mathematical errors and diagnose misleading factors using Schoenfeld's levels of analysis and structure and fuzzy cognitive map(FCM). FCM can present with cause and effect among preconceptions or misconceptions that students have about prerequisite proof knowledge and problem solving. Conclusions could be summarized as follows: 1) Students' mathematical errors on proof problem solving and LC learning structures have the same nature. 2) Structures in items of students' mathematical errors and misleading factor structures in cognitive tasks affect mental processes with the same activation mechanism. 3) LC learning structures were activated preferentially in knowledge structures by F operator. With the same activation mechanism, the process students' mathematical errors were activated firstly among conceptions could be explained.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.19-25
• /
• 2004

In our previous paper (Bull. Korean Math. Soc. 37(2000), 493-505), we claimed a theorem on a certain subset of a projective space over a finite field (Theorem 3.1). Recently, however, Professor Kato pointed out that our proof does not work if the field consists of two elements. Here we give an alternative proof of the theorem for the exceptional case.

• Journal of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.917-931
• /
• 2013

It is known that being hierarchical is a necessary and sufficient condition for a poset to admit MacWilliams identity. In this paper, we completely characterize the structures of posets which have an association scheme structure whose relations are indexed by the poset distance between the points in the space. We also derive an explicit formula for the eigenmatrices of association schemes induced by such posets. By using the result of Delsarte which generalizes the MacWilliams identity for linear codes, we give a new proof of the MacWilliams identity for hierarchical linear poset codes.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.1
• /
• pp.119-130
• /
• 2000

We give alternative proof of the existence theorem for certain elliptic systems describing competing interactions with nonlinear di usion. The existence of positive solution depends on the sign of the principal eigenvalue of suitable operators of Schr$\ddot{o}$dinger type. If the sign of such operators are both positive, then system has a positive solution. The main tool employed is the fixed point index of compact operator on positive cones.

• Communications of the Korean Mathematical Society
• /
• v.11 no.2
• /
• pp.495-501
• /
• 1996

There is currently a regain of interest in ADI (Alternating Direction Implicit) method as a preconditioner for iterative Method for solving large sparse linear systems, because of its suitability for parallel computation. However the classical ADI is not applicable to FE(Finite Element) matrices. In this paper wer propose a Block-ADI method, which is applicable to Finite Element metrices. The new approach is a combination of classical ADI method and domain decompositi on. Also, we provide a partial proof of the convergence based on the results from the regular splittings, in case the discretization metrix is symmetric positive definite.

• Journal of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.591-615
• /
• 2004

In this paper, we provide the algebraic foundations to the theory of relative $\ell$$_1$ homology. In particular, we prove that $\ell$$_1$ homology of topological spaces, both for the absolute case and for the relative case, depends only on their fundamental groups. We also provide a .proof of Gromov's Equivalence theorem for $\ell$$_1$ homology, stated by Gromov without proof [4].

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.915-928
• /
• 2013

In this paper, we will provide an alternative proof to characterize the pointwise multipliers which maps a Sobolev space $\dot{H}^r(\mathb{R}^d)$ to its dual $\dot{H}^{-r}(\mathb{R}^d)$ in the case 0 < $r$ < $\frac{d}{2}$ by a simple application of the definition of fractional Sobolev space. The proof relies on a method introduced by Maz'ya-Verbitsky [9] to prove the same result.