Abrir menú principal

En topología, un espacio topológico es un espacio separable si incluye un subconjunto denso numerable.

Un espacio de Hilbert es separable si y solamente si admite una base ortonormal numerable.

Espacios de Hilbert separablesEditar

Sea   un espacio de Hilbert separable. Si {ek}kB es una base ortonormal numerable de H, entonces cada elemento x de H se puede escribir como

 

Esta suma también se llama la expansión de Fourier de x.

Ejemplos de espacios de Hilbert son   con   ó   el espacio de las sucesiones complejas cuadrado-sumables   y el espacio de las funciones cuadrado-integrables en el sentido de Lebesgue   Una gran variedad de espacios de Hilbert que se presentan en la práctica son separables y son en particular los espacios   y   los prototipos principales de espacios de Hilbert, pues todo espacio de Hilbert separable de dimensión finita   es isomorfo a   mientras que todo espacio de Hilbert separable de dimensión infinita es isomorfo a  .

EjemplosEditar

Espacios separablesEditar

  • Todo espacio topológico numerable es separable.
  • El conjunto de las funciones continuas en el intervalo [0,1] también es separable.
  • La propiedad de ser separable no es hereditaria en general, es decir, existen espacios topológicos separables con subespacios no separables. Si un espacio métrico es separable, por otro lado, entonces todos sus subespacios también lo son.

Espacios de Hilbert no-separablesEditar

  • El conjunto de todas las funciones reales  , que sólo son diferentes de cero en un conjunto finito o contable de puntos Sf tales que:

 

Constituye un espacio de Hilbert no separable, dotado del producto escalar entre dos funciones f y g:

 

Necesariamente estas funciones de este espacio de Hilbert no son continuas, ya que los espacios normados de funciones reales continuas definidas en  son siempre separables.