Loading AI tools
З Вікіпедії, вільної енциклопедії
Аксіома Архімеда, або принцип Архімеда, або властивість Архімеда — математичне положення, яке назване за ім'ям давньогрецького математика Архімеда. Уперше це положення було сформульоване Евдоксом Кнідським в його теорії відношень величин (поняття величини у Евдокса охоплює як числа, так і неперервні величини: довжини, площі, об'єми[1]):
Якщо є дві однотипні величини і , то взявши доданком достатню кількість разів, можна перевершити :
Наприклад, для відрізків, аксіома Архімеда звучить так: якщо дано два відрізки, то відклавши достатню кількість разів менший з них, можна покрити більший.
Твердження аксіоми Архімеда здається тривіальним, але її справжній зміст полягає у відсутності нескінченно малих або нескінченно великих величин. По-справжньому значення аксіоми Архімеда стало зрозуміле в XIX столітті, коли було виявлено існування величин, для яких це властивість не виконується. Слідом за цим, математичні структури, для яких властивість Архімеда виконується стали називати архімедовими, наприклад, архімедове поле, архімедова група, а ті, для яких вона не має місця — неархімедовими.
Аксіома, відома в математиці як аксіома Архімеда, насправді була вперше сформульована Евдоксом Кнідським. Цей постулат відігравав ключову роль в його теорії відношень, яка, по суті, була першою аксіоматичною теорією дійсних чисел. Тому її також називають аксіомою Евдокса.
Теорія Евдокса дійшла до нас у викладі Евкліда («Начала», книга V).
![]() |
Кажуть, що величини мають відношення між собою, якщо вони, взяті кратно, можуть стати більшими один за одну | ![]() |
— «Начала», книга V, определение 4[2] |
Аксіома Евдокса-Архімеда лежала в основі так званого «методу вичерпування», винайденого Евдоксом — методу знаходження площ фігур, об'ємів тіл, довжин дуг за допомогою аналога сучасних сум Рімана та Дарбу. За допомогою свого методу Евдокс строго довів кілька теорем про обчислення площ та об'ємів. Проте найбільших успіхів у цій галузі досяг Архімед. За допомогою методу Евдокса він знайшов ряд нових площ і об'ємів. При цьому, оскільки в Стародавній Греції не існувало поняття послідовності, границі послідовності, Архімеду доводилося в кожній конкретній задачі повторювати міркування заново. Таким чином, у своїх творах Архімед формулював і використовував аксіому Евдокса-Архімеда. При цьому сам Архімед у вступі до своєї «Квадратура параболи» підкреслює, що ця аксіома вживалася його попередниками, і відігравала істотну роль в роботах Евдокса[3]
Нехай — лінійно впорядкована група[en], і — додатні елементи . Елемент називається нескінченно малим по відношенню до елемента (а — нескінченно великим по відношенню до ), якщо для будь-якого натурального має місце нерівність
Група називається архімедовою, якщо для неї виконується аксіома Архімеда: у не існує пари елементів , , таких що — нескінченно мале по відношенню до .
Нехай — впорядковане поле. Оскільки всяке упорядковане поле є лінійно впорядкованою групою, то всі вищенаведені визначення нескінченно малого і нескінченно великого елементів, а також формулювання аксіоми Архімеда зберігають силу. Однак тут є ряд специфічних особливостей, завдяки яким формулювання аксіоми Архімеда спрощується.
Нехай — додатні елементи .
Нескінченно малі і нескінченно великі елементи об'єднуються під назвою інфінітезимальних елементів.
Відповідно формулювання аксіоми Архімеда спрощується: упорядковане поле має властивість Архімеда, якщо в ньому немає нескінченно малих елементів, або, еквівалентно, якщо в ньому немає нескінченно великих елементів. Якщо тут розгорнути визначення нескінченно малого (або нескінченно великого) елемента, то отримаємо наступне формулювання аксіоми Архімеда:
Або, еквівалентне формулювання,
Найвідоміший приклад архімедового поля — множина дійсних чисел. Якщо розглядати множину дійсних чисел як поповнення множини раціональних (наприклад, за допомогою дедекіндових перерізів), то властивість Архімеда для дійсних чисел випливає з того, що її мають раціональні числа. У зв'язку з цим слід зазначити, що в одній з систем аксіом дійсних чисел, яка була запропонована Гільбертом[4], множина дійсних чисел визначається як максимальне архімедове упорядковане поле, тобто упорядковане поле, яке задовольняє аксіомі Архімеда (тобто не містить інфінітезімальних елементів), яке не можна розширити до більшого архімедового впорядкованого поля.
Як приклад (вірніше, контрприклад) впорядкованого поля, для якого не виконана аксіома Архімеда, розглянемо множину раціональних функцій з дійсними коефіцієнтами, тобто функцій виду
Відносно звичайних операцій додавання і множення ця множина утворює поле. Введемо відношення порядку на сукупності раціональних функцій наступним чином. Нехай і — дві раціональні функції. Ми скажемо, що , якщо і тільки якщо у деякому околі різниця має строго додатній знак. Цю умову можна сформулювати і в термінах коефіцієнтів раціональних функцій і . Запишемо різницю у вигляді многочлен + правильний раціональний дріб:
де другий доданок в правій частині — правильний раціональний дріб, тобто степінь чисельника менше степеня знаменника: . Будем також вважати що старший коефіцієнт знаменника рівний . Тоді тоді й тільки тоді, коли або , або поліноміальної частини немає і . Нескладно перевірити коректність цього визначення порядку (слід перевірити як те, що введене відношення дійсно є відношенням порядку, і що це відношення узгоджене з операціями поля).
Таким чином, множина раціональних функцій утворює впорядковане поле. Зауважимо, що воно є розширенням поля дійсних чисел, але аксіома Архімеда тут не має місця (див. кінець попереднього розділу). Справді, розглянемо елементи і . Очевидно, яким би не було натуральне число , має місце нерівність:
Іншими словами, — нескінченно великий елемент поля. Тим самим аксіома Архімеда у цьому полі не має місця.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.