Связанные понятия
Неконструктивное доказательство (неэффективное доказательство) — класс математических доказательств, доказывающих лишь существование в заданном (как правило, бесконечном) множестве элемента, удовлетворяющего заданным свойствам, но не дающее никакой информации о других свойствах элемента, то есть не позволяющие ни предъявить его, ни приблизительно описать. Доказательства, которые доказывают существование элемента, предъявляя способ получения этого элемента, называются конструктивными.
Сепара́бельное пространство (от лат. separabilis — отделимый) — топологическое пространство, в котором можно выделить счётное всюду плотное подмножество.
Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств.
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
Определению топологического пространства удовлетворяет широкий класс множеств. В частности, оно включает пространства, топология которых мало похожа на топологию метрического пространства. Поэтому на топологические пространства часто налагают дополнительные требования, в частности, аксиомы отделимости.
Подробнее: Аксиомы отделимости
Мно́жество — одно из ключевых понятий математики; это математический объект, сам являющийся набором, совокупностью, собранием каких-либо объектов, которые называются элементами этого множества и обладают общим для всех их характеристическим свойством. Изучением общих свойств множеств занимаются теория множеств, а также смежные разделы математики и математической логики.
Метризуемое пространство — топологическое пространство, гомеоморфное некоторому метрическому пространству. Иначе говоря, пространство, топология которого порождается некоторой метрикой.
Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона.
Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз в качестве замены для аксиомы выбора (введённой в 1904 году, обозначается AC). Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков. Например, в случае применения аксиомы выбора возникают парадоксальные конструкции вроде «парадокса...
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
При конструктивном подходе к определению вещественного числа вещественные числа строят, исходя из рациональных, которые считают заданными. Во всех трёх нижеизложенных способах за основу берутся рациональные числа и конструируются новые объекты, называемые иррациональными числами. В результате пополнения ими множества рациональных чисел, мы получаем множество вещественных чисел.
Подробнее: Конструктивные способы определения вещественного числа
Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал достигает экстремального значения.
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов...
Вероя́тностное простра́нство — понятие, введённое А. Н. Колмогоровым в 30-х годах XX века для формализации понятия вероятности, которое дало начало бурному развитию теории вероятностей как строгой математической дисциплины.
Бесконечность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно.
В теории множеств и смежных с ней областях математики под универсумом фон Неймана (обозначается V), или иерархией множеств по фон Нейману, понимается класс, образованный наследственными фундированными множествами. Такая совокупность, формализуемая теорией множеств Цермело-Френкеля (ZFC) часто используется в качестве интерпретации или обоснования ZFC-аксиом.
Подробнее: Универсум фон Неймана
Измери́мые функции представляют естественный класс функций, связывающих пространства с выделенными алгебрами множеств, в частности измеримыми пространствами.
Подробнее: Измеримая функция
В теории множеств, разделе математики, урэлемент или ур-элемент (от немецкой приставки ur- обозначающей «изначальный» или «исходный») — это объект (конкретный или абстрактный), который не является множеством, но который может быть элементом множества. Урэлементы иногда называются «атомами».
Подробнее: Урэлемент
Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
Программа минимальных моделей — это часть бирациональной классификации алгебраических многообразий. Её цель — построение как можно более простой бирациональной модели любого комплексного проективного многообразия. Предмет основывается на классической бирациональной геометрии поверхностей, изучаемой итальянской школой и в настоящее время находящейся в активном изучении.
При́нцип наиме́ньшего де́йствия Га́мильтона (также просто принцип Гамильтона), точнее при́нцип стациона́рности де́йствия — способ получения уравнений движения физической системы при помощи поиска стационарного (часто — экстремального, обычно, в связи со сложившейся традицией определения знака действия, наименьшего) значения специального функционала — действия. Назван в честь Уильяма Гамильтона, использовавшего этот принцип для построения так называемого гамильтонова формализма в классической механике...
Псевдотопологи́ческое простра́нство — множество с дополнительной предельной структурой определённого типа (так называемой псевдотопологией). Исторически понятие псевдотопологического пространства появилось как обобщение топологического пространства. Псевдотопологические пространства были введены в 1959 г. Фишером . Псевдотопологические пространства естественным образом возникают при построении дифференциального исчисления в пространствах без нормы. Топологические пространства можно рассматривать...
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости...
Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств.
Аддитивная комбинаторика (от англ. addition — сложение) — междисциплинарная область математики, изучающая взаимозависимость различных количественных интерпретаций понятия структурированности подмножества группы (как правило, конечной), а также аналогичные свойства производных от множества структур, использующихся при этих интерпретациях. Кроме того, аддитивная комбинаторика изучает структурированность в различных смыслах некоторых специфических множеств или классов множеств (например, подмножеств...
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
В теории меры,
атом — это измеримое множество положительной меры, которое не содержит в себе подмножества меньшей положительной меры. Мера, не имеющая атомов, называется безатомной.
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях и типах в логике и языках программирования.
Обобщённая фу́нкция или распределе́ние — математическое понятие, обобщающее классическое понятие функции.
Преде́л — одно из основных понятий математического анализа. Различают предел последовательности и предел функции.
Логика первого порядка , называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высших порядков.
Модель системы аксиом — какой-либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того, модель позволяет наглядно продемонстрировать некоторые особенности данной аксиоматической теории.
Направленное множество в математике — непустое множество A с заданным на нем рефлексивным транзитивным отношением ≤ (то есть предпорядком), обладающее дополнительным свойством: у любой пары элементов из A есть верхняя грань в A.
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
Математи́ческая структу́ра — название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой структуры задают отношения, в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры.
Зеркальная симметрия была изначально обнаружена физиками. Математики заинтересовались этим явлением около 1990 года, когда Филип Канделас, Ксения де ла Осса, Пол Грин и Линда Паркс показали, что зеркальную симметрию можно использовать в качестве инструмента в исчислительной геометрии, разделе математики, занимающемся подсчётом количества ответов на те или иные геометрические вопросы. Канделас и соавторы показали, что зеркальная симметрия может быть использована для подсчёта числа рациональных кривых...
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Преде́л фу́нкции (предельное значение функции) в заданной точке, предельной для области определения функции, — такая величина, к которой стремится значение рассматриваемой функции при стремлении её аргумента к данной точке.
Пучок — структура, используемая для установления отношений между локальными и глобальными данными.
Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием...
Теорема Мура о факторпространстве — классическое утверждение двумерной топологии, даёт достаточное условие на то, что факторпространство сферы гомеоморфно двумерной сфере.
Квазиизометрия — обобщение понятия изометрии на метрических пространствах, игнорирующая конечные отклонения, как абсолютные, так и относительные.
Объём — это аддитивная функция от множества (мера), характеризующая вместимость области пространства, которую оно занимает. Изначально возникло и применялось без строгого определения в отношении тел трёхмерного евклидова пространства.
Метод Ньютона , алгоритм Ньютона (также известный как метод касательных) — это итерационный численный метод нахождения корня (нуля) заданной функции. Метод был впервые предложен английским физиком, математиком и астрономом Исааком Ньютоном (1643—1727). Поиск решения осуществляется путём построения последовательных приближений и основан на принципах простой итерации. Метод обладает квадратичной сходимостью. Модификацией метода является метод хорд и касательных. Также метод Ньютона может быть использован...
Теорема Сарда — одна из теорем математического анализа, имеющих важные приложения в теории катастроф и теории динамических систем.Названа в честь американского математика Артура Сарда.
В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.
Подробнее: Монодромия
ДСМ-метод — метод автоматического порождения гипотез. Формализует схему правдоподобного и достоверного вывода, называемую ДСМ-рассуждением.
Полуопределённое программирование (en: Semidefinite programming, SDP) — это подраздел выпуклого программирования, которое занимается оптимизацией линейной целевой функции (целевая функция — это заданная пользователем функция, значение которой пользователь хочет минимизировать или максимизировать) на пересечении конусов положительно полуопределённых матриц с аффинным пространством.