Dalam matematika, fungsi aljabar adalah fungsi yang bisa didefinisikan sebagai akar dari sebuah persamaan aljabar. Fungsi aljabar merupakan ekspresi aljabar menggunakan sejumlah suku terbatas, yang melibatkan operasi aljabar seperti penambahan, pengurangan, perkalian, pembagian, dan peningkatan menjadi pangkat pecahan. Contoh dari fungsi tersebut adalah:
 
 
 

Beberapa fungsi aljabar, tidak dapat diekspresikan oleh ekspresi berhingga (Teorema Abel–Ruffin)). Misalnya, fungsi secara implisit yang dapat didefinisikan oleh:

 .

Dalam istilah yang lebih tepat, fungsi aljabar derajat  dalam satu variabel  adalah sebuah fungsi  yaitu kontinu dalam domain dan memenuhi persamaan aljabar

 

dimana koefisien  adalah fungsi polinomial dari , dengan koefisien integer. Dapat ditunjukkan bahwa fungsi yang sama diperoleh jika bilangan aljabar diterima untuk koefisien . Jika bilangan transendental muncul dalam koefisien, fungsinya secara umum bukan aljabar, tetapi ini adalah "aljabar di atas bidang  yang dihasilkan oleh koefisien ini.

Nilai fungsi aljabar pada bilangan rasional, dan lebih umum lagi, pada bilangan aljabar selalu berupa bilangan aljabar.
Terkadang, koefisien  pada polinomial di atas gelanggang  dianggap, dan kemudian berbicara tentang "fungsi aljabar di atas ".

Sebuah fungsi yang bukan aljabar disebut fungsi transendental, seperti pada contoh kasus . Komposisi fungsi transendental dapat memberikan fungsi aljabar: .

Karena persamaan polinomial derajat  n  memiliki hingga akar  n  (dan tepat  n  akar di atas bidang tertutup aljabar, seperti bilangan kompleks), persamaan polinomial tidak secara implisit mendefinisikan fungsi tunggal, tetapi hingga  n fungsi, terkadang juga disebut cabang. Pertimbangkan misalnya persamaan dari satuan lingkaran:

Ini menentukan y, kecuali sampai tanda keseluruhan; karenanya, ia mempunyai 2 cabang:

Fungsi aljabar dalam variabel m juga didefinisikan sebagai fungsi  yang memecahkan persamaan polinomial dalam variabel m + 1:

Biasanya diasumsikan bahwa  p  harus berupa polinomial tak tersederhanakan. Keberadaan fungsi aljabar kemudian dijamin oleh teorema fungsi implisit.

Secara umum, fungsi aljabar dalam variabel  m  di atas bidang  K  adalah elemen dari penutupan aljabar dari bidang fungsi rasional K(x1, ..., xm).

 Pendahuluan dan gambaran umum 
Definisi informal dari fungsi aljabar memberikan sejumlah petunjuk tentang propertinya. Untuk memperoleh pemahaman intuitif, mungkin berguna untuk menganggap fungsi aljabar sebagai fungsi yang dapat dibentuk oleh operasi aljabar biasa: penjumlahan, perkalian, Pembagian, dan ekspresi radikal. Ini adalah penyederhanaan yang berlebihan; karena teorema fundamental teori Galois, fungsi aljabar tidak perlu dinyatakan dengan akar.

Pertama, perhatikan bahwa fungsi polinomial  adalah fungsi aljabar, karena ini hanyalah solusi  y  dari persamaan

Secara lebih umum, fungsi rasional  adalah aljabar, menjadi solusi untuk

Selain itu, ekspresi radikal dari polinomial apa pun  adalah fungsi aljabar, menyelesaikan persamaan

Anehnya, fungsi invers dari suatu fungsi aljabar adalah fungsi aljabar. Untuk mengandaikan bahwa  y  adalah solusi untuk

untuk setiap nilai  x , maka  x  juga merupakan solusi dari persamaan ini untuk setiap nilai  y . Memang, menukar peran  x  dan  y  dan mengumpulkan istilah,

Menulis  x  sebagai fungsi dari  y  menghasilkan fungsi invers, juga fungsi aljabar.

Namun, tidak setiap fungsi memiliki kebalikan. Sebagai contoh, y = x2 gagal uji garis horizontal hasilnya tidak berhasil pada satu-ke-satu. Kebalikannya adalah "fungsi" aljabar . 
Cara lain untuk memahami ini, adalah bahwa himpunan dari cabang persamaan polinomial yang mendefinisikan fungsi aljabar kita adalah grafik kurva aljabar.

 Peran bilangan kompleks 
Dari perspektif aljabar, bilangan kompleks masuk secara alami ke dalam studi fungsi aljabar.  Pertama-tama, menurut teorema fundamental aljabar, bilangan kompleks adalah bidang tertutup aljabar. Karenanya setiap hubungan polinomial p(y, x) = 0  dijamin memiliki setidaknya satu solusi (dan secara umum sejumlah solusi tidak melebihi derajat  p  dalam  y ) untuk  y  di setiap titik  x , asalkan kita mengizinkan  y  untuk mengasumsikan kompleks serta nilai nyata. Dengan demikian, masalah yang berkaitan dengan domain dari suatu fungsi aljabar dapat diminimalkan dengan aman.

Lebih jauh, bahkan jika seseorang pada akhirnya tertarik pada fungsi aljabar yang sebenarnya, mungkin tidak ada cara untuk menyatakan fungsi tersebut dalam istilah penjumlahan, perkalian, pembagian dan pengambilan akar  n  tanpa menggunakan bilangan kompleks (lihat casus irreducibilis). Misalnya, perhatikan fungsi aljabar yang ditentukan oleh persamaan

Menggunakan rumus kubik, kita dapatkan

Untuk  akar kuadrat adalah nyata dan akar kubik didefinisikan dengan baik, memberikan akar nyata yang unik. Di sisi lain, untuk  akar kuadrat tidak nyata, dan kita harus memilih, untuk akar kuadrat, akar kuadrat non-nyata. Jadi akar kubik harus dipilih di antara tiga bilangan non-riil. Jika pilihan yang sama dilakukan dalam dua suku rumus, ketiga pilihan akar kubik menyediakan tiga cabang yang ditunjukkan, pada gambar yang menyertai.

Dapat dibuktikan bahwa tidak ada cara untuk mengekspresikan fungsi ini dalam istilah akar  nth  hanya dengan menggunakan bilangan real, meskipun fungsi yang dihasilkan bernilai nyata pada domain grafik yang ditampilkan.

Pada tingkat teoritis yang lebih signifikan, menggunakan bilangan kompleks memungkinkan seseorang untuk menggunakan teknik yang kuat analisis kompleks untuk membahas fungsi aljabar. Secara khusus, prinsip argumen dapat digunakan untuk menunjukkan bahwa fungsi aljabar apa pun sebenarnya adalah fungsi analitis, setidaknya dalam arti multi-nilai.

Secara formal, maka p(x, y) menjadi polinomial kompleks dalam variabel kompleks  x  dan  y . Seandainyax0 ∈ C sedemikian rupa sehingga polinomial p(x0, y) of y has n angka nol yang berbeda. Kita akan menunjukkan bahwa fungsi aljabar adalah analitik dalam lingkungan dari x0.  Pilih sistem cakram  n  yang tidak tumpang tindih Δi berisi masing-masing angka nol ini. Kemudian dengan prinsip argumentasi

Dengan kontinuitas, ini juga berlaku untuk semua  x  di sekitar x0.  Secara khusus,  p ( x ,  y ) hanya memiliki satu root Δi, diberikan oleh teorema residu:

yang merupakan fungsi analitik.

 Sejarah 

Gagasan seputar fungsi aljabar kembali setidaknya sejauh René Descartes.  Diskusi pertama tentang fungsi aljabar tampaknya terjadi di Edward Waring tahun 1794  An Essay on the Principles of Human Knowledge  di mana dia menulis:
jik kuantitas yang menunjukkan ordinat, menjadi fungsi aljabar dari absis  x , dengan metode umum pembagian dan ekstraksi akar, menguranginya menjadi deret tak berhingga menaik atau menurun menurut dimensi  x '', kemudian mencari integral dari masing-masing yang dihasilkan.

Lihat pula 
 Ekspresi aljabar
 Fungsi analitik
 Fungsi kompleks
 Fungsi dasar
 Fungsi (matematika)
 Fungsi umum
 Daftar fungsi khusus dan eponim
 Daftar jenis fungsi
 Polinomial
 Fungsi rasional
 Fungsi khusus
 Fungsi transendental

Referensi

Pranala luar 

Definition of "Algebraic function" in the Encyclopedia of Math 

Definition of "Algebraic function"  in David J. Darling's Internet Encyclopedia of Science

Fungsi analitik
Fungsi matematika
Fungsi meromorfik
Fungsi khusus
Jenis fungsi