Понятия со словом «разрешимость»
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Связанные понятия
Теорема Пикара — теорема о существовании и единственности решения обыкновенного дифференциального уравнения первого порядка.
Теорема Хольмгрена — теорема о единственности решения задачи Коши для дифференциального уравнения с частными производными в случае аналитичности коэффициентов дифференциального оператора.
Теорема Пуанкаре о векторном поле (также известна как теорема Пуанкаре — Хопфа и теорема об индексе) — классическая теорема дифференциальной топологии и теории динамических систем;
Лемма (греч. λημμα — предположение) — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений.
Граничные условия Дирихле первого рода — тип граничных условий, названный в честь немецкого математика П. Г. Дирихле. Условие Дирихле, применённое к обыкновенным дифференциальным уравнениям или к дифференциальным уравнениям в частных производных, определяет поведение системы на границе области. Задача о нахождении таких условий называется задачей Дирихле.
Теорема о замкнутом графике — важный результат функционального анализа, устанавливающая критерий ограниченности линейного оператора между банаховыми пространствами.
Топологическая комбинаторика — это молодая область математики, возникшая в последней четверти 20-го века, которая занимается следующими вопросами...
Теоре́ма Лебе́га о мажори́руемой сходи́мости в функциональном анализе, теории вероятностей и смежных дисциплинах — это теорема, утверждающая, что если сходящаяся почти всюду последовательность измеримых функций может быть ограничена по модулю сверху интегрируемой функцией, то все члены последовательности, а также предельная функция тоже интегрируемы. Более того, интеграл последовательности сходится к интегралу её предела.
Трансценде́нтное число́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.
Элементарные функции — функции, которые можно получить с помощью конечного числа арифметических действий и композиций из следующих основных элементарных функций...
Теорема о монотонной сходимости (теорема Беппо́ Ле́ви) — это теорема из теории интегрирования Лебега, имеющая фундаментальное значение для функционального анализа и теории вероятностей, где служит инструментом для доказательства многих положений. Даёт одно из условий при которых можно переходить к пределу под знаком интеграла Лебега, теорема позволяет доказать существование суммируемого предела у некоторых ограниченных функциональных последовательностей.
Гипотезы Вейля — математические гипотезы о локальных дзета-функциях проективных многообразий над конечными полями.
Теорема об огибающей (англ. envelope theorem) — результат о дифференцируемости целевой функции в оптимизационных задачах с параметром. Теорема гласит, что при варьировании значения параметра, изменение целевой функции (в определённом смысле) не обусловлено изменением оптимума. Теорема важна для сравнительной статики в оптимизационных моделях.
Критерий Лиувилля — Мордухай-Болтовского — критерий существования решения в обобщенных квадратурах линейного однородного обыкновенного дифференциального уравнения произвольного порядка.
Операторная алгебра — алгебра операторов, действующих на топологическом векторном пространстве. Операторные алгебры активно применяются в теории представлений и в дифференциальной геометрии, в квантовой механике и в квантовой статистической физике, в квантовой теории поля и в современной классической механике.
Скорость сходимости является основной характеристикой численных методов решения уравнений и оптимизации.
Конечномерный оператор — ограниченный линейный оператор в банаховом пространстве, множество значений которого конечномерно.
Гиперболические уравнения — класс дифференциальных уравнений в частных производных. Характеризуются тем, что задача Коши с начальными данными, заданными на нехарактеристической поверхности, однозначно разрешима.
Интерполяция линейных операторов — направление функционального анализа. рассматривающее банаховы пространства как элементы некоторой категории. Общая теория интерполяции линейных операторов была разработана, начиная с 1958 года, в работах С. Г. Крейна, Ж.-Л. Лионса, Ж. Петре. Имеет многочисленные приложения в теории рядов Фурье, в теории приближений, в теории уравнений в частных производных.
Гомологическая алгебра — ветвь алгебры, изучающая алгебраические объекты, заимствованные из алгебраической топологии. Первыми гомологические методы в алгебре применили в 40-х годах XX века Фаддеев, Дмитрий Константинович, С. Эйленберг и С. Маклейн при изучении расширений групп.
Важнейшими с точки зрения приложений характеристических функций к выводу асимптотических формул теории вероятностей являются две предельные теоремы — прямая и обратная. Эти теоремы устанавливают, что соответствие, существующее между функциями распределения и характеристическими функциями, не только взаимно однозначно, но и непрерывно.
Подробнее: Прямая и обратная предельная теорема
Теория чисел — это раздел математики, занимающийся преимущественно изучением натуральных и целых чисел и их свойств, часто с привлечением методов математического анализа и других разделов математики. Теория чисел содержит множество проблем, попытки решения которых предпринимались математиками в течение десятков, а иногда даже сотен лет, но которые пока так и остаются открытыми. Ниже приведены некоторые из наиболее известных нерешённых проблем.
Дифференциа́льное уравне́ние Ри́мана — обобщение гипергеометрического уравнения, позволяющее получить регулярные сингулярные точки в любой точке сферы Римана. Названо в честь математика Бернхарда Римана.
Краевая задача (граничная задача) — задача о нахождении решения заданного дифференциального уравнения (системы дифференциальных уравнений), удовлетворяющего краевым (граничным) условиям в концах интервала или на границе области. Краевые задачи для гиперболических и параболических уравнений часто называют начально-краевыми или смешанными, потому что в них задаются не только граничные, но и начальные условия.
Интеграл Лебе́га — это обобщение интеграла Римана на более широкий класс функций.
Теорема Пайерлса — теорема квантовой статистической физики. Сформулирована и доказана Рудольфом Пайерлсом в 1930 году.
В вычислительной математике многочлены Бернштейна — это алгебраические многочлены, представляющие собой линейную комбинацию базисных многочленов Бернштейна.Устойчивым алгоритмом вычисления многочленов в форме Бернштейна является алгоритм де Кастельжо.
Теорема Квиллена — Суслина (проблема Серра, гипотеза Серра) — утверждение о тривиальности произвольного векторного расслоения над аффинным пространством произвольной размерности. Сформулировано как гипотеза в 1955 году Жан-Пьером Серром, доказательство получено в 1976 году Андреем Суслиным и Даниелем Квилленом.
Теорема о промежуточном значении (или Теоре́ма Больца́но — Коши́) утверждает, что если непрерывная функция, определённая на вещественном промежутке, принимает два значения, то она принимает и любое значение между ними.
Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.
Теорема Витта — теорема о свойствах конечномерных ортогональных пространств над полями произвольного вида. Она утверждает, что любая изометрия между двумя подпространствами конечномерного ортогонального векторного пространства может быть продолжена на все пространство.
В математике (общей алгебре) многочлен от нескольких переменных над полем называется гармоническим, если лапласиан этого многочлена равен нулю.
Подробнее: Гармонический многочлен
Γ-сходимость (
Гамма-сходимость) – концепция сходимости функционалов, возникающая в вариационном исчислении, а также при изучении дифференциальных уравнений в частных производных.
В математике, симметрической алгеброй S(V) (также обозначается Sym(V)) векторного пространства V над полем K называется свободная коммутативная ассоциативная K-алгебра с единицей, содержащая V.
Подробнее: Симметрическая алгебра
Вы́сшая симме́трия (обобщённая симметрия) — одно из фундаментальных понятий раздела математики — группового анализа.
Метод суперпозиции — метод решения краевой задачи для линейных обыкновенных дифференциальных уравнений путём преобразования в задачу Коши.
Последовательное квадратичное программирование (англ. Sequential quadratic programming (SQP)) — один из наиболее распространённых и эффективных оптимизационных алгоритмов общего назначения, основной идеей которого является последовательное решение задач квадратичного программирования, аппроксимирующих данную задачу оптимизации. Для оптимизационных задач без ограничений алгоритм SQP преобразуется в метод Ньютона поиска точки, в которой градиент целевой функции обращается в ноль. Для решения исходной...
Многомерный комплексный анализ — раздел математики, изучающий голоморфные функции нескольких комплексных переменных, определенные в многомерном комплексном пространстве, голоморфные отображения и подмногообразия комплексного пространства. Начало систематическому изучению многомерных комплексных функций было положено К. Вейерштрассом и А. Пуанкаре в конце XIX века. А. Пуанкаре распространил на функции нескольких переменных основную теорему Коши и заложил основы многомерной теории вычетов. Методы многомерного...