Académique Documents
Professionnel Documents
Culture Documents
g
i
n
a
1
Optimizacin con restricciones de desigualdad:
Condiciones de Kuhn-Tucker
Hasta ahora, hemos estudiado como maximizar o minimizar una funcin sujeta a restricciones
en forma de ecuaciones de igualdad. En esta seccin, nos ocuparemos de problemas de
programacin no lineal, con restricciones en forma de desigualdad.
Los programas con restricciones de desigualdad, tienen una historia mucho ms reciente que
los programas analizados anteriormente. Las caractersticas y mtodos de resolucin de estos,
se empiezan a dar a conocer en los aos cincuenta de este siglo, mientras que los programas
con restricciones de igualdad o sin restricciones conforman la optimizacin clsica, y han sido
utilizados desde el siglo XVIII.
Los mtodos tericos de resolucin de los programas no lineales, con restricciones de
desigualdad, son conocidos a partir de los trabajos de los matemticos norteamericanos Kuhn
y Tucker, publicados en 1951.
Este tipo de programas representan con ms fidelidad, las circunstancias en las que se
desenvuelve la actividad econmica, ya que normalmente se dispone de cantidades limitadas
de recursos - ms de una vez habremos ledo que la economa es la ciencia de la escasez -
pero sin la obligacin de emplearlas en su totalidad, si ello no resulta necesario.
As, este nuevo tipo de programas, nos posibilita obtener soluciones ptimas que no saturen
1
necesariamente todas las restricciones, pudiendo quedar recursos que no sea necesario utilizar
hasta su agotamiento.
Consideremos el problema sencillo de programacin no lineal:
max (x, y) su]cto o g(x, y) c
1
Un punto factible (x, y) satura o activa la restriccin g(x, y) c cuando se verifique que g(x, y) = c. En
caso contrario |g(x, y) < c] diremos que (x, y) no satura la restriccin.
Matem
Manuel
Lo prim
puntos
denomin
que un p
Regla p
1. A
d
2. I
3. I
4. E
Hallar t
condicio
Advirt
de la se
novedad
Condic
Esta con
As si z
Una for
2
Ver N
ticas Avan
l Snchez S
mero que h
(x, y) qu
nadas cond
punto - que
para resolve
Asociar un
definir la fu
Igualar a ce
Introducir l
Exigir que
todos los p
ones (2), (3
tase, que los
eccin ante
d es la cond
in 3
ndicin dice
z < u, se deb
rmulacin a
Nota p.s.
nzadas par
Snchez (U
aremos es
ue pudieran
diciones nec
cumple la
er mox (x,
n multiplica
uncin lagra
I
ero las deriv
I
I
a condicin
z
(x, y) satisf
puntos (x, y
), y (4).
s pasos 1 y
erior. Como
dicin 3.
e que z deb
be tener g(x
lternativa d
ra la Econo
UNED)
escribir un
n resolver
cesarias de
hiptesis d
, y) sujeta a
ador consta
angiana:
I (x, y) =
vadas parcia
I
1
(x, y) =
2
(x, y) =
n de holgur
z u , y
faga la restr
y) que, jun
2 son exac
o la condic
e ser no po
x, y) = c.
de esta condi
oma
n procedimi
el proble
Kuhn-Tuck
de cualifica
a g(x, y)
ante de Lag
(x, y) +z(
ales de I (x,
(x, y) +z
(x, y) +z
ra complem
y z = u si
riccin:
g(x, y) c
nto con los
ctamente los
cin 4 se ti
sitivo y, ad
icin es que
iento, que n
ema. Este
ker, que so
acin de las
c
grange z, a
(g(x, y) c
, y):
zg
1
(x, y) =
zg
2
(x, y) =
mentaria:
g(x, y) <
c
s valores a
s que se usa
iene que sa
ems que 2
e:
Curs
nos permita
procedimie
n condicion
s restriccio
a la restricc
c)
u
u
c
asociados d
aron en el m
atisfacer ob
2 = si g(x
so 2013/201
a obtener to
ento establ
nes necesar
ones
2
- sea
cin g(x, y
de z, satisf
mtodo lagr
bviamente,
x, y) < c.
14
odos los
lece las
rias para
ptimo.
y) c y
facen las
rangiano
la nica
P
g
i
n
a
2
Matemticas Avanzadas para la Economa Curso 2013/2014
Manuel Snchez Snchez (UNED)
P
g
i
n
a
S
z u, z |g(x, y) c] = u
Ntese que es posible que sean z = u y g(x, y) = c a la vez en (3).
Decimos que z u y g(x, y) c son desigualdades complementarias en el sentido de que
a lo ms se puede "dar holgura" a una, esto es, a lo ms una es estricta. Equivalentemente, al
menos una debe ser una igualdad.
Las ecuaciones (2) y (3) se conocen como las condiciones de Kuhn-Tucker. Ntese que ellas
son, esencialmente, condiciones necesarias para la solucin del problema (1).
Nota
Hiptesis de Cualificacin de las restricciones
Las condiciones de Kuhn-Tucker son necesarias solamente si se satisface una
disposicin especfica llamada hiptesis de cualificacin de la restriccin
(h.c.r.), que impone una cierta condicin sobre las funciones de restriccin,
con el propsito de descartar ciertas irregularidades en la frontera del conjunto
factible, que invalidaran la condiciones de Kuhn-Tucker como necesarias,
dndose la posibilidad de la existencia de puntos que siendo ptimos del
problema, no verifiquen dichas condiciones.
Esta disposicin h.c.r. es en general difcil de comprobar, por ello en la
prctica, se exige el cumplimiento de la condicin de regularidad, que es
una condicin suficiente para que se verifique la h.c.r.
Condicin de Regularidad de un Punto
Un punto (x, y) es regular si no satura ninguna de las restricciones, o bien, en
el caso de saturar alguna de ellas, los gradientes de las restricciones saturadas
en dicho punto son vectores linealmente independientes.
Supondremos que se verifica la denominada h.c.r, de modo que las
condiciones de Kuhn-Tucker sern condiciones necesarias, que deber
cumplir cualquier posible ptimo del conjunto factible.
Matemticas Avanzadas para la Economa Curso 2013/2014
Manuel Snchez Snchez (UNED)
P
g
i
n
a
4
Ejemplo
Resolver el problema:
max (x, y) = x
2
+y
2
+y 1 sujeta a g(x, y) =x
2
+y
2
1
Solucin
La funcin lagrangiana es:
I(x, y) = x
2
+y
2
+y 1 +z(x
2
+y
2
1) (i)
Las condiciones de primer orden son:
I
1
g
i
n
a
S
Tomemos ahora y = 1.
La condicin (iii) da z = 12 y se verifica tambin (iv).
Por tanto, (0,1) con z = 12 es otro candidato a ptimo.
Finalmente consideremos el caso en que x = u y x
2
+y
2
< 1.
Esto es: 1 < y < 1.
Entonces (iv) implica que z = u y (iii) da y = 12. Por tanto, (0, -1/2) con z = u es un
candidato a ptimo.
La conclusin es entonces que hay tres candidatos a ptimo. Ahora bien:
(u,1) = 1 (u, 1) = 1 (u, 12) = S4 (v)
Si sustituimos dichos puntos en la funcin objetivo, deducimos que en el punto x = u e
y = 1 se encuentra un mximo local del problema, mientras que en el punto (u, 12) hay
un mnimo local.
Mtodo de Resolucin del Problema General
Un problema de programacin no lineal general es el siguiente:
max (x
1
, , x
n
) su]cto o _
g
1
(x
1
, , x
n
) c
1
. .
g
m
(x
1
, , x
n
) c
m
Ahora ya es muy fcil dar una regla para resolver el problema general (1) de programacin no
lineal. Damos la regla en el siguiente recuadro
Matem
Manuel
Regla p
d
1. E
dond
2. I
3. I
4. E
Hallar t
Estos so
resuelve
El conj
conjunt
Ntese
desigua
igualdad
ticas Avan
l Snchez S
para resolv
donde x =
Escribir la f
de z
1
, , z
m
Igualar a ce
Imponer las
Exigir que x
todos los x,
on los cand
e.
junto de v
to admisibl
que minimi
aldad como
d g
]
(x
1
, ,
nzadas par
Snchez (U
er el proble
max (x
(x
1
, , x
n
)
funcin lagr
m
son multi
ero todas las
oI(x)
ox
=
s condicione
z
]
x satisfaga l
y los valore
didatos a p
vectores x =
le, o ms fre
izar (x
1
,
g
]
(x
1
, , x
x
n
) = c
]
es
ra la Econo
UNED)
ema genera
) su]cto o
.
rangiana: I
plicadores d
s derivadas
o(x)
ox
+
m
]=
es de holgu
]
u, y
las restricci
g
]
(x)
es asociado
timo, y, si e
= (x
1
, , x
n
ecuentemen
, x
n
) es eq
x
n
) c
]
se
s equivalent
oma
al de progr
o g
]
(x)
I(x) = (x
de Lagrang
parciales de
z
]
og
]
(x)
ox
m
=1
ura complem
z
]
= u s
iones:
c
]
(] =
os de z
1
, ,
el problema
n
) que ver
nte, el conju
quivalente a
e puede esc
te a las dos
ramacin n
c
]
(] =
x) + z
]
m
]=1
e asociadas
e primer ord
)
= u (i =
mentaria:
si g
]
(x) <
1, , m)
z
m
que sati
a tiene solu
rifican toda
unto factibl
a maximiza
cribir como
desigualdad
Curs
o lineal
= 1, , m)
]
(g
]
(x) c
con las m r
den de I(x)
= 1, , n)
c
]
isfagan toda
ucin, al me
as las rest
le.
r (x
1
,
g
]
(x
1
,
des g
]
(x
1
,
so 2013/201
c
]
)
restriccione
):
as esas cond
enos uno de
tricciones s
, x
n
). Tamb
, x
n
) c
, x
n
) c
]
14
es.
diciones.
e ellos lo
se llama
bin una
c
]
, y una
y
P
g
i
n
a
6
Matem
Manuel
g
]
(x
1
restring
Como e
para la
condicio
Cond
Las con
ya que
debe ma
En este
definitiv
satisface
En la p
factible
Estos pr
problem
Concret
condicio
Condic
Conside
satisface
diferenc
(
m
ticas Avan
l Snchez S
, , x
n
)
ida se pued
en la secci
solucin de
ones suficie
diciones
ndiciones su
si un punto
aximizar la
e sentido,
vo, aunque
er la condic
prctica ap
S es conve
rogramas s
ma de optim
tamente en
ones necesa
iones Sufic
eremos el p
e las condic
ciables en S
Si el conju
(convexa) e
Si f es estr
mximo o m
nzadas par
Snchez (U
c
]
. De e
den expresar
n anterior,
el problema
entes:
s Suficie
uficientes co
o x
satisfa
funcin obj
las condic
e al ser s
cin suficien
parecen con
exo y la fun
e denomina
mizacin.
un program
arias de Kuh
cientes de
problema (
ciones de K
S, entonces:
unto factibl
en S, el punt
rictamente c
mnimo glob
ra la Econo
UNED)
esta manera
r en la form
las condici
a (1), pero
entes de
onllevan dis
ace una con
jetivo.
iones sufic
lo suficien
nte.
n frecuencia
cin objetiv
an convexo
ma convexo
hn-Tucker s
ptimo Glo
1), y supon
Khun-Tucke
le S es con
to x
es m
cncava o e
bal estricto.
oma
a la mayo
ma (1).
iones de Ku
no son suf
e Kuhn
stintas impl
ndicin sufi
cientes nos
nte, una so
a programas
vo es cncav
os y simplif
o, el ptim
son tambin
obal
ngamos que
er (2), (3) y
nvexo y la
mximo (mn
estrictamen
.
oria de los
uhn-Tucker
ficientes. El
n-Tucke
licaciones q
iciente para
s proporcio
olucin gen
s de optimi
va o convex
fican consid
mo local es
n suficientes
e el punto
(4), siendo
a funcin f
nimo) globa
te convexa
Curs
s problema
son esencia
l siguiente
er
que las cond
a mximos,
nan un tip
nuinamente
zacin en l
xa en S.
derablement
tambin gl
s.
x
es un
las funcion
f es diferen
l.
, entonces,
so 2013/201
as de optim
almente ne
teorema no
diciones ne
entonces e
po de prue
ptima pu
los que el c
te la resolu
lobal y ade
punto regu
nes de restr
nciable y
el punto x
14
mizacin
cesarias
os ofrece
cesarias,
se punto
eba ms
uede no
conjunto
ucin del
ems las
ular, que
iccin g
i
cncava
es un
P
g
i
n
a
7
Matemticas Avanzadas para la Economa Curso 2013/2014
Manuel Snchez Snchez (UNED)
P
g
i
n
a
8
Ejemplo
Un individuo consume dos bienes en cantidades x e y, y deriva utilidad segn la funcin
u(x, y) = lnx +lny. Los precios de los dos bienes son p = 1u y q = S, respectivamente, y
el ingreso del individuo es m = SSu.
Supongamos que consumir una unidad del primer bien toma 0,1 horas, mientras que una del
segundo se consume en 0,2 horas. El individuo dispone en total de 8 horas, como mximo,
para dedicar a su consumo de los dos bienes. Cules son los niveles de consumo ptimos de
esta persona?
Solucin.
El problema es:
max u(x, y) = lnx +lny su]cto o _
1ux +Sy SSu
u,1x +u,2y 8
La funcin lagrangiana es:
I(x, y) = lnx +lny +z
1
(1ux +Sy SSu) +z
2
(u,1x +u,2y 8)
luego las condiciones necesarias para que (x
, y
=
1
x
+1uz
1
+u,1z
2
= u (i)
I
2
=
1
y
+Sz
1
+u,2z
2
= u (ii)
z
1
u, y z
1
= u si 1ux
+Sy
g
i
n
a
9
z
2
u, y z
2
= u si u,1x
+u,2y
< 8 (iv)
Para cada una de las dos restricciones tenemos bien igualdad (si la restriccin esta activa) o
desigualdad (si la restriccin esta inactiva). As, hay cuatro casos diferentes:
I Ambas restricciones estn activas.
En este caso:
1ux
+Sy
= SSu (v)
y
u,1x
+u,2y
= 8 (vi)
La solucin de (v) y (vi) es (x
, y
+u,2y
< 8.
De (iv) sabemos que z
2
= u, mientras (i) y (ii) implican que y
= 2x. Reemplazando
en (v) , obtenemos que x
= 2x
= SS.
Pero esto implica que u,1x
+u,2y
g
i
n
a
1
u
III La segunda restriccin esta activa, la primera no.
Aqu, (vi) se cumple pero: 1ux
+Sy
< SSu.
De (iii) tenemos que z
1
= u, mientras que (i) y (ii) nos dicen que u,1x
1
= u,2y
.
Reemplazando en (vi), obtenemos que y
= 2u y, por tanto x
= 4u.
Pero esto implica que 1ux
+Sy
g
i
n
a
1
1
Resolucin Grfica de Problemas de Optimizacin
Restringida
Cuando el programa de optimizacin est definido sobre el plano, es decir, la funcin objetivo
es de dos variables, el estudio grfico del problema puede ser en muchos casos un mtodo
til para su resolucin, evitando as, las ecuaciones de Kuhn-Tucker.
Para resolver grficamente un problema de optimizacin, seguiremos los siguientes pasos:
Se dibujan las curvas de nivel de la funcin objetivo.
Observando el crecimiento de las curvas de nivel y el conjunto factible, es posible
determinar grficamente dnde se encuentran los ptimos del problema.
Si el ptimo es un vrtice del conjunto factible punto de interseccin de las
restricciones -, su clculo se realiza fcilmente a partir de las restricciones.
Si el ptimo se encuentra en el interior del conjunto factible, el problema es
equivalente a un problema de optimizacin sin restricciones.
Si el ptimo es punto de tangencia entre una curva de nivel de la funcin (x, y) y una
de las curvas g(x, y) = c de las restricciones, el problema es equivalente a un
problema de optimizacin con restricciones de igualdad.
.
Ejemplo
Un proceso productivo transforma dos inputs en cantidades x e y en un output en cantidades
Q
1
siguiendo la relacin:
1
= Sx +y
La utilidad de este proceso ha sido analizada, obtenindose en funcin de los inputs como:
u(x, y) = y x
2
Si por restricciones del mercado sabemos que nunca se deben obtener ms de 4 unidades de
1
. Cules ser las cantidades de inputs que maximizan la utilidad del proceso?
Solucin:
Al ser el conjunto factible S = {(x, y): Sx +y 4, x u, y u] convexo y la funcin
objetivo u(x, y) = y x
2
cncava, ya que su matriz Hessiana es semidefinida negativa,
podemos aplicar la condicin suficiente de globalidad de modo que si existe un mximo ha
de ser global.
Matem
Manuel
Por otra
objetivo
globales
De la re
sujeta a
(0,4). O
nivel de
Cond
Es frecu
sean no
incorpo
3
Ver A
ticas Avan
l Snchez S
a parte, al s
o continua
s.
epresentaci
a la restricci
Observemos
e la funcin
diciones
uente que l
o negativas
rar esas res
Apndice.
nzadas par
Snchez (U
ser el conj
a, el teorem
n grfica o
in plantead
que es el p
de utilidad
de no n
las variable
por su pr
stricciones a
ra la Econo
UNED)
junto factib
ma de los v
observamos
da en el enu
punto del c
.
negativid
es que apare
ropia natura
a la formula
oma
ble compac
valores extr
que la curv
unciado del
conjunto fac
dad para
ecen en los
aleza. A co
acin del pr
cto cerrra
remos
3
, ase
va de nivel
l problema,
ctible que p
a las var
s problemas
ontinuacin
roblema de
Curs
ado y acota
egura la exi
mxima qu
se encuentr
pertenece a
riables.
s econmic
n veremos c
optimizaci
so 2013/201
ado -, y la
xistencia de
ue se puede
ran en el pu
a la curva d
cos de optim
como no e
n; por eje
14
funcin
ptimos
alcanzar
unto A =
de mayor
mizacin
es difcil
emplo, la
P
g
i
n
a
1
2
Matemticas Avanzadas para la Economa Curso 2013/2014
Manuel Snchez Snchez (UNED)
P
g
i
n
a
1
S
restriccin x
1
u se pueden representar por g
m+1
(x
1
, , x
n
) = x
1
u, y se introduce un
multiplicador de Lagrange adicional para ella. Sin embargo, para no tener que manejar
demasiados multiplicadores de Lagrange, se suelen formular las condiciones necesarias de
solucin de los problemas de programacin no lineal con restricciones de no negatividad de
las variables de una forma ligeramente distinta.
Consideremos primero el problema: max (x, y) su]cto o g(x, y) c, x u, y u
Introducimos las funciones: g
1
(x, y) = x y g
2
(x, y) = y
Las restricciones del problema pasan a ser: g(x, y) c, g
1
(x, y) u y g
2
(x, y) u.
A continuacin tomamos la funcin lagrangiana:
I(x, y) = (x, y) +z(g(x, y) c) +p
1
(x) +p
2
(y)
Las condiciones de Khun-Tucker son:
L
x
=
1
(x, y) +zg
1
(x, y) p
1
= u (i)
L
=
2
(x, y) +zg
2
(x, y) p
2
= u (ii)
z u (= u si g(x, y) < c) (iii)
p
1
u (= u si x > u) (iv)
p
2
u (= u si y > u) (v)
De (i) obtenemos:
1
(x, y) +zg
1
(x, y) = p
1
.
De (iv) obtenemos que: p
1
u y p
1
= u si x > u.
Asi (i) y (iv) equivalen conjuntamente a:
(x, y) +zg
1
(x, y) u, y
1
(x, y) +zg
1
g
i
n
a
1
4
(x, y) +zg
2
(x, y) u, y
2
(x, y) +zg
2
g
i
n
a
1
S
Solucin
La funcin lagrangiana asociada es:
I(x) =
2
S
x
1
2
x
2
+
1
12
y +z
1
(x S) +z
2
(x +y 1)
Las condiciones necesarias para que (x
, y
=
2
3
x
+z
1
z
2
u y I
1
= u si x
> u (i)
I
2
=
1
12
+z
2
u, y I
2
= u si y
> u (ii)
z
1
u, y z
1
= u si x
< S (iii)
z
2
u, y z
2
= u si x
+y
< 1 (iv)
De la condicin (ii) se sigue que z
2
< u, lo cual implica, por (iv), que x
+y
= 1.
Como x
= x
y z
2
= 112 implicara, por (i),
que z
1
> u, lo cual es imposible.
Debe ser cierto, entonces que z
1
= u, en cuyo caso (i) nos dice que:
x
2
3
+z
1
z
2
=
2
3
+
1
12
> u
De (i) se sigue entonces que
2
3
x
+
1
12
= u x
= S4
Esto a su vez implica que: y
= 1 +x
= 1 +
3
4
= 74 y
= 74
Concluimos entonces que (x
, y
g
i
n
a
1
6
Matem
Manuel
En muc
desigua
menor o
Por ejem
(x,y) qu
es cerra
Este con
Su front
de las d
Por otra
En gene
Si g(x,
son cerr
ticas Avan
l Snchez S
chos de los
aldades. Los
o igual.
mplo, si p, q
ue verifican
ado.
njunto es un
tera son los
desigualdade
a parte, el co
eral:
y)es una fu
{(x, y)
rados.
nzadas par
Snchez (U
problemas
s puntos fr
q y m son p
las desigual
p
n tringulo,
s tres lados
es de (i) sea
onjunto que
uncin cont
): g(x, y)
ra la Econo
UNED)
de optimiz
ontera pert
parmetros
ldades:
px +qy
como se mu
del tringul
a una iguald
e se obtiene
nua y c es u
c], {(x,
oma
zacin, los
tenecen al c
positivos, e
m, x
muestra en la
lo. Cada un
dad.
sustituyend
un numero
, y): g(x, y)
dominios e
conjunto al
el conjunto
, y
a siguiente f
no de los tre
do por <
real, los tre
) c], {(x
Curs
estn defini
ll donde ap
(presupuest
(i)
figura (II).
es lados cor
y por >
s conjuntos
x, y): g(x, y
so 2013/201
idos por un
parezcan si
stario) de lo
rresponde a
es abierto.
s:
y) = c]
14
na o ms
ignos de
os puntos
que una
.
P
g
i
n
a
1
7
Matem
Manuel
Si sustit
Conjun
Un conj
de las f
verifica
El conju
Conjun
Un conj
Topolog
Los con
Recorde
como o
Una n-b
(x
1
, , x
Si sustit
plana po
conjunt
4
Un en
ticas Avan
l Snchez S
tuimos po
nto acotado
junto se llam
figuras (I)
an x 1 e y
unto es cerr
nto Compac
junto cerra
gia en
n
nceptos top
emos que s
o b =
bola con c
x
n
) tales qu
tuimos la p
or "n-bola"
to abierto,
ntorno N de
nzadas par
Snchez (U
or >, o po
o
ma acotado
y (II) son
y u es cer
rado porque
cto
do y acotad
polgicos qu
e define la
(o
1
b
1
)
2
centro o =
ue o b
palabra "crc
, y entorno
punto fron
e un punto a
ra la Econo
UNED)
or <, los co
o si se puede
acotados. P
rrado pero
contiene a
do se llama
ue acabaos
distancia e
2
++(o
n
(o
1
, , o
n
)
< r.
culo" y conj
N
4
, siguen
ntera, conju
a es un conj
oma
onjuntos cor
e encontrar
Por el contr
no acotado
todos sus p
compacto.
de introdu
entre dos ve
n
b
n
)
2
y radio r
njunto S que
n valiendo e
unto cerrad
junto que co
rrespondien
un crculo q
rario, el con
o
puntos fronte
.
ucir se gene
ectores a =
es el conju
e usamos en
en
n
las d
do y conjun
ontiene una
Curs
ntes son abie
que lo conte
njunto de to
era
eralizan mu
(o
1
, , o
n
)
unto de tod
n las definic
definiciones
nto compac
n-bola con
so 2013/201
ertos.
enga. Los c
odos los (x
uy fcilment
) y h = (b
1
dos los pun
ciones de to
de punto i
cto.
n centro a.
14
onjuntos
x, y) que
te a
n
.
1
, , b
n
)
ntos x =
opologa
interior,
P
g
i
n
a
1
8
Matemticas Avanzadas para la Economa Curso 2013/2014
Manuel Snchez Snchez (UNED)
P
g
i
n
a
1
9
Teorema de los Valores Extremos:
Este es un teorema de existencia puro, ya que nos da condiciones suficientes para asegurar la
existencia de puntos ptimos, pero no nos dice como hallarlos. Para encontrarlos
Teorema
Si f es una funcin continua sobre un conjunto compacto (cerrado y acotado) S de
n
,
entonces existe al menos un mximo c = (c
1
, , c
n
) y un mnimo d = (J
1
, , J
n
) en S; esto
es, existen c y d en S tales que
(d) (x) (c) para todo x de S