Teoría de la medida

Teoría de la medida
Una medida aplica ciertos subconjuntos (pertenecientes a una σ-álgebra) en valores del intervalo [0, ∞].

En matemáticas, una medida es una función que asigna un número, un "tamaño", un "volumen", o una "probabilidad", a los subconjuntos de un conjunto dado. El concepto es importante para el análisis matemático y para la teoría de la probabilidad.

A menudo, el ambicioso objetivo de asignar una medida a todo subconjunto del conjunto base se revela inalcanzable. Solo será posible, o interesante en algunos casos, asignar medida a ciertas familias de subconjuntos, a los que llamaremos medibles. Las condiciones de consistencia que deben cumplir los miembros de estas familias quedan encapsuladas en el concepto auxiliar de σ-álgebra.

La teoría de la medida es una rama del análisis real que investiga las σ-álgebras, las medidas, funciones medibles e integrales. Es de importancia central en probabilidad y en estadística.

Contenido

Definiciones formales

Formalmente, una medida μ es una función definida en una σ-álgebra Σ sobre un conjunto X con valores en el intervalo real extendido [0, ∞], que verifica:

  • La medida del conjunto vacío es cero: μ( \varnothing \, ) = 0.
  • Sean E1, E2, E3, ... una sucesión contable de conjuntos disjuntos dos a dos de la σ-álgebra Σ y E es su unión, entonces μ(E) es igual a la suma de las medidas de los Ek; esto es,

\mu\left(\bigcup_{i=1}^\infty E_i\right) = \sum_{i=1}^\infty \mu(E_i).

La terna (X, Σ, μ) se denomina espacio de medida, y los elementos de Σ se denominan conjuntos medibles.

Propiedades

Varias propiedades pueden deducirse directamente de la definición.

Monotonía

μ es monótona: si E1 y E2 son dos conjunto medibles, con E_1\subseteq E_2, entonces  \mu(E_1) \leq \mu(E_2).

Uniones contables

Si E1, E2, E3, ... es una sucesión contable de conjuntos medibles, su unión será también medible (por la definición de σ-álgebra), y

\mu\left( \bigcup_{i=1}^\infty E_i\right) \le \sum_{i=1}^\infty \mu(E_i).

Si se tiene además que EnEn+1 para todo n, entonces

 \mu\left(\bigcup_{i=1}^\infty E_i\right) = \lim_{i\to\infty} \mu(E_i).

Intersecciones contables

Si E1, E2, E3, ...es una sucesión contable de conjuntos medibles, y En+1En para todo n, entonces la intersección de los conjuntos En es medible (de nuevo, por la definición de σ-álgebra); más aún, si al menos uno de los En tiene medida finita, entonces

 \mu\left(\bigcap_{i=1}^\infty E_i\right) = \lim_{i\to\infty} \mu(E_i).

Esta igualdad no es necesariamente cierta si ninguno de los En no tiene medida finita; por ejemplo, para cada nN, tómese

 E_n = [n, \infty) \subseteq \mathbb{R}.

Todos estos conjuntos tienen medida infinita, de modo que el límite al lado derecho de la igualdad es ∞; sin embargo, su intersección es vacía y por lo tanto tiene medida 0.

Medidas sigma-finitas

Un espacio de medida (X, Σ, μ) se dice finito si μ(X) es un número real finito (en lugar de ∞). Y se dice σ-finito (leído sigma finito) si X es la unión contable de conjuntos medibles de medida finita. Un conjunto en un espacio de medida tiene medida σ-finita si es una unión contable de conjuntos de medida finita.

Por ejemplo, los números reales con la medida de Lebesgue estándar forman un espacio σ-finito pero no finito. Considérese el intervalo cerrado [k, k+1] para cada entero k; hay una cantidad contable de tales intervalos, cada uno tiene medida 1, y su unión es la recta real completa. Alternativamente, tómense los números reales con la medida de conteo, que asigna a cada conjunto finito de números reales el número de puntos en el conjunto. Este espacio de medida no es σ-finito, ya que cada conjunto de medida finita contiene finitos puntos, y se necesitaría una cantidad no contable de ellos para cubrir la recta entera. Los espacios de medida σ-finita tienen algunas propiedades convenientes; así, la σ-finitud puede ser comparada a la separabilidad de los espacios topológicos.

Completitud

Un conjunto medible S es llamado un conjunto nulo si μ(S) = 0, y conjunto despreciable si está contenido en uno nulo. La medida μ se dice completa si todo conjunto despreciable es medible (y por lo tanto, nulo también).

Una medida puede extenderse a una completa considerando la σ-álgebra de conjuntos TX que difieren de un conjunto medible S en un conjunto despreciable; esto es, tal que la diferencia simétrica T Δ S está contenida en un conjunto nulo. En tal caso se define μ(T) = μ(S).

Ejemplos

A continuación se listan algunos ejemplos importantes de medidas.

  • La medida de conteo se define por μ(S) = número de elementos en S.
  • La medida de Lebesgue es la única medida completa, invariante por translaciones, sobre una σ-álgebra sobre R que contenga a los intervalos, y tal que μ([0,1]) = 1.
  • La medida de ángulo circular, que es invariante por rotaciones.
  • La medida de Haar para un grupo topológico localmente compacto es una generalización de la medida de Lebesgue y tiene una propiedad de unicidad similar.
  • La medida cero es la definida mediante μ(S) = 0 para todo S.
  • La medida exterior de Hausdorff-Besicovitch se usa en geometría fractal para medir el df-contenido de un conjunto fractal de dimensión df.
  • Todo espacio de probabilidad da lugar a una medida que toma el valor 1 sobre todo el espacio (y por tanto toma todos sus valores en el intervalo unitario [0,1]). Tal medida es denominada medida de probabilidad.


Otras medidas notables son las de Borel, Jordan, y Radon.

Contraejemplos

Contrariamente a lo que podría esperarse, no todos los conjuntos del espacio euclídeo son medibles; algunos ejemplos de estos conjuntos contraintuitivos son el conjunto de Vitali, y los que aparecen en las paradojas de Hausdorff y Banach-Tarski.

Generalizaciones

Para ciertos propósitos, es útil tener una "medida" cuyos valores no se restrinjan a los reales no negativos y el infinito. Por ejemplo, una función de conjunto numerable aditiva con valores en los números reales (con signo) se llama medida con signo, mientras que tal tipo de función con valores en los números complejos se llama medida compleja. Una medida que tome valores en un espacio de Banach se llama medida espectral; son usadas a menudo en análisis funcional en el teorema espectral. Para distinguir las medidas usuales, con valores positivos, de las generalizaciones, se habla de medidas positivas.

Otra generalización es la medida finitamente aditiva. Es igual que una medida, salvo que en lugar de requerir aditividad contable, sólo se necesita aditividad finita. Históricamente, esta definición se usó inicialmente, pero no resultó ser tan útil. En general, las medidas finitamente aditivas están conectadas con nociones como los límites de Banach, el dual de L, y la compactificación de Stone-Čech. Todas éstas están conectadas de alguna forma con el axioma de elección.

El interesante resultado en geometría integral conocido como teorema de Hadwiger establece que el espacio de funciones de conjunto invariantes por translaciones, finitamente aditivas, no necesariamente no negativas definidas sobre las uniones finitas de conjuntos compactos y convexos en Rn consiste (salvo múltiplos escalares) en una "medida" que es "homogénea de grado k" para cada k = 0, 1, 2, ..., n, y combinaciones lineales de esas "medidas". "Homogénea de grado k" significa que "re-escalar" cualquier conjunto por un factor c > 0 multiplica la "medida" del conjunto por un factor ck. La que es homogénea de grado n es el volumen ordinario n-dimensional. La homogénea de grado n-1 es el "volumen de superficie". La homogénea de grado 1 es una función misteriosa llamada "anchura media" (en inglés, "mean width"), un mal nombre. La homogénea de grado 0 es la característica de Euler.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Teoría de la medida — En matemáticas, una medida es una función que asigna un número, e.g., un tamaño , un volumen , o una probabilidad , a los subconjuntos de un Conjunto dado. El concepto es importante para el Análisis matemático y para la Teoría de la probabilidad …   Enciclopedia Universal

  • Medida de Haar — En análisis matemático, la medida de Haar es una manera de asignar un volumen invariante a los subconjuntos de grupos topológicos localmente compactos y de definir posteriormente una integral para las funciones sobre esos grupos. Esta medida fue… …   Wikipedia Español

  • Teoría ergódica — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Teoría de la decisión — La teoría de la decisión es una área interdisciplinaria de estudio, relacionada con casi todos los participantes en ramas de la ciencia, ingeniería principalmente la psicología del consumidor (basados en perspectivas cognitivo conductuales).… …   Wikipedia Español

  • Teoría de la probabilidad — La teoría de la probabilidad es la parte de las matemáticas que estudia los fenómenos aleatorios. Estos deben contraponerse a los fenómenos determinísticos, los cuales son resultados únicos y/o previsibles de experimentos realizados bajo las… …   Wikipedia Español

  • Medida — ► sustantivo femenino 1 Acción y resultado de medir: ■ ha realizado la medida de la sala contando las baldosas del suelo. SINÓNIMO medición mensuración 2 Expresión numérica del resultado de medir una magnitud: ■ tiene unas medidas de 20 por 25.… …   Enciclopedia Universal

  • Medida de Lebesgue — En matemáticas, la medida de Lebesgue es la forma estándar de asignar una longitud, área, o volumen a los subconjuntos del espacio euclídeo. Se usa en el análisis real, especialmente para definir la integración de Lebesgue. Los conjuntos a los… …   Wikipedia Español

  • Teoría relativista de la gravitación — La teoría relativista de la gravitación (TRG) es una teoría del campo gravitatorio formulada, por Logunov, Mestvirishvili y Petrov. Dicha teoría construye una teoría del campo gravitatorio dentro de los límites de la teoría especial de la… …   Wikipedia Español

  • Teoría de los tests — Este artículo trata sobre la teoría de los tests en general y particularmente su aplicación en psicometría. Para Las pruebas de significación estadística, véase Contraste de hipótesis. La teoría de los tests es una área subordinada de la teoría… …   Wikipedia Español

  • Medida — El término medida puede referirse a los siguientes artículos: Medida, la cantidad de sílabas métricas que compone un verso. Unidad de medida, una cantidad estandarizada de una determinada magnitud física. Medición, la determinación de la relación …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”