About: スコット連続

数学において、二つの半順序集合 P と Q が与えられたとき、それらの間の関数 f: P → Q がスコット連続（スコットれんぞく、英: Scott-continuous）であるとは、それがすべての有向上限を保存する、すなわち、上限を P に持つすべての有向部分集合 D に対し、その像は Q に上限を持ち、sup f (D) = f (sup D) が成立することを言う。数学者デイナ・スコットの名に因む。 ある半順序集合 P の部分集合 O がスコット開（Scott-open）であるとは、それがで、有向接続によっては到達不可能（inaccessible by directed joins）、すなわち、O に上限を持つすべての有向集合 D が O との空でない共通部分を持つことを言う。 半順序集合 P のスコット開部分集合は、P 上の位相であるスコット位相（Scott topology）を構成する。半順序集合の間の関数がスコット連続であるための必要十分条件は、それがスコット位相に関して連続であることである。 スコット位相は、デイナ・スコットによって完備束に対して初めて定義され、そののち任意の半順序集合に対して定義された。 スコット連続関数は、ラムダ計算に関するモデルの研究や、コンピューター・プログラムの表示的意味論に現れる。