• 대한수학회논문집
• /
• 제13권1호
• /
• pp.77-84
• /
• 1998

In this note we show that if $T_{\varphi}$ is a Toeplitz operator with quasicontinuous symbol $\varphi$, if $\omega$ is an open set containing the spectrum $\sigma(T_\varphi)$, and if $H(\omega)$ denotes the set of analytic fuctions defined on $\omege$, then the following statements are equivalent: (a) $T_\varphi$ is semi-quasitriangular. (b) Browder's theorem holds for $f(T_\varphi)$ for every $f \in H(\omega)$. (c) Weyl's theorem holds for $f(T_\varphi)$ for every $f \in H(\omega)$. (d) $\sigma(T_{f \circ \varphi}) = f(\sigma(T_varphi))$ for every $f \in H(\omega)$.

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

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

• Journal of applied mathematics & informatics
• /
• 제40권5_6호
• /
• pp.883-896
• /
• 2022

A hereditary base-b representation, used in the celebrated Goodstein's theorem, can easily be converted into a labeled rooted tree. In this way it is possible to give a more elementary geometric proof of the aforementioned theorem and to establish a more general version, geometrically proved. This view is very useful for better understanding the underlying logical problems and the need to use transfinite induction in the proof. Similar problems will then be considered, such as the so-called "hydra game".

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제7권1호
• /
• pp.30-33
• /
• 2007

Park and Kim [4], Grabiec [1] studied a fixed point theorem in fuzzy metric space, and Vasuki [8] proved a common fixed point theorem in a fuzzy metric space. Park, Park and Kwun [6] defined the intuitionistic fuzzy metric space in which it is a little revised in Park's definition. Using this definition, Park, Kwun and Park [5] and Park, Park and Kwun [7] proved a fixed point theorem in intuitionistic fuzzy metric space. In this paper, we will prove a common fixed point theorem for a sequence of mappings in a intuitionistic fuzzy metric space. Our result offers a generalization of Vasuki's results [8].

• Journal of Power Electronics
• /
• 제9권1호
• /
• pp.61-67
• /
• 2009

In this paper, a simple technique is presented for robust stability testing of perturbed DC-DC converters having multi-linear uncertainty structure. This technique provides a necessary and sufficient condition for testing robust stability. It is based on the corollary of Routh criterion and gridding of parameters. The previous work based on parametric control theory using Kharitonov's theorem and Hermite Biehler theorem gives conservative results and only the sufficient condition of stability, whereas the proposed method provides the necessary and sufficient condition for testing robust stability and it is computationally efficient. The superiority of the method is compared with the Edge theorem.

• 한국인터넷방송통신학회논문지
• /
• 제21권3호
• /
• pp.51-57
• /
• 2021

본 논문에서는 샤논 정리(1948)의 동기가 되는 아인슈타인 특수상대성이론(1905)과 베르누이 유체역학(1738)의 상관성을 AB=A/A=I Dimension 관점에서 유도했고 샤논 정리 채널코드를 시뮬레이션했다. 베르누이 유체역학 ΔP=pgh를 한라산 화산 Magma 폭발식으로 적용했을 때 Dimension과 높이가 실측치와 일치했다. 아인슈타인 특수상대성이론과 샤논의 정보이론, 그리고 유체역학의 연돌효과(Stack Effect) 이론의 관계를 분석해 보고 화산 폭발의 관계를 수학적으로 증명했다. 아인슈타인, 베르누이의 에너지보존과 질량보존은 샤논 정리에서는 대역폭과 power의 효율면과 같았다.

• East Asian mathematical journal
• /
• 제14권1호
• /
• pp.157-163
• /
• 1998

The aim of this note is to prove Vandermonde's convolution theorem by using the theory of hypergeometric series as suggested in literature which does not seem to be easy to justify it. We also provide an interesting identity and its application.

• Journal of the Korean Statistical Society
• /
• 제9권2호
• /
• pp.126-134
• /
• 1980

In this paper, Srivastava's Theorem for the search design is considered, with additional assumptions, to the $3^n$ parallel flats fractions. It is also expressed in terms of ACPM.

• 호남수학학술지
• /
• 제5권1호
• /
• pp.45-69
• /
• 1983

The hermitian structures on complex manifolds have been studied by several mathematicians ([1], [2], and [3]), and the Kähler structure on hermitian manifolds have been so much too ([6], [12], and [15]). There has been some gradual progress in studying the invariant forms on Grassmann manifolds ([17]). The purpose of this dissertation is to prove the Theorem 3.4 and the Theorem 4.7, with relation to the nature of complex Grassmann manifolds. In $\S$ 2. in order to prove the Theorem 4.7, which will be explicated further in $\S$ 4, the concepts of the hermitian structure, connection and curvature have been defined. and the characteristic nature about these were proved. (Proposition 2.3, 2.4, 2.9, 2.11, and 2.12) Two characteristics were proved in $\S$ 3. They are almost not proved before: particularly. we proved the Theorem 3.3 : $G_{k}(C^{n+k})=\frac{GL(n+k,C)}{GL(k,n,C)}=\frac{U(n+k)}{U(k){\times}U(n)}$ In $\S$ 4. we explained and proved the Theorem 4. 7 : i) Complex Grassmann manifolds are Kahlerian. ii) This Kähler form is $\pi$-fold of curvature form in hyperplane section bundle. Prior to this proof. some propositions and lemmas were proved at the same time. (Proposition 4.2, Lemma 4.3, Corollary 4.4 and Lemma 4.5).

• 대한수학회논문집
• /
• 제37권4호
• /
• pp.1221-1248
• /
• 2022

In this paper we study the theory of knotoids and braidoids and the theory of pseudo knotoids and pseudo braidoids on the torus T. In particular, we introduce the notion of mixed knotoids in S², that generalizes the notion of mixed links in S³, and we present an isotopy theorem for mixed knotoids. We then generalize the Kauffman bracket polynomial, <; >, for mixed knotoids and we present a state sum formula for <; >. We also introduce the notion of mixed pseudo knotoids, that is, multi-knotoids on two components with some missing crossing information. More precisely, we present an isotopy theorem for mixed pseudo knotoids and we extend the Kauffman bracket polynomial for pseudo mixed knotoids. Finally, we introduce the theories of mixed braidoids and mixed pseudo braidoids as counterpart theories of mixed knotoids and mixed pseudo knotoids, respectively. With the use of the L-moves, that we also introduce here for mixed braidoid equivalence, we formulate and prove the analogue of the Alexander and the Markov theorems for mixed knotoids. We also formulate and prove the analogue of the Alexander theorem for mixed pseudo knotoids.