Lépcsős függvény

Lépcsős függvényeknek hívjuk az olyan valós függvényeket, amelyek felírhatóak intervallumok indikátorfüggvényének (karakterisztikus függvény) lineáris kombinációjaként.

Más szóval: a lépcsős függvények szakaszosan konstans függvények, melyek csak végesen sok részből állnak.

Példa a lépcsős függvényre (vörös vonal), itt a lépcsős függvény jobbra folytonos

Definíciók, következtetések

$f:ℝ\to ℝ$ függvényt lépcsős függvénynek hívják, ha felírható, mint:

$f(x)=\sum _{i=0}^n{\alpha }_i{\chi }_{A_i}(x)$ az összes $x$ valós számra

ahol $n\ge 0,$ ${\alpha }_i$ valós számok, $A_i$ intervallumok, és ${\chi }_A$ az $A$ indikátorfüggvénye:

${\chi }_A(x)=\{\begin{array}{cc}1& \text{ha }x\in A,\\ 0& \text{ha }x\notin A.\end{array}$

Ebben a definícióban az $A_i$ intervallumoknak a következő két tulajdonsága van:

1. Az i-edik és j-edik intervallumnak nincs közös része: $A_i\cap A_j=\mathrm{\varnothing }$, ha $i\ne j$
2. Az intervallumok uniója a valós számok halmaza, $\underset{i=0}{\overset{n}{\cup }}{A}_i=ℝ.$

Példák

Egységugrás-függvény

• A konstans függvény egy triviális példája a lépcsős függvénynek. Itt csak egy intervallum van:

$A_0=ℝ.$

• Az egységugrás (Heaviside-függvény) H(x) egy fontos lépcsős függvény .
• A négyszögfüggvény a következő egyszerű lépcsős függvény. A négyszögfüggvény egy normalizált „boxcar” függvény, mely a teljes valós számtartományban zérussal egyenlő, kivéve egy intervallumot, ahol konstans értéke van. Az elektronikában használják egységimpulzusként.

Négyszögfüggvény

Ellenpéldák

Az egészrész függvény nem lépcsős függvény, mivel végtelen sok intervallummal rendelkezik. Egyes szerzők ezt is lépcsős függvénynek hívják, azzal a megjegyzéssel, hogy végtelen sok intervallummal rendelkezik.

Tulajdonságok

• Két lépcsős függvény összege és szorzata is lépcsős függvény. Egy lépcsős függvény szorzata egy számmal lépcsős függvény.
• A lépcsős függvények értékei csak véges számok lehetnek. Ha az $A_i,$ $i=0,1,\dots ,n$ intervallumoknak a fent definiált lépcsős függvényben nincsenek közös részeik, és ${\alpha }_i$ valós számok, akkor $f(x)={\alpha }_i$ minden $x\in A_i$-re igaz.

• Egy $f=\sum _{i=0}^n{\alpha }_i{\chi }_{A_i}$ lépcsős függvény Lebesgue-integrálja, $\int fdx=\sum _{i=0}^n{\alpha }_i\ell (A_i),$, ahol $\ell (A)$ az $A$ intervallum hossza, és feltételezzük, hogy $A_i$ véges hosszúságú.

Valójában ez az egyenlőség lehet az első lépés egy Lebesgue-integrál létrehozására.

Irodalom

• Sablon:CitLib
• Sablon:CitLib
• Sablon:CitLib
• Sablon:CitLib