Espacio separable

De Wikipedia, la enciclopedia libre
(Redirigido desde «Espacio topológico separable»)
Saltar a: navegación, búsqueda

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 separables[editar]

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 .

Ejemplos[editar]

Espacios separables[editar]

  • 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-separables[editar]

  • 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.