• Honam Mathematical Journal
• /
• v.38 no.3
• /
• pp.643-659
• /
• 2016

In this paper, we investigate some new results in MV-algebras and (strong) hyper MV-algebras. We show that for any infinite countable set M, we can construct an MV-algebra and a strong hyper MV-algebra on M. Specially, for any infinite totally bounded set, we can construct a strong hyper MV-algebra on it. Then by considering the concept of fundamental relation on hyper MV-algebras, we define the notion of fundamental MV-algebra and prove that any MV-algebra is a fundamental MV-algebra. In practical, we show that any infinite countable MV-algebra is a fundamental MV-algebra of itself, but it is not correct for finite MV-algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1737-1751
• /
• 2015

For every doubling gauge g, we prove that there is a Cantor set of positive finite $H^g$-measure, $P^g$-measure, and $P^g_0$-premeasure. Also, we show that every compact metric space of infinite $P^g_0$-premeasure has a compact countable subset of infinite $P^g_0$-premeasure. In addition, we obtain a class of uniform Cantor sets and prove that, for every set E in this class, there exists a countable set F, with $\bar{F}=E{\cup}F$, and a doubling gauge g such that $E{\cup}F$ has different positive finite $P^g$-measure and $P^g_0$-premeasure.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.115-128
• /
• 2009

In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.

• Communications of Mathematical Education
• /
• v.22 no.4
• /
• pp.471-487
• /
• 2008

Inventive mathematical thinking, original mathematical problem solving ability, mathematical invention and so on are core concepts, which must be emphasized in all branches of mathematical education. In particular, Polya(1981) insisted that inventive thinking must be emphasized in a suitable level of university mathematical courses. In this paper, the author considered two cases of inventive problem solving ability shown by his many students via real analysis courses. The first case is about the proof of the problem "what is the derived set of the integers Z?" Nearly all books on mathematical analysis sent the question without the proof but some books said that the answer is "empty". Only one book written by Noh, Y. S.(2006) showed the proof by using the definition of accumulation points. But the proof process has some mistakes. But our student Kang, D. S. showed the perfect proof by using The Completeness Axiom, which is very useful in mathematical analysis. The second case is to show the infinite countability of NxN, which is shown by informal proof in many mathematical analysis books with formal proofs. Some students who argued the informal proof as an unreasonable proof were asked to join with us in finding the one-to-one correspondences between NxN and N. Many students worked hard and find two singled-valued mappings and one set-valued mapping covering eight diagrams in the paper. The problems are not easy and the proofs are a little complicated. All the proofs shown in this paper are original and right, so the proofs are deserving of inventive mathematical thoughts, original mathematical problem solving abilities and mathematical inventions. From the inventive proofs of his students, the author confirmed that any students can develope their mathematical abilities by their professors' encouragements.

• Kyungpook Mathematical Journal
• /
• v.59 no.1
• /
• pp.47-63
• /
• 2019

For $y{\in}{\mathbb{R}}$, a sequence $x=(x_n){\in}{\ell}^{\infty}$, and a non-negative regular matrix A, Bartoszewicz et. al., in 2015, defined the notion of the A-density ${\delta}_A(y)$ of the indices of those $x_n$ that are close to y. Their main result states that if the set of limit points of ($x_n$) is countable and density ${\delta}_A(y)$ exists for any $y{\in}\mathbb{R}$ where A is a non-negative regular matrix, then ${\lim}_{n{\rightarrow}{\infty}}(Ax)_n={\sum}_{y{\in}{\mathbb{R}}}{\delta}_A(y){\cdot}y$. In this note we first show that the result can be extended to a more general class of matrices and then consider a conjecture which naturally arises from our investigations.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.217-227
• /
• 2024

Let G be an infinite countable group and A be a finite set. If Σ ⊆ A^G is a strongly irreducible subshift of finite type and 𝓖 is the local conjugacy equivalence relation on Σ. We construct a decreasing sequence 𝓡 of unital C^*-subalgebras of C(Σ) and a sequence of faithful conditional expectations E defined on C(Σ), and obtain a Toeplitz algebra 𝓣 (𝓡, 𝓔) and a C^*-algebra C^*(𝓡, 𝓔) for the pair (𝓡, 𝓔). We show that C^*(𝓡, 𝓔) is *-isomorphic to the reduced groupoid C^*-algebra C^*_r(𝓖).