# Propiedad de aproximación

En matemáticas, específicamente en análisis funcional, se dice que un espacio de Banach tiene la propiedad de aproximación (PA), si cada operador compacto es un límite de un operador de rango finito. Lo contrario siempre es cierto.
Cada espacio de Hilbert tiene esta propiedad. Sin embargo, hay espacios de Banach que no lo hacen, y Per Enflo publicó el primer contraejemplo en un artículo de 1973, aunque sería Alexander Grothendieck (1955) quien realizase numerosos trabajos en esta área.
Posteriormente se encontraron muchos otros contraejemplos. El espacio de los operadores lineales acotados en $\ell ^{2}$ no tiene la propiedad de aproximación. Los espacios $\ell ^{p}$ para $p\neq 2$ y $c_{0}$ (véase espacio secuencial) tienen subespacios cerrados que no tienen la propiedad de aproximación.

## Definición

Se dice que un espacio vectorial topológico X localmente convexo tiene la propiedad de aproximación, si la aplicación identidad puede aproximarse, uniformemente en conjuntos precompactos, mediante aplicaciones lineales continuas de rango finito.
Para un espacio localmente convexo X, las siguientes proposiciones son equivalentes:
* X tiene la propiedad de aproximación.
* El cierre de $X^{\prime }\otimes X$ en $\operatorname {L} _{p}(X,X)$ contiene la aplicación de identidad. $\operatorname {Id} :X\to X$.
* $X^{\prime }\otimes X$ es denso en $\operatorname {L} _{p}(X,X)$.
* Para cada espacio localmente convexo Y, $X^{\prime }\otimes Y$ es denso en $\operatorname {L} _{p}(X,Y)$.
* Para cada espacio localmente convexo Y, $Y^{\prime }\otimes X$ es denso en $\operatorname {L} _{p}(Y,X)$.
En estas sentencias, $\operatorname {L} _{p}(X,Y)$ denota el espacio de operadores lineales continuos de X a Y dotados de la topología de convergencia uniforme en subconjuntos precompactos de X.
Si X es un espacio de Banach, este requisito pasa a ser que para cada espacio compacto $K\subset X$ y cada $\varepsilon >0$, hay un operador $T\colon X\to X$ de rango finito, de modo que $\|Tx-x\|\leq \varepsilon$, para cada $x\in K$.

## Definiciones relacionadas

Se estudian algunas otras variantes del AP:
Sea $X$ un espacio de Banach y sea $1\leq \lambda <\infty$. Se dice que X tiene la propiedad de aproximación $\lambda$ ($\lambda$-AP), si, para cada conjunto compacto $K\subset X$ y cada $\varepsilon >0$, existe un operador $T\colon X\to X$ de rango finito, por el que ese $\|Tx-x\|\leq \varepsilon$, por cada $x\in K$, y $\|T\|\leq \lambda$.
Se dice que un espacio de Banach tiene la propiedad de aproximación acotada (PAB), si tiene $\lambda$-AP para algún $\lambda$.
Se dice que un espacio de Banach tiene la propiedad de aproximación métrica (PAM), si es 1-PA.
Se dice que un espacio de Banach tiene la propiedad de aproximación compacta (PAC), si en la definición de la PA, se reemplaza un operador de rango finito por un operador compacto.

## Ejemplos

* Todo subespacio de un producto arbitrario de espacios de Hilbert posee la propiedad de aproximación. En particular:
** Cada espacio de Hilbert tiene la propiedad de aproximación.
** Todo límite proyectivo de espacios de Hilbert, así como cualquier subespacio de dicho límite proyectivo, posee la propiedad de aproximación.
** Cada espacio nuclear posee la propiedad de aproximación.
* Todo espacio de Frechet separable que contenga una base de Schauder posee la propiedad de aproximación.
* Todo espacio con una base de Schauder tiene la PA (se pueden usar las proyecciones asociadas a la base como $T$ en la definición), por lo que se pueden encontrar muchos espacios con PA. Por ejemplo, los espacios $\ell ^{p}$ o el espacio de Tsirelson simétrico.