"Empujado hacia adelante" de un espacio medible a otro
En la teoría de la medida , una medida de empuje hacia adelante (también conocida como push forward , push-forward o medida de imagen ) se obtiene transfiriendo ("empujando hacia adelante") una medida de un espacio medible a otro utilizando una función medible .
Definición
Dados espacios medibles y , una función medible y una medida , el empuje hacia adelante de se define como la medida dada por
- para
Esta definición se aplica mutatis mutandis a una medida con signo o compleja . La medida de avance también se denota como , , , o .
Propiedades
Fórmula de cambio de variable
Teorema: [1] Una función medible g en X 2 es integrable con respecto a la medida de empuje hacia adelante f ∗ ( μ ) si y solo si la composición es integrable con respecto a la medida μ . En ese caso, las integrales coinciden, es decir,
Nótese que en la fórmula anterior .
Funcionalidad
Los empujes hacia delante de medidas permiten inducir, a partir de una función entre espacios medibles , una función entre los espacios de medidas . Como ocurre con muchas aplicaciones inducidas, esta construcción tiene la estructura de un funtor , en la categoría de espacios medibles .
Para el caso especial de medidas de probabilidad , esta propiedad equivale a la funcionalidad de la mónada de Giry .
Ejemplos y aplicaciones
- Una " medida de Lebesgue " natural en el círculo unitario S 1 (considerado aquí como un subconjunto del plano complejo C ) puede definirse utilizando una construcción de empuje hacia adelante y la medida de Lebesgue λ en la línea real R . Sea λ también la restricción de la medida de Lebesgue al intervalo [0, 2 π ) y sea f : [0, 2 π ) → S 1 la biyección natural definida por f ( t ) = exp( i t ). La "medida de Lebesgue" natural en S 1 es entonces la medida de empuje hacia adelante f ∗ ( λ ). La medida f ∗ ( λ ) también podría llamarse " medida de longitud de arco " o "medida de ángulo", ya que la f ∗ ( λ )-medida de un arco en S 1 es precisamente su longitud de arco (o, equivalentemente, el ángulo que subtiende en el centro del círculo).
- El ejemplo anterior se extiende perfectamente para dar una "medida de Lebesgue" natural en el toro n -dimensional T n . El ejemplo anterior es un caso especial, ya que S 1 = T 1 . Esta medida de Lebesgue en T n es, hasta la normalización, la medida de Haar para el grupo de Lie compacto y conexo T n .
- Las medidas gaussianas en espacios vectoriales de dimensión infinita se definen utilizando el empuje hacia adelante y la medida gaussiana estándar en la línea real: una medida de Borel γ en un espacio de Banach separable X se llama gaussiana si el empuje hacia adelante de γ por cualquier funcional lineal distinto de cero en el espacio dual continuo a X es una medida gaussiana en R.
- Consideremos una función medible f : X → X y la composición de f consigo misma n veces:
- Esta función iterada forma un sistema dinámico . En el estudio de estos sistemas suele ser de interés encontrar una medida μ en X que la función f no modifique, una medida denominada invariante , es decir, una medida para la que f ∗ ( μ ) = μ .
- También se pueden considerar medidas cuasi-invariantes para un sistema dinámico de este tipo: una medida en se llama cuasi-invariante bajo si el avance de por es simplemente equivalente a la medida original μ , no necesariamente igual a ella. Un par de medidas en el mismo espacio son equivalentes si y solo si , por lo que es cuasi-invariante bajo si
- Mediante esta construcción se pueden obtener muchas distribuciones de probabilidad naturales, como la distribución chi .
- Las variables aleatorias inducen medidas de empuje hacia adelante. Asignan un espacio de probabilidad a un espacio de codominio y dotan a ese espacio de una medida de probabilidad definida por el empuje hacia adelante. Además, como las variables aleatorias son funciones (y, por lo tanto, funciones totales), la imagen inversa de todo el codominio es todo el dominio, y la medida de todo el dominio es 1, por lo que la medida de todo el codominio es 1. Esto significa que las variables aleatorias se pueden componer hasta el infinito y siempre seguirán siendo variables aleatorias y dotarán a los espacios de codominio de medidas de probabilidad.
Una generalización
En general, cualquier función medible puede ser desplazada hacia adelante. El desplazamiento hacia adelante se convierte entonces en un operador lineal , conocido como operador de transferencia u operador de Frobenius-Perron . En espacios finitos, este operador normalmente satisface los requisitos del teorema de Frobenius-Perron , y el valor propio máximo del operador corresponde a la medida invariante.
El adjunto del empuje hacia adelante es el retroceso ; como operador en espacios de funciones en espacios medibles, es el operador de composición u operador de Koopman .
Véase también
Notas
- ^ Secciones 3.6 a 3.7 en Bogachev 2007
Referencias