Ir al contenido

Sistema pi

De Wikipedia, la enciclopedia libre

En matemáticas, un sistema Π (o sistema pi) en un conjunto es una colección de ciertos subconjuntos de de modo que:

  • es no vacío.
  • Si , entonces

Es decir, es una familia no vacía de subconjuntos de que está cerrada bajo un número finito de intersectiones no vacías.[nb 1]​ La importancia de los sistemas Π surge del hecho de que si dos medidas de probabilidad coinciden en un sistema Π, entonces coinciden en la Σ-álgebra generada por ese sistema Π. Además, si otras propiedades, como la igualdad de integrales, se cumplen para el sistema Π, entonces también se cumplen para el álgebra Σ generada. Este es el caso siempre que la colección de subconjuntos para los cuales se mantiene la propiedad es un sistema λ. Los sistemas Π también son útiles para comprobar la independencia de variables aleatorias.

Esto es deseable porque, en la práctica, los sistemas Π suelen ser más sencillos de trabajar que las álgebras Σ. Por ejemplo, puede resultar incómodo trabajar con álgebras Σ generadas por un número finito de conjuntos Por lo tanto, se puede examinar la unión de todas las álgebras Σ generadas por un número finito de conjuntos Esto forma un sistema Π que genera el álgebra Σ deseada. Otro ejemplo es la colección de todos los intervalos de la recta real, junto con el conjunto vacío, que es un sistema Π que genera el muy importante álgebra Σ de Borel de subconjuntos de la recta real.

Definiciones

[editar]

Un Π-system es una colección no vacía de conjuntos que está cerrada bajo intersecciones finitas no vacías, lo que equivale a que contenga la intersección de dos de sus elementos cualesquiera. S¨ i cada conjunto en este sistema Π es un subconjunto de , entonces se llama sistema Π en

Para cualquier familia de subconjuntos de que no esté vacío, existe un sistema Π llamado 'sistema Π generado por , ese es el único sistema Π más pequeño de que contiene cada elemento de Es igual a la intersección de todos los sistemas Π que contienen y puede describirse explícitamente como el conjunto de todas las posibles intersecciones finitas no vacías de elementos de

Una familia de conjuntos no vacía tiene la propiedad de la intersección finita si y solo si el sistema Π que genera no contiene el conjunto vacío como elemento.

Ejemplos

[editar]
  • Para cualquier par de números reales y los intervalos forman un sistema Π, y los intervalos forman un sistema Π si también se incluye el conjunto vacío.
  • La topología (colección de conjuntos abiertos) de cualquier espacio topológico es un sistema Π.
  • Cada filtro es un sistema Π. Cada sistema Π que no contiene el conjunto vacío es un prefiltro (también conocido como base de filtros).
  • Para cualquier función medible el conjunto   define un sistema Π, y se denomina sistema Π generado por ) Alternativamente, define un sistema Π generado por
  • Si y son sistemas Π para y respectivamente, entonces es un sistema Π para el producto cartesiano
  • Cada álgebra Σ es un sistema Π.

Relación con los sistemas λ

[editar]

Un sistema λ en es un conjunto de subconjuntos de que satisfacen

  • Si , entonces
  • Si es una secuencia de subconjuntos disjuntos (dos a dos) en , entonces

Si bien es cierto que cualquier álgebra Σ satisface las propiedades de ser tanto un sistema Π como un sistema λ, no es cierto que cualquier sistema Π sea un sistema λ), y además no es cierto que cualquier sistema Π sea un álgebra Σ. Sin embargo, una clasificación útil es que cualquier sistema de conjuntos que sea a la vez un sistema λ y un sistema Π es un álgebra Σ. Esto se utiliza como paso para demostrar el teorema Π-λ.

El teorema Π-λ

[editar]

Sea un sistema λ y sea   un sistema Π contenido en El teorema Π-λ[1]​ establece que el álgebra Σ generada por está contenida en

El teorema Π-λ se puede utilizar para demostrar muchos resultados elementales en teoría de la medida. Por ejemplo, se utiliza para demostrar la afirmación de la unicidad según el teorema de extensión de Carathéodory para medidas finitas de Σ.[2]

El teorema Π-λ está estrechamente relacionado con el teorema de la clase monótona, que proporciona una relación similar entre clases monótonas y álgebras, y puede usarse para deducir muchos de los mismos resultados. Dado que los sistemas Π son clases más simples que las álgebras, puede ser más fácil identificar los conjuntos que se encuentran en ellos, mientras que, por otro lado, comprobar si la propiedad bajo consideración determina un sistema λ suele ser relativamente fácil. A pesar de la diferencia entre los dos teoremas, el teorema Π-λ a veces se denomina teorema de la clase monótona.[1]

Ejemplo

[editar]

Sean dos medidas en el álgebra Σ y supóngase que es generado por un sistema Π Si

  1. para todos los y

entonces Esta es la afirmación de unicidad del teorema de extensión de Carathéodory para medidas finitas. Si este resultado no parece muy notable, considérese el hecho de que normalmente es muy difícil o incluso imposible describir completamente cada conjunto en el álgebra Σ, por lo que el problema de igualar medidas sería completamente inútil sin dicha herramienta.

'Idea de la demostración[2]​ Defínase la colección de conjuntos

Según el primer supuesto, y son concordantes en y, por lo tanto, en . Según el segundo supuesto, y además se puede demostrar que es un sistema λ. Del teorema Π-λ se deduce que y por lo tanto, Es decir, las medidas concuerdan en

Sistemas Π en probabilidad

[editar]

Los sistemas Π se utilizan más comúnmente en el estudio de la teoría de la probabilidad que en el campo general de la teoría de la medida. Esto se debe principalmente a nociones probabilísticas como la independencia, aunque también puede ser consecuencia del hecho de que el teorema Π-λ fue demostrado por el probabilista Eugene Dynkin. Los textos de teoría de medidas estándar suelen demostrar los mismos resultados mediante clases monótonas, en lugar de sistemas Π.

Igualdad en la distribución

[editar]

El teorema Π-λ motiva la definición común de la distribución de probabilidad de una variable aleatoria en términos de su función de distribución. Recuérdese que la distribución acumulativa de una variable aleatoria se define como

mientras que la ley aparentemente más general de la variable es la medida de probabilidad

donde es el álgebra δ de Borel. Las variables aleatorias e (en dos espacios de probabilidad que pueden ser diferentes) son iguales en distribución (o leyes), denotadas por si tienen las mismas funciones de distribución acumulativa; es decir, si La motivación para la definición surge de la observación de que si entonces eso es exactamente decir que y concuerdan en el sistema Π que genera y por lo tanto, según el ejemplo anterior:

Un resultado similar es válido para la distribución conjunta de un vector aleatorio. Por ejemplo, supóngase que e son dos variables aleatorias definidas en el mismo espacio de probabilidad con los sistemas Π y generados respectivamente. La función de distribución acumulativa conjunta de es

Sin embargo, y porque

es un sistema Π generado por el par de variables aleatorias el teorema Π-λ se utiliza para demostrar que la función de distribución acumulativa conjunta es suficiente para determinar la ley conjunta de En otras palabras, y tienen la misma distribución si y solo si tienen la misma función de distribución acumulativa conjunta.

En la teoría de procesos estocásticos, se sabe que dos procesos tienen la misma distribución si y solo si coinciden en todas las distribuciones de dimensión finita; es decir, para todos los

La prueba de ello es otra aplicación del método del teorema Π-&lambda.[3]

Variables aleatorias independientes

[editar]

La teoría del sistema Π juega un papel importante en la noción probabilística de independencia. Si e son dos variables aleatorias definidas en el mismo espacio de probabilidad , entonces las variables aleatorias son independientes si y solo si sus sistemas Π satisfacen para todo y

es decir, son independientes. En realidad, este es un caso especial del uso de sistemas Π para determinar la distribución de

Ejemplo

[editar]

Sea donde son variables aleatorias normales estándar independientes e idénticamente distribuidas. Defínanse las variables de radio y argumento (arctan)

Entonces, y son variables aleatorias independientes.

Para probar esto, es suficiente demostrar que los sistemas Π son independientes: es decir, para todos y

Confirmar que este es el caso es un ejercicio de cambio de variables. Fíjese y entonces la probabilidad se puede expresar como una integral de la función de densidad de probabilidad de

Véase también

[editar]
Familias de conjuntos sobre
Es necesariamente cierto de
o es cerrado bajo:
Dirigido
por
P.I.F.
Sistema Π Yes Yes No No No No No No No No
Semianillo Yes Yes No No No No No No Yes Nunca
Semiálgebra (Semicuerpo) Yes Yes No No No No No No Yes Nunca
Clase monótona No No No No No Solo si Solo si No No No
Sistema λ (Sistema de Dynkin) Yes No No Solo si
Yes No Solo si
o son disjuntos
Yes Yes Nunca
Anillo (Teoría del orden) Yes Yes Yes No No No No No No No
Anillo (Teoría de la medida) Yes Yes Yes Yes No No No No Yes Nunca
Anillo δ Yes Yes Yes Yes No Yes No No Yes Nunca
Anillo Σ Yes Yes Yes Yes No Yes Yes No Yes Nunca
Álgebra (Cuerpo) Yes Yes Yes Yes Yes No No Yes Yes Nunca
Álgebra Σ (Cuerpo Σ) Yes Yes Yes Yes Yes Yes Yes Yes Yes Nunca
Ideal dual Yes Yes Yes No No No Yes Yes No No
Filtro Yes Yes Yes Nunca Nunca No Yes Yes Yes
Prefiltro (Base de filtros) Yes No No Nunca Nunca No No No Yes
Subbase de filtros No No No Nunca Nunca No No No Yes
Topología abierta Yes Yes Yes No No No
(Incluso arbitrario)
Yes Yes Nunca
Topología cerrada Yes Yes Yes No No
(Incluso arbitrario)
No Yes Yes Nunca
Es necesariamente cierto de
o es cerrado bajo:
Dirigido
abajo
Intersecciones
finitas
Uniones
finitas
Complementos
relativos
Complementos
en
Intersecciones
numerables
Uniones
numerables
Contiene a Contiene a Propiedad de
la Intersección
Finita

Además, un semianillo es un sistema Π donde cada complemento es igual a una unión disjunta finita de conjuntos en
. Una semiálgebra es un semianillo que contiene a
son elementos arbitrarios de y se supone que

Notas

[editar]
  1. La intersección nula (0-aria) de subconjuntos de es por convención igual a que no es necesario que sea un elemento de un sistema Π.

Referencias

[editar]
  1. a b Kallenberg, Foundations Of Modern Probability, p. 2
  2. a b Durrett, Probability Theory and Examples, p. 404
  3. Kallenberg, Foundations Of Modern probability, p. 48

Bibliografía

[editar]