Isométrie partielle

En analyse fonctionnelle, une isométrie partielle est une application linéaire entre deux espaces de Hilbert dont la restriction au complément orthogonal de son noyau est une isométrie. Ce complément orthogonal du noyau est appelé le sous-ensemble initial et son image est appelée sous-ensemble final. Tout opérateur unitaire sur un espace de Hilbert est une isométrie partielle dont les espaces initial et final sont l'espace de Hilbert considéré. Sur l'espace hermitien C, l'application linéaire représentée par la matrice est une isométrie partielle, d'espace initial et d'espace final . Si U est une isométrie définie sur sous-espace fermé H1 d'un espace de Hilbert H, alors il existe une unique extension W de U sur tout H qui soit une isométrie partielle. Cette extension est définie en la prolongeant par 0 sur le complément orthogonal de H1. On appelle ainsi parfois isométrie partielle une isométrie définie sur un sous-espace fermé d'un Hilbert. Les isométries partielles sont aussi caractérisées par le fait que soit W W* ou soit W* W soit une projection. Si cela se produit, WW* et WW sont toutes deux des projections. Cela permet de définir une isométrie partielle pour des C-algèbres de la manière suivante : Si A est une C*-algèbre, on dit qu'un élément W de A est une isométrie partielle si WW ou WW est une projection (endomorphisme autoadjoint idempotent) dans A. Dans ce cas, toutes deux sont des projections orthogonales, appelées respectivement la projection initiale et la projection finale de W. Quand A est une algèbre d'opérateurs, les images de ces projections sont respectivement le sous-espace initial et le sous-espace final de W. On peut aussi montrer que les isométries partielles sont caractérisées par l'équation : Deux projections dont l'une est la projection initiale et l'autre la projection finale d'une même isométrie partielle sont dites équivalentes. Il s'agit d'une relation d'équivalence qui joue un rôle important en K-théorie des C*-algèbres, et dans la théorie de -von Neumann des projections dans les algèbres de Von Neumann.