• Communications of the Korean Mathematical Society
• /
• v.13 no.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)$.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.59-76
• /
• 2011

Starting from a collection V as a model which satisfies the axioms of NBG, we call the elements of V as sets and the subcollections of V as classes. We reconstruct the G$\ddot{o}$del's proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory by using Mostowski-Shepherdson mapping theorem, reflection principles in Tarski-Vaught theorem and Montague-Levy theorem and the fact that NBG is a conservative extension of ZF.

• Journal of applied mathematics & informatics
• /
• v.40 no.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
• /
• v.7 no.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
• /
• v.9 no.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.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.3
• /
• pp.51-57
• /
• 2021

In this paper, the relevance between Einstein's special theory of relativity (1905) and Bernoulli's fluid mechanics (1738), which motivates Shannon's theorem (1948), was derived from the AB=A/A=I dimension, and the Shannon's theorem channel code was simulated. When Bernoulli's fluid mechanics ΔP=pgh was applied to the Hallasan volcano Magma eruption, the dimensions and heights matched the measured values. The relationship between Einstein's special theory of relativity, Shannon's information theory, and the stack effect theory of fluid mechanics was analyzed, and the relationship between volcanic eruptions was mathematically proven. Einstein's and Bernoulli's conservation of energy and conservation of mass were the same in terms of bandwidth and power efficiency in Shannon's theorem.

• East Asian mathematical journal
• /
• v.14 no.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
• /
• v.9 no.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.

• Honam Mathematical Journal
• /
• v.5 no.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).

• Communications of the Korean Mathematical Society
• /
• v.37 no.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.