Непрерывность и иррациональные числа. Сечения Дедекинда

Непрерывность и иррациональные числа. Сечения Дедекинда

Реферат на тему:

"Непрерывность и иррациональные числа. Сечения Дедекинда"

Студентки 408 группы 4 курса

механико-математического факультета

МГУ им. Ломоносова

Мильчевской Владиславы Юрьевны

Москва

Содержание

1.       История иррациональности до Дедекинда

2.       Рассуждения Дедекинда

2.1          Рациональные числа и рациональные точки на числовой прямой

2.2     Непрерывность области вещественных чисел или неявное понятие точной верхней грани

.3       Вычисления с вещественными числами

2.4     Анализ бесконечно малых или "о переменных величинах, о функциях, о пределах"

3.       Дальнейшее развитие теории

Список используемой литературы

иррациональный арифметический число дедекинд

1. История иррациональности

"Открытие" иррациональных чисел само по себе - неоднозначный с исторической точки зрения факт. Неоднозначный в том смысле, что неясно, кто же "открыл" их первым. Считается, что неявным образом иррациональность была воспринята уже в 750-690гг. до н.э. в Индии, когда местный математик Манава выяснил, что квадратные корни некоторых натуральных чисел, таких как 2 и 61, не могут быть явно выражены.

Первое доказательство существования иррациональных чисел приписывают пифагорейцу Гиппасу из Метапонта (примерно 500гг. до н. э.), который нашел это доказательство, изучая длины сторон пентаграммы. Пифагорейцы считали, что существует некоторая малая неделимая единица длины, которой, неформально говоря, можно все измерить (то есть, она входит в любой отрезок целое число раз). Однако Гиппас на примере гипотенузы равнобедренного прямоугольного треугольника показал, что это не так. Доказательство следующее:

§   По теореме Пифагора a² = 2b².

§   Так как a² четное, a должно быть четным (так как квадрат нечетного числа был бы нечетным).

§   Поскольку a:b несократима, b обязано быть нечетным.

§   Так как a четное, обозначим a = 2y.

§   Тогда a² = 4y² = 2b².

§   b² = 2y², следовательно b² четное, тогда и b четно.

§   Однако было доказано, что b нечетное. Противоречие.

Это отношение впоследствии было названо невыразимым (отношение несоизмеримых величин). Существует известная легенда, что другие пифагорейцы выбросили Гиппаса за борт (считают, что свое открытие он совершил во время морского похода) за "создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям". Однако смерть математика не прервала надолго изучение греками иррациональностей, хотя и поставила перед пифагорейцами серьезную проблемы, разрушив предположение о неразделимости чисел и геометрических объектов.

Феодор Киренский (конец V - начало VI века до н.э.) доказал иррациональность корней из натуральных чисел от 1 до 17, исключая 1, 4, 9 и 16. На этом он остановился, так как имеющаеся в его распоряжении алгебра не позволяла доказать иррациональность корня из 17. Предположительно, он, как и Гиппас, для своих доказательств пользовался пифагорейской теорией четных и нечетных чисел. Позже Евдокс Книдский развил теорию пропорций, которая принимала во внимание как рациональные, так и иррациональные отношения. Величина в его теории стала считаться не числом, а обозначением сущностей, таких как отрезки прямых, углы, площади, объемы, промежутки времени - которые могут меняться непрерывно в современном понимании этих слов. Числа же могли меняться лишь скачками (от 4 к 5, например). Убрав из уравнений количественные значения (никакое количественное значение не сопоставлялось величине), Евдокс при определении дроби смог охватить как отношения соизмеримых величин, так и несоизмеримых, и тем самым избежал ловушки, состоящей в необходимости назвать иррациональную величину числом. Его теория дала греческим математикам необходимое логическое обоснование для работы с несоизмеримыми и позволила совершить огромный прогресс в геометрии.

Средние века ознаменовались принятием таких понятий как нуль, отрицательные числа, целые и дробные числа. Арабские математики первыми стали считать отрицательные числа алгебраическими объектами наряду с положительными, что положило начало развитию алгебры. Они также соединили древнегреческие понятия "величины" и "числа" в единую, более общую идею вещественных чисел. Персидский математик Аль Махани (примерно 800 гг. н.э.) в своих комментариях к Десяти Элементам Евклида исследовал и классифицировал квадратичные и кубические иррациональности. Он также ввел арифметический подход к множеству иррациональных чисел:

"результат сложения иррациональной величины и рациональной, результат вычитания рациональной величины из иррациональной, результат вычитания иррациональной величины из рациональной."

Египетский математик Абу Камил (ок. 850 г. н. э. - ок. 930 г. н. э.) был первым, кто счел приемлемым признать иррациональные числа решением квадратных уравнений или коэффициентами в уравнениях - в основном, в виде квадратных или кубических корней, а также корней четвёртой степени. В X веке иракский математик Аль Хашими вывел общие доказательства (а не наглядные геометрические демонстрации) иррациональности произведения, частного и результатов иных математических преобразований над иррациональными и рациональными числами. Ал Хазин (900 г. н. э. - 971 г. н. э.) приводит следующее определение рациональной и иррациональной величины:

Пусть единична величина содержится в данной величине один или несколько раз, тогда эта [данная] величина соответствует целому числу… Каждая величина, которая составляет половину, или треть, или четверть единичной величины, или, сравненная с единичной величиной составляет три пятых от нее, это рациональная величина. И в целом, всякая величина, которая относится к единичной как одно число к другому, является рациональной. Если же величина не может быть представлена как несколько или часть (l/n), или несколько частей (m/n) единичной длины, она иррациональная, то есть невыразимая иначе как с помощью корней.

Многие из этих идей были позже переняты европейскими математиками после перевода на латынь арабских текстов в XII веке. Аль Хассар, арабский математик из Магриба, специализировавшийся на исламских законах о наследстве, в XII веке ввел современную символьную математическую нотацию для дробей, разделив числитель и знаменатель горизонтальной чертой. Та же нотация появилась затем в работах Фибоначчи в XIII веке. В течение XIV-XVI вв. Мадхава из Сангамаграмы и представители Карельской школы астрономии и математики исследовали бесконечные ряды, сходящиеся к некоторым иррациональным числам, например, к π, а также показали иррациональность некоторых тригонометрических функций. Джестадева привел эти результаты в книге Йуктибхаза.

В XVII веке в математике прочно укрепились комплексные числа, вклад в изучение которых внесли Абрахам де Муавр <#"556008.files/image001.gif">, , , при этом мы понимаем как ) система R обладает следующими свойствами:

·        Если, , то .

Как говорит Дедекинд, "не опасаясь отголоска геометрических представлений, будем это выражать так: b лежит между обоими числами a и c", при этом речь не идет о геометрической интерпретации, а только о словесном обозначении этого свойства.

·   Если a и b суть два различных числа, то всегда существует бесконечное множество чисел, лежащих между a и b.

·        Если а есть определенное число, то все числа системы R распадаются на два класса  и, каждый из которых содержит бесконечно много индивидуумов (здесь: рациональных чисел). Класс  - числа, меньшие а, класс - большие. Само число а может быть отнесено к любому из двух классов. Тогда оно является либо наибольшим числом в первом классе, либо наименьшим во втором. В любом случае, каждое число первого класса не больше любого числа из второго.

Такие свойства рациональных чисел можно легко ассоциировать с расположение точек на прямой (прямую обозначим через L). Я позволю себе не переписывать, как это сделал Дедекинд, аналогичные свойства для точек, замечу только, что, если все слова "число а больше числа b" заменить на "точка а лежит правее точки b", то искомые свойства получатся.

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

Таким образом получается, что в классе  нет наименьшего числа (речь о рациональных), а в  - наибольшего. В том свойстве, что не все сечения производятся рациональными числам, и есть "неполнота" и разрывность этой области (в этой статье мы вслед за Дедекиндом позволяем себе называть областью множество рациональных чисел). Всякий раз, когда нам дано сечение, которое не может быть порождено рациональным числом, мы создаем новое иррациональное число. Существенно различные сечения мы определяем по тому, есть ли в них различные элементы, то есть такие, которые для одного сечения принадлежат к первому классу (где числа "меньше"), а для другого - ко второму. Однако это еще не точное определение: если такое число единственно, оно автоматически является наибольшим в первом классе одного сечения и наименьшим во втором классе другого. В этом случае, как мы уже определяли, сечения несущественно различны. Таким образом, существенно различными сечениями назовем те, в которых есть как минимум два различных элемента в несоответствующих классах. Благодаря тому, что существенно различным сечениям соответствуют различные числа в случае рациональных, в случае иррациональных мы может предположить то же по определению. Если отвлечься от терминологии Дедекинда и, присмотревшись, увидеть в таких сечениях смысл супремума или инфимума - точной верхней и нижней граней соответственно, - можно заключить, что наше предположение оправдано и правдоподобно. Из двух различных иррациональных чисел теми же очевидными рассуждениями с помощью сечений одно всегда оказывается больше, а другое меньше. Здесь надо отметить, что различные рациональные числа изначально у нас определялись по-другому (через понятие разности, которая должна была быть больше или меньше нуля).

2.2     Непрерывность области вещественных чисел или неявное понятие точной верхней грани

Определив на вещественных числах -  - отношение "больше-меньше", теперь мы можем утверждать, что полученная система, как пишет Дедекинд, "образует правильно распределенную область одного измерения". Под этими словами автор подразумевает следующее:

Доказательство вытекает непосредственно из определений предыдущих параграфов.

Дедекинд пишет: "Кроме этих свойств [три свойства из определения правильно распределенной области одного измерения] область  обладает еще непрерывностью, то есть имеет место следующее предположение:

На этом месте стоит остановиться подробнее. Сам Дедекин неоднократно в своей статье отмечал, что строгого понятия непрерывности ему еще не было известно, и это дедало дальнейшее развитие анализа так называемыми рассуждениями "на пальцах". По сути, в пункте IV дано определение точной верхней (и одновременно нижней) грани, и за аксиому взят тот факт, что верхняя (или нижняя) грань единственна. В том курсе анализа, который читается сейчас, это утверждение доказывают, исходя, правда, из другого, как мне кажется, более наглядного определения точной верхней грани. Здесь же обычное определение неявно присутствует, но о том, что иррациональные числа могут быть получены как предел или супремум ограниченной последовательности рациональных, четко нигде не написано.

Эта, с моей точки зрения, основная мысль статьи Дедекинда, однако, не была так легко сформулирована в начале статьи из-за отсутствия устоявшейся аксиоматики в то время. Как строго объяснить начала анализа и создать четкую теорию вещественных чисел, предлагали многие: и Вейерштрасс, и Гейне, и Кантор, и Ш. Мере. Но сам Дедекинд отмечает, что в 1874 году к нему в руки попала статья Гейне, в которой объяснялась точка зрения автора на теорию вещественных чисел. Однако, сочтя изложение в статье более сложным, чем свое собственное, Дедекинд печатает рассматриваемое здесь рассуждение о сечениях.

Стоит отметить, однако, что в случае непрерывности изложение Дедекинда просто и легко доказывается. Приведу доказательство без изменений:

2.3 Вычисления с вещественными числами

Намного сложнее обстоит дело с правилами вычисления для вещественных чисел. Чтобы задать вычисления с вещественными числами, то есть, свести их к вычислениям с рациональными, надо определить сечения, соответствующие данным вычислениям. Рассмотрим на примере простейшей арифметической операции - сложения.

Если с есть какое-либо рациональное число, то ты отнесем его к классу , если существуют два числа  из  и  из , такие, что . Все остальные числа отнесем к классу . Это подразделение всех рациональных чисел на два класса образует сечение (, ). Суммой двух чисел  и , породивших соответственно разбиения  и , назовем число , породившее разбиение (, ). Аналогично определяются сложение, умножение и деление.

Таким образом Дедекинд пришел к тому действительному доказательству теорем и равенств, таких как, например, , которые раньше, по его мнению, строго доказаны не были.

Доказательство различных арифметический свойств, верных для рациональный чисел, также необходимо перенести на случай всех вещественных. Например, простейшее равенство  вызывает опасение, что для его доказательства в случае любых действительных чисел придется делать массу отступлений (например, определять различные интервалы между вещественными числами) и производить операции с разного рода сложными структурами. Однако, это не совсем так. Дедекинд в качестве решения подобной проблемы утверждает, что непрерывностью обладают сами операции, и приводит это в форме общей теоремы, которую я позволю себе процитировать:

2.4     Анализ бесконечно малых или "о переменных величинах, о функциях, о пределах"

Также, в статье приведено объяснение утверждения, которое в анализе читается как эквивалентность определений по Коши и по Гейне. Вот оно:

На этом автор останавливается.

С моей точки зрения, аппарат пределов, функций и точных граней несколько удобнее для практических целей, нежели теория сечений Дедекинда. Возможно, поэтому в современной математике им пользуются. Однако можно с уверенностью сказать, что человеку, привыкшему к определенной устоявшейся точке зрения, нелегко судить объективно. Несомненно, вклад Дедекинда в развитие математики велик, и было бы верхом неучтивости пытаться его приуменьшить.

3. Дальнейшее развитие теории

В этом разделе я приведу не свое мнение насчет того, как именно изобретение немецкого ученого повлияло на ход математических рассуждений в мире, а скорее кратко повторю мнение переводчика, профессора С.О. Шатуновского, благодаря которому у меня была возможность читать статью по-русски.

Шатуновский отмечает, что, хотя это и не обозначено в статье явно, теория рациональных чисел строится на знаках, под которыми подразумеваются определенные смыслы, отражающие понятие числа. Говоря лингвистическим языком, в каждый конкретный знак или символ мы можем вложить любое денотативное значение. В тот момент, когда появляются новые смыслы, расширяется и система знаков. Так, когда стало недостаточно натуральных чисел и понадобилось вложить новое свойство в числовую систему - растянутость в обе стороны - придумали обозначать отрицательные числа знаком минус перед знаком числа. Новые символы ввели для обозначения дробей, и так далее.

Если сформулировать эту идею в более общем виде, расширяя ту или иную систему, мы "заполняет пустые места". Всякий раз, когда появляются новые свойства, их приходится описывать новыми объектами или знаками; и это тот самый фундамент, на котором, как мне кажется, должны держаться новые построения.

Создавать нечто, чего еще не было, и тем более, дополнять уже работающую, функциональную систему - опасное начинание. Важно, например, заполнить не все пустые места, или другая трудность: новая система может перестать обладать некоторыми свойствами предыдущей. В этом смысле подход Дедекинда наиболее естественный и наглядный. Во всех случаях, когда "не хватало" рациональных чисел, появились иррациональные, и система стала полна в том смысле, что для нее верно свойство непрерывности.

В качестве приложения к переводу статьи Дедекинда Шатуновский приводит доказательство Кантора существования трансцендентных чисел, как бы показывая тем самым, что это следующая ступень развития той же системы.

На меня это фундаментальное замечание переводчика и тот способ, которым Дедекинд расширил систему рациональных чисел, произвело большое впечатление. Сначала заметив только недостатки в сложной структуре сечений, каждое из которых имело два класса (когда можно было бы обойтись одним и говорить о точных верхних или нижних гранях), теперь я осознаю, что, именно так заданная, она наиболее наглядно демонстрирует тот факт, что наша главная задача - правильно расширить систему.

Список используемой литературы

·        Р. Дедекинд, Непрерывность и иррациональные числа, Одесса 1923

·        Википедия, статьи "Иррациональность", "Предел", "Вещественное число", "Дедекинд, Юлиус Вильгельм Рихард", "Гейне, Генрих"

·        Лекции по истории математики, мехмат.