Teoría de la Probabilidad Tema 2: Teorema de Extensión
|
|
- Elisa Silva Domínguez
- hace 7 años
- Vistas:
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. 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 detallesLa 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 detalles2. 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 detallesMedidas. 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 detallesParte 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 detallesLos 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 detallesEjercicios 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 detalles1. 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 detalles1. 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 detallesParte 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 detallesIntegració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 detallesANÁ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 detallesEn 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 detalles1. 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 detallesTeorema 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 detallesConjuntos 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 detallesExtensió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 detallesMemo 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 detallesExtensió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 detalles1. 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 detallesMedida 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 detallesConcepto 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 detallesTeoremas 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 detallesNotas 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 detallesTeorí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 detallesTemas 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 detallesCARACTERIZACIONES 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 detallesEl 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 detallesIntegral 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 detallesConjuntos 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 detallesApuntes 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 detallesAlgunas 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 detallesx 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 detallesEspacios 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 detallesConjuntos 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 detallesMedida 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 detallesCá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 detallesEl 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 detallesClase 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 detallesTerminaremos 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 detallesEsperanza 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 detallesContinuidad 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 detallesCÁ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 detallesEspacios 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 detallesFunciones 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 detallesOperaciones 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 detallesTema 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 detalles1. 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 detallesContinuidad 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 detallesTeorema 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 detallesSucesiones 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 detallesALGUNOS 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 detalles1. 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 detallesF-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 detallesEspacios 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 detallesAxiomas 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
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 detallesPor 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 detalles2 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 detallesSucesiones. 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 detallesPrincipio 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 detallesEl 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 detallessup 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 detalles1 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 detallesScientia 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 detallessup 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 detallesMariano 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 detalles3. 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 detallesFormulaciones 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 detalles1. 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 detallesProbabilidad 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 detallesIntroducció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 detallesParte 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 detallesEspacios 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 detallesLa 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 detallesTeoremas 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 detallesTeorema 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 detallesEspacios 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 detallesLí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 detallesSucesiones 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 detallesCONJUNTOS. 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 detallesIntegral 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 detallesFunciones 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 detallesEl 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 detallesEjercicios 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 detalles9 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 detallesEspacios 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 detalles1. 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 detallesPrá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 detallesParte 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 detalles3. 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 detallesModos 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 detallesVariables 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 detallesTransformaciones 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 detallesEspacios 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 detallesNotas 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 detallesConjuntos, 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 detallesA 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 detallesSemana 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