Propriété d'approximation
From Wikipedia, the free encyclopedia
En analyse, un espace de Banach X a la propriété d’approximation, abrégée en PA, si tout opérateur compact à valeurs dans X (et défini sur un espace de Banach arbitraire) est une limite d’opérateurs bornés de rangs finis. Notons que la réciproque est toujours vraie.
Tout espace de Hilbert a cette propriété. Il existe des espaces de Banach qui ne l’ont pas : Per Enflo a publié le premier contre-exemple en 1973[1], mais beaucoup de travail dans cette direction avait été fait par Alexandre Grothendieck[2]. De nombreux autres contre-exemples ont été ensuite trouvés.
Soit X un espace de Banach.
Une définition de « X a la PA » équivalente à celle de l'introduction est : pour tout ensemble compact K ⊂ X et tout ε > 0, il existe un opérateur borné T : X → X de rang fini tel que ║Tx – x║ ≤ ε, pour tout x ∈ K.
D’autres variantes de cette propriété sont aussi étudiées en analyse fonctionnelle.
Soit 1 ≤ λ < ∞. On dit que X a la propriété de λ-approximation (λ-PA), si pour tout ensemble compact K ⊂ X et tout ε > 0, il existe un opérateur T : X → X de rang fini tel que ║Tx – x║ ≤ ε, pour tout x ∈ K, et ║T║ ≤ λ.
On dit que X a la propriété d’approximation bornée (PAB), s’il a la λ-PA pour un λ.
On dit que X a la propriété d’approximation métrique (PAM), s’il est 1-PA.
On dit que X a la propriété d’approximation compacte (PAC), si dans la définition de PA, « opérateur de rang fini » est remplacé par « opérateur compact ».
Propriétés
Si le dual X' de X a la PA (resp. la PAB, la PAM), alors X aussi[2].
Pour un espace réflexif, PA implique PAM[2].
Si l'espace Y et le dual X' de X ont la PA, alors l'espace des opérateurs compacts de X dans Y et celui des opérateurs à trace (en) l'ont aussi.
Tout espace possédant une base de Schauder est séparable et PAB (on peut utiliser les projections associées à la base comme les T de la définition, et invoquer le théorème de Banach-Steinhaus).
La réciproque est fausse : il existe même deux espaces réflexifs X et Y tels que Y et X⊕Y ont une base de Schauder, mais pas X[3].
