Matematiikassa vakiofunktio on funktio, jonka lähtöarvo on sama jokaiselle tuloarvolle. Esimerkiksi funktio y ( x ) = 4 {\displaystyle y(x)=4} on vakiofunktio, koska y ( x ) {\displaystyle y(x)} arvo
on 4 riippumatta tuloarvosta x {\displaystyle x}
(katso kuva).
Määritelmä ja esimerkkejä
Yleisesti: jos A on mikä tahansa joukko ja c on kiinteä arvo, niin funktio f: A → B määritellään vakiofunktiona jos f(x) = c kaikilla x ∈ A. Tässä B sisältää arvon c.
- Esimerkki 1: f(x) = 4, x ∈ ℝ.
- Esimerkki 2: g(x) = 0 on nollafunktio, joka on vakiofunktio.
- Esimerkki 3: h(x) = π määrittelee vakiofunktion riippumatta siitä onko domain reaalilukuja, kokonaislukuja tai jotain muuta joukkoa.
Graafinen esitys
Reaaliarvoisella funktiolla f: ℝ → ℝ vakiofunktion graafi on vaakasuora suora y = c koko määrittelyjoukossa. Tämä kuva auttaa tunnistamaan vakiofunktion nopeasti.
Tärkeimmät ominaisuudet
- Arvojoukko: arvojoukko on yksittäinen piste {c} (tai sisällytetty tarkkaan valittuun koodomainiin).
- Kontinuitetti: vakiofunktio on jatkuva (ja jopa yhtenäisesti jatkuva) kaikilla pisteillä.
- Derivaatta: jos f on vakio reaalifunktio, niin f′(x) = 0 kaikilla x, eli vakiofunktio on vakio derivaatan suhteen.
- Integraali: määrätyn välin [a,b] yli integraali ∫_a^b c dx = c(b − a). Epämääräinen integraali on ∫ c dx = cx + C.
- Polynomi: vakiofunktio on polynomi, yleensä sanotaan asteeksi 0 (poikkeuksena nollafunktio, jonka astetta ei aina määritellä samalla tavalla).
- Tasapainoisuudet: summa, tulo tai skalaarikerroin vakiofunktiosta tuottaa edelleen vakiofunktion (esim. c1 + c2, c·c2).
- Preimage (alkukuva): arvon c preimage f^{-1}({c}) on koko määrittelyjoukko; minkään muun arvon preimage on tyhjä.
Injektiivisyys, surjektiivisyys ja bijektiivisyys
- Vakiofunktio ei ole injektiivinen, paitsi triviaalitapauksessa kun määrittelyjoukko sisältää vain yhden pisteen — silloin se on yksi-yhteen.
- Vakiofunktio on surjektiivinen vain jos kodomain on täsmälleen {c} (eli kodomain koostuu ainoastaan tästä yhdestä arvosta).
- Tästä seuraa, että bijektio (yksi-yhteen ja onto) on vakiofunktio vain, jos sekä määrittely- että maalijoukko ovat yksielementtisiä ja arvo vastaa tätä elementtiä.
Algebrallinen ja vektoriavaruusnäkökulma
Kaikki vakiofunktion muodostamat funktiot muodostavat lineaarialgebran vektoriavaruuden osajoukon funktioavaruudessa. Ne muodostavat yhdenulotteisen alkeisavaruuden, jonka kannaksi voidaan valita esimerkiksi konstandifunktio 1 (x → 1). Tämä tarkoittaa, että jokainen vakiofunktio c voidaan esittää muodossa c·1.
Kokoelman ja koostumusten käyttäytyminen
- Jos f on vakiofunktio, niin yhdistetty funktio g ∘ f on vakio: (g ∘ f)(x) = g(c) kaikilla x (edellyttäen että g on määritelty kohdassa c).
- Jos g on vakio, niin f ∘ g on vakio (jos f on määritelty g:n arvolle).
Sovelluksia ja merkitys
Vakiofunktiot toimivat usein vertailukohtina ja perustiloina matemaattisissa malleissa ja analyysissä. Ne kuvaavat tilanteita, joissa suure ei muutu ajan tai sijainnin mukana, ja niitä käytetään lähtöarvoina differentiaaliyhtälöissä, raja-arvojen ja ominaisuuksien tutkimisessa sekä numeerisissa testeissä. Myös signaalikäsittelyssä vakio (offset) on tavallinen käsite.
Yhteenveto
Vakiofunktio on yksinkertaisin mahdollinen funktio: kaikissa pisteissä sama arvo. Siihen liittyy monia selkeitä ominaisuuksia (jatkuvuus, nolla-derivaatta, yksipisteinen arvojoukko) ja se toimii perustana monille matemaattisille konstruktiolle ja sovelluksille.




