Subespacio complementado

uno de los sumandos en que puede descomponerse un espacio vectorial

En la rama matemática del análisis funcional, un subespacio complementado de un espacio vectorial topológico es un subespacio vectorial para el cual existe algún otro subespacio vectorial de llamado su complemento (topológico) en de modo que sea la suma directa en la categoría de espacios vectoriales topológicos. Formalmente, las sumas topológicas directas fortalecen la suma directa algebraica al requerir que ciertas aplicaciones sean continuas. El resultado conserva muchas propiedades interesantes de la operación de suma directa en espacios vectoriales de dimensión finita.

Cada subespacio de dimensión finita de un espacio de Banach es complementable, pero también existen otros subespacios que no lo son. En general, clasificar todos los subespacios complementados es un problema difícil, que se ha resuelto solo para algunos espacios de Banach conocidos.

El concepto de subespacio complementado es análogo, pero distinto, al de complemento de un conjunto. El complemento de la teoría de conjuntos de un subespacio vectorial nunca es un subespacio complementado.

Preliminares: definiciones y notación

editar

Si   es un espacio vectorial y   y   son subespacios vectoriales de  , entonces existe una aplicación de suma bien definida

 

La aplicación   es un morfismo en la categoría de espacios vectoriales; es decir se trata de una aplicación lineal.

Suma directa algebraica

editar

Se dice que el espacio vectorial   es la suma directa algebraica (o suma directa en la categoría de espacios vectoriales)   cuando se cumple cualquiera de las siguientes condiciones equivalentes:

  1. La aplicación suma   es una aplicación lineal.[1][2]
  2. La aplicación suma es biyectiva.
  3.   y  ; en este caso,   se denomina complemento algebraico' o suplemento de   en   y se dice que los dos subespacios son complementarios o suplementarios.[2][3]

Cuando se cumplen estas condiciones, el inverso   está bien definido y puede escribirse en términos de coordenadas como:  La primera coordenada   se denomina proyección canónica de   sobre  . Así mismo, la segunda coordenada es la proyección canónica sobre  [4]​.

De manera equivalente,   y   son los vectores únicos en   y   respectivamente, que satisfacen

 

Como aplicaciones, :  donde   denota la función identidad en  .[2]

Motivación

editar

Supóngase que el espacio vectorial   es la suma directa algebraica de  . En la categoría de espacios vectoriales, los productos y coproductos finitos coinciden: algebraicamente,   y   son indistinguibles. Dado un problema que involucra elementos de  , se pueden dividir los elementos en sus componentes en   y  , porque las aplicaciones de proyección definidas anteriormente actúan como inversas a la inclusión natural de   y   en  . Entonces, se puede resolver el problema en los subespacios vectoriales y recombinarlos para formar un elemento de  .

En la categoría de los espacios vectoriales topológicos, esa descomposición algebraica se vuelve menos útil. La definición de un espacio vectorial topológico requiere que la aplicación suma   sea continua, aunque su inversa,  , puede no serlo.[1]​ Sin embargo, la definición en la teoría categorías de la de suma directa requiere que   y   sean morfismos, es decir, aplicaciones lineales "continuas".

El espacio   es la suma directa topológica de   y   si (y solo si) se cumple alguna de las siguientes condiciones equivalentes:

  1. La aplicación suma   es un espacio vectorial topológico (es decir, una aplicación lineal sobreyectiva y homeomorfa).[1]
  2.   es la suma directa algebraica de   y   y también cualquiera de las siguientes condiciones equivalentes:
a. La inversa de la aplicación suma   es continua.
b. Ambas proyecciones canónicas   y   son continuas.
C. Al menos una de las proyecciones canónicas   y   es continua.
d. La clase de equivalencia canónica   es un isomorfismo de espacios vectoriales topológicos (es decir, un homeomorfismo lineal).[2]​}}
  1.   es la suma directa de   y   en la categoría de espacios vectoriales topológicos.
  2. La aplicación   es biyectiva y abierta.
  3. Cuando se consideran grupos topológicos aditivos,   es la suma topológica directa de los subgrupos   y  

La suma directa topológica también se escribe  ; si la suma es en sentido topológico o algebraico generalmente se aclara a través del contexto.

Definición

editar

Toda suma directa topológica es una suma directa algebraica  , pero lo contrario no siempre es así. Incluso si tanto   como   están cerrados en  , es posible que   "todavía" no sea continuo.   es un complemento (topológico) o un suplemento de   si evita esta patología, es decir, si, topológicamente,  . Entonces,   es igualmente complementario de  .[1]​ La condición 1(d) que figura arriba, implica que cualquier complemento topológico de   es isomorfo, como espacio vectorial topológico, al espacio vectorial cociente  .

  se denomina complementado si tiene un complemento topológico   (y no complementado si no lo tiene). La elección de   puede ser muy importante: cada subespacio vectorial complementado   tiene complementos algebraicos que no complementan topológicamente a  .

Debido a que una aplicación lineal entre dos espacios normados (o de Banach) está acotado si y solo si es continuo, la definición en las categorías de espacios normados (respectivamente, de Banach) es la misma que en los espacios vectoriales topológicos.

Caracterizaciones equivalentes

editar

El subespacio vectorial   se complementa en   si y solo si se cumple alguna de las siguientes condiciones:[1]

  • Existe una aplicación lineal continuo   con imagen   tal que  ;
  • Existe una proyección lineal continua   con imagen   tal que algebraicamente  .
  • Para cada TVS   la aplicación restrictiva   es sobreyectiva.[5]

Si además   es un espacio de Banach, entonces una condición equivalente es que:

  •   es cerrado en  , existe otro subespacio cerrado   y   es un isomorfismo de la suma directa abstracta   a  .

Ejemplos

editar
  • Si   es un espacio de medida y   tiene medida positiva, entonces   se complementa en  .
  •  , el espacio de sucesiones convergentes a  , se complementa en  , el espacio de sucesiones convergentes.
  • Por la descomposición de Lebesgue,   se complementa en  .

Condiciones suficientes

editar

Para dos espacios vectoriales topológicos cualesquiera   e  , los subespacios   y   son complementos topológicos en  .

Todo complemento algebraico de  , la clausura de  , es también un complemento topológico. Esto se debe a que   tiene topología trivial y, por lo tanto, la proyección algebraica es continua.[6]

Si   y   son sobreyectivos, entonces  .[2]

Dimensión finita

editar

Supóngase que   es de Hausdorff y localmente convexo; y que   es un subespacio vectorial topológico libre. Enonces, para algún conjunto  , se tiene que   (como espacio vectorial topológico). En consecuencia,   es un subespacio vectorial cerrado y complementado de  .[proof 1]​ En particular, se complementa cualquier subespacio de dimensión finita de  .[7]

En espacios vectoriales topológicos arbitrarios, un subespacio vectorial de dimensión finita   se complementa topológicamente si y solo si para cada   distinto de cero, existe una funcional lineal continua en   que separa   de  .[1]​ (para ver un ejemplo en el que esto no se cumple, consúltese el párrafo Espacios de Fréchet).

Codimensión finita

editar

No todos los subespacios vectoriales finitos codimensionales de un EVT son cerrados, pero los que lo son tienen complementos.[7][8]

Espacios de Hilbert

editar

En un espacio de Hilbert, el complemento ortogonal   de cualquier subespacio vectorial cerrado   es siempre un complemento topológico de  . Esta propiedad caracteriza los espacios de Hilbert dentro de la clase de los espacios de Banach: cada espacio de dimensión infinita de Banach que no es de Hilbert, contiene un subespacio cerrado no complementado.[3]

Espacios de Fréchet

editar

Sea   un espacio de Fréchet sobre el cuerpo  . Entonces, los siguientes enunciados son equivalentes:[9]

  1.   no está normado (es decir, cualquier norma continua no genera una topología)
  2.   contiene un subespacio vectorial isomorfo a un EVT sobre  .
  3.   contiene un subespacio vectorial complementado isomorfo a un EVT sobre  .

Propiedades; ejemplos de subespacios no complementados

editar

Un subespacio complementado (vectorial) de un espacio de Hausdorff   es necesariamente un subconjunto cerrado de  , al igual que su complemento.[1][proof 2]

A partir de la existencia de bases, cada espacio de Banach de dimensión infinita contiene subespacios lineales no cerrados.[proof 3]​ Dado que cualquier subespacio complementado es cerrado, ninguno de esos subespacios está complementado.

Asimismo, si   es un EVT completo y   no está completo, entonces   no tiene complemento topológico en  [10]​.

Aplicaciones

editar

Si   es una función sobreyectiva lineal continua, entonces las siguientes condiciones son equivalentes:

  1. El núcleo de   tiene un complemento topológico.
  2. Existe una "inversa derecha", un aplicación lineal continua   tal que  , donde   es la aplicación identidad.[5]

Método de descomposición

editar

Los espacios vectoriales topológicos admiten el siguiente teorema de tipo Cantor-Schröder-Bernstein:

Sean   e   EVTs tales que   y   Supóngase que   contiene una copia complementada de   y   contiene una copia complementada de   Entonces,   es EVT-isomorfo a  

Los supuestos de "autodivisión" de que   y   no se pueden eliminar: William Timothy Gowers demostró en 1996 que existen espacios de Banach no isomorfos   e  , cada uno complementado en el otro.[11]

En espacios clásicos de Banach

editar

Comprender los subespacios complementados de un espacio de Banach arbitrario   salvo isomorfismos es un problema clásico que ha motivado mucho trabajo en teoría de bases, particularmente el desarrollo de operadores absolutamente sumadores. El problema sigue abierto para numerosos espacios importantes de Banach, en particular el espacio  .[12]

Para algunos espacios de Banach la pregunta está cerrada. El supuesto más famoso es que, si  , entonces los únicos subespacios complementados de   son isomorfos a   y lo mismo ocurre con   Dichos espacios se denominan primos (cuando sus únicos subespacios complementados de dimensión infinita son isomorfos al original). Sin embargo, estos no son los únicos espacios primos.[12]

Los espacios   no son primos cuando  , de hecho, admiten incontables subespacios complementados no isomorfos.[12]

Los espacios   y   son isomorfos a   y   respectivamente, por lo que de hecho son primos.[12]

El espacio   no es primo porque contiene una copia complementada de  . Actualmente no se conocen otros subespacios complementados de  .[12]

Espacios de Banach indescomponibles

editar

Un espacio de Banach de dimensión infinita se denomina "indescomponible" siempre que sus únicos subespacios complementados sean de dimensión finita o codimensional. Debido a que un subespacio codimensional finito de un espacio de Banach,   es siempre isomorfo a   los espacios de Banach indescomponibles son primos.

El ejemplo más conocido de espacios indescomponibles es, de hecho, hereditariamente indescomponible, lo que significa que cada subespacio de dimensión infinita también es indescomponible.[13]

Véase también

editar

Demostraciones

editar
  1.   está cerrado porque   es completo y   es de Hausdorff.

    Sea   un isomorfismo sobre EVT. Cada   es un funcional lineal continuo. Por el teorema de Hahn–Banach, se puede extender cada   a un  , un funcional lineal continuo sobre   La aplicación conjunta   es una sobreyección lineal continua cuya restricción a   es  . La composición   es entonces una proyección continua y continua sobre  .

  2. In a Hausdorff space,   is closed. A complemented space is the kernel of the (continuous) projection onto its complement. Thus it is the preimage of   under a continuous map, and so closed.
  3. Cualquier sucesión   define una aplicación suma  . Pero si   son (algebraicamente) linealmente independientes y   tiene soporte total, entonces  .

Referencias

editar
  1. a b c d e f g Grothendieck, 1973, pp. 34-36.
  2. a b c d e Fabian, Marián J.; Habala, Petr; Hájek, Petr; Montesinos Santalucía, Vicente; Zizler, Václav (2011). Banach Space Theory: The Basis for Linear and Nonlinear Analysis. New York: Springer. pp. 179-181. ISBN 978-1-4419-7515-7. doi:10.1007/978-1-4419-7515-7. 
  3. a b Brezis, Haim (2011). Functional Analysis, Sobolev Spaces, and Partial Differential Equations. Universitext. New York: Springer. pp. 38-39. ISBN 978-0-387-70913-0. 
  4. Schaefer y Wolff, 1999, pp. 19-24.
  5. a b Trèves, 2006, p. 36.
  6. Wilansky, 2013, p. 63.
  7. a b Rudin, 1991, p. 106.
  8. Serre, Jean-Pierre (1955). «Un théoreme de dualité». Commentarii Mathematici Helvetici 29 (1): 9-26. S2CID 123643759. doi:10.1007/BF02564268. 
  9. Jarchow, 1981, pp. 129-130.
  10. Schaefer y Wolff, 1999, pp. 190-202.
  11. Narici y Beckenstein, 2011, pp. 100-101.
  12. a b c d e Albiac, Fernando; Kalton, Nigel J. (2006). Topics in Banach Space Theory. GTM 233 (2nd edición). Switzerland: Springer (publicado el 2016). pp. 29-232. ISBN 978-3-319-31557-7. doi:10.1007/978-3-319-31557-7. 
  13. Argyros, Spiros; Tolias, Andreas (2004). Methods in the Theory of Hereditarily Indecomposable Banach Spaces (en inglés). American Mathematical Soc. ISBN 978-0-8218-3521-0. 

Bibliografía

editar