В математике , то иррациональные числа (от не- Приставка приравнено к внутри- (отрицательный префикс, отнимающий ) + рациональны) являются все действительные числа , которые не являются рациональными числами . То есть иррациональные числа не могут быть выражены как отношение двух целых чисел . Когда отношение длин двух сегментов линии является иррациональным числом, сегменты линии также описываются как несоизмеримые , что означает, что у них нет общей «меры», то есть нет длины («меры»), нет независимо от того, насколько коротким, это можно было бы использовать для выражения длин обоих из двух данных сегментов как целых кратных самой себе.
К иррациональным числам относятся отношение π длины окружности к ее диаметру, число Эйлера e , золотое сечение φ и квадратный корень из двух . [1] [2] [3] Фактически, все квадратные корни из натуральных чисел , кроме полных квадратов , иррациональны.
Как и все действительные числа, иррациональные числа могут быть выражены в позиционной записи , особенно в виде десятичного числа. В случае иррациональных чисел десятичное разложение не заканчивается и не заканчивается повторяющейся последовательностью . Например, десятичное представление числа π начинается с 3,14159, но никакое конечное число цифр не может точно представлять π и не повторяется. И наоборот, десятичное раскрытие, которое заканчивается или повторяется, должно быть рациональным числом. Это доказуемые свойства рациональных чисел и позиционных систем счисления, которые не используются в математике в качестве определений.
Иррациональные числа также могут быть выражены в виде непрерывных дробей и многими другими способами.
Как следствие доказательства Кантора, что действительные числа несчетны, а рациональные - счетные, следует, что почти все действительные числа иррациональны. [4]
История
Древняя Греция
Первое доказательство существования иррациональных чисел обычно приписывается пифагорейцу (возможно, Гиппасу из Метапонта ) [5], который, вероятно, обнаружил их, определяя стороны пентаграммы . [6] Тогдашний метод Пифагора должен был утверждать, что должна быть некоторая достаточно маленькая, неделимая единица, которая могла бы равномерно вписаться в одну из этих длин, а также в другую. Однако Гиппас в V веке до нашей эры смог сделать вывод, что на самом деле не существовало общей единицы измерения, и что утверждение о таком существовании на самом деле было противоречием. Он сделал это, показав , что если гипотенузу из равнобедренного треугольник действительно соизмерим с ногой, то один из этих длин измеренных в этой единице измерения должна быть четными и даже, что невозможно. Его рассуждения таковы:
- Начните с равнобедренного прямоугольного треугольника со сторонами целых чисел a , b и c . Отношение гипотенузы к катету представлено как c : b .
- Предположим, что a , b и c выражены в наименьших возможных единицах ( т.е. у них нет общих факторов).
- По теореме Пифагора : c 2 = a 2 + b 2 = b 2 + b 2 = 2 b 2 . (Поскольку треугольник равнобедренный, a = b ).
- Поскольку c 2 = 2 b 2 , c 2 делится на 2 и, следовательно, даже.
- Поскольку c 2 четно, c должно быть четным.
- Поскольку c четно, деление c на 2 дает целое число. Пусть y будет этим целым числом ( c = 2 y ).
- Возводя обе части с = 2 Y выходы с 2 = (2 у ) 2 , или с 2 = 4 у 2 .
- Подставляя 4 у 2 для C 2 в первом уравнении ( с 2 = 2 б 2 ) дает нам 4 у 2 = 2 б 2 .
- Разделив на 2, получим 2 y 2 = b 2 .
- Поскольку y является целым числом, а 2 y 2 = b 2 , b 2 делится на 2 и, следовательно, даже.
- Поскольку b 2 четно, b должно быть четным.
- Мы только что показали, что и b, и c должны быть четными. Следовательно, у них есть общий множитель 2. Однако это противоречит предположению, что у них нет общих множителей. Это противоречие доказывает, что c и b не могут быть одновременно целыми числами, и, следовательно, существование числа, которое не может быть выражено как отношение двух целых чисел. [7]
Греческие математики назвали это соотношение несоизмеримых величин alogos , или невыразимым. Гиппаса, однако, не хвалили за его усилия: согласно одной легенде, он сделал свое открытие, находясь в море, и впоследствии был выброшен за борт своими товарищами-пифагорейцами, «… за то, что создал во вселенной элемент, который отрицал… доктрину о том, что все явления во Вселенной можно свести к целым числам и их отношениям ». [8] Другая легенда гласит, что Гиппас был просто изгнан за это откровение. Какими бы ни были последствия для самого Гиппаса, его открытие поставило очень серьезную проблему для пифагорейской математики, поскольку оно разрушило предположение о неразрывности числа и геометрии - основу их теории.
Открытие несоизмеримых соотношений указывало на другую проблему, с которой столкнулись греки: отношение дискретного к непрерывному. Это было обнаружено Зеноном Элейским , который поставил под сомнение концепцию, согласно которой количества дискретны и состоят из конечного числа единиц заданного размера. Согласно прежним греческим концепциям, они обязательно должны быть такими, поскольку «целые числа представляют дискретные объекты, а соизмеримое соотношение представляет собой отношение между двумя совокупностями дискретных объектов» [9], но Зенон обнаружил, что на самом деле «[количества] в целом не являются дискретные наборы единиц; вот почему появляются отношения несоизмеримых [величин] ... Другими словами, [количества] непрерывны ». [9] Это означает, что вопреки популярной концепции времени не может быть неделимой, наименьшей единицы измерения для любой величины. Фактически, эти количественные деления обязательно должны быть бесконечными . Например, рассмотрим линейный сегмент: этот сегмент можно разделить пополам, половину - пополам, половину - пополам и так далее. Этот процесс может продолжаться бесконечно, потому что всегда есть другая половина, которую нужно разделить. Чем чаще сегмент делится вдвое, тем ближе единица измерения к нулю, но никогда не достигает точного нуля. Именно это и пытался доказать Зенон. Он попытался доказать это, сформулировав четыре парадокса , демонстрирующих противоречия, присущие математической мысли того времени. Хотя парадоксы Зенона точно продемонстрировали недостатки современных математических концепций, они не рассматривались как доказательство альтернативы. В представлении греков опровержение справедливости одной точки зрения не обязательно доказывало обоснованность другой, и поэтому требовалось дальнейшее исследование.
Следующий шаг был сделан Евдоксом Книдским , который формализовал новую теорию пропорций, которая учитывала соизмеримые, а также несоизмеримые величины. Центральным в его идее было различие между величиной и числом. Величина «... не была числом, а обозначала такие объекты, как отрезки линий, углы, площади, объемы и время, которые могли изменяться, как мы бы сказали, непрерывно. Величины были противопоставлены числам, которые прыгали от одного значения к другому, от 4 до 5. " [10] Числа состоят из некоторой наименьшей неделимой единицы, тогда как величины бесконечно уменьшаются. Поскольку количественные значения не были присвоены величине, Евдокс смог учесть как соизмеримые, так и несоизмеримые соотношения, определяя соотношение по величине и пропорции как равенство между двумя соотношениями. Убрав количественные значения (числа) из уравнения, он избежал ловушки, когда ему приходилось выражать иррациональное число в виде числа. «Теория Евдокса позволила греческим математикам добиться огромного прогресса в геометрии, предоставив необходимое логическое основание для несоизмеримых соотношений». [11] Эта несоизмеримость рассматривается в «Элементах» Евклида, книга X, предложение 9.
В результате различия между числом и величиной геометрия стала единственным методом, который мог учитывать несоизмеримые отношения. Поскольку предыдущие числовые основы все еще были несовместимы с концепцией несоизмеримости, греческий акцент сместился с таких числовых концепций, как алгебра, и сосредоточился почти исключительно на геометрии. Фактически, во многих случаях алгебраические концепции были переформулированы в геометрические термины. Это может объяснить , почему мы до сих пор мыслим х 2 и х 3 , как х квадрат и х кубу вместо й до второй степени и х к третьей степени. Также решающее значение для работы Зенона с несоизмеримыми величинами было фундаментальное внимание к дедуктивным рассуждениям, которое явилось результатом фундаментального разрушения ранней греческой математики. Осознание того, что некоторые основные концепции существующей теории расходятся с реальностью, потребовало полного и тщательного исследования аксиом и предположений, лежащих в основе этой теории. Исходя из этой необходимости, Евдокс разработал свой метод исчерпания , своего рода reductio ad absurdum, который «... установил дедуктивную организацию на основе явных аксиом ...», а также «... подкрепил ранее принятое решение полагаться. о дедуктивных рассуждениях для доказательства ». [12] Этот метод исчерпания - первый шаг в создании исчисления.
Теодор из Кирены доказал иррациональность использования целых чисел до 17, но остановился на этом, вероятно, потому что алгебра, которую он использовал, не могла быть применена к квадратному корню из 17. [13]
Только после того, как Евдокс разработал теорию пропорции, которая учитывала иррациональные, а также рациональные соотношения, была создана прочная математическая основа иррациональных чисел. [14]
Индия
Геометрические и математические проблемы, связанные с иррациональными числами, такими как квадратные корни, были решены очень рано в ведический период в Индии. Ссылки на такие вычисления есть в Самхитах , Брахманах и Шульба Сутрах (800 г. до н.э. или ранее). (См. Bag, Indian Journal of History of Science, 25 (1-4), 1990).
Предполагается, что концепция иррациональности была неявно принята индийскими математиками с 7 века до нашей эры, когда Манава (ок. 750 - 690 до н.э.) считал, что квадратные корни таких чисел, как 2 и 61, нельзя точно определить. [15] Однако историк Карл Бенджамин Бойер пишет, что «такие утверждения недостаточно обоснованы и вряд ли будут правдой». [16]
Также предполагается, что Арьябхата (V век нашей эры) при вычислении значения числа пи до 5 значащих цифр использовал слово асанна (приближение), чтобы обозначить, что это не только приближение, но и то, что значение несоизмеримо (или иррационально). .
Позже в своих трактатах индийские математики писали об арифметике сурдов, включая сложение, вычитание, умножение, рационализацию, а также разделение и извлечение квадратных корней. [17]
Математики, такие как Брахмагупта (в 628 году нашей эры) и Бхаскара I (в 629 году нашей эры), внесли свой вклад в эту область, как и другие математики, которые последовали за ней. В XII веке Бхаскара II оценил некоторые из этих формул и критиковал их, выявляя их ограничения.
В течение 14-16 веков Мадхава из Сангамаграмы и керальская школа астрономии и математики открыли бесконечный ряд для нескольких иррациональных чисел, таких как π, и некоторых иррациональных значений тригонометрических функций . Джишхадева представил доказательства этой бесконечной серии в « Юктибхане» . [18]
Средний возраст
В средние века , развитие алгебры на мусульманских математиков позволили иррациональные числа , которые будут рассматриваться в качестве алгебраических объектов . [19] Ближневосточные математики также объединили понятия « число » и « величина » в более общую идею действительных чисел , критиковали идею соотношений Евклида , разработали теорию составных отношений и расширили понятие числа до отношений непрерывных величина. [20] В своем комментарии к книге 10 элементов , то персидский математик Аль-Махани (д. 874/884) рассмотрены и классифицированы квадратичные иррациональности и кубические иррациональностями. Он дал определения рациональных и иррациональных величин, которые он рассматривал как иррациональные числа. Он имел дело с ними свободно, но объясняет их геометрическими терминами следующим образом: [21]
«Это будет рациональным (величина), когда мы, например, скажем 10, 12, 3%, 6% и т. Д., Потому что его значение произносится и выражается количественно. То, что нерационально, является иррациональным, и его невозможно произнести и представляют его значение количественно. Например: корни чисел, таких как 10, 15, 20, которые не являются квадратами, стороны чисел, не являющиеся кубиками, и т. д. "
В отличие от евклидова концепции величин как линий, Аль-Махани считал целые числа и дроби рациональными величинами, а квадратные и кубические корни - иррациональными величинами. Он также представил арифметический подход к концепции иррациональности, поскольку приписывает иррациональным величинам следующее: [21]
«их суммы или различия, или результаты их прибавления к рациональной величине, или результаты вычитания такой величины из иррациональной, или рациональной величины из нее».
Египетский математик Абу Камиль Shuja ибн Аслам (с 850 -. 930) был первым , чтобы принять иррациональные числа как решения квадратных уравнений или как коэффициенты в качестве уравнения , часто в виде квадратных корней, кубических корней и четвертых корней . [22] В 10 веке иракский математик Аль-Хашими предоставил общие доказательства (а не геометрические демонстрации) иррациональных чисел, поскольку он рассматривал умножение, деление и другие арифметические функции. [23] Иранский математик Абу Джафар аль-Хазин (900–971) дает определение рациональных и иррациональных величин, утверждая, что если определенная величина : [24]
"содержится в определенной данной величине один или несколько раз, тогда эта (данная) величина соответствует рациональному числу ... Каждый раз, когда эта (последняя) величина составляет половину, треть или четверть данной величины (единицы) или, по сравнению с (единицей), составляет три, пять или три пятых, это рациональная величина. И, в общем, каждая величина, которая соответствует этой величине ( т.е. единице), поскольку одно число к другому, является рациональным. Если, однако, величина не может быть представлена как кратное, часть (1 / n ) или части ( m / n ) данной величины, это иррационально, то есть не может быть выражено кроме корней ".
Многие из этих концепций в конечном итоге были приняты европейскими математиками спустя некоторое время после латинских переводов XII века . Аль-Хассар , марокканский математик из Феса, специализирующийся на исламской юриспруденции наследования в 12 веке, впервые упоминает использование дробной черты, где числители и знаменатели разделены горизонтальной чертой. В своем обсуждении он пишет: «... например, если вам говорят написать три пятых и одну треть пятого, напишите так:. » [25] Это же дробное представление появляется вскоре после этого в работе Леонардо Фибоначчи в 13 веке. [26]
Современный период
В 17 веке воображаемые числа стали мощным инструментом в руках Авраама де Муавра и особенно Леонарда Эйлера . Завершение теории комплексных чисел в 19 веке повлекло за собой разделение иррациональных чисел на алгебраические и трансцендентные , доказательство существования трансцендентных чисел и возрождение научных исследований теории иррациональных чисел, которые в значительной степени игнорировались со времен Евклида . В 1872 году были опубликованы теории Карла Вейерштрасса (его ученик Эрнст Коссак), Эдуарда Гейне ( Crelle's Journal , 74), Георга Кантора (Аннален, 5) и Ричарда Дедекинда . В 1869 году Мере взял ту же отправную точку, что и Гейне, но теорию обычно относят к 1872 году. Метод Вейерштрасса был полностью изложен Сальваторе Пинчерле в 1880 году [27], а метод Дедекинда получил дополнительную известность благодаря более поздним авторам. работа (1888 г.) и одобрение Пола Таннери (1894 г.). Вейерштрасс, Кантор и Гейне основывают свои теории на бесконечных рядах, в то время как Дедекинд основывает свои теории на идее разреза (Шнитта) в системе всех рациональных чисел , разделяя их на две группы, обладающие определенными характеристическими свойствами. Этот предмет получил более поздние работы от Вейерштрасса, Леопольда Кронекера (Crelle, 101) и Шарля Мере .
Непрерывные дроби , тесно связанные с иррациональными числами (благодаря Катальди, 1613 г.), привлекли внимание Эйлера, а в начале XIX века получили известность благодаря трудам Жозефа-Луи Лагранжа . Дирихле также внес свой вклад в общую теорию, как и многие участники, внесшие вклад в приложения этого предмета.
Иоганн Генрих Ламберт доказал (1761), что π не может быть рациональным и что e n иррационально, если n рационально (если n = 0). [28] Хотя доказательство Ламберта часто называют неполным, современные оценки подтверждают его как удовлетворительное, и на самом деле для своего времени оно необычайно строгое. Адриан-Мари Лежандр (1794 г.) после введения функции Бесселя – Клиффорда представил доказательство, показывающее, что π 2 иррационально, откуда немедленно следует, что π также иррационально. Существование трансцендентных чисел было впервые установлено Лиувиллем (1844, 1851). Позже Георг Кантор (1873) доказал их существование другим методом , который показал, что каждый интервал в вещественных числах содержит трансцендентные числа. Эрмит (1873) первым доказал е трансцендентное, и Фердинанд фон Линдеман (1882), исходя из выводов Эрмита, показал то же самое для я. Доказательство Линдеманна было значительно упрощено Вейерштрассом (1885 г.), еще дальше - Давидом Гильбертом (1893 г.) и, наконец, стало элементарным благодаря Адольфу Гурвицу [ необходима цитата ] и Полю Гордану . [29]
Примеры
Квадратные корни
Квадратный корень из 2 был первый номер доказанного иррациональный, и что статья содержит ряд доказательств. Золотое сечение является еще одним известным квадратичным иррациональным числом. Квадратные корни всех натуральных чисел, которые не являются полными квадратами , иррациональны, и доказательство можно найти в квадратичных иррациональных числах .
Общие корни
Приведенное выше доказательство для квадратного корня из двух можно обобщить с помощью основной арифметической теоремы . Это утверждает, что каждое целое число имеет уникальную факторизацию на простые числа. Используя его, мы можем показать, что если рациональное число не является целым числом, то его целая степень не может быть целым числом, так как в младших членах в знаменателе должно быть простое число, которое не делится на числитель независимо от степени, в которую каждое число возводится в . Поэтому, если целое не является точной K - ю степень другого числа, то , что первое число в к - й корень является иррациональным.
Логарифмы
Возможно, числа, которые легче всего доказать иррациональными, - это определенные логарифмы . Вот доказательство от противного, что log 2 3 иррационально (log 2 3 ≈ 1.58> 0).
Предположим, что log 2 3 рационально. Для некоторых натуральных чисел m и n имеем
Следует, что
Однако число 2, возведенное в любую степень положительного целого числа, должно быть четным (потому что оно делится на 2), а число 3, возведенное в любую степень положительного целого числа, должно быть нечетным (поскольку ни один из его простых делителей не будет равен 2). Ясно, что целое число не может быть одновременно четным и нечетным: приходим к противоречию. Единственное предположение, которое мы сделали, заключалось в том, что log 2 3 является рациональным (и поэтому выражается как частное целых чисел m / n с n 0). Противоречие означает, что это предположение должно быть ложным, т.е. log 2 3 иррационально и никогда не может быть выражено как частное целых чисел m / n с n 0.
Аналогичным образом можно рассматривать такие случаи, как log 10 2.
Типы
- Теоретико-числовое различие: трансцендентный / алгебраический
- нормальный / ненормальный (ненормальный)
Трансцендентный / алгебраический
Почти все иррациональные числа трансцендентны, а все реальные трансцендентные числа иррациональны (существуют также комплексные трансцендентные числа): в статье о трансцендентных числах приводится несколько примеров. Таким образом, e r и π r иррациональны для всех ненулевых рациональных r , и, например, e π также иррационально.
Иррациональные числа также могут быть найдены в пределах счетного множества действительных алгебраических чисел ( по существу , определяются как реальные корни из многочленов с целыми коэффициентами), то есть, в качестве действительных решений полиномиальных уравнений
где коэффициенты целые числа и . Любой рациональный корень этого многочлена уравнения должны иметь вид г / с , где г является делителем из в 0 , и ев является делителем в п . Если настоящий рут полинома не входит в число этих конечных возможностей, это должно быть иррациональное алгебраическое число. Примерное доказательство существования таких алгебраических иррациональных чисел состоит в том, чтобы показать, что x 0 = (2 1/2 + 1) 1/3 является иррациональным корнем многочлена с целыми коэффициентами: он удовлетворяет ( x 3 - 1) 2 = 2 и, следовательно, x 6 - 2 x 3 - 1 = 0, и этот последний многочлен не имеет рациональных корней (единственными кандидатами для проверки являются ± 1, и x 0 , будучи больше 1, не является ни одним из них), поэтому x 0 является иррациональное алгебраическое число.
Поскольку алгебраические числа образуют подполе действительных чисел, многие иррациональные действительные числа могут быть построены путем комбинирования трансцендентных и алгебраических чисел. Например, 3 π + 2, π + √ 2 и e √ 3 иррациональны (и даже трансцендентны).
Десятичные разложения
Десятичное расширение иррационального числа никогда не повторяется и не прекращается (последнее эквивалентно повторяющимся нулям), в отличие от любого рационального числа. То же самое верно для двоичных , восьмеричных или шестнадцатеричных расширений и в целом для расширений во всех позиционных обозначениях с естественным основанием.
Чтобы показать это, предположим, что мы делим целые числа n на m (где m не равно нулю). Когда деление в столбик применяется к делению n на m , возможны только m остатков. Если 0 появляется как остаток, десятичное раскрытие прекращается. Если 0 никогда не встречается, то алгоритм может выполнить не более m - 1 шагов без использования остатка более одного раза. После этого должен повториться остаток, а затем повторяется десятичное разложение.
И наоборот, предположим, что мы имеем дело с повторяющимся десятичным числом , мы можем доказать, что это дробная часть двух целых чисел. Например, рассмотрите:
Здесь повторяется 162, а длина повторения равна 3. Сначала мы умножаем на соответствующую степень 10, чтобы переместить десятичную точку вправо так, чтобы она находилась прямо перед повторением. В этом примере мы умножим на 10, чтобы получить:
Теперь мы умножаем это уравнение на 10 r, где r - длина повтора. Это приводит к перемещению десятичной точки перед «следующим» повторением. В нашем примере умножаем на 10 3 :
Результат двух умножений дает два разных выражения с точно такой же «десятичной частью», то есть конец 10 000 A в точности совпадает с концом 10 A. Здесь и 10 000 A, и 10 A имеют 0,162 162 162 ... после десятичной точки.
Следовательно, когда мы вычитаем уравнение 10 А из уравнения 10000 А , хвостовая часть 10 А отменяет хвостовую часть 10 000 А, оставляя нам:
потом
представляет собой отношение целых чисел и, следовательно, рациональное число.
Иррациональные силы
Дов Жарден дал простое неконструктивное доказательство того, что существуют два иррациональных числа a и b , такие что a b рационально: [30]
Рассмотрим √ 2 √ 2 ; если это рационально, то возьмем a = b = √ 2 . В противном случае возьмем a иррациональное число √ 2 √ 2 и b = √ 2 . Тогда a b = ( √ 2 √ 2 ) √ 2 = √ 2 √ 2 · √ 2 = √ 2 2 = 2, что является рациональным.
Хотя приведенные выше рассуждения не решает , между этими двумя случаями, то теорема Gelfond-Schneider показывает , что √ 2 √ 2 есть трансцендентное , следовательно , нерационально. Эта теорема утверждает, что если a и b являются алгебраическими числами , а a не равно 0 или 1, а b не является рациональным числом, то любое значение a b является трансцендентным числом (может быть более одного значения, если используется возведение в степень комплексного числа ).
Пример, обеспечивающий простое конструктивное доказательство, - [31]
База левой части иррациональна, а правая - рациональна, поэтому нужно доказать, что показатель в левой части, , иррационально. Это потому, что по формуле, связывающей логарифмы с разными основаниями,
что мы можем предположить, ради установления противоречия , равняется отношению m / n натуральных чисел. потом следовательно следовательно следовательно , которая является противоречивой парой факторизаций на простые множители и, следовательно, нарушает основную теорему арифметики (единственная факторизация на простые множители).
Более сильный результат следующий: [32] Каждое рациональное число в интервалеможно записать как a a для некоторого иррационального числа a или как n n для некоторого натурального числа n . Аналогично [32] любое положительное рациональное число можно записать какдля некоторого иррационального числа a или asдля некоторого натурального числа n .
Открытые вопросы
Неизвестно, если (или же ) иррационально. На самом деле нет пары ненулевых целых чисел для которого известно, иррационально. Более того, неизвестно, если множествоявляется алгебраически независимы над.
Неизвестно, если Постоянная каталана или постоянная Эйлера-Mascheroni иррациональны. [33] [34] [35] Неизвестно, была ли какая-либо из тетраций или же рационально для некоторого целого числа [ необходима цитата ]
Набор всех иррациональных
Поскольку действительные числа образуют неисчислимое множество, из которых рациональные числа являются счетным подмножеством, дополнительный набор иррациональных чисел неисчислим.
При обычной ( евклидовой ) функции расстояния d ( x , y ) = | x - y |, действительные числа являются метрическим пространством и, следовательно, также топологическим пространством . Ограничение функции евклидова расстояния придает иррациональным числам структуру метрического пространства. Поскольку подпространство иррациональных чисел не замкнуто, индуцированная метрика не является полной . Однако, будучи G-дельта-множеством - т. Е. Счетным пересечением открытых подмножеств - в полном метрическом пространстве, пространство иррациональных чисел полностью метризуемо : то есть существует метрика на иррациональных числах, порождающая ту же топологию, что и ограничение евклидова метрика, но относительно которой иррациональные числа полны. Это можно увидеть, не зная вышеупомянутого факта о G-дельта-множествах: расширение непрерывной дроби иррационального числа определяет гомеоморфизм из пространства иррациональных чисел в пространство всех последовательностей натуральных чисел, которое, как легко видеть, полностью метризуемо.
Более того, множество всех иррациональных чисел является несвязным метризуемым пространством. Фактически, иррациональные числа, снабженные топологией подпространства, имеют базис из открыто-замкнутых множеств, поэтому пространство нульмерно.
Смотрите также
- Число Брьюно
- Вычислимое число
- Диофантово приближение
- Доказательство того, что е иррационально
- Доказательство иррациональности π
- Корень квадратный из 3
- Корень квадратный из 5
- Тригонометрическое число
Рекомендации
- ↑ 15 самых известных трансцендентных чисел . по Клиффорд А. Пиковер . URL-адрес получен 24 октября 2007 г.
- ^ http://www.mathsisfun.com/irrational-numbers.html ; URL-адрес получен 24 октября 2007 г.
- ^ Вайсштейн, Эрик В. «Иррациональное число» . MathWorld . URL получен 26 октября 2007 г.
- ^ Кантор, Георг (1955) [1915]. Филип Журден (ред.). Вклад в основание теории трансфинитных чисел . Нью-Йорк: Дувр. ISBN 978-0-486-60045-1.
- ^ Курт фон Фриц (1945). «Открытие несоизмеримости Гиппасом из Метапонта». Анналы математики .
- ^ Джеймс Р. Чойк (1980). «Пентаграмма и открытие иррационального числа». Двухлетний математический журнал колледжа ..
- Перейти ↑ Kline, M. (1990). Математическая мысль от древних до наших дней , Vol. 1. Нью-Йорк: Oxford University Press (оригинальная работа опубликована в 1972 г.), стр. 33.
- Перейти ↑ Kline 1990, p. 32.
- ^ а б Клайн 1990, стр. 34.
- Перейти ↑ Kline 1990, p. 48.
- Перейти ↑ Kline 1990, p. 49.
- Перейти ↑ Kline 1990, p. 50.
- ^ Роберт Л. Маккейб (1976). «Доказательства иррациональности Теодора». Математический журнал ..
- ^ Чарльз Х. Эдвардс (1982). Историческое развитие математического анализа . Springer.
- ^ TK Puttaswamy, «Заслуга древнеиндийских Математиков», стр. 411-2, в Селин, Хелайн ; Д'Амброзио, Убиратан, ред. (2000). Математика в разных культурах: история незападной математики . Springer . ISBN 1-4020-0260-2..
- ^ Бойер (1991). «Китай и Индия». История математики (2-е изд.). п. 208. ISBN 0471093742. OCLC 414892 .
Утверждалось также, что первое признание несоизмеримых явлений появилось в Индии в период Сулбасутры , но такие утверждения недостаточно обоснованы. Аргументы в пользу раннего индуистского осознания несоизмеримых величин крайне маловероятны из-за отсутствия доказательств того, что индийские математики того периода вплотную подошли к фундаментальным концепциям.
- ^ Датта, Бибхутибхушан; Сингх, Авадхеш Нараян (1993). "Surds в индуистской математике" (PDF) . Индийский журнал истории науки . 28 (3): 253–264. Архивировано из оригинального (PDF) на 2018-10-03 . Проверено 18 сентября 2018 года .
- ^ Кац, VJ (1995), «Идеи исчисления в исламе и Индии», Mathematics Magazine (Математическая ассоциация Америки) 68 (3): 163–74.
- ^ О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Арабская математика: забытый талант?" , MacTutor Архив истории математики , Университет Сент-Эндрюс..
- ^ Матвиевская, Галина (1987). "Теория квадратичных иррациональных чисел в средневековой восточной математике". Летопись Нью-Йоркской академии наук . 500 : 253–277 [254]. DOI : 10.1111 / j.1749-6632.1987.tb37206.x . S2CID 121416910 ..
- ^ а б Матвиевская, Галина (1987). "Теория квадратичных иррациональных чисел в средневековой восточной математике". Летопись Нью-Йоркской академии наук . 500 : 253–277 [259]. DOI : 10.1111 / j.1749-6632.1987.tb37206.x . S2CID 121416910 .
- ^ Жак Сезиано, "Исламская математика", стр. 148, дюйм Селин, Хелайн; Д'Амброзио, Убиратан (2000). Математика в разных культурах: история незападной математики . Springer . ISBN 1-4020-0260-2..
- ^ Матвиевская, Галина (1987). "Теория квадратичных иррациональных чисел в средневековой восточной математике". Летопись Нью-Йоркской академии наук . 500 : 253–277 [260]. DOI : 10.1111 / j.1749-6632.1987.tb37206.x . S2CID 121416910 ..
- ^ Матвиевская, Галина (1987). "Теория квадратичных иррациональных чисел в средневековой восточной математике". Летопись Нью-Йоркской академии наук . 500 : 253–277 [261]. DOI : 10.1111 / j.1749-6632.1987.tb37206.x . S2CID 121416910 ..
- ^ Кахори, Флориан (1928), История математических обозначений (Том 1) , Ла Саль, Иллинойс: Издательская компания Open Courtстр. 269.
- ^ (Каджори 1928 , стр.89)
- ^ Сальваторе Пинчерле (1880). "Saggio di una Introduction alla teoria delle funzioni analitiche secondo i Principii del prof. C. Weierstrass" . Giornale di Matematiche : 178–254, 317–320.
- ^ Дж. Х. Ламберт (1761). "Mémoire sur quelques propriétés remarquables des Quantités transcendentes, circaires et logarithmiques" (PDF) . Mémoires de l'Académie royale des Sciences de Berlin (на французском языке): 265–322. Архивировано (PDF) из оригинала 28 апреля 2016 года.
- ^ Гордан, Пол (1893). "Transcendenz von e und π" . Mathematische Annalen . Teubner. 43 (2–3): 222–224. DOI : 10.1007 / bf01443647 . S2CID 123203471 .
- ^ Георгий, Александр; Веллеман, Дэниел Дж. (2002). Философия математики (PDF) . Блэквелл. С. 3–4. ISBN 0-631-19544-0.
- ↑ Лорд, Ник, «Математический укус: иррациональные силы иррациональных чисел могут быть рациональными», Mathematical Gazette 92, ноябрь 2008 г., стр. 534.
- ^ Б Маршалл, Ash J., и Тан, Yiren, «Рациональное число вида в с иррациональным», Математической газетой 96, март 2012, стр. 106-109.
- ^ Вайсштейн, Эрик В. «Пи» . MathWorld .
- ^ Вайсштейн, Эрик В. «Иррациональное число» . MathWorld .
- ^ Альберт, Джон. «Некоторые нерешенные проблемы теории чисел» (PDF) . Департамент математики Университета Оклахомы. (Старший математический семинар, весенний курс 2008 г.)
дальнейшее чтение
- Адриан-Мари Лежандр , Éléments de Géometrie , Note IV, (1802), Париж
- Рольф Валлиссер, «О доказательстве Ламбертом иррациональности числа π», в « Алгебраической теории чисел и диофантовом анализе» , Франц Хальтер-Кох и Роберт Ф. Тичи, (2000), Вальтер де Грюйер
Внешние ссылки
- Парадоксы Зенона и несоизмеримость (nd). Проверено 1 апреля 2008 г.
- Вайсштейн, Эрик В. «Иррациональное число» . MathWorld .