Abrir menú principal

σ-álgebra

(Redirigido desde «Sigma-álgebra»)

En matemática, una -álgebra (léase "sigma-álgebra") sobre un conjunto es una familia no vacía de subconjuntos de , cerrada bajo complementos, uniones e intersecciones contables. Las σ-álgebras se usan principalmente para definir medidas en . El concepto es muy importante en análisis matemático y en teoría de la probabilidad.

DefiniciónEditar

(σ-álgebra) Una familia de subconjuntos de X, representada por Σ, es una σ-álgebra sobre X cuando se cumplen las siguientes propiedades:

  1. El conjunto vacío está en Σ:  .
  2. Si E está en Σ, también está su complemento  .
  3. Si E1, E2, E3, ... es una sucesión de elementos de Σ, entonces la unión (contable) de todos ellos también está en Σ.

Una σ-álgebra debe contener también al conjunto total X, ya que la segunda propiedad aplicada a   tiene como consecuencia que   pertenece a la σ-álgebra.

La aplicación de las leyes de De Morgan

 

establecen que las intersecciones contables de sucesiones de conjuntos en la σ-álgebra también pertenecen a la σ-álgebra.

Los elementos de una σ-álgebra Σ se denominan conjuntos Σ-medibles (o simplemente conjuntos medibles, cuando no hay ambigüedad sobre  ). Un par ordenado (X, Σ), donde X es un conjunto y Σ una σ-álgebra sobre éste, se denomina espacio medible. Una función entre dos espacios medibles se denomina medible si la preimagen de todo conjunto medible es también medible; esto es, si (X, Σ) y (Y, Ω) son dos espacios medibles, una función f:XY es medible si para todo E  , f−1(E)  .

Una medida es una cierta clase de función medible de una σ-álgebra en el intervalo [0,∞].

Ejemplos:

  • Si P(X) es el conjunto potencia del conjunto X entonces P(X) es una σ-álgebra sobre X (la mayor σ-álgebra posible sobre X).
  • Para cualquier conjunto X, el conjunto   es una σ-álgebra sobre X (la menor σ-álgebra posible sobre X).
  • Si A es una colección de subconjuntos de X, la intersección de todas las σ-álgebras que contienen a A es también una σ-álgebra, denotada por   o por   y denominada σ-álgebra generada por A. Esta es por construcción la menor σ-álgebra posible que contiene a la colección A.
  • La familia de subconjuntos de X que son contables o de conjunto complementario contable (esta familia es distinta del conjunto potencia de X si y sólo si X es incontable). Esta es la σ-álgebra generada por los conjuntos unitarios de X.
  • Si   es un espacio topológico, a   se le denomina σ-álgebra de Borel, la cual se suele denotar como  , y a sus elementos se les llama borelianos.
  • Cuando  , la σ-álgebra generada por la colección de todos los intervalos abiertos finitos se denomina álgebra de Borel (sobre  ).
  • El ejemplo anterior se puede generalizar a espacios topológicos arbitrarios: la σ-álgebra generada por todos los conjuntos abiertos de un espacio topológico X es el álgebra de Borel asociada al espacio X.
  • En el espacio euclidiano  , cabe destacar otra σ-álgebra: la formada por los conjuntos Lebesgue-medibles. Ésta contiene más conjuntos que el álgebra de Borel en  , y es la que se prefiere en teoría de integración.

Conjuntos y funciones mediblesEditar

  • Dado un espacio de medida   se dice que un conjunto   es medible [propiamente  -medible] si  .
  • Una función   entre dos espacios medibles se dice medible, si la preimagen de cualquier conjunto  -medible es  -medible, es decir:

 

Véase tambiénEditar

BibliografíaEditar

  • Robert G. Bartle (1995) [1966]. The Elements of Integration and Measure Theory. Wiley. ISBN 0471042226. 
  • Medida e integración , Mauro Chumpitaz (1989) UNI- Lima.
  • Teoría de la medida, Mauro Chumpitaz (1991) UNI- Lima.