計算可能実関数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/10 21:03 UTC 版)
詳細は「計算可能実関数」を参照 関数 f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } が列計算可能(sequentially computable)とは、任意の計算可能実数の計算可能数列 { x i } i = 1 ∞ {\displaystyle \{x_{i}\}_{i=1}^{\infty }} に対し、列 { f ( x i ) } i = 1 ∞ {\displaystyle \{f(x_{i})\}_{i=1}^{\infty }} が再び計算可能となることである。
※この「計算可能実関数」の解説は、「計算可能解析学」の解説の一部です。
「計算可能実関数」を含む「計算可能解析学」の記事については、「計算可能解析学」の概要を参照ください。
- 計算可能実関数のページへのリンク