01FA2:Kapitola3

PDF	[ znovu generovat,	výstup z překladu ]	Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly	[ znovu generovat,	výstup z překladu ]	Přeložení pouze této kaptioly.
ZIP			Kompletní zdrojový kód včetně obrázků.

---

Součásti dokumentu 01FA2

součást	akce		popis	poslední editace			soubor
Hlavní dokument	editovat	Hlavní stránka dokumentu 01FA2		Gromadan	30. 9. 2015	13:24
Řídící stránka	editovat	Definiční stránka dokumentu a vložených obrázků		Gromadan	30. 9. 2015	13:40
Header	editovat	Hlavičkový soubor		Gromadan	30. 9. 2015	13:44	header.tex
Kapitola0	editovat	Úvod		Kubuondr	8. 6. 2018	08:43	kapitola0.tex
Kapitola1	editovat	Fundamentální věty funkcionální analýzy		Kubuondr	1. 6. 2018	09:49	kapitola1.tex
Kapitola10	editovat	Holomorfní vektorové funkce		Kubuondr	4. 6. 2018	19:19	kapitola2.tex
Kapitola2	editovat	Spektrum uzavřeného operátoru		Kubuondr	2. 6. 2018	08:16	kapitola3.tex
Kapitola3	editovat	Spektrální rozklad pro samosdružené omezené operátory		Kubuondr	8. 6. 2018	08:13	kapitola4.tex
Kapitola8	editovat	Kompaktní operátory		Gromadan	30. 9. 2015	13:35	kapitola5.tex
Kapitola9	editovat	Hilbert--Schmidtovy operátory		Gromadan	30. 9. 2015	13:33	kapitola6.tex
Kapitola5	editovat	Neomezené operátory		Kubuondr	6. 2. 2019	09:05	kapitola7.tex
Kapitola6	editovat	Normální operátory		Admin	1. 8. 2010	00:30	kapitola8.tex
Kapitola7	editovat	Samosdružené rozšíření symetrických operátorů		Kubuondr	8. 2. 2019	10:08	kapitola9.tex

Zdrojový kód

%\wikiskriptum{01FA2}
\section{Spektrální rozklad pro samosdružené omezené operátory}
 
Mějme samosdružený operátor $A$. Je-li dimenze $\H$ konečná, existuje ortonormální báze z~vlastních
vektorů $\{x_n\}$: $Ax_k=\lambda_k x_k$, a tedy můžeme psát
\[\H=\osum_{i=1}^m\Ker(A-\lambda_i'),\]
kde $\lambda_1',\dots,\lambda_m'$ jsou různá vlastní čísla. Operátor $A$ můžeme zapsat jako lineární kombinaci
projektorů na vlastní podprostory $\{P_1,\dots,P_m\}$:
\[A=\sum_{i=1}^m\lambda_i'P_i.\]
 
Na nekonečné dimenzi lze totéž provést pro $A$ kompaktní operátor. Ten má totiž čistě bodové spektrum, tj. existuje ON báze z vlastních vektorů. Jeho bodové spektrum je nejvýše spočetné a jediným možným hromadným bodem je nula, vlastní hodnoty tedy lze seřadit podle velikosti v absolutní hodnotě od největšího k nejmenšímu. Kompaktní operátor pak lze rozložit na nejvýše spočetnou sumu stejně jako výše.
 
V náseledující kapitole popsaný \emph{spektrální rozklad} zobecníme na libovolné hermitovské operátory. Již nám však nebude stačit ani nekonečná suma, ale vybudujeme za tímto účelem integrál. Nejprve však bude následovat množství potřebných lemmat týkajících se hermitovských operátorů.
 
\begin{lemma}\label{slim}
  Buď $A_n\in\B(\H)$, $A_1\ge A_2\ge\dots\ge A_n\ge\dots\ge
  0$ (tedy $A_n=A^*_n$). Potom existuje \[A=\slim_{n\to\infty}A_n \in \B(\H)\] a pro každé $n$ je
  $A_n\ge A\ge 0$ (tedy rovněž $A=A^*$). Jinými slovy klesající posloupnost pozitivních operátorů má silnou limitu.\footnote{Snadným důsledkem je analogie věty o existenci limity monotónní omezené reálné číselné posloupnosti: Monotónní omezená posloupnost hermitovských operátorů má silnou limitu.}
\end{lemma}
  \begin{proof}
    Buď $x\in\H$. Díky předpokladům je posloupnost $\{\la x,A_n x\ra\}_n$
    nerostoucí omezená číselná posloupnost, tudíž má limitu, a je tedy cauchyovská. Protože
    \[\norm{A_n}=\sup_{\norm{x}=1}\abs{\la x,A_nx\ra}=\sup_{\norm{x}=1}\la x,A_nx\ra,\]
    je také $\norm{A_1}\ge\norm{A_2}\ge\dots$
 
    Ukážeme, že pro libovolné $x\in\H$ je $A_nx$ cauchyovská. Z úplnosti $\H$ to bude znamenat, že existuje silná limita $A$ splňující $Ax=\lim A_nx$ na celém $\H$. Pro $m,n\in\N$ je 
    \[\norm{(A_m-A_n)x}^2\le\norm{A_m-A_n}\abs{\la x,(A_m-A_n)x\ra}\le 2\norm{A_1}\abs{\la x,A_mx\ra -\la x,A_nx\ra}<2\norm{A_1}\epsilon.\]
 
    Nyní dokážeme omezenost $A$. Ze spojitosti normy dostaneme
    \[\norm{Ax}=\lim\norm{A_nx}\le\lim\norm{A_n}\norm{x}\le\norm{A_1}\norm{x}.\]
 
    Nakonec ze spojitosti skalárního součinu je $\la x,Ax\ra$ limita klesající nezáporné posloupnosti $\la x,A_nx\ra$. Platí tedy
    \[0\le\la x,Ax\ra\le\la x,A_nx\ra,\]
    tj. $0\le A\le A_n$ pro každé $n\in\N$.
  \end{proof}
 
\begin{lemma}
  \label{ABnezap}
  Nechť $A,B\in\B(\H)$, $A\ge 0$, $B\ge 0$ a $AB=BA$. Potom $AB\ge 0$. Jinými slovy součin pozitivních komutujících operátorů je pozitivní.
  \begin{proof}
    Definujme posloupnost $A_n\in\B(\H)$:
    \[A_1=A,\quad
    A_{n+1}=A-\sum_{k=1}^n A_k^2=
    \left(A-\sum_{k=1}^{n-1}A_k^2\right)-A_n^2.\]
    Zřejmě $A_{n+1}=A_n-A_n^2$. Bez újmy na obecnosti můžeme
    předpokládat, že $\norm{A}\le 1$. Pak platí, že
    \[\sup_{\norm{x}=1}\la x,Ax\ra=\norm{A}\le 1,\]
    a z~toho plyne, že pro každé $x$ je $\la x,Ax\ra\le\norm{x}^2=\la x,x\ra$, a
    tedy $0\le A\le I$. Dokážeme, že pro každé $n$ je $0\le A_n\le I$.
    \begin{enumerate}
    \item $n=1$: $A_1=A\le I$.
    \item $n\to n+1$: Z~předpokladu $0\le A_n\le I$ plyne
      \[\la x,A_n^2x\ra =\la A_n x,A_n x\ra =\norm{A_n x}^2\le
      \norm{A_n}\la x,A_n x\ra\le\la x,A_n x\ra.\]
      Z~toho také plyne, že
      \[0\le\la x,(A_n-A_n^2)x\ra=\la x,A_{n+1}x\ra,\]
      a proto $0\le A_{n+1}$. Konečně $A_{n+1}=A_n-A_n^2\le A_n\le I$.
    \end{enumerate}
    Protože pro každé $n\in\N$ je $A_n^2\ge 0$ a $A_{n+1}\le
    A_{n+1}+A_n^2=A_n$, je $A_2\ge A_3\ge\dots\ge A_{n+1}\ge\dots\ge
    0$.  Podle předchozího lemmatu existuje $\slim A_n$, a tedy
    existuje i
    \[\slim_{n\to\infty}\sum_{k=1}^n A_k^2=\sum_{k=1}^\infty A_k^2.\]
    Díky spojitosti skalárního součinu platí pro každé $x\in\H$
    \[\infty>\left\langle x,\sum_{k=1}^\infty A_k^2 x\right\rangle=
    \sum_{k=1}^\infty\langle x,A_k^2 x\rangle=
    \sum_{k=1}^\infty\norm{A_k x}^2.\]
    Pro každé $x$ je proto $\lim_{k\to\infty}\norm{A_k x}=0$ a
    $\slim_{n\to\infty}A_n=0$. Proto (v~silném smyslu) platí
    \[\sum_{k=1}^\infty A_k^2=A.\]
    Z~konstrukce posloupnosti $\{A_n\}$ plyne, že $A_n=p_n(A)$, kde
    $p_n$ je polynom. Protože $AB=BA$, pro každé $n$ také platí
    $A_nB=BA_n$, a proto
    \[\la x,ABx\ra =\left\langle x,\sum_{k=1}^\infty A_k^2 Bx\right\rangle=
    \sum_{k=1}^\infty\la x,A_kBA_k x\ra=
    \sum_{k=1}^\infty\underbrace{\la A_k x,BA_kx\ra}_{\ge 0}\ge 0.\qed\]
    \noqed
  \end{proof}
\end{lemma}
 
\begin{remark}
Triviálně platí naopak, že je-li součin pozitivních operátorů také pozitivní, musejí operátory komutovat. Pozitivita totiž znamená hermitovskost, a tak $BA=B^*A^*=(AB)^*=AB$.
\end{remark}
 
\begin{lemma}
  \label{limkomutuje}
  Nechť $X_n,Y_n\in\B(\H)$ a existují $X=\slim X_n$, $Y=\slim
  Y_n$. Potom $XY=\slim X_nY_n$.
  \begin{proof}
    Pro každé $x$ je
    \[XYx-X_nY_nx=\underbrace{(X-X_n)}_{\to 0}Yx+X_n(Y-Y_n)x.\]
    Z~principu stejnoměrné omezenosti plyne existence $K>0$ takového, že pro každé $n$ je $\norm{X_n}\le K$, a tedy
    $\norm{X_n(Y-Y_n)x}\le K\norm{(Y-Y_n)x}\to 0$.
  \end{proof}
\end{lemma}
 
\begin{theorem}[o odmocnině z operátoru]
  \label{odmocnina}
  Nechť $A\in\B(\H)$, $A\ge 0$. Potom existuje právě jeden
  $B\in\B(\H)$, $B\ge 0$ takový, že $B^2=A$. Navíc pro každý
  $C\in\B(\H)$ platí $CA=AC\iff CB=BC$. Značíme $B=\sqrt{A}=A^{1/2}$.
  \begin{proof}
    \begin{enumerate}
 
\item Existence: Bez újmy na obecnosti můžeme předpokládat, že $\norm{A}\le 1$ (jinak vezmeme $A/\norm A)$ a proto $0\le A\le I$. Vytvoříme posloupnost operátorů $B_n\in\B(\H)$: $B_0=0$,
      $B_{n+1}=B_n+\frac12(A-B_n^2)$. Ukážeme, že $0\le B_n\le
      B_{n+1}\le I$.
      \begin{enumerate}[a)]
      \item Pro $n=0$ je $B_0=0$ a $B_1=\frac12A$ a $0\le B_0\le
        B_1\le I$.
      \item Přechod $n\to n+1$: Protože $0\le B_n\le I$, je $B_n^2\le
        B_n$, neboť
        \[\la x,B_n^2 x\ra=\norm{B_n x}^2\le\norm{B_n}\la x,B_n x\ra
        \le\la x,B_n x\ra.\]
        Dále platí
        \[B_{n+1}=B_n+\frac12(A-B_n^2)\ge B_n+\frac12(A-B_n)=
        \frac12(A+B_n)\ge 0\]
        a
        \[\begin{split}
          I-B_{n+1}&=I-B_n-\frac12(A-B_n^2)=
          \frac12(I-A)+\frac12(B_n^2-2B_n+I^2)=\\
          &=\frac12(I-A)+\frac12(\underbrace{I-B_n}_{\ge0})^2\ge 0,
        \end{split}\]
        tedy $0\le B_{n+1}\le I$.
 
        Nerovnost $B_{n+1}\ge B_n$ je splněna, právě když $A\ge
        B_n^2$. Předpokládejme, že pro $n-1$ to platí. Potom
        \[\begin{split}
          A-B_n^2&=A-\left(B_{n-1}+\frac12(A-B_{n-1}^2)\right)^2=\\
          &=A-B_{n-1}^2-B_{n-1}(A-B_{n-1}^2)-\frac14(A-B_{n-1}^2)^2=\\
          &=(A-B_{n-1}^2)\left(I-B_{n-1}-\frac14(A-B_{n-1}^2)\right)=\\
          &=(A-B_{n-1}^2)\left(I-\frac12B_{n-1}-\frac12B_n\right)=\\
          &=(A-B_{n-1}^2)\left(\frac12(I-B_{n-1})+\frac12(I-B_n)\right)
          \ge 0,
        \end{split}\]
        protože $A-B_{n-1}^2\ge 0$, $I-B_{n-1}\ge 0$ a $I-B_n\ge 0$.
        Předchozí úpravy jsou korektní, neboť $B_n$ je polynom v~A~a
        pro $C\in\B(\H)$ komutující s~$A$ také platí $CB_n=B_nC$.
        Specielně pro každé $n$ je $AB_n=B_n A$ a pro každé $m,n$ je
        $B_nB_m=B_mB_n$.
      \end{enumerate}
 
      Protože $0\le B_n\le B_{n+1}\le I$, podle lemmatu \ref{slim}
      (aplikovaného na $B_n'=I-B_n$) existuje $\slim B_n$ a pro každé
      $n\in\N$ je $B_n\le B\le I$. Navíc, protože $CA=AC$ a tedy
      $CB_n=B_nC$, je podle lemmatu \ref{limkomutuje} $CB=BC$.
 
      Specielně $\slim B_n^2=B^2$ a protože
      $B_{n+1}=B_n+\frac12(A-B_n^2)$, limitním přechodem dostáváme
      $B=B+\frac12(A-B^2)$. Tedy $B^2=A$.
    \item Jednoznačnost: Nechť $\tilde B\in\B(\H)$, $\tilde B\ge
      0$, $A=\tilde B^2$. Potom $\tilde BA=A\tilde B$, $B\tilde
      B=\tilde B B$ a $0=B^2-\tilde B^2=(B+\tilde B)(B-\tilde B)$.
 
      Buď $x\in\H$ libovolné, $y=(B-\tilde B)x$. Potom $(B+\tilde
      B)y=0$. Dále platí
      \[0=\la y,(B+\tilde B)y\ra=\underbrace{\la y,By\ra}_{\ge 0}+
      \underbrace{\la y,\tilde By\ra}_{\ge 0},\]
      proto $\la y,By\ra=\la y,\tilde By\ra=0$ a
      $\norm{By}^2\le\norm{B}\la y,By\ra=0$, a tedy $By=0$. Obdobně i
      $\tilde By=0$.
 
      Dále platí $(B-\tilde B)^2x=(B-\tilde B)y=0$, a proto
      \[0=\la x,(B-\tilde B)^2x\ra=\la(B-\tilde B)x,(B-\tilde B)x\ra=
      \norm{(B-\tilde B)x}^2\]
      pro každé $x$. Dokázali jsme tak, že $B=\tilde B$. Tedy $B$ je
      určen jednoznačně.\qed
    \end{enumerate}
    \noqed
  \end{proof}
\end{theorem}
 
\begin{remark}
  Buď $A\in\B(\H)$, $A^*=A$. Potom $A^2\ge 0$, a můžeme tedy definovat
  \uv{absolutní hodnotu} jako $(A^2)^{1/2}=:\abs{A}\ge 0$
  a platí, že $\abs{A}^2=A^2$.
\end{remark}
 
\begin{lemma}
  \label{og_komut1}
  Nechť $A\in\B(\H)$, $A^*=A$ a buď $P$ ortogonální projektor na $\Ker
  A$. Potom pro každé $C\in\B(\H)$ platí $CA=AC\implies CP=PC$.
  \begin{proof}
    Protože $\Ran P=\Ker A$, je $AP=0$. Buď $C\in\B(\H)$,
    $CA=AC$. Potom\\ $0=CAP=ACP\iff\Ran CP\subset\Ker A\iff PCP=CP$,
    neboť $x\in\Ker A$ $\iff Px=x$. Z~vlastností sdruženého operátoru
    plyne $CA=AC\implies AC^*=C^*A$ a tedy $PC^*P=C^*P$, sdružením získáme
    $PCP=PC$ a tedy celkem $CP=PC$.
  \end{proof}
\end{lemma}
 
\begin{lemma}
  \label{og_komut2}
  Nechť $A,B\in\B(\H)$, $A^*=A$, $B^*=B$ a navíc $AB=BA$,
  $A^2=B^2$. Buď $P$ ortogonální projektor na $\Ker(A-B)$. Potom $P$
  komutuje s~$A$ a $B$ a
  \begin{enumerate}[(i)]
  \item $A=PB+(I-P)(-B)$,
  \item $\Ker A=\Ker B\subset\Ker(A-B)\equiv\Ran P$.
  \end{enumerate}
  \begin{proof}
    Protože $A=A^*$, $B=B^*$, je
    \begin{equation}
      \label{eq:og1}
      (A-B)P=0=P(A-B).
    \end{equation}
    Dále, protože $A^2=B^2$ a $AB=BA$, je
    $(A-B)(A+B)=0\iff\Ran(A+B)\subset\Ker(A-B)$, což je ekvivalentní
s~rovností
    \begin{equation}
      \label{eq:og2}
      P(A+B)=A+B.
    \end{equation}
    Z~předchozího lemmatu plyne, že $A(A-B)=(A-B)A\implies AP=PA$,
    $B(A-B)=(A-B)B\implies BP=PB$. Odečtením \eqref{eq:og1} a
    \eqref{eq:og2} dostaneme
    \[2PB=A+B\iff A=2PB-B=PB+(I-P)(-B).\]
    Bod (ii) plyne z rovnosti
    $$A^2= B^2 \Rightarrow \la x,A^2x\ra = \la x,B^2x\ra \Rightarrow \norm{Ax} = \norm{Bx}$$
    %\[x\in\Ker A\iff Ax=0\iff 0=\norm{Ax}^2=(Ax,Ax)=(x,A^2x)\]
    takže $\Ker A = \Ker B$. Zřejmě $x\in\Ker A\implies
    x\in\Ker(A-B)$.
  \end{proof}
\end{lemma}
 
\begin{remark}
   Komutují–li $A$ a~$B$, potom zřejmě platí
 \[A=PB+(I-P)(-B)\Leftrightarrow (BP=AP \wedge B(I-P)=A(I-P))$\]
\end{remark}
 
\begin{theorem}
  Ke každému samosdruženému operátoru $A\in\B(\H)$ existuje právě
  jeden ortogonální projektor $E_+$ s~vlastnostmi:
  \begin{enumerate}[(i)]
  \item $AE_+\ge 0$, $A(I-E_+)\le 0$,
  \item $\Ker A\subset\Ran E_+$.
  \end{enumerate}
  Navíc platí (iii) pro každé $C\in\B(\H)$ $CA=AC\implies CE_+=E_+C$.
  \begin{proof}
    \begin{enumerate}
    \item Existence: V~předchozím lemmatu položíme $B=\abs{A}$,
      $E_+=P$ ortogonální projektor na $\Ker(A-\abs{A})$. Z~lemmatu
      plyne, že $E_+$ komutuje s~$A$ a $\abs{A}$ a dále
      $A=E_+\abs{A}+(I-E_+)(-\abs{A})$. Aplikací $E_+$ na tuto rovnost
      a s využitím lemmatu \ref{ABnezap} dostaneme
      $E_+A=E_+\abs{A}\ge 0$ a $(I-E_+)A=-(I-E_+)\abs{A}\le 0$. Tím je
      dokázán bod (i).
 
      Bod (ii) plyne bezprostředně z bodu (ii) předchozího lemmatu.
 
      Nechť $C\in\B(\H)$, $CA=AC$. Potom i $CA^2=A^2C$ a z~věty o odmocnině
      \ref{odmocnina} plyne $C\abs{A}=\abs{A}C$. Proto
      $C(A-\abs{A})=(A-\abs{A})C$ a podle lemmatu \ref{og_komut1} je
      $CE_+=E_+C$.
    \item Jednoznačnost:  Nechť $\tilde E_+$ splňuje (i), (ii). Položme
      \[\tilde A=\underbrace{\tilde E_+A}_{\ge 0}+\underbrace{(I-\tilde
        E_+)(-A)}_{\ge 0}\ge 0,\] 
      pak $\tilde A^2=\tilde E_+A^2+(I-\tilde
      E_+)A^2=A^2$.  Z~jednoznačnosti absolutní hodnoty pak plyne
      $\tilde A=\abs{A}=E_+A+(I-E_+)(-A)$ a
      \[0=\tilde A-\abs{A}=(\tilde E_+ - E_+)A+(E_+ - \tilde
      E_+)(-A)=2(\tilde E_+ - E_+)A,\]
      protože komutují. 
 
      To je ekvivalentní s~tím, že $\Ran(\tilde E_+ - E_+)\subset\Ker
      A\subset\Ran E_+,\Ran \tilde E_+$, tedy
      \[E_+(\tilde E_+ - E_+)=\tilde E_+ - E_+,\quad
      \tilde E_+(\tilde E_+ - E_+)=\tilde E_+ - E_+,\]
      proto $E_+\tilde E_+=\tilde E_+$, $\tilde E_+E_+=E_+\implies
      E_+\tilde E_+=E_+$ (vlastnosti sdruženého operátoru). Z~toho
      plyne $\tilde E_+=E_+$.\qed
    \end{enumerate}
    \noqed
  \end{proof}
\end{theorem}
 
\begin{define}
  Řekneme, že jednoparametrická množina ortogonálních projektorů
  $\{P_\lambda\}_{\lambda\in\R}$ je \emph{rozkladem jedničky}, právě
  když splňuje
  \begin{enumerate}[(i)]
  \item monotonie: $\lambda\le\mu\implies P_\lambda\le P_\mu$,
  \item silná spojitost zleva: $\slim_{\mu\to\lambda-}P_\mu=P_\lambda$,
  \item existují $-\infty<m\le M<+\infty$ tak, že $P_\lambda=0$ pro každé
    $\lambda\le m$ a $P_\lambda=I$ pro každé $\lambda > M$.
  \end{enumerate}
\end{define}
 
\begin{lemma}
Buďte $P,Q$ ortogonální projektory. Potom jsou následující podmínky ekvivalentní:
  \begin{enumerate}[(i)]
  \item $P\le Q$,
  \item $\Ran P\subset\Ran Q$,
  \item $\Ker Q\subset\Ker P$,
  \item $PQ=QP=P$.
  \end{enumerate}
\end{lemma}
\begin{proof}
Na cvičení.
\end{proof}
 
\begin{lemma}
  Buďte $P,Q$ ortogonální projektory. Potom jsou následující podmínky
  ekvivalentní:
  \begin{enumerate}[(i)]
  \item $\Ran P\perp\Ran Q$,
  \item $PQ=QP=0$,
  \end{enumerate}
  Jsou-li tyto podmínky splněny, řekneme, že jsou projektory $P$ a $Q$ vzájemně kolmé.
\end{lemma}
\begin{proof}
Na cvičení.
\end{proof}
 
V následujících odstavcích bychom chtěli dát smysl výrazu $\int\lambda\d P_\lambda$, jež bude představovat spektrální rozklad pro obecné hermitovské operátory. Ačkoliv by šlo definovat pojem tzv. spektrální míry, provedeme pro jednoduchost konstrukci pouze v Riemannově smyslu.
 
%Projekční míra je zobrazení $(-\infty,\lambda)\mapsto P_\lambda$.
%Buď $\mu<\lambda$, položme
%$\Delta=[\mu,\lambda)=(-\infty,\lambda)\sm(-\infty,\mu)\mapsto
%P_\lambda-P_\mu$. $P(\Delta)=P_\lambda-P_\mu=P_\lambda(I-P_\mu)$ je OG
%projektor. Protože $P_\mu\le P_\lambda$, je $\Ran P_\mu\subset\Ran
%P_\lambda$ a $\Ran P_\lambda=\Ran P_\mu\oplus\Ran(P_\lambda-P_\mu)$.
 
Uvažujme tedy rozklad jednotky $\{P_\lambda\}_{\lambda\in\R}$ a vezměme libovolná čísla $a\le m$ a $b>M$. Uvažujme rozdělení $\nu=(\nu_k)_{k=0}^n$ intervalu $(a,b)$, tj. posloupnost splňující $a=\nu_0<\nu_1<\dots<\nu_n=b$. Definujme dále intervaly $\Delta_k:=[\nu_{k-1},\nu_k)$ pro
$k=1,\dots,n$ a projektory $P(\Delta_k):=P_{\nu_k}-P_{\nu_{k-1}}$. Jedná se jistě o hermitovské operátory a z monotonie snadno ukážeme, že jde skutečně o projektory
\[P(\Delta_k)^2=P_{\nu_k}^2-P_{\nu_k}P_{\nu_{k-1}}-P_{\nu_{k-1}}P_{\nu_k}+P_{\nu_{k-1}}^2=P_{\nu_k}-P_{\nu_{k-1}}=P(\Delta_k).\]
Dále z monotonie ukážeme, že jsou tyto operátory vzájemně kolmé. Předpokládejme $j<k$, pak
\[P(\Delta_j)P(\Delta_k)=(P_{\nu_j}-P_{\nu_{j-1}})(P_{\nu_k}-P_{\nu_{k-1}})=P_{\nu_j}-P_{\nu_{j-1}}-P_{\nu_j}+P_{\nu_{j-1}}=0\]
Díky monotonii projektory komutují, takže rovnost platí i pro opačné pořadí. Výsledek je možné psát v kompaktním tvaru
\[P(\Delta_j)P(\Delta_k)=\delta_{jk}P(\Delta_j).\]
 
Dále si můžeme povšimnout, že
\[\sum_{k=0}^nP(\Delta_k)=P_b-P_a=I.\]
 
Zvolme nyní v každém intervalu $\Delta_k$ libovolné $\tilde\nu_k\in\Delta_k$ a označme
\[A_\nu=\sum_{k=1}^n\tilde\nu_k P(\Delta_k)\in\B(\H),\quad
A_\nu^*=A_\nu.\]
 
\begin{remark}
  Mějme $\{P_j\}_{j=1}^n$ množinu nenulových OG projektorů,
  $P_iP_j=\delta_{ij}P_i$, $\sum_{j=1}^n P_j=I$,
  $\{\lambda_j\}_{j=1}^n\subset\C$. Potom
  \[\norm{\sum_{j=1}^n\lambda_jP_j}=\max_{1\le j\le
    n}\{\abs{\lambda_j}\}.\]
  \begin{proof}
    Označme $X=\sum_{j=1}^n\lambda_jP_j$. Pak
    \[\begin{split}
      \norm{Xu}^2&=\la Xu,Xu\ra=\sum_{i=1}^n\sum_{j=1}^n
      \overline{\lambda_i}\lambda_j\la P_iu,P_ju \ra=
      \sum_{i=1}^n\abs{\lambda_i}^2\la u,P_iu\ra\le\\
      &\le\left(\max_{1\le j\le n}\abs{\lambda_j}\right)^2\sum_{i=1}^n\la u,P_iu\ra=
      \left(\max_{1\le j\le n}\abs{\lambda_j}\right)^2\norm{u}^2,
    \end{split}
    \]
    neboť $(P_iu,P_ju)=(u,P_iP_ju)=\delta_{ij}(u,P_iu)$. Označme
    $\max_{1\le j\le n}\abs{\lambda_j}=\abs{\lambda_{j_0}}$ a zvolme
    $u\in\Ran P_{j_0}$. Pak $Xu=\lambda_{j_0}u$, a proto
    $\norm{X}=\abs{\lambda_{j_0}}$.
  \end{proof}
\end{remark}
 
Označme normu rozdělení $d_\nu=\max_{1\le j\le n}(\nu_j-\nu_{j-1})$. Nyní budeme chtít ukázat, že pro všechny normální posloupnosti rozdělení integrální součet $A_\nu$ konverguje ke stejnému operátoru.
 
Vezměme tedy $\nu=(\nu_k)_{k=0}^n$ a $\mu=(\mu_j)_{j=0}^m$ dvě rozdělení a označme $\sigma=(\sigma_l)_{l=0}^p$ jejich společné zjemnění. Zřejmě je každý interval rozdělení $\sigma$ podintervalem právě jednoho z intervalů rozdělení $\nu$ i $\mu$, tj. pro každé $l$ existuje právě jedno $j$ a právě jedno $k$ tak, že $\Delta_l^\sigma\subset\Delta_j^\mu$ a $\Delta_l^\sigma\subset\Delta_k^\nu$. Položme pak $\sigma_l':=\tilde\mu_j$ a $\sigma_l'':=\tilde\nu_k$. Potom můžeme psát
\[A_\mu=\sum_{j=1}^m\tilde\mu_jP(\Delta_j^\mu)=\sum_{l=1}^p\sigma_l'P(\Delta_l^\sigma),\]
\[A_\nu=\sum_{k=1}^n\tilde\nu_kP(\Delta_k^\nu)=\sum_{l=1}^p\sigma_l''P(\Delta_l^\sigma),\]
takže
\[\norm{A_\mu-A_\nu}=\norm{\sum_{l=1}^p(\sigma_l'-\sigma_l'')P(\Delta_l^\sigma)}\le\max_{l\in\hat p}\abs{\sigma_l'-\sigma_l''}=\max_{\Delta_j^\mu\cap\Delta_k^\nu\neq\emptyset}\abs{\tilde\mu_j-\tilde\nu_k}\le d_\mu+d_\nu.\]
 
 
\begin{dusl}
  Je-li $\nu^{(k)}=\{\nu_j^{(k)}\}_{j=0}^{n_k}$ taková posloupnost
  rozdělení, že $\lim_{k\to\infty}d_{\nu(k)}=0$, potom $A_{\nu^{(k)}}$
  je cauchyovská posloupnost v~$\B(\H)$, a tedy existuje
  $A=\lim_{k\to\infty}A_{\nu^{(k)}}$ v~$\B(\H)$, $A^*=A$. Navíc $A$
  nezávisí na volbě $\nu^{(k)}$.
  \begin{proof}
    Zvolme druhou posloupnost $\sigma^{(k)}$, že
    $\lim_{k\to\infty}d_{\sigma^{(k)}}=0$, potom $\lim
    A_{\nu^{(k)}}=\lim A_{\sigma^{(k)}}$. Zavedeme $\mu^{(k)}$:
    $\nu^{(1)},\sigma^{(1)},\nu^{(2)},\sigma^{(2)},\dots$,  Opět $\lim
    d_\mu^{(k)}=0$ a tedy $\lim A_{\mu^{(k)}}$ existuje a je stejná
    jako limity vybraných posloupností $A_{\sigma^{(k)}}$ a
    $A_{\nu^{(k)}}$.
  \end{proof}
\end{dusl}
 
Závěr tedy je, že integrál $\int\lambda\d P_\lambda$ pro daný rozklad jednotky $\{P_\lambda\}$ existuje v Riemannově smyslu. Nyní ukážeme, že každý hermitovský operátor lze tímto způsobem rozvinout.
 
\begin{theorem}
  \label{rozklad1}
  Ke každému $A\in\B(\H)$, $A^*=A$, existuje právě jeden rozklad identity
  $\{P_\lambda\}_{\lambda\in\R}$ takový, že $A=\int\lambda\,\d
  P_\lambda$. Navíc pro každé $C\in\B(\H)$ platí
  $CA=AC\iff\forall\lambda\ CP_\lambda=P_\lambda C$.
  \begin{proof}
    Z~předchozích lemmat víme, že pro $A=A^*$ existuje právě jeden
    projektor $E_+[A]$: $AE_+[A]\ge 0$, $A(I-E_+[A])\le 0$, $\Ker
    A\subset\Ran E_+[A]$.
 
    Pro každé $\lambda$ položme $P_\lambda=I-E_+[A-\lambda]$, kde
    $E_+[A-\lambda]$ je projektor $E_+$ odpovídající operátoru
    $A-\lambda$. Ukážeme, že $P_\lambda$ je rozklad jedničky:
    \begin{enumerate}
    \item Položme $\lambda\le m_A=\inf_{\norm{x}=1}\la x,Ax\ra$. Pro každé
      $x\not=0$ je $\lambda\la x,x\ra\le m_A\la x,x\ra\le\la x,Ax\ra$ a tedy
      $0\le\la x,(A-\lambda)x\ra$. Proto $A-\lambda=\abs{A-\lambda}$, $\Ker
      (A-\lambda-\abs{A-\lambda})=\H$, $\Ran E_+[A-\lambda]=\H$ a
      $E_+[A-\lambda]=I\implies P_\lambda=0$.
    \item Buď $\lambda>M_A$. Potom pro $x\not=0$ je
      $\lambda\la x,x\ra>M_A\la x,x\ra\ge\la x,Ax\ra$ a
      $0\ge(\la x,(A-\lambda)x\ra$. Předpokládejme, že
      $0\not=x\in\Ker(A-\lambda)$. Potom by $\la x,\lambda x\ra=\la x,Ax\ra\le
      M_A\la x,x\ra$ a $\lambda\la x,x\ra>M_A\la x,x\ra\ge\la x,Ax\ra=\la x,\lambda
      x\ra=\lambda\la x,x\ra$, což je spor. Tedy
      $\Ker(A-\lambda)=\{0\}$. Nulový operátor splňuje všechny
      požadavky kladené na $E_+$ a z~jednoznačnosti
      $E_+[A-\lambda]=0$.
    \item Buď $\lambda<\mu$. Ukážeme, že $P_\lambda P_\mu=P_\lambda\iff
      0=P_\lambda(I-P_\mu)$. Z~vlastností projektoru $E_+$ a
      nezápornosti (libovolného) projektoru plyne
      \[\underbrace{P_\lambda}_{\ge 0}
      \underbrace{(I-P_\mu)(A-\mu)}_{\ge 0}\ge 0,
      \quad
      \underbrace{(A-\lambda)P_\lambda}_{\le 0}
      \underbrace{(I-P_\mu)}_{\ge 0}\le 0.
      \]
      Spojením obou nerovností dostaneme
      \[\mu P_\lambda(I-P_\mu)\le AP_\lambda(I-P_\mu)\le
      \lambda P_\lambda(I-P_\mu).\]
      Pro každé $x$ tak platí
      \[\mu\la x,P_\lambda(I-P_\mu)x\ra\le\lambda\la x,P_\lambda(I-P_\mu)x\ra,\]
      a protože $\lambda<\mu$, je
      \[0\le\underbrace{(\lambda-\mu)}_{<0}
      \underbrace{\la x,P_\lambda(I-P_\mu)x\ra}_{\ge 0}.\]
      Z~toho plyne, že pro každé $x$ je
      \[0=\la x,P_\lambda(I-P_\mu)x\ra=\la x,P_\lambda^2(I-P_\mu)^2x\ra=
      \norm{P_\lambda(I-P_\mu)x}^2,\]
      a tedy $P_\lambda(I-P_\mu)=0$.
    \item Buď $\lambda<\mu$,
      $P([\lambda,\mu))=P_\mu-P_\lambda=P_\mu(I-P_\lambda)$.
Z~monotonie podle lemmatu \ref{slim} plyne existence
      $\slim_{\lambda\to\mu-}P_\lambda=P_{\mu-0}$, označme
      $P_0=P_\mu-P_{\mu-0}=\slim_{\lambda\to\mu-}P([\lambda,\mu))$.
 
      Obdobně jako výše se ukáže nerovnost $\lambda P(\Delta)\le
      AP(\Delta)\le\mu P(\Delta)$. Limitním přechodem dostáváme
      $\mu P_0\le AP_0\le\mu P_0\implies (A-\mu)P_0=0\iff \Ran
      P_0\subset\Ker(A-\mu)\subset\Ran E_+[A-\mu]=\Ran(I-P_\mu)$.
Z~toho dále plyne $P_0\le I-P_\mu\iff P_0(I-P_\mu)=P_0\iff
      P_0P_\mu=0$. Současně $P([\lambda,\mu))P_\mu=
      (P_\mu-P_\lambda)P_\mu=P_\mu-P_\lambda=P([\lambda,\mu))$.
      Po provedení limity $P_0P_\mu=P_0$. Celkem $P_0=0$, takže
      $P_\lambda$ je spojitá zleva.
    \item Zbývá dokázat rovnost
      \[A=\int\lambda\,\d P_\lambda=\lim
      A_\nu=\lim\sum\tilde\nu_iP(\Delta_i^\nu).\]
      Opět jako předtím ukážeme $\nu_{i-1}P(\Delta_i^\nu)\le
      AP(\Delta_i^\nu)\le\nu_i P(\Delta_i^\nu)$. Platí
      \[A-A_\nu=\sum_i AP(\Delta_i^\nu)-
      \sum_i\tilde\nu_i P(\Delta_i^\nu)\le
      \sum_i(\nu_i-\tilde\nu_i)P(\Delta_i^\nu)\le
      \sum_i d_\nu P(\Delta_i^\nu)=d_\nu I.\]
      Podobně se to odhadne zdola: $A-A_\nu\ge-d_\nu I$. Celkem pro
      každé $x$ platí
      \[-d_\nu\la x,x\ra\le\la x,(A-A_\nu)x\ra\le d_\nu\la x,x\ra\]
      a pro $x\not=0$
      \[\frac{\abs{\la x,(A-A_\nu)x\ra}}{\la x,x\ra}\le d_\nu.\]
      Protože $A-A_\nu$ je samosdružený, je
      \[\norm{A-A_\nu}=\sup_{x\not=0}
      \frac{\abs{\la x,(A-A_\nu)x\ra}}{\la x,x\ra}\le d_\nu.\]
      Je-li $\lim d_{\nu^{(k)}}=0$, potom $\lim A_{\nu^{(k)}}=A$
v~$\B(\H)$ a proto $A=\int\lambda\,\d P_\lambda$.
    \item Komutativnost: Je-li $CP_\lambda=P_\lambda C$, pak i
      $CP(\Delta_i^\nu)=P(\Delta_i^\nu)C$ a $CA_\nu=A_\nu C$,
      po provedení limity $CA=AC$. 
 
      Je-li $CA=AC$, pak $C(A-\lambda)=(A-\lambda)C$, z~lemmatu pak
      plyne $CE_+[A-\lambda]=E_+[A-\lambda]C$, $CP_\lambda=P_\lambda
      C$.
    \item Jednoznačnost $P_\lambda$ dokážeme později.\qed
    \end{enumerate}
    \noqed
  \end{proof}
\end{theorem}
 
\begin{lemma}
  Buď $A\in\B(\H)$ normální. Potom $\norm{A}=r_\sigma(A)$.
  \begin{proof}
    Platí
    \[\begin{split}
      \norm{Ax}^2&=\la Ax,Ax\ra=\la x,A^*Ax\ra\le\norm{x}\norm{A^*Ax}=\\
      &=\norm{x}\sqrt{\la A^*Ax,A^*Ax\ra}=\norm{x}\sqrt{\la A^2x,A^2x\ra}=
      \norm{x}\norm{A^2x} \le \norm{A^2}\norm{x}^2,
    \end{split}\]
    dále postupujeme jako v~důkazu věty \ref{norma_herm}.
  \end{proof}
\end{lemma}
 
Buď $A=A^*\in\B(\H)$, $p$ polynom. Umíme spočítat $p(A)$. Buď
$f\in\c([m_A,M_A])$. Protože $A=A^*$, je $p(A)$ normální (hermitovský být nemusí, pokud nemá polynom reálné koeficienty) a platí
\[\begin{split}
  \norm{p(A)}&=r_\sigma(p(A))=\sup\{\abs{\lambda}|\lambda\in\sigma(p(A))\}=
  \sup\{\abs{\lambda}|\lambda\in p(\sigma(A))\}=\\
  &=\sup\{\abs{p(\xi)}|\xi\in\sigma(A)\}\le
  \sup\{\abs{p(\xi)}|\xi\in[m_A,M_A]\}=\norm{p}_\infty.
\end{split}\]
Z~Weierstrasse plyne, že pro $f\in\c([m_A,M_A])$ existuje posloupnost
polynomů $p_n$ taková, že $\lim\norm{f-p_n}_\infty=0$. Posloupnost $p_n$ je
cauchyovská v~$\c([m_A,M_A])$ a z~nerovnosti
$\norm{p_n(A)-p_m(A)}\le\norm{p_n-p_m}_\infty$ plyne, že i $p_n(A)$ je
cauchyovská v~$\B(\H)$, tudíž existuje $\lim p_n(A)$ v~$\B(\H)$.
 
Tato limita nezávisí na volbě $p_n$. Pokud $q_n\to f$
v~$\c([m_A,M_A])$, položíme $(r_n)=(p_1,q_1,p_2,q_2,\dots)$ a $r_n\to f$
v~$\c([m_A,M_A])$ a podle věty o~vybraných posloupnostech $\lim
p_n(A)=\lim q_n(A)=\lim r_n(A)$.
 
Pokládáme $f(A)=\lim p_n(A)\in\B(H)$. Protože
$p_n(A)p_n(A)^*=p_n(A)^*p_n(A)$, je i $f(A)f(A)^*=f(A)^*f(A)$, a tedy
$f(A)$ je normální. Je-li $f$ reálná, lze i $p_n$ volit reálné a
$p_n(A)^*=p_n(A)$, a tudíž i $f(A)^*=f(A)$. Je-li $f$ komplexní, je
$\overline{p_n}(A)=p_n(A)^*$ a $\overline f(A)=f(A)^*$. Pro normu
$f(A)$ platí odhad
\[\norm{f(A)}=\lim_{n\to\infty}\norm{p_n(A)}\le
\lim_{n\to\infty}\norm{p_n}_\infty=\norm{f}_\infty.\]
 
\begin{define}
  Nechť $\{P_\lambda\}$ je rozklad jedničky, $P_\lambda\equiv 0$ pro
  $\lambda\le m$, $P_\lambda\equiv I$ pro $\lambda>M$. Je-li
  $f\in\c([m,M])$, pak
  \[
  \int f(\lambda)\,\d P_\lambda=\lim_{d(\nu)\to 0}\sum f(\tilde\nu_i)
  P(\Delta_i^\nu)\in\B(\H).
  \]
  Korektnost definice, tj. existence a jednoznačnost limity se ověří
  podobně jako u~$\int\lambda\,\d P_\lambda$.
\end{define}
 
\begin{theorem}
  Je-li $A=\int\lambda\,\d P_\lambda$, potom $f(A)=\int f(\lambda)\,\d
  P_\lambda$.
  \begin{proof}
    Položme nejprve $f(\lambda)=\lambda^n$, $n\in\N_0$. Potom
    \[\int\lambda^n\,\d P_\lambda=
    \lim_{d(\nu)\to 0}\sum_i\tilde\nu_i^n P(\Delta_i^\nu)=
    \lim_{d(\nu)\to 0}\left(\sum_i\tilde\nu_i
      P(\Delta_i^\nu)\right)^n=
    \left(\int\lambda\,\d P_\lambda\right)^n=A^n,\]
    neboť při umocňování smíšené členy vypadnou díky tomu, že
    $P(\Delta_i^\nu)P(\Delta_j^\nu)=\delta_{ij}P(\Delta_i^\nu)$. Díky
    aditivitě pak tvrzení platí pro libovolný polynom.
 
    Normu integrálu lze odhadnout jako
    \[\norm{\int f(\lambda)\,\d P_\lambda}=\lim_{d(\nu)\to 0}
    \norm{\sum_i f(\tilde\nu_i)P(\Delta_i^\nu)}
    \le\lim_{d(\nu)\to 0}\max_i\abs{f(\tilde\nu_i)}\le
    \norm{f}_\infty.\]
    Důsledkem odhadu je následující tvrzení: Jestliže $f_n\to f$
v~$\c([m,M])$, potom $\lim\int f_n(\lambda)\,\d P_\lambda=\int
    f(\lambda)\,\d P_\lambda$.
 
    Zvolíme posloupnost polynomů $p_n\to f$ v~$\c([m_A,M_A])$, potom
    \[f(A)=\lim p_n(A)=\lim\int p_n(\lambda)\,\d P_\lambda=\int
    f(\lambda)\,\d P_\lambda.\qed\]
    \noqed
  \end{proof}
\end{theorem}
 
\begin{remark}
  Buďte $f,g\in\c([m,M])$ reálné, $f(t)<g(t)$ pro každé
  $t\in[m,M]$. Potom
  \[\int f(\lambda)\,\d P_\lambda\le\int g(\lambda)\,\d P_\lambda.\]
  \begin{proof}
    Pro každé $\nu$ platí
    \[\sum_{i}f(\tilde\nu_i)P(\Delta_i^\nu)\le
    \sum_{i}g(\tilde\nu_i)P(\Delta_i^\nu).\qed\]
    \noqed
  \end{proof}
\end{remark}
 
\begin{proof}[Důkaz jednoznačnosti rozkladu jedničky (věta \ref{rozklad1})]
  Buď $A=A^*\in\B(\H)$. Nechť $\{P_\lambda\}_{\lambda\in\R}$ je
  rozklad jedničky takový, že $A=\int\lambda\,\d P_\lambda$. Zvolíme
  posloupnost funkcí $f_n\in\c(\R)$, $0\le f_n\le 1$ ($\lambda_0$ je
  libovolné pevné):
  \[
  f_n(\lambda)=
  \begin{cases}
    1& \lambda\le\lambda_0-\frac1n\\
    0& \lambda\ge\lambda_0\\
    \text{lineární}& \lambda\in[\lambda-\frac1n,\lambda_0].
  \end{cases}
  \]
  Ukážeme, že $P_{\lambda_0-\frac1n}\le f_n(A)=\int f_n(\lambda)\,\d
  P_\lambda\le P_{\lambda_0}$: Zvolíme posloupnost rozdělení
  $\nu^{(k)}$, $\lambda_0$ a $\lambda_0-\frac1n$ je dělicí bod pro
  každé $k$, $d(\nu^{(k)})\to 0$. Potom ($\lambda_0=\nu_{i(k)}$)
  \[\sum_i f_n(\tilde\nu_i)P(\Delta_i^\nu)=
  \sum_{i\le i(k)}f_n(\tilde\nu_i)P(\Delta_i^\nu)\le
  \sum_{i\le i(k)}P(\Delta_i^\nu)=P((-\infty,\nu_{i(k)}))=
  P_{\lambda_0},\]
  neboť pro $i>i(k)$ je
  $\tilde\nu_i\in\Delta_i^\nu\subset[\lambda_0,+\infty)$ a
  $f_n(\tilde\nu_i)=0$. Obdobně se odhadne $\ge P_{\lambda_0-\frac1n}$.
  Provedením limity z monotonie dostaneme rovnost
  \[P_{\lambda_0}=\slim_{n\to\infty}f_n(A).\]
  Pravá strana nezávisí na rozkladu jedničky, takže rozklad
  $P_\lambda$ je jednoznačný.
\end{proof}
 
\begin{remark}
  \begin{enumerate}
  \item Buďte $f,g\in\c([m,M])$. Potom $f(A)g(A)=(fg)(A)$.
    \begin{proof}
      Zvolme $p_n\to f$, $q_n\to g$ posloupnosti polynomů, potom
      $p_nq_n\to fg$. Dále je
      \[(fg)(A)=\lim (p_nq_n)(A)=\lim p_n(A)q_n(A)=f(A)g(A).\qed\]
      \noqed
    \end{proof}
  \item Nechť $P_\lambda$ je konstantní na $[a,b]$, $f\in\c$, $\supp
    f\subset[a,b]$. Potom $\int f(\lambda)\,\d P_\lambda=0$.
    \begin{proof}
      Můžeme požadovat, aby $a,b$ byly dělicí body. Potom buď
      $\Delta_i^\nu\subset[a,b)$ a
      $P(\Delta_i^\nu)=P_{\nu_i}-P_{\nu_{i-1}}=0$ nebo
      $\Delta_i^\nu\cap[a,b)=\emptyset$ a
      $f(\tilde\nu_i)=0$. Proto
      \[\sum_i f(\tilde\nu_i)P(\Delta_i^\nu)=0\]
      pro každé takové $\nu$.
    \end{proof}
  \item Buď $A=\int\lambda\,\d P_\lambda$. Pak
    \[\la x,Ax\ra=\lim\la x,A_\nu x\ra=
    \lim\sum_i\tilde\nu_i\la x,P(\Delta_i^\nu)x\ra=
    \int\lambda\,\d\la x,P_\lambda x\ra,\]
    což je Riemann--Stieltjesův integrál s~distribuční funkcí
    $F(\lambda)=\la x,P_\lambda x\ra$ a mírou $\mu([a,b))=F(b)-F(a)$, a
    platí $F(x)=0$ pro $\lambda < m$, $F(x)=\norm{x}^2$ pro
    $\lambda>M$. Stejně tak je
    \[\la x,f(A)x\ra=\int f(\lambda)\,\d\la x,P_\lambda x\ra\]
    a
    \[\norm{Ax}^2=\la Ax,Ax\ra=\la x,A^2x\ra=\int\lambda^2\,\d\la x,P_\lambda x\ra.\]
  \end{enumerate}
\end{remark}
 
\begin{theorem}
  Nechť $\{P_\lambda\}$ je rozklad jedničky a $A=\int\lambda\,\d
  P_\lambda$. Potom
  \begin{enumerate}[(i)]
  \item $\lambda\in\rho(A)\cap\R$, právě když $P_\lambda$ je
    konstantní na nějakém okolí $\lambda$.
  \item $\lambda\in\sigma_P(A)$, právě když $P_0=P_{\lambda+0}-P_\lambda\not=0$.
  \end{enumerate}
  Navíc $P_0$ je ortogonální projektor na $\Ker(A-\lambda)$.
  \begin{proof}
    \begin{enumerate}
    \item (i) $\Leftarrow$: Položme $f=x-\lambda$,
      \[g(x)=
      \begin{cases}
        \frac1{x-\lambda}&\abs{x-\lambda}\ge\epsilon\\
        \text{lineární}&\abs{x-\lambda}\le\epsilon.
      \end{cases}
      \]
      Zvolíme $\epsilon>0$ tak, aby $P_\lambda$ byla konstantní na
      $[\lambda-\epsilon,\lambda+\epsilon]$. Zřejmě $f(A)=A-\lambda$,
      dále je $f(x)g(x)-1\in\c(\R)$,
      $\supp(fg-1)\subset[\lambda-\epsilon,\lambda+\epsilon]$, podle
      předchozích poznámek je tedy $(fg-1)(A)=0$ a
      $(A-\lambda)g(A)-I=f(A)g(A)-I=0$, $(A-\lambda)g(A)=I$,protože je $g$ omezené, 
      $g(A)=(A-\lambda)^{-1}\in\B(\H)$ a tedy $\lambda\in\rho(A)$.
    \item (i) $\Rightarrow$: Nechť $\lambda\in\rho(A)\cap\R$, podle Weylova
      kritéria existuje $M>0$ tak, že $\norm{(A-\lambda)x}\ge
      M\norm{x}$ pro každé $x$. Zvolme $\Delta=[\lambda-\frac
      M2,\lambda+\frac M2)$. Stejně jako v~důkazu věty \ref{rozklad1}
      ukážeme nerovnost
      \[\left(\lambda-\frac M2\right)P(\Delta)\le P(\Delta)A\le
      \left(\lambda+\frac M2\right)P(\Delta).\]
      Tu lze přepsat ve tvaru
      \[-\frac M2 P(\Delta)\le(A-\lambda)P(\Delta)\le
      \frac M2 P(\Delta).\]
      Pokud $P(\Delta)\not=0$, je $\norm{P(\Delta)}=1$ a musí platit
      \[\norm{(A-\lambda)P(\Delta)}=
      \sup_{\norm{x}=1}\abs{\la x,(A-\lambda)P(\Delta)x\ra}\le
      \sup_{\norm{x}=1}\frac M2\abs{\la x,P(\Delta)x\ra}=\frac M2.\]
      Potom ale pro $x\in\Ran P(\Delta)$ platí
      \[\frac M2\norm{x}\ge\norm{(A-\lambda)P(\Delta)x}=
      \norm{(A-\lambda)x}\ge M\norm{x},\]
      což je spor.
    \item (ii) Stačí dokázat, že $\Ker(A-\lambda) = \Ran P_0$
 
    \begin{enumerate}
     \item[$\supset:$]
 
    Buď $\mu>\lambda$, $P([\lambda,\mu))=P_\mu-P_\lambda$,
      \[P_0=P_{\lambda+0}-P_\lambda=\slim_{\mu\to\lambda+}P([\lambda,\mu)).\]
      Opět
      \[\lambda P([\lambda,\mu))\le AP([\lambda,\mu))\le
      \mu P([\lambda,\mu)).\]
      Limitním přechodem $\mu\to\lambda+$ dostáváme $\lambda P_0\le
      AP_0\le\lambda P_0\implies (A-\lambda)P_0=0$, což je
      ekvivalentní s~inkluzí $\Ran P_0\subset\Ker(A-\lambda)$.
 
      \item[$\subset:$] Buď $x\in\Ker(A-\lambda)$. Potom
      \[0=\norm{(A-\lambda)x}^2 =\la x,(A-\lambda)^2 x\ra=\int(\mu-\lambda)^2\,\d\la x,P_\mu x\ra,\]
      z~čehož plyne nulovost míry $(-\infty,\lambda)$ a
      $(\lambda,+\infty)$. Proto zobrazení $\mu\mapsto \la x,P_\mu x\ra$ je
      konstantní pro $\mu<\lambda$ a $\mu>\lambda$. Z definice rozkladu jednotky proto musí být 
      nutně $\norm{P_\mu x}^2=\la x,P_\mu x\ra=0$ pro $\mu<\lambda$ a
      $\norm{P_\mu x}^2=\la x,P_\mu x\ra=\norm{x}^2$ pro $\mu>\lambda$. 
 
      Z~toho plyne, že
      \[P_\mu x=
      \begin{cases}
        0&\mu<\lambda\\
        x&\mu>\lambda.
      \end{cases}
      \]
      Protože $P_\lambda$ je spojité zleva, je $P_\lambda x=0$ a
      \[P_0 x=\lim_{\mu\to\lambda+}(P_\mu-P_\lambda)x=
      \lim_{\mu\to\lambda+}x=x.\]
      Tedy $x\in\Ran P_0$ a $\Ker(A-\lambda)\subset\Ran P_0$.
 
      Celkem $\Ker(A-\lambda)=\Ran P_0$ a z~toho také plyne tvrzení
      (ii).\qed
      \end{enumerate}
    \end{enumerate}
    \noqed
  \end{proof}
\end{theorem}