- 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 implicada
Ejemplos
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.