Complete Partial Order - Continuous Functions and Fixpoints

Continuous Functions and Fixpoints

A function f between two dcpos P and Q is called (Scott) continuous if it maps directed sets to directed sets while preserving their suprema:

  • is directed for every directed .
  • for every directed .

Note that every continuous function between dcpos is a monotone function. This notion of continuity is equivalent to the topological continuity induced by the Scott topology.

The set of all continuous functions between two dcpos P and Q is denoted . Equipped with the pointwise order, this is again a dcpo, and a cpo whenever Q is a cpo. Thus the complete partial orders with Scott continuous maps form a cartesian closed category.

Every order-preserving self-map f of a cpo (P, ⊥) has a least fixpoint. If f is continuous then this fixpoint is equal to the supremum of the iterates (⊥, f(⊥), f(f(⊥)), … fn(⊥), …) of ⊥ (see also the Kleene fixpoint theorem).

Read more about this topic:  Complete Partial Order

Famous quotes containing the words continuous and/or functions:

    There was a continuous movement now, from Zone Five to Zone Four. And from Zone Four to Zone Three, and from us, up the pass. There was a lightness, a freshness, and an enquiry and a remaking and an inspiration where there had been only stagnation. And closed frontiers. For this is how we all see it now.
    Doris Lessing (b. 1919)

    When Western people train the mind, the focus is generally on the left hemisphere of the cortex, which is the portion of the brain that is concerned with words and numbers. We enhance the logical, bounded, linear functions of the mind. In the East, exercises of this sort are for the purpose of getting in tune with the unconscious—to get rid of boundaries, not to create them.
    Edward T. Hall (b. 1914)