You are here: irt.org | FOLDOC | continuous function

<*mathematics*> A function f : D -> E, where D and E
are cpos, is continuous if it is monotonic and

f (lub Z) = lub { f z | z in Z }for all directed sets Z in D. In other words, the image of the lub is the lub of any directed image.

All additive functions (functions which preserve all lubs) are continuous. A continuous function has a least fixed point if its domain has a least element, bottom (i.e. it is a cpo or a "pointed cpo" depending on your definition of a cpo). The least fixed point is

fix f = lub {f^n bottom | n = 0..infinity}(1994-11-30)

Nearby terms: Continuation Passing Style « continuation passing style « continuations « **continuous function** » Continuous System Modeling Program » Continuous System Simulation Language » continuous wave

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL