Halaman ini berisi artikel tentang aljabar abstrak. Untuk hukum fisika, lihat Prinsip Archimedes.Ilustrasi sifat Archimedes.
Dalam aljabar abstrak dan analisis, **Sifat Archimedes**, dinamai menurut ahli matematika Yunani kuno Archimedes dari Sirakusa, adalah sifat yang dimiliki oleh beberapa struktur aljabar, seperti grup, dan medan. Secara kasar, ini adalah sifat yang tidak memiliki elemen  *jauh lebih besar*  atau  *jauh lebih kecil*. 
Adalah Otto Stolz yang memberi nama pada aksioma Archimedes karena muncul sebagai Aksioma V dari Archimedes  *Pada Bola dan Tabung* .

Gagasan tersebut muncul dari teori besaran Yunani Kuno; itu masih memainkan peran penting dalam matematika modern seperti aksioma David Hilbert untuk geometri, dan teori grup terurut, medan terurut, dan medan lokal.

Struktur aljabar di mana dua elemen bukan nol adalah *sebanding* , dalam arti bahwa tidak satu pun dari mereka sangat kecil dibandingkan dengan yang lain, dikatakan **Archimedes**. Suatu struktur yang memiliki sepasang elemen bukan nol, yang salah satunya sangat kecil terhadap yang lain, dikatakan sebagai **tak-Archimedes**. 
Misalnya, grup terurut linear yang merupakan Archimedes adalah grup Archimedes.

Ini dapat dibuat tepat dalam berbagai konteks dengan rumusan yang sedikit berbeda.Misalnya, dalam konteks kolom terurut, satu memiliki **aksioma Archimedes** yang merumuskan sifat ini, di mana medan bilangan riil adalah Archimedes, tetapi fungsi rasional dalam koefisien riil tidak.

Sejarah dan asal nama sifat Archimedes
--------------------------------------

Konsep ini dinamai oleh Otto Stolz (pada tahun 1880-an) setelah ahli geografi dan fisikawan Yunani kuno Archimedes dari Sirakusa.

Sifat Archimedes muncul di Buku V dari Elemen Euklides sebagai Definisi 4:

> Besaran dikatakan memiliki rasio satu sama lain yang dapat, jika dikalikan, melebihi satu sama lain.
> 
> 

Karena Archimedes mengkreditkannya ke Eudoksos dari Knidos itu juga dikenal sebagai "Teorema Eudoxus" atau *aksioma Eudoxus*.

Archimedes menggunakan infinitesimal dalam argumen heuristik, meskipun ia menyangkal bahwa argumen tersebut telah selesai bukti matematika.

Definisi untuk grup terurut linear
----------------------------------

Artikel utama: Grup Archimedean
Misalkan x dan y menjadi elemen positif dari grup terurut linier  *G*. 

Kemudian **x inifintesimal terhadap  y** (atau ekuivalen, **y takhingga terhadap x**) jika, untuk setiap bilangan asli  n, kelipatan  *nx*  kurang dari  y, yaitu, pertidaksamaan berikut berlaku:

> {\displaystyle {\underset {n{\text{ suku}}}{\underbrace {x+\dots +x} }}<y}
> 
> 

Definisi ini dapat diperluas ke seluruh kelompok dengan mengambil nilai mutlak.

Grup  G adalah **Archimedes** jika tidak ada pasangan (*x*, *y*) sedemikian rupa sehingga  x sangat kecil dibandingkan dengan  y.

Selain itu, jika  K adalah struktur aljabar dengan satuan (1) misalnya, gelanggang ,definisi serupa berlaku untuk  K. 
Jika  x sangat kecil dibandingkan dengan 1, maka  x adalah **elemen yang sangat kecil**. Demikian juga, jika y tak hingga 1, maka  y adalah **elemen takhingga**. Struktur aljabar  K adalah Archimedes jika tidak memiliki elemen takhingga dan tidak memiliki elemen takhingga.

Medan terurut
-------------

Medan terurut memiliki beberapa sifat tambahan:

* Bilangan rasional adalah terbenam di setiap medan terurut. Artinya, setiap kolom terurut memiliki karakteristik nol.
* Jika x Infinitesimal, maka 1/*x* tidak terbatas, dan sebaliknya. Oleh karena itu, untuk memverifikasi bahwa medan adalah Archimedes, cukup dengan memeriksa hanya bahwa tidak ada elemen yang sangat kecil, atau untuk memeriksa bahwa tidak ada elemen yang tak terbatas.
* Jika x sangat kecil dan r adalah bilangan rasional, maka   *rx*  juga sangat kecil. Akibatnya, diberi elemen umum  c, tiga bilangan *c*/2, c, dan 2*c* bisa jadi semua sangat kecil atau semua bukan sangat kecil.

Dalam setelan ini, medan terurut K adalah Archimedes persis ketika pernyataan berikut, disebut **aksioma Archimedes**, menyatakan:

"Misalkan x adalah elemen apa pun dari  K. Kemudian ada bilangan asli  n sehingga *n* > *x*."
Sebagai alternatif, seseorang dapat menggunakan karakterisasi berikut:

> {\displaystyle \forall \,\varepsilon \in K{\big (}\varepsilon >0\implies \exists \ n\in N:1/n<\varepsilon {\big )}.}
> 
>

Definisi untuk medan ternorma
-----------------------------

Kualifikasi "Archimedes" juga diformulasikan dalam teori peringkat satu medan nilai dan ruang ternorma atas peringkat satu medan nilai sebagai berikut. 

Misalkan  F adalah medan yang diberkahi dengan fungsi nilai mutlak, yaitu fungsi yang mengaitkan bilangan real 0 dengan elemen medan 0 dan mengaitkan bilangan riil positif {\displaystyle |x|} dengan setiap bukan nol *x* ∈ *F* dan dirumuskan

> {\displaystyle |xy|=|x||y|} dan {\displaystyle |x+y|\leq |x|+|y|}.
> 
> 

Kemudian,  F dikatakan **Archimedes** jika ada bukan nol *x* ∈ *F* ada bilangan asli  n dirumuskan

> {\displaystyle |\underbrace {x+\cdots +x} \_{n{\text{ terms}}}|>1.\,}
> 
> 

Demikian pula, ruang bernorma adalah Archimedes jika jumlah  n suku, masing-masing sama dengan vektor bukan-nol  x, memiliki norma yang lebih besar dari satu untuk cukup besar  n. 

medan dengan nilai mutlak atau ruang bernorma adalah Archimedes atau memenuhi ketentuan yang lebih kuat, yang disebut sebagai ultrametrik pertidaksamaan segitiga{\displaystyle |x+y|\leq \max(|x|,|y|)},

masing-masing.
medan atau ruang bernorma yang memenuhi pertidaksamaan segitiga ultrametrik disebut **tak-Archimedes**.

Konsep ruang linier bernorma tak-Archimedes diperkenalkan oleh A. F. Monna.

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

* 0.999... – bilangan asli
* Ruang vektor berurutan Archimedean – sifat yang dimiliki oleh beberapa struktur aljabar, seperti grup, dan bidang
* Konstruksi bilangan riil – sifat yang dimiliki oleh beberapa struktur aljabar, seperti grup, dan bidang

Catatan
-------

1. ↑  G. Fisher (1994) in P. Ehrlich(ed.), Bilangan Riil, Generalisasi Realisasi, dan Teori Kontinua, 107-145, Kluwer Academic
2. ↑  Knopp, Konrad (1951). *Theory and Application of Infinite Series*Perlu mendaftar (gratis) (edisi ke-English 2nd). London and Glasgow: Blackie & Son, Ltd. hlm. 7. ISBN 0-486-66165-2.
3. ↑  Monna, A. F. Over een lineare P-adisches ruimte, Indag. Math. 46 (1943), 74–84.

Referensi
---------

* Schechter, Eric (1997). *Handbook of Analysis and its Foundations*. Academic Press. ISBN 0-12-622760-8. Diarsipkan dari versi asli tanggal 2015-03-07. Diakses tanggal 2009-01-30.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)