階段関数

デジタル大辞泉

かいだん‐かんすう〔‐クワンスウ〕【階段関数】

読み方：かいだんかんすう

階段状に値が変化する関数。区分的に一定の値をとる。x＜0では0、x＞0では1となるものは、ヘビサイドの階段関数（ヘビサイド関数）とよばれる。ステップ関数。

ウィキペディア

階段関数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/19 14:50 UTC 版)

階段関数

階段関数（かいだんかんすう、英: step functionまたは英: staircase function）とは、おおまかに言って、グラフが階段状になる実関数のことである。より正確には、区間上の指示関数が有限個あって、それらの線型結合で表される関数である。有限個のみの区分を持った、区分的に定数関数である関数とも表現できる。

定義

関数 f : R → R が階段関数であるとは、ある正整数 n が存在して、n 個の実数 α₁,..., α_n と n 個の区間 A₁,..., A_n 上の指示関数 χ₁,..., χ_n によって、

$f(x)=\sum _{i=1}^{n}\alpha _{i}\chi _{i}(x)$

ヘヴィサイドの階段関数

• 定数関数は自明な階段関数である。階段関数の定義において、n = 1, A₁ = R として得られる。
• ヘヴィサイドの階段関数は、しばしば応用に用いられる重要な階段関数である。n = 3, A₁ = (-∞ 0), A₂ = [0, 0], A₃ = (0, ∞) として得られる。

矩形関数

• 矩形関数は、R を5つの区間に分けて得られる階段関数である。

床関数

• 床関数や天井関数は、無限個の区間に分けて与えられるため、ここでの文脈においては階段関数ではない。

性質

階段関数のとる値は、有限個の可能性しかない。階段関数の定義において、区間 A_i たちを互いに素な R の分割にとっておけば、A_i の任意の元 x に対して f(x) = α_i となる。

階段関数

${\displaystyle f(x)=\sum _{i=1}^{n}\alpha _{i}\chi _{A_{i}}(x)}$

のルベーグ積分は、区間 A_i の長さ L (A_i) が全て有限である場合、

${\displaystyle \int _{\mathbb {R} }fdx=\sum _{i=1}^{n}\alpha _{i}L(A_{i})}$

で与えられる。

2つの階段関数の和や積もまた階段関数である。この演算により、階段関数全体の集合は R 上の代数を成す。

関連項目

• 単関数
• カントール関数