Dalam matematika, kata sifat **trivial** digunakan untuk suatu kasus yang diperoleh dengan mudah dari konteks, atau objek yang memiliki struktur sederhana (misalnya, grup, ruang topologi). Kata benda **trivialiti** mengacu pada aspek teknis sederhana dari beberapa bukti atau definisi. Asal usul istilah dalam bahasa matematika berasal dari kurikulum abad pertengahan trivium, yang membedakan dari kurikulum kuadrivium yang sulit. Kebalikan dari trivial adalah **nontrivial**, biasa digunakan untuk menunjukkan bahwa contoh atau solusi tidak sederhana, atau pernyataan teorema yang tidak mudah dibuktikan.

Solusi trivial dan nontrivial
-----------------------------

Dalam matematika, istilah "trivial" digunakan untuk objek (yaitu, grup dan ruang topologi) dengan struktur sederhana

* Himpunan kosong: himpunan bukan anggota nol
* Grup trivial: grup yang digunakan sebagai elemen identitas
* Gelanggang trivial: gelanggang ditentukan pada himpunan tunggal

*"*Trivial*"* digunakan untuk mendeskripsikan solusi untuk persamaan dari struktur sederhana, tetapi demi kelengkapan tidak dapat diabaikan. Solusi ini disebut **solusi trivial**. Misalnya, perhatikan persamaan diferensial

{\displaystyle y'=y}
dimana {\displaystyle y=y(x)} adalah fungsi dengan turunan adalah {\displaystyle y'}. Solusi trivial adalah

{\displaystyle y(x)=0}, fungsi nol
sedangkan solusi **nontrivial** adalah

{\displaystyle y(x)=e^{x}}, fungsi eksponensial.
Persamaan diferensial {\displaystyle f''(x)=-\lambda f(x)} dengan kondisi batas {\displaystyle f(0)=f(L)=0} penting dalam matematika dan fisika, karena dapat digunakan untuk mendeskripsikan partikel dalam kotak dalam mekanika kuantum, atau gelombang berdiri pada string. Solusi {\displaystyle f(x)=0} disebut solusi "trivial". Dalam beberapa kasus, solusi lain (sinusoid) yang disebut solusi "nontrivial".

Demikian pula, matematikawan mendeskripsikan Teorema Terakhir Fermat sebagai pernyataan bahwa tidak ada solusi bilangan bulat *nontrivial* untuk persamaan {\displaystyle a^{n}+b^{n}=c^{n}}, dimana *n* dari 2. Jelas, beberapa solusi untuk persamaan tersebut. Misalnya, {\displaystyle a=b=c=0} adalah solusi untuk *n*, tetapi solusi tersebut jelas dan diperoleh dengan sedikit dari trivial.

Dalam penalaran matematis
-------------------------

*Trivial* merujuk pada bukti kasus yang mudah dengan kelengkapan tidak diabaikan. Misalnya, pembuktian oleh induksi matematika memiliki dua bagian: "kasus dasar" yang menunjukkan bahwa teorema benar untuk nilai awal tertentu (sebagai contoh *n* = 0 atau *n* = 1), dan langkah induktif jika teorema untuk nilai *n* tertentu, maka untuk nilai adalah *n* + 1. Kasus dasar trivial dan diidentifikasi, meskipun dimana kasus dasar sulit tetapi langkah induktif trivial. Demikian pula, membuktikan beberapa sifat dimiliki oleh anggota himpunan tertentu. Bagian utama dari bukti akan mempertimbangkan kasus himpunan yang tidak kosong, dan memeriksa anggota secara rinci; dalam kasus di mana himpunan kosong, properti itu dimiliki secara sepele oleh semua anggota, karena tidak ada (lihat vacuous kosong untuk informasi lebih lanjut).

Komunitas matematika adalah mengatakan bahwa "trivial" sama dengan "terbukti", yaitu teorema adalah "trivial" setelah diketahui benar.

Matematikawan yang membahas teorema: pertama mengatakan bahwa teorema "trivial". Menanggapi penjelasan dari pihak lain, kemudian dengan eksposisi selama dua puluh menit. Di akhir penjelasan, matematikawan kedua adalah teorema itu trivial. Matematikawan pertama mengatakan teorema adalah trivial, tetapi tidak dapat membuktikannya sendiri. Seringkali, sebagai teorema kemudian disebut sebagai "jelas secara intuitif". Dalam kalkulus, misalnya pernyataan trivial berikut:

{\displaystyle \int \_{0}^{1}x^{2}\,dx={\frac {1}{3}}}
Namun, bagi yang tidak memiliki pengetahuan tentang kalkulus integral, sama sekali tidak jelas.

Bukti dalam analisis fungsional, dengan suatu bilangan dengan mudah dimana keberadaan bilangan yang lebih besar. Namun, ketika membuktikan hasil dasar tentang bilangan asli di teori bilangan dasar, buktinya mungkin sangat bergantung pada pernyataan bahwa bilangan asli memiliki penerus pernyataan dengan dibuktikan atau dianggap sebagai aksioma (untuk selengkapnya, lihat aksioma Peano).

### Bukti trivial

Dalam beberapa teks, *bukti trivial* merujuk pada pernyataan yang melibatkan dimana konsekuensi *Q* adalah implikasi material *P* → *Q*. Bukti berdasarkan definisi implikasi material, sebagai implikasi terlepas dari bilangan anteseden *P*.

Konsep terkait adalah vacuous kosong, di mana anteseden *P* dalam implikasi material *P* → *Q*. Implikasi terlepas dari bilangan konsekuensi *Q* berdasarkan definisi implikasi material.

Contoh
------

* Dalam teori bilangan, untuk faktor dari bilangan bulat *N*. Bilangan *N* memiliki empat faktor yang jelas: ± 1 dan ± *N* disebut "faktor trivial". Faktor lain, jika disebut "nontrivial".
* Persamaan 1 homogen matriks{\displaystyle A\mathbf {x} =\mathbf {0} }, dimana {\displaystyle A} adalah matriks tetap, {\displaystyle \mathbf {x} } adalah vektor tidak diketahui, dan {\displaystyle \mathbf {0} } adalah vektor nol, dengan solusi yang jelas {\displaystyle \mathbf {x} =\mathbf {0} }, disebut "solusi trivial". Jika solusi {\displaystyle \mathbf {x} \neq \mathbf {0} }, maka disebut "nontrivial"
* Dalam teori grup, grup sederhana dengan satu elemen di dalamnya; ini sering disebut "grup trivial". Dalam grup lain, yang lebih rumit, disebut "nontrivial".
* Dalam teori graf, graf trivial adalah graf yang hanya memiliki 1 simpul dan tidak memiliki sisi.
* Teori database memiliki konsep yang disebut depensesi fungsional, ditulis {\displaystyle X\to Y}. Dependensi {\displaystyle X\to Y} jika *Y* adalah himpunan bagian dari *X*, jenis dependensi adalah "trivial". dependensi lainnya, yang kurang jelas, disebut "non trivial".
* Dapat ditunjukkan bahwa Fungsi zeta Riemann memiliki nol pada bilangan genap negatif -2, -4, ... Meskipun buktinya relatif mudah, biasanya tidak disebut trivi; Namun, dalam kasus ini, karena bilangan nol lainnya umumnya tidak diketahui dan memiliki aplikasi penting dan melibatkan pertanyaan terbuka (yaitu hipotesis Riemann). Karenanya, bilangan genap negatif disebut sebagai angka nol trivial dari fungsi tersebut, sedangkan angka nol lainnya dianggap non-trivial.

Lihat pula
----------

* Degenerasi
* Objek initial dan terminal
* Daftar jargon matematika
* Patologis
* Trivialisme
* Ukuran trivial
* Representasi trivial
* Topologi trivial

Referensi
---------

1. 1 2  "The Definitive Glossary of Higher Mathematical Jargon — Trivial". *Math Vault* (dalam bahasa Inggris). 2019-08-01. Diakses tanggal 2019-12-14.
2. 1 2 3  Weisstein, Eric W. "Trivial". *mathworld.wolfram.com* (dalam bahasa Inggris). Diakses tanggal 2019-12-14.
3. 1 2  "Mathwords: Trivial". *www.mathwords.com*. Diakses tanggal 2019-12-14.
4. ↑  Ayto, John (1990). *Dictionary of word origins*. University of Texas Press. hlm. 542. ISBN 1-55970-214-1. OCLC 33022699.
5. ↑  Zachmanoglou, E. C.; Thoe, Dale W. (1986). *Introduction to Partial Differential Equations with Applications*. hlm. 309. ISBN 9780486652511.
6. 1 2 3 4  Chartrand, Gary; Polimeni, Albert D.; Zhang, Ping (2008). *Mathematical proofs : a transition to advanced mathematics*Akses gratis dibatasi (uji coba), biasanya perlu berlangganan (edisi ke-2nd). Boston: Pearson/Addison Wesley. hlm. 68. ISBN 978-0-3-2139053-0.
7. ↑  Yan, Song Y. (2002). *Number Theory for Computing* (edisi ke-2nd, illustrated). Berlin: Springer. hlm. 250. ISBN 3-540-43072-5.
8. ↑  Jeffrey, Alan (2004). *Mathematics for Engineers and Scientists* (edisi ke-Sixth). CRC Press. hlm. 502. ISBN 1-58488-488-6.

Pranala luar
------------


Lihat informasi mengenai ***trivial*** di Wiktionary.

* Trivial entry at MathWorld