Espacio ba

clase de espacios de Banach

En matemáticas, un espacio ba (denotado como ) de un álgebra de conjuntos es el espacio de Banach que consta de todas las medidas con signo acotadas finitamente aditivas en . La norma se define como variación, es decir [1]

Si Σ es una σ-álgebra, entonces el espacio se define como el subconjunto de que consta de medidas numerablemente aditivas.[2]​ La notación ba es una regla mnemotécnica en inglés para "bounded additive" (aditivo acotado) y ca es la abreviatura de "countably additive" (aditivo numerable).

Si X es un espacio topológico, y Σ es el álgebra sigma de un conjunto de Borel en X, entonces es el subespacio de que consta de todas las medidas de Borel regulares en X.[3]

Propiedades

editar

Los tres espacios están completos (es decir, son espacios de Banach) con respecto a la misma norma definida por la variación total y, por lo tanto,   es un subconjunto cerrado de   y   es un conjunto cerrado de   para Σ el álgebra de Borel establecida en X. El espacio de funciones simples en   es denso en  .

El espacio ba del conjunto potencia de los números naturales, ba(2N), a menudo se denota simplemente como   y es un isomorfismo respecto al espacio dual del espacio ℓ.

Dual de B(Σ)

editar

Sea B(Σ) el espacio de funciones Σ-medibles acotadas, equipadas con la norma del supremo. Entonces, ba(Σ) = B(Σ)* es el espacio dual de B(Σ). Este resultado se debe a Hildebrandt[4]​ y Fichtenholtz & Kantorovich.[5]​ Este es un tipo de teorema de representación de Riesz que permite representar una medida como un funcional lineal en funciones medibles. En particular, este isomorfismo permite definir la integración con respecto a una medida finitamente aditiva (téngase en cuenta que la integral de Lebesgue habitual requiere aditividad numerable). Este resultado se debe a Dunford & Schwartz,[6]​ y se utiliza a menudo para definir la integral con respecto a la medida vectorial,[7]​ y especialmente a la medida de Radon con valores vectoriales.

El dual topológico de ba(Σ) = B(Σ)* es fácil de visualizar. Existe una dualidad algebraica obvia entre el espacio vectorial de todas las medidas finitamente aditivas σ en Σ y el espacio vectorial de funciones simples ( ). Es fácil comprobar que la forma lineal inducida por σ es continua en la supra norma si σ está acotada, y el resultado se deduce de que una forma lineal en el subespacio denso de funciones simples se extiende a un elemento de B(Σ)* si es continuo en la supra norma.

Dual de L(μ)

editar

Si Σ es una σ-álgebra y μ es una medida positiva sigma aditiva en Σ, entonces el espacio Lp L(μ) dotado con la norma del supremo esencial es por definición el espacio cociente de B(Σ) por el subespacio cerrado de funciones nulas μ acotadas:

 

El espacio dual de Banach L(μ)* es, por tanto, isomorfo a

 

es decir. el espacio de medidas con signo sigma aditivas en Σ que son absolutamente continuas con respecto a μ (μ-a.c. para abreviar).

Cuando el espacio de medida es además de medida sigma-finita entonces L(μ) es a su vez dual a L1(μ), que por el teorema de Radon–Nikodym se identifica con el conjunto de todas las medidas μ-a.c. sigma aditivas. En otras palabras, la inclusión en el bidual

 

es isomorfa a la inclusión del espacio de medidas acotadas μ-a.c. numerablemente aditivas dentro del espacio de todas las medidas acotadas μ-a.c. finitamente aditivas.

Referencias

editar
  1. Dunford y Schwartz, 1958, IV.2.15.
  2. Dunford y Schwartz, 1958, IV.2.16.
  3. Dunford y Schwartz, 1958, IV.2.17.
  4. Hildebrandt, T.H. (1934). «On bounded functional operations». Transactions of the American Mathematical Society 36 (4): 868-875. JSTOR 1989829. doi:10.2307/1989829. 
  5. Fichtenholz, G.; Kantorovich, L.V. (1934). «Sur les opérations linéaires dans l'espace des fonctions bornées». Studia Mathematica 5: 69-98. doi:10.4064/sm-5-1-69-98. 
  6. Dunford y Schwartz, 1958.
  7. Diestel, J.; Uhl, J.J. (1977). Vector measures. Mathematical Surveys 15. American Mathematical Society. Chapter I. 

Bibliografía

editar
  • Dunford, N.; Schwartz, J.T. (1958). Linear operators, Part I. Wiley-Interscience. 

Lecturas adicionales

editar