On applcations of measure of noncompactness in Frechet spaces

Abstract

In metric and topological vector spaces the notion of measure of noncompactness is used to associate numerical values to sets so that compact sets get zero measures and other ones obtain positive values that indicate how far they are different from compact sets. This concept was initiated by Kuratowski in the early 30s and has been defined and developed in many different ways. The indices of noncompactness can give us sufficient conditions for formulating various fixed point theorems in metric spaces. Another important application of these measurements is in the characterization of Fredholm operators in infinite-dimensional topological vector spaces. The object of this paper is to provide an appropriate criterion that establishes a connection between Lipschitz-Fredholm operators in the more general context of Fréchet spaces, the Hausdorff, and lower measures of noncompactness. Furthermore, by using an arbitrary measure of noncompactness in the sense of Banas and Goebel we obtain a fixed point theorem for Fréchet spaces.

У метричних і топологічних векторних просторах поняття міри некомпактності використовується для відповідності числових значень множинам так, що компактні множини отримують нульові міри, а інші - позитивні значення, які показують, наскільки вони відрізняються від компактних. Ця концепція була ініційована Куратовський на початку 30-х років, і була визначена та розроблена багатьма різними способами. Міри некомпактності можуть дати нам достатні умови для формулювання різних теорем про нерухомі точки в метричних просторах. Інша важливе застосування цих мір полягає в характеризації операторів Фредгольма в нескінченновимірних топологічних векторних просторах. Метою даної роботи є створення відповідного критерію, який встановлює зв'язок між операторами Ліпшиця-Фредгольма в більш загальному контексті просторів Фреше і міри некомпактності Хаусдорфа. Крім того, використовуючи довільну міру некомпактності в сенсі Банаса і Гебеля, ми отримуємо теорему про нерухому точку для просторів Фреше.