Математика — это область знаний , которая включает в себя темы чисел, формул и связанных с ними структур, форм и пространств, в которых они содержатся, а также величин и их изменений. Эти темы представлены в современной математике основными разделами теории чисел , [1] алгебры , [2] геометрии , [1] и анализа , [3] соответственно. Среди математиков нет общего согласия относительно общего определения их академической дисциплины .
Большая часть математической деятельности включает в себя открытие свойств абстрактных объектов и использование чистого разума для их доказательства . Эти объекты состоят либо из абстракций природы, либо — в современной математике — из сущностей, которым предписано обладать определёнными свойствами, называемыми аксиомами . Доказательство состоит из последовательности применений правил дедукции к уже установленным результатам . Эти результаты включают ранее доказанные теоремы , аксиомы и — в случае абстрагирования от природы — некоторые основные свойства, которые считаются истинными отправными точками рассматриваемой теории. [4]
Математика важна в естественных науках , технике , медицине , финансах , информатике и социальных науках . Хотя математика широко используется для моделирования явлений, фундаментальные истины математики не зависят от каких-либо научных экспериментов. Некоторые области математики, такие как статистика и теория игр , развиваются в тесной связи со своими приложениями и часто группируются в рамках прикладной математики . Другие области развиваются независимо от какого-либо приложения (и поэтому называются чистой математикой ), но часто позже находят практическое применение. [5] [6] Например, проблема факторизации целых чисел , которая восходит к Евклиду в 300 году до нашей эры, не имела практического применения до ее использования в криптосистеме RSA , которая сейчас широко используется для безопасности компьютерных сетей . [7]
Исторически концепция доказательства и связанная с ним математическая строгость впервые появились в греческой математике , особенно в « Началах » Евклида . [8] С самого начала математика в основном разделялась на геометрию и арифметику (манипуляции с натуральными числами и дробями ), вплоть до 16 и 17 веков, когда алгебра [a] и исчисление бесконечно малых были введены как новые области. С тех пор взаимодействие математических инноваций и научных открытий привело к соответствующему росту развития и того, и другого. [9] В конце XIX века фундаментальный кризис математики привел к систематизации аксиоматического метода , [10] что ознаменовало резкое увеличение числа математических областей и областей их применения. В современной Предметной классификации математики перечислено более 60 областей математики первого уровня.
Слово математика происходит от древнегреческого máthēma ( μάθημα ), что означает «то, что изучается», [11] «то, что человек узнает», следовательно, также «изучение» и «наука». Это слово стало иметь более узкое и более техническое значение «математического исследования» даже в классические времена . [b] Его прилагательное — mathēmatikós ( μαθηματικός ), что означает «связанный с обучением» или «прилежный», что также в дальнейшем стало означать «математический». [15] В частности, mathēmatikḗ tékhnē ( μαθηματικὴ τέχνη ; латынь : ars mathematica ) означало «математическое искусство». [11]
Точно так же одна из двух основных школ пифагорейства была известна как математика (μαθηματικοί), что в то время означало «ученики», а не «математики» в современном смысле. Пифагорейцы, вероятно, были первыми, кто ограничил использование этого слова только изучением арифметики и геометрии. Ко времени Аристотеля (384–322 гг. до н. э.) это значение полностью утвердилось. [16]
На латыни и английском языке примерно до 1700 года термин « математика » чаще означал « астрологию » (или иногда « астрономию »), а не «математику»; значение постепенно изменилось на нынешнее примерно с 1500 по 1800 год. Это изменение привело к нескольким неправильным переводам: например, предупреждение Святого Августина о том, что христианам следует остерегаться mathematici , что означает «астрологи», иногда неправильно переводится как осуждение математиков. . [17]
Очевидная форма множественного числа в английском языке восходит к латинскому среднему множественному числу mathematica ( Cicero ), основанному на греческом множественном числе ta mathēmatiká ( τὰ μαθηματικά ) и примерно означает «все математические вещи», хотя вполне вероятно, что английский язык заимствовал только прилагательное математика ( al) и образовал существительное математика заново, по образцу физики и метафизики , унаследованному от греческого. [18] В английском языке существительное «математика» представляет собой глагол в единственном числе. Его часто сокращают до «математика» [19] или, в Северной Америке, «математика» . [20]
До эпохи Возрождения математика была разделена на две основные области: арифметику, касающуюся манипуляций с числами, и геометрию , касающуюся изучения форм. [21] Некоторые виды лженауки , такие как нумерология и астрология, тогда еще не были четко отделены от математики. [22]
В эпоху Возрождения появились еще два направления. Математическая запись привела к алгебре , которая, грубо говоря, состоит из изучения формул и манипулирования ими . Исчисление , состоящее из двух подполей : дифференциальное исчисление и интегральное исчисление , представляет собой изучение непрерывных функций , которые моделируют обычно нелинейные отношения между различными величинами, представленными переменными . Такое разделение на четыре основные области — арифметику, геометрию, алгебру, исчисление [23] — просуществовало до конца XIX века. Такие области, как небесная механика и механика твердого тела, тогда изучались математиками, но сейчас считаются принадлежащими физике. [24] Предмет комбинаторики изучался на протяжении большей части письменной истории, но не стал отдельной отраслью математики до семнадцатого века. [25]
В конце XIX века фундаментальный кризис математики и связанная с ним систематизация аксиоматического метода привели к взрывному росту новых областей математики. [26] [10] Предметная классификация математики 2020 года содержит не менее шестидесяти трех областей первого уровня. [27] Некоторые из этих областей соответствуют старому разделу, как и в отношении теории чисел (современное название высшей арифметики ) и геометрии. Некоторые другие области первого уровня имеют в своих названиях слово «геометрия» или по другим причинам обычно считаются частью геометрии. Алгебра и исчисление не относятся к областям первого уровня, а соответственно разделены на несколько областей первого уровня. Другие области первого уровня возникли в 20 веке или ранее не считались математикой, например математическая логика и основы . [28]
Теория чисел началась с манипуляций с числами , то есть натуральными числами , а затем расширилась до целых и рациональных чисел. Теория чисел когда-то называлась арифметикой, но в настоящее время этот термин в основном используется для числовых вычислений . [29] Теория чисел восходит к древнему Вавилону и, вероятно, к Китаю . Двумя выдающимися ранними теоретиками чисел были Евклид из Древней Греции и Диофант Александрийский. [30] Современное исследование теории чисел в ее абстрактной форме во многом приписывается Пьеру де Ферма и Леонарду Эйлеру . Эта область достигла полного развития благодаря вкладу Адриана-Мари Лежандра и Карла Фридриха Гаусса . [31]
Многие легко сформулированные числовые задачи имеют решения, требующие сложных методов, часто на основе математических методов. Ярким примером является Великая теорема Ферма . Эта гипотеза была высказана в 1637 году Пьером де Ферма, но была доказана только в 1994 году Эндрю Уайлсом , который использовал такие инструменты, как теория схем из алгебраической геометрии , теория категорий и гомологическая алгебра . [32] Другим примером является гипотеза Гольдбаха , которая утверждает, что каждое четное целое число больше 2 является суммой двух простых чисел . Высказанная в 1742 году Кристианом Гольдбахом , она остается недоказанной, несмотря на значительные усилия. [33]
Теория чисел включает в себя несколько подразделов, включая аналитическую теорию чисел , теорию алгебраических чисел , геометрию чисел (методически-ориентированную), диофантовы уравнения и теорию трансцендентности (проблемно-ориентированную). [28]
Геометрия – один из древнейших разделов математики. Все началось с эмпирических рецептов форм, таких как линии , углы и круги , которые были разработаны в основном для нужд геодезии и архитектуры , но с тех пор распространились на многие другие области. [34]
Фундаментальным нововведением было введение древними греками концепции доказательств , которая требует, чтобы каждое утверждение было доказано . Например, недостаточно проверить путем измерения , что, скажем, две длины равны; их равенство должно быть доказано посредством рассуждений на основе ранее принятых результатов ( теорем ) и нескольких основных утверждений. Основные утверждения не подлежат доказательству, поскольку они самоочевидны ( постулаты ), либо являются частью определения предмета исследования ( аксиомы ). Этот принцип, лежащий в основе всей математики, был впервые разработан для геометрии и систематизирован Евклидом около 300 г. до н.э. в его книге «Начала» . [35] [36]
Результирующая евклидова геометрия — это исследование форм и их расположений, построенных из линий, плоскостей и кругов на евклидовой плоскости ( плоская геометрия ) и трёхмерном евклидовом пространстве . [с] [34]
Евклидова геометрия развивалась без изменения методов и области применения до 17 века, когда Рене Декарт ввел то, что сейчас называется декартовыми координатами . Это представляло собой серьезное изменение парадигмы : вместо определения действительных чисел как длин отрезков линий (см. числовую линию ) это позволило представлять точки, используя их координаты , которые являются числами. Таким образом, алгебру (а позже и исчисление) можно использовать для решения геометрических задач. Геометрия была разделена на два новых подполя: синтетическую геометрию , которая использует чисто геометрические методы, и аналитическую геометрию , которая использует координаты системно. [37]
Аналитическая геометрия позволяет изучать кривые , не связанные с кругами и линиями. Такие кривые можно определить как графики функций , изучение которых привело к дифференциальной геометрии . Их также можно определить как неявные уравнения , часто полиномиальные уравнения (которые породили алгебраическую геометрию ). Аналитическая геометрия также позволяет рассматривать евклидовы пространства более трех измерений. [34]
В 19 веке математики открыли неевклидовы геометрии , которые не следуют постулату параллельности . Ставя под сомнение истинность этого постулата, это открытие рассматривалось как присоединение к парадоксу Рассела в раскрытии фундаментального кризиса математики . Этот аспект кризиса был решен путем систематизации аксиоматического метода и признания того, что истинность выбранных аксиом не является математической проблемой. [38] [10] В свою очередь, аксиоматический метод позволяет изучать различные геометрии, полученные либо путем изменения аксиом, либо путем рассмотрения свойств, которые не изменяются при конкретных преобразованиях пространства . [39]
Сегодняшние разделы геометрии включают: [28]
Алгебра – это искусство работы с уравнениями и формулами. Диофант (3 век) и аль-Хорезми (9 век) были двумя главными предшественниками алгебры. [41] [42] Диофант решил некоторые уравнения, включающие неизвестные натуральные числа, выводя новые соотношения, пока не получил решение. Аль-Хорезми представил систематические методы преобразования уравнений, такие как перемещение члена из одной части уравнения в другую. Термин «алгебра» происходит от арабского слова «аль-джабр» , означающего «воссоединение сломанных частей» [43] , которое он использовал для обозначения одного из этих методов в названии своего основного трактата .
Алгебра стала отдельной областью только после Франсуа Вьета (1540–1603), который ввел использование переменных для представления неизвестных или неуказанных чисел. [44] Переменные позволяют математикам описывать операции, которые необходимо проделать с числами, представленными с помощью математических формул .
До 19 века алгебра состояла в основном из изучения линейных уравнений (ныне линейная алгебра ) и полиномиальных уравнений с одним неизвестным , которые назывались алгебраическими уравнениями (термин используется до сих пор, хотя он может быть неоднозначным). В 19 веке математики начали использовать переменные для представления вещей, отличных от чисел (таких как матрицы , модульные целые числа и геометрические преобразования ), над которыми часто справедливы обобщения арифметических операций. [45] Для решения этой проблемы используется концепция алгебраической структуры , состоящей из набора , элементы которого не определены, операций, действующих на элементы набора, и правил, которым эти операции должны следовать. Таким образом, сфера алгебры расширилась и включила изучение алгебраических структур. Этот объект алгебры был назван современной алгеброй или абстрактной алгеброй , как установлено влиянием и работами Эмми Нётер . [46] (Последний термин появляется в основном в образовательном контексте, в отличие от элементарной алгебры , которая связана со старым способом манипулирования формулами.)
Некоторые типы алгебраических структур обладают полезными и часто фундаментальными свойствами во многих областях математики. Их изучение стало автономными частями алгебры и включает: [28]
Изучение типов алгебраических структур как математических объектов — цель универсальной алгебры и теории категорий . [47] Последнее применимо к любой математической структуре (не только алгебраической). Изначально она была введена вместе с гомологической алгеброй для обеспечения алгебраического исследования неалгебраических объектов, таких как топологические пространства ; эта конкретная область применения называется алгебраической топологией . [48]
Исчисление, ранее называвшееся исчислением бесконечно малых, было введено независимо и одновременно математиками 17-го века Ньютоном и Лейбницем . [49] По сути, это изучение взаимосвязей переменных, которые зависят друг от друга. Исчисление было расширено в 18 веке Эйлером с введением понятия функции и многими другими результатами. [50] В настоящее время «исчисление» относится главным образом к элементарной части этой теории, а «анализ» обычно используется для более сложных частей.
Анализ далее подразделяется на реальный анализ , где переменные представляют собой действительные числа , и комплексный анализ , где переменные представляют собой комплексные числа . Анализ включает в себя множество подобластей, общих для других областей математики, в том числе: [28]
Дискретная математика, вообще говоря, представляет собой исследование отдельных исчисляемых математических объектов. Примером может служить набор всех целых чисел. [51] Поскольку объекты исследования здесь дискретны, методы исчисления и математического анализа напрямую не применяются. [d] Алгоритмы — особенно их реализация и вычислительная сложность — играют важную роль в дискретной математике. [52]
Теорема о четырех цветах и оптимальная упаковка сфер были двумя основными задачами дискретной математики, решенными во второй половине 20 века. [53] Проблема P и NP , которая остается открытой по сей день, также важна для дискретной математики, поскольку ее решение потенциально может повлиять на большое количество вычислительно сложных задач. [54]
Дискретная математика включает в себя: [28]
Два предмета — математическая логика и теория множеств — принадлежали математике с конца XIX века. [55] [56] До этого периода множества не считались математическими объектами, а логика , хотя и использовалась для математических доказательств, принадлежала философии и специально не изучалась математиками. [57]
До исследования Кантором бесконечных множеств математики неохотно рассматривали фактически бесконечные коллекции и считали бесконечность результатом бесконечного перечисления . Работа Кантора оскорбила многих математиков не только тем, что она рассматривала фактически бесконечные множества [58] , но и тем, что показала, что это подразумевает разные размеры бесконечности, согласно диагональному аргументу Кантора . Это привело к спорам по поводу теории множеств Кантора . [59]
В тот же период различные области математики пришли к выводу, что прежние интуитивные определения основных математических объектов недостаточны для обеспечения математической строгости . Примеры таких интуитивных определений: «множество — это совокупность объектов», «натуральное число — это то, что используется для счета», «точка — это фигура с нулевой длиной во всех направлениях», «кривая — это след, оставленный движущаяся точка» и т. д.
Это стало фундаментальным кризисом математики. [60] В конечном итоге эта проблема была решена в основной математике путем систематизации аксиоматического метода внутри формализованной теории множеств . Грубо говоря, каждый математический объект определяется совокупностью всех подобных объектов и свойствами, которыми эти объекты должны обладать. [26] Например, в арифметике Пеано натуральные числа определяются словами «ноль — это число», «каждое число имеет уникального преемника», «каждое число, кроме нуля, имеет уникального предшественника» и некоторыми правилами рассуждения. [61] Эта математическая абстракция от реальности воплощена в современной философии формализма , основанной Дэвидом Гильбертом около 1910 года. [62]
«Природа» объектов, определенных таким образом, — это философская проблема, которую математики оставляют философам, даже если многие математики имеют мнения об этой природе и используют свое мнение — иногда называемое «интуицией» — для руководства своими исследованиями и доказательствами. Подход позволяет рассматривать «логики» (то есть наборы разрешенных правил вывода), теоремы, доказательства и т. д. как математические объекты и доказывать теоремы о них. Например, теоремы Гёделя о неполноте , грубо говоря, утверждают, что в каждой непротиворечивой формальной системе , содержащей натуральные числа, существуют теоремы, которые истинны (что доказуемо в более сильной системе), но не доказуемы внутри системы. [63] Этот подход к основам математики был оспорен в первой половине 20-го века математиками во главе с Брауэром , который продвигал интуиционистскую логику , в которой явно отсутствует закон исключенного третьего . [64] [65]
Эти проблемы и дебаты привели к широкому расширению математической логики с такими подобластями, как теория моделей (моделирование некоторых логических теорий внутри других теорий), теория доказательств , теория типов , теория вычислимости и теория сложности вычислений . [28] Хотя эти аспекты математической логики были представлены до появления компьютеров , их использование в разработке компиляторов , сертификации программ , помощниках по доказательству и других аспектах информатики , в свою очередь, способствовало расширению этих логических теорий. [66]
Область статистики — это математическое приложение, которое используется для сбора и обработки выборок данных с использованием процедур, основанных на математических методах, особенно теории вероятностей . Статистики генерируют данные с помощью случайной выборки или рандомизированных экспериментов . [68] План статистической выборки или эксперимента определяет аналитические методы, которые будут использоваться. Анализ данных наблюдательных исследований проводится с использованием статистических моделей и теории вывода , с использованием выбора и оценки моделей . Затем модели и последующие прогнозы следует проверить на новых данных . [э]
Статистическая теория изучает проблемы принятия решений, такие как минимизация риска ( ожидаемых потерь ) статистического действия, например, использование процедуры , например, для оценки параметров , проверки гипотез и выбора лучшего . В этих традиционных областях математической статистики задача статистического принятия решения формулируется путем минимизации целевой функции , такой как ожидаемые потери или затраты , при определенных ограничениях. Например, разработка опроса часто предполагает минимизацию затрат на оценку среднего значения совокупности с заданным уровнем достоверности. [69] Из-за использования оптимизации математическая теория статистики пересекается с другими науками о принятии решений , такими как исследование операций , теория управления и математическая экономика . [70]
Вычислительная математика — это изучение математических задач , которые обычно слишком велики для человеческих вычислительных возможностей. [71] [72] Численный анализ изучает методы решения задач анализа с использованием функционального анализа и теории приближений ; Численный анализ в широком смысле включает изучение аппроксимации и дискретизации с особым упором на ошибки округления . [73] Численный анализ и, в более широком смысле, научные вычисления также изучают неаналитические темы математической науки, особенно теорию алгоритмических матриц и графов . Другие области вычислительной математики включают компьютерную алгебру и символьные вычисления .
История математики представляет собой постоянно растущий ряд абстракций. С точки зрения эволюции, первой когда-либо открытой абстракцией, общей для многих животных, [74] была, вероятно, абстракция чисел: осознание того, что, например, набор из двух яблок и набор из двух апельсинов (скажем) содержат что-то в общее, а именно то, что их два . Как свидетельствуют данные , найденные на костях, доисторические народы не только умели считать физические объекты, но и умели считать абстрактные величины, такие как время — дни, времена года или годы. [75] [76]
Доказательства существования более сложной математики не появляются примерно до 3000 г. до н.э. , когда вавилоняне и египтяне начали использовать арифметику, алгебру и геометрию для налогообложения и других финансовых расчетов, для строительства и астрономии. [77] Самые старые математические тексты из Месопотамии и Египта датируются 2000–1800 гг. до н.э. Во многих ранних текстах упоминаются тройки Пифагора , и, как следствие, теорема Пифагора кажется самой древней и широко распространенной математической концепцией после основ арифметики и геометрии. Именно в вавилонской математике впервые появляются в археологических записях элементарная арифметика ( сложение , вычитание , умножение и деление ). Вавилоняне также владели разрядной системой и использовали шестидесятеричную систему счисления, которая используется до сих пор для измерения углов и времени. [78]
В VI веке до нашей эры греческая математика начала превращаться в отдельную дисциплину, и некоторые древние греки , такие как пифагорейцы , по-видимому, считали ее самостоятельным предметом. [79] Около 300 г. до н.э. Евклид организовал математическое знание посредством постулатов и первых принципов, которые превратились в аксиоматический метод, который используется в математике сегодня и состоит из определения, аксиомы, теоремы и доказательства. [80] Его книга «Элементы » широко считается самым успешным и влиятельным учебником всех времен. [81] Величайшим математиком древности часто считается Архимед ( ок. 287 – ок. 212 до н. э. ) из Сиракуз . [82] Он разработал формулы для расчета площади поверхности и объема тел вращения и использовал метод истощения для расчета площади под дугой параболы с суммированием бесконечного ряда , способом, не слишком отличающимся от современного исчисления. . [83] Другими заметными достижениями греческой математики являются конические сечения ( Аполлоний Пергский , 3 век до н. э.), [84] тригонометрия ( Гиппарх Никейский , 2 век до н. э.), [85] и начало алгебры (Диофант, 3 век нашей эры). ). [86]
Индо -арабская система счисления и правила использования ее операций, используемые сегодня во всем мире, развивались в течение первого тысячелетия нашей эры в Индии и были переданы в западный мир через исламскую математику . [87] Другие известные достижения индийской математики включают современное определение и приближение синуса и косинуса , а также раннюю форму бесконечных рядов . [88] [89]
Во время Золотого века ислама , особенно в IX и X веках, в математике произошло много важных инноваций, основанных на греческой математике. Самым заметным достижением исламской математики было развитие алгебры. Другие достижения исламского периода включают достижения в сферической тригонометрии и добавление десятичной точки в арабскую систему счисления. [90] Многие известные математики этого периода были персидскими, например, Аль-Хорисми, Омар Хайям и Шараф ад-Дин аль-Туси . [91] Греческие и арабские математические тексты, в свою очередь, были переведены на латынь в средние века и стали доступны в Европе. [92]
В период раннего Нового времени математика начала развиваться ускоренными темпами в Западной Европе благодаря инновациям, которые произвели революцию в математике, таким как введение переменных и символьных обозначений Франсуа Вьета (1540–1603), введение логарифмов Джоном Напье в 1614 г., что значительно упростило численные расчеты, особенно для астрономии и морской навигации , введение координат Рене Декартом (1596–1650) для сведения геометрии к алгебре и развитие исчисления Исааком Ньютоном (1642–1726/27) и Готфридом . Лейбниц (1646–1716). Леонард Эйлер (1707–1783), крупнейший математик XVIII века, объединил эти нововведения в единый корпус с использованием стандартизированной терминологии и завершил их открытием и доказательством множества теорем.
Возможно, выдающимся математиком XIX века был немецкий математик Карл Гаусс, внесший многочисленные вклады в такие области, как алгебра, анализ, дифференциальная геометрия , теория матриц , теория чисел и статистика . [93] В начале 20-го века Курт Гёдель преобразовал математику, опубликовав свои теоремы о неполноте, которые частично показывают, что любая непротиворечивая аксиоматическая система — если она достаточно мощна для описания арифметики — будет содержать истинные утверждения, которые невозможно доказать. [63]
Математика с тех пор значительно расширилась, и между математикой и наукой произошло плодотворное взаимодействие на благо обеих сторон. Математические открытия продолжают делаться и по сей день. По словам Михаила Б. Севрюка в январском выпуске Бюллетеня Американского математического общества за 2006 год : «Количество статей и книг, включенных в базу данных Mathematical Reviews с 1940 года (первого года работы MR), сейчас превышает 1,9. миллионов, а в базу данных ежегодно добавляется более 75 тысяч элементов. Подавляющее большинство работ в этом океане содержат новые математические теоремы и их доказательства». [94]
Математические обозначения широко используются в науке и технике для краткого, однозначного и точного представления сложных понятий и свойств . Эта нотация состоит из символов , используемых для представления операций , неуказанных чисел, отношений и любых других математических объектов, а затем их сборки в выражения и формулы. [95] Точнее, числа и другие математические объекты представлены символами, называемыми переменными, которые обычно представляют собой латинские или греческие буквы и часто включают индексы . Операции и отношения обычно представляются определенными символами или глифами , [96] такими как + ( плюс ), × ( умножение ), ( целое ), = ( равно ) и < ( меньше ). [97] Все эти символы обычно группируются по определенным правилам для формирования выражений и формул. [98] Обычно выражения и формулы не появляются по отдельности, а включаются в предложения текущего языка, где выражения играют роль именной фразы , а формулы — роли предложений .
Математика разработала богатую терминологию, охватывающую широкий спектр областей, изучающих свойства различных абстрактных идеализированных объектов и способы их взаимодействия. Он основан на строгих определениях , которые обеспечивают стандартную основу для общения. Аксиома или постулат — это математическое утверждение, которое считается истинным без необходимости доказательства. Если математическое утверждение еще не доказано (или опровергнуто), оно называется гипотезой . Благодаря серии строгих аргументов с использованием дедуктивного рассуждения утверждение, истинность которого доказана , становится теоремой. Специальная теорема, которая в основном используется для доказательства другой теоремы, называется леммой . Доказанный пример, который является частью более общего открытия, называется следствием . [99]
Многочисленные технические термины, используемые в математике, представляют собой неологизмы , такие как полиномиал и гомеоморфизм . [100] Другие технические термины — это слова общего языка, которые используются в точном значении, которое может незначительно отличаться от их общего значения. Например, в математике « или » означает «один, другой или оба», тогда как в обычном языке оно либо двусмысленно, либо означает «один или другой, но не оба» (в математике последнее называется « исключительным »). или "). Наконец, многие математические термины являются обычными словами, которые используются с совершенно другим значением. [101] Это может привести к появлению предложений, которые являются правильными и истинными математическими утверждениями, но кажутся бессмысленными людям, не имеющим необходимого опыта. Например, «каждый свободный модуль плоский » и « поле всегда является кольцом ».
Математика используется в большинстве наук для моделирования явлений, что затем позволяет делать прогнозы на основе экспериментальных законов. [102] Независимость математической истины от любых экспериментов подразумевает, что точность таких предсказаний зависит только от адекватности модели. [103] Неточные прогнозы не являются следствием неверных математических концепций, а предполагают необходимость изменения используемой математической модели. [104] Например, прецессию перигелия Меркурия можно было объяснить только после появления общей теории относительности Эйнштейна , которая заменила закон гравитации Ньютона как лучшую математическую модель. [105]
До сих пор ведутся философские споры о том, является ли математика наукой. Однако на практике математиков обычно объединяют с учеными, а математика имеет много общего с физическими науками. Как и они, она фальсифицируема . В математике это означает, что если результат или теория неверны, это можно доказать, предоставив контрпример . Как и в науке, теории и результаты (теоремы) часто получаются в результате экспериментов . [106] В математике экспериментирование может состоять из вычислений на выбранных примерах или изучения фигур или других представлений математических объектов (часто представлений разума без физической поддержки). Например, когда его спросили, как он пришел к своим теоремам, Гаусс однажды ответил: «durch planmässiges Tattonieren» (путем систематических экспериментов). [107] Однако некоторые авторы подчеркивают, что математика отличается от современного понятия науки тем, что не опирается на эмпирические данные. [108] [109] [110] [111]
До 19 века развитие математики на Западе мотивировалось главным образом потребностями техники и науки, и не было четкого различия между чистой и прикладной математикой. [112] Например, натуральные числа и арифметика были введены для нужд подсчета, а геометрия была мотивирована геодезией, архитектурой и астрономией. Позже Исаак Ньютон ввел исчисление бесконечно малых для объяснения движения планет с помощью своего закона гравитации. Более того, большинство математиков были также учёными, и многие учёные также были математиками. [113] Однако, заметное исключение произошло с традицией чистой математики в Древней Греции . [114]
В XIX веке такие математики, как Карл Вейерштрасс и Рихард Дедекинд, все больше сосредоточивали свои исследования на внутренних проблемах, то есть чистой математике . [112] [115] Это привело к разделению математики на чистую математику и прикладную математику , причем последняя часто рассматривается как имеющая меньшую ценность среди математических пуристов. Однако границы между ними часто размыты. [116]
Последствия Второй мировой войны привели к всплеску развития прикладной математики в США и других странах. [117] [118] Многие теории, разработанные для приложений, оказались интересными с точки зрения чистой математики, и было показано, что многие результаты чистой математики имеют приложения за пределами математики; в свою очередь, изучение этих приложений может дать новое понимание «чистой теории». [119] [120]
Примером первого случая является теория распределений , введенная Лораном Шварцем для проверки вычислений, выполненных в квантовой механике , которая сразу же стала важным инструментом (чистого) математического анализа. [121] Примером второго случая является разрешимость теории действительных чисел первого порядка , проблема чистой математики, истинность которой была доказана Альфредом Тарским , с алгоритмом, который невозможно реализовать из -за вычислительной сложности, которая слишком высок. [122] Для получения алгоритма, который может быть реализован и может решать системы полиномиальных уравнений и неравенств, Джордж Коллинз ввел цилиндрическое алгебраическое разложение , которое стало фундаментальным инструментом в реальной алгебраической геометрии . [123]
В настоящее время различие между чистой и прикладной математикой является скорее вопросом личных исследовательских целей математиков, чем разделением математики на широкие области. [124] [125] В Предметной классификации математики есть раздел «общая прикладная математика», но не упоминается «чистая математика». [28] Однако эти термины до сих пор используются в названиях некоторых университетских кафедр, например, на математическом факультете Кембриджского университета .
Необоснованная эффективность математики — это явление, которое было названо и впервые объяснено физиком Юджином Вигнером . [6] Дело в том, что многие математические теории (даже самые «чистые») имеют приложения за пределами своего первоначального объекта. Эти приложения могут совершенно выходить за пределы первоначальной области математики и касаться физических явлений, которые были совершенно неизвестны на момент появления математической теории. [126] Примеры неожиданных применений математических теорий можно найти во многих областях математики.
Ярким примером является простая факторизация натуральных чисел, которая была открыта более чем за 2000 лет до ее повсеместного использования для безопасной интернет- связи посредством криптосистемы RSA . [127] Вторым историческим примером является теория эллипсов . Они изучались древнегреческими математиками как конические сечения (т. е. пересечения конусов плоскостями). Почти 2000 лет спустя Иоганн Кеплер обнаружил, что траектории планет представляют собой эллипсы. [128]
В XIX веке внутреннее развитие геометрии (чистой математики) привело к определению и изучению неевклидовых геометрий, пространств размерности выше трёх и многообразий . В то время эти концепции казались совершенно оторванными от физической реальности, но в начале 20-го века Альберт Эйнштейн разработал теорию относительности , которая фундаментально использует эти концепции. В частности, пространство-время специальной теории относительности представляет собой неевклидово пространство четырехмерного измерения, а пространство-время общей теории относительности представляет собой (искривленное) многообразие четырехмерного измерения. [129] [130]
Поразительным аспектом взаимодействия математики и физики является то, что математика стимулирует исследования в области физики. Об этом свидетельствуют открытия позитрона и бариона . В обоих случаях уравнения теорий имели необъяснимые решения, что привело к предположению о существовании неизвестной частицы и поиску этих частиц. В обоих случаях эти частицы были открыты несколько лет спустя в результате конкретных экспериментов. [131] [132] [133]
Математика и физика влияли друг на друга в своей современной истории. Современная физика широко использует математику [134] , а также является мотивацией крупных математических разработок. [135]
Развитие технологий в 20 веке открыло путь к новой науке: информатике . [f] Эта область тесно связана с математикой во многих отношениях. Теоретическая информатика по своей сути носит математический характер. В коммуникационных технологиях применяются разделы математики, которые могут быть очень старыми (например, арифметика), особенно в отношении безопасности передачи, в криптографии и теории кодирования . Дискретная математика полезна во многих областях информатики, таких как теория сложности , теория информации , теория графов и так далее. [ нужна цитата ]
В свою очередь, компьютеры также стали необходимы для получения новых результатов. Это группа методов, известная как экспериментальная математика , которая представляет собой использование экспериментов для открытия математических идей. [136] Самый известный пример — теорема о четырёх красках , которая была доказана в 1976 году с помощью компьютера. Это произвело революцию в традиционной математике, где правило заключалось в том, что математик должен проверять каждую часть доказательства. В 1998 году гипотеза Кеплера об упаковке сфер также была частично доказана с помощью компьютера. С тех пор международная группа работала над написанием формального доказательства; он был завершен (и проверен) в 2015 году. [137]
Формально написанное доказательство можно проверить с помощью программы, называемой помощником по доказательству . [138] Эти программы полезны в ситуациях, когда кто-то не уверен в правильности доказательства. [138]
Основная открытая проблема в теоретической информатике — это P и NP . Это одна из семи задач Премии тысячелетия . [139]
Биология широко использует вероятность — например, в экологии или нейробиологии . [140] Однако большая часть дискуссий о вероятности в биологии сосредоточена на концепции эволюционной приспособленности . [140]
Экология широко использует моделирование для моделирования динамики популяций , [140] [141] изучения экосистем, таких как модель «хищник-жертва», измерения распространения загрязнения [142] или для оценки изменения климата. [143] Динамику популяции можно моделировать с помощью связанных дифференциальных уравнений, таких как уравнения Лотки-Вольтерра . [144] Однако существует проблема проверки модели . Это особенно остро, когда результаты моделирования влияют на политические решения; существование противоречивых моделей может позволить странам выбрать наиболее благоприятную модель. [145]
Эволюцию генотипа можно смоделировать с помощью принципа Харди-Вайнберга . [ нужна цитата ]
Филогеография использует вероятностные модели. [ нужна цитата ]
Медицина использует статистическую проверку гипотез , основанную на данных клинических испытаний , чтобы определить, работает ли новое лечение. [ нужна цитата ]
С начала 20-го века химия использовала компьютеры для моделирования молекул в трех измерениях. Оказывается, форма макромолекул в биологии изменчива и определяет действие. Такое моделирование использует евклидову геометрию; соседние атомы образуют многогранник , расстояния и углы которого фиксируются законами взаимодействия. [ нужна цитата ]
Структурная геология и климатология используют вероятностные модели для прогнозирования риска природных катастроф. [ нужна цитата ] Точно так же метеорология , океанография и планетология также используют математику из-за интенсивного использования моделей. [ нужна цитата ]
Области математики, используемые в социальных науках, включают вероятность/статистику и дифференциальные уравнения. Они используются в лингвистике, экономике , социологии , [146] и психологии . [147]
Фундаментальным постулатом математической экономики является постулат о рациональном индивидуальном деятеле – Homo Economicus ( букв. «экономический человек»). [148] В этой модели человек стремится максимизировать свои собственные интересы , [148] и всегда делает оптимальный выбор, используя совершенную информацию . [149] [ нужен лучший источник ] Такой атомистический взгляд на экономику позволяет ей сравнительно легко математизировать свое мышление, поскольку отдельные расчеты транспонируются в математические расчеты. Такое математическое моделирование позволяет исследовать экономические механизмы, которые было бы трудно обнаружить с помощью «литературного» анализа. [ нужна цитата ] Например, объяснения экономических циклов нетривиальны. Без математического моделирования трудно выйти за рамки статистических наблюдений или недоказанных предположений. [ нужна цитата ]
Однако многие люди отвергли или раскритиковали концепцию Homo Economicus . [149] [ нужен лучший источник ] Экономисты отмечают, что реальные люди обладают ограниченной информацией, делают неправильный выбор и заботятся о справедливости, альтруизме, а не только о личной выгоде. [149] [ нужен лучший источник ]
В начале 20 века появилась возможность выражать исторические движения в формулах. В 1922 году Николай Кондратьев обнаружил ~50-летний цикл Кондратьева , который объясняет фазы экономического роста или кризиса. [150] К концу XIX века Николя-Реми Брюк и Шарль Анри Лагранж расширили свой анализ на геополитику . [151] Питер Турчин работал над развитием клиодинамики с 1990-х годов. [152]
Но даже в этом случае математизация социальных наук небезопасна. В скандальной книге «Модная чушь» (1997) Сокал и Брикмонт осудили необоснованное или оскорбительное использование научной терминологии, особенно из математики и физики, в социальных науках. [153] При изучении сложных систем (эволюция безработицы, делового капитала, демографическая эволюция населения и т. д.) используются математические знания. Однако выбор критериев подсчета, особенно по безработице, или моделей может быть спорным. [ нужна цитата ]
Некоторые известные математики также считаются известными астрологами; например, Птолемей , арабские астрономы, Региомант , Кардано , Кеплер или Джон Ди . В средние века астрология считалась наукой, включающей в себя математику. В своей энциклопедии Теодор Цвингер писал, что астрология — математическая наука, изучающая «активное движение тел при их воздействии на другие тела». Он оставил за математикой необходимость «с вероятностью рассчитать влияния [звезд]», чтобы предвидеть их «соединения и противостояния». [154]
Астрология больше не считается наукой. [155]
Связь между математикой и материальной реальностью приводила к философским дебатам, по крайней мере, со времен Пифагора . Античный философ Платон утверждал, что абстракции, отражающие материальную реальность, сами по себе обладают реальностью, существующей вне пространства и времени. В результате философский взгляд на то, что математические объекты каким-то образом существуют сами по себе в абстракции, часто называют платонизмом . Независимо от возможных философских взглядов современных математиков в целом можно считать платонистами, поскольку они думают и говорят о своих объектах исследования как о реальных объектах. [156]
Арман Борель резюмировал этот взгляд на математическую реальность следующим образом и привел цитаты Г.Х. Харди , Шарля Эрмита , Анри Пуанкаре и Альберта Эйнштейна, подтверждающие его взгляды. [131]
Нечто становится объективным (в отличие от «субъективного»), как только мы убеждаемся, что оно существует в сознании других в той же форме, что и в нашем, и что мы можем думать об этом и обсуждать это вместе. [157] Поскольку язык математики настолько точен, он идеально подходит для определения понятий, по которым существует такой консенсус. По моему мнению, этого достаточно, чтобы дать нам ощущение объективного существования, реальности математики...
Тем не менее, платонизм и сопутствующие ему взгляды на абстракцию не объясняют необоснованную эффективность математики. [158]
Не существует общего согласия относительно определения математики или ее эпистемологического статуса , то есть ее места среди других видов человеческой деятельности. [159] [160] Очень многие профессиональные математики не интересуются определением математики или считают ее неопределимой. [159] Нет даже единого мнения о том, является ли математика искусством или наукой. [160] Некоторые просто говорят: «Математика – это то, чем занимаются математики». [159] Это имеет смысл, поскольку среди них существует твердое согласие относительно того, что является математикой, а что нет. Большинство предлагаемых определений пытаются определить математику по ее объекту изучения. [161]
Аристотель определил математику как «науку о количестве», и это определение преобладало до 18 века. Однако Аристотель также отметил, что сосредоточение внимания только на количестве не может отличать математику от таких наук, как физика; по его мнению, абстракция и изучение количества как свойства, «отдельного в мышлении» от реальных примеров, отличают математику. [162] В 19 веке, когда математики начали заниматься такими темами, как бесконечные множества, которые не имеют четкого отношения к физической реальности, было дано множество новых определений. [163] При большом количестве новых областей математики, появившихся с начала XX века и продолжающих появляться, определение математики этим объектом изучения становится невыполнимой задачей.
Другой подход к определению математики — использовать ее методы. Итак, область исследования можно квалифицировать как математику, как только можно доказать теоремы — утверждения, достоверность которых зависит от доказательства, то есть чисто логического вывода. [164] Другие придерживаются точки зрения, что математика является исследованием аксиоматической теории множеств, поскольку это исследование в настоящее время является основополагающей дисциплиной для большей части современной математики. [165]
Математические рассуждения требуют строгости . Это значит, что определения должны быть абсолютно однозначными, а доказательства должны быть сведены к последовательности применений правил вывода , [g] без всякого использования эмпирических данных и интуиции . [h] [166] Строгое рассуждение не характерно только для математики, но в математике стандарты строгости намного выше, чем где-либо еще. Несмотря на математическую краткость , строгие доказательства могут потребовать сотен страниц. Появление доказательств с помощью компьютера позволило еще больше расширить длину доказательств, [i] [167] , таких как 255-страничная теорема Фейта-Томпсона . [j] Результатом этой тенденции является философия квазиэмпиристского доказательства , которое не может считаться непогрешимым, но с которым связана вероятность. [10]
Концепция строгости математики восходит к Древней Греции, где общество поощряло логические, дедуктивные рассуждения. Однако этот строгий подход, как правило, препятствует исследованию новых подходов, таких как иррациональные числа и концепции бесконечности. Метод демонстрации строгих доказательств был усовершенствован в шестнадцатом веке за счет использования символических обозначений. В 18 веке социальный переход привел к тому, что математики стали зарабатывать на жизнь преподаванием, что привело к более тщательному обдумыванию основных концепций математики. Это привело к более строгим подходам при переходе от геометрических методов к алгебраическим, а затем и арифметическим доказательствам. [10]
В конце XIX века оказалось, что определения основных понятий математики недостаточно точны, чтобы избежать парадоксов (неевклидовы геометрии и функция Вейерштрасса ) и противоречий (парадокс Рассела). Проблема была решена путем включения аксиом в аподиктические правила вывода математических теорий; повторное введение аксиоматического метода, впервые изобретенного древними греками. [10] В результате получается, что «строгость» больше не является актуальным понятием в математике, поскольку доказательство может быть либо правильным, либо ошибочным, а «строгое доказательство» - это просто плеоназм . Особая концепция строгости вступает в игру в социализированных аспектах доказательства, где оно может быть явно опровергнуто другими математиками. После того, как доказательство было принято в течение многих лет или даже десятилетий, его можно считать надежным. [168]
Тем не менее, концепция «строгости» может оставаться полезной для обучения новичков тому, что такое математическое доказательство. [169]
Математика обладает замечательной способностью преодолевать культурные границы и временные периоды. Как человеческая деятельность , практика математики имеет социальную сторону, которая включает в себя образование , карьеру , признание , популяризацию и так далее. В образовании математика является основной частью учебной программы и важным элементом академических дисциплин STEM . Выдающиеся карьеры для профессиональных математиков включают учителя или профессора математики, статистика , актуария , финансового аналитика , экономиста , бухгалтера , торговца сырьевыми товарами или компьютерного консультанта . [170]
Археологические данные показывают, что обучение математике происходило еще во втором тысячелетии до нашей эры в древней Вавилонии. [171] Сопоставимые доказательства были обнаружены в отношении обучения писцов математике на древнем Ближнем Востоке, а затем в греко-римском мире , начиная примерно с 300 г. до н.э. [172] Старейшим известным учебником по математике является папирус Ринда , датированный ок. 1650 г. до н. э. , Египет. [173] Из-за нехватки книг математические учения в древней Индии передавались с использованием заученных устных традиций , начиная с ведического периода ( ок. 1500 – ок. 500 до н. э. ). [174] В императорском Китае во времена династии Тан (618–907 гг. н. э.) была принята учебная программа по математике для сдачи экзамена на государственную службу для поступления на государственную бюрократию. [175]
После Средневековья математическое образование в Европе предоставлялось религиозными школами как часть Квадривиума . Формальное обучение педагогике началось в школах иезуитов в 16 и 17 веках. Большая часть математической учебной программы оставалась на базовом и практическом уровне до девятнадцатого века, когда она начала процветать во Франции и Германии. Самым старым журналом, посвященным обучению математике, был L'Enseignement Mathématique , который начал публиковаться в 1899 году. [176] Западные достижения в области науки и техники привели к созданию централизованных систем образования во многих национальных государствах, в которых математика является основным компонентом. первоначально для военного применения. [177] Хотя содержание курсов различается, в настоящее время почти во всех странах математика преподается студентам в течение значительного количества времени. [178]
В школьные годы математические способности и позитивные ожидания тесно связаны с карьерным интересом в этой области. Внешние факторы, такие как мотивация обратной связи со стороны учителей, родителей и групп сверстников, могут влиять на уровень интереса к математике. [179] У некоторых студентов, изучающих математику, могут возникнуть опасения или страх по поводу своей успеваемости по предмету. Это известно как математическая тревожность или математическая фобия и считается наиболее выраженным расстройством, влияющим на успеваемость. Математическая тревога может развиться из-за различных факторов, таких как отношение родителей и учителей, социальные стереотипы и личные качества. Помочь противодействовать тревоге могут изменения в подходах к обучению, взаимодействие с родителями и учителями, а также индивидуальное лечение. [180]
Справедливость математической теоремы зависит только от строгости ее доказательства, которое теоретически может быть выполнено автоматически с помощью компьютерной программы . Это не означает, что в математической работе нет места творчеству. Напротив, многие важные математические результаты (теоремы) представляют собой решения проблем, которые не удалось решить другим математикам, и изобретение способа их решения может стать фундаментальным способом процесса решения. [181] [182] Крайним примером является теорема Апери : Роджер Апери предоставил только идеи для доказательства, а формальное доказательство было дано только несколько месяцев спустя тремя другими математиками. [183]
Творчество и строгость — не единственные психологические стороны деятельности математиков. Некоторые математики могут рассматривать свою деятельность как игру, точнее, как решение головоломок . [184] Этот аспект математической деятельности подчеркивается в развлекательной математике .
Математики могут найти в математике эстетическую ценность. Как и красоту , ее трудно определить, она обычно связана с элегантностью , которая включает в себя такие качества, как простота , симметрия , завершенность и общность. Г.Х. Харди в «Апологии математика» выразил убеждение, что эстетических соображений самих по себе достаточно, чтобы оправдать изучение чистой математики. Он также определил другие критерии, такие как значимость, неожиданность и неизбежность, которые способствуют математической эстетике. [185] Пауль Эрдеш выразил это мнение более иронично, говоря о «Книге», предполагаемом божественном собрании самых красивых доказательств. Книга «Доказательства из книги» , вышедшая в 1998 году и вдохновленная Эрдёшем, представляет собой собрание особенно кратких и откровенных математических аргументов. Некоторые примеры особенно элегантных результатов включают доказательство Евклида о том, что существует бесконечно много простых чисел, и быстрое преобразование Фурье для гармонического анализа . [186]
Некоторые считают, что считать математику наукой – значит преуменьшать ее художественность и историю в семи традиционных гуманитарных науках . [187] Одним из способов проявления этой разницы во взглядах являются философские дебаты о том, создаются ли математические результаты ( как в искусстве) или открываются (как в науке). [131] Популярность развлекательной математики — еще один признак того удовольствия, которое многие находят в решении математических вопросов.
Ноты, которые хорошо звучат вместе для западного уха, — это звуки, основные частоты вибрации которых находятся в простых соотношениях. Например, октава удваивает частоту, а идеальная квинта умножает ее на . [188] [189]
Люди, как и некоторые другие животные, считают симметричные узоры более красивыми. [190] Математически симметрии объекта образуют группу, известную как группа симметрии . [191]
Например, группа, лежащая в основе зеркальной симметрии, представляет собой циклическую группу двух элементов . Тест Роршаха — это фигура, инвариантная относительно этой симметрии, [192] как и тела бабочек и животных в более общем плане (по крайней мере, на поверхности). [193] Волны на морской поверхности обладают трансляционной симметрией: перемещение точки зрения на расстояние между гребнями волн не меняет взгляд на море. [ нужна цитация ] Фракталы обладают самоподобием . [194] [195]
Популярная математика — это представление математики без технических терминов. [196] Изложение математики может быть трудным, поскольку широкая публика страдает от математической тревожности , а математические объекты очень абстрактны. [197] Однако популярные математические сочинения могут преодолеть эту проблему, используя приложения или культурные связи. [198] Несмотря на это, математика редко становится темой популяризации в печатных или телевизионных средствах массовой информации.
Самой престижной наградой в области математики является Медаль Филдса , [199] [200] , учрежденная в 1936 году и присуждаемая каждые четыре года (за исключением периода Второй мировой войны ) до четырех человек. [201] [202] Считается математическим эквивалентом Нобелевской премии . [202]
Другие престижные награды в области математики включают: [203]
Знаменитый список из 23 открытых задач , получивший название « Проблемы Гильберта », был составлен в 1900 году немецким математиком Давидом Гильбертом. [211] Этот список приобрел большую известность среди математиков, [212] и по состоянию на 2022 год [обновлять]по крайней мере тринадцать задач (в зависимости от того, как некоторые из них интерпретируются) были решены. [211]
Новый список из семи важных проблем, названный « Проблемы премии тысячелетия », был опубликован в 2000 году. Только одна из них, гипотеза Римана , дублирует одну из проблем Гильберта. Решение любой из этих проблем предполагает вознаграждение в 1 миллион долларов. [213] На сегодняшний день решена только одна из этих проблем — гипотеза Пуанкаре . [214]
Наука о пространстве, числе, количестве и расположении, методы которой включают логические рассуждения и обычно использование символических обозначений и которая включает геометрию, арифметику, алгебру и анализ.
Математика... это просто изучение абстрактных структур или формальных моделей связности.
Исчисление — это изучение изменений: как меняются вещи и как быстро они меняются.
... математика дошла до наших дней благодаря двум основным потокам числа и формы. Первый увлекался арифметикой и алгеброй, второй — геометрией.
К сожалению, два проклятия математики — нумерология и астрология — также родились вместе с ней и оказались более приемлемыми для масс, чем сама математика.
Новый MSC содержит 63 двузначных классификации, 529 трехзначных классификаций и 6006 пятизначных классификаций.
[Сначала необходимо спросить, что подразумевается под математикой вообще. Прославленные ученые спорили по этому вопросу до посинения, но до сих пор не было достигнуто единого мнения о том, является ли математика естественной наукой, отраслью гуманитарных наук или формой искусства.
Разум для чисел.