Está en la página 1de 28

1.

Medida Exterior
La integral de Lebesgue surge del desarrollo de la integral de Riemann, ante las dificultades
encontradas en las propiedades de paso al lmite para calcular la integral de una funcion definida
como lmite puntual de una sucesion de funciones.
La teora de Lebesgue se basa en un concepto mas general de lo que es la medida de un
Medida de
conjunto que la definicion eucldea de volumen, y lleva a la definicion de una familia de conjuntos
Lebesgue en Rn
medibles que incluye a los conjuntos medibles Jordan, y a la construccion de una integral que
puede aplicarse en contextos mas variados que la de Riemann (funciones no acotadas, dominios
de integracion no acotados, ...) y que tiene mejor comportamiento frente a las operaciones de
lmite de funciones. La integral de Lebesgue frente a la de Riemann supone un paso comparable
Medida Exterior
a la construccion de los numeros reales frente a los racionales.
Medida de Lebesgue
Vamos a empezar el estudio por la construccion de la medida de Lebesgue, y luego desarrol-
laremos su concepto de integral.

Definicion (Medida Exterior de Lebesgue).


JJ II Sea A un subconjunto cualquiera de Rn . Se define la medida exterior de Lebesgue de A como
J I
X
[

m (A) = inf{ v(Qn ), A Qn , Qn rectangulos cerrados}
n=1 n=1

donde el nfimo se toma entre todas las familias numerables de rectangulos que recubren a A
m es una funcion de conjunto, definida en P(Rn ), la familia de todos los subconjuntos de
Rn , y con valores en [0, ]. Quiza convenga recordar algunas de propiedades de las operaciones
en [0, ] que nos pueden surgir:

Si a es un numero real, a + = y a =
Medida de Si a es un numero real, a > 0, entonces a =
Lebesgue en Rn
Si a es un numero real, a < 0, entonces a =

En general 0 , son indeterminaciones


Medida Exterior
Medida de Lebesgue Observaciones:

1. La definicion puede hacerse indistintamente con rectangulos abiertos, cerrados, o semia-


biertos.
JJ II
J I En efecto, si llamamos

X
[
n(A) = inf{ v(Sn ), A Sn , Sn rectangulos abiertos}
n=1 n=1
es evidente que n(A) m (A), ya que si {Sn }n es una familia de rectangulos abiertos que
recubre a A, la familia de sus adherencias Qn = Sn es una familia de rectangulos cerrados
que tambien recubre a A y la serie de los volumenes de los Qn es la misma que la de los
Sn

Medida de
Lebesgue en Rn
X [
{ v(Sn ), A Sn , Sn rectangulos abiertos}
n=1 n=1
X
[
{ v(Qn ), A Qn , Qn rectangulos cerrados}
Medida Exterior n=1 n=1

Medida de Lebesgue
Recprocamente, sea  > 0, y sea {Qn }n una familia de rectangulos que recubre a A tal
X
que v(Qn ) m (A) + /2. Para cada n N podemos escoger un rectangulo abierto
n=1

JJ II n+1
[
Sn que contenga ea Qn , y tal que v(Sn ) v(Qn ) + /2 . Entonces A Sn , y la
J I n=1
serie

X X 
v(Sn ) v(Qn ) + m (A) + 
n=1 n=1
2n+1
Tomando nfimos entre todas las posibles familias de rectangulos abiertos que recubren a
A, tenemos
n(A) m (A) + 
y como esto es cierto para todo  > 0, tiene que ser n(A) m (A). Con la desigualdad
Medida de de antes se tiene el resultado.
Lebesgue en Rn 2. Los conjuntos A Rn con m (A) = 0 son los conjuntos de medida cero definidos en el
estudio de la integral de Riemann.
3. Ademas, la medida exterior generaliza el concepto de volumen de un rectangulo: si R es
Medida Exterior un rectangulo en Rn , m (R) = v(R)
Medida de Lebesgue En efecto, una desigualdad es trivial, ya que si R es un rectangulo, y definimos Q1 = R, y

X
Qn = si n 2, entonces R
S
n=1 nQ y m (R) v(Qn ) = v(R)
n=1
Por otro lado, sea {Qn }n una familia numerable de rectangulos abiertos que recubra a
JJ II R. Como R es compacto, esta familia tiene que admitir un subrecubrimiento finito, de
J I [k Xk X
modo que R Qnj . Pero entonces sabemos que v(R) v(Qnj ) v(Qn ).
j=1 j=1 n=1
Tomando nfimos entre todas las familias de rectangulos abiertos que recubren a R, se
tiene v(R) m (R)
El siguiente teorema recoge las propiedades mas importantes de la medida exterior de Lebesgue:

En la Teora de la Medida abstracta se pretende construir un procedimiento para medir conjuntos


y para integrar funciones definidas en los subconjuntos de un espacio . Dado un espacio , una
medida exterior es una funcion de conjunto definida en el conjunto de todos los subconjuntos
Medida de
de que sea no negativa y verifique las tres primeras propiedades del teorema que viene a
Lebesgue en Rn
continuacion. Las otras dos propiedades son propias de la medida de Lebesgue, y de algunas
otras medidas en espacios topologicos o espacios metricos, que dotan a la estructura formada
por el espacio y la medida de mejores propiedades de tipo topologico y geometrico, pero no son
imprescindibles para la coherencia de la teora y la construccion de una integral.
Medida Exterior
Medida de Lebesgue

JJ II
J I
Teorema (Propiedades de la medida exterior).

1. m() = 0
Medida de
Lebesgue en Rn 2. Si A B, m(A) m(B) (monotona)
3. Sea {An}n una familia numerable de conjuntos; entonces

Medida Exterior [ X

Medida de Lebesgue m( An ) m(An) (subaditividad)
n=1 n=1

4. m(A) = inf{m(G), G abierto, A G} (regularidad)


JJ II
J I 5. Para todo conjunto A y todo x Rn, m(x + A) = m(A)
(invariancia por traslaciones)
Demostracion: I (Saltar al final de la demostracion)
1) y 2) son triviales. Para demostrar 3), sea  > 0, y consideremos para cada An una familia
numerable de rectangulos {Qnm }mN tal que

[ X 
An Qnm y v(Qnm ) < m (An ) +
m=1 m=1
2n
Medida de
Lebesgue en Rn Entonces la familia de todos los rectangulos {Qnm , m N, n N} verifica

!
[ [ [
An Qnm
n=1 n=1 m=1
Medida Exterior
y se tiene
Medida de Lebesgue

! 

[ X X X
 X
m( An ) v(Qnm ) m (An ) + n =  + m (An )
n=1 n=1 m=1 n=1
2 n=1

JJ II Como esto es cierto para todo  > 0, se deduce que


J I

[
X

m( An ) m (An )
n=1 n=1
Para demostrar 4), una desigualdad es trivial, ya que si A G entonces por 2) la medida
exterior de A es menor que la de G, as que

m (A) inf{m (G), G abierto, A G}

Medida de Para la otra desigualdad, consideramos la definicion de la medida exterior con rectangulos
Lebesgue en Rn abiertos: dado  > 0, sea {Qn }n una familia de rectangulos abiertos tales que

[
X
A Qn y v(Qn ) m (A) + 
n=1 n=1
Medida Exterior

[
Medida de Lebesgue
Basta definir G = Qn , que es un abierto que contiene a A, y
n=1


X

m (G ) v(Qn ) m (A) + 
JJ II n=1

J I Entonces

inf{m (G), G abierto, A G} m (G ) m (A) + 

para cualquier  > 0 de donde se deduce que


inf{m (G), G abierto, A G} m (A)

Por ultimo, para demostrar 5) sean A Rn , y x Rn . Si {Qn }n es una familia de rectangulos


que recubre a A, entonces {x + Qn }n es una familia de rectangulos que recubre a x + A, de
Medida de modo que
Lebesgue en Rn

X
X
m (x + A) v(x + Qn ) = v(Qn )
n=1 n=1

Medida Exterior luego m (x + A) m (A)


Medida de Lebesgue Analogamente m (A) = m (x + x + A) m (x + A), por lo que se tiene la igualdad.
J(Volver al enunciado) 

Sin embargo la medida exterior falla en cambio en una propiedad fundamental respecto al
JJ II
volumen: no es cierto en general que si A y B son conjuntos disjuntos, se tenga m (A B) =
m (A)+m (B), aunque hay que reconocer que tampoco es facil encontrar ejemplos de conjuntos
J I
concretos para demostrar que la igualdad es falsa.
Si queremos conseguir que esta propiedad se verifique, debemos prescindir de algunos con-
juntos. Esto da lugar a la definicion de una familia de subconjuntos de Rn , para los cuales si
se verifica la propiedad, que llamaremos conjuntos medibles - Lebesgue. La definicion original
de esta familia de conjuntos no es la que damos aqu, que se debe a Caratheodory, pero esta
resulta mucho mas comoda que la definicion de Lebesgue. La comprobacion de que ahora s
se verifica esta propiedad la haremos despues, junto con el estudio del resto de las propiedades
fundamentales de esta clase de conjuntos.

Medida de
Lebesgue en Rn

Medida Exterior
Medida de Lebesgue

JJ II
J I
2. Medida de Lebesgue
Definicion (Conjuntos Medibles Lebesgue).
Un conjunto A se dice medible Lebesgue (en adelante conjunto medible) si verifica la siguiente
propiedad:
Para todo conjunto E se verifica la igualdad
Medida de
Lebesgue en Rn m (E) = m (E A) + m (E \ A)

E\A

EA
Medida Exterior A E
Medida de Lebesgue

Llamamos M a la familia de los conjuntos de Rn que son medibles.


Se llama medida de Lebesgue en Rn a la restriccion de la medida exterior m a M: m : M
[0, ], m(A) = m (A).
JJ II
J I
En el captulo siguiente veremos como se puede construir un conjunto no medible en la recta
real. Y una vez encontrado uno, es facil imaginar infinitos conjuntos distintos no medibles, en la
recta o en el cualquier espacio Rn
Algunas de las propiedades de los conjuntos medibles, y de sus medidas se recogen en el
siguiente teorema:
Teorema (Propiedades de los conjuntos medibles - Lebesgue).

1. Si A M, entonces Ac M
2. Si A y B son medibles, entonces A B M; y por tanto A \ B M
Medida de
Lebesgue en Rn 3. Si A y B son medibles, entonces A B M; y si ademas A B tiene medida finita,
m(A B) = m(A) + m(B) m(A B)
k
[ k
\
4. Si A1 , . . . , Ak es una familia finita de conjuntos medibles, entonces Ai M y Ai M
Medida Exterior i=1 i=1
Medida de Lebesgue
5. Si {Ai }i es una familia numerable de conjuntos medibles, disjuntos dos a dos, entonces

[ [ X
Ai M. Ademas m( Ai ) = m(Ai )
i=1 i=1 i=1


JJ II [ \
6. Si {Ai }i es una familia numerable de conjuntos medibles, entonces Ai M y Ai M
J I
i=1 i=1

7. Todo conjunto A con m (A) = 0 es medible


8. Si A M, para todo x Rn , x + A M y m(x + A) = m(A)
Demostracion: I (Saltar al final de la demostracion)
(1) Supongamos que A es medible, y sea E un conjunto cualquiera de Rn . Entonces E Ac =
E \ A y E \ Ac = E A, luego

m (E Ac ) + m (E \ Ac ) = m (E \ A) + m (E Ac ) = m (E)
Medida de as que Ac es medible tambien.
Lebesgue en Rn
(2) Sean ahora A y B medibles, y sea E un conjunto cualquiera de Rn . Por ser A medible

Medida Exterior m (E) = m (E A) + m (E \ A) (1)


Medida de Lebesgue
Y por ser ahora B medible,

m (E A) = m (E A B) + m (E A \ B) (2)

JJ II de donde sustituyendo en la ecuacion (1) queda


J I
m (E) = m (E A B) + m (E A \ B) + m (E \ A)
m (E A B) + m (E \ (A B))
E\A

A A
\B
E

AB
Medida de
Lebesgue en Rn
B

puesto que
Medida Exterior
Medida de Lebesgue (E A \ B) (E \ A) = E \ (A B)

as que A B es medible.
Y como A \ B = A (B c ), tambien es medible.

JJ II (3) Sean ahora A y B dos conjuntos medibles. Por (1), sus complementarios Ac y B c son
J I medibles; por (2), la interseccion de los complementarios Ac B c es medible; y otra vez por (1)
el complementario de este conjunto A B = (Ac B c )c es medible.
En cuanto a la formula para la medida de una union de conjuntos, utilizando que A es medible
con el conjunto E = A B tenemos
m(A B) = m((A B) A) + m((A B) \ A) = m(A) + m(B \ A)

y utilizando ahora que A es medible, con E = B

Medida de m(B) = m(B A) + m(B \ A)


Lebesgue en Rn
si m(A B) es finita, podemos despejar en la segunda ecuacion la medida de B \ A y sustituir
en la primera ecuacion, y queda

m(A B) = m(A) + m(B) m(A B)


Medida Exterior
Medida de Lebesgue
(4) Sea ahora A1 , . . . , Ak una familia finita de conjuntos medibles. Para cada N entre 2 y k
podemos poner
1
N N
!
[ [
JJ II Ai = A i AN
J I i=1 i=1

1
Razonando por induccion, para N = 1, A1 es medible. Si N i=1 Ai es medible, entonces
aplicando la propiedad (3), N i=1 Ai es tambien medible. Repitiendo el proceso hasta N = k 1
k
se obtiene que la union i=1 Ai es medible.
Y poniendo
k k
!c
\ [
Ai = Aci
i=1 i=1

y aplicando las propiedades (1) y (3), tambien la interseccion ki=1 Ai es medible.


Medida de
Lebesgue en Rn (5) Sea {An }n una familia numerable de conjuntos medibles disjuntos dos a dos (es decir,
An Am = si n 6= m). Y sea A = n=1 An
La idea es estudiar las uniones finitas de conjuntos An , e intentar ver lo que ocurre si n tiende
a
Medida Exterior Consideramos la familia de conjuntos Bk = kn=1 An . Por la propiedad (4), los conjuntos Bk
Medida de Lebesgue son medibles. Ademas verifican para cada k N
Bk = Bk1 Ak y Bk1 Ak =
luego
JJ II
Bk Ak = Ak y Bk \ Ak = Bk1
J I
Sea E un conjunto cualquiera de Rn .
Sabemos que
m (E) = m (E Bk ) + m (E \ Bk ) (3)
Utilizando ahora que Ak es medible

m (E Bk ) = m (E Bk Ak ) + m (E Bk \ Ak ) = m (E Ak ) + m (E Bk1 )

Repitiendo el proceso con Bk1

Medida de m(E Bk1 ) = m (E Ak1 ) + m (E Bk2 )


Lebesgue en Rn
Y sustituyendo arriba

m (E Bk ) = m (E Ak ) + m(E Ak1 ) + m (E Bk2 )


Medida Exterior
Y si lo repetimos k veces,
Medida de Lebesgue
k
X

m (E Bk ) = m (E An )
n=1

JJ II Sustituyendo en la ecuacion (3)


J I

k
X k
X

m (E) = m (E An ) + m (E \ Bk ) m (E Ak ) + m (E \ A)
n=1 n=1
puesto que Bk A, y entonces (E \ A) (E \ Bk )
Como esta desigualdad es cierta para todo k, tiene que ser cierta tambien para la serie, y
X

m (E) m (E An ) + m (E \ A)
n=1

!
Medida de m
[
E An + m (E \ A) =
Lebesgue en Rn n=1

!
[
= m + m (E \ A) =

E An
n=1
Medida Exterior = m (E A) + m (E \ A)

Medida de Lebesgue
Por tanto A es medible.
Ademas si en esta ultima cadena de desigualdades ponemos en particular E = A, tenemos


X
X
JJ II m(A) m(A An ) + m(A \ A) = m(An ) m(A)
n=1 n=1
J I
Luego efectivamente

!
[ X
m An = m(An )
n=1 n=1
(6) Sea ahora {An }n una familia numerable de conjuntos medibles (no necesariamente dis-
juntos dos a dos), y sea A = n=1 An
La idea para demostrar que A es medible es escribirlo como union de conjuntos disjuntos dos
a dos, para lo cual basta definir
B1 = A1 , B2 = A2 \ A1 , . . . , Bn = An \ (n1
i=1 Ai )
Medida de
Lebesgue en Rn
A2
B2 = A2 \ A1

Medida Exterior
B1 = A1
Medida de Lebesgue A1

A3
B3 = A3 \ (A1 A2 )
JJ II
J I Ahora los conjuntos Bn son conjuntos medibles disjuntos dos a dos, y su union es medible,
as que A =
n=1 Bn = n=1 An es medible
c c
Por otro lado aplicando la propiedad (1) el conjunto
n=1 An = (n=1 An ) tambien es medible.

(7) Sea A un conjunto de Rn de medida cero. Si E es un conjunto cualquiera de Rn , entonces


como E A A, m (E A) m (A) = 0, luego m (E A) = 0 tambien

y como E \ A E, m (E \ A) m (E)

Sumando las dos ecuaciones

Medida de m (E A) + m (E \ A) 0 + m (E)
Lebesgue en Rn
Por tanto A es medible.

(8)Para terminar, sea A medible, y sea x un punto fijo de Rn . Sabemos que la medida
exterior es invariante por traslaciones, luego para cualquier conjunto E Rn se tiene
Medida Exterior
Medida de Lebesgue

m (E) = m (x + E) = m ((x + E) A) + m ((x + E) \ A) =


= m (x + (E (x + A))) + m (x + (E \ (x + A))) =
= m (E (x + A)) + m (E \ (x + A))
JJ II
J I As que x + A es tambien medible. Y ya sabemos que m(A) = m (A) = m (x + A) =
m(x + A)
J(Volver al enunciado) 
Ademas se tiene el siguiente resultado para sucesiones monotonas de conjuntos:

Proposicion (Sucesiones monotonas).

9. Sea {An }n una sucesion no decreciente de conjuntos medibles (An An+1 para todo n).
Medida de Entonces
Lebesgue en Rn
[
m( An ) = lim m(An )
n
n=1

Medida Exterior 10. Sea {An }n una sucesion no creciente de conjuntos medibles (An An+1 para todo n), y
Medida de Lebesgue tal que existe algun n0 con m(An0 ) < . Entonces

\
m( An ) = lim m(An )
n
n=1
JJ II
J I Demostracion: I (Saltar al final de la demostracion)
Observemos primero que como consecuencia de las propiedades de los conjuntos medibles, si
A y B son dos conjuntos medibles, con B A, entonces m(A) = m(B) + m(A \ B), y si B
tiene medida finita, entonces m(A \ B) = m(A) m(B)
(9) Supongamos primero que existe k0 N tal que m(Ak0 ) = . Como para todo k k0
Ak0 Ak , entonces m(Ak ) =
S y por tanto limnSm(A n) =
Por otro lado, como Ak0 A
n=1 n , tambien m(
n=1 An ) = , y se tiene la igualdad.

Supongamos entonces al contrario que todos los conjuntos An tienen medida finita.
[
[
Medida de Poniendo A0 = , podemos escribir An = (An \ An1 )
Lebesgue en Rn n=1 n=1
Los conjuntos An \ An1 son medibles, disjuntos dos a dos, y m(An \ An1 ) = m(An )
m(An1 ). Aplicando la aditividad de la medida de Lebesgue,

[
[
X N
X
Medida Exterior m( An ) = m( (An \ An1 )) = m(An \ An1 ) = lim m(An \ An1 ) =
N
Medida de Lebesgue n=1 n=1 n=1 n=1

X
= lim m(An ) m(An1 ) = lim m(AN )
N N
n=1

JJ II
(10) Sea ahora {An }nN decreciente, y sea n0 tal que m(An0 ) < . Entonces para todo k
J I
\ \
mayor que n0 se tiene m(Ak ) m(An0 ) < . Ademas An = An por ser la sucesion
n=1 n=n0
decreciente. Podemos suponer entonces para mayor comodidad que n0 = 1.

\
Utilizando que An es medible, y que esta contenido en A1 , se tiene
n=1

\
\
m(A1 ) = m(A1 ( An )) + m(A1 \ An ) =
n=1 n=1

Medida de \ [
Lebesgue en Rn = m( An ) + m( (A1 \ An ))
n=1 n=1
Ahora la sucesion {A1 \ An }n es creciente, con lo que aplicando el apartado (1)


\
Medida Exterior
m(A1 ) = m( An ) + lim m(A1 \ An ) =
n
Medida de Lebesgue n=1
\
= m( An ) + lim (m(A1 ) m(An )) =
n
n=1
\
JJ II = m( An ) + m(A1 ) lim m(An )
n
J I n=1
luego

\
m( An ) = lim m(An )
n
n=1
J(Volver al enunciado) 

Observaciones:

La propiedad (10) no es cierta si para todo n N, m(An ) = . Como ejemplo, sen


An = [n, ) en R:
Medida de An+1 An para todo n, luego es una sucesion decreciente.
Lebesgue en Rn m(An ) = para todo n, luego limn m(An ) =
\
Y sin embargo An = luego su medida es 0.
n=1
Medida Exterior
Solo falta ver que los conjuntos An as definidos son medibles.
Medida de Lebesgue
Para ver esto ultimo, vamos a utilizar los resultados anteriores para conocer en lo posible
cuales son los conjuntos medibles de Rn (hasta el momento solo tenemos como ejemplo los
conjuntos que ya conocemos de medida cero).
Los resultados fundamentales son los dos siguientes:
JJ II
J I Proposicion.
Todo rectangulo R Rn es medible.
Demostracion:
Sean R un rectangulo y E un subconjunto cualquiera de Rn . Por la definicion de la medida
exterior de E, dado un  > 0, existe una familia numerable de rectangulos Qn tales que
8
[
X
E Qn y v(Qn ) < m (E) + 
n=1 n=1
Medida de
Lebesgue en Rn Entonces

m (E) m (E R) + m (E \ R)

!
!
[ [
m Qn R + m
 
Qn \ R
Medida Exterior n=1 n=1
Medida de Lebesgue
X
(m (Qn R) + m (Qn \ R))
n=1

El conjunto Qn R es un rectangulo, y por tanto su medida exterior coincide con su volumen,



JJ II m (Qn R) = v(Qn R)
J I
Qn
S1n

S2n
Qn R

Medida de R

Lebesgue en Rn
Y el conjunto Qn \R se puede descomponer como una union finita de rectangulos S1n , . . . , Sknn
que no se solapan, de modo que
kn
[ kn
X

Medida Exterior m (Qn \ R) = m ( Sin ) v(Sin )
Medida de Lebesgue i=1 i=1

Sustituyendo en la serie

m (E) m (E R) + m (E \ R)
JJ II

" kn
#
X X
J I v(Qn R) + v(Sin ) =
n=1 i=1
X
= v(Qn ) m (E) + 
n=1
Como esta desigualdad se verifica para cualquier  > 0, tiene que ser

m (E) = m (E R) + m (E \ R)
as que R es medible.
Medida de 
Lebesgue en Rn
Teorema.
Todo conjunto abierto de Rn puede ponerse como union numerable de rectangulos.
Demostracion:
Medida Exterior
Medida de Lebesgue Si G es un conjunto abierto de Rn , para cada punto x G existira una bola centrada en x
contenida en G. Podemos construir un rectangulo Qx que contenga a x y este contenido en la
bola, y tal que los vertices de Qx tengan todas sus coordenadas racionales.
Si llamamos Q a la familia de todos los rectangulos posibles en Rn que tiene todos sus vertices
con todas sus coordenadas racionales, Q es numerable, y podemos poner
JJ II
[
J I G = {Q Q, Q G}

que sera como mucho una union numerable de rectangulos. 

Como consecuencia de ambos teoremas:


Corolario 1.

1. Todo conjunto abierto de Rn es medible.


2. Todo conjunto cerrado es medible.
Medida de 3. Cualquier conjunto que se pueda obtener mediante una cantidad numerable de operaciones
Lebesgue en Rn conjuntistas de union, interseccion o diferencia de conjuntos abiertos o cerrados, es medible.
(Esta familia de conjuntos recibe el nombre de -algebra de Borel de Rn )
4. Todo conjunto medible Jordan es tambien medible Lebesgue. (El recproco no es cierto)
Medida Exterior Demostracion:
Medida de Lebesgue Los tres primeros apartados se deducen directamente de los dos ultimos teoremas, utilizando las
propiedades de los conjuntos medibles.
Para el ultimo apartado, si A es un conjunto medible Jordan, basta poner el conjunto A como
union de su interior y la parte de la frontera que este en A:
JJ II A = A0 (F r(A) A)
J I
Aqu A0 es medible por ser un conjunto abierto, y F r(A) A es un subconjunto de la frontera
de A. Como A es medible Jordan su frontera es un conjunto de medida cero, luego F r(A) A
tambien tiene medida cero, y por tanto es medible - Lebesgue. As que A es medible - Lebesgue.


También podría gustarte