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 i adalah -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 \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 (F, +, \cdot\,) dengan suatu urutan total  \leq   pada F disebut sebagai *lapangan terurut* jika pengurutan yang digunakan memenuhi sifat-sifat berikut untuk sebarang a, b, c \in F:

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

Seperti biasa, notasi a  digunakan untuk merujuk a\le b  dan a\ne b. Notasi b\ge a dan b> a masing-masing mengartikan a\le b dan a. Elemen-elemen a\in F dengan a>0 disebut positif.

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

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

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

Pra-pengurutan pada F adalah irisan dari kerucut-kerucut positif pada F. Kerucut positif adalah maksimal dari pra-pengurutan.

### Kesetaraan kedua definisi
Misalkan F merupakan lapangan. Terdapat suatu bijeksi antara pengurutan lapangan dari F dengan kerucut-kerucut positif dari F.

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

## Contoh
Beberapa contoh lapangan terurut antara lain:

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

## Sifat

Untuk sebarang lapangan terurut F dan sebarang a,b,c,d di F, sifat-sifat ini berlaku untuk F:

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

Semua sublapangan dari sebarang lapangan terurut F juga merupakan lapangan terurut (mewarisi pengurutan yang digunakan F). Sublapangan terkecil dari 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 F isomorfik ke lapangan bilangan real \R jika dan hanya jika, setiap subset tak-kosong dari F dengan batas atas di F memiliki batas atas terkecil di 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.

### Ruang vektor atas lapangan terurut

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 -1 adalah kuadrat dari unit imajiner i. Selain itu, bilangan p-adik tidak dapat diurutkan karena berdasarkan lema Hensel, \Q_2 mengandung akar kuadrat dari -7 sehingga 1^2+1^2+1^2+2^2+(\sqrt{-7})^2=0,  dan \Q_p dengan p>2 mengandung akar kuadrat dari 1-p sehingga (p-1)\cdot1^2 + (\sqrt{1-p})^2 = 0.

## Lihat pula

* Gelanggang terurut
* Ruang vektor terurut

## Catatan kaki


## Pustaka

* 
*