Economía I
4 de abril de 2025
Definición (Relación binaria)
Una relación binaria \(R\) define una asociación entre elementos de \(X\). Es el conjunto de pares ordenados \((x,y)\) tales que \(x\) tiene dicha asociación con \(y\). Decimos \(x R y\) si \((x,y) \in R\).
Definición (Relación de preferencia)
Dado un conjunto \(X\) de alternativas mutuamente excluyentes, una relación de preferencia \(\succsim\) es una relación binaria en \(X\). Leemos \(x \succsim y\) como “\(x\) es al menos tan bueno como \(y\)”.
Definición (Preferencia estricta)
La relación de preferencia estricta \(\succ\) se define por \[ x \succ y \text{ si y solo si } x\succsim y \text{ pero no } y\succsim x \]
y se lee “\(x\) es preferido (o estrictamente preferido) a \(y\)”.
Definición (Indiferencia)
La relación de indiferencia \(\sim\) se define por \[ x \sim y \text{ si y solo si } x\succsim y \text{ y } y\succsim x \] y se lee “\(x\) es indiferente a \(y\)”.
Definición (Racionalidad)
La relación de preferencias \(\succsim\) es racional si posee las siguientes dos propiedades:
Proposición (Implicaciones de racionalidad)
Si \(\succsim\) es racional, entonces
Definición (Monotonicidad)
La relación de preferencia \(\succsim\) en \(X\) es monótona si \(x \in X\) e \(y \gg x\) implica \(y \succ x\).
Definición (Monotonicidad fuerte)
La relación de preferencia \(\succsim\) en \(X\) es fuertemente monótona si \(x \in X\) e \(y \geq x\) implica \(y \succ x\).
Definición (No saciedad local)
La relación de preferencia \(\succsim\) en \(X\) es localmente no saciada si para cada \(x \in X\) y todo \(\varepsilon > 0\), hay un \(y \in X\) tal que \(\lVert y-x \rVert \leq \varepsilon\) e \(y \succ x\).
Definición (Convexidad)
La relación de preferencia \(\succsim\) en \(X\) es convexa si para todo \(x, y, z \in X\) tales que \(y \succsim x\) y \(z \succsim x\), tenemos que \(\alpha y + (1 - \alpha) z \succsim x\) para cualquier \(\alpha \in (0,1)\).
Definición (Convexidad estricta)
La relación de preferencia \(\succsim\) en \(X\) es estrictamente convexa si para todo \(x, y, z \in X\) tales que \(y \succsim x\), \(z \succsim x\) e \(y \neq z\), tenemos \(\alpha y + (1 - \alpha) z \succ x\) para todo \(\alpha \in (0,1)\).
Definición (Función de utilidad)
Una función \(u:X \to \mathbb{R}\) es una función de utilidad asociada a la relación de preferencia \(\succsim\) si para todo \(x, y \in X\), \[ x \succsim y \text{ si y solo si } u(x) \geq u(y). \]
Proposición
Una relación de preferencias \(\succsim\) puede ser representada por una función de utilidad solo si es racional.