Calcul fonctionnel holomorphe

On suppose dans cette section que T est une matrice carrée n × n à coefficients complexes.

Pour certaines fonctions simples f, il y a des façons naturelles de définir f (T). Par exemple, si ${\displaystyle p(z)=\sum _{i=0}^{m}a_{i}z^{i}}$ est un polynôme à coefficients complexes, il suffit de remplacer z par T pour définir ${\displaystyle p(T)=\sum _{i=0}^{m}a_{i}T^{i}}$, où T⁰ = I, la matrice identité (d'ordre n). C'est le calcul fonctionnel polynomial, définissant un homomorphisme de l'algèbre des polynômes vers l'algèbre des matrices n × n.

Ce cas se généralise sans difficulté à celui d'une fonction ${\displaystyle f:{\mathbb {C} }\rightarrow {\mathbb {C} }}$ partout holomorphe, c'est-à-dire à une fonction entière, pour laquelle la série de Taylor ${\displaystyle f(z)=\sum _{i=0}^{\infty }a_{i}z^{i},}$ a un rayon de convergence infini. Dans ce cas, en effet, définissant ${\displaystyle f(T)=\sum _{i=0}^{\infty }a_{i}T^{i}}$, cette série convergera (plus généralement, elle convergera normalement si T est un opérateur borné pour la norme utilisée).

Un exemple important est le cas de l'application exponentielle, et en particulier de l'exponentielle de matrice. On obtient (prenant pour f la fonction exponentielle usuelle)

${\displaystyle f(T)={\rm {e}}^{T}=I+T+{\frac {T^{2}}{2!}}+{\frac {T^{3}}{3!}}+\cdots .}$

Il n'est pas vraiment nécessaire que la série de Taylor de f converge partout ; il est clair qu'il suffit que son rayon de convergence soit supérieur à ${\displaystyle \|T\|}$, la norme d'opérateur de T. Bien que cela permet d'étendre la classe des fonctions f pour lesquelles on peut définir f (T), cela est loin d'être suffisant dans tous les cas. Ainsi, on sait (voir logarithme d'une matrice) que toute matrice T non singulière possède un logarithme, c'est-à-dire une matrice S telle que e^S = T. Ce logarithme ne peut pas être construit en général à l'aide d'une série entière, car la série ${\displaystyle \ln(z+1)=z-{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}-\cdots }$ est de rayon de convergence 1, et donc la série correspondante ne donnera pas ln(T + I), même si T + I est inversible, dès que ${\displaystyle \|T\|\geq 1.\,}$ C'est ce qui explique la nécessité d'un calcul fonctionnel plus général.

On s'attend à ce qu'une condition nécessaire pour que f (T) ait un sens est que f soit définie sur le spectre de T. Ainsi, pour toute matrice diagonalisable T (c'est-à-dire telle que T = PDP⁻¹, où D est une matrice diagonale), on a une définition naturelle de f (T) donnée par f (T) = P f (D) P⁻¹, où f (D) est la matrice diagonale dont les éléments sont les images par f de ceux de D. Cette construction échoue si f n'est pas définie sur certains de ces éléments diagonaux, lesquels sont les valeurs propres de T.

D'autres indications tendent à confirmer cette idée. Ainsi, si ${\displaystyle f(z)={\frac {1}{(z-2)(z-5)}}}$, une définition raisonnable de f (T) serait f (T) = (T – 2I)⁻¹(T – 5I)⁻¹. Cependant, cette expression n'a pas de sens si les inverses du membre de droite n'existent pas, et donc si 2 ou 5 sont des valeurs propres de T.

Plus généralement, pour un opérateur borné T, f devra être définie sur les valeurs spectrales de T, c'est-à-dire sur les nombres complexes λ pour lesquels l'opérateur T – λI n'a pas un inverse qui soit un opérateur continu ; toute valeur propre est une valeur spectrale, mais la réciproque n'est pas vraie en général.

Pour une fonction continue g définie sur un voisinage ouvert de Γ et prenant ses valeurs dans L(X), l'intégrale de contour ∫_Γg est définie de façon analogue au cas scalaire : on paramètre chaque γ_i ∈ Γ par un intervalle réel [a, b], et l'intégrale est la limite des sommes de Riemann obtenues pour des partitions de plus en plus fines de [a, b], ces sommes convergeant au sens de la norme des opérateurs (g étant continue, il n'est pas nécessaire d'utiliser une intégrale plus générale, telle que l'intégrale de Bochner). On définit alors ${\displaystyle \int _{\Gamma }g=\sum _{i}\int _{\gamma _{i}}g.}$

ƒ est supposée être holomorphe (donc continue) sur un voisinage ouvert de Γ ; il en est de même de l'application résolvante, comme ce sera démontré plus bas ; ainsi, l'intégrale ${\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }\!f(\zeta )(\zeta -T)^{-1}\,d\zeta }$ est bien définie.

L'application ${\displaystyle \zeta \to (\zeta -T)^{-1}}$ s'appelle l’application résolvante de T. Elle est définie sur le complémentaire du spectre σ(T), appelé l’ensemble résolvant de T, et que l'on notera désormais ρ(T). La théorie classique des fonctions holomorphes complexes repose sur les propriétés de l'intégrale ${\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }\!(\zeta -z)^{-1}\,d\zeta }$ ; le calcul fonctionnel holomorphe fait jouer un rôle analogue aux propriétés de l'intégrale de la résolvante ; celles-ci sont détaillées ci-dessous.

Un calcul direct montre que, pour z₁, z₂ ∈ ρ(T), ${\displaystyle (z_{1}-T)^{-1}-(z_{2}-T)^{-1}=(z_{1}-T)^{-1}(z_{2}-z_{1})(z_{2}-T)^{-1}.\,}$ On en déduit que ${\displaystyle (z_{1}-T)^{-1}(z_{2}-T)^{-1}={\frac {(z_{1}-T)^{-1}-(z_{2}-T)^{-1}}{(z_{2}-z_{1})}}.}$

Cette équation est appelée la première formule de la résolvante. Elle montre que (z₁ − T)⁻¹ et (z₂ − T)⁻¹ commutent ; on s'attend donc à ce que les opérateurs construits par le calcul fonctionnel holomorphe commutent également. Faisant tendre z₂ vers z₁, on voit que l'application résolvante est différentiable dans les complexes en tout z₁ ∈ ρ(T) ; l'intégrale donnée précédemment est donc définie pour tous les opérateurs de L(X).

En fait, l'ensemble résolvant ρ(T) est un ouvert, et l'application résolvante y est non seulement différentiable, mais holomorphe, ou plus exactement analytique, c'est-à-dire développable en série entière ; cette propriété sera fréquemment utilisée par la suite. Pour la démontrer, on prend z₁ ∈ ρ(T) et on remarque que, formellement, ${\displaystyle {\frac {1}{z_{2}-T}}={\frac {1}{z_{1}-T}}\cdot {\frac {1}{1-{\frac {z_{1}-z_{2}}{z_{1}-T}}}}}$, ce qui amène à considérer la série

${\displaystyle (z_{1}-T)^{-1}\sum _{n\geq 0}((z_{1}-z_{2})(z_{1}-T)^{-1})^{n}}$

qui doit valoir (z₂ − T)⁻¹ si elle converge. Comme cette série converge dans L(X) si ${\displaystyle |z_{1}-z_{2}|<{\frac {1}{\|(z_{1}-T)^{-1}\|}}}$, on en déduit le résultat annoncé : l'application résolvante est développable en série entière dans un disque ouvert centré en z₁.

Une autre expression de (z − T)⁻¹ est également utile. On obtient comme dans la section précédente la série ${\displaystyle {\frac {1}{z}}\sum _{n\geq 0}\left({\frac {T}{z}}\right)^{n},}$ appelée série de Neumann, qui converge vers (z − T)⁻¹ si ${\displaystyle \left\|{\frac {T}{z}}\right\|<1,\;{\text{i.e.}}\;|z|>\|T\|.}$

Les deux résultats précédents montrent que, pour un opérateur borné T, le spectre σ(T) est un fermé (puisque complémentaire d'un ouvert) borné (par la norme de T) du plan complexe, et donc un compact du plan. Ainsi, pour tout ouvert D tel que σ(T) ⊂ D, il existe un ensemble ${\displaystyle \Gamma =\{\gamma _{1},\dots ,\gamma _{m}\}}$ de courbes de Jordan lisses orientées positivement tel que σ(T) est à l'intérieur de Γ et que le complémentaire de D est contenu dans l'extérieur de Γ, ce qui justifie l'existence de l'intégrale définissant f(T).

On va à présent montrer qu'avec les notations précédentes, f (T) ne dépend pas du choix de l'ensemble de courbes de Jordan Γ.

Pour une collection de courbes de Jordan Γ = {γ₁... γ_m} et un point a du plan complexe, l'indice de a par rapport à Γ est la somme des indices de a par rapport à chaque γ_i, ce que nous noterons n(a,Γ) = ∑_i n(a,γ_i). Le théorème suivant est dû à Cauchy :

L'analogue vectoriel de ce résultat, lorsque g prend ses valeurs dans L(X) et est holomorphe, se démontre en utilisant l'espace dual L(X)* de L(X), et en se ramenant au cas scalaire. En effet, considérons l'intégrale J=∫_Γ g ∈ L(X). Si on peut montrer que, pour tout φ ∈ L(X)*, φ (∫_Γ g) = 0, il en résultera que ∫_Γ g = 0. φ étant borné, et l'intégrale étant normalement convergente, on a

${\displaystyle \phi \left(\int _{\Gamma }g\right)=\int _{\Gamma }\phi (g).\,}$

Par composition, g étant supposée holomorphe, il en est de même de φ(g) : G ⊂ C → C. On peut donc lui appliquer le théorème de Cauchy (scalaire), obtenant

${\displaystyle \phi \left(\int _{\Gamma }g\right)=\int _{\Gamma }\phi (g)=0.\,}$

L'unicité de l'intégrale est une conséquence facile de ce qui précède. Soit D un ouvert contenant σ(T), Γ = {γ_i} et Ω = {ω_j} deux ensembles finis de courbes de Jordan satisfaisant les hypothèses précédentes ; nous voulons montrer que ${\displaystyle \int {\Gamma }\!f(\zeta )(\zeta -T)^{-1}\,d\zeta =\int _{\Omega }\!f(\zeta )(\zeta -T)^{-1}\,d\zeta .}$

Notant Ω', l'ensemble obtenu à partir des courbes de Ω en renversant leur orientation ; on a

${\displaystyle \int _{\Omega }\!f(\zeta )(\zeta -T)^{-1}\,d\zeta =-\int _{\Omega '}\!f(\zeta )(\zeta -T)^{-1}\,d\zeta .}$

Les deux ensembles Γ ∪ Ω' et σ(T) sont compacts ; il existe donc un ouvert U contenant Γ ∪ Ω' tel que σ(T) soit contenu dans le complémentaire de U. Les points a du complémentaire de U ont pour indice n(a,Γ ∪ Ω') = 0 et la fonction ${\displaystyle \zeta \rightarrow f(\zeta )(\zeta -T)^{-1}}$ est holomorphe sur U. La forme vectorielle du théorème de Cauchy donne donc

${\displaystyle \int _{\Gamma \cup \;\Omega '}\!f(\zeta )(\zeta -T)^{-1}\,d\zeta =0}$,

c'est-à-dire

${\displaystyle \int _{\Gamma }\!f(\zeta )(\zeta -T)^{-1}\,d\zeta +\int _{\Omega '}\!f(\zeta )(\zeta -T)^{-1}\,d\zeta =\int _{\Gamma }\!f(\zeta )(\zeta -T)^{-1}\,d\zeta -\int _{\Omega }\!f(\zeta )(\zeta -T)^{-1}\,d\zeta =0,}$

ce qui montre l'unicité.

Il en résulte que si f₁ et f₂ sont deux fonctions holomorphes définies sur des voisinages D₁ et D₂ de σ(T), égales sur un ouvert contenant σ(T), alors f₁(T) = f₂(T). De plus, même si D₁ est différent de D₂, les opérateurs (f₁ + f₂) (T) et (f₁·f₂)(T) sont bien définis.

Les résultats précédents n'ont pas encore utilisé pleinement l'hypothèse d'holomorphie de f sur un voisinage ouvert de σ(T). La convergence de l'intégrale demande seulement la continuité de f ; l'unicité est obtenue en supposant f holomorphe sur un voisinage de Γ ∪ Ω' ne contenant pas σ(T). La condition complète ne sera utilisée que pour démontrer que le calcul fonctionnel est un homomorphisme.

La linéarité de l'application ${\displaystyle f\mapsto f(T)}$ provient de la convergence de l'intégrale, et de ce que les opérations linéaires (somme et produit par un scalaire) d'un espace de Banach sont continues.

Pour montrer qu'on retrouve le calcul fonctionnel polynomial lorsque f(z) = ∑_{0 ≤ i ≤ m} a_i zⁱ est un polynôme, il suffit de le montrer pour f(z) =z^k (avec k ≥ 0), c'est-à-dire de montrer que ${\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }\zeta ^{k}(\zeta -T)^{-1}d\zeta =T^{k}}$ pour un contour convenable Γ entourant σ(T). Prenant pour Γ un cercle de rayon plus grand que la norme de T, et représentant l'application résolvante par la série ${\displaystyle (z-T)^{-1}={\frac {1}{z}}\sum _{n\geq 0}\left({\frac {T}{z}}\right)^{n},}$ on obtient

${\displaystyle f(T)={\frac {1}{2\pi i}}\int _{\Gamma }\sum _{n\geq 0}\left({\frac {T^{n}}{\zeta ^{n+1-k}}}\right)d\zeta }$ ;

échangeant série et intégrale (la convergence étant uniforme), on trouve effectivement

${\displaystyle \sum _{n\geq 0}T^{n}\cdot {\frac {1}{2\pi i}}\int _{\Gamma }({\frac {1}{\zeta ^{n+1-k}}})d\zeta =\sum _{n\geq 0}T^{n}\cdot \delta _{nk}=T^{k}}$ (où δ est le symbole de Kronecker).

Pour des fonctions f₁ et f₂ satisfaisant l'hypothèse d'holomorphie, on a la propriété d'homomorphisme suivante :

${\displaystyle f_{1}(T)f_{2}(T)=(f_{1}\cdot f_{2})(T).\,}$

La démonstration utilise la première formule de la résolvante. On commence par calculer directement

${\displaystyle f_{1}(T)f_{2}(T)={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}f_{1}(\zeta )(\zeta -T)^{-1}d\zeta \cdot \int _{\Gamma _{2}}f_{2}(\omega )(\omega -T)^{-1}\,d\omega ,}$

en choisissant Γ₁ situé à l’intérieur de Γ₂. Cette expression est égale à

${\displaystyle {\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}\int _{\Gamma _{2}}f_{1}(\zeta )f_{2}(\omega )\cdot (\zeta -T)^{-1}(\omega -T)^{-1}\;d\omega \,d\zeta .}$

Appliquant la formule de la résolvante, on obtient

${\displaystyle {\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}\int _{\Gamma _{2}}f_{1}(\zeta )f_{2}(\omega )\cdot {\frac {(\zeta -T)^{-1}-(\omega -T)^{-1}}{\omega -\zeta }}\;d\omega \,d\zeta }$

${\displaystyle ={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}f_{1}(\zeta )(\zeta -T)^{-1}\;\left[\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega \right]\;d\zeta -{\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{2}}f_{2}(\omega )(\omega -T)^{-1}\;\left[\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\omega -\zeta }}\,d\zeta \right]\;d\omega .}$

Le second terme s'annule parce que ω ∈ Γ₂ est à l'extérieur de Γ₁ et que f₁ est holomorphe sur un voisinage ouvert de σ(T). Ainsi,

${\displaystyle f_{1}(T)f_{2}(T)={\frac {1}{2\pi i}}\int _{\Gamma _{1}}f_{1}(\zeta )(\zeta -T)^{-1}\;\left[{\frac {1}{2\pi i}}\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}\,d\omega \right]\;d\zeta .}$

Comme, d'après la formule de Cauchy (scalaire), ${\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega =f_{2}(\zeta )}$, on a

${\displaystyle f_{1}(T)f_{2}(T)={\frac {1}{2\pi i}}\int _{\Gamma _{1}}f_{1}(\zeta )f_{2}(\zeta )(\zeta -T)^{-1}d\zeta =(f_{1}\cdot f_{2})(T).}$

Soit G ⊂ C un ouvert tel que σ(T) ⊂ G, et {f_k} une suite de fonctions holomorphes sur G convergeant uniformément sur tout compact inclus dans G. Alors {f_k(T)} est une suite convergente de L(X). En effet (supposant pour simplifier que Γ ne contient qu'une courbe de Jordan), on a

${\displaystyle \|f_{k}(T)-f_{l}(T)\|={\frac {1}{2\pi }}\|\int _{\Gamma }(f_{k}-f_{l})(\zeta )(\zeta -T)^{-1}d\zeta \|}$

${\displaystyle \leq {\frac {1}{2\pi }}\int _{\Gamma }|(f_{k}-f_{l})(\zeta )|\cdot \|(\zeta -T)^{-1}\|d\zeta .}$

Utilisant les hypothèses de convergence et de continuité, on voit que cette expression tend vers 0 lorsque k et l tendent vers l'infini. {f_k(T)} est donc une suite de Cauchy, convergente puisque l'espace L(X) est complet.

En résumé, le calcul fonctionnel holomorphe, considéré comme une fonction (ou plutôt comme un opérateur) allant des fonctions holomorphes vers les opérateurs bornés : ${\displaystyle f\mapsto f(T)}$, possède les propriétés suivantes :

1. Il étend le calcul fonctionnel polynomial.
2. C'est un homomorphisme d'algèbres entre l'algèbre des fonctions holomorphes définies sur un voisinage de σ(T) et L(X).
3. Il respecte la convergence uniforme sur les compacts.

On démontre qu'il n'existe qu'un seul calcul fonctionnel (un seul homomorphisme) ayant ces propriétés.

Dans tout ce qui précède, on peut remplacer l'algèbre des opérateurs bornés L(X) par une algèbre de Banach A quelconque ; on peut de même définir f (a) pour un élément a arbitraire de A (avec une définition convenable du spectre de a).

On sait que le théorème de l'application spectrale (en) s'applique au calcul fonctionnel polynomial : pour tout polynôme p, on a σ(p(T)) = p(σ(T)). Ce résultat s'étend au calcul fonctionnel holomorphe, c'est-à-dire que pour toute fonction f holomorphe, on a σ(f(T)) = f(σ(T)). Pour montrer que f(σ(T)) ⊂ σ(f(T)), on remarque que si μ est un nombre complexe quelconque, il existe une fonction g holomorphe sur un voisinage de σ(T) telle que ${\displaystyle f(z)-f(\mu )=(z-\mu )g(z)\,}$ (c'est un résultat élémentaire d'analyse complexe). On en déduit (par homomorphisme) que f(T) - f(μ) = (T - μ)g(T) ; par conséquent, μ ∈ σ(T) implique f(μ) ∈ σ(f(T)).

Pour démontrer l'inclusion réciproque, supposons que μ ne soit pas dans f(σ(T)). On peut appliquer le calcul fonctionnel à ${\displaystyle g(z)={\frac {1}{f(z)-\mu }}}$, et donc g(T)(f(T) -μ) = I. Il en résulte que μ n'appartient pas à σ(f(T)).

Soit K un sous-ensemble de σ(T) et U etV des voisinages ouverts disjoints de K et de σ(T)\K respectivement. On pose e(z) = 1 si z ∈ U et e(z) = 0 si z ∈ V. La fonction e est holomorphe (sur U ∪ V) et vérifie [e(z)]² = e(z) ; pour un contour Γ contenu dans U ∪ V et entourant σ(T), l'opérateur ${\displaystyle e(T)={\frac {1}{2\pi i}}\int _{\Gamma }\!e(z)(z-T)^{-1}\,dz}$ est donc un projecteur borné commutant avec T.

Les voisinages U et V existent si et seulement si K est à la fois ouvert et fermé pour la topologie induite sur σ(T) (autrement dit, si K est une réunion de composantes connexes de σ(T)). e étant nul sur V, sa contribution à l'intégrale l'est aussi. En résumé, pour tout ensemble K ouvert et fermé de σ(T), on définit un projecteur e(T), appelé la projection spectrale de T en K et noté P(K;T), par ${\displaystyle P(K;T)={\frac {1}{2\pi i}}\int _{\Gamma }\!(z-T)^{-1}\,dz}$, où Γ est un contour entourant K mais aucun autre point de σ(T).

P = P(K;T) étant borné et commutant avec T, on peut exprimer T sous la forme A ⊕ B, avec A restriction de T à PX et B restriction de T à (1-P)X ; PX et (1-P)X sont des sous-espaces invariants par T, de plus, σ(A) = K et σ(B) = σ(T)\K. Une propriété importante de ces projecteurs est leur orthogonalité mutuelle : si L est un autre sous-ensemble ouvert et fermé de σ(T), P(K;T)P(L;T) = P(L;T)P(K;T) = P(K ∩ L;T), nul si K et L sont disjoints.

Les projections spectrales ont de nombreuses applications. Tout point isolé de σ(T) a une projection spectrale associée. En dimension finie, c'est le cas de tous les points de σ(T), et la décomposition correspondante de T est une variante de la forme normale de Jordan (les blocs de Jordan associés à une même valeur propre étant regroupés). Cette décomposition sera étudiée plus précisément dans la section suivante.

Les propriétés des projections spectrales découlent souvent de celles de l'opérateur projeté. Ainsi, si T est une matrice à coefficients positifs de rayon spectral r, le théorème de Perron-Frobenius affirme que r ∈ σ(T). La projection spectrale associée P = P(r;T) est également positive, et la propriété d'orthogonalité mutuelle montre qu'aucune autre projection spectrale ne peut avoir de ligne ou de colonne positive. En fait, TP = rP et (T/r)ⁿ tend vers P lorsque n tend vers l'infini, aussi P (appelé la projection de Perron) est une approximation de (T/r)ⁿ d'autant meilleure que n est grand, et chacune de ses colonnes est un vecteur propre de T.

Plus généralement, si T est un opérateur compact, les points non nuls de σ(T) sont isolés, et tout sous-ensemble fini de ces points peut être utilisé pour décomposer T ; les projections spectrales associées sont toutes de rang fini. Les opérateurs de L(X) dont le spectre a cette propriété sont appelés des opérateurs de Riesz. De nombreuses classes d'opérateurs de Riesz (y compris la classe des opérateurs compacts) sont des idéaux de L(X), et constituent un domaine de recherche actif. Cependant, si X est un espace de Hilbert, il n'existe qu'un seul idéal fermé entre les opérateurs de Riesz et les opérateurs de rang fini.

La discussion précédente peut en grande partie se généraliser au cas des algèbres de Banach. Les projections spectrales sont alors appelées des idempotents spectraux, car on ne peut plus en général définir un espace sur lesquelles elles se « projetteraient ».

Si le spectre σ(T) n'est pas connexe, X peut se décomposer en sous-espaces invariants par T en utilisant le calcul fonctionnel. Écrivant σ(T) comme union disjointe ${\displaystyle \sigma (T)=\bigcup _{i=1}^{m}F_{i}}$, définissons e_i comme valant 1 sur un voisinage de la composante F_i et 0 sur des voisinages des autres composantes. e_i(T) est donc la projection spectrale P(F_i;T) décrite dans la section précédente. La relation e_i(T) T = T e_i(T) montre que l'image de chaque e_i(T), notée X_i, est un sous-espace invariant par T. Comme ${\displaystyle \sum _{i}e_{i}(T)=I\,}$, X peut s'exprimer comme somme de ces sous-espaces : ${\displaystyle X=\sum _{i}X_{i}}$. De même, notant T_i la restriction de T à X_i, on a ${\displaystyle T=\sum _{i}T_{i}.\,}$

Munissant la somme directe ${\displaystyle X'=\bigoplus _{i}X_{i}}$ de la norme ${\displaystyle \|\bigoplus x_{i}\|=\sum _{i}\|x_{i}\|,}$ X' est un espace de Banach, et l'application R: X' → X définie par${\displaystyle R(\bigoplus x_{i})=\sum x_{i}}$ est un isomorphisme d'espaces de Banach ; on a ${\displaystyle RTR^{-1}=\bigoplus T_{i}}$. Cette écriture peut être vue comme une diagonalisation par blocs de T.

Si X est de dimension finie, σ(T) = {λ_i} est un ensemble fini de points du plan. Choisissant e_i = 1 sur un disque ouvert ne contenant que λ_i, la matrice de blocs ${\displaystyle \bigoplus T_{i}}$ qui correspond à ce choix est alors la forme canonique de Jordan de la matrice T.

Un calcul fonctionnel holomorphe analogue peut être défini pour tous les opérateurs fermés non bornés dont l'ensemble résolvant est non-vide.