Связанные понятия
Комбинато́рика (комбинаторный анализ) — раздел математики, изучающий дискретные объекты, множества (сочетания, перестановки, размещения и перечисления элементов) и отношения на них (например, частичного порядка). Комбинаторика связана с другими областями математики — алгеброй, геометрией, теорией вероятностей и применяется в различных областях знаний (например, в генетике, информатике, статистической физике).
Математи́ческий ана́лиз (классический математический анализ) — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры (особенно коммутативной) для решения задач, возникающих в геометрии.
Ко́мпле́ксный ана́лиз , тео́рия фу́нкций ко́мпле́ксного переме́нного (или ко́мпле́ксной переме́нной; сокращенно — ТФКП) — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.
Общая алгебра (также абстрактная алгебра, высшая алгебра) — раздел математики, изучающий алгебраические системы (также иногда называемые алгебраическими структурами), такие как группы, кольца, поля, модули, решётки, а также отображения между такими структурами.
Упоминания в литературе
В 1630 году вышел французский перевод Диофантовой «Арифметики», содержащий наиболее полную экспозицию
теории чисел , сформулированный Пифагором, Евклидом и другими античными математиками. Именно изучение теоремы Пифагора спровоцировало вспышку гениальности у Ферма и привело к формулировке его бессмертной проблемы. Он сформулировал вариант теоремы Пифагора, заменив в формуле x² + y² = z² квадраты на кубы: x? + y? = z?.
Фреге очень необычный мыслитель, поскольку его творческий поиск осуществлялся на стыке философии и математики. Свою главную задачу он видел в том, чтобы подвести под арифметику надежное логическое основание, продемонстрировав возможность определения ее основных понятий и аксиом в терминах чистой логики. Таким образом, Фреге первым выдвинул программу обоснования арифметики путем сведения ее к логике, которая получила название «логицизм». Для выполнения этой программы он создал совершенно новую логику, осуществив первое аксиоматическое построение пропозиционального исчисления и построив теорию квантификации и исчисление предикатов, которые образуют ядро современной математической логики. Эта новая логическая система была сформулирована Фреге на специально разработанном им формально-логическом языке. Задавая интерпретацию этого искусственного языка, Фреге заложил основы логической семантики, однако если в дальнейшем при создании логических языков стали четко отделять их синтаксис (задание словаря исходных символов, формулировка правил образования и преобразования выражений языка и т. п.) от семантики (сопоставление категориям языковых выражений различных типов внеязыковых сущностей), то Фреге выстраивает синтаксис и семантику своей системы одновременно по мере введения новых знаков и выражений. Более того, семантика языка формулируется им с учетом уже имеющейся онтологии внеязыкового мира, для представления которой и создается язык. Однако следует отметить, что Фреге не просто взял стандартную онтологию для арифметики, которая включает
теорию чисел и математический анализ, но внес в нее существенные дополнения и изменения, по-новому осмыслив многие математические понятия, прежде всего понятия функции, класса и числа.
Должен существовать критерий для выбора из бесконечного
числа теорий , в равной степени успешно предсказывающих на основе тех наблюдений, которые уже сделаны, если мы вообще допускаем возможность достоверных прогнозов на будущее. История науки свидетельствует о том, что при условии отсутствия фонового знания, как правило, таким критерием был критерий простоты. Без этого критерия мы бы вовсе не могли продвинуться в области рациональных исследований. Simplex sigillum veri («Простота – знак истины») – это главная тема данной книги, что станет очевидно в свое время. Всё, что я хотел бы показать здесь, это решающее влияние критерия простоты в науке. А если мы должны принять в наших исследованиях религии те критерии рационального исследования, которыми мы пользуемся в науке и обыденной жизни, то мы будем должны принять и этот критерий тоже.
В 1874 г. в Санкт-Петербургском университете защитил на степень магистра математики работу «Общая теория интегрирования линейных дифференциальных уравнений высших порядков частными производными». В том же году его избрали доцентом кафедры чистой математики Киевского университета. Читал лекции по теории вероятностей,
теории чисел , разностному исчислению. Через два года опубликовал работу, посвященную интегрированию дифференциальных уравнений механики, и успешно защитил диссертацию «Интегрирование дифференциальных уравнений механики» (1877) на степень доктора чистой математики. Был назначен экстраординарным профессором, с 1888 г. – ординарным, с 1899 г. – заслуженным профессором математики Киевского университета.
Ни одна наука, в том
числе теория государства и права, не может ограничиться каким-либо одним, исключительным методом. Теория государства и права относится к общественным наукам. Изменяющиеся общественные отношения, их сложный причинно-следственный, а в некоторых случаях вариативный характер, глубинная мотивация поведения людей, влияющего на важные государственные преобразования, изменения в отношении к праву, законодательные изменения и многое другое вызывают необходимость опоры на несколько групп методов.
Связанные понятия (продолжение)
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий...
Тополо́гия (от др.-греч. τόπος — место и λόγος — слово, учение) — раздел математики, изучающий...
А́лгебра (от араб. الْجَبْر, «аль-джабр» — восполнение) — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под алгеброй понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Функциональный анализ — раздел анализа, в котором изучаются бесконечномерные топологические векторные пространства и их отображения.
Теория представлений — раздел математики, изучающий абстрактные алгебраические структуры с помощью представления их элементов в виде линейных преобразований векторных пространств. В сущности, представление делает абстрактные алгебраические объекты более конкретными, описывая их элементы матрицами, а операции сложения и умножения этих объектов — сложением и умножением матриц. Среди объектов, поддающихся такому описанию, находятся группы, ассоциативные алгебры и алгебры Ли. Наиболее известной (и, исторически...
Алгебраи́ческая тополо́гия (устаревшее название: комбинаторная топология) — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов (групп, колец и т. д.), а также поведение этих объектов под действием различных топологических операций.
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов...
Тео́рия вероя́тностей — раздел математики, изучающий случайные события, случайные величины, их свойства и операции над ними.
Лине́йная а́лгебра — раздел алгебры, изучающий объекты линейной природы: векторные (или линейные) пространства, линейные отображения, системы линейных уравнений, среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно (в целом или частично) также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают...
Данная статья представляет собой обзор основных событий и тенденций в истории математики с древнейших времён до наших дней.
Подробнее: История математики
Гармони́ческий ана́лиз (или фурье́-ана́лиз) — раздел математического анализа, в котором изучаются свойства функций с помощью представления их в виде рядов или интегралов Фурье. Также метод решения задач с помощью представления функций в виде рядов или интегралов Фурье.
Специальные функции — встречающиеся в различных приложениях математики (чаще всего — в различных задачах математической физики) функции, которые не выражаются через элементарные функции. Специальные функции представляются в виде рядов или интегралов.
Анализ как современный раздел математики — значительная часть математики, исторически выросшая из классического математического анализа, и охватывающая, кроме дифференциального и интегрального исчислений, входящих в классическую часть, такие разделы, как теории функций вещественной и комплексной переменной, теории дифференциальных и интегральных уравнений, вариационное исчисление, гармонический анализ, функциональный анализ, теорию динамических систем и эргодическую теорию, глобальный анализ. Нестандартный...
Дискре́тная матема́тика — часть математики, изучающая дискретные математические структуры, такие, как графы и утверждения в логике.
Трансценде́нтное число ́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.
Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал достигает экстремального значения.
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Интегра́льное уравне́ние — функциональное уравнение, содержащее интегральное преобразование над неизвестной функцией. Если интегральное уравнение содержит также производные от неизвестной функции, то говорят об интегро-дифференциальном уравнении.
Гомологическая алгебра — ветвь алгебры, изучающая алгебраические объекты, заимствованные из алгебраической топологии. Первыми гомологические методы в алгебре применили в 40-х годах XX века Фаддеев, Дмитрий Константинович, С. Эйленберг и С. Маклейн при изучении расширений групп.
Теория колец — раздел общей алгебры, изучающий свойства колец — алгебраических структур со сложением и умножением, схожими по поведению со сложением и умножением чисел. Выделяются два раздела теории колец: изучение коммутативных и некоммутативных колец.
Общая топология , или теоретико-множественная топология, — раздел топологии, в котором изучаются понятия «непрерывности» и «предела» в наиболее общем смысле.
Комбинаторная или дискретная геометрия — раздел геометрии, в котором изучаются комбинаторные свойства геометрических объектов и связанные с ними конструкции. В комбинаторной геометрии рассматривают конечные и бесконечные дискретные множества или структуры базовых однотипных геометрических объектов (точек, прямых, окружностей, многоугольников, тел с одинаковым диаметром, целочисленных решёток и т. п.) и ставят вопросы, связанные со свойствами различных геометрических конструкций из этих объектов или...
Теория функций вещественной переменной (или теория функций действительного переменного) — раздел анализа, нацеленный на углублённое изучение двух понятий «классического» математического анализа: производной и интеграла.
Интегральное исчисление — раздел математического анализа, в котором изучаются понятия интеграла, его свойства и методы вычислений.
Теория приближений — раздел математики, изучающий вопрос о возможности приближенного представления одних математических объектов другими, как правило более простой природы, а также вопросы об оценках вносимой при этом погрешности. Значительная часть теории приближения относится к приближению одних функций другими, однако есть и результаты, относящиеся к абстрактным векторным или топологическим пространствам.
Эллиптическая функция — в комплексном анализе периодическая в двух направлениях функция, заданная на комплексной плоскости. Эллиптические функции можно рассматривать как аналоги тригонометрических (имеющих только один период). Исторически, эллиптические функции были открыты как функции, обратные эллиптическим интегралам.
Теоре́ма (др.-греч. θεώρημα «доказательство, вид; взгляд; представление, положение») — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.
Дифференциальное исчисление — раздел математического анализа, в котором изучаются понятия производной и дифференциала и способы их применения к исследованию функций. Формирование дифференциального исчисления связано с именами Исаака Ньютона и Готфрида Лейбница. Именно они чётко сформировали основные положения и указали на взаимообратный характер дифференцирования и интегрирования. Создание дифференциального исчисления (вместе с интегральным) открыло новую эпоху в развитии математики. С этим связаны...
Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона.
Квадратичная форма — функция на векторном пространстве, задаваемая однородным многочленом второй степени от координат вектора.
Математи́ческая фи́зика — теория математических моделей физических явлений. Она относится к математическим наукам; критерий истины в ней — математическое доказательство. Однако, в отличие от чисто математических наук, в математической физике исследуются физические задачи на математическом уровне, а результаты представляются в виде теорем, графиков, таблиц и т. д. и получают физическую интерпретацию. При таком широком понимании математической физики к ней следует относить и такие разделы механики...
Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет, по крайней мере, один корень на поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.
А́лгебра Ли — объект общей алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли.
Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.
Алгебраическая группа — это группа, являющаяся одновременно алгебраическим многообразием, причём групповая операция и операция взятия обратного элемента являются регулярными отображениями многообразий.
Теория потенциала — раздел математики и математической физики, посвящённый изучению свойств дифференциальных уравнений в частных производных в областях с достаточно гладкой границей посредством введения специальных видов интегралов, зависящих от определённых параметров, называемых потенциалами.
Выпуклая геометрия — ветвь геометрии, изучающая выпуклые множества, в основном, в евклидовом пространстве. Выпуклые множества возникают естественным образом во многих областях, в том числе в вычислительной геометрии, выпуклом анализе, комбинаторной геометрии, функциональном анализе, геометрии чисел, интегральной геометрии, линейном программировании, теории вероятностей.
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Теория Рамсея — раздел математики, изучающий условия, при которых в произвольно формируемых математических объектах обязан появиться некоторый порядок. Названа в честь Фрэнка Рамсея.
Тео́рия алгори́тмов — наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п. Вместе с математической логикой теория алгоритмов...
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Хотя названия операций поля взяты из арифметики, следует иметь в виду, что элементы поля не обязательно являются числами, и определения операций могут быть далеки от арифметических.