Ekspresi bentuk tertutup

Dalam matematika, **Ekspresi bentuk-tertutup** adalah ekspresi matematika yang diekspresikan menggunakan hingga dari operasi standar. Ini mungkin berisi konstanta, variabel, "terkenal" tertentu operasi (misalnya, + - × ÷), dan fungsi (misalnya, akar ke-'' ke-', eksponen, logaritma , fungsi trigonometri, dan fungsi hiperbolik invers), tetapi biasanya tidak ada batas, diferensiasi, atau integrasi. Himpunan operasi dan fungsi yang diterima dalam ekspresi bentuk tertutup mungkin berbeda dengan penulis dan konteks.

## Contoh: akar dari polinomial

Solusi dari setiap persamaan kuadrat dengan kompleks koefisien dapat diekspresikan dalam bentuk tertutup dalam penambahan, pengurangan, perkalian, pembagian, dan akar kuadrat ekstraksi, yang masing-masing merupakan fungsi dasar. Misalnya persamaan kuadrat

:ax^2+bx+c=0,

dapat ditelusuri karena solusinya dapat dinyatakan sebagai ekspresi bentuk tertutup, yaitu dalam istilah fungsi dasar:

:x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}.

Demikian pula solusi persamaan kubik dan kuartik (derajat ketiga dan keempat) dapat diekspresikan menggunakan aritmetika, akar kuadrat, dan akar kubik, atau sebagai alternatif menggunakan fu aritmetika dan trigonometri. Namun, ada persamaan kuintik tanpa solusi bentuk tertutup yang menggunakan fungsi elementer, seperti *x*5&nbsp;−&nbsp;*x*&nbsp;+&nbsp;1&nbsp;=&nbsp;0.

Suatu bidang studi dalam matematika yang disebut secara luas sebagai teori Galois melibatkan pembuktian bahwa tidak ada ekspresi bentuk tertutup dalam konteks tertentu, berdasarkan contoh pusat solusi bentuk tertutup untuk polinomial.

## Berurusan dengan ekspresi non-bentuk tertutup

### Transformasi ke dalam ekspresi bentuk tertutup

Ekspresi:

:f(x) = \sum_{i=0}^\infty {x \over 2^i}

tidak dalam bentuk tertutup karena penjumlahan memerlukan jumlah operasi dasar yang tak terbatas. Namun, dengan menjumlahkan deret geometris, ekspresi ini dapat diekspresikan dalam bentuk tertutup:

:f(x) = 2x.

### Teori Diferensial Galois

Integral dari ekspresi bentuk tertutup mungkin atau tidak dengan sendirinya dapat diekspresikan sebagai ekspresi bentuk tertutup. Kajian ini disebut sebagai teori Galois diferensial, dengan analogi dengan aljabar Galois.

Teorema dasar teori diferensial Galois adalah karena Joseph Liouville pada tahun 1830-an dan 1840-an dan karenanya disebut sebagai **[[Teorema Liouville (aljabar diferensial)|Teorema Liouville]]**.

Contoh standar fungsi dasar yang antiturunannya tidak memiliki ekspresi bentuk tertutup adalah:

:e^{-x^2},

yang antiturunannya adalah (hingga konstanta perkalian) fungsi kesalahan:

:\operatorname{erf}(x) = \frac{2}{\sqrt{\pi}}\int_{0}^x e^{-t^2}\,dt.

### Pemodelan matematika dan simulasi komputer

Persamaan atau sistem yang terlalu kompleks untuk solusi bentuk tertutup atau analitik sering kali dapat dianalisis dengan model matematika ling dan simulasi komputer.

## Nomor bentuk tertutup

Tiga subbidang dari bilangan kompleks **C** telah disarankan sebagai pengkodean gagasan tentang "bilangan bentuk tertutup"; dalam meningkatkan ketertiban umum, ini adalah bilangan Liouville (jangan disamakan dengan bilangan Liouville dalam pengertian pendekatan rasional), bilangan EL dan nomor dasar. **Bilangan Liouville**, dilambangkan **L**, membentuk subbidang * [[aljabar tertutup]] * terkecil dari **C** closed di bawah eksponensiasi dan logaritma (secara formal, perpotongan dari semua subkolom semacam itu) —yaitu, angka yang melibatkan eksponen dan logaritma * eksplisit *, tetapi memungkinkan polinom eksplisit dan * implisit * (akar dari polinomial); ini didefinisikan dalam . **L** pada awalnya disebut sebagai **bilangan elementer**, tetapi istilah ini sekarang digunakan secara lebih luas untuk merujuk pada bilangan yang didefinisikan secara eksplisit atau implisit dalam istilah operasi aljabar, eksponensial, dan logaritma. Definisi yang lebih sempit diusulkan dalam .

## Numerikal numerik

Untuk keperluan komputasi numerik, bentuk tertutup umumnya tidak diperlukan, karena banyak batasan dan integral dapat dihitung secara efisien.

## Konversi dari bentuk numerik

Ada perangkat lunak yang mencoba menemukan ekspresi bentuk tertutup untuk nilai numerik, termasuk RIES,  in Maple and SymPy, Plouffe's Inverter, and the Inverse Symbolic Calculator.

## Lihat pula
* Solusi aljabar
* Operasi finiter
* Solusi numerik
* Simulasi komputer
* Regresi simbolis
* Istilah (logika)
* Fungsi Liouvillian
* Fungsi dasar

## Referensi

## Bacaan lebih lanjut
* 
* 
* 

## Pranala luar
*