Вы находитесь на странице: 1из 14

Matemticas para el anlisis econmico II Problems set No.

Jorge Salgado

1.- Sea

un simplex unitario de

dimensiones, que se define como:

Dibuja este conjunto para y . Prueba que este conjunto es convexo y que tambin es un conjunto compacto.

Grfico No. 1

2 + 2 + 3

2 + 2

Pgina 3 () ()

El Grfico No. 1 representa al simplex unitario para parte ( ) y para ilustrado en la parte ( ).

ilustrado en la

Para demostrar que el simplex unitario es convexo, se parte de la definicin general de convexidad: Un conjunto de un conjunto es convexo es convexo si , , , +( para todo ) es es en S. Es decir

Que para el caso del simplex unitario se planteara como: de convexo si , para todo en . O de forma alternativa convexo , , +( ) :

Una vez est clara la definicin se analiza el caso de Con


2

2)

( + +

2)

, se tiene que:

2 2

Si

+( ( + +

) para
2) 2 2 2

+( +( + ( +
2)

) ) + + +(
2 2

+( )
2

) 2)
2 2 2)

+( +

)( )( )

( )+( +
2 2

Pgina

Por lo tanto, el conjunto ,( todo 2) ( 2 ) - en S.

de

es convexo si ,(

2)

2)

, para

de

es convexo (
2)

,( (

2)

( )

2)

, +(

, ) 2)

+(

Ahora se puede demostrar que hiperplano en dos conjuntos convexos, { }y {

de

es convexo dividiendo al

} con en

Para mostrar que con:

es convexo, se toman dos puntos arbitrarios , +( ) .


2

+(

De forma similar con

Por lo que si los dos conjunto de convexo.

son convexos

tambin es

Para demostrar que es un conjunto compacto es til saber que un conjunto convexo est cerrado bajo combinaciones convexas. Por lo que si en 2 ) es un conjunto convexo, con y sean + 2 +( , se tiene que: + Si
2 2

es cero(o

), se encuentra a la combinacin convexa:

, que da lugar a: +
2 2

Asimismo, es importante recordar la definicin de un conjunto acotado: Sea


.

es acotado

est contenido en un cubo cerrado.

Pgina

Adems, un conjunto est acotado si lo est inferior y superiormente: Sea


.

est acotado inferiormente est acotado superiormente

existe existe

tal que tal que

,que es el caso del simplex unitario, acotado superiormente por uno e inferiormente por 0. Por ltimo, se recuerda que un conjunto es cerrado si su complementario es abierto. En el caso del simplex unitario para no es difcil ver que su
complementario Sea radio , ( es abierto. , siempre se va poder encontrar una bola abierta con centro ) que est contenida en y

Ahora se elabora el ejercicio para

Con

3)

( +
2

3)

, se tiene que:

+ + Si ( + +(
3)

3 3

) para ( +( +( ) + + + +
2 2

2 2

)
2

+( )
2 2

) +

2 3 3

+( )
3 3)

) 3)
3

+(
2

+(
3

+
2

+
2

3)

+(

)( )( )

( )+( +
2

Pgina

Por lo tanto, el conjunto todo ,( 2) ( 2 ) - en S. de


3

de

es convexo si ,( (
3)

2)

2)

, para

es convexo
3)

,( ( +(

3)

, +(

) 3)

+(

Ahora se puede demostrar que hiperplano en dos conjuntos convexos, { }y {

de

es convexo dividiendo al

} con en

Para mostrar que con:

es convexo, se toman dos puntos arbitrarios , +( ) .


3

+(

De forma similar con

Por lo que si los dos conjunto de convexo.

son convexos

tambin es

Para demostrar que es un conjunto compacto es til saber que un conjunto convexo est cerrado bajo combinaciones convexas. Por lo que si de 2 es un conjunto convexo, con y sean + 2+ 3 , se tiene que: +
2

Si cualquiera de + 2 + 3 , se reduce a una 2 3 , es cero combinacin convexa de dos vectores, y como S en convexo lo contendr:
2 2

3 2

, entonces se puede expresar como una combinacin convexa de dos vectores: +


2

+(

3) (

2 2+ 3

3 2+ 3

Sea

es acotado

est contenido en un cubo cerrado.

Pgina

Asimismo, es importante recordar la definicin de un conjunto acotado:

Adems, el conjunto est acotado inferior y superiormente como en el caso de 2. Es decir acotado superiormente por uno e inferiormente por 0. Por ltimo, se recuerda que un conjunto es cerrado si su complementario es abierto. En el caso del simplex unitario para se puede demostrar de forma
similar. Sea radio , ( , siempre se va poder encontrar una bola abierta con centro ) que est contenida en y

conjunto complementario de S en

( ) un vector dado con la funcin ( ) Demuestre que la derivada de con respecto al vector
2.- Sea

( (

) . ) es b.a.

Por definicin sabemos que la gradiente es: ( ) Como se tiene: ( ) Entonces tenemos: ( ( ) ( )
2

( )

( )

(
2

( )

( ) ( )

( )

Pgina

3.- Examine la concavidad/convexidad de las siguientes funciones:

a)

+ Se obtienen las derivadas parciales, con respecto a cada una de las variables:

, y se construye la matriz Hessiana, de derivadas segundas:

| |

Se encuentra al determinante de la matriz:


( )( ) ( ,como
2 2

)(

2(

2(

Este caso corresponde a funciones 2

22

2)

del teorema 2.3.1. para

b)

Se obtienen las derivadas parciales, con respecto a cada una de las variables: +

Pgina

, y se construye la matriz Hessiana, de derivadas segundas:

+ +

+ +

Se encuentra al determinante de la matriz:

| |
2(

(
)

+
2( )

)(
+

(
2(

)(
2( )

,como
2

+
y

La funcin es estrictamente convexa, este caso corresponde a


22

2)

del teorema 2.3.1. para funciones

c)

( +

)2

Se puede encontrar la solucin de este problema reemplazo, las variables entre parntesis por , que conserva las propiedades geomtricas que nos interesan de la funcin original.
2

Claramente la funcin es convexa

No obstante, no es estrictamente convexa, porque es constante en cada curva de nivel de


2

+
2 2

+ 2)

. Se puede comprobar tomando dos puntos

)y

+
2

2)

Pgina

Ahora obtenemos una combinacin lineal de los dos puntos:


3( 3 3 3) 3( 3

(
3 3)

)+( +( +( )

)(

2 2 2

2)

)
2)

3)

4.- Prueba que (

2)

)2

)2 es cuasicncava.

La funcin anterior se representa en la siguiente grfica:

Grfico No. 2

Se puede partir determinando si la funcin anterior es cncava ya que por definicin toda funcin que cumple con concavaidad es cuasicncava(aun que no al revs). La funcin anterior tiene una forma ( )

( )+ )2

( )

( ) ( )

Pgina

( )

( ) ( 2)
2

)2

( 2)
2 2

Las dos funciones son cncavas, de acuerdo y se tiene que:


2

( )
2

( )

( )
2

( 2)
2 2

Por lo tanto, (

2)

)2

)2 es cncava.

Ahora se demuestra que la funcin ( ) definida en unconjunto convexo S en es cuasicncava si el conjunto: { ,es convexo para cualquier q. Demostracin: dos elementos cualquiera en , es decir ( ) ) Luego por concavidad de +( . Por lo tanto est en para todo , -. Sean e ( ) +( ( ) . ( ) }

) tambin

5.- Se dice que una funcin

es de un solo pico si existe un en tal que f es estrictamente creciente para y estrictamente decreciente para . a) Muestra que dicha funcin es estrictamente cuasicncava b) Supn que f es tambin cncava. Puede ser estrictamente cncava. Las funciones que cumplen con ests caractersticas son utilizadas con frecuencia en problemas de economa poltica, en aplicaciones de votante mediano, en distribuciones poblacionales etc..

Pgina

10

Grfico No. 3

a) Muestra que dicha funcin es estrictamente cuasicncava Sea una funcin de un solo pico, con como pico. Se quiere comprobar que dados los puntos , y . Si y se encuentra entre y , siendo diferente a ellos, es decir estrictamente entre ambos, * ( ) ( )+ entonces ( ) Para afirmar lo anterior se tienen dos casos de anlisis. El primero cuando , de donde se obtiene que , como f debe ser ( ) > ( ) , que cumple con ( ) creciente entre hasta , * ( ) ( )+, la condicin de estricta cuasiconcavidad. El segundo escenario cuando . En este caso se situar ms a la derecha que el caso anterior en la fase decreciente de . De acuerdo a las consideraciones iniciales . Como la funcin f est en su fase * ( ) ( )+ decreciente ( ) > ( ), que cumple con ( )

b) Supn que f es tambin cncava. Puede ser estrictamente cncava. Si la funcin es cncava, no puede ser estrictamente cncava. Un ejemplo ilustrativo es una funcin lineal que tenga su pico en , tambin tendr su fase decreciente y creciente, y no cumplir con concavidad estricta

Pgina

11

Grfico No. 4

6.- Supn que (

) satisface las dos siguientes ecuaciones:

( (

) )

2 2

+ +
2

Las condiciones suficientes para que este sistema pueda ser representado por ( ) ( ) , son que ambas sean dos ecuaciones en un punto ) cercano. Muestra que esa representacin es posible cuando ( ( ) y computa ( ) ( ) y ( ). Inicialmente se obtienen las derivadas parciales:

Las condiciones suficientes estn dadas por el determinante de la matriz Jacobiana, si no es igual a cero podr representarse:

Pgina

12

| (

)|

)(

| (

)|

| (

)|

Ahora se muestra que esa representacin es posible cuando ( ( ( | ( ( ). ) ) )| ( ) + + ) ( ) +

Se ha comprobado que la representacin es factible con

Finalmente se computa

)y

).

( (

( (

) ( ) (

)) ))

+ +

+ + +

, con (

) en las parciales anteriores se tiene:

Pgina

13

De forma similar:

( (
, con (

( (

) ( ) ( )

)) )) (

+ +

+ + ) en y +

contiene ms de un punto, tiene que ser un intervalo (pista muestra primero que si f es acotado, S tiene que ser un intervalo con una cota inferior y superior.
7.-Demuestra que si un subconjunto de

Sea

de

un conjunto convexo, acotado superior e inferiormente por:

Como es claro b>a, Ahora demostramos, que S tiene un intervalo abierto. Sea existir un . ( ) de tal forma que . Puesto que b es la cota superior, con . De forma similar con la cota superior, existir un tal que , - de tal forma que:

Entonces

. Si adems existe un

+(

Por lo tanto x es una combinacin convexa, puesto que S es convexo x pertenece

Pgina

14

a x.