Teoría de la Probabilidad Tema 2: Teorema de Extensión

Save this PDF as:
 WORD  PNG  TXT  JPG

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Teoría de la Probabilidad Tema 2: Teorema de Extensión"

Transcripción

1 Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015

2 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada para la formación de complementarios y uniones finitas Comentario 1. Por las leyes de De Moivre, un álgebra también es cerrada para las intersecciones finitas 2. Un algebra siempre contiene a Ω y Ejemplo Consideremos la siguiente familia de conjuntos en la recta real: C I = {Todos los intervalos (a, b], (a, ), (, b] : < a < b < } C F = {Uniones disjuntas y finitas de intervalos de C I } La clase C F es un álgebra que no es una σ-álgebra. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

3 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es una clase monótona si 1. Para cualquier sucesión monótona creciente de conjuntos de A, A n, se tiene que n A n A 2. Para cualquier sucesión monótona decreciente de conjuntos de A, A n, se tiene que n A n A Ejemplo Un álgebra que además es una clase monótona es un σ-álgebra. Obviamente, el recíproco también se cierto. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

4 Proposición La intersección arbitraria de álgebras es un álgebras. Este resultado es también cierto si reemplazamos en el enunciado anterior la palabra álgebra por σ-álgebra o clase monótona. Definición Se define la σ-álgebra generada por C como σ(c) = {F : F es una σ-álgebra tal que C F} Una clase muy importante de conjuntos es la σ-álgebra generada por los conjuntos abiertos de R. Esta σ-álgebra se denomina σ-álgebra de Borel y se denota por B. Esta σ-álgebra coincide con la generada por C I. Este resultado se puede probar con ayuda del siguiente ejercicio. Ejercicio: Probar que si C 1 y C 2 son dos familias de subconjuntos de Ω tal que C 1 σ(c 2 ) y C 2 σ(c 1 ) entonces σ(c 1 ) = σ(c 2 ) Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

5 Hemos visto que una σ-álgebra es un álgebra que además es una clase monótona. El siguiente resultado, que usaremos en el Teorema de Extensión, nos garantiza que, si completamos un álgebra para que sea también una clase monótona, obtenemos una σ-álgebra. Teorema Sea C un álgebra y m(c) la clase monótona generada por C. Entonces m(c) = σ(c) Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

6 El resultado fundamental de este capítulo es el siguiente. Proposición Cualquier medida de probabilidad definida en un álgebra C puede ser extendida, de forma única, a la σ-álgebra generada por C. Comentario El resultado anterior es también cierto si en vez de extender una probabilidad queremos extender una medida. Una medida, µ, se define igual que una probabilidad salvo que no se pide que µ(ω) = 1. De hecho, µ(ω) puede ser infinito. Por tanto, µ es una aplicación de F en [0, ]. La unicidad de la extensión sólo se puede garantizar si µ es σ-finita, es decir, Ω = n Ω n (Ω n Ω m =, n m) tal que Ω n F y µ(ω n ) <. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

7 Demostraremos el resultado para una medida µ general. La idea clave de la demostración es construir la extensión de µ a partir de la medida exterior, que está definida para cualquier subconjunto de Ω. Dado A Ω se define su medida exterior como µ (A) = ínf{ n µ(a n ) : A n A n, A n C}. Veremos que µ extiende a µ y que además tiene propiedades de medida en una familia de conjuntos que contiene a σ(c). La prueba estará dividida en varios pasos. Paso 1: µ ( ) = 0 (ejercicio), µ es monótona (ejercicio) y numerable subaditiva, esto es, µ ( n A n ) µ (A n ). n Sólo demostraremos esta última propiedad. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

8 Sean A 1, A 2,... Ω. Por definición de µ se tiene que, para cualquier ɛ > 0, podemos encontrar una familia de conjuntos, {A nk } contenida en C tal que, para cada n se tiene que A n k=1 A nk, y k µ(a nk ) µ (A n ) + ɛ 2 n. Así, como {A nk } n,k contiene a n A n, se tiene que ( ) µ A n µ(a nk ) µ (A n ) + ɛ. n=1 n,k n Como esto es válido para cualquier ɛ se concluye la prueba del Paso 1. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

9 Paso 2: µ extiende a µ en C (ejercicio) Hemos visto que la medida exterior µ comparte ciertas propiedades con una medida. Sin embargo sabemos que (al menos en general) no puede ser aditiva numerable en todos los subconjuntos de Ω. Sí lo será en una familia de conjuntos razonables. Una primera idea sería tomar aquellos conjuntos para los cuales µ (A) + µ (A c ) = µ (Ω). Sin embargo esto no es suficiente. Por ello se define la clase de conjuntos M = {A Ω : µ (A E) + µ (A c E) = µ (E), E Ω}. Puede parecer una condición muy restrictiva pero no lo es ya que veremos que M define una σ-álgebra que contiene a C. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

10 Paso 3: C M Como µ es subaditiva para probar que C C está en M basta probar que, para todo E Ω µ (E) µ (E C) + µ (E C c ). Dado E Ω sea ɛ > 0 arbitrario. Existe un cubrimiento {A n } C de E tal que µ (E) + ɛ µ(a n ). n Ahora bien µ(a n ) = µ(a n C) + µ(a n C c ). Por tanto µ (E) + ɛ n µ(a n C) + n µ(a n C c ) µ (E C) + µ (E C c ). Pero ɛ es arbitrario lo cual prueba el Paso 3. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

11 Nos queda probar que M es una σ-álgebra y que µ es aditiva numerable en M. Antes de abordar el caso numerable, analizaremos las operaciones finitas. Paso 4: M es un álgebra. Algunas propiedades de álgebra son triviales. Es evidente que Ω M y que M es cerrada para la formación de complementarios. Sólo nos quedaría probar que M es cerrada para las intersecciones finitas. Sean A, B M y E Ω un subconjunto de Ω. Por la subaditividad de µ µ ((A B) E) + µ ((A B) c E) = µ (A B E) + µ ((A c B c ) E) = µ (A B E) + µ ((A c B E) (A B c E) (A c B c E)) µ (A B E) + µ (A c B E) + µ (A B c E) + µ (A c B c E) = µ (B E) + µ (B c E) (ya que A M) = µ (E) (ya que B M) Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

12 Paso 5: µ es aditiva finita en M. Esto es, para A 1,..., A n M, A i A j = ((i j), se tiene que µ ( n i=1 A i) = n i=1 µ (A i ) Sea A, B M disjuntos. µ (A B) = µ ((A B) A) + µ ((A B) A c ) = µ (A) + µ (B) Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

13 Paso 6: M es una σ-álgebra Sean A 1, A 2,... M. Queremos demostrar que A = A n M. Sabemos que, por ser M un álgebra, para todo n dado, n k=1 A k M. Dado E Ω, arbitrario, como A c ( n 1 A k) c, por la monotonía de µ µ (E) = µ (E ( n k=1 A k)) + µ (E ( n k=1 A k) c ) µ (E ( n k=1 A k)) + µ (E A c ) n µ (E A k ) + µ (E A c ). k=1 Si n tiende a infinito, por la subaditividad numerable de µ, µ (E) µ (E A k ) + µ (E A c ) µ (E A) + µ (E A c ). k=1 Es decir, A M. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

14 Paso 7: µ es aditiva numerable en M. Si en el Paso 6 reemplazamos E por A = n=1 A n, donde A n M son disjuntos dos a dos, tendríamos que µ (A) µ (A n ). La subaditividad numerable de µ probaría la desigualdad en el otro sentido. n=1 Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

15 Queda demostrar la unicidad. Sean µ 1 y µ 2 tal que µ 1 (A) = µ 2 (A) para todo A σ(c). Sea I = {A σ(c) : µ 1 (A) = µ 2 (A)}. Por hipótesis, C I. Es muy fácil ver que, si la medida a extender es finita en C, I es una clase monótona. Como C es un álgebra, σ(c) I. La prueba de la unicidad para medidas σ-finitas se deja como ejercicio (ver página 14, Shorack, 2000). Shorack (2000) Probability for Statisticians, Springer. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

16 Aunque veremos la definición de función de distribución con más calma cuando definamos una variable aleatoria, a continuación utilizaremos ese concepto para definir medidas de probabilidad (o más en general, medidas) en la recta real. A las medidas que vamos a definir a continuación se les conoce con el nombre de medidas de Lebesgue-Stieltjes porque asignan medida finita a intervalos finitos. Definición Sea F : R R una función continua por la derecha y monótona creciente (a estas funciones se les conoce con el nombre de funciones de distribución generalizadas). Sea F ( ) = ĺım y F (y) la versión continua por la izquierda de F. La masa de F se define como F ( ) = F ( ) F ( ), mientras F (a, b] = F (b) F (a), a < b, se denomina la función de incremento de F. Identificaremos dos funciones de distribución generalizadas con la misma función de incremento. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

17 Ejemplos Como ejemplos de medidas de Lebesgue-Stieltjes podemos considerar: 1. La medida de Lebesgue, λ, se construye a partir de F (x) = x. 2. La medida de contar viene dada por la función de distribución generalizada F (x) = x 3. La masa puntual en el punto x 0 se construye a partir de F (x) = I [x0, ) Teorema La relación µ((a, b]) = F (b) F (a) establece una relación 1 a 1 entre las medidas de Lebesgue-Stieltjes sobre la recta real (con la σ-álgebra de Borel) y las funciones de distribución generalizadas (supuesto que identificamos aquellas con la misma función de incremento) Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

18 Es fácil ver que toda medida de Lebesgue-Stieltjes define una función de distribución generalizada a través de la relación µ((a, b]) = F (b) F (a). Veamos ahora la prueba del recíproco. Dada una función de distribución generalizada, F, definamos µ en la clase I de los intervalos de la forma (a, b]. A continuación probaremos que µ cumple la propiedad de aditividad numerable en I. Posteriormente extenderemos µ al álgebra de sucesos donde C F = {Uniones disjuntas y finitas de intervalos de C I }, C I = {Todos los intervalos (a, b], (a, ), (, b] : < a < b < }. Aquí sólo probaremos el primero de los pasos, la aditividad numerable en I. Ver Shorack (2000), página 19 para la demostración completa. Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

19 Paso 1: Aditividad numerable en I. Utilizaremos un resultado muy conocido de análisis: el valor de una serie de números positivos no depende del orden en que se sume la serie. Ordenemos los intervalos I n de forma decreciente. Es claro que b 1 = b y además, como son disjuntos y la unión es (a, b] se tiene que a 1 = b 2, a 2 = b 3,.... La suma parcial n-ésima viene dada por n µ(i k ) = F (b 1 ) F (a 1 )+F (b 2 ) F (a 2 )+ F (b n ) F (a n ) = F (b) F (a n ). k=1 Como a n a y F es continua por la derecha se tiene que µ(i k ) = F (b) F (a) = µ((a, b]). k=1 Alberto Rodríguez Casal () Teorema de Extensión 25 de septiembre de / 19

1. Medida Exterior. Medida de Lebesgue en R n

1. Medida Exterior. Medida de Lebesgue en R n 1. La integral de Lebesgue surge del desarrollo de la integral de Riemann, ante las dificultades encontradas en las propiedades de paso al ĺımite para calcular la integral de una función definida como

Más detalles

La Medida de Lebesgue. Problema de la Medida

La Medida de Lebesgue. Problema de la Medida Capítulo 19 La Medida de Lebesgue. Problema de la Medida Hemos demostrado en el capítulo anterior que la medida exterior de Lebesgue es una medida sobre la familia M de los conjuntos medibles. Por definición,

Más detalles

2. CONSTRUCCIÓN DE MEDIDAS.

2. CONSTRUCCIÓN DE MEDIDAS. 2. CONSTRUCCIÓN DE MEDIDAS. 1. MEDIDAS EXTERIORES. (2,1,1) Definición. Una medida exterior es una aplicación µ : P(X) [0, + ] que cumple: (a) µ ( ) = 0. (b) Monotonía: Si A B, entonces µ (A) µ (B). (c)

Más detalles

Medidas. Problemas para examen. Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez.

Medidas. Problemas para examen. Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez. Medidas Problemas para examen Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez. Sigma-álgebras 1. Propiedades elementales de σ-álgebras. Demuestre que una σ-álgebra es

Más detalles

Parte 5: Integración en espacios producto.

Parte 5: Integración en espacios producto. Parte 5: Integración en espacios producto. Definición 1 Sean (X; M, µ) y (Y, N, ν) espacios de medida. Se define la σ álgebra producto M N como la σ álgebra generada por los llamados rectángulos medibles,

Más detalles

Los Axiomas de Kolmogorov. Parte II.

Los Axiomas de Kolmogorov. Parte II. Los Axiomas de Kolmogorov. Parte II. 1 Sucesiones infinitas de Eventos y el problema de la Medida de Probabilidad Hasta el momento hemos estudiado modelos de probabilidad cuya clase de eventos incluye

Más detalles

Ejercicios de teoría de la medida

Ejercicios de teoría de la medida Ejercicios de teoría de la medida Pedro Alegría Capítulo. Dada una aplicación F : Ω Ω, demostrar que: a) Si A es una σ-álgebra de Ω, A = {B Ω : F B) A} lo es de Ω. b) Si A es una σ-álgebra de Ω, A = F

Más detalles

1. Propiedades básicas de las medidas

1. Propiedades básicas de las medidas AMARUN www.amarun.net Comisión de Pedagogía - Diego Chamorro Teoría de la medida (Nivel 2). Lección n 2: σ-álgebras y medidas EPN, verano 2009 1. Propiedades básicas de las medidas Marco de trabajo: la

Más detalles

1. MEDIDA E INTEGRACIÓN.

1. MEDIDA E INTEGRACIÓN. 1. MEDID E INTEGRCIÓN. En este capítulo repasamos algunos conceptos que se vieron en la asignatura mpliación de la Teoría de Funciones de Varias Variables. 1. MEDIDS POSITIVS. (1,1,1) Definición. Una σ-álgebra

Más detalles

Parte III. Medida e Integración en R n

Parte III. Medida e Integración en R n Parte III Medida e Integración en R n Capítulo 17 La Medida Exterior de Lebesgue en R n El cálculo de longitudes, áreas y volúmenes es uno de los asuntos matemáticos con más larga tradición histórica,

Más detalles

Integración de Funciones Reales

Integración de Funciones Reales Capítulo 20 Integración de Funciones Reales Nos proponemos estudiar en este capítulo las propiedades fundamentales del operador integral. n particular, extenderemos aquí al caso de funciones medibles con

Más detalles

ANÁLISIS FUNCIONAL Notas de curso. M.A. Rodríguez Departamento de Física Teórica II Universidad Complutense de Madrid

ANÁLISIS FUNCIONAL Notas de curso. M.A. Rodríguez Departamento de Física Teórica II Universidad Complutense de Madrid ANÁLISIS FUNCIONAL Notas de curso M.A. Rodríguez Departamento de Física Teórica II Universidad Complutense de Madrid 2 de septiembre de 22 Índice general. La integral de Lebesgue 3.. Introducción............................................

Más detalles

En primer lugar, vamos a precisar un concepto al que ya nos hemos referido anteriormente, el de σ-álgebra.

En primer lugar, vamos a precisar un concepto al que ya nos hemos referido anteriormente, el de σ-álgebra. Capítulo 20 Conjuntos de Borel Hemos demostrado ya que la familia M de los conjuntos medibles contiene a todos los abiertos de R n y, por tanto, a todos los conjuntos que podamos formar a partir de los

Más detalles

1. Unicidad de Medidas

1. Unicidad de Medidas AMARUN www.amarun.net Comisión de Pedagogía - Diego Chamorro Teoría de la medida (Nivel 2. Lección n 3: Construcción de medidas, Medida de Lebesgue EPN, verano 2009 1. Unicidad de Medidas = Es imposible

Más detalles

Teorema de Carathéodory

Teorema de Carathéodory Teorema de Carathéodory Objetivos. Dada una medida exterior ϕ, definir conjuntos Carathéodory-medibles respecto a ϕ, mostrar que esos conjuntos forman una σ-álgebra y la medida exterior ϕ restringida a

Más detalles

Conjuntos Medibles. Preliminares

Conjuntos Medibles. Preliminares Capítulo 18 Conjuntos Medibles Preliminares En el capítulo anterior vimos que la medida exterior de Lebesgue no resulta σ-aditiva en todo R n. Ahora vamos a construir una familia M de subconjuntos de R

Más detalles

Extensión de medidas

Extensión de medidas Extensión de medidas Problemas para examen Semianillos de conjuntos 1. Escriba la definición de semianillo de conjuntos. 2. Convenio: el conjunto vacío pertenece a cualquier semianillo. En los siguientes

Más detalles

Memo Garro. A n F. n=1

Memo Garro. A n F. n=1 σ-álgebra Memo Garro Introducción En este apunte estudiaremos el concepto de σ-álgebra, como un tipo especial de familia de subconjuntos de un espacio Ω, aunque todavía desde un punto de vista puramente

Más detalles

Extensión de medidas

Extensión de medidas Extensión de medidas Problemas para examen Semianillos de conjuntos 1. Escriba la definición de semianillo de conjuntos. 2. Convenio: el conjunto vacío pertenece a cualquier semianillo. En los siguientes

Más detalles

1. Funciones Medibles

1. Funciones Medibles 1. Medibles Medibles simples... Hasta ahora hemos estudiado la medida de Lebesgue definida sobre los conjuntos de R n y sus propiedades. Vamos a aplicar ahora esta teoría al estudio de las funciones escalares

Más detalles

Medida y Probabilidad

Medida y Probabilidad Medida y Probabilidad Jorge Salazar 1 Enero 2015 1 Con el apoyo del Programa PROMETEO/SENESCYT del Gobierno del Ecuador. ii Contents 7 Integral de Lebesgue 1 7.1 Integración de funciones simples.................

Más detalles

Concepto de medida. Clases de medidas. Probabilidad. Medida completa. Completación de un espacio de medida. Medidas regulares y apretadas.

Concepto de medida. Clases de medidas. Probabilidad. Medida completa. Completación de un espacio de medida. Medidas regulares y apretadas. 2. Función de conjunto. Medida. Probabilidad. Función de conjunto aditiva y σ-aditiva. Propiedades. Concepto de medida. Clases de medidas. Probabilidad. Medida completa. Completación de un espacio de medida.

Más detalles

Teoremas de Convergencia

Teoremas de Convergencia Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y

Más detalles

Notas de Medida, Integración y Probabilidad

Notas de Medida, Integración y Probabilidad Notas de Medida, Integración y Probabilidad J. Armando Domínguez, UAS, jadguez@uas.uasnet.mx Víctor Pérez-Abreu, CIMAT, pabreu@cimat.mx Agosto 2009 Contenido Introducción 2 1 Clases de conjuntos 3 1.1

Más detalles

Teoría de la Probabilidad

Teoría de la Probabilidad Teoría de la Probabilidad Departament d Estadística i Investigació Operativa Universitat de València Guillermo Ayala & Francisco Montes 2 Índice general 1. Experimento, Probabilidad y Medida 1 1.1. Experimento,

Más detalles

Temas preliminares de Análisis Real

Temas preliminares de Análisis Real Temas preliminares de Análisis Real Problemas para examen Usamos la notación A B en el siguiente sentido: A es un subconjunto de B, puede ser que A = B. Propiedades de las operaciones con conjuntos 1.

Más detalles

CARACTERIZACIONES DE LA COMPLETITUD DE R

CARACTERIZACIONES DE LA COMPLETITUD DE R CARACTERIZACIONES DE LA COMPLETITUD DE R 1 Definición 1. Diremos que un cuerpo ordenado K es arquimediano si lím n n que decir que N, visto como subconjunto de K, no está acotado en K. = 0 en K. Esto es

Más detalles

El teorema de Lebesgue

El teorema de Lebesgue Capítulo 3 El teorema de Lebesgue En este capítulo estudiaremos un teorema que nos dice exactamente qué funciones son integrables y cuán grande puede ser la frontera de un conjunto para que éste tenga

Más detalles

Integral de Lebesgue

Integral de Lebesgue Integral de Lebesgue Problemas para examen n todos los problemas se supone que (, F, µ) es un espacio de medida. Integración de funciones simples positivas. La representación canónica de una función simple

Más detalles

Conjuntos Medibles. La identidad de Caratheodory

Conjuntos Medibles. La identidad de Caratheodory Capítulo 18 Conjuntos Medibles La identidad de Caratheodory En el capítulo anterior vimos que la medida exterior de Lebesgue no resulta σ-aditiva en todo R n. Ahora vamos a construir una familia M de subconjuntos

Más detalles

Apuntes sobre la integral de Lebesgue

Apuntes sobre la integral de Lebesgue Apuntes sobre la integral de Lebesgue Miguel Lacruz Martín Universidad de Sevilla 1. Medida de Lebesgue 1.1. Introducción La longitud l(i) de un intervalo I R se define habitualmente como la distancia

Más detalles

Algunas equivalencias topológicas del Axioma del Extremo Superior

Algunas equivalencias topológicas del Axioma del Extremo Superior Algunas equivalencias topológicas del Axioma del Extremo Superior MSc Luis Alejandro Acuña. Escuela de Matemática, Instituto Tecnológico de Costa Rica. En este artículo se presentan cuatro propiedades

Más detalles

x i x io V no V n+1 ; y no x = x io x V n+1. Por tanto x i x V n+1 + V n+1 V n,

x i x io V no V n+1 ; y no x = x io x V n+1. Por tanto x i x V n+1 + V n+1 V n, COMPLETITUD La noción de completitud que vamos a definir, es una generalización de la conocida en espacios métricos. Como en este caso, el hecho de saber que un cierto conjunto de un e.v.t. es completo

Más detalles

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas:

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas: 4 Espacios compactos En este capítulo introducimos los conceptos de espacio y subespacio compacto. Se estudian propiedades de los conjuntos compactos, así como relación entre la compacidad y las funciones

Más detalles

Conjuntos Abiertos y Cerrados

Conjuntos Abiertos y Cerrados Conjuntos Abiertos y Cerrados 1. (a) En la prueba de que la intersección de una colección finita de conjuntos abiertos es un conjunto abierto, dónde se uso la hipótesis de que la colección es finita? 2.

Más detalles

Medida de Lebesgue. 16 de diciembre de 2015

Medida de Lebesgue. 16 de diciembre de 2015 Medida de Lebesgue 16 de diciembre de 2015 En este capítulo construiremos la Teoría de la Medida de Lebesgue sin ningún tipo de prerequisito, excepto ciertos conocimientos elementales de Análisis Real.

Más detalles

Cálculo diferencial e integral I. Eleonora Catsigeras

Cálculo diferencial e integral I. Eleonora Catsigeras Cálculo diferencial e integral I Eleonora Catsigeras Universidad de la República Montevideo, Uruguay 01 de setiembre de 2011. CLASE 14 complementaria. Sobre sucesiones y conjuntos en la recta real. Sucesiones

Más detalles

El Teorema de Fubini-Tonelli

El Teorema de Fubini-Tonelli Capítulo 26 El Teorema de Fubini-Tonelli Veremos en este capítulo que el cálculo de una integral múltiple se reduce al de integrales simples. Concretamente se va a probar que si f(x, y) es una función

Más detalles

Clase 1: Simulación de variables aleatorias *

Clase 1: Simulación de variables aleatorias * Clase 1: Simulación de variables aleatorias * Índice 1. Simulación de variables aleatorias 1 1.1. Espacio de Probabilidad. Axiomas de Kolmogorov...... 1 2. Variables aleatorias y distribución de probabilidad

Más detalles

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Esperanza condicionada Apuntes de clase Probabilidad II (grupos 31 y 40) Curso

Esperanza condicionada Apuntes de clase Probabilidad II (grupos 31 y 40) Curso Esperanza condicionada Apuntes de clase Probabilidad II (grupos 31 y 40) Curso 2010-11 Antonio Cuevas Departamento de Matemáticas Universidad Autónoma de Madrid Probabilidad y esperanza condicionada: recordatorio

Más detalles

Continuidad y monotonía

Continuidad y monotonía Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados

Más detalles

CÁLCULO INTEGRAL. HOJA 1. v(q) = Π n i=1(b i a i ). Definimos también el volumen de un rectángulo cerrado como el volumen de su interior.

CÁLCULO INTEGRAL. HOJA 1. v(q) = Π n i=1(b i a i ). Definimos también el volumen de un rectángulo cerrado como el volumen de su interior. CÁLCULO INTEGRAL. HOJA 1. MEDIDA EXTERIOR DE LEBESGUE. CONJUNTOS MEDIBLES EN R N. MEDIDA DE LEBESGUE. Si Q = (a 1, b 1 )... (a n, b n ) es un rectángulo abierto de R n, definimos el volumen de Q como el

Más detalles

Espacios compactos. 7.1 Espacios compactos

Espacios compactos. 7.1 Espacios compactos 58 Capítulo 7 Espacios compactos 7.1 Espacios compactos Definición 7.1.1 (Recubrimiento). Sea X un conjunto y sea S X. Un recubrimiento de S es una familia A = {A i } i I de subconjuntos de X tales que

Más detalles

Funciones continuas. Definición y propiedades

Funciones continuas. Definición y propiedades Funciones continuas. Definición y propiedades Para la lectura de este artículo es recomendable haber leído con anterioridad otros tres artículos relacionados con las sucesiones de números reales y las

Más detalles

Operaciones extendidas de conjuntos

Operaciones extendidas de conjuntos 234 A. GENERALIDADES DE TEORÍA DE CONJUNTOS Tema 3. Operaciones extendidas de conjuntos En este tema extenderemos las operaciones de conjuntos anteriormente definidas a familias arbitrarias de conjuntos.

Más detalles

Tema 5: Funciones medibles. Variables aleatorias. Función de distribución.

Tema 5: Funciones medibles. Variables aleatorias. Función de distribución. Tema 5: Funciones medibles. Variables aleatorias. Función de distribución. El concepto de variable aleatoria formaliza las magnitudes numéricas asociadas a los resultados de una experimento aleatorio.

Más detalles

1. Convergencia en medida

1. Convergencia en medida FACULTAD CS. FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE MA3801 Teoría de la Medida. Semestre 2009-02 Profesor: Jaime San Martín Auxiliares: Andrés Fielbaum y Cristóbal Guzmán Clase auxiliar 7 21 de Septiembre

Más detalles

Continuidad y monotonía

Continuidad y monotonía Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados

Más detalles

Teorema del Valor Medio

Teorema del Valor Medio Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph

Más detalles

Sucesiones monótonas Monotonía. Tema 6

Sucesiones monótonas Monotonía. Tema 6 Tema 6 Sucesiones monótonas Vamos a discutir ahora una importante propiedad de ciertas sucesiones de números reales: la monotonía. Como primer resultado básico, probaremos que toda sucesión monótona y

Más detalles

ALGUNOS RESULTADOS INTERESANTES DE LA TEORÍA DE LA MEDIDA. Some interesting results of the measurement theory

ALGUNOS RESULTADOS INTERESANTES DE LA TEORÍA DE LA MEDIDA. Some interesting results of the measurement theory Scientia et Technica Año XVII, No 47, Abril 2011 Universidad Tecnológica de Pereira ISSN 0122-1701 190 ALGUNOS RESULTADOS INTERESANTES DE LA TEORÍA DE LA MEDIDA Some interesting results of the measurement

Más detalles

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia 1.. De una manera informal, una sucesión es una familia de elementos de un conjunto, ordenada según el índice de los números naturales. Los elementos pueden estar repetidos o no. Por ejemplo la familia

Más detalles

F-ESPACIOS. 1.- Introducción

F-ESPACIOS. 1.- Introducción F-ESPACIOS 1.- Introducción Recordemos que un subconjunto A de un espacio topológico X se llama diseminado o raro (nowhere dense en ingés) si A=. Un subconjunto que se pueda escribir como unión numerable

Más detalles

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación). Espacios Topológicos 1 Punto de Acumulación Definición: Sea A un subconjunto arbitrario de R n, se dice que x R n es un punto de acumulación de A si toda bola abierta con centro x contiene un punto A distinto

Más detalles

Axiomas de recubrimiento

Axiomas de recubrimiento CAPíTULO 8 Axiomas de recubrimiento Dedicaremos este capítulo a un nuevo tipo de propiedades topológicas: aquellas que se refieren a la posibilidad de extraer subrecubrimientos de cardinal finito o numerable

Más detalles

: k }, es decir. 2 k. k=0

: k }, es decir. 2 k. k=0 FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo Diferencial e Integral 08-2 Basado en el apunte del curso Cálculo (2do semestre), de Roberto Cominetti, Martín Matamala y Jorge San

Más detalles

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R} Proposición. Sea un rectángulo en R n, y sea f : R una función continua. Entonces f es integrable en. Conjuntos de Demostración: Como f es continua en, y es compacto, f es acotada en, y uniformemente continua.

Más detalles

2 Espacio muestral y σ-álgebra de sucesos

2 Espacio muestral y σ-álgebra de sucesos 1 Introducción ESPACIOS DE PROBABILIDAD Julián de la Horra Departamento de Matemáticas U.A.M. Los espacios de probabilidad son las estructuras que se utilizan en Matemáticas para estudiar los fenómenos

Más detalles

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como Universidad de la República Facultad de Ingeniería IMERL Sucesiones Curso Cálculo 1 2008 Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como a 1, a

Más detalles

Principio de acotación uniforme

Principio de acotación uniforme Capítulo 4 Principio de acotación uniforme 4.1. Introducción. Teorema de Baire En este último capítulo vamos a establecer una serie de resultados sobre aplicaciones lineales y continuas entre espacios

Más detalles

El Teorema de Fubini-Tonelli

El Teorema de Fubini-Tonelli Capítulo 23 El Teorema de Fubini-Tonelli Veremos en este capítulo que el cálculo de una integral múltiple se reduce al de integrales simples. Concretamente se va a probar que si f(x, y) es una función

Más detalles

sup si A no es acotado.

sup si A no es acotado. Capítulo 6 Espacios completos 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y

Más detalles

1 Longitud y Medida Longitud Medida Exterior Conjuntos Medibles Ejercicios... 20

1 Longitud y Medida Longitud Medida Exterior Conjuntos Medibles Ejercicios... 20 Contenido Introducción 1 1 Longitud y Medida 3 1.1 Longitud............................. 3 1.2 Medida Exterior........................ 12 1.3 Conjuntos Medibles...................... 13 Ejercicios...............................

Más detalles

Scientia Et Technica ISSN: Universidad Tecnológica de Pereira Colombia

Scientia Et Technica ISSN: Universidad Tecnológica de Pereira Colombia Scientia Et Technica ISSN: 0122-1701 scientia@utpeduco Colombia VALENCIA ANGULO, EDGAR ALIRIO; ESCUDERO, CARLOS ARTURO; POVEDA, YURI ALEXANDER ALGUNOS RESULTADOS INTERESANTES DE LA TEORÍA DE LA MEDIDA

Más detalles

sup si A no es acotado.

sup si A no es acotado. Capítulo 5 Teoría de Baire 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y la

Más detalles

Mariano Suárez-Alvarez. 7 de mayo, Límites superiores y límites inferiores

Mariano Suárez-Alvarez. 7 de mayo, Límites superiores y límites inferiores ĺımsup y ĺıminf Mariano Suárez-Alvarez 7 de mayo, 2013 1.1. Definiciones 1. Límites superiores y límites inferiores 1.1. Sea (a n ) n 1 una sucesión de números reales que es acotada superiormente. Si para

Más detalles

3. INTEGRACION. La (µ)-integral de una función simple no negativa es, por definición:

3. INTEGRACION. La (µ)-integral de una función simple no negativa es, por definición: 3. INTEGRACION La (µ)-integral de una función simple no negativa es, por definición: En este caso se sigue la convención de que si µ(y E i ) = pero como a i = 0 entonces a i µ(y E i ) = 0. Evidentemente,

Más detalles

Formulaciones equivalentes del Axioma de Elección

Formulaciones equivalentes del Axioma de Elección Formulaciones equivalentes del Axioma de Elección MARU SARAZOLA Resumen En este documento presentamos algunas formulaciones equivalentes del axioma de elección. En la primera sección, se presenta el enunciado

Más detalles

1. Espacios topológicos compactos.

1. Espacios topológicos compactos. PRACTICO 6. COMPACIDAD. 1. Espacios topológicos compactos. Definición 1 Un cubrimiento de un conjunto X es una familia de subconjuntos de X cuya unión da X. Un cubrimiento de un espacio es abierto si cada

Más detalles

Probabilidad y Estadística

Probabilidad y Estadística Probabilidad y Estadística Grado en Ingeniería Informática Tema 4 Vectores aleatorios Javier Cárcamo Departamento de Matemáticas Universidad Autónoma de Madrid javier.carcamo@uam.es Javier Cárcamo PREST.

Más detalles

Introducción a la Teoría de Códigos

Introducción a la Teoría de Códigos Introducción a la Teoría de Códigos M.A.García, L. Martínez, T.Ramírez Facultad de Ciencia y Tecnología. UPV/EHU Resumen Teórico Apartado 3 del Tema 1: Base y dimensión de un espacio vectorial Mayo de

Más detalles

Parte 2: Definición y ejemplos de topologías.

Parte 2: Definición y ejemplos de topologías. Parte 2: Definición y ejemplos de topologías. 22 de marzo de 2014 1. Definiciones y propiedades básicas. Definición 1 Sea X un conjunto. Una familia T de subconjuntos de X es una topología de X si se cumplen:

Más detalles

Espacios topológicos. 3.1 Espacio topológico

Espacios topológicos. 3.1 Espacio topológico Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes

Más detalles

La siguiente definición es muy intuitiva. Se dice que una sucesión {x n } es:

La siguiente definición es muy intuitiva. Se dice que una sucesión {x n } es: Tema 6 Sucesiones monótonas Vamos a discutir ahora una importante propiedad de ciertas sucesiones de números reales: la monotonía. Como primer resultado básico, probaremos que toda sucesión monótona y

Más detalles

Teoremas de Tonelli y Fubini

Teoremas de Tonelli y Fubini Teoremas de Tonelli y Fubini Objetivos. Demostrar teoremas de Tonelli y Fubini, conocer contraejemplos que muestran la importancia de algunas condiciones de estos teoremas. Requisitos. Definición del producto

Más detalles

Teorema de Hahn-Banach

Teorema de Hahn-Banach Capítulo 3 Teorema de Hahn-Banach 3.1. Introducción Una vez introducidos los espacios vectoriales más importantes donde se tiene una estructura métrica a saber, los espacios de Hilbert y los espacios de

Más detalles

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Definición 3.1. Sea (X, d) un espacio métrico y A X. Una cubierta de A es una familia

Más detalles

Límite de Funciones [1/35] Límite de Funciones. 24 de mayo de Límite de Funciones

Límite de Funciones [1/35] Límite de Funciones. 24 de mayo de Límite de Funciones [1/35] 24 de mayo de 2007 hacia el infinito [2/35] Introducción En este capítulo nos interesa extender el concepto de límite de sucesiones a funciones reales de variable real. La primera extensión natural

Más detalles

Sucesiones en R. j. armando Velazco. Bitácora personal de matemáticas

Sucesiones en R. j. armando Velazco. Bitácora personal de matemáticas Sucesiones en R j. armando Velazco Bitácora personal de matemáticas 2 de febrero 206 El presente trabajo se distribuye bajo una Licencia Creative Commons Atribución- CompartirIgual 4.0 Internacional. Para

Más detalles

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe.

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe. CONJUNTOS La teoría de conjuntos nos permite describir de forma precisa conjuntos de números, de personas, de objetos, etc que comparten una propiedad común. Esto puede ser de gran utilidad al establecer

Más detalles

Integral de Lebesgue.

Integral de Lebesgue. Las diversas formalizaciones de la integral de Riemann y el problema de caracterizar las funciones integrables sugerían la idea de medir el conjunto de puntos de discontinuidad de una función. Los primeros

Más detalles

Funciones de R m R n

Funciones de R m R n Funciones de R n R m Funciones de R m R n Una funcion f : R n R m es una función cuyo dominio es un subconjunto Ω R n. Denotada por f : Ω R m donde a cada x R n f le asigna un vector f(x) R m. Ejemplo.-

Más detalles

El Teorema de la Convergencia Dominada

El Teorema de la Convergencia Dominada Capítulo 22 l Teorema de la Convergencia Dominada Los dos teoremas de convergencia básicos en la integración Lebesgue son el teorema de la convergencia monótona (Lema 19.10), que vimos el capítulo y el

Más detalles

Ejercicios Adicionales de Cálculo de Probabilidades LICENCIATURA EN MATEMÁTICAS. CURSO

Ejercicios Adicionales de Cálculo de Probabilidades LICENCIATURA EN MATEMÁTICAS. CURSO 1 DEPARTAMENTO DE ESTADÍSTICA E INVESTIGACIÓN OPERATIVA Universidad de Sevilla Ejercicios Adicionales de Cálculo de Probabilidades LICENCIATURA EN MATEMÁTICAS. CURSO 2005-2006. NOTACIONES Y NOMENCLATURA:

Más detalles

9 Grupos abelianos libres

9 Grupos abelianos libres 42 TEORIA DE GRUPOS 9 Grupos abelianos libres En Álgebra Lineal es clásica la estructura de espacio vectorial V sobre un cuerpo K. Esta sección trata de estudiar el caso análogo de un grupo abeliano sobre

Más detalles

Espacios conexos. 6.1 Conexos

Espacios conexos. 6.1 Conexos Capítulo 6 Espacios conexos 6.1 Conexos Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ) y dos subconjuntos A, B X, diremos que A y B están separados si A B = A B = Es evidente

Más detalles

1. El espacio del shift y su topología.

1. El espacio del shift y su topología. TEORIA ERGODICA Eleonora Catsigeras Apuntes para el curso de Maestría en Matemática. Abril de 2005. CAPITULO 4 TRANSFORMACIONES DE BERNOULLI 1. El espacio del shift y su topología. Sea K = {0, 1,..., k

Más detalles

Práctica 5 -Completitud, Continuidad uniforme y Compacidad- A. Completitud

Práctica 5 -Completitud, Continuidad uniforme y Compacidad- A. Completitud Cálculo Avanzado Primer Cuatrimestre de 2011 Práctica 5 -Completitud, Continuidad uniforme y Compacidad- Cuanto más sólido, bien definido y espléndido es el edificio erigido por el entendimiento, más imperioso

Más detalles

Parte 4: Teoremas de convergencia.

Parte 4: Teoremas de convergencia. Parte 4: Teoremas de convergencia. Como siempre, si no se dice lo contrario, se supone que (, M, µ) es un espacio de medida y trabajamos con funciones de dominio y recorrido contenido en C o R o R. Empezamos

Más detalles

3. Variables aleatorias

3. Variables aleatorias 3. Variables aleatorias Estadística Ingeniería Informática Curso 2009-2010 Estadística (Aurora Torrente) 3. Variables aleatorias Curso 2009-2010 1 / 33 Contenidos 1 Variables aleatorias y su distribución

Más detalles

Modos de convergencia

Modos de convergencia Modos de convergencia Favio Pirán, Christian Caticha Resumen En este documento intentaremos generar intuiciones acerca de distintos tipos de convergencia de sucesiones de funciones reales medibles, mediante

Más detalles

Variables Aleatorias

Variables Aleatorias Variables Aleatorias Memo Garro Resumen En este artículo introduciremos un tipo específico de funciones definidas sobre la dupla (Ω F. Estas funciones son llamadas variables aleatorias y son de gran importancia

Más detalles

Transformaciones lineales autoadjuntas (hermíticas)

Transformaciones lineales autoadjuntas (hermíticas) Transformaciones lineales autoadjuntas (hermíticas) Objetivos. Estudiar propiedades elementales de transformaciones lineales autoadjuntas. Demostrar que para toda transformación lineal autoadjunta en un

Más detalles

Espacios métricos completos

Espacios métricos completos 5 Espacios métricos completos Comenzamos introduciendo las sucesiones de Cauchy, que relacionamos con las sucesiones convergentes. En el caso de que coincidan, se trata de un espacio métrico completo.

Más detalles

Notas de Probabilidades y

Notas de Probabilidades y Notas de Probabilidades y Estadística Capítulos 1 al 12 Víctor J. Yohai vyohai@dm.uba.ar Basadas en apuntes de clase tomados por Alberto Déboli, durante el año 2003 Versión corregida durante 2004 y 2005,

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

A partir de la definición obtenemos las siguientes propiedades para estas funciones:

A partir de la definición obtenemos las siguientes propiedades para estas funciones: Capítulo 1 Conjuntos Supondremos conocidas las nociones básicas sobre teoría de conjuntos, tales como subconjuntos, elementos, unión, intersección, complemento, diferencia, diferencia simétrica, propiedades

Más detalles

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones Semana 09 [1/28] 29 de abril de 2007 Semana 09 [2/28] Definición Sucesión Una sucesión real es una función: f : N R n f (n) Observaciones Para distinguir a una sucesión de las demás funciones, se ocupará

Más detalles