• 충청수학회지
• /
• 제17권2호
• /
• pp.205-218
• /
• 2004

• 한국수학사학회지
• /
• 제21권4호
• /
• pp.61-78
• /
• 2008

이 연구에서는 대수 발달의 단계에 관한 드모르간의 관점을 그가 사용한 용어를 바탕으로 산술, 보편산술, 기호대수, 의미적 대수의 순서로 나누어 논의한다. 드모르간은 즉각적으로 계산 결과를 얻는 산술과 문자기호를 사용하는 보편산술을 구분하였다. 그에 의하면, 보편산술은 산술에서 대수로 이행하는 과도기적 단계인 바, 이 단계에서 이상하고 불합리한 현상들이 발생하기에 대수가 필요하게 된다. 대수 발달의 단계에 관해 드모르간이 가진 관점의 특징은 기호의 의미가 사라진 규칙 체계 즉, 기호적 계산법을 얻은 후, 이 기호적 계산법 자체를 논리적으로 만들기 위해 기호에 확장된 의미를 부여하여 의미적 계산법으로 만든다는 것이다. 단일대수는 -1에 확장된 의미를 부여함으로써 만들어지고, 이중대수는 $\sqrt{-1}$에 확장된 의미를 부여함으로써 만들어진다. 드모르간에 의하면, 대수 발달에서는 앞에서 제시된 체계의 불완전성에 주목하여 다음 체계를 이끌어낸다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제23권2호
• /
• pp.399-428
• /
• 2009

2007년 개정교육과정은 대수의 도입 시기를 초등으로 앞당기고 있다. 최근의 연구결과들로부터 볼 때 초등수학 수준에서 대수를 도입할 때 패턴의 일반화를 이용하는 것은 타당한 과정으로 판단된다. 초등학교 6학년 학생들이 패턴의 일반화과정 학습에서 대수를 도입하는 것이 가능한지 그리고 어떤 효과가 있는지, 초등학교 6학년 학생들의 패턴의 일반화 과정은 어떠한지에 대한 연구가 보완되어야 할 필요가 있다. 본 연구는 초등학교 5학년들에게 패턴을 일반화하여 대수를 도입하고 지도하고 그 과정에서 나타나는 일반화 과정의 특징과 학생들이 겪는 어려움을 분석하였다. 이를 통하여 패턴의 일반화를 지도하거나 패턴에 기초한 대수 교육과정을 개발할 때 시사점을 얻고 교수학습 자료 개발에 대한 정보를 제공하고자 한다.

• Korean Journal of Mathematics
• /
• 제22권1호
• /
• pp.91-121
• /
• 2014

Let X and Y be vector spaces. It is shown that a mapping $f:X{\rightarrow}Y$ satisfies the functional equation ${\ddag}$ $$2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^jx_j}{2d})-2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^{j+1}x_j}{2d})=2\sum_{j=2}^{2d}(-1)^jf(x_j)$$ if and only if the mapping $f:X{\rightarrow}Y$ is additive, and prove the Cauchy-Rassias stability of the functional equation (${\ddag}$) in Banach modules over a unital $C^*$-algebra, and in Poisson Banach modules over a unital Poisson $C^*$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras. As an application, we show that every almost homomorphism $h:\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h(d^nuy)=h(d^nu)h(y)$ or $h(d^nu{\circ}y)=h(d^nu){\circ}h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and n = 0, 1, 2, ${\cdots}$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras, and of Lie $JC^*$-algebra derivations in Lie $JC^*$-algebras.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제7권2호
• /
• pp.115-119
• /
• 2007

The notion of ideals in subtraction algebras and characterizations of ideals introduced by Y.B.Jun et al. [?]. Using this idea, we consider the fuzzification of an ideal of a subtraction algebra. In this paper, we define the concept of a fuzzy ideal of a subtraction algebra and study characterizations of a fuzzy ideal. We give some conditions to show that a fuzzy set in a subtraction algebra is a fuzzy ideal of a subtraction algebra. We investigate the generalization of some properties of a fuzzy ideal of a subtraction algebra.

• 충청수학회지
• /
• 제10권1호
• /
• pp.127-139
• /
• 1997

The spherical non-commutative $\mathbb{S}_{\omega}$ were defined in [2,3]. Assume that no non-trivial matrix algebra can be factored out of the $\mathbb{S}_{\omega}$, and that the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus with a matrix algebra $M_k(\mathbb{C})$. It is shown that the tensor product of the spherical non-commutative torus $\mathbb{S}_{\omega}$ with the even Cuntz algebra $\mathcal{O}_{2d}$ has a trivial bundle structure if and only if k and 2d - 1 are relatively prime, and that the tensor product of the spherical non-commutative torus $S_{\omega}$ with the generalized Cuntz algebra $\mathcal{O}_{\infty}$ has a non-trivial bundle structure when k > 1.

• 대한수학회보
• /
• 제39권2호
• /
• pp.259-267
• /
• 2002

Let X be a hemicompact space with ($K_{n}$) as an admissible exhaustion, and for each n $\in$ N, $A_{n}$ a Banach function algebra on $K_{n}$ with respect to $\parallel.\parallel_n$ such that $A_{n+1}\midK_{n}$$\subsetA_n$ and${\parallel}f{\mid}K_n{\parallel}_n{\leq}{\parallel}f{\parallel}_{n+1}$ for all f$\in$$A_{n+1}$, We consider the subalgebra A = { f $\in$ C(X) : $\forall_n\;{\epsilon}\;\mathbb{N}$ of C(X) as a frechet function algebra and give a result related to its spectrum when each $A_{n}$ is natural. We also show that if X is moreover noncompact, then any closed subalgebra of A cannot be topologized as a regular Frechet Q-algebra. As an application, the Lipschitzalgebra of infinitely differentiable functions is considered.d.

• 대한수학회보
• /
• 제39권3호
• /
• pp.471-478
• /
• 2002

Let $Let\eta={\eta m}m$ be an eventually constant sequence of unit vectors $\eta m$ in $C^{n}$ and let $\rho$η be the pure state on $UHF_{n}$ algebra which is defined by $\rho\eta(\upsilon_i_1....\upsilon_i_k{\upsilon_{j1}}^*...{\upsilon_{j1}}^*)={\eta_1}^{i1}...{\eta_k}^{ik}{\eta_k}^{jk}...{\eta_1}^{j1}$. We find infinitely many state extensions of $\rho\eta$ to Cuntz algebra $O_n$ using representations and unitary operators. Also, we present theirconcrete expressions.

• 대한수학회보
• /
• 제47권6호
• /
• pp.1275-1283
• /
• 2010

If the Wiener-Hopf $C^*$-algebra W(G,M) for a discrete group G with a semigroup M has the uniqueness property, then the structure of it is to some extent independent of the choice of isometries on a Hilbert space. In this paper we show that if the Wiener-Hopf $C^*$-algebra W(G,M) of a partially ordered group G with the positive cone M has the uniqueness property, then (G,M) is weakly unperforated. We also prove that the Wiener-Hopf $C^*$-algebra W($\mathbb{Z}$, M) of subsemigroup generating the integer group $\mathbb{Z}$ is isomorphic to the Toeplitz algebra, but W($\mathbb{Z}$, M) does not have the uniqueness property except the case M = $\mathbb{N}$.

• 대한수학회보
• /
• 제40권4호
• /
• pp.545-551
• /
• 2003

We define subalgebras ${V_q}^{mZ{\times}nZ}\;of\;V_q\;where\;V_q$ are in the paper [4]. We show that the Lie algebra ${V_q}^{mZ{\times}nZ}$ is simple and maximally abelian decomposing. We may define a Lie algebra is maximally abelian decomposing, if it has a maximally abelian decomposition of it. The F-algebra automorphism group of the Laurent extension of the quantum plane is found in the paper [4], so we find the Lie automorphism group of ${V_q}^{mZ{\times}nZ}$ in this paper.