Teorema de Carathéodory

Teorema de Carathéodory

En la rama del análisis matemático una parte relevante es la denominada Teoría de la medida, la cual estudia la medida de conjuntos y les asigna un valor a éstos. En la vida cotidiana medimos o clasificamos los conjuntos según su longitud, superficie o volumen, incluso utilizamos otras magnitudes como la densidad, peso, viscosidad, dureza y muchas otras características que puedan ocurrírsenos. En matemáticas los conjuntos se pueden separar en aquéllos que pueden medirse y aquéllos que no, intuitivamente podemos pensar que esto es absurdo puesto que todo conjunto tiene una de estas medidas mencionadas recientemente, pero lo cierto es que existen numerosos más conjuntos no medibles que medibles, que a priori no encontramos en la naturaleza, y éstos no medibles son incluso difícil de definir explícitamente en muchos casos.

Puesto que una medida es una aplicación como veremos más adelante, pueden existir varias medidas, una destacable es la medida de Lebesgue en la que se asientan las bases de la integral de Lebesgue.

Para comprender el Teorema de Carathéodory es aconsejable recordar el concepto o definición de medida.

Definición: Una medida en un conjunto X es una aplicación \mu: M\longrightarrow[0,+\infty], donde M es una σ-álgebra en X. tal que:

(i) \mu(\emptyset)=0
(ii) σ − aditividad
     Dados Ej sucesión de M i E_{j}\cap E_{k}=\emptyset, 1\leq j\leq k \Rightarrow \mu(\bigcup_{j=1}^{\infty}E_{j})=\sum_{j=1}^{\infty}\mu(E_{j})

 Si \mu: M\longrightarrow[0,+\infty] es una medida en X, decimos que (X,M,μ) es un espacio de medida.

Definición: (Medida exterior) Una medida exterior en X es una aplicación \mu^{\ast}: \wp(X)\longrightarrow[0,+\infty] que cumple tres propiedades:

(i) \mu^{\ast}(\emptyset)=0
(ii) Si A \subset B\subset X \Rightarrow \mu^{\ast}(A) \leq \mu^{\ast}(B)

(iii) σ-subaditividad
      Si \{A_{j}\}_{j\geq 1} sucesión de \wp(X) entonces \mu^{\ast}(\bigcup_{j=1}^{\infty}A_{j})\leq \sum_{j=1}^{\infty}\mu^{\ast}(A_{j})

Propiedad: Toda medida en X, definida en \wp(X), es una medida exterior en X. (El recíproco no es cierto).

Es por ese motivo que las medidas exteriores son más fáciles de construir que las medidas. Para construir la medida de Lebesgue lo que se hace es, construir una medida exterior, denominada medida exterior de Lebesgue, ya que es más fácil de construir y utilizando el Teorema de Carathéodory podemos definir la medida de Lebesgue con la que se asientan lan bases de la integral de Lebesgue.

Teorema de Carathéodory

Sea \mu^{\ast} una medida exterior en X. Entonces el conjunto M \subset \wp(X) formado por todos los conjuntos \mu^{\ast}-medibles es una σ-álgebra en X y \mu=\mu^{\ast}_{|M} (\mu^{\ast} restringida en M) es una medida en X. Además, \{E\subset M: \mu(E)=0\}=\{A\subset X: \mu^{\ast}=0\}

En particular, μ es una medida completa, es decir, si  E\subset M y μ(E) = 0 entonces todo  E'\subset E también cumple  E'\subset M y μ(E') = 0.

Es relevante destacar que el teorema muestra también como construir la medida exterior a partir de una medida cualquiera definida en una semi-álgebra (como por ejemplo, los intervalos semiabiertos en  \mathbb{R}). Así, si la medida definida en la semiálgebra es ν, la medida exterior estará dada por  \mu^{\ast}(A) = inf \{\sum_{A_i \in \mathbb{A}} \nu(A_i): \mathbb{A} \in \mathcal{R}(A)\} , donde  \mathcal{R}(A) = \{\mathbb{A} \subset \mathbb{P}(X) tq |\mathbb{A}|=|\mathbb{N}|, A \subseteq \bigcup (A_i: A_i \in \mathbb{A})\}

En el caso particular de \mathbb{R}, la semiálgebra es S=\{(a,b]: a,b \in \mathbb{R} \}, y la medida sobre ella está dada por ν((a,b]) = ba.


Wikimedia foundation. 2010.

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

Mira otros diccionarios:

  • Teorema de Carathéodory-Jacobi-Lie — El teorema de Carathéodory Jacobi Lie es un teorema en la topología simpléctica que generaliza el teorema de Darboux. El enunciado es el el que sigue. Sea M una variedad simpléctica de dimensión 2n con forma simpléctica ω. Sean funciones… …   Wikipedia Español

  • Teorema de Darboux — El teorema de Darboux es un teorema sobre variedades simplécticas que afirma que todas las variedades simplécticas son localmente simplectomórficas. Eso significa, que para toda toda variedad de ese tipo de dimensión 2n existe un homeomorfismo… …   Wikipedia Español

  • Lema de Radon — El lema de Radon, o simplemente teorema de Radon es un teorema de geometría combinatoria. Se enuncia de la siguiente manera: Si se toman d+2 puntos de Rd, se pueden repartir en dos conjuntos disjuntos A y B tales que las envolventes convexas de A …   Wikipedia Español

  • Topología simpléctica — La topología simpléctica es aquella parte de la matemática referida al estudio de las variedades simplécticas. Estas variedades se presentan naturalmente en la formulación hamiltoniana de la mecánica clásica, que proporciona una de las… …   Wikipedia Español

  • Dimensión de Hausdorff-Besicovitch — Saltar a navegación, búsqueda La dimensión de Hausdorff o dimensión de Hausdorff Besicovitch es una generalización métrica del concepto de dimensión de un espacio topológico, que permite definir la dimensión de una dimensión fraccionaria (no… …   Wikipedia Español

  • Medida exterior — Una medida exterior sobre un cierto conjunto X es una aplicación μ que asocia a cada subconjunto E de X un valor comprendido entre 0 e infinito y que satisface tres propiedades: El dominio de μ consiste de todos los subconjuntos de X …   Wikipedia Español

  • Problemas de Hilbert — Saltar a navegación, búsqueda Los problemas de Hilbert conforman una lista de 23 problemas matemáticos compilados por el matemático alemán David Hilbert para la conferencia en París del Congreso Internacional de Matemáticos de 1900. Los problemas …   Wikipedia Español

  • Variedad subriemanniana — En matemática, una variedad subriemanniana es un cierto tipo de generalización de una variedad de Riemann. A grandes rasgos, para medir distancias en una variedad subriemanniana, solo se permite moverse a través de curvas tangentes a los llamados …   Wikipedia Español

  • Cultura de Grecia — Grecia es a menudo referida como la cuna de la civilización occidental y la antigua Atenas fue considerada su centro. El Partenón de Atenas es el símbolo imperecedero de la cultura griega. La Cultura de Grecia ha evolucionado durante los últimos… …   Wikipedia Español

Compartir el artículo y extractos

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