X をバナッハ空間とし、その部分集合 K (⊂X) を、K-K が空間 X において稠密であるような凸錐とする。T:X→X を、ゼロでない正の(すなわち T(K)⊂K が成立する)コンパクト作用素とし、そのスペクトル半径r(T) は正であるとする。
この時、そのスペクトル半径 r(T) は作用素 T の固有値であり、それに対応する正の固有ベクトルが存在する。すなわち T(u)=r(T)u を満たすような u∈K\0 が存在する。
デ・パグターの定理との関係
正作用素 T がイデアル既約であるなら、すなわち TJ⊂J となるような X のイデアルJ≠0 が存在しないなら、デ・パグターの定理[3]によりスペクトル半径 r(T) は正となる。
したがって、イデアル既約であるような作用素 T に対しては、 r(T) が正であると仮定をしなくても、クレイン・ルトマンの定理が適用されうることが分かる。
参考文献
↑ Kreĭn,M.G.;Rutman,M.A.(1948).“Linear operators leaving invariant a cone in a Banach space”(Russian).Uspehi Matem. Nauk (N. S.)3(1(23)): 1–95.MR0027128.. English translation: Kreĭn,M.G.;Rutman,M.A.(1950).“Linear operators leaving invariant a cone in a Banach space”.Amer. Math. Soc. Translation1950(26).MR0038008.
↑ Du,Y.(2006).“1. Krein–Rutman Theorem and the Principal Eigenvalue”.Order structure and topological methods in nonlinear partial differential equations.Series in Partial Differential Equations and Applications.1. Maximum principles and applications.Hackensack, NJ:World Scientific Publishing Co. Pte. Ltd..ISBN981-256-624-4.MR2205529
↑ de Pagter,B.(1986).“Irreducible compact operators”.Math. Z.192(1): 149–153.MR0835399.