- Conjunto contorno
-
En matemática, un conjunto contorno generaliza y formaliza las nociones diarias de:
- Todo lo superior a algo
- Todo lo superior o equivalente a algo
- Todo lo inferior a algo
- Todo lo inferior o equivalente a algo
Contenido
Definiciones
Formalmente, dada una relación matemática de pares de elementos de un conjunto X :
y un elemento x de X:El conjunto contorno superior de x es el conjunto de todos los y que están relacionados con x:
El conjunto contorno inferior de x es el conjunto de todos los y tal que x está relacionado con ellos:
El conjunto contorno superior estricto de x es el conjunto de todos los y que están relacionados con x, sin contar el mismo x:
El conjunto contorno inferior estricto de x es el conjunto de todos los y tal que x está relacionado con ellos, sin contar aquellos que están relacionados de este modo con el mismo x:
La expresión formal de las dos últimas definiciones puede simplificarse si definimos la siguiente relación
donde a está relacionado con b pero b no está relacionado con a, en cuyo caso el conjunto contorno superior estricto de x es
y el conjunto contorno inferior estricto de x es
Conjunto contorno de una función
En el caso de una función f considerada en términos de la relación
, la referencia a los conjuntos contornos de la función es implícita a los conjuntos contornos de la relación implicadaEjemplos
Aritmética
Dados un número real x y la relación
, entonces:- El conjunto contorno superior de x es el conjunto de números que son mayores o iguales a x,
- El conjunto contorno superior estricto de x es el conjunto de números mayores que x,
- El conjunto contorno inferior de x es el conjunto de números menores o iguales a x, y
- El conjunto contorno inferior estricto de x es el conjunto de números menores que x.
Considerando la relación más general
Entonces
- El conjunto contorno superior de x es el conjunto de todos los y tales que
, - El conjunto contorno superior estricto de x es el conjunto de todos los y tales que f(y) > f(x),
- El conjunto contorno inferior de x es el conjunto de todos los y tales que
, y - El conjunto contorno inferior estricto de x es el conjunto de todos los y tales que f(x) > f(y).
Técnicamente hablando también es posible definir conjuntos contornos en términos de la relación
aunque tales definiciones tenderían a confundir la comprensión de ellos.
Para una función real f, la referencia a los conjuntos contornos de la función es implícita a los conjuntos contornos de la relación
Note que los argumentos de f podrían ser vectores, y que la notación usada podría ser
Economía
En economía, el conjunto X puede interpretarse como un conjunto de bienes y servicios o de posibles salidas, la relación
como preferencias estrictas, y la relación
como preferencias débiles. Así,- El conjunto contorno superior de x es el conjunto de todos los bienes, servicios o salidas por lo menos tan deseadas como x,
- El conjunto contorno supeior estricto de x es el conjunto de todos los bienes, servicios o salidas más deseadas que x,
- El conjunto contorno inferior de x es el conjunto de todos los bienes, servicios o salidas no más deseadas que x, y
- El conjunto contorno inferior estricto de x es el conjunto de todos los bienes, servicios o salidas menos deseadas que x.
Tales preferencias podrían representarse por una función utilidad u, en cuyo caso
- El conjunto contorno superior de x es el conjunto de todos los y tales que
, - El conjunto contorno superior estricto de x es el conjunto de todos los y tales que u(y) > u(x),
- El conjunto contorno inferior de x es el conjunto de todos los y tales que
, y - El conjunto contorno inferior estricto de x es el conjunto de todos los y tales que u(x) > u(y).
Complementariedad
Si
es un ordenación total de X, entonces el complemento del conjunto contorno superior es el conjunto contorno inferior estricto:y el complemento del conjunto contorno superior estricto es el conjunto contorno inferior:
Véase también
Referencias
- Andreu Mas-Colell, Michael D. Whinston, y Jerry R. Green; Microeconomic Theory (LCC HB172.M6247 1995), p43. ISBN 0-19-507340-1 (cloth) ISBN 0-19-510268-1 (paper)
Categorías:- Relaciones
- Microeconomía
- Conjuntos
Wikimedia foundation. 2010.







![(a\succcurlyeq b)~\Leftarrow~[f(a)\triangleright f(b)]](6/ea6e102dc189a375cd3c84f5b5e434b2.png)
![(a\succcurlyeq b)~\Leftarrow~[f(a)\ge f(b)]](d/59d7539e2775148fe3d8bb0fca2c70a6.png)
![(a\succcurlyeq b)~\Leftarrow~[f(a)\le f(b)]](6/9a654da54f286ef40349ba7278141d10.png)
![[(a_1 ,a_2 ,\ldots)\succcurlyeq(b_1 ,b_2 ,\ldots)]~\Leftarrow~[f(a_1 ,a_2 ,\ldots)\ge f(b_1 ,b_2 ,\ldots)]](6/0c669b3bf0b7a564662233f0fb16db21.png)



