Krein–Rutmanの定理

1：$a\in\operatorname{Int}P$ で $B(a,\delta)\subset P$ なら、$p\in P$ について $B(p+a,\delta)=p+B(a,\delta)\subset P$ である。$t>0$ 倍も同様である。2：$a\in\operatorname{Int}P$、$-a\in P$ なら 1 により $0=a+(-a)\in\operatorname{Int}P$ で、ある球 $B(0,\delta)$ が $P$ に入り、正の倍をとって $E=P$ となり矛盾する。3：$T0=0\in P$ である。$z\ne0$ で $z,-z\in P$ なら $Tz\in\operatorname{Int}P$ かつ $-Tz=T(-z)\in P$ となり、2 に反する。$\square$

$I:=\{t\ge0:a+tb\in P\}$ は $P$ が凸かつ閉なので閉区間で、$a$ が内点なので $0$ の近くを含む。$I$ が有界でなければ、$t\to\infty$ で $b+a/t\in P$ から $b\in P$ となり矛盾する。よって $I=[0,\tau]$、$0<\tau<\infty$ である。$a+sb\in\operatorname{Int}P$ なら、内部は開集合なので小さな $\eta>0$ で $a+(s+\eta)b\in P$ となり、$s+\eta\le\tau$ である。$\square$

$u\in\operatorname{Int}P$ を固定する。
(a) $r>0$ で $Tu-ru\in P$ となるものがある。実際 $u\ne0$（lem-kr-cone の 2）なので $Tu\in\operatorname{Int}P$ であり、$Tu$ を中心とする小さな球が $P$ に入る。
(b) $x\in P$、$\lambda\in\mathbb R$ が $T(x+u)=\lambda x$ を満たすなら $\lambda\ge r$ である。lem-kr-cone の 3 から $Tx\in P$ なので $\lambda x=Tx+Tu\ge Tu\ge ru$ である。$\lambda\le0$ なら $-\lambda x\in P$ と足して $-ru\in P$ となり、lem-kr-cone の 2 に反するので $\lambda>0$ である。$x\ge cu$（$c\ge0$）なら、$T$ が $\le$ を保つことから $\lambda x=Tx+Tu\ge cTu\ge cru$ で、$x\ge(cr/\lambda)u$ となる。$c=r/\lambda$ から始めて繰り返すと、すべての $n$ で $x\ge(r/\lambda)^nu$、すなわち $(\lambda/r)^nx-u\in P$ である。$\lambda< r$ なら $n\to\infty$ で $-u\in P$ となり矛盾するので、$\lambda\ge r$ である。
(c) $0<\varepsilon\le1$ について $\varepsilon u\in\operatorname{Int}P$ で $T(\varepsilon u)-r\varepsilon u\in P$ なので、(b) は $u$ を $\varepsilon u$ に替えても同じ $r$ で成り立つ。$x\in P$ なら $x+\varepsilon u\in\operatorname{Int}P$ だから $x+\varepsilon u\ne0$ であり、
$$ F_\varepsilon(x):=T\Bigl(\frac{x+\varepsilon u}{\|x+\varepsilon u\|}\Bigr)\qquad(x\in P) $$
は $P$ から $P$ への連続写像で、値は $T(B_E)$ に入るので値域の閉包はコンパクトである。lem-kr-schauder により $F_\varepsilon(x_\varepsilon)=x_\varepsilon$ となる $x_\varepsilon\in P$ があり、$\lambda_\varepsilon:=\|x_\varepsilon+\varepsilon u\|$ とおくと $T(x_\varepsilon+\varepsilon u)=\lambda_\varepsilon x_\varepsilon$、(b) により $\lambda_\varepsilon\ge r$ である。
(d) $\|x_\varepsilon\|=\|T(x_\varepsilon+\varepsilon u)\|/\lambda_\varepsilon\le\|T\|$ なので $r\le\lambda_\varepsilon\le\|T\|+\|u\|$ である。$\varepsilon_n\to0$ を、$\lambda_{\varepsilon_n}\to\mu_0\in[r,\|T\|+\|u\|]$ かつ $T(x_{\varepsilon_n}+\varepsilon_nu)\to y$ となるようにとる（後者は $T$ のコンパクト性による）。すると $x_{\varepsilon_n}=T(x_{\varepsilon_n}+\varepsilon_nu)/\lambda_{\varepsilon_n}\to x_0:=y/\mu_0\in P$ であり、$\|x_0\|=\lim\lambda_{\varepsilon_n}=\mu_0>0$ である。極限をとって $Tx_0=\mu_0x_0$ を得る。$x_0\ne0$ なので $x_0=\mu_0^{-1}Tx_0\in\operatorname{Int}P$ である。$\square$

2：$Tx\in\operatorname{Int}P$ なので $\mu x\in\operatorname{Int}P$、よって $\mu\ne0$ である。$\mu<0$ なら $-x\in\operatorname{Int}P$ と $x\in P$ が lem-kr-cone の 2 に反するので、$\mu>0$ かつ $x=\mu^{-1}Tx\in\operatorname{Int}P$ である。$x$ が $x_0$ の正の倍でないとする。$-x\notin P$ なので $\tau:=\tau(x_0,-x)$（lem-kr-tau）がとれ、$z:=x_0-\tau x\in P$ は $0$ でない（$0$ なら $x=x_0/\tau$）。よって
$$ Tz=\mu_0x_0-\tau\mu x\in\operatorname{Int}P,\qquad\text{すなわち}\qquad x_0-\frac{\tau\mu}{\mu_0}x\in\operatorname{Int}P $$
であり、lem-kr-tau から $\tau\mu/\mu_0<\tau$、つまり $\mu<\mu_0$ である。$x$ と $x_0$ の役割を入れ替えると（$x\in\operatorname{Int}P$ なので同じ議論ができる）$\mu_0<\mu$ となって矛盾する。よって $x=mx_0$ で、$x\in P\setminus\{0\}$ と lem-kr-cone の 2 から $m>0$、$\mu=\mu_0$ である。
3：$Tx=\mu x$、$x\ne0$、$\mu\ne\mu_0$ とする。$x\in P$ または $-x\in P$ なら 2 により $\mu=\mu_0$ となるので、$x\notin P$ かつ $-x\notin P$ である。$\mu=0$ なら明らかなので $\mu\ne0$ とする。$\tau_+:=\tau(x_0,x)$、$\tau_-:=\tau(x_0,-x)$ とおき、$z_\pm:=x_0\pm\tau_\pm x\in P$ を考える。$z_\pm\ne0$ である（$0$ なら $\mp x$ が $x_0$ の正の倍になり $P$ に入る）。

• $\mu>0$ なら $Tz_+=\mu_0\bigl(x_0+\tfrac{\tau_+\mu}{\mu_0}x\bigr)\in\operatorname{Int}P$ から $\tau_+\mu/\mu_0<\tau_+$、すなわち $\mu<\mu_0$ である。
• $\mu<0$ なら $Tz_+=\mu_0\bigl(x_0-\tfrac{\tau_+|\mu|}{\mu_0}x\bigr)\in\operatorname{Int}P$ から $\tau_+|\mu|/\mu_0<\tau_-$、同様に $Tz_-$ から $\tau_-|\mu|/\mu_0<\tau_+$ である。掛け合わせて $|\mu|^2<\mu_0^2$ を得る。
  4：$Tx=\mu_0x$、$x\ne0$ とする。$x\notin P$ かつ $-x\notin P$ なら、3 の証明（$\mu=\mu_0>0$ の場合）から $\mu_0<\mu_0$ となって矛盾する。よって $x$ か $-x$ が $P$ に入り、2 から $x\in\mathbb Rx_0$ である。つまり $\ker(T-\mu_0I)=\mathbb Rx_0$ である。次に $(T-\mu_0I)^2x=0$ とすると $(T-\mu_0I)x=cx_0$ である。$c\ne0$ と仮定し、$x$ を $x/c$ に替えて $c=1$ とする。$t$ を大きくとると $w:=x+tx_0=t(x_0+x/t)\in\operatorname{Int}P$ であり、$Tw=\mu_0w+x_0$ である。$s:=\sup\{s'\ge0:x_0-s'w\in P\}$ は lem-kr-tau により $0< s<\infty$ で、$y:=x_0-sw\in P$ である。$y=0$ なら $Tx_0=sTw=s(\mu_0w+x_0)=(\mu_0+s)x_0$ となり $s>0$ に反する。$y\ne0$ なので
  $$ Ty=\mu_0x_0-s(\mu_0w+x_0)=(\mu_0-s)x_0-\mu_0sw\in\operatorname{Int}P . $$
  $\mu_0-s\le0$ ならこの元は $-P$ に入り lem-kr-cone の 2 に反する。$\mu_0>s$ なら $x_0-\tfrac{\mu_0s}{\mu_0-s}w\in\operatorname{Int}P$ で、$\tfrac{\mu_0s}{\mu_0-s}>s$ が $s$ の定義に反する。よって $c=0$、$\ker(T-\mu_0I)^2=\mathbb Rx_0$ である。$k\ge3$ で $(T-\mu_0I)^kx=0$ なら、$(T-\mu_0I)^{k-2}x\in\ker(T-\mu_0I)^2=\ker(T-\mu_0I)$ なので $(T-\mu_0I)^{k-1}x=0$ となり、帰納法で結論を得る。
  5：コンパクト作用素 の記事の定理「コンパクト作用素のスペクトル」（実数の場合）により $\sigma(T)\setminus\{0\}$ は固有値からなるので、3 により $|\lambda|\le\mu_0$ で、$\mu_0\in\sigma(T)$ である。$\square$