Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Символ для набора действительных чисел

В математике , А действительное число или реальное [1] является значением непрерывной величины , которая может представлять собой расстояние вдоль линии (или , альтернативно, количество , которое может быть представлено в виде бесконечного расширения десятичной ). Прилагательное реальное в этом контексте был введен в 17 - м веке Рене Декарта , который отличается от реальных и мнимых корней из многочленов . Действительные числа включают все рациональные числа , такие как целое число −5 и дробь 4/3, а также всеиррациональные числа , такие как 2 (1,41421356 ..., квадратный корень из 2 , иррациональное алгебраическое число ). В иррациональные числа включены трансцендентные числа , такие как π (3,14159265 ...). [2] В дополнение к измерению расстояния, вещественные числа могут использоваться для измерения таких величин, как время , масса , энергия , скорость и многие другие. Набор действительных чисел обозначается символом R или [3] [4] и иногда называется «вещественными числами».

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

Действительные числа можно рассматривать как точки на бесконечно длинной числовой прямой.

Эти описания действительных чисел не являются достаточно строгими по современным стандартам чистой математики. Открытие подходящего строгого определения действительных чисел - действительно, осознание необходимости лучшего определения - было одним из наиболее важных достижений математики XIX века. Тока стандартной четкости аксиомой является то , что действительные числа образуют уникальный Дедекинду упорядоченное поле (  +; ·; <), до с изоморфизма , [а] в то время как популярные конструктивные определения действительных чисел включают объявлять их классов эквивалентности из последовательностей Коши (рациональных чисел), дедекиндовы сокращения или бесконечныедесятичные представления вместе с точной интерпретацией арифметических операций и отношения порядка. Все эти определения удовлетворяют аксиоматическому определению и поэтому эквивалентны.

Набор всех действительных чисел неисчислим в том смысле, что хотя и набор всех натуральных чисел, и набор всех действительных чисел являются бесконечными наборами , не может быть однозначной функции от действительных чисел к натуральным числам. . В самом деле, мощность множества всех действительных чисел, обозначается и называется мощность континуума , [3] строго больше , чем мощность множества всех натуральных чисел (обозначаемых , «алеф-ноль» [3] ).

Утверждение о том, что не существует подмножества вещественных чисел, мощность которых строго больше и строго меньше, известна как гипотеза континуума (CH). Известно, что это нельзя ни доказать, ни опровергнуть с помощью аксиом теории множеств Цермело – Френкеля, включая аксиому выбора (ZFC) - стандартную основу современной математики. Фактически, одни модели ZFC удовлетворяют CH, а другие его нарушают.

История [ править ]

Действительные числа включают рациональные числа , которые включают целые числа , которые, в свою очередь, включают натуральные числа.

Простые дроби использовались египтянами около 1000 г. до н.э .; ведическая « Шульбинская сутра » ( «Правила аккордов») в, с. 600 г. до н.э. , включает то, что может быть первым «использованием» иррациональных чисел . Концепция иррациональности была неявно принята ранними индийскими математиками, такими как Манава ( ок. 750–690 до н.э.) , которые знали, что квадратные корни из некоторых чисел, таких как 2 и 61, нельзя точно определить. [5] Около 500 г. до н.э. греческие математики во главе с Пифагоромосознал необходимость иррациональных чисел, в частности иррациональность квадратного корня из 2 .

В Средние века принесенные о принятии нуля , отрицательных чисел , целых и дробных чисел, первый по индийской и китайской математики , а затем арабскими математиками , которые также были первыми , чтобы рассматривать иррациональные числа как алгебраические объекты (последний возможен развитием алгебры). [6] Арабские математики объединили понятия « число » и « величина » в более общее представление о действительных числах. [7] Египетский математик Абу Камил Шуджа ибн Аслам ( ок.850–930) был первым, кто принял иррациональные числа как решения квадратных уравнений или как коэффициенты в уравнении (часто в форме квадратных корней, кубических корней и корней четвертой степени ). [8]

В 16 веке Саймон Стевин создал основу для современной десятичной системы счисления и настаивал на том, что в этом отношении нет разницы между рациональными и иррациональными числами.

В 17 веке Декарт ввел термин «реальные» для описания корней многочлена, отличая их от «мнимых».

В XVIII и XIX веках было много работ по иррациональным и трансцендентным числам . Иоганн Генрих Ламберт (1761) дал первое ошибочное доказательство того, что π не может быть рациональным; Адриен-Мари Лежандр (1794 г.) завершил доказательство [9] и показал, что π не является квадратным корнем из рационального числа. [10] Паоло Руффини (1799) и Нильс Хенрик Абель (1842) построили доказательства теоремы Абеля – Руффини : общие уравнения пятой или более высокой степени не могут быть решены с помощью общей формулы, включающей только арифметические операции и корни.

Эварист Галуа (1832) разработал методы определения того, можно ли решить данное уравнение с помощью радикалов, что положило начало теории Галуа . Джозеф Лиувилль (1840) показал, что ни e, ни e 2 не могут быть корнем целочисленного квадратного уравнения , а затем установил существование трансцендентных чисел; Георг Кантор (1873) расширил и значительно упростил это доказательство. [11] Чарльз Эрмит (1873 г.) первым доказал, что е трансцендентно, а Фердинанд фон Линдеманн (1882 г.) показал, что πтрансцендентен. Доказательство Линдеманна было значительно упрощено Вейерштрассом (1885), еще дальше - Дэвидом Гильбертом (1893) и, наконец, стало элементарным Адольфом Гурвицем [12] и Полом Горданом . [13]

В процессе развития математики в 18 веке использовался весь набор действительных чисел без их строгого определения. Первое строгое определение было опубликовано Георгом Кантором в 1871 г. В 1874 г. он показал , что множество всех действительных чисел несчетно бесконечное , но множество всех алгебраических чисел является счетно бесконечным . Вопреки широко распространенному мнению, его первый метод не был его знаменитым диагональным аргументом , который он опубликовал в 1891 году. Подробнее см . Первое доказательство несчетности Кантора .

Определение [ править ]

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

Аксиоматический подход [ править ]

Пусть обозначает набор всех действительных чисел, тогда:

  • Набор представляет собой поле , что означает, что сложение и умножение определены и имеют обычные свойства.
  • Поле будет приказано , а это означает , что существует общий порядок ≥ такое , что для всех действительных чисел х , у и г :
    • если xy , то x + zy + z ;
    • если x ≥ 0 и y ≥ 0, то xy ≥ 0.
  • Порядок является полным по Дедекинду , что означает, что каждое непустое подмножество S из с верхней границей в имеет наименьшую верхнюю границу (также известную как супремум) в .

Последнее свойство - это то, что отличает вещественные числа от рациональных (и от других более экзотических упорядоченных полей ). Например, имеет рациональную верхнюю границу (например, 1,42), но не имеет наименее рациональной верхней границы, поскольку не является рациональной. 2 {\ displaystyle {\ sqrt {2}}}

Эти свойства подразумевают свойство Архимеда (которое не подразумевается другими определениями полноты), которое утверждает, что набор целых чисел не имеет верхней границы в вещественных числах. Фактически, если бы это было ложно, то целые числа имели бы наименьшую верхнюю границу N ; Затем, N - 1 , не было бы до верхней границы, и не было бы целое число п такое , что п > N - 1 , и , таким образом , п + 1> Н , который представляет собой противоречие с верхней границей свойство N .

Действительные числа однозначно задаются указанными выше свойствами. Точнее, для любых двух полных по Дедекинду упорядоченных полей и существует единственный изоморфизм полей от до . Эта уникальность позволяет нам думать о них как об одном и том же математическом объекте.

Для другой аксиоматизации см . Аксиоматизацию действительных чисел Тарским .

Строительство из рациональных чисел [ править ]

Действительные числа могут быть построены как завершение рациональных чисел таким образом, что последовательность, определенная десятичным или двоичным расширением, например (3; 3.1; 3.14; 3.141; 3.1415; ...), сходится к уникальному действительному числу. - в данном случае π . Для получения подробной информации и других построений действительных чисел см. Построение действительных чисел .

Свойства [ править ]

Основные свойства [ править ]

  • Любое ненулевое действительное число может быть отрицательным или положительным .
  • Сумма и произведение двух неотрицательных действительных чисел снова являются неотрицательными действительными числами, т. Е. Они замыкаются под действием этих операций и образуют положительный конус , тем самым приводя к линейному порядку действительных чисел вдоль числа линия .
  • Действительные числа составляют бесконечный набор чисел, который не может быть инъективно отображен в бесконечный набор натуральных чисел , т. Е. Существует несчетное бесконечное количество действительных чисел, тогда как натуральные числа называются счетно бесконечными . Это доказывает , что в каком - то смысле, есть более действительные числа , чем есть элементы любого счетного множества.
  • Существует иерархия счетно бесконечных подмножеств действительных чисел, например целых чисел , рациональных чисел , алгебраических чисел и вычислимых чисел , причем каждый набор является надлежащим подмножеством следующего в последовательности. В комплементах всех этих множеств ( иррациональных , трансцендентальных и не-вычислимых действительных чисел) в переАльсу все несчетные бесконечные множества.
  • Реальные цифры могут быть использованы для выражения измерения из непрерывных величин. Они могут быть выражены десятичными представлениями , большинство из которых имеют бесконечную последовательность цифр справа от десятичной точки ; они часто представлены как 324.823122147 ..., где многоточие (три точки) указывает на то, что будут еще цифры. Это намекает на тот факт, что мы можем точно обозначить только несколько выбранных действительных чисел конечным числом символов.

Более формально, действительные числа имеют два основных свойства: упорядоченное поле и свойство наименьшей верхней границы . Первая гласит, что действительные числа составляют поле со сложением и умножением, а также делением на ненулевые числа, которые можно полностью упорядочить в числовой строке способом, совместимым со сложением и умножением. Второй говорит, что если непустой набор действительных чисел имеет верхнюю границу , то он имеет реальную наименьшую верхнюю границу. Второе условие отличает действительные числа от рациональных: например, набор рациональных чисел, квадрат которых меньше 2, является набором с верхней границей (например, 1,5), но без (рациональной) наименьшей верхней границы: следовательно, рациональные числа не удовлетворяют свойству наименьшей верхней границы.

Полнота [ править ]

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

Последовательность ( х п ) действительных чисел называется последовательностью Коши , если для любого е> 0 существует целое число N (возможно , в зависимости от е) такое , что расстояние | х п - х м | меньше е для всех п и т , которые , как больше , чем N . Это определение, первоначально предоставленное Коши , формализует тот факт, что x n в конечном итоге приходят и остаются сколь угодно близкими друг к другу.

Последовательность ( x n ) сходится к пределу x, если ее элементы в конце концов приходят и остаются сколь угодно близкими к x , то есть если для любого ε> 0 существует целое число N (возможно, зависящее от ε) такое, что расстояние | х п - х | меньше е для п больше , чем N .

Каждая сходящаяся последовательность является последовательностью Коши, и обратное верно для действительных чисел, и это означает, что топологическое пространство действительных чисел полно.

Набор рациональных чисел не полный. Например, последовательность (1; 1.4; 1.41; 1.414; 1.4142; 1.41421; ...), где каждый член добавляет цифру десятичного разложения положительного квадратного корня из 2, является Коши, но не сходится к рациональное число (в действительных числах, напротив, сходится к положительному квадратному корню из 2).

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

Например, стандартный ряд экспоненциальной функции

сходится к действительному числу для каждого x , потому что суммы

можно сделать сколь угодно малым (независимо от M ), выбрав N достаточно большим. Это доказывает, что последовательность является Коши, и, таким образом, сходится, показывая, что она корректно определена для каждого x .

«Полное упорядоченное поле» [ править ]

Действительные числа часто описываются как «полное упорядоченное поле», фраза, которую можно интерпретировать по-разному.

Во-первых, порядок может быть решетчато-полным . Легко видеть, что никакое упорядоченное поле не может быть решеточно-полным, потому что оно не может иметь самого большого элемента (для любого элемента z , z + 1 больше), так что это не тот смысл, который имеется в виду.

Кроме того, заказ может быть завершенным по Дедекинду , как определено в разделе Аксиоматический подход . Результат уникальности в конце этого раздела оправдывает использование слова «the» во фразе «полностью упорядоченное поле», когда имеется в виду именно «полное». Это ощущение полноты наиболее тесно связано с построением действительных чисел из дедекиндовских разрезов, поскольку это построение начинается с упорядоченного поля (рациональных чисел) и затем стандартным образом формирует его дедекиндовое завершение.

Эти два понятия полноты игнорируют структуру поля. Однако упорядоченная группа (в данном случае аддитивная группа поля) определяет однородную структуру, а однородные структуры имеют понятие полноты ; описание в § Полнота - частный случай. (Мы ссылаемся на понятие полноты в равномерных пространствах, а не на родственное и более известное понятие для метрических пространств , поскольку определение метрического пространства опирается на уже имеющуюся характеристику действительных чисел.) Неверно, что это единственное равномерно полное упорядоченное поле, но это единственное равномерно полное архимедово поле, и действительно, часто можно услышать фразу «полное архимедово поле» вместо «полностью упорядоченное поле». Каждое единообразно полное архимедово поле также должно быть дедекиндовым (и наоборот), оправдывая использование «the» во фразе «полное архимедово поле». Это чувство полноты наиболее тесно связано с построением вещественных чисел из последовательностей Коши (построение полностью проведено в этой статье), поскольку оно начинается с архимедова поля (рациональных чисел) и образует его единообразное завершение в стандарте. путь.

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

Дополнительные свойства [ править ]

Реалы неисчислимы ; то есть вещественных чисел строго больше, чем натуральных , даже если оба набора бесконечны . Фактически, мощность действительных чисел равна мощности множества подмножеств (т. Е. Набора степеней) натуральных чисел, и диагональный аргумент Кантора утверждает, что мощность последнего набора строго больше, чем мощность . Поскольку множество алгебраических чисел счетно, почти все действительные числа трансцендентны . Несуществование подмножества вещественных чисел с мощностью строго между целыми и действительными числами известно как гипотеза континуума.. Гипотезу континуума нельзя ни доказать, ни опровергнуть; он не зависит от аксиом теории множеств .

Как топологическое пространство, действительные числа разделимы . Это потому, что множество рациональных чисел, которое можно счет, плотно в действительных числах. Иррациональные числа также плотны в действительных числах, однако они неисчислимы и имеют ту же мощность, что и действительные числа.

Действительные числа образуют метрическое пространство : расстояние между x и y определяется как абсолютное значение | х - у | . В силу того, что они являются полностью упорядоченным множеством, они также несут топологию порядка ; топологии , вытекающие из метрики и один , вытекающие из того , являются идентичными, но дают разные представления для топологии-в топологии порядка как упорядоченные интервалы, в метрической топологии как эпсилон-шарики. Конструкция разрезов Дедекинда использует представление топологии порядка, в то время как конструкция последовательностей Коши использует представление метрической топологии. Реалы образуют сжимаемую(следовательно, связное и односвязное ), сепарабельное и полное метрическое пространство хаусдорфовой размерности  1. Действительные числа локально компактны, но не компактны . Существуют различные свойства, которые однозначно определяют их; например, все неограниченные, связанные и разделимые порядковые топологии обязательно гомеоморфны вещественным числам.

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

Действительные числа несут каноническую меру , меру Лебега , которая является мерой Хаара по их структуре как топологической нормированной группы , так что единичный интервал [0; 1] имеет меру 1. Существуют наборы действительных чисел, которые не измеримы по Лебегу, например Виталий наборы .

Аксиома супремума действительных чисел относится к подмножествам вещественных чисел и, следовательно, является логическим утверждением второго порядка. Невозможно охарактеризовать действительные числа только с помощью логики первого порядка : теорема Левенгейма – Сколема подразумевает, что существует счетное плотное подмножество действительных чисел, удовлетворяющих точно таким же предложениям в логике первого порядка, что и сами действительные числа. Набор гиперреальных чисел удовлетворяет тем же предложениям первого порядка, что и . Упорядоченные поля, удовлетворяющие те же предложения первого порядка , как называются нестандартные модели из . Это то, что делает нестандартный анализработай; доказывая утверждение первого порядка в какой-либо нестандартной модели (что может быть проще, чем доказывать его в ), мы знаем, что это утверждение также должно быть верным .

Поле действительных чисел является расширением поля поля рациональных чисел, и , следовательно , можно рассматривать как векторное пространство над . Теория множеств Цермело – Френкеля с выбранной аксиомой гарантирует существование базиса этого векторного пространства: существует множество B действительных чисел, такое что каждое действительное число может быть записано однозначно как конечная линейная комбинация элементов этого множества, используя только рациональные коэффициенты и такие, что ни один элемент Bявляется рациональной линейной комбинацией остальных. Однако эта теорема существования носит чисто теоретический характер, поскольку такая основа никогда не описывалась явно.

Хорошо упорядоченность теоремы следует , что реальные цифры могут быть вполне упорядоченным , если аксиома выбора предполагается: существует общий порядок по тем свойством , что каждое непустое подмножество из имеет наименьший элемент в таком порядке. (Стандартный порядок ≤ действительных чисел не является правильным порядком, поскольку, например, открытый интервал не содержит ни малейшего элемента в этом порядке.) Опять же, существование такого хорошего порядка является чисто теоретическим, поскольку оно не было явно описано. Если V = L предполагается в дополнение к аксиомам ZF, можно показать, что хорошее упорядочение действительных чисел явно определяется формулой. [14]

Действительное число может быть вычислимым или невычислимым; либо алгоритмически случайным, либо нет; и либо арифметически случайным образом, либо нет.

Приложения и связи с другими областями [ править ]

Реальные числа и логика [ править ]

Действительные числа чаще всего формализуются с использованием аксиоматизации Цермело – Френкеля теории множеств, но некоторые математики изучают действительные числа с другими логическими основаниями математики. В частности, действительные числа также изучаются в обратной математике и в конструктивной математике . [15]

В гиперреальное число , как разработанные Эдвин Хьюитт , Abraham Робинсон и другие расширить множество действительных чисел, вводя бесконечно малые и бесконечное число, что позволяет строить исчисление бесконечно малых в некотором смысле ближе к оригинальным интуиций Лейбница , Эйлера , Коши и др.

Эдвард Нельсон «s внутренняя теория множеств обогащает Цермело-Френкеля теории множеств синтаксически путем введения унарный предикат„стандарт“. В этом подходе бесконечно малые числа являются (нестандартными) элементами множества действительных чисел (а не элементами его расширения, как в теории Робинсона).

Гипотеза континуума утверждает, что мощность множества действительных чисел равна ; то есть наименьшее бесконечное кардинальное число после количества целых чисел. Пол Коэн доказал в 1963 году, что это аксиома, независимая от других аксиом теории множеств; то есть: можно без противоречия выбрать либо гипотезу континуума, либо ее отрицание в качестве аксиомы теории множеств.

В физике [ править ]

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

Иногда физики предполагали, что более фундаментальная теория заменит действительные числа величинами, которые не образуют континуум, но такие предложения остаются спекулятивными. [16]

В вычислении [ править ]

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

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

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

«Реалы» в теории множеств [ править ]

В теории множеств , особенно в описательной теории множеств , пространство Бэра используется в качестве суррогата для действительных чисел, поскольку последние обладают некоторыми топологическими свойствами (связностью), которые доставляют технические неудобства. Элементы пространства Бэра называют «реалами».

Словарь и обозначения [ править ]

Математики использовать символ R , или, в качестве альтернативы, , то буква «R» в доске жирного шрифта (закодирован в Unicode , как U + 211DДВОЙНОГО пораженного КАПИТАЛ R (HTML  · )), чтобы представить множество всех действительных чисел. Поскольку это множество естественно наделено структурой поля , поле выражения действительных чисел часто используется, когда рассматриваются его алгебраические свойства. &#8477;  &reals;, &Ropf;

Наборы положительных действительных чисел и отрицательных действительных чисел часто отмечаются и , [19] соответственно; и тоже используются. [20] Можно отметить неотрицательные действительные числа, но часто можно увидеть этот набор отмеченным [19] Во французской математике положительные действительные числа и отрицательные действительные числа обычно включают ноль , и эти наборы отмечены соответственно и [20] В этом понимание, соответствующие наборы без нуля называются строго положительными действительными числами и строго отрицательными действительными числами, и отмечены и [20]

Обозначение относится к декартово произведение из п копий , что является п - мерное векторное пространство над полем действительных чисел; это векторное пространство можно отождествить с n - мерным пространством евклидовой геометрии, как только в последнем будет выбрана система координат . Например, значение от состоит из набора из трех действительных чисел и определяет координаты о наличии точки в 3-мерном пространстве.

В математике реальное число используется как прилагательное, означающее, что основное поле - это поле действительных чисел (или действительное поле ). Например, вещественная матрица , вещественный многочлен и вещественная алгебра Ли . Это слово также используется как существительное , означающее действительное число (например, «набор всех действительных чисел»).

Обобщения и расширения [ править ]

Действительные числа можно обобщить и расширить в нескольких направлениях:

  • В комплексных числах содержат решения всех полиномиальных уравнения и , следовательно , являются алгебраически замкнутым полем , в отличии от действительных чисел. Однако комплексные числа не являются упорядоченным полем .
  • Аффинно расширенная система реального числа добавляет два элемента + ∞ и -∞. Это компактное пространство . Это больше не поле и даже не аддитивная группа, но все еще имеет общий порядок ; более того, это полная решетка .
  • Вещественная проективная линия добавляет только одно значение ∞. Это еще и компактное пространство. Опять же, это больше не поле и даже не аддитивная группа. Однако он позволяет делить ненулевой элемент на ноль. Он имеет циклический порядок, описываемый соотношением разделения .
  • В длинной реальной линии паста вместе ℵ 1 * + ℵ 1 копия реальной линии плюс одной точки (здесь ℵ 1 * обозначает перевернутый порядок ℵ 1 ) создать упорядоченный набор , который является «локально» совпадает с вещественными числами, но как-то дольше; например, существует вложение 1 с сохранением порядка в длинную действительную строку, но не в действительные числа. Длинная действительная линия - это самый большой упорядоченный набор, полный и локально архимедов. Как и в предыдущих двух примерах, этот набор больше не является полем или аддитивной группой.
  • Упорядоченные поля, расширяющие действительные числа, - это гиперреальные числа и сюрреалистические числа ; оба они содержат бесконечно малые и бесконечно большие числа и поэтому являются неархимедовыми упорядоченными полями .
  • Самосопряженные операторы в гильбертовом пространстве (например, самосопряженные квадратные комплексные матрицы ) во многих отношениях обобщают вещественные числа: их можно упорядочить (хотя и не полностью), они полны, все их собственные значения действительны и образуют вещественная ассоциативная алгебра . Положительно определенные операторы соответствуют положительным действительным числам, а нормальные операторы соответствуют комплексным числам.

См. Также [ править ]

  • Полнота действительных чисел
  • Непрерывная дробь
  • Определимые действительные числа
  • Положительные действительные числа
  • Реальный анализ

Примечания [ править ]

  1. ^ Точнее, для двух полных полностью упорядоченных полеймежду нимисуществует единственный изоморфизм. Это означает, что тождество является единственным полевым автоморфизмом вещественных чисел, совместимым с порядком.

Ссылки [ править ]

Цитаты [ править ]

  1. ^ Oxford English Dictionary , 3-е издание, 2008 г., sv 'real', n.2 , B.4 : « Математика. Действительное число. Обычно во множественном числе ».
  2. ^ «Действительное число | математика» . Британская энциклопедия . Проверено 11 августа 2020 .
  3. ^ a b c «Сборник математических символов» . Математическое хранилище . 2020-03-01 . Проверено 11 августа 2020 .
  4. Перейти ↑ Weisstein, Eric W. Real Number . mathworld.wolfram.com . Проверено 11 августа 2020 .
  5. ^ TK Puttaswamy, "Заслуга древнеиндийских Математиков", стр. 410-11. В: Селин, Хелайн ; Д'Амброзио, Убиратан , ред. (2000), Математика в разных культурах: история незападной математики , Springer , ISBN 978-1-4020-0260-1.
  6. ^ О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Арабская математика: забытый талант?" , MacTutor Архив истории математики , Университет Сент-Эндрюс.
  7. Матвиевская, Галина (1987), "Теория квадратичных иррациональных чисел в средневековой восточной математике", Анналы Нью-Йоркской академии наук , 500 (1): 253–77 [254], Bibcode : 1987NYASA.500..253M , DOI : 10.1111 / j.1749-6632.1987.tb37206.x
  8. ^ Жак Сезиано, "Исламская математика", стр. 148, в Селине, Хелайне; Д'Амброзио, Убиратан (2000), « Математика в разных культурах: история незападной математики» , Springer , ISBN 978-1-4020-0260-1
  9. Перейти ↑ Beckmann, Petr (1993), A History of Pi , Dorset Classic Reprints, Barnes & Noble Publishing, p. 170, ISBN 978-0-88029-418-8, заархивировано из оригинала 04.05.2016 , получено 15.11.2015.
  10. ^ Арндт, Йорг; Хенель, Кристоф (2001), Pi Unleashed , Springer, стр. 192, ISBN 978-3-540-66572-4, заархивировано из оригинала 21 мая 2016 г. , получено 15 ноября 2015 г..
  11. Перейти ↑ Dunham, William (2015), The Calculus Gallery: Masterpieces from Newton to Lebesgue , Princeton University Press, p. 127, ISBN 978-1-4008-6679-3, заархивировано из оригинала 14 мая 2015 г. , извлечено 17 февраля 2015 г. , Кантор нашел замечательный ярлык, чтобы прийти к выводу Лиувилля с помощью части работы
  12. ^ Гурвиц, Адольф (1893). "Beweis der Transendenz der Zahl e". Mathematische Annalen (43): 134–35.
  13. ^ Гордан, Пол (1893). "Transcendenz von e und π" . Mathematische Annalen . 43 (2–3): 222–224. DOI : 10.1007 / bf01443647 .
  14. ^ Московакиса, Яннис Н. (1980), «Описательная теория множеств» , Исследования в области логики и основы математики , Амстердам; Нью-Йорк: North-Holland Publishing Co., 100 , стр.  Xii, 637 , ISBN 978-0-444-85305-9, глава V.
  15. ^ Бишоп, Эрретт; Бриджес, Дуглас (1985), Конструктивный анализ , Grundlehren der Mathematischen Wissenschaften [Фундаментальные принципы математических наук], 279 , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-3-540-15066-4, Глава 2.
  16. ^ Уиллер, Джон Арчибальд (1986). "Герман Вейль и единство знания: в соединении четырех загадок -" как получилось "существования, времени, математического континуума и прерывистого" да или нет "квантовой физики - может лежать ключ к глубокому новому пониманию ". Американский ученый . 74 (4): 366–75. Bibcode : 1986AmSci..74..366W . JSTOR 27854250 . 
    Бенгтссон, Ингемар (2017). «Число за простейшим SIC-POVM». Основы физики . 47 (8): 1031–41. arXiv : 1611.09087 . Bibcode : 2017FoPh ... 47.1031B . DOI : 10.1007 / s10701-017-0078-3 .
  17. ^ Коэн, Джоэл С. (2002), Компьютерная алгебра и символьные вычисления: элементарные алгоритмы , 1 , А.К. Петерс, с. 32, ISBN 978-1-56881-158-1
  18. ^ Хайн, Джеймс Л. (2010), "14.1.1", Дискретные структуры, логика и вычислимость (3-е изд.), Садбери, Массачусетс: Издательство Джонс и Бартлетт, ISBN 97-80763772062, заархивировано из оригинала 17.06.2016 , получено 15.11.2015
  19. ^ a b Шумахер 1996 , стр. 114–15
  20. ^ a b c École Normale Supérieure of Paris , " Nombres réels " ("Реальные числа"). Архивировано 8 мая 2014 г. в Wayback Machine , стр. 6

Источники [ править ]

  • Кантор, Георг (1874). " Uber eine Eigenschaft des Inbegriffes Aller reellen algebraischen Zahlen ". Journal für die Reine und Angewandte Mathematik , том 77, стр. 258–62.
  • Феферман, Соломон (1989). Системы счисления: основы алгебры и анализа , AMS Chelsea, ISBN 0-8218-2915-7 . 
  • Кац, Роберт (1964). Аксиоматический анализ , DC Heath and Company.
  • Ландау, Эдмунд (2001). Основы анализа . Американское математическое общество , ISBN 0-8218-2693-X . 
  • Хауи, Джон М. Реальный анализ . Springer, 2005, ISBN 1-85233-314-6 . 
  • Шумахер, Кэрол (1996), ChapterZero / Основные понятия абстрактной математики BV , Addison-Wesley, ISBN 978-0-201-82653-1.

Внешние ссылки [ править ]

  • «Действительное число» , Энциклопедия математики , EMS Press , 2001 [1994]
  • Реальные числа: от Пифагора до Стевина
  • Реальные числа: от Стевина до Гильберта
  • Реальные числа: попытки понять
  • Что такое «реальные числа» на самом деле?