• 대한수학회지
• /
• 제49권3호
• /
• pp.449-473
• /
• 2012

In the present paper, we study the relationship between continuous order-representability and the fulfillment of the usual covering properties on topological spaces. We also consider the case of some algebraic structures providing an application of our results to the social choice theory context.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제25권2호
• /
• pp.473-495
• /
• 2011

중등학교 전반에 걸쳐 항등원, 역원, 교환법칙, 결합법칙, 분배법칙이 다루어지고 있다. 이는 대수적 구조의 조장으로 이들익 성립 여부에 따라 군, 환, 체로 결정되게 된다. 그런데 이을 대수적 구조의 조건들은 어떤 의미를 가지며, 이들 조건들이 만족됨에 따라 정해지는 대수적 구조는 어떤 의미를 가지는지 의외에 대한 지도는 이루어지고 있지 않다. 그로인해 학생들은 이들 조건을 대상 집합의 특성이라는 결과적 측면으로 받아들이고 있다. 본 연구에서는 수 체계와 다항방정식의 해법과의 연결성을 고려하여 이러한 조건들파 대수적 구조의 의의를 교수학적으로 조직화하기로 한다. 교수학적 조직화란 학습자의 자연스러운 사고활동을 위한 모델을 구성하는 것으로 역사적 발생과 함께 현대수학의 관점을 고려하여 수학적 개념이 필연성과 개연성을 가진 산물임을 경험시키도록 흐름을 구성하는 것이다. 이를 위해 본 연구에서는 다항방정식의 해법을 보장하기 위한 수학적 개념으로 대수적 구조를 파악하고, 수 체계의 의미를 지도하는 영재교육을 위한 프로그램을 개발하였다. 그리고 이를 교수실험 하여 그 효용성을 알아보았다.

• 논리연구
• /
• 제17권3호
• /
• pp.441-461
• /
• 2014

이 글에서 우리는 3치 초일관 논리를 위한 한 종류의 크립키형 의미론 즉 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개하고 그에 상응하는 대수를 정의한 후 이 두 체계가 대수적으로 완전하다는 것을 보인다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관짓는다.

• 한국학교수학회논문집
• /
• 제8권3호
• /
• pp.367-382
• /
• 2005

본 연구는 학교수학에서 대수적 구조(군)의 지도에 관한 논의를 담고 있다. 이를 위해 먼저 Bruner가 제시한 지식의 구조에 대해 논의하고, 그 내용을 학교대수의 지도와 관련지어 살펴본다. 또한 대수적 구조 가운데 군 개념을 중심으로 하여 이와 관련된 선행연구를 Piaget, Freudenthal, Dubinsky, Burn 등의 논의에서 검토해본다. 그리고 초등수학에서부터 고등학교 수학까지 군 개념과 관련된 내용이 어떻게 표현되고 있는지를 살펴본다. 학교수학에서 군 개념과 관련된 내용은 초등수학에서부터 시작되는데, 초등수학의 경우 항등원, 교환법칙, 결합법칙 등을 수의 맥락에서 찾아볼 수 있다. 중학교 수학에서는 덧셈과 곱셈 연산에 있어서 항등원, 역원, 교환법칙, 결합법칙이 보다 구체적으로 제시되고 있으며, 이러한 규칙은 등식의 성질과 이항, 일차방정식의 풀이 등을 통해 살펴볼 수 있다. 고등학교 수학에서는 이항연산을 비롯한 여러 영역에서 군 개념을 포함하는 대수적 구조가 제시되고 있다. 이에 비해 학교대수에서는 이러한 주제들을 통합적으로 구성하려는 시도가 이루어지지 않고 있으며 각각의 내용이 독립적으로 다루어지고 있다. 본 연구에서는 학교대수에서 군 개념과 관련된 내용들을 검토함으로써 대수적구조(군) 측면에서 이러한 내용들을 종합해보고자 한다.

• 논리연구
• /
• 제17권1호
• /
• pp.181-196
• /
• 2014

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 대한수학회지
• /
• 제31권4호
• /
• pp.569-608
• /
• 1994

The subject matter of this survey has to do with holomorphic maps from a compact Riemann surface to projective space, which are also called algebrac curves; the theory we survey lies at the crossroads of function theory, projective geometry, and commutative algebra (although we should mention that the present survey de-emphasizes the algebraic aspect). Algebraic curves have been vigorously and continuously investigated since the time of Riemann. The reasons for the preoccupation with algebraic curves amongst mathematicians perhaps have to do with-other than the usual usual reason, namely, the herd mentality prompting us to follow the leads of a few great pioneering methematicians in the field-the fact that algebraic curves possess a certain simple unity together with a rich and complex structure. From a differential-topological standpoint algebraic curves are quite simple as they are neatly parameterized by a single discrete invariant, the genus. Even the possible complex structures of a fixed genus curve afford a fairly complete description. Yet there are a multitude of diverse perspectives (algebraic, function theoretic, and geometric) often coalescing to yield a spectacular result.

• 논리연구
• /
• 제15권2호
• /
• pp.207-222
• /
• 2012

이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계를 소개하고 그에 상응하는 FR-대수를 정의한 후 FR이 대수적으로 완전하다는 것을 보인다. 다음으로 FR을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다. 마지막으로 이러한 의미론이 R에는 적용될 수 없다는 점을 보인다.

• Kyungpook Mathematical Journal
• /
• 제53권4호
• /
• pp.639-646
• /
• 2013

We investigate the stability of orthogonally additive set-valued functional equation $$F(x+y)=F(x)+F(y)(x{\perp}y)$$ in Hausdorff topology on closed convex subsets of a Banach space.

• 대한수학회논문집
• /
• 제36권3호
• /
• pp.623-639
• /
• 2021

We define a new algebraic structure called Legendrian racks or racks with Legendrian structure, motivated by the front-projection Reidemeister moves for Legendrian knots. We provide examples of Legendrian racks and use these algebraic structures to define invariants of Legendrian knots with explicit computational examples. We classify Legendrian structures on racks with 3 and 4 elements. We use Legendrian racks to distinguish certain Legendrian knots which are equivalent as smooth knots.

• Kyungpook Mathematical Journal
• /
• 제56권1호
• /
• pp.1-27
• /
• 2016

We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from 3-Lie algebras are provided. We also describe ternary distributive algebraic structures coming from groups and give examples from vector spaces whose bases are elements of a finite ternary distributive set. We introduce a cohomology theory that is analogous to Hochschild cohomology and relate it to a formal deformation theory of these structures.