This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Stanford Encyclopedia of Philosophy
Supplement to Common Knowledge

Proof of Proposition 2.14

Proposition 2.14.
Let C*N be the greatest fixed point of fE. Then C*N(E) = K*N(E).


We have shown that K*N(E) is a fixed point of fE, so we only need to show that K*N(E) is the greatest fixed point. Let B be a fixed point of fB. We want to show that B subset KkN(E) for each value kequal to or greater than1. We will proceed by induction on k. By hypothesis,

B = fE(B) = K1N(EintersectB) subset K1N(E)
by monotonicity, so we have the k=1 case. Now suppose that for k=m, B subset KmN(E). Then by monotonicity,
(i) K1N(B) subset K1NK mN(E) = Km+1N(E)
We alo have:
(ii) B = K1N(EintersectB) subset K1N(B)
by monotonicity, so combining (i) and (ii) we have:
B subset K1N(B) subset Km+1N(E)
completing the induction. QED

Copyright © 2002 by
Peter Vanderschraaf

Return to Common Knowledge

First published: June 12, 2002
Content last modified: June 12, 2002