|
性质F2–F4意味着F[S]是一个连续的、严格递增的凸函数,因此它有一个左逆。也就是说,存在一个函数g:R→ Γ使GSo F[S]=IdΓ,其中IdΓ:Γ→ Γ是Γ上的标识函数。同样,设∧={β∈ ΓF[S](β)≤ 0}. 有三种情况需要考虑。首先,如果∧=,然后,对于所有β,F[S](β)>0∈ Γ且无输出–在穿过点(y,x)的射线或线段上,在方向(gy,-gx)是可行的。否则∧6=和∧=Γ或∧ Γ. 接下来显示,如果集合∧和Γ相等,则集合Γ必须在上方有界,而如果∧是Γ的适当子集,则sup∧=GS(0)。引理3.2.2。让变换函数F满足性质F1–F4。如果∧=Γ,则SUP∧=mini∈I+{xi/gxi}。证据假设F[S](β)≤ 0表示所有β∈ Γ和gx=0。由此得出F(y+βgy,x)≤ 0表示所有β∈ [最大值∈J+{-yj/gyj},∞), 这意味着P(x)是无界的。然而,这与条件T5相矛盾。因此,每当∧=Γ时,gx6=0,因此sup∧=mini∈I+{xi/gxi}。引理3.2.3。让变换函数F满足性质F1–F4。如果∧6= 和∧ Γ,则sup∧=GS(0)。证据假设∧是Γ的非空真子集。然后存在β,β∈ Γ使得F[S](β)≤ 0和F[S](β)>0。Γ的连通性和F[S]的连续性意味着F[S]的范围是连通的,因此0∈ ran F[S];即存在β*∈ Γ使得F[S](β*) = 同样,假设sup∧6=GS(0)。因为GS(0)=GS(F[S](β*)) =[GSo F[S]](β*) = IdΓ(β*) = β*, 因此β*< sup∧。因此,存在¢β∈ ∧如∧β>β*, 这与F[S]严格递增相矛盾。因此,每当∧6= 和∧ Γ. 我们在定理3.2.4中总结了这些结果。定理3.2.4。让变换函数F满足性质F1–F4。
|