Moniarvoinen funktio on yleistys funktion käsitteestä , joka sallii useita funktioarvoja yhdelle argumentille [1] .
Funktiota , joka yhdistää jokaisen joukon elementin tiettyyn joukon osajoukkoon , kutsutaan moniarvoiseksi funktioksi [2] , jos ainakin yhden arvo sisältää useamman kuin yhden elementin
Tavallisia (yksiarvoisia) funktioita voidaan pitää moniarvoisten erikoistapauksena, jossa arvo koostuu tasan yhdestä elementistä.
Yksinkertaisin esimerkki on positiivisen luvun kaksiarvoinen neliöjuurifunktio , sillä on kaksi arvoa, jotka eroavat etumerkistä. Esimerkiksi luvun 16 neliöjuurella on kaksi merkitystä - ja
Toinen esimerkki ovat käänteiset trigonometriset funktiot (esimerkiksi arcsini ) - koska suorien trigonometristen funktioiden arvot toistetaan pisteellä tai sitten käänteisfunktioiden arvot ovat moniarvoisia ("ääretön") , niillä kaikilla on muoto tai missä on mielivaltainen kokonaisluku.
Moniarvoisia toimintoja on hankala käyttää kaavoissa, joten yksi niiden arvoista erotetaan usein, jota kutsutaan pääarvoksi . Neliöjuurelle tämä on ei-negatiivinen arvo, arcsinille arvo, joka kuuluu väliin ja niin edelleen.
Antiderivatiivista funktiota ( indefinite integraali ) voidaan pitää myös äärettömän arvoisena funktiona, koska se määritellään integrointivakioon asti .
Tyypillinen esimerkki moniarvoisista funktioista on jotkin analyyttiset funktiot monimutkaisessa analyysissä . Epäselvyys syntyy analyyttisestä jatkamisesta eri poluilla . Usein myös moniarvoisia funktioita saadaan ottamalla käänteisfunktioita .
Esimerkiksi minkä tahansa nollasta poikkeavan kompleksiluvun n:s juuri saa täsmälleen arvot. Kompleksisella logaritmilla on ääretön määrä arvoja, joista yksi julistetaan pääarvoksi.
Moniarvoisessa analyysissä moniarvoisen funktion käsite liittyy läheisesti käsitteeseen Riemannin pinta - pinta moniulotteisessa kompleksitilassa, jolla tietystä funktiosta tulee yksiarvoinen.