Función para la cual la preimagen de un conjunto medible es medible
En matemáticas , y en particular en teoría de la medida , una función medible es una función entre los conjuntos subyacentes de dos espacios mensurables que preserva la estructura de los espacios: la preimagen de cualquier conjunto mensurable es mensurable. Esto está en analogía directa con la definición de que una función continua entre espacios topológicos preserva la estructura topológica: la preimagen de cualquier conjunto abierto es abierta. En el análisis real , se utilizan funciones medibles en la definición de la integral de Lebesgue . En teoría de la probabilidad , una función mensurable en un espacio de probabilidad se conoce como variable aleatoria .
Definicion formal
Sean y espacios medibles, lo que significa que y son conjuntos equipados con -álgebras respectivas y Se dice que una función es medible si para cada la preimagen de under está en ; es decir, para todos![{\displaystyle (X,\Sigma)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Y,\mathrm {T} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {T}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\in \mathrm {T} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\in \mathrm {T} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{-1}(E):=\{x\in X\mid f(x)\in E\}\in \Sigma .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Es decir, ¿ dónde está el σ-álgebra generada por f ? Si es una función medible, se escribe![{\displaystyle \sigma (f)\subseteq \Sigma,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma (f)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\colon (X,\Sigma )\rightarrow (Y,\mathrm {T} ).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {T}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Variaciones de uso de términos
La elección de -álgebras en la definición anterior a veces es implícita y se deja al contexto. Por ejemplo, para u otros espacios topológicos, el álgebra de Borel (generada por todos los conjuntos abiertos) es una elección común. Algunos autores definen funciones medibles como funciones exclusivamente de valor real con respecto al álgebra de Borel. [1]![{\displaystyle \sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {C},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si los valores de la función se encuentran en un espacio vectorial de dimensión infinita , existen otras definiciones de mensurabilidad no equivalentes, como mensurabilidad débil y mensurabilidad de Bochner .
Clases notables de funciones medibles
- Las variables aleatorias son, por definición, funciones medibles definidas en espacios de probabilidad.
- Si y son espacios de Borel , una función medible también se llama función de Borel . Las funciones continuas son funciones de Borel, pero no todas las funciones de Borel son continuas. Sin embargo, una función medible es casi una función continua; ver el teorema de Luzin . Si una función de Borel resulta ser una sección de un mapa, se llama sección de Borel .
![{\displaystyle (X,\Sigma)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Y,T)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:(X,\Sigma )\to (Y,T)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y\xrightarrow {~\pi ~} X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Una función medible de Lebesgue es una función medible donde está el álgebra de conjuntos mensurables de Lebesgue y el álgebra de Borel sobre números complejos . Las funciones medibles de Lebesgue son de interés en el análisis matemático porque pueden integrarse. En el caso de que Lebesgue sea mensurable si y sólo si es mensurable para todos. Esto también equivale a que cualquiera sea mensurable para todos o la preimagen de que cualquier conjunto abierto sea mensurable. Las funciones continuas, funciones monótonas, funciones escalonadas, funciones semicontinuas, funciones integrables de Riemann y funciones de variación acotada son todas medibles de Lebesgue. [2] Una función es mensurable si y sólo si las partes real e imaginaria son mensurables.
![{\displaystyle f:(\mathbb {R} ,{\mathcal {L}})\to (\mathbb {C} ,{\mathcal {B}}_{\mathbb {C} }),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {L}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {C}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{f>\alpha \}=\{x\in X:f(x)>\alpha \}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha \in \mathbb {R}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{f\geq \alpha \},\{f<\alpha \},\{f\leq \alpha \}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\to \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades de funciones medibles
- La suma y el producto de dos funciones medibles de valores complejos son mensurables. [3] También lo es el cociente, siempre que no haya división por cero. [1]
- Si y son funciones medibles, entonces también lo es su composición [1]
![{\displaystyle f:(X,\Sigma _{1})\to (Y,\Sigma _{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g:(Y,\Sigma _{2})\to (Z,\Sigma _{3})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\circ f:(X,\Sigma _{1})\to (Z,\Sigma _{3}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si y son funciones mensurables, su composición no necesita ser mensurable a menos que . De hecho, dos funciones mensurables según Lebesgue puedan construirse de tal manera que su composición no sea mensurable según Lebesgue.
![{\displaystyle f:(X,\Sigma _{1})\to (Y,\Sigma _{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g:(Y,\Sigma _{3})\to (Z,\Sigma _{4})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\circ f:X\to Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle (\ Sigma _ {1}, \ Sigma _ {4})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{3}\subseteq \Sigma _{2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El supremo (puntual) , el mínimo , el límite superior y el límite inferior de una secuencia (es decir, contablemente muchas) de funciones medibles de valor real también son mensurables. [1] [4]
- El límite puntual de una secuencia de funciones medibles es medible, donde es un espacio métrico (dotado del álgebra de Borel). Esto no es cierto en general si no es metrizable. La declaración correspondiente para funciones continuas requiere condiciones más fuertes que la convergencia puntual, como la convergencia uniforme. [5] [6]
![{\displaystyle f_{n}:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Funciones no medibles
Las funciones de valor real que se encuentran en las aplicaciones tienden a ser mensurables; sin embargo, no es difícil demostrar la existencia de funciones no mensurables. Tales pruebas se basan en el axioma de elección de manera esencial, en el sentido de que la teoría de conjuntos de Zermelo-Fraenkel sin el axioma de elección no prueba la existencia de tales funciones.
En cualquier espacio de medidas con un conjunto no medible se puede construir una función indicadora no medible :
![{\displaystyle A\notin \Sigma,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {1} _{A}:(X,\Sigma )\to \mathbb {R} ,\quad \mathbf {1} _{A}(x)={\begin{casos}1&{ \text{ si }}x\in A\\0&{\text{ de lo contrario}},\end{cases}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
álgebra de Borel![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{1\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como otro ejemplo, cualquier función no constante no es medible con respecto al álgebra trivial ya que la preimagen de cualquier punto en el rango es un subconjunto propio y no vacío del cual no es un elemento del álgebra trivial.![{\displaystyle f:X\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma =\{\varnada,X\},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Notas
- ^ abcd Strichartz, Robert (2000). El Camino del Análisis . Jones y Bartlett. ISBN 0-7637-1497-6.
- ^ Carothers, Países Bajos (2000). Análisis reales . Prensa de la Universidad de Cambridge. ISBN 0-521-49756-6.
- ^ Folland, Gerald B. (1999). Análisis Real: Técnicas Modernas y sus Aplicaciones . Wiley. ISBN 0-471-31716-0.
- ^ Royden, HL (1988). Análisis reales . Prentice Hall. ISBN 0-02-404151-3.
- ^ Dudley, RM (2002). Análisis real y probabilidad (2 ed.). Prensa de la Universidad de Cambridge. ISBN 0-521-00754-2.
- ^ Aliprantis, Charalambos D.; Frontera, Kim C. (2006). Análisis dimensional infinito, una guía para el autoestopista (3 ed.). Saltador. ISBN 978-3-540-29587-7.
enlaces externos