Lapangan terurut: Perbedaan antara revisi

Revisi terkini sejak 24 Agustus 2026 23.09

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 < b$ digunakan untuk merujuk $a \leq b$ dan $a \neq b$ . Notasi $b \geq a$ dan $b > a$ masing-masing mengartikan $a \leq b$ dan $a < b$ . 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:^[1]

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.^[2]

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

Contoh

Beberapa contoh lapangan terurut antara lain:

Lapangan bilangan rasional $ℚ$ dengan pengurutan standarnya (yang juga merupakan satu-satunya pengurutan yang dimilikinya).
Lapangan bilangan real $ℝ$ 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) \neq 0$ , dapat dibuat menjadi lapangan terurut dengan menetapkan suatu bilangan transenden $α$ dan mendefinisikan $p (x) / q (x) > 0$ jika dan hanya jika $p (α) / q (α) > 0.$ Cara tersebut setara dengan menyisipkan $ℚ (x)$ ke $ℝ$ lewat $x \mapsto α$ dan membatasi pengurutan dari $ℝ$ ke suatu pengurutan dari bayangan dari $ℚ (x)$ . Dalam gaya ini, kita dapat mendapatkan banyak pengurutan dari $ℚ (x)$ .
Lapangan $ℝ (x)$ dari fungsi rasional $p (x) / q (x)$ , dengan $p (x)$ dan $q (x)$ berupa polinomal dengan koefisien real dan $q (x) \neq 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 ℝ (x)$ kita memiliki $f (x) < g (x)$ jika dan hanya jika $f (t) < g (t)$ untuk semua $t \in ℝ$ yang cukup besar. Dalam lapangan terurut ini, polinomial $p (x) = x$ lebih besar dari sebarang polinomial konstan, mengakibatkan lapangan terurut tidak bersifat Archimedes.
Lapangan $ℝ ((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 \leq b$ dan $c \leq d$ , maka $a + c \leq b + d$ .
Pertidaksamaan dapat "dikalikan dengan elemen positif": jika $a \leq b$ dan $0 \leq c$ , maka $a c \leq b c$ .
"Mengalikan dengan elemen negatif akan membalik pertidaksamaan": jika $a \leq b$ dan $c \leq 0$ , maka $a c \geq b c$ .
Transitivitas dari pertidaksamaan: jika $a < b$ dan $b < c$ , maka $a < c$ .
Jika $a < b$ dan $a, b > 0$ , maka $1 / b < 1 / a$ .
Penguadratan selalu non-negatif: $0 \leq a^{2}$ . Secara khusus, karena $1 = 1^{2},$ kita dapatkan $0 \leq 1.$ Tapi $0 \neq 1,$ sehingga kita simpulkan $0 \leq 1.$
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 ⟹ \forall k : a_{k} = 0.$ ^[3]^[4]

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 $ℝ$ 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.^[5]

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.^[6]^[7] 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.^[8]

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, $ℚ_{2}$ mengandung akar kuadrat dari $- 7$ sehingga $1^{2} + 1^{2} + 1^{2} + 2^{2} + (\sqrt{- 7})^{2} = 0,$ dan $ℚ_{p}$ dengan $p > 2$ mengandung akar kuadrat dari $1 - p$ sehingga $(p - 1) \cdot 1^{2} + (\sqrt{1 - p})^{2} = 0.$

Lihat pula

Pustaka

Referensi

↑ Lam (2005) p. 289
↑ Lam (2005) p. 289
↑ Lam (2005) hlm. 41
↑ Lam (2005) hlm. 232
↑ Bair, Jaques. Implicit differentiation with microscopes. University of Liège.
↑ Lam (2005) hlm. 41
↑ Lam (2005) hlm. 232
↑ Lam (2005) p. 236

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29425849 (2026-07-06T13:59:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

[1] Lam (2005) p. 289

[2] Lam (2005) p. 289

[3] Lam (2005) hlm. 41

[4] Lam (2005) hlm. 232

[5] Bair, Jaques. Implicit differentiation with microscopes. University of Liège.

[6] Lam (2005) hlm. 41

[7] Lam (2005) hlm. 232

[8] Lam (2005) p. 236

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

@@ Baris 17: / Baris 17: @@
 === Kerucut positif ===
-''Kerucut prepositif'' atau ''pra-pengurutan'' dari sebarang lapangan <math display="inline">F</math> adalah suatu [[subset]] <math display="inline">P \subseteq F</math> yang memenuhi sifat-sifat berikut:
+''Kerucut prepositif'' atau ''pra-pengurutan'' dari sebarang lapangan <math display="inline">F</math> adalah suatu [[subset]] <math display="inline">P \subseteq F</math> yang memenuhi sifat-sifat berikut:<ref>Lam (2005) p. 289</ref>
 * Untuk <math>x</math> dan <math>y</math> di <math>P,</math> elemen <math>x + y</math> dan <math>x \cdot y</math> berada di <math>P.</math>
@@ Baris 25: / Baris 25: @@
 Suatu ''lapangan pra-terurut'' adalah lapangan yang dilengkapi dengan suatu pra-pengurutan <math>P.</math> Elemen-elemen tak-nol <math>P^*</math> membentuk suatu [[subgrup]] dari grup multiplikatif dari <math>F.</math> Jika, sebagai tambahan, himpunan <math display="inline">F</math> adalah gabungan dari <math>P</math> dan <math>- P,</math> subset <math>P</math> disebut sebagai suatu ''kerucut positif'' dari <math>F.</math>  Elemen-elemen tak-nol di <math>P</math> disebut elemen ''positif'' dari <math>F.</math> Lapangan terurut adalah lapangan <math display="inline">F</math> yang dilengkapi kerucut positif <math>P.</math>
-Pra-pengurutan pada <math>F</math> adalah irisan dari kerucut-kerucut positif pada <math>F.</math> Kerucut positif adalah maksimal dari pra-pengurutan.
+Pra-pengurutan pada <math>F</math> adalah irisan dari kerucut-kerucut positif pada <math>F.</math> Kerucut positif adalah maksimal dari pra-pengurutan.<ref>Lam (2005) p. 289</ref>
 === Kesetaraan kedua definisi ===
@@ Baris 43: / Baris 43: @@
 == Sifat ==
 Untuk sebarang lapangan terurut <math display="inline">F</math> dan sebarang <math>a,b,c,d</math> di <math>F</math>, sifat-sifat ini berlaku untuk <math display="inline">F</math>:
@@ Baris 55: / Baris 53: @@
 * Penguadratan selalu non-negatif: <math>0\le a^2 </math>. Secara khusus, karena <math>1=1^2,</math> kita dapatkan <math>0\le 1.</math> Tapi <math>0\ne1,</math> sehingga kita simpulkan <math>0\le1.</math>
 * Medan terurut memiliki [[Karakteristik (aljabar)|karakteristik]] 0. (Karena <math>1>0,</math>, maka <math>1 + 1 > 0,</math> dan <math>1 + 1 + 1 > 0,</math> dst., sehingga tidak ada jumlah terhingga dari <math>1</math> yang dapat bernilai <math>0</math>). Secara khusus, ini mengartikan [[lapangan hingga]] tidak dapat diurutkan.
-* Setiap jumlah tak-trivial dari penguadratan bernilai tak-nol. Secara matematis, <math display="inline">\sum_{k=1}^n a_k^2 = 0 \; \Longrightarrow \; \forall k \; \colon a_k = 0 .</math>
+* Setiap jumlah tak-trivial dari penguadratan bernilai tak-nol. Secara matematis, <math display="inline">\sum_{k=1}^n a_k^2 = 0 \; \Longrightarrow \; \forall k \; \colon a_k = 0 .</math><ref>Lam (2005) hlm. 41</ref><ref>Lam (2005) hlm. 232</ref>
 Semua sublapangan dari sebarang lapangan terurut <math>F</math> juga merupakan lapangan terurut (mewarisi pengurutan yang digunakan <math>F</math>). Sublapangan terkecil dari <math>F</math> [[Isomorfisme|isomorfik]] ke [[Bilangan rasional|rasional]] (sama seperti semua lapangan dengan karakteristik 0 lainnya), dan urutan pada sublapangan rasional ini akan sama dengan urutan pada bilangan rasional. Lapangan terurut <math>F</math> isomorfik ke lapangan bilangan real <math display="inline">\R</math> [[jika dan hanya jika]], setiap subset tak-kosong dari <math>F</math> dengan batas atas di <math>F</math> memiliki [[Infimum dan supremum|batas atas terkecil]] di <math>F</math>.
-Jika setiap elemen dari suatu lapangan terurut selalu terletak di antara dua elemen dari sublapangan rasionalnya, maka lapangan tersebut dikatakan bersifat [[Sifat Archimedes|Archimedes]]. Tapi jika tidak, lapangan bersifat non-Archimedes dan mengandung [[infinitesimal]]. Sebagai contoh, [[Bilangan riil|bilangan real]] membentuk suatu lapangan Archimedes, tetapi bilangan hiperreal tidak, karena sistem bilangan ini [[Perluasan lapangan|memperluas]] bilangan real dengan elemen-elemen yang lebih besar daripada semua [[bilangan asli]] standar.
+Jika setiap elemen dari suatu lapangan terurut selalu terletak di antara dua elemen dari sublapangan rasionalnya, maka lapangan tersebut dikatakan bersifat [[Sifat Archimedes|Archimedes]]. Tapi jika tidak, lapangan bersifat non-Archimedes dan mengandung [[infinitesimal]]. Sebagai contoh, [[Bilangan riil|bilangan real]] membentuk suatu lapangan Archimedes, tetapi bilangan hiperreal tidak, karena sistem bilangan ini [[Perluasan lapangan|memperluas]] bilangan real dengan elemen-elemen yang lebih besar daripada semua [[bilangan asli]] standar.<ref>Bair, Jaques. [http://orbi.ulg.ac.be/bitstream/2268/13591/1/ImplicitDiff.pdf Implicit differentiation with microscopes]. University of Liège.</ref>
 === 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 (ruang vektor)|orientasi]], [[Analisis konveks|kecembungan]], dan [[Ruang hasil-kali dalam|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 [[Lemma Zorn|lema Zorn]].
+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.<ref>Lam (2005) hlm. 41</ref><ref>Lam (2005) hlm. 232</ref> Kebalikannya, semua lapangan real yang formal dapat dilengkapi dengan suatu urutan total (yang sesuai), yang mengubahnya menjadi lapangan terurut. Bukti hubungan ini memerlukan [[Lemma Zorn|lema Zorn]].<ref>Lam (2005) p. 236</ref>
 [[Lapangan terhingga|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 <math display="inline">-1</math> adalah kuadrat dari unit imajiner <math>i</math>. Selain itu, [[bilangan p-adik]] tidak dapat diurutkan karena berdasarkan [[Lemma Hensel|lema Hensel]], <math>\Q_2</math> mengandung [[akar kuadrat]] dari <math display="inline">-7</math> sehingga <math display="inline">1^2+1^2+1^2+2^2+(\sqrt{-7})^2=0, </math> dan <math>\Q_p</math> dengan <math>p>2</math> mengandung akar kuadrat dari <math display="inline">1-p</math> sehingga <math display="inline">(p-1)\cdot1^2 + (\sqrt{1-p})^2 = 0.</math>
 == Lihat pula ==
 * [[Gelanggang terurut]]
 * [[Ruang vektor terurut]]
-== Catatan kaki ==
 == Pustaka ==
+*
-*
 *
+== Referensi ==
+<references />
 == Sumber dan atribusi ==
 Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Lapangan+terurut&oldid=29425849 Wikipedia bahasa Indonesia], revisi 29425849 (2026-07-06T13:59:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.
+<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script (bicara | kontrib)