実関数

デジタル大辞泉

じつ‐かんすう〔‐クワンスウ〕【実関数】

読み方：じつかんすう

実数を変数とし、値として実数を与える関数。⇔複素関数。

ウィキペディア

実数値関数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/03/30 17:43 UTC 版)

実数値関数（じっすうちかんすう、英: real-valued function）とは、値として実数を与える関数をいう。つまり、定義域のそれぞれの元に対し実数を割り当てる関数のことである。特に、定義域も実数の部分集合であるもの、すなわち実変数の実数値関数を実関数（じつかんすう、英: real function）という。

多くの重要な関数空間が、いくつかの実数値関数からなるものとして定義されている。

一般の実数値関数

X を任意の集合とする。F(X, R) を X から R への関数全体の集合で表すものとする。R は可換体であるので、F(X, R) はベクトル空間であり、実数上の結合多元環は、以下のように定義できる。

1. ベクトル和: f + g: x ↦ f(x) + g(x)
2. 加法単位元: 0: x ↦ 0
3. スカラーとの積: cf: x ↦ cf(x), c ∈ R
4. 各点ごとの積: fg: x ↦ f(x)g(x)

また、R は順序集合であることから、F(X, R) には以下のような半順序が入る。

$\ f\leq g\iff \forall x\colon f(x)\leq g(x).$ この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。