stringtranslate.com

Conjunto sólido

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 . [1] 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 ) . [2]

Propiedades

Ver también

Referencias

  1. ^ abc Schaefer y Wolff 1999, págs.
  2. ^ Schaefer y Wolff 1999, págs. 234-242.