1

UNIVERSIDAD NACIONAL PEDRO RUIZ GALLO

FACULTAD DE CIENCIAS F ISICAS Y MATEM ATICAS

ESCUELA PROFESIONAL DE MATEM ATICAS

TEORIA DE LA MEDIDA

CURSO :

METODOLOGIA DEL TRABAJO CIENTÍFICO

INTEGRANTES :

CASTRO CORONADO JONATHAN DENNIS

GONZÁLEZ CUBAS LADY GISSELA

DOCENTE :

M. SC. CARLOS ARTURO ABRAMONTE ATO

02 de dismember 2022
 2

Teoría de la media

Uno de los temas más interesantes y relevantes en la matemática es la teoría

de la media.

Según Aleksandrov, López Rodríguez, y cols. (1979) “el concepto de

medida de un conjunto es una fuerte generalización del concepto de

longitud de un intervalo. Es decir la tarea consiste en dar una definición de

longitud no sólo para intervalos, sino para conjuntos más complicados” (p.

41).

Otra manera de definir el concepto de media es el que nos presenta

Kubrusly (2015, 23) “Una medida es una función de conjunto de valores

reales extendida no negativa que satisface algunas condiciones adicionales”.

“La palabra "medir" (sin modificadores) siempre denotará una medida

contablemente aditiva”. (Cohn, 2013, p.8)

“El concepto de medida no es completamente nuevo; simplemente se

dilucidará en un marco general”. (Vestrup, 2009, p. 35)

Morris (1972) Afirma que la línea de pensamiento que condujo a

otra generalización diferente de la idea de integral, la integral de Lebesgue.

El estudio de los conjuntos de puntos de discontinuidad de funciones

planteó el problema de cómo medir la extensión o “longitud" de tales

conjuntos, porque precisamente la “extensión"de dichas discontinuidades es

lo que determina la integrabilidad de la función. La teoría del contenido, y

más tarde la teoría de la medida, fueron introducidas precisamente para

extender la idea de longitud a conjuntos de puntos que no sean simples

intervalos de la recta real usual. (p. 1373)

 3

Para ser una media debe cumplirse ciertas propiedades que nos

propone Vestrup (2009)

̅ con
Una medida [contablemente aditiva] [en ] es una función 𝜇: 𝒜 → ℝ

(M1) 𝜇(𝐴) ≥ 0 para cada 𝐴 ∈ 𝒜,

(M2) 𝜇(∅) = 0, y

(M3) Para cualquier sucesión de conjuntos disjuntos 𝐴1 , 𝐴2 , ⋯ ∈ 𝒜

con ⋃∞ ∞ ∞
𝑛=1  𝐴𝑛 ∈ 𝒜, la igualdad 𝜇(⋃𝑛=1  𝐴𝑛 ) = ∑𝑛=1  𝜇 se obtiene (𝐴𝑛 )

La propiedad (M1) se llama no negatividad, y se debe tener en cuenta que se

permite +∞ como valor posible para la medida de un conjunto 𝐴 ∈ 𝒜.

La propiedad (M3) se llama aditividad contable y es la propiedad clave en lo

que respecta a la definición. (p. 36)

Una función 𝜇 cuyo dominio es 𝒜 y cuyos valores pertenecen a

[0, +∞] es finitamente aditiva si satisface

𝜇(∪𝑛𝑖=1 𝐴𝑖 ) = ∑   𝜇(𝐴𝑖 )
𝑖=1

Para cada sucesión 𝐴1 , … , 𝐴𝑛 de conjuntos disjuntos que pertenecen

a 𝒜. Una medida finitamente aditiva en el álgebra 𝒜 es una función

𝜇: 𝒜 ⟶ [0, +∞] satisface 𝜇(∅) = 0 y es finitamente aditivo. (Cohn, 2013, p. 7

Con el fin de dar una definición de medida más general, debemos

hacer uso de un concepto auxiliar. Sea 𝐸 un conjunto contenido en el

 4

intervalo[𝑎, 𝑏]. Consideramos todas las posibles envolturas de 𝐸, es decir,

todos los conjuntos abiertos 𝑉(𝐸) que contienen a 𝐸. La medida de cada

conjunto 𝑉(𝐸) está ya definida. La colección de medidas de todos los

conjuntos 𝑉(𝐸) es un cierto conjunto de números positivos. Este conjunto

está acotado inferiormente (por ejemplo, por 0) y tiene por tanto un

extremo inferior que denotamos por 𝜇𝑒 𝐸. El número 𝜇𝑒 𝐸 se llama medida

exterior de 𝐸.

Sea 𝜇𝑒 𝐸 la medida exterior de un conjunto 𝐸 y 𝜇𝜃 𝐶𝐸 la medida

exterior de su complemento relativo a[𝑎, 𝑏]. Si la relación

𝜇𝑒 𝐸 + 𝜇𝑒 𝐶𝐸 = 𝑏 − 𝑎

se cumple, entonces se dice que 𝐸 es medible y el número 𝜇𝑒 𝐸 es su

media.( Aleksandrov, López Rodríguez, y cols, 1979, p. 42-43)

La medida rompe los esquemas del pensamiento tradicional, es

importante, porque el estudio de los conjuntos de puntos de discontinuidad

de funciones planteó la extensión del concepto de longitud, además

permite resolver problemas que a simple vista no haya solución, tal es el

caso como la integral de Lebesgue. (Morris, 1972)

En los estudios realizados por Aleksandrov, López Rodríguez y cols.

(1979) se precisa que la medida de un conjuntos, es muy importante, en la

generalización del concepto de integral, además manifiestan que el concepto

de medida de un conjunto tiene aplicaciones en la teoría de funciones,

probabilidades, topología, análisis funcional, etc

 5

Referencias

Aleksandrov, A. D., López Rodríguez, M., y cols. (1979). La

matemática: su contenido, métodos y significado.

Cohn, D. L. (2013). Measure theory (Vol. 1). Springer.

Kubrusly, C. S. (2015). Essentials of measure theory. Springer.

Morris, K. (1972).El pensamiento matemático de la antigüedad a

nuestros días. Alianza Editorial, 401-450.

Vestrup, E. M. (2009). The theory of measures and integration. John

Wiley & Sons.