On Implicit and Inverse Function Theorems on Euclidean Spaces
نویسندگان
چکیده
Summary Previous Mizar articles [7, 6, 5] formalized the implicit and inverse function theorems for Frechet continuously differentiable maps on Banach spaces. In this paper, using system [1], [2], we formalize these Euclidean spaces by specializing them. We referred to [4], [12], [10], [11] in formalization.
منابع مشابه
compactifications and function spaces on weighted semigruops
chapter one is devoted to a moderate discussion on preliminaries, according to our requirements. chapter two which is based on our work in (24) is devoted introducting weighted semigroups (s, w), and studying some famous function spaces on them, especially the relations between go (s, w) and other function speces are invesigated. in fact this chapter is a complement to (32). one of the main fea...
15 صفحه اولInverse and Implicit Function Theorems for Nonsmooth Maps in Banach Spaces
We extend the classical inverse and implicit function theorems, the implicit function theorems of Lyusternik and Graves, and the results of Clarke and Pourciau to the situation when the given function is not smooth, but it has a convex strict prederivative whose measure of noncompactness is smaller than its measure of surjectivity. The proof of the main results requires Banach’s open mapping th...
متن کاملFunction approximation on non-Euclidean spaces
This paper presents a family of layered feed-forward networks that is able to uniformly approximate functions on any metric space, and also on a wide variety of non-metric spaces. Non-Euclidean input spaces are frequently encountered in practice, while usual approximation schemes are guaranteed to work only on Euclidean metric spaces. Theoretical foundations are provided, as well as practical a...
متن کاملglobal results on some nonlinear partial differential equations for direct and inverse problems
در این رساله به بررسی رفتار جواب های رده ای از معادلات دیفرانسیل با مشتقات جزیی در دامنه های کراندار می پردازیم . این معادلات به فرم نیم-خطی و غیر خطی برای مسایل مستقیم و معکوس مورد مطالعه قرار می گیرند . به ویژه، تاثیر شرایط مختلف فیزیکی را در مساله، نظیر وجود موانع و منابع، پراکندگی و چسبندگی در معادلات موج و گرما بررسی می کنیم و به دنبال شرایطی می گردیم که متضمن وجود سراسری یا عدم وجود سراسر...
On fixed point theorems in fuzzy metric spaces using a control function
In this paper, we generalize Fuzzy Banach contraction theorem establishedby V. Gregori and A. Sapena [Fuzzy Sets and Systems 125 (2002) 245-252]using notion of altering distance which was initiated by Khan et al. [Bull. Austral.Math. Soc., 30(1984), 1-9] in metric spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2022
ISSN: ['1898-9934', '1426-2630']
DOI: https://doi.org/10.2478/forma-2022-0012