Prove the correctness of chaotic iteration
for any monotone
for any complete lattice
.
See Exercise 1.6 for the inductive proof to make.
Also answer the following question: ``Why would we want to do chaotic iteration? What's the point of this proof?''
Do Exercises 1.10 and 1.11.
As with all homeworks, please turn in your homework on paper at the beginning of lecture.