摘要

Robert has established a global convergence theorem in {0,1}(n): If a map (F) over cap from {0,1}(n) to itself is contracting relative to the boolean vector distance d, then there exists a positive integer p <= n such that (F) over cap (p) is constant. In other words, (F) over cap has a unique fixed point xi such that for any x in {0,1}(n), we have (F) over cap (p)(x) = xi. The structure ({0, 1}, +, ., -, 0, 1) may be regarded as the two-element boolean algebra. In this paper, this result is extended to any map F from the product X of n finite boolean algebras to itself.

  • 出版日期2010-6