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

Documentos relacionados
Sigma-álgebras. Requisitos. Operaciones con conjuntos, operaciones con familias de conjuntos.

si este límite es finito, y en este caso decimos que f es integrable (impropia)

Espacio de Funciones Medibles

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.

Sucesiones y series de números reales

5.1. Límite de una Función en un Punto

El cuerpo de los números reales

1 Independencia Estocástica

4. " $#%&' (#) para todo $#* (desigualdad triangular).

Un conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto:

Apuntes de Matemática Discreta 2. Operaciones con Conjuntos

Topología de la Recta

Teoría de Conjuntos Definiciones Básicas

1. Definiciones y propiedades básicas.

Tema 1: Espacios de Medida. 12 de marzo de 2009

TEORÍA DE CONJUNTOS A ={ 1, 2, 3, 4, 5, 6 }

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

INSTITUTO TECNOLÓGICO DE APIZACO TEORÍA DE CONJUNTOS CONJUNTOS Y TÉCNICAS DE CONTEO

En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos.

Tema 4 Probabilidad condicionada: teoremas básicos. Independencia de sucesos

Teoría de la Medida y Probabilidades. Dpto. Matematicas. UNEX

Topología de R n. Beatriz Porras

1. Propiedades básicas de las medidas

Dependencia e independencia lineal

En las figuras anteriores vemos algunos casos (no todos) que pueden presentarse al pasar por un punto x 0. (en este caso, para x 0 =2)

CAPITULO 0. LOS NUMEROS REALES. 1. Axiomática de los números reales

Tema XIV: SUCESIONES Y SERIES DE NÚMEROS REALES XIV.1. Sucesiones. Sucesiones convergentes

Cálculo infinitesimal de varias variables reales Volumen 1

Medidas producto. La medida de Lebesgue en R n como modelo

TEORIA DE CONJUNTOS. 2.-Subconjunto: A es subconjunto de B si todo elemento de A lo es también de B.

I. NOCIONES GENERALES SOBRE ESPACIOS

Práctica 2 - Hay diferentes infinitos?- A. Propiedades básicas de los Conjuntos

Se utilizarán las letras mayúsculas, tales como A, B y C para nombrar conjuntos. Por ejemplo: a i. o e

Tema 3: Conjuntos y Funciones

Un poco sobre Teoría de Conjuntos

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.

Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad

TEMA II TEORÍA INTUITIVA DE CONJUNTOS

UNIDAD 5 : ESTRUCTURAS ALGEBRAICAS

Límites en el infinito, funciones divergentes

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

Tema 1: Teorı a de la Probabilidad

NOTAS DEL CURSO MATEMÁTICA DISCRETA. Pascual Jara Martínez. Departamento de Álgebra. Universidad de Granada

1. Conjuntos y funciones

Sumación aproximada de series numéricas

1 Relaciones de orden

CARACTERIZACIONES DE LA COMPLETITUD DE R

Reglas de derivación Sumas, productos y cocientes. Tema 4

Cálculo Diferencial. Daniel Azagra Rueda DEPARTAMENTO DE ANÁLISIS MATEMÁTICO FACULTAD DE CIENCIAS MATEMÁTICAS. Revisado: Abril de 2015

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

Introducción a la topología para análisis complejo

valoración de operaciones

Números naturales, principio de inducción

Teoría de conjuntos. Tema 1: Teoría de Conjuntos.

Conjuntos y relaciones

sup si A no es acotado.

CONJUNTOS. Consideremos, por ejemplo, los siguientes conjuntos:

NOTAS DE TRABAJO, 29 ÁLGEBRA Y ESTRUCTURAS DISCRETAS

Temas preliminares de Análisis Real

librocasarrubiastamariz 2015/1/20 7:15 page i #1 Elementos de Topología General Fidel Casarrubias Segura Ángel Tamariz Mascarúa

ANÁLISIS DE VARIABLE REAL

Sucesiones y funciones divergentes

Tema 4.3: Desarrollo de Taylor. Equivalencia entre analiticidad y holomorfía. Fórmula de Cauchy para las derivadas

ELEMENTOS DE ANÁLISIS FUNCIONAL

Estructuras algebraicas

sup si A no es acotado.

Conjuntos relaciones y grupos

Proyecciones ortogonales (métricas) en espacios de funciones continuas

Repaso de Álgebra. Los subconjuntos de los reales de relevancia para nuestra discusión serán denotados según indicamos a continuación:

Conjuntos Un conjunto es una colección de objetos. A cada uno de esos objetos se llama elemento del conjunto.

Conjuntos finitos y conjuntos numerables

Una topología de los números naturales*

Conceptos básicos de la matemática

Conjuntos. Dra. Noemí L. Ruiz Limardo Revisado 2011 Derechos Reservados

Teoría de Conjuntos. Conjunto es: colección de cosas, o una colección determinada de objetos.

Espacios de Probabilidad

Conjuntos disjuntos (Relaciones de equivalencia)

Conjuntos Medibles. Preliminares

Parte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos

Variables Aleatorias. Capítulo Introducción.

L ogica 1 Enrique Casanovas Curso

Complementos de Matemáticas, ITT Telemática

1. Conjuntos y funciones

f n = 0 si n = 0 (ER)

VALOR ABSOLUTO. Definición.- El valor absoluto de un número real, x, se define como:

TEMA 1. NÚMEROS REALES Y COMPLEJOS

Capítulo 7: Lógica de predicados y cuantificadores

Límites de una función

Clase 25/09/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf

RESUMEN DE SUCESIONES. Definición: Una sucesión es un conjunto ordenado de números reales:

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

diám A = x,y A d(x,y) si A es acotado si A no es acotado. {d(x,y) : x,y A}

CONVEXIDAD: CONCEPTOS BÁSICOS

TEMA 2 EXPERIMENTOS ALEATORIOS Y CÁLCULO DE PROBABILIDADES

Sucesiones convergentes

Convergencia Sucesiones convergentes

CONJUNTO DE LOS NÚMEROS REALES

CONJUNTO Y TIPOS DE CONJUNTOS

1. Espacios topológicos compactos.

Transcripción:

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 de conmutatividad de las operaciones de conjuntos y las leyes de Morgan. En general vamos a considerar un conjunto Ω. Llamaremos P(Ω) al conjunto de partes de Ω, es decir, al conjuntos de todos los subconjuntos de Ω. 1.1. Funciones Indicadoras Definición 1.1 Sea A Ω, definimos la función indicadora de A por 1, si x A, 1 A (x) = 0, si x / A. A partir de la definición obtenemos las siguientes propiedades para estas funciones: 1 A 1 B A B 1 A c = 1 1 A. 1 A B 1 A + 1 B con igualdad si A B =. 1 Ω (ω) 1 La relación entre conjuntos y funciones indicadoras es uno a uno ya que 1.2. Limites de Conjuntos A = ω Ω : 1 A (ω) = 1 Definición 1.2 Sea A n, n 1 una sucesión de subconjuntos de Ω. Definimos los siguientes conjuntos: ínf A k = A k, sup A k = A k k n k n k=n lím inf A n = lím sup A n = k=n k=n A k, A k k=n

2 CAPÍTULO 1. CONJUNTOS Los últimos dos conjuntos se conocen como el límite inferior y límite superior de la sucesión de conjuntos. A partir de las definiciones tenemos las siguientes caracterizaciones de estos conjuntos. Un punto x pertenece al conjunto lím sup A n si y sólo si pertenece a infinitos conjuntos de la sucesión. En cambio x pertenece a lím inf A n si y sólo si existe un entero p = p(x) tal que x A k para todo k p. Ahora es fácil ver que lím inf A n lím sup A n (1.1) ya que x : x A k, para todo k p(x) x : x A k para infinitos k. Si la contención en sentido contrario a (1.1) es válida, es decir, si lím inf A n = lím sup A n = A decimos que la sucesión A n es convergente y que su límite es A. En este caso escribimos lím A n = A o A n A. Lema 1.1 Sea A n, n 1 una sucesión de subconjuntos de Ω. (a) lím sup A n = x : para alguna subsucesión infinita k n, que depende de x. (b) lím inf A n = x : 1 An (x) = = x : x A kn, n 1 1 A c n (x) < = x : x A k, k n(x) Demostración. (a) Si x lím sup A n = k=n entonces para todo n, x k n A k, por lo tanto para todo n existe k n consecuencia 1 Aj (x) 1 Ak (x) =, n j=1 n lo cual implica que En consecuencia, Recíprocamente, si x x : lím sup A n x : x x : A k 1 An (x) =. 1 An (x) =. 1 An (x) =. n tal que x A kn, y en

1.3. SUCESIONES MONÓTONAS 3 entonces existe k n tal que x A kn, y por lo tanto para todo n, x j n A j, de modo que x lím sup A n. En consecuencia x : 1 An (x) = lím sup A n. La demostración de (b) es similar. 1.3. Sucesiones Monótonas Definición 1.3 Una sucesión de conjuntos A n, n 1 es no-decreciente si A n A n+1 para todo n 1. La sucesión A n, n 1 es no-creciente si A n+1 A n para todo n 1. Usamos la notación A n o A n para sucesiones no decrecientes y la notación A n o A n para sucesiones no crecientes. Las sucesiones monótonas siempre tienen límite. Proposición 1.1 (a) Si A n entonces lím A n = A n. (b) Si A n entonces lím A n = A n. Demostración. (a) Tenemos que ver que Como A k A k+1, y por lo tanto lím inf A n = lím sup A n = A n. A k = A n k n lím inf A n = k n A k = A n. (1.2) De manera similar, lím sup A n = k n A k k 1 A k = lím inf A n lím sup A n y en consecuencia lím sup A n = A k. k 1 Esto y (1.2) muestran (a). La demostración de (b) es similar. Usaremos las notaciones A n A (A n A) para indicar una sucesión creciente (decreciente) que converge a A.

4 CAPÍTULO 1. CONJUNTOS 1.4. Colecciones de Conjuntos Sea C una colección de subconjuntos de Ω. A continuación vamos a definir algunos tipos de colecciones de conjuntos según sus propiedades de cerradura respecto a operaciones de conjuntos. Definición 1.4 C es un álgebra si (a) Ω C. (b) Si A C entonces A c C. (c) Si A 1, A 2,..., A n C, entonces n A i C. Es posible verificar que si la condición (c) se satisface para n = 2 entonces se satiface para cualquier n finito. Además, por las leyes de Morgan, (b) y (c) implican que C es cerrada bajo intersecciones finitas: n ( n c A i = Ai) c C Definición 1.5 F es una σ-álgebra si satisface las siguientes condiciones: (a) Ω F. (b) Si A F entonces A c F. (c) Si A 1, A 2, F, entonces A i F. Al igual que el caso anterior, si A i F, i 1 entonces i 1 A i F. Ejemplos 1.1 1. Sea F = P(Ω), el conjunto de partes de Ω. F es una σ-álgebra, ya que obviamente es cerrada bajo todas las operaciones. 2. La σ-álgebra trivial se define como F =, Ω. En este caso es sencillo verificar que las condiciones de la definición son válidas. 3. Sea Ω = R y sea F la colección de conjuntos que son numerables o que tienen complemento numerable: F = A R : A es numerable A R : A c es numerable entonces F es una σ-álgebra ya que (a) se satiface porque Ω c = es numerable, (b) se satisface por la simetría de la definición, (c) para ver la tercera condición de la definición veremos que si A i F, i 1 entonces i 1 A i F. Hay dos casos que considerar: si al menos uno de los conjuntos A i es numerable, entonces la intersección i 1 A i es numerable, y por lo tanto está en F. Si ningún A i es numerable, entonces A c i es numerable para todo i, de modo que i 1A c i es numerable. En consecuencia, ( A c i ) c = A i F. Dos observaciones importantes en este ejemplo son las siguientes: Si A = (, 0], entonces A c = (0, ) y ni A ni A c es numerable, de modo que A / F, y en consecuencia F P(Ω). F no es cerrada bajo uniones cualesquiera. Por ejemplo, para cada t R el conjunto t F, porque es numerable, pero A = t 0 t = (, 0] / F.

1.5. LA σ-álgebra GENERADA POR UNA COLECCIÓN DE CONJUNTOS 5 4. Sea Ω = (0, 1], A consiste del conjunto vacío y todas las uniones finitas y disjuntas de intervalos de la forma (a, b], 0 a b 1. Un conjunto típico de A es de la forma n (a i, b i ], donde los intervalos son disjuntos. Con esta definición A es un álgebra: Ω = (0, 1] A. A es cerrada bajo complementos: Si A = n (a i, b i ] con entonces 0 a 1 b 1 a 2 b m 1 a m b m 1 A c = Ω \ A = (0, 1] \ n (a i, b i ] = (0, a 1 ] (b 1, a 2 ] (b m 1, a m ] (b m, 1] que también es un conjunto de A. A es cerrada bajo intersecciones finitas ya que (a, b] (a 1, b 1 ] = (a a 1, b b 1 ]. Observamos que, sin embargo, A no es una σ-álgebra. Por ejemplo, el conjunto (0, 1 2 ] (1 2 + 1 4, 1 2 + 1 4 + 1 8 ] (1 2 + 1 4 + 1 16, 1 2 + 1 4 + 1 8 + 1 16 + 1 32 ] es unión numerable de conjuntos de A pero no está en A. 1.5. La σ-álgebra Generada por una Colección de Conjuntos Proposición 1.2 La intersección de cualquier colección de σ-álgebras es una σ-álgebra. Demostración. Sea T un conjunto cualquiera de índices y sea F t una σ-álgebra, para todo t T. Veamos que F = t T F t es una σ-álgebra: Ω F t para todo t T y en consecuencia Ω t T F t = F. A F A F t, para todo t T A c F t, para todo t T A c F. Si A n F para todo n 1 entonces para todo n 1 tenemos que A n F t, para todo t T. En consecuencia, n 1 A n F t para todo t T y por lo tanto n 1 A n F. Definición 1.6 Sea C una colección de subconjuntos de Ω. La σ-álgebra generada por C, denotada por σ(c), es una σ-álgebra que satisface (a) C σ(c). (b) Si F es otra σ-álgebra que contiene a C entonces σ(c) F. σ(c) es la menor σ-álgebra que contiene a C. Proposición 1.3 Dada una colección C de subconjuntos de Ω, hay una única σ-álgebra generada por C. Demostración. Sea ℵ = F : F es una σ-álgebra y C F la clase de todas las σ-álgebras que contienen a C. Esta clase no es vacía porque P(C) ℵ. Sea A = F ℵ F, entonces A es una σ-álgebra por la proposición 1.2. Está claro que C A y A F para cualquier F que contenga a C. Por lo tanto A = σ(c). Ejemplos 1.2 1. Sea A un subconjunto no vacío de Ω y sea F =, Ω, A, A c, entonces F es la menor σ-álgebra que contiene al conjunto A: F = σ(a).

6 CAPÍTULO 1. CONJUNTOS 2. Si F es una σ-álgebra entonces σ(f) = F. Si A consiste de los conjuntos de un sólo elemento entonces σ(f) es la σ-álgebra del ejemplo 1.1.3. Si F es vacía o F = o F = Ω entonces σ(f) =, Ω. Si F F entonces σ(f) σ(f ). Si F F σ(f) entonces σ(f) = σ(f ). 3. Los Conjuntos de Borel. Sea I la clase de todos los subintervalos de (0, 1] y definamos B = σ(i). Los elementos de B se conocen como los Borelianos de (0, 1]. El álgebra A del ejemplo 1.1.4 satisface I A B y por lo tanto σ(a) = B. Como B contiene los intervalos y es una σ-álgebra, es imposible salir de B haciendo un cantidad finita o numerable de operaciones de conjuntos sobre intervalos. Por lo tanto B contiene a los conjuntos abiertos en (0, 1]: si G es abierto y x G entonces existen racionales a x, b x tales que x (a x, b x ) G. Pero entonces G = x G (a x, b x ). Como sólo hay una cantidad numerable de intervalos con extremos racionales, G es la unión numerable de conjuntos en I y por lo tanto está en B. En consecuencia si O es la colección de conjuntos abiertos en (0, 1] tenemos que O B y σ(o) B. Veamos ahora que ambas σ-álgebras coinciden. Está claro que σ(o) contiene a los intervalos abiertos y a los cerrados. Por lo tanto también a los de la forma (, ] y [, ). Es decir I σ(o). Por lo tanto B σ(o) y ambas coinciden. En R la definición de los Borelianos es similar. Tomamos I la clase de todos los intervalos en R y definimos B = σ(i). Al igual que para (0, 1] se tiene que los abiertos O de R están contenidos en B y B = σ(o). En general, si E es un espacio métrico, es usual definir a los Borelianos de E, B(E), como la σ-álgebra generada por los subconjuntos abiertos de E. Ejemplos de espacios métricos que se consideran con frecuencia son R d, R, el espacio de sucesiones reales, y C(R), el espacio de funciones continuas en R.