Аксиома Архимеда

---

Аксиома Архимеда, или принцип Архимеда, или свойство Архимеда — математическое предложение, названное по имени древнегреческого математика Архимеда. Впервые это предложение было сформулировано Евдоксом Книдским в его теории отношений величин (понятие величины у Евдокса охватывает как числа, так и непрерывные величины: отрезки, площади, объёмы^[1]):

Если имеются две величины, ${\displaystyle a}$ и ${\displaystyle b}$, и ${\displaystyle a}$ меньше ${\displaystyle b}$, то, взяв ${\displaystyle a}$ слагаемым достаточное количество раз, можно превзойти ${\displaystyle b}$:

Например, для отрезков аксиома Архимеда звучит так: если даны два отрезка, то, отложив достаточное количество раз меньший из них, можно покрыть больший.

Утверждение аксиомы Архимеда кажется тривиальным, но её подлинный смысл заключается в запрете бесконечно малых и/или бесконечно больших величин. Так, эта аксиома не выполняется в нестандартном анализе: множество гипервещественных чисел содержит бесконечно малые и бесконечно большие величины. Такие элементы могут не удовлетворять аксиоме Архимеда. Возможны другие примеры.

Математические структуры, для которых свойство Архимеда выполняется, называют архимедовыми, например архимедово поле и архимедова группа, а те, для которых не выполняется, — неархимедовыми.

Аксиома, известная в математике как аксиома Архимеда, в действительности была впервые сформулирована Евдоксом Книдским. Это предложение играло ключевую роль в его теории отношений, которая, по существу, являлась первой аксиоматической теорией действительного числа. Поэтому её также называют аксиомой Евдокса.

---