Lapangan terurut

Dalam matematika, lapangan terurut atau medan terurut, adalah lapangan dengan urutan total pada elemen-elemennya dan sesuai dengan operasi-operasi pada lapangan tersebut. Contoh sederhana dari lapangan terurut adalah lapangan bilangan rasional dan bilangan real, masin-masing dengan pengurutan standar mereka.

Setiap sublapangan dari sebarang lapangan terurut juga merupakan suatu lapangan terurut dengan urutan yang sama. Setiap lapangan terurut mengandung suatu sublapangan terurut yang isomorfik ke (sistem) bilangan rasional. Setiap lapangan terurut lengkap-Dedekind isomorfik ke bilangan real. Kuadrat harus bernilai non-negatif dalam sebarang lapangan terurut. Hal ini mengartikan bilangan kompleks tidak dapat diurutkan, karena kuadrat dari unit imajiner ${\displaystyle i}$ adalah ${\textstyle -1}$ (yang bersifat negatif dalam sebarang lapangan terurut). Lapangan hingga tidak dapat diurutkan.

Dari aspek sejarah, aksiomatisasi lapangan terurut adalah proses abstraksi yang perlahan dari sistem bilangan real, oleh para matematikawan yang meliputi David Hilbert, Otto Hölder, dan Hans Hahn. Upaya ini akhirnya berkembang menjadi teorema Artin–Schreier untuk lapangan terurut dan lapangan real yang formal (formally real field).

Definisi

Ada dua definisi umum yang saling setara untuk lapangan terurut. Definisi menggunakan urutan total muncul pertama kali dalam sejarah, dan merupakan aksiomatisasi tingkat-pertama dari urutan ${\textstyle \leq }$ sebagai predikat biner. Artin dan Schereier memberikan definisi menggunakan kerucut positif di tahun 1926, yang mengaksiomatisasi subkoleksi dari elemen-elemen non-negatif.

Contoh

Beberapa contoh lapangan terurut antara lain:

• Lapangan bilangan rasional ${\displaystyle \mathbb {Q} }$ dengan pengurutan standarnya (yang juga merupakan satu-satunya pengurutan yang dimilikinya).
• Lapangan bilangan real ${\displaystyle \mathbb {R} }$ dengan pengurutan standarnya (yang juga merupakan satu-satunya pengurutan yang dimilikinya).
• Sebarang sublapangan dari lapangan terurut; seperti bilangan aljabar dan bilangan terhitung real, merupakan lapangan terurut dengan membatasi pengurutan ke sublapangan tersebut.
• Lapangan fungsi rasional real ${\textstyle p(x)/q(x),}$ dengan ${\displaystyle p(x)}$ dan ${\displaystyle q(x)}$ berupa polinomial dengan koefisien rasional dan ${\displaystyle q(x)\neq 0\,}$, dapat dibuat menjadi lapangan terurut dengan menetapkan suatu bilangan transenden ${\displaystyle \alpha }$ dan mendefinisikan ${\displaystyle p(x)/q(x)>0}$ jika dan hanya jika ${\displaystyle p(\alpha )/q(\alpha )>0.}$ Cara tersebut setara dengan menyisipkan ${\displaystyle \mathbb {Q} (x)}$ ke ${\displaystyle \mathbb {R} }$ lewat ${\displaystyle x\mapsto \alpha }$ dan membatasi pengurutan dari ${\displaystyle \mathbb {R} }$ ke suatu pengurutan dari bayangan dari ${\displaystyle \mathbb {Q} (x)}$. Dalam gaya ini, kita dapat mendapatkan banyak pengurutan dari ${\displaystyle \mathbb {Q} (x)}$.
• Lapangan ${\displaystyle \mathbb {R} (x)}$ dari fungsi rasional ${\displaystyle p(x)/q(x)}$, dengan ${\displaystyle p(x)}$ dan ${\displaystyle q(x)}$ berupa polinomal dengan koefisien real dan ${\displaystyle q(x)\neq 0}$, dapat dibuat menjadi lapangan terurut dengan mendefinisikan ${\displaystyle p(x)/q(x)>0}$ untuk mengartikan ${\displaystyle p_{n}/q_{m}>0}$, dengan ${\displaystyle p_{n}\neq 0}$ dan ${\displaystyle q_{m}\neq 0}$ masing-masing adalah koefisien terdepan dari polinomial ${\displaystyle p(x)=p_{n}x^{n}+\dots +p_{0}}$ dan ${\displaystyle q(x)=q_{m}x^{m}+\dots +q_{0}}$. Cara lain yang setara: untuk setiap fungsi rasional ${\displaystyle f(x),g(x)\in \mathbb {R} (x)}$ kita memiliki ${\displaystyle f(x)<g(x)}$ jika dan hanya jika ${\displaystyle f(t)<g(t)}$ untuk semua ${\displaystyle t\in \mathbb {R} }$ yang cukup besar. Dalam lapangan terurut ini, polinomial ${\displaystyle p(x)=x}$ lebih besar dari sebarang polinomial konstan, mengakibatkan lapangan terurut tidak bersifat Archimedes.
• Lapangan ${\displaystyle \mathbb {R} ((x))}$ dari deret Laurent formal dengan koefisien real dan ${\displaystyle x}$ dianggap infitesimal dan positif.

Sifat

Untuk sebarang lapangan terurut ${\textstyle F}$ dan sebarang ${\displaystyle a,b,c,d}$ di ${\displaystyle F}$, sifat-sifat ini berlaku untuk ${\textstyle F}$:

• Antara ${\displaystyle -a\leq 0\leq a}$ atau ${\displaystyle a\leq 0\leq -a.}$
• Pertidaksamaan dapat "dijumlahkan": jika ${\displaystyle a\leq b}$ dan ${\displaystyle c\leq d}$, maka ${\displaystyle a+c\leq b+d}$.
• Pertidaksamaan dapat "dikalikan dengan elemen positif": jika ${\displaystyle a\leq b}$ dan ${\displaystyle 0\leq c}$, maka ${\displaystyle ac\leq bc}$.
• "Mengalikan dengan elemen negatif akan membalik pertidaksamaan": jika ${\displaystyle a\leq b}$ dan ${\displaystyle c\leq 0}$, maka ${\displaystyle ac\geq bc}$.
• Transitivitas dari pertidaksamaan: jika ${\displaystyle a<b}$ dan ${\displaystyle b<c}$, maka ${\displaystyle a<c}$.
• Jika ${\displaystyle a<b}$ dan ${\displaystyle a,b>0}$, maka ${\textstyle 1/b<1/a}$.
• Penguadratan selalu non-negatif: ${\displaystyle 0\leq a^{2}}$. Secara khusus, karena ${\displaystyle 1=1^{2},}$ kita dapatkan ${\displaystyle 0\leq 1.}$ Tapi ${\displaystyle 0\neq 1,}$ sehingga kita simpulkan ${\displaystyle 0\leq 1.}$
• Medan terurut memiliki karakteristik 0. (Karena ${\displaystyle 1>0,}$, maka ${\displaystyle 1+1>0,}$ dan ${\displaystyle 1+1+1>0,}$ dst., sehingga tidak ada jumlah terhingga dari ${\displaystyle 1}$ yang dapat bernilai ${\displaystyle 0}$). Secara khusus, ini mengartikan lapangan hingga tidak dapat diurutkan.
• Setiap jumlah tak-trivial dari penguadratan bernilai tak-nol. Secara matematis, ${\textstyle \sum _{k=1}^{n}a_{k}^{2}=0\;\Longrightarrow \;\forall k\;\colon a_{k}=0.}$^[2][3]

Semua sublapangan dari sebarang lapangan terurut ${\displaystyle F}$ juga merupakan lapangan terurut (mewarisi pengurutan yang digunakan ${\displaystyle F}$). Sublapangan terkecil dari ${\displaystyle F}$ isomorfik ke rasional (sama seperti semua lapangan dengan karakteristik 0 lainnya), dan urutan pada sublapangan rasional ini akan sama dengan urutan pada bilangan rasional. Lapangan terurut ${\displaystyle F}$ isomorfik ke lapangan bilangan real ${\textstyle \mathbb {R} }$ jika dan hanya jika, setiap subset tak-kosong dari ${\displaystyle F}$ dengan batas atas di ${\displaystyle F}$ memiliki batas atas terkecil di ${\displaystyle F}$.

Jika setiap elemen dari suatu lapangan terurut selalu terletak di antara dua elemen dari sublapangan rasionalnya, maka lapangan tersebut dikatakan bersifat Archimedes. Tapi jika tidak, lapangan bersifat non-Archimedes dan mengandung infinitesimal. Sebagai contoh, bilangan real membentuk suatu lapangan Archimedes, tetapi bilangan hiperreal tidak, karena sistem bilangan ini memperluas bilangan real dengan elemen-elemen yang lebih besar daripada semua bilangan asli standar.^[4]

Keterurutan lapangan

Semua lapangan terurut merupakan lapangan real yang formal (formally real field), artinya, elemen 0 tidak dapat dituliskan sebagai jumlah dari kuadrat-kuadrat elemen tak-nol.^[2][3] Kebalikannya, semua lapangan real yang formal dapat dilengkapi dengan suatu urutan total (yang sesuai), yang mengubahnya menjadi lapangan terurut. Bukti hubungan ini memerlukan lema Zorn.^[5]

Lapangan hingga dan secara umum lapangan dengan karakteristik positif, tidak dapat diubah menjadi lapangan terurut. Bilangan kompleks juga tidak dapat diubah menjadi lapangan terurut, karena ${\textstyle -1}$ adalah kuadrat dari unit imajiner ${\displaystyle i}$. Selain itu, bilangan p-adik tidak dapat diurutkan karena berdasarkan lema Hensel, ${\displaystyle \mathbb {Q} _{2}}$ mengandung akar kuadrat dari ${\textstyle -7}$ sehingga ${\textstyle 1^{2}+1^{2}+1^{2}+2^{2}+({\sqrt {-7}})^{2}=0,}$ dan ${\displaystyle \mathbb {Q} _{p}}$ dengan ${\displaystyle p>2}$ mengandung akar kuadrat dari ${\textstyle 1-p}$ sehingga ${\textstyle (p-1)\cdot 1^{2}+({\sqrt {1-p}})^{2}=0.}$

Lihat pula

• Gelanggang terurut
• Ruang vektor terurut

Catatan kaki

1. 1 2 Lam (2005) p. 289
2. 1 2 Lam (2005) hlm. 41
3. 1 2 Lam (2005) hlm. 232
4. ↑ Bair, Jaques; Henry, Valérie. "Implicit differentiation with microscopes" (PDF). University of Liège. Diakses tanggal 2013-05-04.
5. ↑ Lam (2005) p. 236

Pustaka

• Lam, T. Y. (1983), Orderings, valuations and quadratic forms, CBMS Regional Conference Series in Mathematics, vol. 52, American Mathematical Society, ISBN 0-8218-0702-1, Zbl 0516.12001
• Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics. Vol. 67. American Mathematical Society. ISBN 0-8218-1095-2. Zbl 1068.11023.