Ir al contenido

Propiedad de aproximación

De Wikipedia, la enciclopedia libre
La construcción de un espacio de Banach sin la propiedad de aproximación le valió a Per Enflo ser premiado en 1972 con un ganso vivo, que había prometido Stanisław Mazur (izquierda) en 1936.[1]

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 no tiene la propiedad de aproximación.[2]​ Los espacios para y (véase espacio secuencial) tienen subespacios cerrados que no tienen la propiedad de aproximación.

Definición

[editar]

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.[3]

Para un espacio localmente convexo X, las siguientes proposiciones son equivalentes:[3]

  1. X tiene la propiedad de aproximación.
  2. El cierre de en contiene la aplicación de identidad. .
  3. es denso en .
  4. Para cada espacio localmente convexo Y, es denso en .
  5. Para cada espacio localmente convexo Y, es denso en .

En estas sentencias, 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 y cada , hay un operador de rango finito, de modo que , para cada .

Definiciones relacionadas

[editar]

Se estudian algunas otras variantes del AP:

Sea un espacio de Banach y sea . Se dice que X tiene la propiedad de aproximación (-AP), si, para cada conjunto compacto y cada , existe un operador de rango finito, por el que ese , por cada , y .

Se dice que un espacio de Banach tiene la propiedad de aproximación acotada (PAB), si tiene -AP para algún .

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

[editar]
  • Todo subespacio de un producto arbitrario de espacios de Hilbert posee la propiedad de aproximación.[3]​ 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.[3]
    • 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.[3]
  • Todo espacio con una base de Schauder tiene la PA (se pueden usar las proyecciones asociadas a la base como en la definición), por lo que se pueden encontrar muchos espacios con PA. Por ejemplo, los espacios o el espacio de Tsirelson simétrico.

Referencias

[editar]
  1. Megginson, Robert E. An Introduction to Banach Space Theory p. 336
  2. Szankowski, A.: B(H) no tiene la propiedad de aproximación. Acta Math. 147, 89-108(1981).
  3. a b c d e Schaefer y Wolff, 1999, p. 108-115.

Bibliografía

[editar]