Porrasfunktio

Esimerkki porrasfunktion kuvaajasta

Porrasfunktio on matematiikassa funktio, joka voidaan koostaa peräkkäisillä suljetuilla, puoliavoimilla tai avoimilla väleillä määritellyistä vakiofunktioista. Toisin sanoen porrasfunktio voidaan esittää äärellisen monen indikaattorifunktion lineaarikombinaationa määrittelyvälinsä jaon avulla. Funktion arvoille jakopisteissä ei ole erillisiä ehtoja. Yhden reaalimuuttujan reaaliarvoisen porrasfunktion kuvaaja muodostaa nimensä mukaisesti ''portaikon''.

Määritelmä

Yhden reaalimuuttujan porrasfunktio

Olkoon $I\subset ℝ$ väli (välin ei tarvitse olla rajoitettu). Funktio $f:I\to ℝ$ on porrasfunktio, jos on olemassa välin $I$ jako

$P=\{x_0,x_1,x_2,\dots ,x_n\}$

ja luvut $a_i\in ℝ$, $i=1,2,\dots ,n$, joille

$f(x)=a_i$

kaikilla $x\in ]x_{i-1},x_i[$.

Porrasfunktio määritellään yhtäpitävästi indikaattorifunktion avulla: $f:I\to ℝ$ on porrasfunktio, jos

$f(x)=\sum _{i=0}^n{a}_i\cdot 1_{A_i}(x)$

missä $A_i=]x_{i-1},x_i[$ ja $1_{A_i}(x)$ on joukon $A_i$ indikaattorifunktio.

Useamman reaalimuuttujan porrasfunktio

Olkoon $I:=[a_1,b_1]\times \dots \times [a_n,b_n]\subset {ℝ}^n$väli. Funktio $f:I\to ℝ$ on porrasfunktio, jos on olemassa välin $I$ jako $P=P^{(1)}\times \dots \times P^{(n)}$ siten, että vastaavassa osavälijaossa $I=\bigcup _{\alpha }{I}_{\alpha }$ funktio $f$ on vakio jokaisen osavälin sisuksessa. Ts.

$f(x)=c_{\alpha }$

jollekin $c_{\alpha }\in ℝ$ kaikilla $x\in \mathrm{i}\mathrm{n}\mathrm{t}{I}_{\alpha }$.

Esimerkkejä porrasfunktioista

Heavisiden porrasfunktio

• Vakiofunktio on yksinkertaisin porrasfunktio. Vakiofunktiossa on vain yksi ''porras'' ja väli $I=ℝ$ jaetaan yhteen osaväliin.
• Signum-funktio $\mathrm{sgn}(x)$; välin $I=ℝ$ jako on $P=\{-\mathrm{\infty },0,\mathrm{\infty }\}$.
• Heavisiden funktio $H(x)$; välin $I=ℝ$ jako on $P=\{-\mathrm{\infty },0,\mathrm{\infty }\}$.
• Lattia- ja kattofunktiot $\lfloor x\rfloor$ ja $\lceil x\rceil$ ovat porrasfunktioita, jos niiden määrittelyjoukko on rajoitettu. Jos määrittelyjoukko on rajoittamaton, niin määritelmän mukaan lattia- ja kattofunktiot eivät ole porrasfunktioita, sillä välin $I$ jakopisteitä pitäisi olla äärettömän monta.

Porrasfunktioiden ominaisuuksia

• Kahden porrasfunktion summafunktio on aina porrasfunktio.
• Kahden porrasfunktion tulofunktio on aina porrasfunktio.
• Kahden porrasfunktion lineaarikombinaatio on aina porrasfunktio.
• Porrasfunktio on paloittain jatkuva (epäjatkuvuuskohtien lukumäärä on äärellinen) määrittelyjoukossaan.
• Porrasfunktio on Riemann-integroituva. Jos $I=[a,b]$, niin määritelmässä käytetyin merkinnöin

$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x=\sum _{i=0}^n{a}_i\cdot \ell (A_i)$,

missä $\ell (A_i)=x_i-x_{i-1}$ on välin $A_i$ pituus.

• Porrasfunktio on derivoituva kaikkialla muualla paitsi epäjatkuvuuskohdissaan. Porrasfunktion derivaatta epäjatkuvuuskohtien ulkopuolella on nollafunktio.

Katso myös

• Erikoisfunktio