Тогда есть собственное значение с положительным собственным вектором , что означает, что существует такое, что .
Теорема Де Пагтера
Если предположить, что положительный оператор является идеальным неприводимым , а именно, не существует идеала такого , что , то теорема де Пагтера [3] утверждает, что .
Поэтому для идеальных неприводимых операторов это предположение не требуется.
Ссылки
^ Du, Y. (2006). "1. Теорема Крейна–Рутмана и главное собственное значение". Структура порядка и топологические методы в нелинейных частных дифференциальных уравнениях. Том 1. Принципы максимума и приложения . Ряды по частным дифференциальным уравнениям и приложениям. Хакенсак, Нью-Джерси: World Scientific Publishing Co. Pte. Ltd. ISBN981-256-624-4. МР 2205529.
^ Крейн, М. Г.; Рутман, М. А. (1948). «Линейные операторы, оставляющие инвариантным конус в банаховом пространстве». Успехи мат. наук . Новая серия. 3 (1(23)): 1–95. MR 0027128.. Английский перевод: Крейн, М. Г.; Рутман, М. А. (1950). "Линейные операторы, оставляющие инвариантным конус в банаховом пространстве". Amer. Math. Soc. Transl . 1950 (26). MR 0038008.
^ de Pagter, B. (1986). «Неприводимые компактные операторы». Math. Z . 192 (1): 149–153. doi :10.1007/bf01162028. MR 0835399.