Espacio vectorial topológico
El espacio vectorial topológico , o espacio lineal topológico , es un espacio vectorial dotado de una topología , respecto del cual las operaciones de suma y multiplicación por un número son continuas . El término se utiliza principalmente en el análisis funcional [1] .
Definición
Un conjunto se llama espacio vectorial topológico si [2] [1]
es un espacio vectorial sobre el campo de los números reales o complejos ;
es un espacio topológico ;
- Las operaciones de suma y multiplicación por un número son continuas con respecto a la topología dada, es decir
![mi](https://wikimedia.org/api/rest_v1/media/math/render/svg/4232c9de2ee3eec0a9c0a19b15ab92daa6223f9b)
- si , entonces para cada vecindad del punto se pueden especificar tales vecindades y puntos y , respectivamente, que para , ;
![z_{0}=x_{0}+y_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e268c7cb477034b0df9c8ade01a814c0b69ae66b)
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![z_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e72d1d86e86355892b39b8eb32b964834e113bf)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![W](https://wikimedia.org/api/rest_v1/media/math/render/svg/54a9c4c547f4d6111f81946cad242b18298d70b7)
![x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![y_0](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d943dbbb0b56ca750c4d62c5b54b4ae29a773da)
![x+y\en U](https://wikimedia.org/api/rest_v1/media/math/render/svg/146dc06371d0c578afe958694279019c30f470c8)
![x \en V](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa374e20b2db7f6b8caa71ff1865f7f84f215c9f)
![y \ en W](https://wikimedia.org/api/rest_v1/media/math/render/svg/b816fb5c62d31397feac7b027bafe54b43f0e301)
- si , entonces para cada vecindad del punto existe una vecindad del punto y un número tal que para y .
![z_{0}=\alfa _{0}x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50607303e2d8072b51f03af07bc70f8a5c272de1)
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![z_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e72d1d86e86355892b39b8eb32b964834e113bf)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![\varepsilon >0](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12)
![\alfa x\en U](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f7dd726b64d7f5f38a2a893641c78f92680a9f7)
![|\alfa -\alfa _{0}|<\varepsilon](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bdc953851897a4375a76961cf03a1d48225ac5d)
![x \en V](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa374e20b2db7f6b8caa71ff1865f7f84f215c9f)
Ejemplos
Tipos de espacios topológicos lineales
Dependiendo de las aplicaciones específicas, se suelen imponer algunas condiciones adicionales a los espacios topológicos lineales. A continuación se enumeran algunos tipos de espacios topológicos lineales, ordenados (con cierto grado de convención) por la presencia de propiedades "buenas".
- Espacios vectoriales topológicos localmente convexos (simplemente "espacios localmente convexos" para abreviar): en tales espacios, cada punto tiene una base local que consta de conjuntos convexos . Usando los llamados funcionales de Minkowski, se puede demostrar que un espacio vectorial topológico es localmente convexo si y solo si su topología se define usando una familia de seminormas . La condición de convexidad local ha sido durante mucho tiempo precisamente el concepto sobre la base del cual se puede construir una teoría rica en aplicaciones, porque los espacios que no son localmente convexos pueden tener varias propiedades patológicas y su geometría puede ser demasiado "antinatural" para las aplicaciones. . Sin embargo, en la actualidad, la teoría de los espacios acotados localmente (generalmente no convexos) ha comenzado a desarrollarse activamente.
- Espacios en forma de barril : espacios localmente convexos donde se cumple el principio de acotación uniforme .
- Espacios estereotipados : espacios localmente convexos que satisfacen la condición de reflexividad , en los que el espacio dual está dotado de la topología de convergencia uniforme sobre conjuntos totalmente acotados.
- Espacios de Montel : espacios en forma de barril que tienen la propiedad de Heine-Borel .
- Espacios bornológicos : espacios localmente convexos en los que los operadores lineales continuos con valores en espacios localmente convexos son operadores lineales exactamente acotados.
- Espacios LF : el espacio LF es el límite inductivo de los espacios de Fréchet. Los espacios ILH son límites proyectivos de los espacios de Hilbert.
- Espacios F : espacios vectoriales topológicos completos con métrica invariante (bajo cambios). En particular, todos los espacios L p (p > 0) son tales.
- Espacios de Fréchet : espacios localmente convexos cuya topología viene dada por alguna métrica invariante por desplazamiento o, de manera equivalente, por una familia contable de seminormas. El concepto de espacio de Fréchet es una de las generalizaciones más importantes del concepto de espacio de Banach. Muchos espacios funcionales de interés son espacios de Fréchet. Un espacio de Fréchet también se puede definir como un espacio F localmente convexo.
- Espacios nucleares : un importante caso especial de los espacios de Fréchet; en espacios nucleares, todo mapeo acotado con valores en un espacio de Banach arbitrario es un operador nuclear . Los espacios nucleares, junto con los espacios de Banach, son los espacios de Frechet de mayor interés. En este caso, las clases de espacios nucleares y de Banach en la intersección forman una clase de espacios de dimensión finita.
- Espacios normados : espacios localmente convexos cuya topología viene dada por una norma . Los operadores lineales que actúan sobre espacios normados son continuos si y solo si están acotados.
- Espacios de Banach : espacios normados completos. Son objeto de estudio del análisis funcional clásico; la mayoría de los teoremas de análisis están formulados precisamente para espacios de Banach.
- Espacios de Banach reflexivos : espacios de Banach naturalmente isomorfos a su segunda conjugación .
- Espacios de Hilbert : Espacios de Banach cuya norma es generada por un producto interior ; a pesar de que estos espacios pueden ser de dimensión infinita, sus propiedades geométricas son muy parecidas a las de los espacios de dimensión finita.
- Espacios euclidianos : espacios de Hilbert de dimensión finita. Cada espacio vectorial topológico de Hausdorff localmente compacto es isomorfo (como un espacio vectorial topológico) a algún espacio euclidiano.
Notas
- ↑ 1 2 Espacio vectorial topológico // Diccionario enciclopédico matemático / cap. edición Yu. V. Prokhorov . - M., Enciclopedia soviética , 1988. - p. 582
- ↑ Kerin S. G. Análisis funcional. - M., Nauka , 1972. - pág. 19-21
Literatura