Supplement to Common Knowledge

Proof of Lemma 2.16

Lemma 2.16.
M(ω) is common knowledge for the agents of N at ω.

Since M is a coarsening of Hi for each iN, Ki(M(ω)). Hence, K1N(M(ω) ), and since by definition Ki(M(ω)) = { ω | Hi(ω) ⊆ M(ω)} = M(ω),

K1N(M(ω)) =  

Ki(M(ω)) = M(ω)

Applying the recursive definition of mutual knowledge, for any m ≥ 1,

KmN(M(ω)) =  

Ki(Km−1N(M(ω)) =  

Ki(M(ω)) = M(ω)

so, since ω ∈ M(ω), by definition we have ω ∈ K*N(M(ω)). □

Return to Common Knowledge

Copyright © 2013 by
Peter Vanderschraaf
Giacomo Sillari <>

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free