imported>V1adis1av: оформление

2025-06-26T08:27:43Z

оформление

Новая страница

[[Файл:Archimedean property.png|thumb|Аксиома Архимеда для отрезков]]

'''Аксио́ма Архиме́да''', или '''при́нцип Архиме́да''', или '''сво́йство Архиме́да''' — математическое предложение, названное по имени [[Древняя Греция|древнегреческого]] математика [[Архимед]]а. Впервые это предложение было сформулировано [[Евдокс Книдский|Евдоксом Книдским]] в его ''теории отношений величин'' (понятие величины у Евдокса охватывает как [[Число|числа]], так и непрерывные величины: [[Отрезок|отрезки]], [[Площадь|площади]], [[объём]]ы<ref>{{книга
|ответственный = Под ред. А. П. Юшкевича
|заглавие = История математики
|место = М.
|издательство = Наука
|год = 2003
|том = 1
|страницы = 96
}}</ref>):

''Если имеются две величины, <math>a</math> и <math>b</math>, и <math>a</math> меньше <math>b</math>, то, взяв <math>a</math> слагаемым достаточное количество раз, можно превзойти <math>b</math>:''
: <math>\underbrace{a + a + \ldots + a}_{n} > b.</math>

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

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

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

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

Теория Евдокса дошла до нас в изложении [[Евклид]]а ([[Начала Евклида|«Начала»]], книга V).
{{цитата
|Говорят, что величины имеют отношение между собой, если они, взятые кратно, могут превзойти друг друга
|автор=«Начала», книга V, определение 4<ref>{{книга
|автор = Евклид
|ответственный = Перевод Д. Д. Мордухай-Болтовского
|заглавие = Начала
|место = М.-Л.
|издательство = Главное издательство технико-теоретической литературы
|год = 1948
|том = 1
}}</ref>
}}

Аксиома Евдокса—Архимеда лежала в основе так называемого [[Евдокс Книдский#Метод исчерпывания|«метода исчерпывания»]], изобретённого Евдоксом, — метода нахождения площадей фигур, объёмов тел, длин дуг с помощью аналога современных [[Интеграл Римана|сумм Римана]] и [[Сумма Дарбу|Дарбу]]. С помощью своего метода Евдокс строго доказал несколько теорем о вычислении площадей и объёмов. Однако наибольших результатов в этой области достиг Архимед. С помощью метода Евдокса он нашёл ряд новых площадей и объёмов. При этом, поскольку в [[Древняя Греция|Древней Греции]] не существовало понятия [[Последовательность|последовательности]], [[Предел последовательности|предела последовательности]], Архимеду приходилось в каждой конкретной задаче повторять рассуждения заново. Таким образом, в своих сочинениях Архимед формулировал и использовал аксиому Евдокса—Архимеда. При этом сам Архимед во введении к своей «[[Квадратура параболы|Квадратуре параболы]]» подчёркивает, что эта аксиома употреблялась его предшественниками и играла существенную роль в работах Евдокса<ref>{{книга
|автор = Бурбаки Н.
|заглавие = Очерки по истории математики
|ответственный = Пер. И. Г. Башмаковой под ред. К. А. Рыбникова
|место = М.
|издательство = Издательство иностранной литературы
|год = 1963
|страницы = 148
}}</ref>.

== В математическом анализе ==
Принцип Архимеда довольно важен как в теоретическом отношении, так и в плане конкретного использования при измерениях и вычислениях<ref>{{Книга |автор=Зорич В. А. |заглавие=Математический анализ, ч. 1 |год=1997 |место=Москва |издательство=ФАЗИС |страницы=50 |страниц=554 |isbn=5-7036-0031-6}}</ref>.

Если исходить из [[Непрерывность множества действительных чисел|полноты действительных чисел]], принцип Архимеда вообще говоря требует доказательства, тогда как при другой аксиоматике его часто включают в список аксиом.

'''Формулировка:''' <math>\forall a \in \mathbb R : a > 0\ \exists n \in \mathbb N : n > a</math> (для всякого положительного действительного числа найдётся натуральное, его превосходящее)

'''Доказательство:''' Предположим противное, <math>\forall n \in \mathbb N : n \leqslant a</math>, стало быть <math>a</math> — верхняя грань. Выберем по [[Точная верхняя и нижняя границы|теореме о гранях]] <math>b = \sup\mathbb N</math>, тогда <math>\exists k \in \mathbb N: k > b - 1</math>, но <math>k' = k + 1 : k' \in \mathbb N</math>, для которого <math>k' > b</math>, что противоречит существованию <math>b</math>, а значит <math>\mathbb N</math> не ограничено сверху, что в свою очередь равносильно <math>\forall a \in \mathbb R\ \exists n \in \mathbb N : n > a</math>. Ч. т. д.

Домножая <math>a, n</math> на некое нормировочное число, по существу получим неравенство, указанное в начале статьи.

== Современное определение ==

=== Линейно упорядоченная группа ===
Пусть <math>G</math> — [[линейно упорядоченная группа]], <math>a</math> и <math>b</math> — положительные элементы <math>G</math>. Элемент <math>a</math> называется '''бесконечно малым''' по отношению к элементу <math>b</math> (а <math>b</math> — '''бесконечно большим''' по отношению к <math>a</math>), если для любого натурального <math>n</math> имеет место неравенство
: <math>\underbrace{a + a + \ldots + a}_{n} < b.</math>
{{Якорь|Архимедова группа}}Группа <math>G</math> называется '''архимедовой''', если для неё выполнена аксиома Архимеда: ''в <math>G</math> не существует пары элементов <math>a</math>, <math>b</math> таких, что <math>a</math> — бесконечно мал по отношению к <math>b</math>.''

=== Упорядоченное поле ===
Пусть <math>K</math> — [[упорядоченное поле]]. Поскольку всякое упорядоченное поле является линейно упорядоченной группой, то все вышеприведённые определения бесконечно малого и бесконечно большого элементов, а также формулировка аксиомы Архимеда сохраняют силу. Однако здесь имеется ряд специфических особенностей, благодаря которым формулировка аксиомы Архимеда упрощается.

Пусть <math>a, b</math> — положительные элементы <math>K</math>.
* элемент <math>a</math> бесконечно мал по отношению к элементу <math>b</math> тогда и только тогда, когда <math>a/b</math> бесконечно мал по отношению к <math>1 \in K</math> (такие элементы называются просто '''бесконечно малыми''')
* элемент <math>a</math> бесконечно большой по отношению к элементу <math>b</math> тогда и только тогда, когда <math>a/b</math> бесконечно большой по отношению к <math>1 \in K</math> (такие элементы называются просто '''бесконечно большими''')

Бесконечно малые и бесконечно большие элементы объединяются под названием '''инфинитезимальных элементов'''.

Соответственно формулировка аксиомы Архимеда упрощается: упорядоченное поле <math>K</math> обладает свойством Архимеда, если в нём нет бесконечно малых элементов или, эквивалентно, если в нём нет бесконечно больших элементов. Если здесь развернуть определение бесконечно малого (или бесконечно большого) элемента, то получим следующую формулировку аксиомы Архимеда:

''Для всякого элемента <math>a</math> поля <math>K</math> существует натуральный элемент <math>n</math> такой, что <math>n > a</math>.''

Или, эквивалентная формулировка:

''Для всякого положительного элемента поля <math>\varepsilon > 0</math> существует натуральный элемент <math>n</math> такой, что <math>1/n < \varepsilon</math>.''

== Примеры и контрпримеры ==

=== Множество действительных чисел ===
Наиболее известный пример архимедова поля — это множество [[Вещественное число|действительных чисел]]. Если рассматривать множество действительных чисел как [[Фундаментальная последовательность|пополнение]] совокупности [[Рациональное число|рациональных]] (например, с помощью [[Дедекиндово сечение|дедекиндовых сечений]]), то свойство Архимеда для действительных чисел вытекает из того, что им обладают рациональные числа. В одной из систем аксиом действительных чисел, которая была предложена [[Гильберт, Давид|Гильбертом]]<ref>{{книга
|автор = Гильберт Д.
|заглавие = Основания геометрии
|место = М.-Л.
|издательство = Главное издательство технико-теоретической литературы
|год = 1948
|страницы = 87
}}</ref>, совокупность действительных чисел определяется как максимальное архимедово упорядоченное поле, то есть упорядоченное поле, удовлетворяющее аксиоме Архимеда (то есть не содержащее инфинитезимальных элементов), которое нельзя расширить до большего архимедова упорядоченного поля.

=== Неархимедово упорядоченное поле ===
В качестве примера (вернее, контрпримера) упорядоченного поля, для которого не выполнена аксиома Архимеда, рассмотрим совокупность [[рациональная функция|рациональных функций]] с действительными коэффициентами, то есть функций вида
: <math>
R(x) = \frac{a_n x^n + \ldots + a_1 x + a_0}{b_m x^m + \ldots + b_1 x + b_0}.
</math>
Относительно обычных операций сложения и умножения эта совокупность образует [[Поле (алгебра)|поле]]. Введём [[отношение порядка]] на совокупности рациональных функций следующим образом. Пусть <math>f</math> и <math>g</math> — две рациональные функции. Мы скажем, что <math>f > g</math> тогда и только тогда, когда в некоторой [[Окрестность|окрестности]] <math>+\infty</math> разность <math>f-g</math> имеет строго положительный знак. Это условие можно сформулировать и в терминах коэффициентов рациональных функций <math>f</math> и <math>g</math>. Запишем разность <math>f-g</math> в виде многочлен + правильная рациональная дробь:
: <math>
f(x) - g(x) = c_{n-m} x^{n-m} + \ldots + c_1 x + c_0 + \frac{d_k x^k + \ldots + d_1 x + d_0}{x^m + b_{m-1}x^{m-1} + \ldots + b_1 x + b_0},
</math>
где последнее слагаемое в правой части — правильная рациональная дробь, то есть степень числителя меньше степени знаменателя: <math>k < m</math>. Будем также считать, что старший коэффициент знаменателя <math>b_m</math> равен <math>1</math>. Тогда <math>f > g</math> тогда и только тогда, когда либо <math>c_{n-m} > 0</math>, либо полиномиальная часть отсутствует и <math>d_k > 0</math>. Несложно проверить корректность этого определения порядка (следует проверить как то, что введённое отношение действительно является отношением порядка, и то, что это отношение согласовано с операциями поля).

Таким образом, совокупность рациональных функций образует упорядоченное поле. Заметим, что оно является расширением поля действительных чисел, но аксиома Архимеда здесь не имеет места (см. конец предыдущего раздела). Действительно, рассмотрим элементы <math>1</math> и <math>x</math>. Очевидно, каким бы ни было натуральное число <math>n</math>, имеет место неравенство:
: <math>
\underbrace{1 + 1 + \ldots + 1}_{n} = n \cdot 1 < x.
</math>
Другими словами, <math>x</math> — бесконечно большой элемент поля по отношению к единице. Тем самым аксиома Архимеда в этом поле не имеет места.

== См. также ==
*[[p-адическое число]]
*[[Нестандартный анализ]]
*[[Ультраметрическое пространство]]

== Примечания ==
{{примечания}}

== Литература ==
* {{книга
|ответственный = Под ред. А. П. Юшкевича
|заглавие = История математики
|место = М.
|издательство = «Наука»
|год = 2003
|том = 1
}}
* {{книга
|автор = Евклид
|ответственный = Перевод Д. Д. Мордухай-Болтовского
|заглавие = Начала
|место = М.-Л.
|издательство = Главное издательство технико-теоретической литературы
|год = 1948
|том = 1
}}
* {{книга
|автор = Гильберт Д.
|заглавие = Основания геометрии
|место = М.-Л.
|издательство = Главное издательство технико-теоретической литературы
|год = 1948
}}
* {{книга
|автор = Бурбаки Н.
|заглавие = Очерки по истории математики
|ответственный = Пер. И. Г. Башмаковой под ред. К. А. Рыбникова
|место = М.
|издательство = Издательство иностранной литературы
|год = 1963
}}

{{внешние ссылки}}

[[Категория:Основания геометрии]]
[[Категория:Упорядоченные множества]]
[[Категория:Математический анализ]]
[[Категория:Архимед]]
[[Категория:Именные законы и правила]]

Аксиома Архимеда - История изменений

imported>V1adis1av: оформление