2. CONSTRUCCIÓN DE MEDIDAS.
|
|
- Eugenia Casado Ojeda
- hace 6 años
- Vistas:
Transcripción
1 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) Subaditividad: Para toda sucesión (A n ) de partes de X µ ( ) A n µ (A n ). (2,1,2) Ejemplo. La medida exterior de Lebesgue m d definida en Rd. Cuando la dimensión esté sobrentendida usaremos la notación m. (2,1,3) Definición. Sea µ una medida exterior definida en el conjunto X. Diremos que M X es medible (en el sentido de Carathéodory) si para todo A X se tiene µ (A) = µ (A M) + µ (A M). (2,1,4) Teorema de Carathéodory. Sea µ una medida exterior definida en un conjunto X. Los conjuntos medibles en el sentido de Carathéodory forman una σ-álgebra Σ de partes de X. La restricción µ de µ a Σ es una medida. Los conjuntos medibles Lebesgue son los conjuntos medibles en el sentido de Carathéodory respecto de la medida exterior de Lebesgue. 2. MEDIDAS EXTERIORES MÉTRICAS. El teorema de Carathéodory por si sólo no nos dice qué conjuntos son medibles. Necesitamos introducir un concepto nuevo para probar que los conjuntos de Borel son medibles. (2,2,1) Definición. Sea X un espacio métrico. Diremos que una medida exterior µ definida en X es medida exterior métrica si para cada dos conjuntos A, B X tales que su distancia d(a, B) > 0 se cumple µ (A B) = µ (A) + µ (B). (2,2,2) Ejemplo. La medida de Lebesgue en R n es una medida exterior métrica. Teoría de la Medida,
2 (2,2,3) Lema. Sea X un espacio métrico, µ una medida exterior métrica definida en X. Dado un abierto V y un conjunto A definimos A n = {x A V : d(x, X V ) > 1/n}. Entonces se tiene que lim n + µ (A n ) = µ (A V ). (2,2,4) Teorema. Sea X un espacio métrico, µ una medida exterior métrica definida en X. Los conjuntos abiertos de X son medibles en el sentido de Carathéodory. Es fácil ver ahora que una medida exterior es métrica si y sólo si los conjuntos abiertos son medibles. (2,2,5) Corolario. Sea X un espacio métrico, µ una medida exterior métrica definida en X. Entonces todos los conjuntos de Borel son medibles en el sentido de Carathéodory. En particular los conjuntos de Borel de R n son medibles Lebesgue. 3. EXTENSIÓN DE MEDIDAS. (2,3,1) Definición. Un anillo A en X es un subconjunto de partes de X tales que: (a) A. (b) A y B A implican que A B A, y A B A. (2,3,2) Ejemplo. Las uniones finitas de intervalos semiabiertos (a, b] forman un anillo en R. Si A y B A se deduce de la condición (b) que A B y la diferencia simétrica A B = (A B) (B A) A. Nos preguntamos cuando una aplicación τ: A [0, + ] se extiende a una medida, definida en una σ-álgebra Σ A. Es claro que son necesarias dos condiciones, que exponemos en la definición siguiente. (2,3,3) Definición. Una función τ: A [0, + ] se dice que es una premedida si cumple las dos condiciónes: (a) τ( ) = 0. ( ) (b) τ A n = n A n A. τ(a n ), siempre que los A n A sean disjuntos dos a dos y tales que El siguiente teorema prueba que estas condiciones son suficientes. (2,3,4) Teorema de extensión. Sea τ: A [0, + ] una premedida definida en el anillo A. Entonces existe una medida µ, definida en la σ-álgebra Σ = A σ generada por A que extiende a la premedida τ. Teoría de la Medida,
3 Nota. La extensión se construye a partir de la medida exterior asociada a τ { } µ (Y ) = inf τ(a n ) Y A n, A n A. (2,3,5) Unicidad de la extensión. Si la premedida es σ-finita, es decir existe una sucesión (A n ) de conjuntos del anillo tales que τ(a n ) < + y A n = X, entonces la extensión µ del teorema anterior es única. El teorema de extensión se usa en muchos casos para comparar medidas, como vemos en las siguientes consecuencias. (2,3,6) Consecuencias. Sea A un anillo y µ una medida en A σ que es σ-finita sobre A. (a) Si ν es una medida en A σ que cumple µ(a) ν(a) para todo A A, entonces µ(m) ν(m) para todo M A σ. (b) Si ν es una medida en A σ que coincide con µ en A, entonces µ = ν en A σ. (a) Aproximación Si M A σ y µ(m) < +, y ε > 0, entonces existe A A con µ(a M) < ε. (2,3,7) Definición. Un familia S de partes de X es un semianillo si cumple (a) S. (b) Si J y K S, entonces J K S y J K es unión finita de elementos disjuntos de S. (2,3,8) Ejemplos. Los conjuntos unitarios de X y el conjunto vacío forman un semianillo. Los intervalos semiabiertos (a, b] de R forman un semianillo. (2,3,9) Proposición. Sea S un semianillo en X. Las uniones finitas de elementos de S forman un anillo en X. Cada elemento de este anillo es unión finita y disjunta de elementos de S. (2,3,10) Proposición. Si S 1 es un semianillo en X 1 y S 2 otro en X 2, entones la familia S 1 S 2 de los productos J 1 J 2 (con J i X i ) forman un semianillo en X 1 X 2. (2,3,11) Ejemplo. Las uniones finitas (y disjuntas) de intervalos de la forma (a 1, b 1 ] (a 2, b 2 ] (a d, b d ] forman un anillo en R d. Este anillo genera la σ-álgebra de los conjuntos de Borel. (2,3,12) Teorema. Sea S un semianillo y ρ: S [0, + ] una función que cumple: (a) ρ( ) = 0. (b) Si (A n ) es una sucesión en S tal que A n S, entonces ( ) ρ A n = ρ(a n ). Teoría de la Medida,
4 Entonces ρ se extiende a una única premedida en el anillo A generado por S. En las condiciones del teorema anterior existe por tanto una medida µ que extiende ρ a la σ-álgebra A σ, y si ρ es σ-finita la extensión µ es única. 4. MEDIDAS DE BOREL-STIELTJES. Caracterizamos aquí todas las medidas de Borel en R que son finitas en los conjuntos acotados. (2,4,1) Teorema. Sea µ: B [0, + ] una medida definida en la familia B conjuntos de Borel de R y que es finita en los conjuntos acotados. Existe una función α: R R de forma que para todo par de números reales a < b se tiene µ(a, b] = α(b) α(a). (2,4,2) Propiedades. (a) La función α del teorema anterior es única salvo constantes aditivas. (b) La función α es no decreciente. (c) La función α es continua a la derecha. (d) La función α determina la medida µ de manera única. (2,4,3) Propiedades. Dada una función α: R R no decreciente y continua a la derecha existe una única medida de Borel en R tal que µ(a, b] = α(b) α(a). Esta medida es finita en conjuntos acotados. 5. MEDIDAS DE HAUSDORFF. Las medidas de Hausdorff, permiten medir los conjuntos de dimensión p en un espacio métrico. Por ejemplo las superficies en R 3 o las longitudes de las curvas. La buena definición, que se debe a Hausdorff, puede aplicarse a cualquier espacio métrico y a una diménsión arbitraria p > 0, no necesariamente un número natural. (2,5,1) Definición. Sea (X, d) un espacio métrico y 0 < p < +. La medida exterior p- dimensional de Hausdorff de A X es H p (A) = lim H p,ε (A) = sup H p,ε (A), ε 0 Teoría de la Medida, ε>0
5 donde, si d(a) es el diámetro de A, { H p,ε (A) = inf d(a j ) p : A A j, j j=1 } d(a j ) < ε para todo j. (2,5,2) Propiedades. Sea (X, d) un espacio métrico. (a) H p es una medida exterior métrica. (b) H p (A) sólo depende de la estructura métrica de A: si A X es isométrico a B Y entonces H p (A) = H p (B). (c) Sea p < q. Entonces: H p (A) < + = H q (A) = 0 y H q (A) > 0 = H p (A) =. Esta última propiedad permite definir la dimensión de un subconjunto de un espacio métrico. (2,5,3) Definición. Sea (X, d) un espacio métrico. La dimensión de A X es: dim(a) = sup{p H p (A) = + } = inf{p H p (A) = 0}. (2,5,4) Ejemplos. (a) Si A R d entonces 0 dim(a) d. (b) R con la distancia d α (x, y) = x y α, donde 0 < α < 1, tiene dimensión 1/α. La dimensión de Hausdorff es una propiedad métrica. (c) El conjunto de Cantor C tiene dimensión s = log 2/ log 3 y H s (C) = 1. Como vemos a continuación la medida de Hausdorff permite probar ciertas propiedades de la medida de Lebesgue, algunas de las cuales no serían fácilmente asequibles de otro modo. (2,5,5) Proposición. Sean (X, d), (Y, ρ) dos espacios métricos, y ϕ: X Y una aplicación lipschitciana de constante k > 0, es decir, ρ(f(x), f(y)) Cd(x, y) para todo x, y X, entonces se tiene H p (ϕ(a)) C p H p (A) para todo A X. (2,5,6) Corolario. Si λ R y A R d, se cumple: H p (λa) = λ p H p (A). (2,5,7) Teorema. Existe una constante k (0, + ) tal que para todo A R d se cumple H d (A) = k m (A). Nota. El resultado anterior se mantiene si en R d se considera, en lugar de la distancia euclídea, cualquier distancia que provenga de una norma. (2,5,8) Corolario. La medida de Lebesgue es invariante por isometrías: si ϕ: R d R d es una isometría, entonces m (A) = m (ϕ(a)). Por tanto A es medible si y sólo si ϕ(a) es medible. Teoría de la Medida,
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 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 detallesTeoría de la Probabilidad Tema 2: Teorema de Extensión
Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada
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 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 detalles1. 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 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 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 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 detallesTema 10: Teorema de Hahn-Banach. 14 y 17 de junio de 2010
Tema 10: Teorema de Hahn-Banach 14 y 17 de junio de 2010 1 Versión anaĺıtica Enunciado del teorema Dual topológico Teoremas de extensión Duales de subespacios y cocientes Límites de Banach 2 Separación
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 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 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 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 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 detallesx i yi (2M 1) i (3) i
CURSO DE TEORÍA ERGÓDICA 2008 - V 1. El shift de Bernoulli: punto de vista topológico Sea Σ 2 = {0, 1} Z el espacio del shift de dos símbolos. Llamaremos Σ M = {0, 1..., M 1} Z el espacio del shift de
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 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 detallesEspacios completos. 8.1 Sucesiones de Cauchy
Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un
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 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 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 detalles11.1. Funciones uniformemente continuas
Lección 11 Continuidad uniforme Completando el análisis de los principales teoremas que conocemos sobre continuidad de funciones reales de variable real, estudiamos ahora la versión general para espacios
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 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 resueltos
Ejercicios resueltos 25 de septiembre de 29 2 1 Ejercicios Tema I Ejercicio 1 Demostrar que una clase no vacía A es un álgebra en Ω si y sólo si se verifican las siguientes propiedades: i) Si A A entonces
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 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 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 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 detallesTarea 1. A j. A k. b) Ley Distributiva. c) Ley Distributiva. (A i B j ). B j = (Topología.)
Tarea 1. (Teoría de Conjuntos.) Estos no son obligatorios, pero sería bueno que los hicieran, si es que son ciertos. a) Ley Asociativa. Sea I conjunto y {J i } familia de conjuntos. Si K := J i, entonces
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 detallesApuntes de Teoría de la Medida
Apuntes de Teoría de la Medida Badajoz, 21 de diciembre de 2016 ab A + B. Fig. pág. 243. Dpto. de Matemáticas Univ. de Extremadura Apuntes de Teoría de la Medida Dpto. de Matemáticas Univ. de Extremadura
Más detallesELEMENTOS DE ANÁLISIS FUNCIONAL
ELEMENTOS DE ANÁLISIS FUNCIONAL Guillermo Ames Universidad Tecnológica Nacional - Facultad Regional Córdoba 2011 TEMA 1: NOCIONES BÁSICAS DE ESPACIOS MÉTRICOS Espacios métricos: definición y ejemplos Definición
Más detallesINTRODUCCIÓN A LA TEORÍA DESCRIPTIVA DE CONJUNTOS
INTRODUCCIÓN A LA TEORÍA DESCRIPTIVA DE CONJUNTOS UDAYAN B.DARJI 1. Introducción En este curso estudiaremos objetos definibles como conjuntos borelianos, conjuntos analíticos, y clasificaciones de funciones
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 detallesApuntes de Teoría de la Medida
Apuntes de Teoría de la Medida Badajoz, 27 de mayo de 2016 ab A + B. Fig. pág. 239. Dpto. de Matemáticas Univ. de Extremadura Apuntes de Teoría de la Medida Dpto. de Matemáticas Univ. de Extremadura «Apuntes
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 detallesEjercicios de Análisis Funcional
Ejercicios de Análisis Funcional Rafael Payá Albert Departamento de Análisis Matemático Universidad de Granada ANÁLISIS FUNCIONAL Relación de Ejercicios N o 1 1. Dar un ejemplo de una distancia en un espacio
Más detallesTema 6: Teorema de Representación de Riesz. 10 y 13 de mayo de 2010
Tema 6: Teorema de Representación de Riesz 10 y 13 de mayo de 2010 1 Funcionales lineales positivos 2 Regularidad de medidas de Borel 3 Funcionales lineales continuos Funciones continuas de soporte compacto
Más detallesEl Teorema de Recurrencia de Poincaré
El Teorema de Recurrencia de Poincaré Pablo Lessa 9 de octubre de 204. Recurrencia de Poincaré.. Fracciones Continuas Supongamos que queremos expresar la relación que existe entre los números 27 y 0. Una
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 detallesContinuidad. 5.1 Continuidad en un punto
Capítulo 5 Continuidad 5.1 Continuidad en un punto Definición 5.1.1 (Aplicación continua en un punto). Sean (X, τ) e (Y, τ ) dos espacios topológicos, y sea f : X Y una aplicación entre ellos. Diremos
Más detallesINTRODUCCIÓN A LA DIMENSIÓN DE HAUSDORFF
Trabajo final de grado GRADO DE MATEMÁTICAS Facultat de Matemàtiques Universitat de Barcelona INTRODUCCIÓN A LA DIMENSIÓN DE HAUSDORFF Autora: Alba Juventeny Directora: Dr. María Jesús Carro Rossell Realizado
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 detallesCapítulo 4: Conjuntos
Capítulo 4: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2014 Olalla (Universidad de Sevilla) Capítulo 4: Conjuntos Septiembre de
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 detalles1. Conjuntos y funciones
Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 1: CONJUNTOS. 1 1. Conjuntos y funciones Ejercicio 1. Si I es un conjunto y A α es
Más detallesProblemas con soluciones
Departamento de Matemática, Universidad Técnica Federico Santa María, MAT-223. Problemas con soluciones 1) Muestre que si A es una base de una toplogía en X, entonces la topología generada por A es iqual
Más detalles1 Continuidad uniforme
Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS 6: ESPACIOS MÉTRICOS II: COMPLETITUD 1 Continuidad uniforme Denición. Sean (M, d 1 ) y
Más detallesApuntes de Análisis Funcional y Teoría de la Medida. Rafael Payá Albert. Departamento de Análisis Matemático. Universidad de Granada
Apuntes de Análisis Funcional y Teoría de la Medida Rafael Payá Albert Departamento de Análisis Matemático Universidad de Granada Tema 1: Espacios de Medida 11-18 de marzo de 2010 1 Espacios de Medida
Más detallesAnálisis Matemático I: La integral de Riemann
Contents : La integral de Riemann Universidad de Murcia Curso 2006-2007 Contents 1 Definición de la integral y propiedades Objetivos Definición de la integral y propiedades Objetivos 1 Definir y entender
Más detalles1. La topología inducida.
PRACTICO 4. ESPACIOS METRICOS. 1. La topología inducida. Sea (M, d) un espacio métrico. La bola abierta de centro x y radio r es el conjunto B(x; r) = {y M : d(x, y) < r}. La bola cerrada de centro x y
Más detalles1. Conjuntos y funciones
PRACTICO 1: CONJUNTOS. 1. Conjuntos y funciones Es útil saber de memoria las siguientes propiedades de conjuntos y funciones. Tanto como saber las tablas. Ejercicio 1. Si I es un conjunto y A α es un conjunto
Más detallesTOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS
TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS Ejercicio 4.1.- Relación 4. Compacidad. Conexión Supongamos que A es compacto y sea A α Λ B α un recubrimiento de A por bolas abiertas. Entonces, como
Más detallesEstructuras algebraicas. Departamento de Álgebra. Apuntes de teoría
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 2015/2016 Apuntes de teoría Tema 1: Grupos y subgrupos. 1.1. Introducción Definición 1.1. Un grupo es un par (G, ), donde G es un conjunto no vacío,
Más detallesEjemplos de Sistemas Dinámicos: un curso introductorio. Gonzalo Contreras. CIMAT, P.O. Box 402, Guanajuato GTO, México
Ejemplos de Sistemas Dinámicos: un curso introductorio. Gonzalo Contreras CIMAT, P.O. Box 402, 36.000 Guanajuato GTO, México Contents Capítulo. 1. Rotaciones. 7 1.1. Introducción. 7 1.2. Rotaciones. 10
Más detallesTeoría de la medida. Pedro Alegría Departamento de Matemáticas Universidad del País Vasco Bilbao - España
Teoría de la medida Pedro Alegría pedro.alegria@ehu.es Departamento de Matemáticas Universidad del País Vasco Bilbao - spaña Apuntes elaborados especialmente para mis alumnos del curso de Maestría en Matemáticas
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 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 detallesAnálisis IV. Joaquín M. Ortega Aramburu
Análisis IV Joaquín M. Ortega Aramburu Septiembre de 1999 Actualizado en Julio de 2001 2 Índice General 1 Integral de Riemann 5 1.1 Integración de Riemann............................... 5 1.2 Contenido
Más detalles1. Caracterización de compacidad en espacios métricos
Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS TEÓRICO-PRÁCTICAS 10: COMPACIDAD II 1. Caracterización de compacidad en espacios métricos
Más detalles1 Denición y ejemplos
Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 206 NOTAS TEÓRICO-PRÁCTICAS 5: ESPACIOS MÉTRICOS Denición y ejemplos Comenzaremos estas notas recordando
Más detallesGrupos libres. Presentaciones.
S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad
Más detallesEspacios vectoriales con producto interno
Espacios vectoriales con producto interno Problemas teóricos En todos los problemas relacionados con el caso complejo se supone que el producto interno es lineal con respecto al segundo argumento. Definición
Más detallesPolinomios ortogonalmente aditivos y aplicaciones.
Polinomios ortogonalmente aditivos y aplicaciones. Pablo Linares conjuntamente con A. Ibort y J. G. Llavona. Universidad Complutense Salobreña, 3-5 Abril 2008 1 Polinomios ortogonalmente aditivos. Introducción.
Más detallesTeoría de la Integración
Licenciatura en Matemáticas y Física Universidad de Antioquia 1 Introducción 2 3 Introducción Para toda persona con formación matemática superior, es conocida la teoría de la integración de Riemann. Sin
Más detallesElementos Básicos de Análisis Funcional en. Dr. Oldemar Rodríguez Rojas
Elementos Básicos de Análisis Funcional en Análisis Numérico Dr. Oldemar Rodríguez Rojas Agosto 2008 Contents 1 Elementos Básicos de Análisis Funcional 2 1.1 Espacios normados...........................
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 detallesComisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2).
AMARUN www.amarun.org Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). Lección n 3: Lema de Baire y Teorema clásicos del Análisis Funcional EPN, verano 2012 Definición 1 (Espacio de
Más detallesAlgebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21
Algebra Lineal Gustavo Rodríguez Gómez INAOE Verano 2011 Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano 2011 1 / 21 Espacios Vectoriales Espacios Vectoriales INAOE Gustavo Rodríguez Gómez (INAOE)
Más detalles2. El Teorema del Valor Medio
2.24 45 2. El Teorema del Valor Medio Comenzaremos esta sección recordando dos versiones del teorema del valor medido para funciones de 1-variable y por tanto ya conocidas: 2.22 Sea f : [a, b] R R una
Más detallesPráctica 3 Esperanza Condicional
1. Generalidades Práctica 3 Esperanza Condicional 1. Sea (X i ) i I una familia de variables aleatorias definidas sobre un mismo espacio medible (Ω, F) y sea Y otra variable aleatoria en este espacio.
Más detallesTema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017
Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2017 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2017 1
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 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 detallesMMAF: Espacios normados y espacios de Banach
MMAF: Espacios normados y espacios de Banach Licenciatura en Estadística R. Álvarez-Nodarse Universidad de Sevilla Curso 2011/2012 Espacios vectoriales Definición Sea V un conjunto de elementos sobre el
Más detallesAnillos de Galois. XXVII Escuela Venezolana de Matemáticas EMALCA. Edgar Martínez-Moro Sept. 2014
Anillos de Galois XXVII Escuela Venezolana de Matemáticas EMALCA Edgar Martínez-Moro Sept. 2014 Definición y primeras propiedades Un anillo asociativo A se llama anillo de Galois (denotado GR por sus siglas
Más detallesCapítulo V. T 2 (e, e
Capítulo V Métricas En este capítulo y en los siguientes, el cuerpo base de los espacios vectoriales que se consideren será de característica distinta de 2. Empecemos recordando las nociones básicas que
Más detallesÁlgebras de Boole. Definición 1 Un álgebra de Boole es un conjunto parcialmente ordenado (B, ) que verifica las siguientes condiciones:
Álgebras de Boole Sea (P, ) un conjunto parcialmente ordenado y sea S un subconjunto de P. Una cota superior de S es un elemento c P tal que s c para todo s S. Una cota inferior de S es un elemento d P
Más detallesLímite superior y límite inferior de una sucesión
Límite superior y límite inferior de una sucesión Objetivos. Definir las nociones de los límites superior e inferior de una sucesión y estudiar sus propiedades básicas. Requisitos. Supremo e ínfimo de
Más detallesNotas del Primer Capítulo del Libro Análisis Funcional de W. Rudin
1 Notas del Primer Capítulo del Libro Análisis Funcional de W. Rudin Alejandra García García Estas notas son el trabajo desarrollado dentro del seminario de Análisis que se ha impartido durante los primeros
Más detallesIntroducción a la topología
Introducción a la topología Beatriz Abadie CENTRO DE MATEMÁTICAS FACULTAD DE CIENCIAS UNIVERSIDAD DE LA REPÚBLICA Agosto de 2013 i Índice general Capítulo 1. Elementos de la teoría de conjuntos 1 1.1.
Más detallesFunciones multivaluadas y sus aplicaciones
Miscelánea Matemática 44 (2007) 101 116 SMM Funciones multivaluadas y sus aplicaciones Juan Carlos Macías Romero Facultad de Ciencias Físico Matemáticas Benemérita Universidad Autónoma de Puebla Av. San
Más detallesElementos de Teoría de la Medida, Análisis Funcional y Teoría de Distribuciones
Elementos de Teoría de la Medida, Análisis Funcional y Teoría de Distribuciones Thelma: Mr. Dodd, how do you occupy your leisure? Dodd: Mrs. Cherie, all the excitement, the romance, the adventure that
Más detallesNotas de Análisis Real (en construcción- versión 0.3.6) c Pablo L. De Nápoli
Notas de Análisis Real (en construcción- versión 0.3.6) c 2007-2016 Pablo L. De Nápoli 24 de noviembre de 2016 Índice general 1. Teoría de la medida en R N 3 1.1. Intervalos en la recta:........................
Más detallesProblemas de TOPOLOGÍA Hoja 2
Problemas de TOPOLOGÍA Hoja 2 1. Sea X un conjunto, (Y, T Y ) un espacio topológico y f : X Y una aplicación. Probar que T = {f 1 (G) : G T Y } es una topología sobre X. Esta topología se llama topología
Más detallesCursillo intensivo de Elementos de la Teoría Ergódica.
Cursillo intensivo de Elementos de la Teoría Ergódica. Eleonora Catsigeras Instituto de Matemática. Facultad de Ingeniería. Universidad de la República. Montevideo. URUGUAY. eleonora@fing.edu.uy Curso
Más detallesNotas de Análisis Real (en construcción- versión 0.5.2) c Pablo L. De Nápoli
Notas de Análisis Real (en construcción- versión 0.5.2) c 2007-2017 Pablo L. De Nápoli 30 de noviembre de 2017 Índice general 1. Teoría de la medida en R d 4 1.1. Intervalos en la recta:........................
Más detallesBenemérita Universidad Autónoma de Puebla. Teorema de Representación de Riesz en Espacios Localmente Compactos
Benemérita Universidad Autónoma de Puebla Facultad de Ciencias Físico-Matemáticas Teorema de Representación de Riesz en Espacios Localmente Compactos Tesis presentada al Colegio de Matemáticas como requisito
Más detallesTeorema de Existencia y Unicidad Ecuaciones Diferenciales Ordinarias.
Teorema de Existencia y Unicidad Ecuaciones Diferenciales Ordinarias. Dr. Rafael Morones E. Dept. de Matemáticas ITAM August 5, 2002 1 Contenido 1 Preliminares. 3 1.1 Sucesiones...............................
Más detallesApuntes de la Teoría de la Medida
Apuntes de la Teoría de la Medida k n M k 1 n M k k k Herbert A. Medina Profesor de Matemáticas Loyola Marymount University Los Angeles, California, UU Herbert A. Medina Profesor de Matemáticas Loyola
Más detallesConjuntos convexos. Capítulo Conceptos básicos.
Capítulo 1 Conjuntos convexos 1.1. Conceptos básicos. Dados x, y R n, se define [x, y] = {λx + (1 λ)y 0 λ 1} (segmento cerrado), (x, y) = {λx + (1 λ)y 0 < λ < 1} (segmento abierto), y análogamente definimos
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 detallesVolumen y conjuntos de medida cero
Capítulo 2 Volumen y conjuntos de medida cero En la recta real normalmente las funciones se integran sobre intervalos. En R n es deseable poder considerar integrales de funciones sobre conjuntos más complicados
Más detallesUniversidad de Sonora. Semicontinuidad y Medibilidad de Correspondencias y la Existencia de Selectores Continuos y Medibles
Universidad de Sonora División de Ciencias Exactas y Naturales Departamento de Matemáticas Semicontinuidad y Medibilidad de Correspondencias y la Existencia de Selectores Continuos y Medibles Tesis que
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 detallesIntroducción a la Lógica y la Computación
Clase del 9 de septiembre de 2014 Cuestión a resolver Todas las Álgebras de Boole vistas (aunque estén camufladas como D 6 o D 30 ) son en definitiva (vía isomorfismo) de la forma P(X). O sea, son álgebras
Más detallesFunciones continuas e inyectivas
Nuestro último teorema afirmaba que toda función continua en un intervalo cerrado y acotado tiene máximo y mínimo absolutos, pero nada nos informa sobre los puntos en los que se alcanzan. Bajo la hipótesis
Más detallesECUACIONES DIFERENCIALES ORDINARIAS. HOJA 8. Conjuntos invariantes
ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 8. CONJUNTOS INVARIANTES Y CONJUNTOS LÍMITE. ESTABILIDAD POR EL MÉTODO DE LIAPUNOV. Conjuntos invariantes 1. Definición. Se dice que un conjunto D Ω es positivamente
Más detalles