|
假设一个矛盾存在一个学生i和P′i,φi(P′i,P′)-i) Piφi(P′)。为了便于编写,设φi(P′i,P′)-i) =砂φi(P′)=s′。由于u是稳定的,|us |=qs。这与P′和φi(P′i,P′)的定义有关-i) =s,意味着存在一个学生j6=i,使得uj=s和φj(P′i,P′)-i) =. 此外,从μ的稳定性来看,我们还有j硅。这些结果与未分配φ的学生的公平性相矛盾,表明P′是φ的平衡。理论3。我们将使用以下方法。引理。设ψ为EAM,φ为个体理性机制。在任何市场(I,S,, q) 问题P,如果|ψ(P′)|<|φ(P′)|其中P′和P′分别是ψ和φ下的平衡,那么存在一个学生i,使得ψi(P′)Piφi(P′)Pi.当然。在一个市场(I,S,, q) 问题P,设|ψ(P′)|<|φ(P′)|其中P′和P′分别在ψ和φ下平衡。这意味着,对于某些学派而言,|ψs(P′)|<|φs(P′)|≤ qs。因此,让我∈ φs(P′)\\ψs(P′)。通过φ和P′在φ下平衡的个体合理性,我们得到了sPi, 式中φi(P′)=s。由于ψ的唯一平衡结果与SD机制(命题5)的(真相)结果一致,我们得到了ψ(P′)=SD(P)。因此,在SD(P)下,学校有n过剩容量。此外,从上面看,ψi(P′)=SDi(P)6=s。因此,由于SD的非浪费性,我必须与严格优于s的school匹配,因此ψi(P′)=SDi(P)Piφi(P′)Pi, 这就完成了证据。现在让我们(我,S,, q) 做一个市场,ψ做一个团队机制。假设存在一个矛盾,即在平衡状态下,一个单独合理的机制φ尺寸方面主导着ψ。这特别说明,对于某些问题P,|ψ(P′)|<|φ(P′)|对于ψ和φ下的每个平衡点P′和P′。在下面的内容中,我们将固定一对这样的P′,P′。
|