SLIDE 8 condition of collective negligence liability iff (∀(p1, . . . , pn+1) ∈ {0, 1}n+1)[(p1, . . . , pn+1) = (1, . . . , 1) → (∀i ∈ N)(pi = 1 → xi(p1, . . . , pn+1) = 0)]. In other words, a simple liability rule satisfies the condition of collective negligence liability iff its structure is such that whenever some individuals are negligent, no nonnegligent individual bears any loss in case of occurrence of accident. Lemma 1 If a simple liability rule satisfies condition CNL then for any arbitrary choice
- f C1, . . . , Cn+1, L and (c∗
1, . . . , c∗ n+1) ∈ M satisfying (A1) - (A5), (c∗ 1, . . . , c∗ n+1) is a Nash
equilibrium. Proof: Let simple liability rule f satisfy condition CNL. Take any C1, . . . , Cn+1, L and (c∗
1, . . . , c∗ n+1) ∈ M satisfying (A1) - (A5). Denote f(1, . . . , 1) by (x1 1, . . . , x1 n+1). Suppose
(c∗
1, . . . , c∗ n+1) is not a Nash equilibrium. Then, for some k ∈ N there is some c′ k ∈ Ck
which is a better strategy for individual k than c∗
k, given that every other individual j
uses c∗
j, j ∈ N, j = k. That is to say:
(∃k ∈ N)(∃c′
k ∈ Ck)[c′ k+xk[p1(c∗ 1), . . . , pk(c′ k), . . . , pn+1(c∗ n+1)]L(c∗ 1, . . . , c′ k, . . . , c∗ n+1) < c∗ k+
xk[p1(c∗
1), . . . , pk(c∗ k), . . . , pn+1(c∗ n+1)]L(c∗ 1, . . . , c∗ n+1)].
(1.1) First consider the case: c′
k < c∗ k.
If c′
k < c∗ k then: xk[p1(c∗ 1), . . . , pk(c′ k), . . . , pn+1(c∗ n+1)] = 1, by condition CNL. Therefore:
(1.1) → c′
k + L(c∗ 1, . . . , c′ k, . . . , c∗ n+1) < c∗ k + x1 kL(c∗ 1, . . . , c∗ k, . . . , c∗ n+1).
As 0 ≤ x1
k ≤ 1, we obtain:
c′
k + L(c∗ 1, . . . , c′ k, . . . , c∗ n+1) < c∗ k + L(c∗ 1, . . . , c∗ n+1).
Adding Σj∈N−{k}c∗
j to both sides of the above inequality one obtains:
[Σj∈N−{k}c∗
j]+c′ k+L(c∗ 1, . . . , c′ k, . . . , c∗ n+1) < [Σj∈Nc∗ j]+L(c∗ 1, . . . , c∗ n+1).
(1.2) Inequality (1.2) says that total social costs at (c∗
1, . . . , c′ k, . . . , c∗ n+1) are less than total social
costs at (c∗
1, . . . , c∗ n+1). But total social costs attain their minimum at (c∗ 1, . . . , c∗ n+1).
This contradiction establishes that if c′
k < c∗ k then (1.1) cannot hold.
(1.3) Next consider the case: c′
k > c∗ k.
If c′
k > c∗ k then:
(1.1) → c′
k + x1 kL(c∗ 1, . . . , c′ k, . . . , c∗ n+1) < c∗ k + x1 kL(c∗ 1, . . . , c∗ n+1),
as xk[p1(c∗
1), . . . , pk(c′ k), . . . , pn+1(c∗ n+1)] = x1 k.
Adding x1
kΣj∈N−{k}c∗ j to both sides of the above inequality one obtains:
(1 − x1
k)c′ k + x1 k[[Σj∈N−{k}c∗ j] + c′ k + L(c∗ 1, . . . , c′ k, . . . , c∗ n+1)] < (1 − x1 k)c∗ k + x1 k[[Σj∈Nc∗ j] +
L(c∗
1, . . . , c∗ n+1)].
7