Teoría de la medida e integración. Rolando Rebolledo B.

Teoría de la medida e integración - Rolando Rebolledo B.


Скачать книгу
alt="Image"/>

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

Image

      Llamamos Image el conjunto de tales funciones f.

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

Image

      Demostración. Sean Image. Entonces:

Image Image

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

      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.

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

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

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

      2. Sea z Image \{0}: z se escribe en la forma z = |z|exp(iArg z) con 0 ≤ Arg z < 2π; Arg z es el argumento de z.

      a) Sea z1 = u1 + iv1 y z2 = u2 + iv2 dos elementos de Image. Probar que:

Image

      y que la igualdad significa ya sea z1z2 = 0 o bien Arg z1 = Arg z2 módulo π.

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

Image

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

      Enseguida probar que si se tiene la igualdad:

Image

      entonces f es constante sobre [a, b].

      3. Sea f una función de Image en Image, 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:

Image

      Sea Image

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

      b) Se supone f continua. ¿Bajo qué condición se puede tener |an| = M ?

      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:

Image

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

      b) Si el conjunto Df de discontinuidades de f es finito, probar que F es derivable en ]a, b[\Df, y se tiene: F′(x) = f (x) para todo x Image]a, b[\Df. F es una primitiva de f, mejor aún, es la única que se anula en a.

Image

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


Скачать книгу