UNIVERSIDAD NACIONAL DE INGENIERA

FACULTAD DE CIENCIAS

Escuela Profesional de Matemtica

SILABO
I)

DESCRIPCIN DEL CURSO

CURSO
:
CDIGO
:
CREDITOS
:
PRE REQUISTO:
CARCTER :
MODALIDAD :
HORAS:

II)

TEORA DE LA MEDIDA
CM-411
05 (cinco)
CM-312 ANLISIS COMPLEJO
CM-313 ANLISIS REAL EN VARIAS VARIABLES I.
Obligatorio
Semestral
TEORA: (04) PRCTICAS: (02)

OBJETIVO
1.- Describir y reconocer los conjuntos medibles, las funciones medibles e integral de Lebesgue.
2.- Interpretar la derivacin e integral de Lebesgue.

III)

CONTENIDO ANALTICO DEL CURSO:

CAPITULO I.- PRELIMINARES EN LA TEORIA DE CONJUNTOS:
1.1 Teora Elemental de Conjuntos.
1.2 Familia de conjuntos. Leyes de Morgan. Relaciones entre conjuntos. Producto cartesiano.
1.3 Relaciones Binarias y funciones. Relaciones de orden parcial, Relaciones de equivalencia.
1.4 Producto Cartesiano general, El Axioma de Eleccin..
1.5 El Axioma de Eleccin y algunas de sus equivalencias (lema de Tukey, Principio de
maximalidad de Hausdorff, lema de Zorn, el Principio del buen orden).
1.6 Nmeros Cardinales. Conjuntos contables y no contables.
1.7 Conjuntos equipotentes, Nocin de nmero cardinal.
1.8 Conjuntos finitos, numerables y no numerables.
1.9 Teorema de Schreder-Bernstein. Teorema de Cantor. Teorema de Tarski y Dedekin.
1.10 Anillo, lgebra, semianillo, semilgebra, - anillo, - lgebra de conjuntos.
1.11 lgebra generada por una familia de conjuntos. Conjuntos de Borel.
CAPITULO II.- MEDIDAS Y CONJUNTOS MEDIBLES:
2.1 Espacios medibles y construccin de medidas.
2.2 Medidas en semianillos. Nocin de Conjuntos medibles.
2.3 Extensin de una medida en un semianillo a un anillo.
2.4 Anillo hereditario. Medida exterior.
2.5 Extensin de una medida en un anillo a una medida exterior en un anillo hereditario.
2.6 Teorema de Extensin de Caratheodory.
2.7 Teorema de Extensin de Hahn (Existencia y unicidad de una medida completa).
2.8 Medida de Lebesgue
2.9 La Idea de medida, longitud, rea y volumen.
2.10 Definicin de la medida de Lebesgue. Conjuntos Lebesgue-medible.
2.11 Aproximacin de conjuntos Lebesgue-medibles por conjuntos abiertos, conjuntos cerrados,
conjuntos compactos de Rn.
2.11 Conjuntos no Lebesgue-medibles y no borelianos.

CAPITULO III.- LA INTEGRAL DE LEBESGUE:

3.1 Funciones medibles.
3.2 Topologa de los reales extendidos. Funciones medibles (a valores reales extendidos).
3.3 Parte positiva y parte negativa de una funcin.
3.4 Funciones medible especiales. Funcin simple, funcin de paso, funcin caracterstica.
3.5 Operaciones y propiedades fundamentales de funciones medible.
3.6 Aproximacin de funciones medibles por secuencias de funciones simples.
3.7 Convergencia en medida. Teorema de Riesz.
3.8 Teorema de Egoroff.
3.9 La Integral Abstracta de Lebesgue
3.10 Introduccin. La Integral de Riemman.
3.11 Integral de una funcin medible no negativa. Propiedades fundamentales.
3.12 Teorema de la convergencia montona de Lebesgue.
3.13 Lema de Fatou.
3.14 Integral de una funcin real (extendida) y compleja. Propiedades fundamentales.
3.15 Teorema de la convergencia dominada de Lebesgue.
3.16 La Integral de Riemman y la Integral de Lebesgue.
CAPITULO IV.- DERIVACIN E INTEGRACIN:
4.1 Introduccin.
4.2 Conceptos iniciales. Derivadas laterales inferiores y superiores.
4.3 Funciones montonas y propiedades fundamentales.
4.4 Cubrimiento de Vitali. Lema de Vitali.
4.5 Diferenciabilidad de una funcin montona (Teorema de Lebesgue).
4.6 Primer Teorema Fundamental.
4.7 Funciones de Variacin acotada. Variacin de una funcin.
4.8 Caracterizacin de funciones de variacin acotada.
4.9 Funciones absolutamente continuas.
4.10 Caracterizacin de funciones absolutamente continuas.
4.11 Segundo Teorema fundamental.

IV)
BIBLIOGRAFA
1.-BARTLE, R. G.
2.-CHUMPITAZ, MAURO
3.-DUGUNDJI, J.
4.-FERNANDEZ, P.J.
5.-FRAENKEL, A.
6.-HALMOS, P.R.
7.-KELLEY, J.L.
8.-KURATOWSKI, K, and
MOTOWKY
9.-LIMA, E.L.
10.-ROYDEN, H. L.
11.-RUDIN, W.
Hill 1974.
12.-SUPPES, P. C.

The elements of integration and Lebesgue measure, John

Wiley & Sons Inc.
Teora de la medida, UNI - Lima Per.
Topology, Boston, Allyn and Bacon 1966.
Medida e integraao, Rio de Janeiro, IMPA.
Abstract Set Theory (4th. E), Amsterdam,
North Holland 1976.
Measure Theory, New York, Van Nostrand 1970
General Toplogy, New York, Van Nostrand 1955 .
Set Theory, Amsterdanm, North Holland 1968.
Curso de Analise (Vol. 1), Rio de Janeiro , IMPA.
Real Analysis , New York, The MacMillan Company 1963.
Real and complex analysis (2nd. De.) New York, McGrawAxiomatic Set Theory, Princeton, Van Nostrand 1960.