Элементарное доказательство
В математике элементарное доказательство — это математическое доказательство , в котором используются только базовые методы. Более конкретно, этот термин используется в теории чисел для обозначения доказательств, в которых не используется комплексный анализ . Исторически когда-то считалось, что некоторые теоремы , такие как теорема о простых числах , можно доказать только с помощью «высших» математических теорем или методов. Однако с течением времени многие из этих результатов были впоследствии опровергнуты с использованием только элементарных методов.
Хотя обычно нет единого мнения относительно того, что считать элементарным, этот термин, тем не менее, является распространенной частью математического жаргона . Элементарное доказательство не обязательно является простым в том смысле, что оно легко для понимания или тривиально. На самом деле некоторые элементарные доказательства могут быть весьма сложными — и это особенно верно, когда речь идет о утверждениях особой важности. [1]
простых Теорема о числах
Различие между элементарными и неэлементарными доказательствами считалось особенно важным в отношении теоремы о простых числах . Эта теорема была впервые доказана в 1896 году Жаком Адамаром и Шарлем Жаном де ла Валле-Пуссеном с использованием комплексного анализа. [2] Многие математики тогда безуспешно пытались построить элементарные доказательства теоремы. Г.Х. Харди выразил серьезные сомнения; он считал, что существенная « глубина » результата исключает элементарные доказательства:
Никакого элементарного доказательства теоремы о простых числах неизвестно, и можно задаться вопросом, разумно ли его ожидать. Теперь мы знаем, что эта теорема примерно эквивалентна теореме об аналитической функции , теореме о том, что дзета-функция Римана не имеет корней на определенной прямой . Доказательство такой теоремы, принципиально не зависящее от теории функций, кажется мне чрезвычайно маловероятным. Было бы опрометчиво утверждать, что математическая теорема не может быть доказана определенным способом; но одно кажется совершенно ясным. У нас есть определенные взгляды на логику теории; мы думаем, что некоторые теоремы, как мы говорим, «лежат глубоко», а другие — ближе к поверхности. Если кто-нибудь предоставит элементарное доказательство теоремы о простых числах, он покажет, что эти взгляды ошибочны, что предмет не связан так, как мы предполагали, и что настало время отбросить книги и заняться исследованием. теорию надо переписать.
- Г. Х. Харди (1921). Лекция в Математическом обществе Копенгагена. Цитируется по Goldfeld (2003), с. 3 [3]
Однако в 1948 году Атле Сельберг разработал новые методы, которые позволили ему и Полу Эрдешу найти элементарные доказательства теоремы о простых числах. [3]
Гипотеза Фридмана [ править ]
Харви Фридман предположил : «Каждая теорема, опубликованная в « Анналах математики», формулировка которой включает в себя только финитные математические объекты (т. е. то, что логики называют арифметическим утверждением), может быть доказана с помощью элементарной арифметики». [4] Форма элементарной арифметики, упомянутая в этой гипотезе, может быть формализована с помощью небольшого набора аксиом, касающихся целочисленной арифметики и математической индукции . Например, согласно этой гипотезе, Великая теорема Ферма должна иметь элементарное доказательство; Доказательство Уайлсом Великой теоремы Ферма не является элементарным. Однако есть и другие простые утверждения об арифметике, такие как существование повторяющихся показательных функций, которые не могут быть доказаны в этой теории.
Ссылки [ править ]
- ^ Даймонд, Гарольд Г. (1982), «Элементарные методы изучения распределения простых чисел», Бюллетень Американского математического общества , 7 (3): 553–89, doi : 10.1090/S0273-0979-1982-15057 -1 , МР 0670132 .
- ^ Загер, Дон. «Краткое доказательство Ньюмана теоремы о простых числах» (PDF) . Математическая ассоциация Америки . Архивировано (PDF) из оригинала 14 июля 2014 г.
- ^ Jump up to: Перейти обратно: а б Голдфельд, Дориан М. (2003), Элементарное доказательство теоремы о простых числах: историческая перспектива (PDF) , стр. 3 , получено 31 октября 2009 г.
- ^ Авигад, Джереми (2003), «Теория чисел и элементарная арифметика» (PDF) , Philosophia Mathematica , 11 (3): 257, в 258, номер документа : 10.1093/philmat/11.3.257 .
