|
我们现在需要显示(x,t+σ) (y,s+σ)对于所有σ<σ*, 或(x,t+σ*- σ) (y,s+σ*- σ) 对于所有σ>σ*使t+σ*- σ≥ 证明是矛盾的。假设存在σ>σ*使得(x,t+σ*- σ) 4(y,s+σ*- σ) 和t+σ*- σ≥ 首先考虑(x,t+σ*- σ)~ (y,s+σ*- σ) σ>σ*和t+σ*- σ≥ 那么,由于<严格满足DI,因此得出(x,t+σ*- σ+γ) (y,s+σ*- σ+γ)对于所有γ>0。设γ=σ>0。那么我们有(x,t+σ*) (y,s+σ*), 这是一个传统。其次,考虑(x,t+σ*- σ) (y,s+σ*- σ) σ>σ*andt+σ*- σ≥ 接着是连续性和不耐烦性,存在s>s,例如(x,t+σ*- σ)~ (y,s+σ*- σ) 。因此,由于<严格地显示DI,它意味着(x,t+σ*- σ+γ) (y,s+σ*- σ+γ)对于所有γ>0且σ>σ*和t+σ*- σ≥ 设γ=σ。那么我们有(x,t+σ*) (y,s+σ*). 由于s>s,因此(y,s+σ*) (y,s+σ*), 因此,(x,t+σ*) (y,s+σ*), 矛盾。如果我们假设<严格地证明II,则证明是类似的。虽然DU表示的假设对于证明的“如果”部分不是必需的,但对于我们的“仅当”部分的证明是必不可少的。引理11“仅当”结果的DUrepresentation的必要性仍然是一个悬而未决的问题。工作文件[6]证明,对于不同的贴现函数,严格增加的时间偏好率对应于严格II,而严格减少的时间偏好率对应于严格di。证明是沿着[6,引理11]的路线进行的。我们用这个结果来证明以下命题。提案12。
|