Teoría de la medida e integración E-Book

Rolando Rebolledo B.

• Herausgeber: Ediciones UC
• Kategorie: Wissenschaft und neue Technologien
• Sprache: Spanisch
• Veröffentlichungsjahr: 2020

Seitenzahl: 350

Beschreibung

Este libro de texto concebido para estudiantes de Licenciatura en Matemáticas e Ingeniería Matemática, reúne por primera vez en español las diversas materias asociadas a la Teoría de la medida e integración. Este primer volumen enseña las bases, métodos y resultados más importantes de la teoría, que es una rama fundamental de la matemática contemporánea y prerrequisito para estudiar varias disciplinas. Cada capítulo termina con comentarios para orientar al lector en la bibliografía y entrega listas de ejercicios para una mejor comprensión de la teoría, además de temas complementarios y facsímiles de exámenes resueltos.

Leseprobe

EDICIONES UNIVERSIDAD CATÓLICA DE CHILE

Vicerrectoría de Comunicaciones

Av. Libertador Bernardo O’Higgins 390, Santiago, Chile

[email protected]

www.ediciones.uc.cl

TEORÍA DE LA MEDIDA E INTEGRACIÓNVolumen I

Rolando Rebolledo Berroeta

© Inscripción N° 270.153Derechos reservadosSeptiembre 2016Reimpresión 2017ISBN edición impresa 978-956-14-1964-3ISBN edición digtial 978-956-14-2648-1

Diseño:versión | producciones gráficas Ltda.

Diagramación digital: ebooks [email protected]

CIP - Pontificia Universidad Católica de Chile

Rebolledo, Rolando

Teoría de la medida e integración / Rolando Rebolledo Berroeta. –

Incluye bibliografía

1. Teoría de la medida.

2. Integrales

I. t.

2016            515.42 + dc 23            RCAA2

A Loreto y nuestro gran conglomerado familiar.

ÍNDICE GENERAL

Prefacio

Capitulo 1. Del arte de míedir

1. Asociando un número a un conjunto

2. Superficies en el plano

3. La integral de Riemann

4. La integral de funciones con valores complejos

5. Comentarios

6. Ejercicios propuestos

Capitulo 2. Estructuras Básicas

1. Complementos sobre la teoría de conjuntos

2. Pavimentos, semiálgebras, álgebras, tribus, clases monótonas

3. Ejemplos de Tribus

4. Funciones y Aplicaciones Medibles

5. Producto de espacios medibles

6. Medibilidad de las funciones numéricas

7. Historias y tiempos de parada

8. Comentarios

9. Ejercicios propuestos

Capítulo 3. Medidas positivas

1. Espacios de Medida

2. Conjuntos Despreciables

3. Extensión de medidas

4. Demostración del Teorema de Carathéodory

5. Comentarios

6. Ejercicios propuestos

Capítulo 4. Definición de la integral y propiedades elementales

1. La Integral de una Función Simple

2. Integral de funciones medibles positivas

3. Definición general de la integral

4. Integración de funciones complejas

5. La integral de Lebesgue

6. Familias Sumables

7. Comentarios

8. Ejercicios propuestos

Capítulo 5. Teoremas de Convergencia de las Integrales

1. Teoremas de Convergencia Monótona

2. El Teorema de la Convergencia Dominada de Lebesgue

3. Integrabilidad uniforme

4. Aplicaciones de los teoremas de convergencia

5. El Teorema de Daniell

6. Comentarios

7. Ejercicios propuestos

Capítulo 6. Integración en un espacio producto

1. Producto de medidas

2. El Teorema de Fubini

3. Comentarios

4. Ejercicios propuestos

Capítulo 7. Cambio de variables en la integral

1. Imagen de una medida por una aplicación medible

2. Aplicación: Convolución de medidas

3. Cambio de variables en la integral de Lebesgue en

4. Comentarios

5. Ejercicios propuestos

Capítulo 8. Espacios de Banach y de Hilbert

1. Semi-norma sobre un espacio vectorial

2. Aplicaciones lineales continuas

3. Espacios normados de dimensión finita

4. Espacios de Banach

5. El espacio de Banach de las funciones continuas sobre un compacto

6. Acerca del teorema general de Stone-Weierstrass

7. Producto escalar

8. Proyecciones en un espacio de Hilbert

9. Dualidad en los espacios de Hilbert

10. Sistemas ortonormales en espacios pre-Hilbert

11. Bases ortonormales

12. Comentarios

13. Ejercicios propuestos

Capítulo 9. Los espacios Lp

1. Algunas desigualdades de concavidad

2. Los espacios Lp (1 ≤ p ≤ ∞)

3. Desigualdad de Hölder

4. Teorema de dualidad de Riesz para los espacios Lp

5. Aplicación: Series de Fourier

6. Comentarios

7. Ejercicios propuestos

Capítulo 10. Medidas reales o complejas

1. Medidas reales. Descomposición de Jordan-Hahn

2. Medidas de Radon

3. Teorema de Radon-Nikodym y descomposición de Lebesgue

4. Aplicación: Condicionamiento en Teoría de Probabilidades

5. Propiedades de la esperanza condicional

6. Comentarios

7. Ejercicios propuestos

Capítulo 11. Apéndice 1: Más allá de la medida

1. Conjuntos analíticos

2. Capacidades y el Teorema de Choquet

3. Construcción de capacidades. Extensión de medidas

4. Aplicaciones

Capítulo 12. Apéndice 2: Facsímiles de interrogaciones resueltas

Índice alfabético

Bibliografía

PREFACIO

Esta obra está concebida como un libro de texto para estudiantes de la Licenciatura en Matemáticas o de la carrera de Ingeniería Matemática. El texto del primer volumen enseña las bases, métodos y resultados más importantes de la Teoría de la Medida e Integración, rama fundamental de la Matemática contemporánea que es prerrequisito para estudiar una variada gama de otras disciplinas como el Análisis Funcional, cursos avanzados sobre Ecuaciones Diferenciales, la Teoría de Sistemas Dinámicos, la Teoría de Probabilidades, la Estadística, Métodos de la Física Matemática, Análisis Estocástico, entre muchas otras. El segundo volumen, en preparación, se concentrará en las topologías débiles de medidas, el Análisis de Fourier, la versión funcional de la integral y elementos de la teoría no conmutativa, temas todos que corresponden más bien a cursos de postgrado.

La elección de los temas de este primer volumen ha seguido los diseños curriculares de los cursos de formación de matemáticos según estándares internacionales. Las primeras versiones de este texto remontan a la época en que enseñaba la Teoría de la Integración primero en Niza y luego en París, con un programa un poco más extenso. Luego, fue adaptado al programa del curso que se enseña en la Facultad de Matemáticas de la Universidad Católica y devino un apunte en Castellano, manuscrito y fotocopiado para los estudiantes hasta que la aparición de LA TEX permitió hacer una primera versión mecanografiada allá por la segunda mitad de la década de los 80. Desde entonces el texto, modificado sin cesar, ha circulado de manera supuestamente restringida al uso exclusivo de mis alumnos, si bien he sabido que algunas versiones han trascendido esa frontera y me ocurre recibir mensajes de estudiantes de otros lugares que piden acceder a los archivos de pruebas resueltas para ejercitar su aprendizaje.

Es muy importante en todo estudio científico considerar que no podemos conocer un objeto si no lo transformamos, y eso tiene una expresión muy clara en Matemáticas. No podemos aprender un tema nuevo si no intentamos probar los principales resultados nosotros mismos, y para ello los ejercicios son fundamentales. A través de ellos se puede entender mejor la historia de las ideas que llevaron al estado actual de una teoría; ellos constituyen para los matemáticos su laboratorio natural. En este volumen me he preocupado de proponer al final de cada capítulo listas de ejercicios que permitan al estudiante poner a prueba su comprensión de la teoría.

Asimismo, hay que tener en cuenta que todo aprendizaje es tributario de la cultura, del conocimiento global de su época, es un proceso inagotable que va determinando los márgenes de vigencia de los textos. En Matemáticas manejamos escalas temporales más largas que en otras disciplinas, pero no escapa a nuestra comprensión que la expresión de sus resultados principales cambia mucho a lo largo de los años. Por ejemplo, la forma en que explicamos la geometría euclidiana de nuestros días no coincide con aquella que usó su descubridor o incluso como se enseñó más tarde, por ejemplo en el siglo XII. Hay una historicidad profunda de todas las ciencias que no puede ser despreciada. Nótese que, siguiendo con el ejemplo de la geometría, el descubrimiento de América en 1492 generó un cambio en la concepción de mundo de la época que incidió en la necesidad de que la humanidad se planteara una geometría diferente que vio la luz más tarde en el siglo XIX, una teoría no euclidiana que absorbió la euclidiana como un caso particular, y la extendió a dominios que la de su griego autor nunca cubrió, como la geometría esférica.

En el caso de la integración, tema fundamental de este libro, hay también una larga historia. Este modesto texto no se propone más que mostrar la forma en que de nuestros días se ha sintetizado su teoría para ser enseñada en las aulas universitarias. Hemos escogido una forma sucinta de presentar los principales hitos, sus consecuencias y aperturas, para que los estudiantes dispongan de una referencia rápida, con algunos guiños para aquellos que quieran explorar temas relacionados que escapan a los contenidos programáticos.

Y la síntesis que hoy enseñamos se basa en el rico debate sobre los fundamentos de la integración que comenzó en las postrimerías del siglo XIX, continuando en el siglo XX. Son muchos los nombres que habría que citar en esa génesis: desde Cauchy, Riemann, pasando por Borel, un Weierstrass siempre presente, Stieltjes, Volterra, Cantor y sus indagaciones en la Teoría de Conjuntos, para culminar en los trabajos de Henri Lebesgue y Percy J. Daniell, además de los aportes posteriores de Beppo-Levi, Fubini y Kolmogorov, entre muchos otros a quienes pido excusas por omisión involuntaria. El lector interesado en el recuento histórico de los avances en esta teoría, puede consultar a este respecto el excelente libro de Iván Pesin [39] que rinde justicia a todos los creadores involucrados en este proceso hasta mediados del siglo XX.

Henri Lebesgue (1875-1941).

El francés Henri Lebesgue (1S75-1941), construyó las bases de la llamada Teoría de la Medida, a través de la cual se asigna un número a un conjunto y de ahí se construye luego la integral de una función (cf. [29], [30], [28], [31]). Es el punto de vista que permitió posteriormente el desarrollo de la llamada medida abstracta, que inspira estas notas de curso.

El británico, nacido en Chile, Percy John Daniell (1889-1946), desarrolló la integración desde una óptica distinta en sus trabajos de los años 1918-1919 ([6], [7], [8]). Daniell define primero la integral como un funcional sobre un espacio de funciones y la medida aparece luego como dicho funcional aplicado a la función característica de un conjunto. Es el llamado punto de vista funcional de la teoría, que será explicado en un futuro segundo volumen sobre el tema.

Percy-John Daniell (1889-1946).

A ambos fundadores del actual estado de la teoría que expongo en las páginas siguientes, les correspondió vivir una época marcada por guerras destructoras, por una parte, contrastadas por revoluciones científicas y artísticas creadoras: nacimiento de nuevas teorías en física (relatividad, mecánica cuántica), derrumbe del programa de Hilbert provocado por el Teorema de Godel, en medio de la eclosión del impresionismo del siglo XIX y sus derivados del siglo XX. Una época de comunicaciones aún difíciles, de mucho tren, barcos e incipientes vuelos. Invito al lector a seguir ahora el hilo de sus ideas en nuestra ciencia.

Portada de la primera edición del libro de Henri Lebesgue.

Agradezco el apoyo otorgado por la Vicerrectoría de Comunicaciones de la Pontificia Universidad Católica y Ediciones UC para la publicación de esta obra que durante largos años permaneció en calidad de manuscrito. Manuscrito enriquecido en cada nueva versión del curso magistral, en el diálogo con los alumnos y en la práctica de la investigación. Mi mensaje de gratitud no podría estar completo sin el recuerdo de quien tomó a cargo la mecanografía de algunos capítulos de la primera versión. El cáncer nos privó de la presencia de Virginia Farías, pero su recuerdo vive en quienes la conocimos y en estas páginas.

Capítulo 1

Del arte de medir

1. Asociando un número a un conjunto

La teoría de la integración encuentra su base en ideas muy elementales. Usamos el término “elemental” en su acepción original, vale decir, referido a los elementos primigenios, de los cuales la matemática toda se impregna. La observación de la naturaleza llevó al hombre a descubrir los números y a asociarlos de manera natural con sus objetos más simples. De este modo el propio concepto de número llevaba en sí la idea de medir. El hombre midió longitudes, superficies, volúmenes, temperaturas, pesantez. Supo de la diferencia entre lo pequeño y lo grande, lo liviano y lo pesado.

La Geometría recogió primero esta inquietud. Euclides enseñó cómo calcular áreas de figuras simples. Luego se buscó cómo aproximar las figuras más complejas por varias simples. Fue necesario sumar. La Aritmética también se asociaba a la tarea: la suma es una forma de medición.

Asociar un número a un conjunto: es la idea fundamental que traduce en matemáticas el acto de medir. Así, si nos dan un triángulo, calculando su área, le asociamos un número; si nos dan un conjunto de números {a1,... , an} una forma de asociarle un número es considerar la suma a1 + … + an. Algunas fórmulas se hicieron célebres, por ejemplo, aquella que nos da la suma de los n primeros números naturales:

que ya se conocía en el medioevo chino, según consta en las obras de Chon Huo (siglo XI) y Yang Hui (siglo XIII).

y aprovechando nuestros conocimientos sobre series podemos enfrentar el argumento falaz de Zenón.

La teoría de series comenzó a desarrollarse a fines del siglo XVII y principios del XVIII, sin contar con un adecuado concepto de límite. Esto fue causa de muchas paradojas. Por ejemplo, aquellas sobre la suma de la serie

Esta “suma infinita” se puede escribir

Sin embargo, la teoría de series permitía abordar de manera “primaria” la Mecánica de Newton que entonces daba sus primeros pasos. Veamos cómo.

En este caso, es muy sencillo calcular la expresión que tiene la solución de (1.4). En efecto, basta aplicar la fórmula (1.1):

El lector reconocerá la versión en tiempo discreto de la clásica fórmula

que se obtiene en Mecánica Clásica resolviendo una ecuación diferencial. En efecto, toda esta coincidencia es absolutamente natural, tanto (1.5) como (1.6) expresan la acción de medir: en el primer caso, se mide mediante una suma; en el segundo, mediante una integral.

2. Superficies en el plano

El cálculo de superficies en el plano es quizás una de las formas más intuitivas del arte de medir. Aprovecharemos esa intuición para construir un modelo matemático de la noción de superficie.

2.1. Noción de superficie. Nuestro propósito es definir una noción de superficie (o área) de una parte del plano. Con este fin se provee al plano de ejes de coordenadas ortogonales y se atribuye la superficie 1 al cuadrado de lado unitario. Las hipótesis siguientes traducen nuestras intuiciones básicas sobre superficies:

(S1)Hipótesis 1: La superficie (Γ) de una parte Γ del plano es, si ella existe, un número positivo.

(S2)Hipótesis 2: Si Γ y Γ′ son partes del plano que poseen superficie, entonces también es así para Γ ∩ Γ′ y

Γ ∪ Γ′. Si además Γ y Γ′ son disjuntos, se tiene

Si Γ contiene a Γ′, entonces su diferencia Γ\Γ′ tiene una superficie que vale (Γ) – (Γ′).

(S3)Hipótesis 3: Si r tiene una superficie nula, entonces todo subconjunto de r posee también una superficie (que además es nula a causa de lo que se vio en (S2)).

EJERCICIO 1.1. Probar que si Γ y Γ2 son dos conjuntos que poseen una superficie, entonces por (S2) siempre se tiene

Ahora bien, recordemos la forma en que los griegos aproximaban la superficie de un círculo: se daban una sucesión de polígonos regulares inscritos en él, calculaban las respectivas superficies y luego “pasaban al límite”. Expresemos esta idea en una nueva hipótesis, introduciendo sobre los conjuntos el orden parcial asociado a la inclusión.

(S4)Hipótesis 4: Si (Γn)n es una sucesión creciente de conjuntos que tienen superficie, entonces su reunión ∪n Γn (que también escribimos lím ↑ Γn) tiene una superficie si y sólo si la sucesión ((Γn))n es acotada y en tal caso se tiene

EJERCICIO 1.4. Consideremos ahora un conjunto Γ para el cual existen dos sucesiones de conjuntos que poseen superficie, tales que

para todo n. Si la sucesión tiende a cero, entonces Γ tiene superficie y se cumple

(Se recomienda considerar las sucesiones monótonas (decreciente) y (creciente) de límites y , respectivamente, que tienen la misma superficie. Luego, observar que Γ\ está contenido en el conjunto de superficie nula \).

En el ejercicio siguiente pasamos en revista lo aprendido en los cursos de Geometría elemental.

EJERCICIO 1.5.

1. Probar que la superficie de un rectángulo es el producto de sus lados.

2. Probar que un segmento de recta tiene superficie nula. Asimismo, demostrar que una recta tiene superficie nula.

3. Probar que una banda de plano limitada por dos rectas paralelas no tiene superficie.

4. Probar que un conjunto numerable de puntos del plano tiene superficie nula.

5. calcular la superficie de un triángulo rectángulo usando el ejercicio 1.4 y la pregunta 1 aquí arriba.

6. Calcular la superficie de un paralelógramo en el plano, ubicado de modo que uno de sus vértices se encuentre en el origen de coordenadas, pero sin lados paralelos a los ejes.

7. Obtener la superficie de un círculo como límite de las superficies de polígonos regulares inscritos y exinscritos de n lados.

3. La integral de Riemann

Demos una rápida mirada a la forma en que se define la integral de Riemann en los cursos elementales de cálculo, buscando extraer de esa construcción los elementos comunes con el cálculo de superficies en el plano y con el arte de sumar.

EJERCICIO 1.6. Probar que para todo par de funciones f, gɛ(I) se tiene que αf + βgɛ(I) para todo par de reales α, β y que se cumple

Resumimos lo anterior diciendo que ɛ(I) es un espacio vectorial real y que la aplicación f ↦ ∫I f(x)dx es una forma lineal sobre este espacio.

OBSERVACIÓN 1.1. Sean f y g dos funciones reales definidas sobre un intervalo [a, b] de y tales que en todo punto x [a, b] se tenga f (x) ≤ g(x). Definimos:

La notación [[f, g]] sugiere una analogía con los intervalos de . En particular se puede notar que si una sucesión de funciones positivas (fn)n definidas en [a, b] es tal que en cada punto x del dominio fn(x) crece o decrece hacia f(x), entonces [[0, fn]] tiene como límite [[0, f]]. Dicho de otro modo,

Notar que si f es una función escalonada positiva, entonces

Si f es una función real de signo cualquiera, introduzcamos las siguientes funciones asociadas:

para todo x en el respectivo dominio de definición. Se puede observar que

Para una función escalonada f cualquiera se verifica entonces:

Y si g es otra función escalonada tal que f ≤ g, entonces:

DEFINICIÓN 1.2. Sea f una función de [a, b] en . Decimos que ella es integrable en el sentido de Riemann si existe

una sucesión decreciente de funciones escalonadas en [a, b] minoradas por f,

una sucesión creciente de funciones escalonadas mayoradas por f, tales que

En tal caso, el límite común de las sucesiones se escribe , recibiendo el nombre de integral de f sobre [a, b].

Notar que si f es positiva y si escribimos , entonces la condición (1.21) equivale a la planteada en el ejercicio 1.4.

De este modo se tiene

De (1.22), (1.23), (1.24), resulta una forma equivalente de definir la integrabilidad en el sentido de Riemann: una función f acotada es integrable si y sólo si las sumas del miembro derecho de (1.24) convergen a 0 si n → ∞.

EJERCICIO 1.7. Probar que toda función real continua es integrable sobre todo intervalo acotado contenido en su dominio de definición.

EJERCICIO 1.8. Sea f una función real integrable en el sentido de Riemann sobre [a, b] y sea g otra función real, que es igual a f salvo en un número finito de puntos. Probar que g es también integrable en el sentido de Riemann y que su integral coincide con la de f.

Deducir en particular que toda función continua, salvo en un número finito de puntos sobre [a, b], es integrable.

EJERCICIO 1.9. Probar que la función f definida sobre [0,1], que vale 1 sobre los puntos racionales y 0 en todos los otros, no es integrable en el sentido de Riemann. Sin embargo, el conjunto [[0, f ]] tiene superficie nula.

En el teorema siguiente resumimos las propiedades esenciales de la Integral de Riemann estudiadas en los cursos elementales de Cálculo.

Demostración. Proponemos al lector que escriba completamente la demostración del teorema a título de ejercicio: a continuación le entregamos una rápida guía para hacerlo.

Se verifica fácilmente que las funciones escalonadas cumplen las distintas propiedades enunciadas en el teorema. Enseguida se trata de extender éstas a funciones arbitrarias, integrables en el sentido de Riemann. Esta extensión no presenta dificultades en el caso de las dos primeras propiedades. Para probar la tercera, observar en primer lugar que si α, α′, β, β′, son cuatro números reales, tales que α < α′, β < β′, entonces se cumplen las desigualdades siguientes:

Hay que tener en cuenta además que si fR(I) es mayorada en valor absoluto por una constante positiva M entonces se puede escoger las sucesiones aproximantes y de modo que

De este modo se puede entonces probar la tercera propiedad del enunciado. La cuarta es un caso particular de la tercera y de la linealidad de la integral; la quinta, resulta de la cuarta y de la igualdad:

La sexta propiedad resulta de la observación siguiente: si [α, β] es un intervalo, 1[α, β](x) es su función característica,(aquélla que vale 1 si x [α, β] y 0 sino), entonces para toda función g sobre [a, b] se tiene:

Un cálculo directo permite probar que la fórmula del cambio de variables es satisfecha por las funciones f escalonadas. Para extenderla a las funciones integrables en el sentido de Riemann, la clave es probar primero que si se tiene una función real f definida sobre [a, b] y si (fn)n, (gn)n son dos sucesiones de funciones integrables tales que

entonces fR([a, b]) y

La demostración de esta propiedad se obtiene de la manera siguiente. Por la definición de la integral de Riemann, para todo n existen sucesiones de funciones escalonadas , tales que

y

para todo m y para las cuales

si m → ∞. Además se pueden escoger estas funciones escalonadas de modo que , si es necesario reemplazando por ínf y por sup. Entonces,

para todo n. Tomando enseguida las sucesiones diagonales y se tiene que ellas son aproximantes de f en el sentido de la definición de la integral de Riemann y es igual al límite común de las integrales de tales funciones escalonadas. Pero además por construcción de las sucesiones de funciones escalonadas, los límites de sus integrales deben coincidir con los de la ecuación (1.34).

Una vez demostrada esta propiedad, el teorema de cambio de variables resulta por una aplicación directa de ella y del cambio de variables para funciones escalonadas.

Asimismo, la prueba de la última parte del teorema se obtiene por aplicación de (1.34): la superficie de la figura comprendida entre dos funciones escalonadas se expresa claramente como la integral de su diferencia; en el caso general, la aproximación por funciones escalonadas provee el resultado usando (1.34).

Nos preguntamos ahora qué tan extensa puede ser la clase de las funciones integrables en el sentido de Riemann. Sabemos que contiene a las funciones continuas salvo en un número finito de puntos, pero, ¿qué tanto más podemos relajar la condición de continuidad? Este problema fue planteado y resuelto por Du Bois-Reymond en 1882.

DEFINICIÓN 1.3. Un subconjunto N de la recta real se dice de extensión nula (más tarde diremos de medida nula) si para cada > 0 existe una colección finita de intervalos cuyo largo total (calculado como la suma de las longitudes respectivas) sea menor que e y su reunión cubre a N.

TEOREMA 1.2. Sea f una función con valores reales definida en un intervalo [a, b] dey acotada. Ella es integrable en el sentido de Riemann sobre [a, b] si y sólo si su conjunto de discontinuidades Df es de extensión nula.

Demostración. Designemos por ω(f, E) la oscilación de f sobre un subconjunto E de [a, b] dada por la expresión

Observar que ω(f, E) ≤ ω(f, E′) si E ⊂ E′. Así, la oscilación de f en un punto x [a, b] es

Supongamos fR([a, b]). Sea (π(n))n una sucesión de particiones de [a, b], π(n) : . Examinemos (1.24). Dado p > 1, Ep queda contenido en los intervalos de la partición π(n) en los cuales la oscilación es mayor que 1/p. Llamemos ln(p) la suma de las longitudes de dichos intervalos. Se tiene entonces

y la integrabilidad de f determina la convergencia a 0 de las sumas de (1.38) si n → ∞, de donde, para cada p fijo, ln(p) → 0. Esta última propiedad nos dice que Ep es de extensión nula para cada p ≥ 1.

Recíprocamente, supongamos Ep de extensión nula para cada p > 1. Entonces, dado > 0 existe una colección finita de intervalos que cubren Ep y cuya suma de longitudes es menor que . Dada una partición cualquiera π de [a, b], designemos por I1,..., Ik los subintervalos disjuntos de [a, b] que ella determina. Refinemos π de la siguiente manera: llamemos π la partición definida por las extremidades de los intervalos que resultan al considerarlos de la forma I y las intersecciones de aquellos con los de la forma J. De esa manera, la partición π contiene intervalos de extremidades y , entre los cuales hay algunos contenidos en los de la forma J. Sea N0() el subconjunto de índices jN() para los cuales existe algún m de modo que . Así tenemos:

Pero, para cada jN\N0(), se tiene Mj–mj < 1/p; para jN0(), En consecuencia, se obtiene:

La desigualdad (1.39) y (1.24) nos permiten concluir, ya que y p pueden ser escogidos arbitrariamente.

Por último, para probar que Df es de extensión nula si y sólo si cada Ep lo es, se deja al lector el ejercicio de verificar las dos aserciones siguientes:

Todo subconjunto de un conjunto de extensión nula es de extensión nula;

Toda reunión numerable de conjuntos de extensión nula es de extensión nula.

4. La integral de funciones con valores complejos

La integral de Riemann admite una extensión inmediata al caso de funciones complejas. Si f es una función definida en un intervalo [a, b] de , con valores complejos, le asociamos dos funciones reales: su parte real y su parte imaginaria , que permiten representarla

DEFINICIÓN 1.4. Una función f : [a, b] → es integrable en el sentido de Riemann si . Su integral es entonces

Llamamos el conjunto de tales funciones f.

PROPOSICIÓN 1.1. Si f es una Junción en, su integral satisface la desigualdad

Demostración. Sean . Entonces:

En un ejercicio al fin del capítulo estudiaremos en qué caso se tiene la igualdad en (1.42).

5. Comentarios

Observemos que los tres procedimientos del “arte de medir” analizados en este capítulo: cálculo de sumas de series, cálculo de superficies, integración en el sentido de Riemann, descansan en propiedades básicas relativamente simples.

En primer lugar, hemos visto que los conjuntos que pueden ser medidos, satisfacen ciertas propiedades con respecto a las operaciones usuales sobre conjuntos. Lo mínimo necesario corresponde a la estabilidad para reuniones e intersecciones finitas (por ejemplo, la reunión finita de conjuntos con superficie posee superficie).

En segundo lugar, la aplicación que mide los conjuntos debe ser creciente, en el sentido de la inclusión de conjuntos: si un conjunto con superficie contiene a otro, la superficie del primero es mayor que la del segundo.

En tercer lugar, es necesario establecer una regla para medir una reunión finita de conjuntos (ver (S2)).

Finalmente, es necesario un “buen comportamiento” con respecto a límites crecientes y decrecientes de conjuntos. Estas últimas son propiedades llamadas de continuidad inferior y superior cuyo sentido riguroso se estudiará más tarde, (ver (S4) y el ejercicio 1.3).

Estas ideas básicas nos acompañarán a lo largo de este volumen: constituyen los pilares de la teoría de capacidades y de la medida. Respecto a la primera, la teoría de capacidades, que no constituye requisito para los cursos básicos de Análisis e Integración, hemos reservado un capítulo anexo al final del libro para quienes deseen tener una introducción al tema.

Para el lector interesado en seguir el desarrollo histórico de la teoría de la integración, se recomienda la lectura del excelente libro de Pesin [39], que pasa en revista los pasos dados en su formalización.

6. Ejercicios propuestos

1. Sea f una función continua definida sobre el intervalo compacto real [a, b] y con valores en .

a) Se supone f positiva y . Probar que f es nula.

b) Se supone que para todo n, la integral es nula. Probar que f es nula.

b) Probar que si f es una función compleja continua definida sobre [a, b], entonces la igualdad

significa que el argumento de f es constante sobre el conjunto {t]a, b[; f(t) ≠ 0}.

Enseguida probar que si se tiene la igualdad:

entonces f es constante sobre [a, b].

3. Sea f una función de en , periódica, de período 2π, integrable en el sentido de Riemann sobre [0,2π]. Sus coeficientes de Fourier están dados por la expresión:

Sea

a) Probar que |an| ≤ M para todo n.

4. El propósito de este ejercicio es probar el llamado “Teorema Fundamental del Cálculo”, que relaciona primitivas e integrales de una función.

a) Sea f una función integrable en el sentido de Riemann sobre [a, b]. Se define F sobre [a, b] mediante la expresión:

Probar que F es continua en cada punto x [a, b].

FIGURA 1. Pitágoras, 570 a.C.– 469 a.C.

FIGURA 2. Euclides, aprox. 325 a.C.– 265 a.C.

FIGURA 3. Bernhard Riemann, 1826- 1866

Capítulo 2

Estructuras Básicas

En este capítulo estudiaremos las estructuras de la Teoría de Conjuntos que permiten definir los conceptos básicos de la Teoría de la Medida. Las ideas esenciales son las que hemos evocado en la Introducción: necesitamos trabajar con familias de conjuntos sobre las cuales definiremos operaciones como reuniones, intersecciones, paso al complemento y otras, que son las que usualmente se ocupan al calcular áreas o medir volúmenes.

Comencemos por fijar algunas notaciones tradicionales de la Teoría de Conjuntos.

1. Complementos sobre la teoría de conjuntos

1.1. Familias de conjuntos. Consideremos un conjunto no vacío I arbitrario, que en lo que sigue será llamado conjunto de índices. Si X es otro conjunto no vacío, convengamos en denotar P(X) el conjunto de todas sus partes.

Una familia de conjuntos es una aplicación de I en P(X) que a cada iI asocia XiP(X). Corrientemente se usan las notaciones , o simplemente (Xi) cuando el conjunto de índices está suficientemente claro. A continuación definiremos algunas operaciones sobre las familias de conjuntos.

DEFINICIÓN 2.1. El producto es el conjunto de las familias de elementos tales que xiXi para cada iI. La notación del producto se simplifica a menudo escribiendo ΠiXi o también ΠIXi.

En este curso suponemos válido el Axioma de Selección. En virtud de él, si los conjuntos Xi son no vacíos, se tiene que es no vacío. Si algún Xi es vacío, convenimos que el producto es vacío.

Dado kI se llama k–ésima proyección canónica, y se denota πk, la aplicación de ΠiXi en Xk que a cada elemento asocia xkXk.

Se llama cilindro o adoquín una parte del conjunto de la forma donde, para cada índice i, Ai es un subconjunto de Xi

El conjunto suma de , que se denota , es el conjunto de pares (i, x) formados de un elemento iI y de un elemento xXi. Para cada kI, se llama k–ésima inyección canónica la aplicación de Xk en que a cada x asocia el par (k, x).

es claro que .

OBSERVACIóN 2.1. Se tiene la siguiente propiedad de asociatividad para el producto: Si es una familia de conjuntos, entonces:

donde y para abreviar hemos escrito ΠS(…) el producto .

EJERCICIO