Sifat Archimedes itu apa sih?

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:

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

Misalkan dan menjadi elemen positif dari grup terurut linier  G .

Kemudian inifintesimal terhadap  (atau ekuivalen, takhingga terhadap) jika, untuk setiap bilangan asli , kelipatan kurang dari , yaitu, pertidaksamaan berikut berlaku:Definisi ini dapat diperluas ke seluruh kelompok dengan mengambil nilai mutlak.

Grup  adalah Archimedes jika tidak ada pasangan  sedemikian rupa sehingga  sangat kecil dibandingkan dengan .

Selain itu, jika  adalah struktur aljabar dengan satuan (1) misalnya, gelanggang ,definisi serupa berlaku untuk .

Jika  sangat kecil dibandingkan dengan 1, maka  adalah elemen yang sangat kecil. Demikian juga, jika tak hingga 1, maka  adalah elemen takhingga. Struktur aljabar  adalah Archimedes jika tidak memiliki elemen takhingga dan tidak memiliki elemen takhingga.