スコット連続
数学において、二つの半順序集合 "P" と "Q" が与えられたとき、それらの間の関数 がスコット連続（スコットれんぞく、）であるとは、それがすべての有向上限を保存する、すなわち、上限を "P" に持つすべての有向部分集合 "D" に対し、その像は "Q" に上限を持ち、sup f ("D") = f (sup "D") が成立することを言う。数学者デイナ・スコットの名に因む。

ある半順序集合 "P" の部分集合 "O" がスコット開（Scott-open）であるとは、それがで、有向接続によっては到達不可能（inaccessible by directed joins）、すなわち、"O" に上限を持つすべての有向集合 "D" が "O" との空でない共通部分を持つことを言う。

半順序集合 "P" のスコット開部分集合は、"P" 上の位相であるスコット位相（Scott topology）を構成する。半順序集合の間の関数がスコット連続であるための必要十分条件は、それがスコット位相に関して連続であることである。

スコット位相は、デイナ・スコットによって完備束に対して初めて定義され、そののち任意の半順序集合に対して定義された。

スコット連続関数は、ラムダ計算に関するモデルの研究や、コンピューター・プログラムの表示的意味論に現れる。
Q395
数学
Concept
Q474715
半順序集合
Concept
Q11348
関数
Concept
Q1513048
有向部分集合
Concept
Q860623
像
Concept
Q49823
デイナ・スコット
PER
None
スコット開
UNK
Q185837
共通部分
Concept
Q179899
位相
Concept
None
スコット位相
UNK
Scott topology
UNK
Q176977
連続
Concept
Q2362924
完備束
Concept
Q242028
ラムダ計算
Concept
Q1189746
表示的意味論
Concept
Q895815
スコット連続
Concept
Q895815
スコット連続
Concept
Q895815
スコット連続
Concept
named after
studies
named after
named after