|
(1) 自从h∈ N∩ (h/2,h]和h>n-1nh,很好地定义了由uG=min给出的格林伯格多数阈值M∈ N∩ (h/2,h):m>n- 1nh.每p∈ P、 我们考虑整数u(P)=min{u∈ N∩ (h/2,h):Du(p)6=}.注意,由于(1)表示DuG(p)6=, 我们发现u(p)的定义很明确,且u≤ u(p)≤ uG.我们现在可以证明以下命题。提议1。每p∈ P、 M(P)=Du(P)(P)。证据我们首先证明了M(p) Du(p)(p)提供N\\Du(p)(p) N\\M(p)。让x∈N\\Du(p)(p)。然后就有了前科∈ N\\{x}这样|{i∈ H:y>pix}|≥ u(p)。选择nowx∈ Du(p)(p),对于每个y∈ N\\{x},|{i∈ H:y>pix}|≤ u(p)- 1.因此,maxy∈N\\{x}{i∈ H:y>pix}|≤ u(p)- 1<|{i∈ H:y>pix}|≤ 麦克西∈N\\{x}{i∈ H:y>pix}|,表示x/∈ M(p)。接下来我们证明Du(p)(p) M(p)。让x∈ Du(p)(p)。那么,我们有麦克西∈N\\{x}{i∈ H:y>pix}|≤ u(p)- 1.自相矛盾地假设存在x∈ 麦克斯∈N\\{x}{i∈ H:y>pix}|<maxy∈N\\{x}{i∈ H:y>pix}|。Fishburn(1977)提出了等效的定义m(p)=argmaxx∈n米尼∈N\\{x}{i∈ H:x>piy}|。然后x6=X,对于每个y∈ N\\{x},我们有{i∈ H:y>pix}|<u(p)- 1.如果u(p)-1>h/2,即x∈ Du(p)-1(p)= 发现了矛盾。假设tu(p)- 1.≤ h/2。那么u(p)=u=h+1≤h+2和自|{i∈ H:x>pix}|≤ u- 2.我们得到|{i∈ H:x>pix}|≥ H- u+ 2. 现在我们观察到,由于≤h+2,我们有h- u+ 2 ≥ u,对x∈ Du(p)。定义setsT={(h,n)∈ N: H≤ 3} ∪ {(h,n)∈ N: N≤ 3} ∪ {(4,4)、(5,4)、(7,4)、(5,5)},T={(h,n)∈ N: h=2}∪ {(h,n)∈ N: N≤ 3} ∪ {(4,4)},T={(h,n)∈ N: n=2}∪ {(3, 3)}.注意T(T)(T)。我们现在可以陈述本文的主要结果。它的证明是技术性的,将在第5节中陈述。
|