利润最大化假设意味着 $$ \ text {if} x_i \ succ x_i ^ * \ text {then} p_ix_i> p_i w_i $$
好的,所以这只是说如果代理是效用最大化/理性,那么如果他没有选择一个严格优于他的捆绑的捆绑,那么它一定不能负担得起。
为什么需要当地的非饱食假设呢?
$$ \ text {if} x_i \ succeq x_i ^ * \ text {then} p_ix_i \ geq p_i w_i $$
为什么这不仅仅是利润最大化假设的自动化?如果我们知道$ x_i \ succ x_i ^ * \暗示p_ix_i> p_i w_i $,显然不是很明显$ x_i = x_i ^ * \暗示p_ix_i = p_i w_i $所以$$ \ text {if} x_i \ succeq x_i ^ * \ text {then} p_ix_i \ geq p_i w_i $$