• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.81-87
• /
• 1992

Wellknown invariance of domain theorems are Brower's invariance of domain theorem for continuous mappings defined on a finite dimensional space and Schauder-Leray's invariance of domain theorem for the class of mappings I+C defined on a infinite dimensional Banach space with I the identity and C compact. The two classical invariance of domain theorems were proved by applying the homotopy invariance of Brower's degree and Leray-Schauder's degree respectively. Degree theory for some class of mappings is a useful tool for mapping theorems. And mapping theorems (or surjectivity theorems of mappings) are closely related with invariance of domain theorems for mappings. In[4, 5], Browder and Petryshyn constructed a multi-valued degree theory for A-proper mappings. From this degree Petryshyn [9] obtained some invariance of domain theorems for locally A-proper mappings. Recently Browder [6] has developed a degree theory for demicontinuous mapings of type ( $S_{+}$) from a reflexive Banach space X to its dual $X^{*}$. By applying this degree we obtain some invariance of domain theorems for demicontinuous mappings of type ( $S_{+}$). ( $S_{+}$).

• Journal for History of Mathematics
• /
• v.20 no.2
• /
• pp.109-126
• /
• 2007

This paper is to study theorems related with congruence of triangles in Lobachevskii's and Hadamard's geometry textbooks, and to compare their proof methods. We find out that Lobachevskii's geometry textbook contains 5 theorems of triangles' congruence, but doesn't explain congruence of right triangles. In Hadamard's geometry textbook description system of the theorems of triangles' congruence is similar with our mathematics textbook. Hadamard's geometry textbook treat 3 theorems of triangles' congruence, and 2 theorems of right triangles' congruence. But in Hadamard's geometry textbook all theorems are proved.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.299-310
• /
• 2005

This paper presents new random fixed point theorems for $U_c^k$ maps and new random Leray-Schauder alternatives for $U_c^k$ type maps. Our arguments rely on recent deterministic fixed point theorems and on a result on hemicompact maps in the literature.

• Journal of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.769-780
• /
• 2016

In this paper, we first prove some Liouville type theorems for elliptic inequalities on weighted manifolds which support a weighted Sobolev-type inequality. Secondly, applying the Liouville type theorems to self-shrinkers, we obtain some global rigidity theorems.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.195-198
• /
• 2007

In this paper, we consider Lebesgue-type theorems in non-additive measure theory and then investigate interval-valued Choquet integrals and interval-valued fuzzy integral with respect to a additive monotone set function. Furthermore, we discuss the equivalence among the Lebesgue's theorems, the monotone convergence theorems of interval-valued fuzzy integrals with respect to a monotone set function and find some sufficient condition that the monotone convergence theorem of interval-valued Choquet integrals with respect to a monotone set function holds.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.6
• /
• pp.749-753
• /
• 2007

In this paper, we consider Lebesgue-type theorems in non-additive measure theory and then investigate interval valued Choquet integrals and interval-valued fuzzy integral with respect to a additive monotone set function. Furthermore, we discuss the equivalence among the Lebesgue's theorems, the monotone convergence theorems of interval-valued fuzzy integrals with respect to a monotone set function and find some sufficient condition that the monotone convergence theorem of interval-valued Choquet integrals with respect to a monotone set function holds.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.3
• /
• pp.831-850
• /
• 2023

Our long-standing Metatheorem in Ordered Fixed Point Theory is applied to some well-known order theoretic fixed point theorems. In the first half of this article, we introduce extended versions of the Zermelo fixed point theorem, Zorn's lemma, and the Caristi fixed point theorem based on the Brøndsted-Jachymski principle and our 2023 Metatheorem. We show some of their applications to other fixed point theorems or theorems on the existence of maximal elements in partially ordered sets. In the second half, we collect and improve order theoretic fixed point theorems in the collection of Howard-Rubin in 1991 and others. In fact, we improve or extend several ordering principles or fixed point theorems due to Brézis-Browder, Brøndsted, Knaster-Tarski, Tarski-Kantorovitch, Turinici, Granas-Horvath, Jachymski, and others.

• Journal of applied mathematics & informatics
• /
• v.6 no.3
• /
• pp.867-872
• /
• 1999

In this paper we study the stability theorems for nonlinear Fredholm-Volterra integral equations system.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1269-1283
• /
• 2015

An operator $T{{\in}}{\mathcal{L}}({\mathcal{H}})$ is said to be skew complex symmetric if there exists a conjugation C on ${\mathcal{H}}$ such that $T=-CT^*C$. In this paper, we study properties of skew complex symmetric operators including spectral connections, Fredholmness, and subspace-hypercyclicity between skew complex symmetric operators and their adjoints. Moreover, we consider Weyl type theorems and Browder type theorems for skew complex symmetric operators.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.491-502
• /
• 1998

We obtain new fixed point theorems on maps defined on "locally G-convex" subsets of a generalized convex spaces. Our first theorem is a Schauder-Tychonoff type generalization of the Brouwer fixed point theorem for a G-convex space, and the second main result is a fixed point theorem for the Kakutani maps. Our results extend many known generalizations of the Brouwer theorem, and are based on the Knaster-Kuratowski-Mazurkiewicz theorem. From these results, we deduce new results on collectively fixed points, intersection theorems for sets with convex sections and quasi-equilibrium theorems.