En matemáticas, específicamente en teoría del orden y análisis funcional , se dice que un subconjunto de una red vectorial es sólido y se llama ideal si para todos y si entonces. Se dice que
un espacio vectorial ordenado cuyo orden es de Arquímedes es ordenado de Arquímedes .
Si entonces el ideal generado por es el ideal más pequeño que contiene
Un ideal generado por un conjunto singleton se llama ideal principal en
Ejemplos
La intersección de una colección arbitraria de ideales es nuevamente un ideal y, además, es claramente un ideal en sí mismo; por tanto, cada subconjunto de está contenido en un ideal más pequeño único.
En una red vectorial localmente convexa, la polar de cada vecindad sólida del origen es un subconjunto sólido del espacio dual continuo ; Además, la familia de todos los subconjuntos equicontinuos sólidos de es una familia fundamental de conjuntos equicontinuos, los polares (en bidual ) forman una base vecinal del origen de la topología natural en (es decir, la topología de convergencia uniforme en el subconjunto equicontinuo de ) .
Propiedades
- Un subespacio sólido de una red vectorial es necesariamente una subred de
- Si es un subespacio sólido de una red vectorial, entonces el cociente es una red vectorial (bajo el orden canónico).
Ver también
- Red vectorial : espacio vectorial parcialmente ordenado, ordenado como una redPáginas que muestran descripciones breves de los objetivos de redireccionamiento
Referencias
- Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.