En matemáticas y en particular teoría de la medida , una función medible es una función entre los conjuntos subyacentes de dos espacios medibles que conserva la estructura de los espacios: la imagen inversa de cualquier medible conjunto 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 , las funciones medibles se utilizan en la definición de la integral de Lebesgue . En teoría de la probabilidad, una función medible en un espacio de probabilidad se conoce como variable aleatoria .
Definicion formal
Dejar y ser espacios medibles, lo que significa que y son conjuntos equipados con los respectivos -álgebras y . Una función se dice que es medible si para cada la imagen previa de debajo es en ; es decir
Es decir, , dónde es la σ-álgebra generada por f . Si es una función medible, escribiremos
para enfatizar la dependencia de la -álgebras y .
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 (que contiene todos los conjuntos abiertos) es una elección común. Algunos autores definen las funciones medibles como exclusivamente de valor real con respecto al álgebra de Borel. [1]
Si los valores de la función se encuentran en un espacio vectorial de dimensión infinita , existen otras definiciones no equivalentes de mensurabilidad, 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 medibletambié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 es una sección de un mapa, se llama sección Borel .
- Una función medible de Lebesgue es una función medible, dónde es el -álgebra de conjuntos medibles de Lebesgue, y es el álgebra de Borel sobre los números complejos . Las funciones mensurables de Lebesgue son de interés en el análisis matemático porque pueden integrarse. En el caso, es Lebesgue medible iff es mensurable para todos . Esto también es equivalente a cualquiera de siendo mensurable para todos , o la preimagen de cualquier conjunto abierto que sea medible. Las funciones continuas, las funciones monótonas, las funciones escalonadas, las funciones semicontinuas, las funciones integrables de Riemann y las funciones de variación limitada son todas mensurables según Lebesgue. [2] Una función es medible si las partes real e imaginaria son medibles.
Propiedades de funciones medibles
- La suma y el producto de dos funciones medibles de valor complejo son medibles. [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]
- Si y son funciones medibles, su composición Necesita no ser -medible a menos que . De hecho, se pueden construir dos funciones mensurables de Lebesgue de tal manera que su composición no sea mensurable por Lebesgue.
- El (puntual) supremum , infimum , límite superior y límite inferior de una secuencia (es decir, numerablemente muchas) de funciones mensurables de valor real son todas mensurables también. [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 sino es metrizable. Tenga en cuenta que el enunciado correspondiente para funciones continuas requiere condiciones más fuertes que la convergencia puntual, como la convergencia uniforme. [5] [6]
Funciones no medibles
Las funciones de valor real que se encuentran en las aplicaciones tienden a ser medibles; sin embargo, no es difícil probar la existencia de funciones no medibles. Tales demostraciones se basan en el axioma de elección de una 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 medida con un conjunto no medible , , se puede construir una función de indicador no medible :
dónde está equipado con el álgebra de Borel habitual . Esta es una función no medible ya que la preimagen del conjunto medible es lo no medible .
Como otro ejemplo, cualquier función no constante no es medible con respecto a lo trivial -álgebra , ya que la preimagen de cualquier punto en el rango es un subconjunto apropiado, no vacío de , que no es un elemento de lo trivial .
Ver también
- Espacios vectoriales de funciones medibles: el espacios
- Sistema dinámico que preserva las medidas
Notas
- ↑ a b c d Strichartz, Robert (2000). El camino del análisis . Jones y Bartlett. ISBN 0-7637-1497-6.
- ^ Carothers, NL (2000). Análisis real . 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 real . 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). Infinite Dimensional Analysis, A Hitchhiker's Guide (3 ed.). Saltador. ISBN 978-3-540-29587-7.
enlaces externos
- Función medible en Encyclopedia of Mathematics
- Función de Borel en Encyclopedia of Mathematics