Ejercicio 2a) (Capı́tulo 7)

Lina Ma Castillo Martı́n

1. Considere el caso de la relación definida sobre R+ , (x1 , y1 ) 4i (x2 , y2 ) si, y sólo si,
(x1 y1 )2 ≤ (x2 y2 )2 ¿Es esta relación un preorden? ¿Es completa? ¿Satisface la hipótesis
de continuidad?

Para resolverlo debemos tener en cuenta que un preorden completo es una relación
reflexiva, completa y transitiva. Veamos si esta relación lo es:

Completa: Dado que la relación está definida en R+ , la multiplicación de dos reales

positivos estará en este conjunto y ası́ mismo su cuadrado. Ahora bien: la relación
≤ (menor o igual) es una relación completa en el conjunto R+ , por tanto la relación
definida en principio es completa.

Reflexiva: De acuerdo a la definición, para todo (x1 , y1 ) ∈ R+ se tiene que (x1 , y1 ) 4i

(x1 , y1 ). Veamos si esto se satisface en la presente relación:
Tomando la definición de la relación, sabemos que (x1 , y1 ) 4i (x1 , y1 ) si, y sólo si,
(x1 y1 )2 ≤ (x1 y1 )2 , lo cual es cierto para cualquier (x1 , y1 ). Por tanto, la relación es
reflexiva.

Transitiva: Sean (x1 , y1 ) , (x2 , y2 ) y (x3 , y3 ) ∈ R+ , tales que (x1 , y1 ) 4i (x2 , y2 ) y

(x2 , y2 ) 4i (x3 , y3 ); para que la relación satisfaga esta propiedad debe tenerse que
(x1 , y1 ) 4i (x3 , y3 ). Veamos si la presente relación lo satisface:
Partimos de que (x1 , y1 ) 4i (x2 , y2 ) y (x2 , y2 ) 4i (x3 , y3 ), por la definición de la
relación tenemos que, (x1 y1 )2 ≤ (x2 y2 )2 y (x2 y2 )2 ≤ (x3 y3 )2 . Con un argumento si-
milar usado para mostrar completitud, puede mostrarse que dada la transitividad en
el conjunto R+ se tiene que (x1 y1 )2 ≤ (x3 y3 )2 , luego por definición de la relación
(x1 , y1 ) 4i (x3 , y3 ). Por tanto, la relación es transitiva.

Dado que hemos mostrado que la relación es completa, reflexiva y transitiva, entonces es un
preorden.

Mostremos ahora si satisface la hipótesis de continuidad. Recordemos que esta hipótesis afir-
ma que para todo x∗i ∈ Xi , los conjuntos definidos por {xi ∈ Xi | xi 4i x∗i } y {xi ∈ Xi | x∗i 4i xi }

1
son cerrados en R` .
Ası́ que, a la luz de la relación definida, los conjuntos son {(x1 , y1 ) ∈ R+ | (x1 , y1 ) 4i (x∗ , y ∗ )}
, y1 ) ∈ R+ | (x∗ , y ∗ ) 4i (x1 , y1 )}. De
y {(x1n o landefinición de la relación podemos reescribir
o esto
como (x1 , y1 ) ∈ R+ | (x1 y1 )2 ≤ (x∗ y ∗ )2 y (x1 , y1 ) ∈ R+ | (x∗ y ∗ )2 ≤ (x1 y1 )2 , que corres-
ponden al conjunto con rayas rojas y rayas azules, respectivamente; cabe resaltar que esos
conjuntos incluyen la curva mostrada en la gráfica por la lı́nea negra y como puede notarse
en la gráfica estos conjuntos son cerrados. Por tanto, la relación satisface la hipótesis de
continuidad.

2. Considere el caso de la relación definida sobre R+ ,

si, y sólo si, Mı́n {x1 , y1 } < Mı́n {x2 , y2 }

(x1 , y1 ) <i (x2 , y2 )
o Mı́n {x1 , y1 } = Mı́n {x2 , y2 } y y1 ≤ y2

¿Es esta relación un preorden? ¿Es completa? ¿Satisface la hipótesis de continuidad?

Para resolverlo debemos tener en cuenta que un preorden completo es una relación
reflexiva, completa y transitiva. Veamos si esta relación lo es:

Completa: Dado que la relación está definida en R+ , el mı́nimo entre dos reales positivos
estará en este conjunto. Ahora bien: dado que la definición de la relación consta de dos
partes, puede notarse que la relación < (menor) no es completa (no lo es en el caso
en que los números relacionados sean iguales), pero la relación ≤ (menor igual) sı́ es
completa en el conjunto R+ , por tanto la relación definida en principio es completa.

2
 Reflexiva: De acuerdo a la definición, para todo (x1 , y1 ) ∈ R+ se tiene que (x1 , y1 ) <i
(x1 , y1 ). Veamos si esto se satisface en la presente relación:
Tomando la definición de la relación, sabemos que (x1 , y1 ) <i (x1 , y1 ) si, y sólo si,
Mı́n {x1 , y1 } < Mı́n {x1 , y1 }, lo cual no se satisface. Pero siguiendo con la definición, se
tiene efectivamente que Mı́n {x1 , y1 } = Mı́n {x1 , y1 } y y1 ≤ y1 es cierto para cualquier
(x1 , y1 ). Por tanto, la relación es reflexiva.

Transitiva: Sean (x1 , y1 ) , (x2 , y2 ) y (x3 , y3 ) ∈ R+ , tales que (x1 , y1 ) <i (x2 , y2 ) y
(x2 , y2 ) <i (x3 , y3 ); para que la relación satisfaga esta propiedad debe tenerse que
(x1 , y1 ) <i (x3 , y3 ). Veamos si la presente relación lo satisface:
Partimos de que (x1 , y1 ) <i (x2 , y2 ) y (x2 , y2 ) <i (x3 , y3 ), por la definición de la re-
lación podemos tener que, Mı́n {x1 , y1 } < Mı́n {x2 , y2 } y Mı́n {x2 , y2 } < Mı́n {x3 , y3 },
o bien que, Mı́n {x1 , y1 } = Mı́n {x2 , y2 } y y1 ≤ y2 y Mı́n {x2 , y2 } = Mı́n {x3 , y3 } y
y2 ≤ y3 . Con un argumento similar usado para mostrar completitud, puede mostrarse
que dada la transitividad en el conjunto R+ se tiene que Mı́n {x1 , y1 } < Mı́n {x3 , y3 },
o bien, Mı́n {x1 , y1 } = Mı́n {x3 , y3 } y y1 ≤ y3 , luego por definición de la relación
(x1 , y1 ) <i (x3 , y3 ). Por tanto, la relación es transitiva.

Dado que hemos mostrado que la relación es completa, reflexiva y transitiva, entonces es un
preorden.

Mostremos ahora si satisface la hipótesis de continuidad. Ası́ que, a la luz de la relación

definida, los conjuntos son que debemos considerar son {(x1 , y1 ) ∈ R+ | (x1 , y1 ) < (x∗ , y ∗ )}
y {(x1 , y1 ) ∈ R+ | (x∗ , y ∗ ) < (x1 , y1 )}, que corresponden al conjunto con rayas azules y rayas
rojas, respectivamente; cabe resaltar que en este caso las preferencias crecen hacia abajo. El
primer conjunto no es cerrado, pues se observa que un trozo de él es una lı́nea punteada,
luego podemos tomar una sucesión de puntos dentro del conjunto que converga a este lı́mite
y éste no estará dentro del conjunto, en conclusión no es cerrado. Aunque el conjunto de la
derecha sı́ lo es, la relación no satisface la hipótesis de continuidad.

3
4