Espacio localmente convexo

Espacio localmente convexo

Espacio localmente convexo

En análisis funcional y en áreas relativas a las matemáticas, espacios vectoriales topológicos localmente convexos ó espacios localmenete convexos son ejemplos de espacios vectoriales topológicos los cuales generalizan los espacios normados. Ellos pueden ser definidos como espacios vectoriales topológicos cuya topología es generada por transformaciones de equilibrio, absorbentes, conjuntos convexos. Paralelamente, pueden ser defindos como un espacio vectorial con una familia de seminormas y una topología puede ser definida en términos de esa familia. Aunque en general tales espacios no son necesariamente normables, la existencia de una base localmente convexa para el vector cero es lo suficientemente fuerte para sustentar el teorema de Hahn-Banach, produciendo así una teoría lo suficientemente rica de funciones linales continuas.

Los espacios de Fréchet son espacios localmente convexos los cuales son dotados de una métrica y completos, con respecto a ésta métrica. Son generalizaciones de los espacios de Banach, que a su vez son espacios vectoriales completos con respecto a una norma.

Contenido

Definición

Suponga que V es un espacio vectorial sobre K, un subcampo de los números complejos (normalmente C o R). Un espacio localmente convexo es definido bien sea en términos de conjuntos convexos o equivalentemente en términos de seminorma.

Conjuntos Convexos

Un subconjunto C en V se dice

  1. Convexo si para cada x y y en C, tx+(1–t) y esta en C para todo t en el intervalo unitario, tal que 0 ≤ t ≤ 1. En otras palabras, C contiene todos los segmentos de línea entre cualesquiera dos puntos en C.
  2. Redondeado si para todo x en C, λx está en C si |λ|=1. Si el campo subyacente K son los números reales, lo que signifa que C es igual a su reflexión a traves del origen. Para un espacio vectorial complejo B estao signiifica que para cualquier x en C, C contiene la circunferencia que pasa por x, centrada en el origen, en el subespacio unidimensional complejo generado por x.
  3. Un Cono (cuando los campos subyacentes están ordenados) si para todo x en C y 0 ≤ λ ≤ 1, λx está en C.
  4. Equilibrado si para todo x en C, λxestá en C si |λ| ≤ 1. Si el campo subyacente 'K son los números reales, esta significa que si x está en C, C contiene el segmento de línea entre x y -x. Para un espacio vectorial complejo V, esto significa que para algún x en C, C contiene el disco con x en su frontera, centrado en el origen, en el espacio unidimensional generado por x. Equivalentemente, un conjunto equilibrado es un cono redondeado.
  5. Absorbente si la unión de tC sobre todo t > 0, pertenece todo a V, o equivalentemente para todo x en V, tx está en C para algún t > 0. El conjunto C puede ser ampliado a absorber cualquier punto en el espacio.
  6. Absolutamente convexo si es a la vez equilibrado y convexo.

Un espacio vectorial topológico localmente convexo es un espacio vectorial topológico en el cual el origen tiene una base local de conjuntos convexos absolutamente absorbentes. Debido a que la transformación es ( por definición de espacio vectorial topológico) continua, todas las transformaciones son homeomorfismos, entonces toda base paralas vecindades del origen pueden ser tranformadas a una base paralas vecindades de cualquier vector dado.

Seminormas

Una seminorma en V es una función p : V → R tal que:

  1. p es positiva o semidefinida positiva:p(x) ≥ 0.
  2. p es homogéneamente positiva o escaladamente positiva: px) = |λ| p(x) para todo escalar λ. Entonces en particular, p(0) = 0.
  3. p es subaditivo. Satisface la desigualdad triangular: p(x + y) ≤ p(x) + p(y).

Si p es estrictamente positiva, estrablece que si p(x) = 0 entonces x = 0, luego p es una norma. Mientras que en general, las seminormas no necesariamente son normas, existe una analogía de éstecriterio parafamilias de seminormas,separadamente, definida a continuación.

Un espacio locamente convexo está entonces definido como un espacio vectorial V de seminormas {pα}α ∈ A en V. El espacio contiene una topoligía natural, la topología inicial de las seminormas. En otras palabras es la topología más fuerte parala cual todas las funciones x → pα(xx0), x0 ∈ V, α ∈ A, son continuas. Una base de vecindades de x0 para esa topología es obtenida de la siguiente forma: para todo subconjunto finito B de A y todo ε > 0, sea

U_{B, \varepsilon}(x_0) = \{x \in V : p_\alpha(x - x_0) < \varepsilon, \ \ \alpha \in B\}.

Las operaciones del espacio vectorial son continuas en esta topología, siguiendo las propiedades dos y tres mencionadas anteriormente. El resultante espacio vectorial topológico es localmente convexo debido a que cada miembro de la familia generadora es convexo.

Referencias

  • Conway, John (1990). A Course in Functional Analysis. Springer. ISBN 03-87-97245-5.
  • Rudin, Walter (January de 1991). Functional Analysis. McGraw-Hill Science/Engineering/Math. ISBN 0-07-054236-8.

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Espacio de Fréchet — Saltar a navegación, búsqueda Un espacio de Fréchet es una estructura de espacio vectorial topológico que satisface ciertas propiedades de los espacios de Banach aun en ausencia de norma. Este concepto hace referencia a Maurice Fréchet, un… …   Wikipedia Español

  • Función localmente convexa — En análisis funcional y en áreas relativas a las matemáticas, espacios vectoriales topológicos localmente convexos o espacios localmente convexos son ejemplos de espacios vectoriales topológicos los cuales generalizan los espacios normados. Ellos …   Wikipedia Español

  • Teoremas fundamentales de la economía del bienestar — Hay dos teoremas fundamentales de la economía del bienestar.[1] [2] El primero afirma que cualquier equilibrio competitivo o walrasiano[3] lleva a una situación de asignación de recursos económicos que es eficiente de acuerdo a Pareto. El segundo …   Wikipedia Español

  • Historia de la geometría — La geometría es una de las más antiguas ciencias. Inicialmente, constituía un cuerpo de conocimientos prácticos en relación con las longitudes, áreas y volúmenes. En el Antiguo Egipto estaba muy desarrollada, según los textos de Heródoto,… …   Wikipedia Español

  • Geometría esférica — En una esfera, la suma de los ángulos de un triángulo no es igual a 180°. Una esfera no es un espacio euclidiano, pero localmente las leyes de la geometría euclidiana son buenas aproximaciones. En un pequeño triángulo en la cara de la Tierra, la… …   Wikipedia Español

  • Callithrix pygmaea —   Tití pigmeo …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”