Связанные понятия
Преде́л — одно из основных понятий математического анализа. Различают предел последовательности и предел функции.
Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.
Определённый интеграл — аддитивный монотонный функционал, заданный на множестве пар, первая компонента которых есть интегрируемая функция или функционал, а вторая — область в множестве задания этой функции (функционала).
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Упоминания в литературе
Но, как правило, под информацией понимают ее абстрактное значение – семантику. Если мы хотим обмениваться информацией, нам необходимы согласованные представления, чтобы не нарушалась правильность интерпретации. Для этого интерпретацию представления информации отождествляют с некоторыми
математическими структурами . В этом случае обработка информации может быть выполнена строгими математическими методами.
Итак, мы видим, что анализ методологической
структуры математического принципа бесконечного приводит нас обратно к его логическому источнику: к принципу изначала. Да иначе и быть не может. Если логика чистого познания избрала своим лозунгом ориентирование на точной науке, то это относится прежде всего к математике. И потому именно математическое понятие бесконечного послужило образцом для логической формулировки принципа изначала.
Связанные понятия (продолжение)
Топологи́ческая гру́ппа (непрерывная группа) — это группа, которая одновременно является топологическим пространством, причём умножение элементов группы G × G → G и операция взятия обратного элемента G...
Прострáнством называется математическое множество, имеющее структуру, определяемую аксиоматикой свойств его элементов (например, точек в геометрии, векторов в линейной алгебре, событий в теории вероятностей и так далее).Подмножество пространства называется «подпространством», если структура пространства индуцирует на этом подмножестве структуру такого же типа (точное определение зависит от типа пространства).
Подробнее: Пространство (математика)
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
Топологическое векторное пространство , или топологическое линейное пространство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны.
Инвариа́нт — это свойство некоторого класса (множества) математических объектов, остающееся неизменным при преобразованиях определённого типа.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Сепара́бельное пространство (от лат. separabilis — отделимый) — топологическое пространство, в котором можно выделить счётное всюду плотное подмножество.
Упорядоченное поле — алгебраическое поле, для всех элементов которого определён линейный порядок, согласованный с операциями поля. Наиболее практически важными примерами являются поля рациональных и вещественных чисел.
Универсальная обёртывающая алгебра — ассоциативная алгебра, которая может быть построена для любой алгебры Ли, перенимающая многие важные свойства исходной алгебры, что позволяет применить более широкие средства для изучения исходной алгебры.
Интегра́л Пуассо́на — общее название математических формул, выражающих решение краевой задачи или начальной задачи для уравнений с частными производными некоторых типов.
Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием...
Теория колец — раздел общей алгебры, изучающий свойства колец — алгебраических структур со сложением и умножением, схожими по поведению со сложением и умножением чисел. Выделяются два раздела теории колец: изучение коммутативных и некоммутативных колец.
Теория комбинаторных схем — это часть комбинаторики (раздела математики), рассматривающая существование, построение и свойства семейств конечных множеств, структура которых удовлетворяет обобщённым концепциям равновесия и/или симметрии. Эти концепции не определены точно, так что объекты широкого диапазона могут пониматься как комбинаторные схемы. Так, в одном случае комбинаторные схемы могут представлять собой пересечения множеств чисел, как в блок-схемах, а в другом случае могут отражать расположение...
Подробнее: Комбинаторная схема
Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...
Функциональное уравнение — уравнение, выражающее связь между значением функции в одной точке с её значениями в других точках. Многие свойства функций можно определить, исследуя функциональные уравнения, которым эти функции удовлетворяют. Термин «функциональное уравнение» обычно используется для уравнений, несводимых простыми способами к алгебраическим уравнениям. Эта несводимость чаще всего обусловлена тем, что аргументами неизвестной функции в уравнении являются не сами независимые переменные, а...
Дедеки́ндово сече́ние (или у́зкая щель) — один из способов построения вещественных чисел из рациональных.
Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком. Более строгое определение класса зависит от выбора исходной системы аксиом. В системе аксиом Цермело — Френкеля определение класса является неформальным, тогда как другие системы, например, система аксиом фон Неймана — Бернайса — Гёделя, аксиоматизируют определение «собственного класса» как некоторого семейства, которое не может быть элементом...
Многомерный
анализ (также известный как многомерное или многовариантное исчисление) является обобщением дифференциального и интегрального исчислений для случая нескольких переменных.
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Алгебра Хопфа — ассоциативная алгебра над полем, имеющая единицу, и являющаяся также коассоциативной коалгеброй с коединицей и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа.
Коалгебра — математическая структура, которая двойственна (в смысле обращения стрелок) к ассоциативной алгебре с единицей. Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм. Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью (векторного пространства) порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обоих направлениях. Коалгебры встречаются в разных случаях (например, в универсальных обёртывающих...
Преде́л фу́нкции (предельное значение функции) в заданной точке, предельной для области определения функции, — такая величина, к которой стремится значение рассматриваемой функции при стремлении её аргумента к данной точке.
Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона.
Эквивале́нтность катего́рий в теории категорий — отношение между категориями, показывающее, что две категории «по существу одинаковы». Установление эквивалентности свидетельствует о глубокой связи соответствующих математических концепций и позволяет «переносить» теоремы с одних структур на другие.
Бордизм , также бордантность — термин топологии, употребляющийся самостоятельно или в составе стандартных...
Алгебра над полем — это векторное пространство, снабженное билинейным произведением. Это значит, что алгебра над полем является одновременно векторным пространством и кольцом, причём эти структуры согласованы. Обобщением этого понятия является алгебра над кольцом, которая, вообще говоря, является не векторным пространством, а модулем над некоторым кольцом.
Симплектическое многообразие — это многообразие с заданной на нём симплектической формой, то есть замкнутой невырожденной дифференциальной 2-формой.
Факторкольцо ́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы. Любое кольцо является группой по сложению, поэтому можно рассмотреть её подгруппу и взять факторгруппу. Однако для того, чтобы на этой факторгруппе можно было корректно определить умножение, необходимо, чтобы исходная подгруппа была замкнута относительно умножения на произвольные элементы кольца, то есть являлась идеалом.
Асимптотическое разложение функции f(x) — формальный функциональный ряд, такой, что сумма произвольного конечного числа членов этого ряда приближает (аппроксимирует) функцию f(x) в окрестности некоторой (возможно, бесконечно удалённой) её предельной точки. Понятие асимптотического разложения функции и асимптотического ряда были введены Анри Пуанкаре при разрешении задач небесной механики. Отдельные случаи асимптотического разложения были открыты и применялись ещё в XVIII в. Асимптотические разложения...
Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.
Тополо́гия Зари́сского , или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
Алгебра над кольцом — алгебраическая система, которая является одновременно модулем над этим кольцом и кольцом сама по себе, причём эти две структуры взаимосвязаны. Понятие алгебры над кольцом является обобщением понятия алгебры над полем, аналогично тому как понятие модуля обобщает понятие векторного пространства.
Коне́чноме́рное простра́нство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.
Измери́мые функции представляют естественный класс функций, связывающих пространства с выделенными алгебрами множеств, в частности измеримыми пространствами.
Подробнее: Измеримая функция
В компле́ксном анализе вы́четом заданного объекта (функции, формы) называется объект (число, форма или когомологический класс формы), характеризующий локальные свойства заданного.
Подробнее: Вычет (комплексный анализ)
Тензорное поле — это отображение, которое каждой точке рассматриваемого пространства ставит в соответствие тензор.