Az algebrai függvény egy olyan elemi függvény , amely a definíciós tartomány minden pontjának közelében implicit módon megadható egy algebrai egyenlet segítségével .
Formális meghatározás:
Egy függvényt algebrainak nevezünk egy pontban , ha létezik annak a pontnak a szomszédsága, ahol az azonosság található
ahol egy polinom egy változóban.
Egy függvényt algebrainak nevezünk, ha tartományának minden pontján algebrai.
Például egy valós változó függvénye algebrai egy intervallumon a valós számok mezőjében , mivel kielégíti az egyenletet
A függvénynek van analitikus folytatása a komplex síkra , egy kivágott szegmenssel vagy két kivágott sugárral és . Ebben a tartományban egy komplex változó eredményül kapott függvénye egyszerre algebrai és analitikus .
Ismeretes, hogy ha egy függvény egy pontban algebrai, akkor egy adott pontban analitikus is. Ennek a fordítottja nem igaz. Az analitikus, de nem algebrai függvényeket transzcendentálisnak nevezzük .
Az algebrai függvények speciális esetei a következők:
Azokat a valós számokat, amelyek valamilyen racionális együtthatóval rendelkező algebrai egyenlet gyökere, algebrainak nevezzük . Azokat a valós számokat, amelyek nem a racionális együtthatókkal rendelkező algebrai egyenlet gyökerei, transzcendentális számoknak nevezzük .
Minden racionális szám algebrai. Az irracionális számok között vannak algebrai és transzcendentális számok is. Például egy algebrai irracionális szám, és egy transzcendentális irracionális szám.