Carrera: LICENCIATURA EN MATEMÁTICAS

Materia: Análisis Matematico

U3-Foro: Foro.
Grupo : MT-MAMT2-2201-B1-001

Alumno: Rolando Ortiz Herbas

Matrícula: ES18210414044

Maestro: Juan Armando Velazco Velazco

Actividad Foro Unidad 3 Análisis matemático

Aspectos Biográficos de Henry Lebesgue

Henri León Lebesgue (28 de junio de 1875.) fue un matemático francés.

Lebesgue es fundamentalmente conocido por sus aportes a la teoría de la
medida y de la integral. A partir de trabajos de otros matemáticos como Émile
Borel y Camille Jordán, Lebesgue realizó importantes contribuciones a la teoría
de la medida en 1901.

Al año siguiente, en su tesis Intégrale, longueur, aire (Integral, longitud, área)

presentada en la Universidad de Nancy, definió la integral de Lebesgue, que
generaliza la noción de la integral de Riemann extendiendo el concepto de área
bajo una curva para incluir funciones discontinuas. Este es uno de los logros del
análisis moderno que expande el alcance del análisis de Fourier.

También aportó en ramas como la topología, la teoría del potencial y el análisis

de Fourier. En 1905 presentó una discusión sobre las condiciones que Lipschitz
y Jordán habían utilizado para asegurar que f(x) es la suma de su serie de
Fourier.

La teoría de la medida es una rama del análisis real que investiga las σ-
álgebras, las medidas, funciones medibles e integrales. Es de importancia central
en probabilidad y en estadística.

En matemática, una medida es una función que asigna un número real positivo
o cero, interpretable como un "intervalo", un "área", un "volumen", o una
"probabilidad", a los subconjuntos de un conjunto dado.

El concepto es importante para el análisis matemático, la geometría y para la

teoría de la probabilidad.

Las condiciones de consistencia que deben cumplir los miembros de estas

familias quedan encapsuladas en el concepto auxiliar de σ-álgebra.

Formalmente, una medida μ es una función definida en una σ-álgebra Σ sobre

un conjunto X con valores en el intervalo real extendido [0, ∞], que verifica:

• La medida del conjunto vacío es cero: μ( ) = 0.

• Si E1, E2, E3, ... una sucesión contable de conjuntos disjuntos dos a dos
de la σ-álgebra Σ y E es su unión, entonces μ(E) es igual a la suma de las
medidas de los Ek; esto es,
La terna (X, Σ, μ) se denomina espacio de medida, y los elementos de Σ se
denominan conjuntos medibles.

Propiedades

Propiedad Definición
μ es monótona: si y son dos conjuntos medibles, con
, entonces .
Monotonía
Si E1, E2, E3, ... es una sucesión contable de conjuntos medibles,
su unión será también medible (por la definición de σ-álgebra), y
Uniones contables

Si se tiene además que En ⊆ En+1 para todo n, entonces

Si E1, E2, E3, ...es una sucesión contable de conjuntos medibles,

y En+1 ⊆ En para todo n, entonces la intersección de los conjuntos
En es medible (de nuevo, por la definición de σ-álgebra); más aún,
si al menos uno de los En tiene medida finita, entonces

Intersecciones
contables

En matemáticas, la medida de Lebesgue es la forma estándar de asignar una

longitud, área o volumen a los subconjuntos de un espacio euclídeo.

Se usa en el análisis real, especialmente para definir la integración de Lebesgue.

Los conjuntos a los que se les puede asignar un tamaño se denominan

Lebesgue-medibles, o medibles a secas si no hay ambigüedad sobre la
medida; el volumen o medida de un conjunto Lebesgue-medible A se denota por
λ(A).

Un valor de ∞ para la medida de Lebesgue es perfectamente posible, pero aún

en ese caso, si se asume el axioma de elección, no todos los conjuntos de Rn
son Lebesgue-medibles.
La medida de Lebesgue en Rn tiene las siguientes propiedades:

• Si A es un producto cartesiano de intervalos I1 × I2 × ... × In, es

Lebesgue-medible y λ(A) = |I1|·|I2|·...·|In|, donde |I| denota la
longitud del intervalo I.
• Si A es una unión disjunta de finitos o contables conjuntos
Lebesgue-medibles, A mismo es Lebesgue-medible y λ(A) es igual
a la suma (o serie infinita) de las medidas de los conjuntos
correspondientes.
• Si A es Lebesgue-medible, también lo es su complemento.
• λ(A) ≥ 0 para todo conjunto Lebesgue-medible A.
• Si A y B son Lebesgue-medibles, y A ⊆ B, λ(A) ≤ λ(B) (consecuencia
de los puntos anteriores).
• Las uniones e intersecciones contables de conjuntos Lebesgue-
medibles son asimismo Lebesgue-medibles (consecuencia de los
puntos anteriores). (i3campus.c, 2022).
• Si A es un subconjunto abierto o cerrado de Rn, es Lebesgue-
medible.
• La medida de Lebesgue es localmente finita e interna regular, y por
lo tanto una medida de Radón.
• Si A es un conjunto Lebesgue-medible con λ(A) = 0 (o conjunto
nulo), todo subconjunto de A es también un conjunto nulo.
• Si A es Lebesgue-medible y x es un elemento de Rn, la traslación
definida por A + x = {a + x : a ∈ A} es también Lebesgue-medible
y, más aún, tiene la misma medida que A.

Referencias
i3campus.c. (09 de marzo de 2022). Obtenido de i3campus.c:
http://i3campus.co/CONTENIDOS/wikipedia/content/a/medida_de_lebesgue.html

i3campus.co. (09 de marzo de 2022). Obtenido de i3campus.co:

http://i3campus.co/CONTENIDOS/wikipedia/content/a/teor%25c3%25ada_de_la_medida.
html

wikipedia.com. (14 de agosto de 2021). Obtenido de wikipedia.com:

https://es.wikipedia.org/wiki/Henri_L%C3%A9on_Lebesgue

Unadm, Contenido Nuclear U3 A. Matemático 2 , México marzo de 2022.