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 n dalam satu variabel x adalah sebuah fungsi yaitu kontinu dalam domain dan memenuhi persamaan aljabar

dimana koefisien ai(x) adalah fungsi polinomial dari x , dengan koefisien integer. Dapat ditunjukkan bahwa fungsi yang sama diperoleh jika bilangan aljabar diterima untuk koefisien ai(x). 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 R dianggap, dan kemudian berbicara tentang "fungsi aljabar di atas R".

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

sunting

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

sunting

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.

 
Grafik tiga cabang fungsi aljabar y , di mana y3 − xy + 1 = 0, di atas domain 3/22/3 < x < 50.

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 . Seandainya x0 ∈ 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

sunting

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

sunting

Referensi

sunting

Pranala luar

sunting