Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  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 


continuous function

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)


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017