Está en la página 1de 105

Anlisis IV.

Medida de Lebesgue en R.

Lic. Eduardo A. Fernndez.


Facultad de Ciencias Exactas y Tecnolgicas, U.N.C.
udeant83@gmail.com

11 de Agosto de 2016

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
1 / 14 u

Motivacin
La teora de integracin de Riemann presentada en 1854 es una adaptacin
de la teora de Cauchy debilitando las hiptesis necesarias para que una
funcin sea integrable.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
2 / 14 u

Motivacin
La teora de integracin de Riemann presentada en 1854 es una adaptacin
de la teora de Cauchy debilitando las hiptesis necesarias para que una
funcin sea integrable.Mientras Cauchy restringa la integrabilidad a
funciones continuas,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
2 / 14 u

Motivacin
La teora de integracin de Riemann presentada en 1854 es una adaptacin
de la teora de Cauchy debilitando las hiptesis necesarias para que una
funcin sea integrable.Mientras Cauchy restringa la integrabilidad a
funciones continuas,Riemann dio una condicin necesaria y suficiente para
la integrabilidad de una funcin:

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
2 / 14 u

Motivacin
La teora de integracin de Riemann presentada en 1854 es una adaptacin
de la teora de Cauchy debilitando las hiptesis necesarias para que una
funcin sea integrable.Mientras Cauchy restringa la integrabilidad a
funciones continuas,Riemann dio una condicin necesaria y suficiente para
la integrabilidad de una funcin:una funcin acotada f (x) es integrable en
[a, b] si y slo si la suma de Cauchy
s=

n
X

f (tk )(xk xk1 ),

k=1

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
2 / 14 u

Motivacin
La teora de integracin de Riemann presentada en 1854 es una adaptacin
de la teora de Cauchy debilitando las hiptesis necesarias para que una
funcin sea integrable.Mientras Cauchy restringa la integrabilidad a
funciones continuas,Riemann dio una condicin necesaria y suficiente para
la integrabilidad de una funcin:una funcin acotada f (x) es integrable en
[a, b] si y slo si la suma de Cauchy
s=

n
X

f (tk )(xk xk1 ),

k=1

donde a = x0 < x1 < < xn = b y tk [xk?1 , xk ], se aproxima a un


nico valor lmite cuando el tamao de la particin del intervalo se
aproxima a 0.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
2 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx.
a

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx. Aunque lo que


a

Riemann hizo nos pueda parecer ahora un paso casi trivial a partir de la
integral de Cauchy,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx. Aunque lo que


a

Riemann hizo nos pueda parecer ahora un paso casi trivial a partir de la
integral de Cauchy,histricamente represent un gran salto, ya que
involucraba un concepto radicalmente diferente de funcin.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx. Aunque lo que


a

Riemann hizo nos pueda parecer ahora un paso casi trivial a partir de la
integral de Cauchy,histricamente represent un gran salto, ya que
involucraba un concepto radicalmente diferente de funcin.De hecho, en su
tiempo, la teora de Riemann pareca la ms general posible:

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx. Aunque lo que


a

Riemann hizo nos pueda parecer ahora un paso casi trivial a partir de la
integral de Cauchy,histricamente represent un gran salto, ya que
involucraba un concepto radicalmente diferente de funcin.De hecho, en su
tiempo, la teora de Riemann pareca la ms general posible:su condicin de
integrabilidad era la ms dbil usando la definicin tradicional de Cauchy;

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx. Aunque lo que


a

Riemann hizo nos pueda parecer ahora un paso casi trivial a partir de la
integral de Cauchy,histricamente represent un gran salto, ya que
involucraba un concepto radicalmente diferente de funcin.De hecho, en su
tiempo, la teora de Riemann pareca la ms general posible:su condicin de
integrabilidad era la ms dbil usando la definicin tradicional de Cauchy;de
hecho, permita extender el concepto de integral a funciones cuyos puntos
de discontinuidad forman un conjunto denso,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx. Aunque lo que


a

Riemann hizo nos pueda parecer ahora un paso casi trivial a partir de la
integral de Cauchy,histricamente represent un gran salto, ya que
involucraba un concepto radicalmente diferente de funcin.De hecho, en su
tiempo, la teora de Riemann pareca la ms general posible:su condicin de
integrabilidad era la ms dbil usando la definicin tradicional de Cauchy;de
hecho, permita extender el concepto de integral a funciones cuyos puntos
de discontinuidad forman un conjunto denso, funciones cuya existencia ni
siquiera haba sido sospechada por la mayora de los matemticos de la
poca.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Este nico valor lmite es por definicin

f (x) dx. Aunque lo que


a

Riemann hizo nos pueda parecer ahora un paso casi trivial a partir de la
integral de Cauchy,histricamente represent un gran salto, ya que
involucraba un concepto radicalmente diferente de funcin.De hecho, en su
tiempo, la teora de Riemann pareca la ms general posible:su condicin de
integrabilidad era la ms dbil usando la definicin tradicional de Cauchy;de
hecho, permita extender el concepto de integral a funciones cuyos puntos
de discontinuidad forman un conjunto denso, funciones cuya existencia ni
siquiera haba sido sospechada por la mayora de los matemticos de la
poca.Una nueva generalizacin pareca por lo tanto impensable.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
3 / 14 u

Motivacin

Impensable siempre y cuando la suma de Cauchy fuese tomada como punto


de partida para la definicin de integral.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
4 / 14 u

Motivacin

Impensable siempre y cuando la suma de Cauchy fuese tomada como punto


de partida para la definicin de integral.Es en este sentido que la idea de
medida se hace fundamental para sentar las bases de una nueva definicin
de integral,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
4 / 14 u

Motivacin

Impensable siempre y cuando la suma de Cauchy fuese tomada como punto


de partida para la definicin de integral.Es en este sentido que la idea de
medida se hace fundamental para sentar las bases de una nueva definicin
de integral,la cual se haca cada vez ms necesaria despus de los trabajos
de Fourier y Dirichlet para admitir funciones cada vez ms discontinuas.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
4 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.Bsicamente, deseamos que la integral
de Lebesgue resuelva alguna de las limitaciones que enumeramos a
continuacin.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.Bsicamente, deseamos que la integral
de Lebesgue resuelva alguna de las limitaciones que enumeramos a
continuacin.
1

La clase de funciones integrables Riemann es relativamente


pequea.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.Bsicamente, deseamos que la integral
de Lebesgue resuelva alguna de las limitaciones que enumeramos a
continuacin.
1

La clase de funciones integrables Riemann es relativamente


pequea.Slo alcanza las funciones con una cantidad numerable de
puntos de discontinuidad finita.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.Bsicamente, deseamos que la integral
de Lebesgue resuelva alguna de las limitaciones que enumeramos a
continuacin.
1

La clase de funciones integrables Riemann es relativamente


pequea.Slo alcanza las funciones con una cantidad numerable de
puntos de discontinuidad finita.

La integral de Riemann no tiene propiedades de lmite satisfactorias.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.Bsicamente, deseamos que la integral
de Lebesgue resuelva alguna de las limitaciones que enumeramos a
continuacin.
1

La clase de funciones integrables Riemann es relativamente


pequea.Slo alcanza las funciones con una cantidad numerable de
puntos de discontinuidad finita.

La integral de Riemann no tiene propiedades de lmite satisfactorias.Sin


hiptesis adicionales, no se puede pasar al lmite bajo el signo integral.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.Bsicamente, deseamos que la integral
de Lebesgue resuelva alguna de las limitaciones que enumeramos a
continuacin.
1

La clase de funciones integrables Riemann es relativamente


pequea.Slo alcanza las funciones con una cantidad numerable de
puntos de discontinuidad finita.

La integral de Riemann no tiene propiedades de lmite satisfactorias.Sin


hiptesis adicionales, no se puede pasar al lmite bajo el signo integral.

En muchos casos, la primitiva de una funcin integrable no es


derivable.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann


El nuevo concepto de integral que desarrollamos en este curso tratar de
solventar las deficiencias que presentaba la integral de Riemann y que se
hicieron patentes a partir de 1890.Bsicamente, deseamos que la integral
de Lebesgue resuelva alguna de las limitaciones que enumeramos a
continuacin.
1

La clase de funciones integrables Riemann es relativamente


pequea.Slo alcanza las funciones con una cantidad numerable de
puntos de discontinuidad finita.

La integral de Riemann no tiene propiedades de lmite satisfactorias.Sin


hiptesis adicionales, no se puede pasar al lmite bajo el signo integral.

En muchos casos, la primitiva de una funcin integrable no es


derivable.En muchos otros, la derivada de una funcin no es integrable
Riemann.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
5 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 1
Si definimos la sucesin fn : [0; 1] R por
n
1
si
2
2n x
f (x) =

0 en el resto

1
2n1

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
6 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 1
Si definimos la sucesin fn : [0; 1] R por
n
1
si
2
2n x
f (x) =

0 en el resto

1
2n1

entonces

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
6 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 1
Si definimos la sucesin fn : [0; 1] R por
n
1
si
2
2n x
f (x) =

0 en el resto

1
2n1

Z 1
Z 1
entonces 1 = lim fn (x) dx 6=
lim f (x) dx = 0.
0

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
6 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 2
Si definimos la sucesin fn : [0; 1] R por

si
x {r1 ; r2 ; . . . ; rn }
1
f (x) =

0 en el resto

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
7 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 2
Si definimos la sucesin fn : [0; 1] R por

si
x {r1 ; r2 ; . . . ; rn }
1
f (x) =

0 en el resto
donde rn es el n-simo nmero racional en [0, 1],

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
7 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 2
Si definimos la sucesin fn : [0; 1] R por

si
x {r1 ; r2 ; . . . ; rn }
1
f (x) =

0 en el resto
donde rn es el n-simo nmero racional en [0, 1],entonces fn son
integrables Riemann (porque tienen una cantidad finita de puntos de
discontinuidad) pero lim fn (x),

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
7 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 2
Si definimos la sucesin fn : [0; 1] R por

si
x {r1 ; r2 ; . . . ; rn }
1
f (x) =

0 en el resto
donde rn es el n-simo nmero racional en [0, 1],entonces fn son
integrables Riemann (porque tienen una cantidad finita de puntos de
discontinuidad) pero lim fn (x),la funcin de Dirichlet,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
7 / 14 u

Deficiencia de la Integral de Riemann

Ejemplo 2
Si definimos la sucesin fn : [0; 1] R por

si
x {r1 ; r2 ; . . . ; rn }
1
f (x) =

0 en el resto
donde rn es el n-simo nmero racional en [0, 1],entonces fn son
integrables Riemann (porque tienen una cantidad finita de puntos de
discontinuidad) pero lim fn (x),la funcin de Dirichlet,no es integrable
Riemann (es discontinua en todo [0, 1]).

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
7 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho, como se dice
en lgebra,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho, como se dice
en lgebra,la reunin,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho, como se dice
en lgebra,la reunin,la reduccin de los trminos semejantes.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho, como se dice
en lgebra,la reunin,la reduccin de los trminos semejantes.Se puede
decir que, con el mtodo de Riemann,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho, como se dice
en lgebra,la reunin,la reduccin de los trminos semejantes.Se puede
decir que, con el mtodo de Riemann,se intentaba sumar los indivisibles
tomndolos en el orden suministrado por la variacin de x,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho, como se dice
en lgebra,la reunin,la reduccin de los trminos semejantes.Se puede
decir que, con el mtodo de Riemann,se intentaba sumar los indivisibles
tomndolos en el orden suministrado por la variacin de x,se proceda
como lo hara un comerciante desorganizado que contara monedas y
billetes segn fueran cayendo estos en sus manos;

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Los Gemetras del siglo XVII consideraban la integral de f (x) ( el trmino


integral no se haba inventado an, pero esto no tiene ninguna importancia
) como la suma de una infinidad de indivisibles cada uno de ellos siendo la
ordenada,positiva o negativa,de f (x).Y bien,nosotros simplemente hemos
agrupado los indivisibles de tamao comparable;hemos hecho, como se dice
en lgebra,la reunin,la reduccin de los trminos semejantes.Se puede
decir que, con el mtodo de Riemann,se intentaba sumar los indivisibles
tomndolos en el orden suministrado por la variacin de x,se proceda
como lo hara un comerciante desorganizado que contara monedas y
billetes segn fueran cayendo estos en sus manos;en cambio nosotros
procedemos como el comerciante metdico que dice:

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
8 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,sin ninguna duda,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,sin ninguna duda,al mismo resultado ya que,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,sin ninguna duda,al mismo resultado ya que,por
muy rico que sea,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,sin ninguna duda,al mismo resultado ya que,por
muy rico que sea,no hay ms que un nmero finito de billetes que
contar;

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,sin ninguna duda,al mismo resultado ya que,por
muy rico que sea,no hay ms que un nmero finito de billetes que
contar;pero para nosotros que tenemos que sumar una infinidad de
indivisibles,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,sin ninguna duda,al mismo resultado ya que,por
muy rico que sea,no hay ms que un nmero finito de billetes que
contar;pero para nosotros que tenemos que sumar una infinidad de
indivisibles,la diferencia entre los dos mtodos es capital.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 )


monedas de 2 coronas lo que hace 2 m(E2 ), tengo m(E3 ) monedas de 5
coronas lo que hace 5 m(E3 ), etc.As tengo en total:
S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + .Ambos procedimientos
conducirn al comerciante,sin ninguna duda,al mismo resultado ya que,por
muy rico que sea,no hay ms que un nmero finito de billetes que
contar;pero para nosotros que tenemos que sumar una infinidad de
indivisibles,la diferencia entre los dos mtodos es capital.
"Sobre el desarrollo de la nocin de integral"
H. Lebesgue, conferencia en Copenhague 1926.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11y deTecnolgicas,
Agosto de 2016 U.N.C.
9 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario
desarrollar la teora de la medida.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario
desarrollar la teora de la medida.
A grandes rasgos,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario
desarrollar la teora de la medida.
A grandes rasgos,se pretende generalizar la nocin de longitud en R,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario
desarrollar la teora de la medida.
A grandes rasgos,se pretende generalizar la nocin de longitud en R,rea en
R2 o volumen en R3 .

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario
desarrollar la teora de la medida.
A grandes rasgos,se pretende generalizar la nocin de longitud en R,rea en
R2 o volumen en R3 .Ms concretamente,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario
desarrollar la teora de la medida.
A grandes rasgos,se pretende generalizar la nocin de longitud en R,rea en
R2 o volumen en R3 .Ms concretamente,buscamos una funcin no negativa
m definida en todos los subconjuntos de R,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

La integral de Riemann se define mediante particiones del dominio de la


funcin y calculando el valor de la funcin en los puntos de cada intervalo
de la particin.Sin embargo,para definir la integral de Lebesgue se realiza
una particin de la imagen de la funcin y se mide el tamao del dominio
para los cuales la imagen de la funcin est comprendida entre dichos
valores.Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario
desarrollar la teora de la medida.
A grandes rasgos,se pretende generalizar la nocin de longitud en R,rea en
R2 o volumen en R3 .Ms concretamente,buscamos una funcin no negativa
m definida en todos los subconjuntos de R, que pueda tomar el valor +.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
10 / 14 u

Nueva forma de contar rectngulos

Intuitivamente se necesita que verifique:


1

m([a, b]) = b a (la medida de un intervalo es su longitud).

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
11 / 14 u

Nueva forma de contar rectngulos

Intuitivamente se necesita que verifique:


1

m([a, b]) = b a (la medida de un intervalo es su longitud).

m(A B) = m(A) + m(B), si A y B son disjuntos.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
11 / 14 u

Nueva forma de contar rectngulos

Intuitivamente se necesita que verifique:


1

m([a, b]) = b a (la medida de un intervalo es su longitud).

m(A B) = m(A) + m(B), si A y B son disjuntos.


En realidad, los argumentos de lmite que se aplican en la teora hacen
necesaria la condicin:

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
11 / 14 u

Nueva forma de contar rectngulos

Intuitivamente se necesita que verifique:


1

m([a, b]) = b a (la medida de un intervalo es su longitud).

m(A B) = m(A) + m(B), si A y B son disjuntos.


En realidad, los argumentos de lmite
! que se aplican en la teora hacen
[
X
necesaria la condicin: m
Ai =
m (Ai ) , con Ai disjuntos
iN

iN

dos a dos.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
11 / 14 u

Nueva forma de contar rectngulos

Intuitivamente se necesita que verifique:


1

m([a, b]) = b a (la medida de un intervalo es su longitud).

m(A B) = m(A) + m(B), si A y B son disjuntos.


En realidad, los argumentos de lmite
! que se aplican en la teora hacen
[
X
necesaria la condicin: m
Ai =
m (Ai ) , con Ai disjuntos
iN

iN

dos a dos.
3

m(A + h) = m(A) (la medida es invariante bajo traslaciones).

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
11 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,intersecciones y complementos.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,intersecciones y complementos.Ahora bien,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,intersecciones y complementos.Ahora bien,la idea previa de
poder asignar una medida a todos los subconjuntos de R no es
posible.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,intersecciones y complementos.Ahora bien,la idea previa de
poder asignar una medida a todos los subconjuntos de R no es
posible.Demostraremos que existen conjuntos que no son medibles cuando
pedimos las condiciones 1 a 3 anteriores.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,intersecciones y complementos.Ahora bien,la idea previa de
poder asignar una medida a todos los subconjuntos de R no es
posible.Demostraremos que existen conjuntos que no son medibles cuando
pedimos las condiciones 1 a 3 anteriores.Esta situacin contraria a la
intuicin est relacionada con la famosa paradoja de Banach-Tarski:

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,intersecciones y complementos.Ahora bien,la idea previa de
poder asignar una medida a todos los subconjuntos de R no es
posible.Demostraremos que existen conjuntos que no son medibles cuando
pedimos las condiciones 1 a 3 anteriores.Esta situacin contraria a la
intuicin est relacionada con la famosa paradoja de Banach-Tarski: se
puede descomponer la bola unidad de R en cinco piezas, las cuales pueden
recomponerse mediante traslaciones y rotaciones para formar dos bolas
unitarias disjuntas

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos


Un resultado importante de la teora es la existencia y unicidad de tal
medida,que llamaremos medida de Lebesgue,cuando nos referimos a una
clase razonable de conjuntos,los llamados conjuntos medibles.Esta clase de
conjuntos contiene en particular a los abiertos y ser cerrada bajo uniones
numerables,intersecciones y complementos.Ahora bien,la idea previa de
poder asignar una medida a todos los subconjuntos de R no es
posible.Demostraremos que existen conjuntos que no son medibles cuando
pedimos las condiciones 1 a 3 anteriores.Esta situacin contraria a la
intuicin est relacionada con la famosa paradoja de Banach-Tarski: se
puede descomponer la bola unidad de R en cinco piezas, las cuales pueden
recomponerse mediante traslaciones y rotaciones para formar dos bolas
unitarias disjuntas (lo que violara nuestra idea de conservacin del
volumen).

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
12 / 14 u

Nueva forma de contar rectngulos

As,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.Antes de


que, en 1904, Lebesgue publicara sus trabajos, mile Borel public en 1898
el libro Leons sur la thorie des fonctions,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.Antes de


que, en 1904, Lebesgue publicara sus trabajos, mile Borel public en 1898
el libro Leons sur la thorie des fonctions,donde investigaba sobre ciertos
conjuntos del intervalo [0, 1].

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.Antes de


que, en 1904, Lebesgue publicara sus trabajos, mile Borel public en 1898
el libro Leons sur la thorie des fonctions,donde investigaba sobre ciertos
conjuntos del intervalo [0, 1].Pretenda asignar medidas a subconjuntos ms
generales que los subintervalos,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.Antes de


que, en 1904, Lebesgue publicara sus trabajos, mile Borel public en 1898
el libro Leons sur la thorie des fonctions,donde investigaba sobre ciertos
conjuntos del intervalo [0, 1].Pretenda asignar medidas a subconjuntos ms
generales que los subintervalos,especialmente a aquellos engendrados
mediante uniones numerables o paso al complementario de intervalos.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.Antes de


que, en 1904, Lebesgue publicara sus trabajos, mile Borel public en 1898
el libro Leons sur la thorie des fonctions,donde investigaba sobre ciertos
conjuntos del intervalo [0, 1].Pretenda asignar medidas a subconjuntos ms
generales que los subintervalos,especialmente a aquellos engendrados
mediante uniones numerables o paso al complementario de intervalos.De
forma paralela peda que estos subconjuntos cumplieran la propiedad de
que la medida de la unin de cualquier familia finita o numerable de tales
conjuntos disjuntos dos a dos es igual a la suma de sus medidas;

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.Antes de


que, en 1904, Lebesgue publicara sus trabajos, mile Borel public en 1898
el libro Leons sur la thorie des fonctions,donde investigaba sobre ciertos
conjuntos del intervalo [0, 1].Pretenda asignar medidas a subconjuntos ms
generales que los subintervalos,especialmente a aquellos engendrados
mediante uniones numerables o paso al complementario de intervalos.De
forma paralela peda que estos subconjuntos cumplieran la propiedad de
que la medida de la unin de cualquier familia finita o numerable de tales
conjuntos disjuntos dos a dos es igual a la suma de sus medidas;y por otra
parte,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos

As,el nacimiento de medida puede ser atribuido a mile Borel.Antes de


que, en 1904, Lebesgue publicara sus trabajos, mile Borel public en 1898
el libro Leons sur la thorie des fonctions,donde investigaba sobre ciertos
conjuntos del intervalo [0, 1].Pretenda asignar medidas a subconjuntos ms
generales que los subintervalos,especialmente a aquellos engendrados
mediante uniones numerables o paso al complementario de intervalos.De
forma paralela peda que estos subconjuntos cumplieran la propiedad de
que la medida de la unin de cualquier familia finita o numerable de tales
conjuntos disjuntos dos a dos es igual a la suma de sus medidas;y por otra
parte,todos los subintervalos tienen como medida su longitud.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
13 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",y anot en el pie de pgina de ese mismo libro que
"He omitido toda demostracin ya que la redaccin me pareci tener que
ser larga y fastidiosa[...]".

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",y anot en el pie de pgina de ese mismo libro que
"He omitido toda demostracin ya que la redaccin me pareci tener que
ser larga y fastidiosa[...]".Por otra parte, Borel no hace absolutamente
ninguna referencia o insinuacin sobre una posible conexin entre su
concepto de medida y la teora de integracin.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",y anot en el pie de pgina de ese mismo libro que
"He omitido toda demostracin ya que la redaccin me pareci tener que
ser larga y fastidiosa[...]".Por otra parte, Borel no hace absolutamente
ninguna referencia o insinuacin sobre una posible conexin entre su
concepto de medida y la teora de integracin.Aunque Borel no fue capaz
de probar dicho resultado,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",y anot en el pie de pgina de ese mismo libro que
"He omitido toda demostracin ya que la redaccin me pareci tener que
ser larga y fastidiosa[...]".Por otra parte, Borel no hace absolutamente
ninguna referencia o insinuacin sobre una posible conexin entre su
concepto de medida y la teora de integracin.Aunque Borel no fue capaz
de probar dicho resultado,gracias a las aportaciones de Lebesgue el
resultado de Borel queda incluido en la construccin de la integral de
Lebesgue.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",y anot en el pie de pgina de ese mismo libro que
"He omitido toda demostracin ya que la redaccin me pareci tener que
ser larga y fastidiosa[...]".Por otra parte, Borel no hace absolutamente
ninguna referencia o insinuacin sobre una posible conexin entre su
concepto de medida y la teora de integracin.Aunque Borel no fue capaz
de probar dicho resultado,gracias a las aportaciones de Lebesgue el
resultado de Borel queda incluido en la construccin de la integral de
Lebesgue.Ms adelante,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",y anot en el pie de pgina de ese mismo libro que
"He omitido toda demostracin ya que la redaccin me pareci tener que
ser larga y fastidiosa[...]".Por otra parte, Borel no hace absolutamente
ninguna referencia o insinuacin sobre una posible conexin entre su
concepto de medida y la teora de integracin.Aunque Borel no fue capaz
de probar dicho resultado,gracias a las aportaciones de Lebesgue el
resultado de Borel queda incluido en la construccin de la integral de
Lebesgue.Ms adelante,a esos conjuntos a los que se refera Borel,

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

Nueva forma de contar rectngulos


Como podemos observar,esta definicin de Borel es la definicin de
premedida,nombre que ms adelante asignara Lebesgue.Borel no prob la
existencia y unicidad de dicha definicin.Afirma que "el lema fundamental
demostrado [...] nos asegura que estas definiciones nunca sern
contradictorias entre s",y anot en el pie de pgina de ese mismo libro que
"He omitido toda demostracin ya que la redaccin me pareci tener que
ser larga y fastidiosa[...]".Por otra parte, Borel no hace absolutamente
ninguna referencia o insinuacin sobre una posible conexin entre su
concepto de medida y la teora de integracin.Aunque Borel no fue capaz
de probar dicho resultado,gracias a las aportaciones de Lebesgue el
resultado de Borel queda incluido en la construccin de la integral de
Lebesgue.Ms adelante,a esos conjuntos a los que se refera Borel,Lebesgue
los llam borelianos por deferencia a su amigo.

Lic. Eduardo A. Fernndez. Facultad


Anlisis
de Ciencias
IV.
Exactas11ydeTecnolgicas,
Agosto de 2016
U.N.C.
14 / 14 u

También podría gustarte