Diferencia entre revisiones de «Función medible»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 03:46 26 jun 2013

En teoría de la medida, una función medible es aquella que preserva la estructura entre dos espacios medibles. Formalmente, una función entre dos espacios medibles se dice medible si la preimagen (también llamada imagen inversa) de cualquier conjunto medible es a su vez medible.

Funciones medibles especiales

Si $(X,\Sigma )$ y $(Y,\mathrm {T} )$ son espacios de Borel, entonces toda función medible $f:(X,\Sigma )\rightarrow (Y,\mathrm {T} )$ es llamada función de Borel (o función Borel-medible). Toda función continua es de Borel, pero no toda función de Borel es continua.

Una función Lebesgue-medible es una función $f:(\mathbb {R} ,{\mathcal {L}})\rightarrow (\mathbb {C} ,{\mathcal {B}}_{\mathbb {C} })$ , donde ${\mathcal {L}}$ es la sigma-álgebra de los conjuntos Lebesgue-medibles y ${\mathcal {B}}_{\mathbb {C} }$ es el álgebra de Borel en los números complejos $\mathbb {C}$ . Éstas funciones son de interés en el análisis matemático debido a que siempre pueden ser integradas.

Las variables aleatorias son por definición funciones medibles cuyo dominio es un espacio muestral donde se ha definido una sigma-álgebra y contradominio en $\mathbb {R} ,$ con la medida de Lebesgue.

Propiedades de las funciones medibles

La suma y producto de dos funciones complejas medibles es también medible. Debido a esto también lo es el cociente (siempre que no haya división por cero).

Si $f:(X,\Sigma _{1})\rightarrow (Y,\Sigma _{2})$ y $g:(Y,\Sigma _{2})\rightarrow (T,\Sigma _{3})$ son medibles entonces la composición $g\circ f$ es medible. Esto no es necesariamente cierto cuando las sigma-álgebras no coinciden, es decir, si $f:(X,\Sigma _{1})\rightarrow (Y,\Sigma _{2})$ y $g:(Y,\Sigma _{3})\rightarrow (T,\Sigma _{4})$ entonces $g\circ f$ podría no ser medible aunque f y g sí lo sean.

Referencias

1. Strichartz, Robert (2000). The Way of Analysis. Jones and Bartlett. ISBN 0-7637-1497-6.

2. Folland, Gerald B. (1999). Real Analysis: Modern Techniques and their Applications. Wiley. ISBN 0471317160.

3. Billingsley, Patrick (1995). Probability and Measure. Wiley. ISBN 0-471-00710-2.

4. Royden, H. L. (1988). Real Analysis. Prentice Hall. ISBN 0-02-404151-3.

@@ Línea 5: / Línea 5: @@
 * Si  <math>(X, \Sigma)</math> y <math>(Y, \Tau)</math> son [[álgebra de Borel|espacios de Borel]], entonces toda función medible <math>f: (X, \Sigma) \rightarrow (Y, \Tau)</math> es llamada función de Borel (o función Borel-medible). Toda función continua es de Borel, pero no toda función de Borel es continua.
-* Una función Lebesgue-medible es una función <math>f : (\mathbb{R}, \mathcal{L}) \rightarrow (\mathbb{C}, \mathcal{B}_\mathbb{C})</math>, donde <math>\mathcal{L}</math> es la [[sigma-álgebra]] de los conjuntos Lebesgue-medibles y <math>\mathcal{B}_\mathbb{C}</math> es el álgebra de Borel en los [[números complejos]] <math>\mathbb{C}</math>. Éstas funciones son de interes en el [[análisis matemático]] debido a que siempre pueden ser [[Integral de Lebesgue|integradas]].
+* Una función Lebesgue-medible es una función <math>f : (\mathbb{R}, \mathcal{L}) \rightarrow (\mathbb{C}, \mathcal{B}_\mathbb{C})</math>, donde <math>\mathcal{L}</math> es la [[sigma-álgebra]] de los conjuntos Lebesgue-medibles y <math>\mathcal{B}_\mathbb{C}</math> es el álgebra de Borel en los [[números complejos]] <math>\mathbb{C}</math>. Éstas funciones son de interés en el [[análisis matemático]] debido a que siempre pueden ser [[Integral de Lebesgue|integradas]].
 * Las [[variable aleatoria|variables aleatorias]] son por definición funciones medibles cuyo dominio es un [[espacio muestral]] donde se ha definido una sigma-álgebra y contradominio en  <math>\mathbb{R},</math> con la medida de Lebesgue.