Signum-funktio

Signum-funktion kuvaaja on selvästi pariton funktio.

Signum-funktio eli etumerkkifunktio on matematiikassa erikoisfunktio, joka saa arvoksi vain lukuja –1, 0 ja 1. Muita arvoja se ei saa. Funktion nimi tulee latinan sanasta signum, joka tarkoittaa merkkiä. Lausekkeissa funktion nimenä käytetään kolmikirjaimista lyhennettä sgn, jolloin lauseke voidaan merkitä esimerkiksi

$f(x)=\mathrm{sgn}(-7)+\mathrm{sgn}(x^2-4).$

Funktio onkin määritelty tietokoneiden ohjelmointikieliä varten, jotta laskelmissa voidaan määrittää lausekkeen tuloksen merkki ja käyttää sitä tietoa hyväksi.

Funktion saamat arvot tulevat argumentin merkin mukaan seuraavasti. Jos argumentti on negatiivinen, saa signum arvokseen –1, jos argumentti on nolla, saa signum arvokseen 0 ja jos argumentti on positiivinen, tulee signumin arvoksi +1 . Plus-merkki ja miinus-merkki tulkitaan signum-funktiossa luvuiksi +1 ja –1 . Tämä voidaan esittää reaaliluvuilla paloittaisena esityksenä

$\mathrm{sgn}x=\{\begin{array}{ccc}-1,& \text{kun}& x<0\\ 0,& \text{kun}& x=0\\ 1,& \text{kun}& x>0.\end{array}$

Funktion ominaisuuksia

Vaihtoehtoisia määritystapoja

Kun $x\ne 0$, se voidaan laskea myös muodossa

$\mathrm{sgn}x=\frac{x}{|x|},$

missä $|x|$ tarkoittaa $x$:n itseisarvoa. Se voidaan ilmaista myös erään yksiportaisen askelfunktion Heavisiden funktion $H(x)$ avulla:

$\mathrm{sgn}x=2H(x)-1.$

Parittomuus

Signum-funktio on pariton funktio, sillä positiiviselle luvulle $a>0$ pätee $\mathrm{sgn}(-a)=-1=-(+1)=-\mathrm{sgn}a,$ koska $\mathrm{sgn}a=+1$.

Muita ominaisuuksia

Signumin avulla voidaan laskea itseisarvo $|x|=x\mathrm{sgn}x$. Toisaalta voidaan kirjoittaa myös $x=|x|\mathrm{sgn}x$.

Reaalilukujen kertolaskun merkkisääntö voidaan ilmaista $\mathrm{sgn}(x\cdot y)=\mathrm{sgn}x\cdot \mathrm{sgn}y$. Vastaava pätee osamäärällekin.

Signum voidaan yhdistää itsensä kanssa yhdistetyksi funktioksi, mutta se ei muuta sen arvoa: $\mathrm{sgn}(\mathrm{sgn}x)=\mathrm{sgn}x$.

Jatkuvuus realiluvuilla

Signum on jatkuva funktio kaikkialla paitsi origossa, missä vasemmanpuoleinen raja-arvo on $\underset{\genfrac{}{}{0ex}{}{x\to 0}{x<0}}{\lim }\mathrm{sgn}x=-1\ne \mathrm{sgn}0$ ja oikeanpuoleinen raja-arvo $\underset{\genfrac{}{}{0ex}{}{x\to 0}{x>0}}{\lim }\mathrm{sgn}(x)=1\ne \mathrm{sgn}(0)$.

Kompleksiluvut

Signumin määrittäminen kompleksiluvuille voidaan tehdä eri tavoin. Jos luku $z=x+yi(\ne 0)$ on kompleksiluku, määritetään sen merkki

$\mathrm{sgn}z=\frac{z}{|z|},$

missä itseisarvo $|z|=\sqrt{x^2+y^2}$, ja muuten $\mathrm{sgn}(0+0i)=0$. Sama asia voidaan kirjoittaa myös

$\mathrm{sgn}z=\frac{z}{|z|}=e^{i\theta },$

missä $\theta =\arg (z)$. Kun signum reaaliluvulla tarkoittaa yleensä arvoa ±1, on signum kompleksiluvuilla yleensä lukua, joka sijaitsee kompleksitason origokeskeisellä yksikköympyrällä eli $\{z\in ℂ\mid |z|=1\}.$ Kun kompleksiluku esitetään muodossa $z=x+yi$, tulee kaava muotoon

$\mathrm{sgn}(x+yi)=\frac{x+yi}{\sqrt{x^2+y^2}}.$

Kaikille kompleksiluvuille $z$ ja niiden kompleksikonjugaateille $\bar{z}$ on voimassa $z\mathrm{sgn}\bar{z}=|z|$.

Kompleksilukujen signum-funktiolle on osoitettavissa seuraavia ominaisuuksia:

• $\mathrm{sgn}(z_1\cdot z_2)=\mathrm{sgn}{z}_1\cdot \mathrm{sgn}{z}_2$ (tulon merkkisääntö)
• $\mathrm{sgn}(\lambda \cdot z)=\mathrm{sgn}z$ positiiviselle reaaliluvulle $\lambda$
• $\mathrm{sgn}(\lambda \cdot z)=-\mathrm{sgn}z$ negatiiviselle reaaliluvulle $\lambda$
• $\mathrm{sgn}(-z)=-\mathrm{sgn}z$ (pariton funktio kompleksiluvuille)
• $\mathrm{sgn}(|z|)=|\mathrm{sgn}(z)|$
• $\mathrm{sgn}(\overline{z})=\overline{\mathrm{sgn}z}$ kompleksilukujen konjugaateille
• $\mathrm{sgn}\left(\frac{1}{z}\right)=\frac{1}{\mathrm{sgn}z}=\overline{\mathrm{sgn}z},$ kun $z\ne 0$.

Derivaatta ja integraali

Signum-funktiolla on derivaatta (joka on nolla) kaikkialla muualla paitsi origossa, joka on epäjatkuvuuskohta. Distibuutioteoriassa voidaan kuitenkin kirjoittaa

$D\mathrm{sgn}(x)=2\delta (x),$

missä $\delta (x)$ on Diracin deltafunktio. Signumin yleinen integraali on

$\int \mathrm{sgn}(t)dt=|x|+C.$

Kirjallisuutta

• Malline:Kirjaviite

Aiheesta muualla

• Mathematik: Die Signumfunktion Malline:De
• LipsWork: Signum functionMalline:En