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

Definiciones

Formalmente, dada una relación matemática de pares de elementos de un conjunto $X$ :$\succcurlyeq \subseteq X^2$ 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$:

$\{y/y\succcurlyeq x\}$

El conjunto contorno inferior de $x$ es el conjunto de todos los $y$ tal que $x$ está relacionado con ellos:

$\{y/x\succcurlyeq y\}$

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$:

$\{y/(y\succcurlyeq x)\wedge \mathrm{\neg }(x\succcurlyeq y)\}$

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$:

$\{y/(x\succcurlyeq y)\wedge \mathrm{\neg }(y\succcurlyeq x)\}$

La expresión formal de las dos últimas definiciones puede simplificarse si definimos la siguiente relación

$\succ =\{(a,b)/(a\succcurlyeq b)\wedge \mathrm{\neg }(b\succcurlyeq a)\}$

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/y\succ x\}$

y el conjunto contorno inferior estricto de $x$ es

$\{y/x\succ y\}$

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

$(a\succcurlyeq b)\Leftarrow [f(a)▹f(b)]$

Ejemplos

Aritmética

Dados un número real $x$ y la relación $\ge$, 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

$(a\succcurlyeq b)\Leftarrow [f(a)\ge f(b)]$

Entonces

• El conjunto contorno superior de $x$ es el conjunto de todos los $y$ tales que $f(y)\ge f(x)$,
• 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 $f(x)\ge f(y)$, 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

$(a\succcurlyeq b)\Leftarrow [f(a)\le f(b)]$

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

$(a\succcurlyeq b)\Leftarrow [f(a)\ge f(b)]$

Note que los argumentos de f podrían ser vectores, y que la notación usada podría ser

$[(a_1,a_2,\dots )\succcurlyeq (b_1,b_2,\dots )]\Leftarrow [f(a_1,a_2,\dots )\ge f(b_1,b_2,\dots )]$

Economía

En economía, el conjunto $X$ puede interpretarse como un conjunto de bienes y servicios o de posibles salidas, la relación $\succ$ como preferencias estrictas, y la relación $\succcurlyeq$ 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 superior 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 $u(y)\ge u(x)$,
• 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 $u(x)\ge u(y)$, y
• El conjunto contorno inferior estricto de $x$ es el conjunto de todos los $y$ tales que $u(x)>u(y)$.

Complementariedad

Si $\succcurlyeq$ es un ordenación total de $X$, entonces el complemento del conjunto contorno superior es el conjunto contorno inferior estricto:

$X^2\mathrm{\setminus }\{y/y\succcurlyeq x\}=\{y/x\succ y\}$

$X^2\mathrm{\setminus }\{y/x\succ y\}=\{y/y\succcurlyeq x\}$

y el complemento del conjunto contorno superior estricto es el conjunto contorno inferior:

$X^2\mathrm{\setminus }\{y/y\succ x\}=\{y/x\succcurlyeq y\}$

$X^2\mathrm{\setminus }\{y/x\succcurlyeq y\}=\{y/y\succ x\}$

Véase también

• Epigrafo
• Hipografo

Referencias

• Andreu Mas-Colell, Michael D. Whinston, y Jerry R. Green; Microeconomic Theory (Plantilla:LCC), p43. ISBN 0-19-507340-1 (cloth) ISBN 0-19-510268-1 (paper)