• 한국수학사학회지
• /
• 제24권3호
• /
• pp.59-76
• /
• 2011

NBG의 공리들을 충족시키는 모델로서의 집합 V 를 도입하고 그것의 요소들을 sets라 부르고 그것의 부분집합들을 classes라 부른다. 일반연속체가설 (GCH) 와 선택공리 (AC) 가 ZF 집합론과 무모순이라는 것에 대한 괴델의 증명을 그 이후 나온 Mostowski-Shepherdson mapping 정리, Tarski-Vaught 정리 및 Montague-Levy 정리의 반사원리들, NBG가 ZF의 보존적 확장이라는 정리 등을 이용하여 재구성해 본다.

• 대한수학회논문집
• /
• 제37권2호
• /
• pp.503-520
• /
• 2022

We introduce a new type of fractional derivative, which we call as the right local general truncated M-fractional derivative for α-differentiable functions that generalizes the fractional derivative type introduced by Anastassiou. This newly defined operator generalizes the standard properties and results of the integer order calculus viz. the Rolle's theorem, the mean value theorem and its extension, inverse property, the fundamental theorem of calculus and the theorem of integration by parts. Then we represent a relation of the newly defined fractional derivative with known fractional derivative and in context with this derivative a physical problem, Kirchoff's voltage law, is generalized. Also, the importance of this newly defined operator with respect to the flexibility in the parametric values is described via the comparison of the solutions in the graphs using MATLAB software.

• 대한수학회보
• /
• 제30권2호
• /
• pp.285-293
• /
• 1993

In [4], Baumslag and Tretkoff proved a residual finiteness criterion for HNN extensions (Theorem 1.2, below). This result has been used extensively in the study of the residual finiteness of HNN extensions. Note that every one-relator group can be embedded in a one-relator group whose relator has zero exponent sum on a generator, and the latter group can be considered as an HNN extension. Hence the properties of an HNN extension play an important role in the study of one-relator groups [3], [2]. In this paper we prove a criterion for HNN extensions to be .pi.$_{c}$(Theorem 2.2). Moreover, we can prove that certain one-relator groups, known to be residually finite, are actually .pi.$_{c}$. It was known by Mostowski [10] that the word problem is solvable for finitely presented, residually finite groups. In the same way, the power problem is solvable for finitely presented .pi.$_{c}$ groups. Another application of subgroup separability with respect to special subgroups was mentioned by Thurston [12, Problem 15].m 15].

• Journal of Applied and Pure Mathematics
• /
• 제6권1_2호
• /
• pp.21-36
• /
• 2024

In this paper, we study the existence of solutions for hybrid fractional differential equations with p-Laplacian operator involving fractional Caputo derivative of arbitrary order. This work can be seen as an extension of earlier research conducted on hybrid differential equations. Notably, the extension encompasses both the fractional aspect and the inclusion of the p-Laplacian operator. We build our analysis on a hybrid fixed point theorem originally established by Dhage. In addition, an example is provided to demonstrate the effectiveness of the main results.

• 호남수학학술지
• /
• 제34권1호
• /
• pp.35-44
• /
• 2012

Motivated by the extension of classical Dixon's summation theorem for the series $_3F_2$ given by Lavoie, Grondin, Rathie and Arora, the authors aim at deriving four generalized summation formulas, which, upon specializing their parameters, give many summation identities including, especially, the four very interesting summation formulas due to Ramanujan.

• Kyungpook Mathematical Journal
• /
• 제60권2호
• /
• pp.415-421
• /
• 2020

In the proof of Theorem 3 on p.253 in [4], both right and left distributivity are assumed simultaneously which makes the proof invalid. We give a corrected proof for this theorem by introducing an extension of Lemma 2.2 in [2].

• 대한수학회논문집
• /
• 제13권3호
• /
• pp.481-487
• /
• 1998

Let (equation omitted) denote the closure of the set (equation omitted) of dominant operators in the norm topology. We show that the Weyl spectrum of an operator T $\in$ (equation omitted) satisfies the spectral mapping theorem for analytic functions, which is an extension of [5, Theorem 1]. Also we show that an operator approximately equivalent to an operator of class (equation omitted) is of class (equation omitted).

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제10권4호
• /
• pp.273-277
• /
• 2003

The Fuglede-Putnam Theorem is that if A and B are normal operators and X is an operator such that AX = XB, then $A^{\ast}= X. In this paper, we show that if A is $\omega$-hyponormal and $B^{\ast}$ is invertible $\omega$-hyponormal such that AX = XB for a Hilbert-Schmidt operator X, then $A^{\ast}X = XB^{\ast}$.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권4호
• /
• pp.269-274
• /
• 2010

After introducing many different types of prefilter convergence, we introduce an universal method to define various notions of compactness using cluster point and convergence of a prefilter and to prove the Tychonoff theorem using characterizations of ultra(maximal) prefilters.

• 호남수학학술지
• /
• 제32권2호
• /
• pp.283-298
• /
• 2010

In this paper, we introduce the concept of compatible mapping of type(${\alpha}$-1) and type(${\alpha}$-2), prove the some properties and common fixed point theorem for such maps in intuitionistic fuzzy metric space. Also, we give the example. Our research are an extension for the results of Kutukcu and Sharma[3] and Park et.al.[11].