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.

### Urutan total

Sebarang lapangan {\textstyle (F,+,\cdot \,)} dengan suatu urutan total {\textstyle \leq } pada {\textstyle F} disebut sebagai *lapangan terurut* jika pengurutan yang digunakan memenuhi sifat-sifat berikut untuk sebarang {\textstyle a,b,c\in F:}

* Jika {\textstyle a\leq b} maka {\textstyle a+c\leq b+c,} dan
* Jika {\textstyle 0\leq a} dan {\textstyle 0\leq b} maka {\textstyle 0\leq a\cdot b.}

Seperti biasa, notasi {\textstyle a<b} digunakan untuk merujuk {\textstyle a\leq b} dan {\textstyle a\neq b}. Notasi {\displaystyle b\geq a} dan {\displaystyle b>a} masing-masing mengartikan {\displaystyle a\leq b} dan {\displaystyle a<b}. Elemen-elemen {\displaystyle a\in F} dengan {\displaystyle a>0} disebut positif.

### Kerucut positif

*Kerucut prepositif* atau *pra-pengurutan* dari sebarang lapangan {\textstyle F} adalah suatu subset {\textstyle P\subseteq F} yang memenuhi sifat-sifat berikut:

* Untuk {\displaystyle x} dan {\displaystyle y} di {\displaystyle P,} elemen {\displaystyle x+y} dan {\displaystyle x\cdot y} berada di {\displaystyle P.}
* Jika {\displaystyle x\in F,} maka {\displaystyle x^{2}\in P.} Secara khusus, {\displaystyle 0=0^{2}\in P} dan {\displaystyle 1=1^{2}\in P.}
* Elemen {\displaystyle -1} tidak ada di {\displaystyle P.}

Suatu *lapangan pra-terurut* adalah lapangan yang dilengkapi dengan suatu pra-pengurutan {\displaystyle P.} Elemen-elemen tak-nol {\displaystyle P^{\*}} membentuk suatu subgrup dari grup multiplikatif dari {\displaystyle F.} Jika, sebagai tambahan, himpunan {\textstyle F} adalah gabungan dari {\displaystyle P} dan {\displaystyle -P,} subset {\displaystyle P} disebut sebagai suatu *kerucut positif* dari {\displaystyle F.} Elemen-elemen tak-nol di {\displaystyle P} disebut elemen *positif* dari {\displaystyle F.} Lapangan terurut adalah lapangan {\textstyle F} yang dilengkapi kerucut positif {\displaystyle P.}

Pra-pengurutan pada {\displaystyle F} adalah irisan dari kerucut-kerucut positif pada {\displaystyle F.} Kerucut positif adalah maksimal dari pra-pengurutan.

### Kesetaraan kedua definisi

Misalkan {\displaystyle F} merupakan lapangan. Terdapat suatu bijeksi antara pengurutan lapangan dari {\displaystyle F} dengan kerucut-kerucut positif dari {\displaystyle F.}

Dari definisi pertama, {\displaystyle F} memiliki pengurutan {\textstyle \leq }, dan himpunan semua elemen {\displaystyle x\geq 0} membentuk suatu kerucut positif dari {\displaystyle F.} Kebalikannya, dari definisi kedua, {\displaystyle F} memiliki kerucut positif {\displaystyle P}, dan suatu pengurutan total {\displaystyle \leq \_{P}} pada {\displaystyle F} dapat disusun dengan menetapkan {\displaystyle x\leq \_{P}y} untuk mengartikan {\displaystyle y-x\in P.} Hal ini mengartikan {\displaystyle \leq \_{P}} memenuhi sifat-sifat dari definisi pertama. {\displaystyle \square }

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 {\displaystyle a>0} dan {\displaystyle x<y}, akan berlaku {\displaystyle ax<ay.}
Untuk sebarang {\displaystyle x<y} akan berlaku {\displaystyle a+x<a+y.}
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.}

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 diantara 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, namun bilangan hiperreal tidak, karena sistem bilangan ini memperluas bilangan real dengan elemen-elemen yang lebih besar daripada semua bilangan asli standar.

### Ruang vektor atas lapangan terurut

Artikel utama: Ruang koordinat
Ruang vektor (khususnya ruang koordinat) atas suatu lapangan terurut memiliki beberapa sifat penting dan memiliki struktur yang khusus, yakni: orientasi, kecembungan, dan hasil-kali dalam yang definit-positif.

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. 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.

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*Perlu mendaftar (gratis), CBMS Regional Conference Series in Mathematics, **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. **67**. American Mathematical Society. ISBN 0-8218-1095-2. Zbl 1068.11023.