Алгебра множеств

Алгебра множеств в теории множеств — это непустая система подмножеств, замкнутая относительно операций дополнения (разности) и объединения (суммы).

Источник: Википедия

Связанные понятия

А́лгебра (от араб. الْجَبْر‎, «аль-джабр» — восполнение) — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под алгеброй понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.

Аддитивная комбинаторика (от англ. addition — сложение) — междисциплинарная область математики, изучающая взаимозависимость различных количественных интерпретаций понятия структурированности подмножества группы (как правило, конечной), а также аналогичные свойства производных от множества структур, использующихся при этих интерпретациях. Кроме того, аддитивная комбинаторика изучает структурированность в различных смыслах некоторых специфических множеств или классов множеств (например, подмножеств...

Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.

В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.

Подробнее: Монодромия

Произведением Мояля — самый известный пример звёздочного произведения в фазовом пространстве.

По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Хотя названия операций поля взяты из арифметики, следует иметь в виду, что элементы поля не обязательно являются числами, и определения операций могут быть далеки от арифметических.

Алгебра Хопфа — ассоциативная алгебра над полем, имеющая единицу, и являющаяся также коассоциативной коалгеброй с коединицей и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа.

Случайный элемент — обобщение понятия случайной величины. Термин был введён, по-видимому, М.Фреше (1948), отмечавшим, что «развитие теории вероятностей и расширение области её приложений привели к необходимости перейти от схем, где (случайные) исходы опыта могут быть описаны числом или конечным набором чисел, к схемам, где исходы опыта представляют собой, например, векторы, функции, процессы, поля, ряды, преобразования, а также множества или наборы множеств».

Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.

Дифференциальное исчисление над коммутативными алгебрами — раздел коммутативной алгебры, возникший в семидесятых годах прошлого века.

Универсальная обёртывающая алгебра — ассоциативная алгебра, которая может быть построена для любой алгебры Ли, перенимающая многие важные свойства исходной алгебры, что позволяет применить более широкие средства для изучения исходной алгебры.

Теория чисел, или высшая арифметика, — раздел математики, первоначально изучавший свойства целых чисел. В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений.

Лине́йная а́лгебра — раздел алгебры, изучающий объекты линейной природы: векторные (или линейные) пространства, линейные отображения, системы линейных уравнений, среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно (в целом или частично) также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают...

Алгебра над полем — это векторное пространство, снабженное билинейным произведением. Это значит, что алгебра над полем является одновременно векторным пространством и кольцом, причём эти структуры согласованы. Обобщением этого понятия является алгебра над кольцом, которая, вообще говоря, является не векторным пространством, а модулем над некоторым кольцом.

Прямое или декартово произведение двух множеств — это множество, элементами которого являются все возможные упорядоченные пары элементов исходных множеств.

Вероя́тностное простра́нство — понятие, введённое А. Н. Колмогоровым в 30-х годах XX века для формализации понятия вероятности, которое дало начало бурному развитию теории вероятностей как строгой математической дисциплины.

Метод Ньютона, алгоритм Ньютона (также известный как метод касательных) — это итерационный численный метод нахождения корня (нуля) заданной функции. Метод был впервые предложен английским физиком, математиком и астрономом Исааком Ньютоном (1643—1727). Поиск решения осуществляется путём построения последовательных приближений и основан на принципах простой итерации. Метод обладает квадратичной сходимостью. Модификацией метода является метод хорд и касательных. Также метод Ньютона может быть использован...

В физике топологическое квантовое число (также называемое топологическим зарядом) — это любая величина в физической теории, которая принимает лишь дискретное множество значений, вследствие топологических соображений. Обычно топологические квантовые числа являются топологическими инвариантами, связанными с решениями типа топологических солитонов некоторой системы дифференциальных уравнений, моделирующих физическую систему, так как солитоны сами по себе своей стабильностью обязаны топологическим соображениям...

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры (особенно коммутативной) для решения задач, возникающих в геометрии.

Бикватернионы — комплексификация (расширение) обычных (вещественных) кватернионов.

Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет, по крайней мере, один корень на поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.

Математи́ческий ана́лиз (классический математический анализ) — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.

Интеграл Даниеля — одно из обобщений интеграла Римана, альтернативное понятию интеграла Лебега.

Теорема Сарда — одна из теорем математического анализа, имеющих важные приложения в теории катастроф и теории динамических систем.Названа в честь американского математика Артура Сарда.

Алгебраи́ческая тополо́гия (устаревшее название: комбинаторная топология) — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов (групп, колец и т. д.), а также поведение этих объектов под действием различных топологических операций.

Мно́жество — одно из ключевых понятий математики; это математический объект, сам являющийся набором, совокупностью, собранием каких-либо объектов, которые называются элементами этого множества и обладают общим для всех их характеристическим свойством. Изучением общих свойств множеств занимаются теория множеств, а также смежные разделы математики и математической логики.

Суммирующая функция делителей в теории чисел — функция, являющаяся суммой функции делителей.

При конструктивном подходе к определению вещественного числа вещественные числа строят, исходя из рациональных, которые считают заданными. Во всех трёх нижеизложенных способах за основу берутся рациональные числа и конструируются новые объекты, называемые иррациональными числами. В результате пополнения ими множества рациональных чисел, мы получаем множество вещественных чисел.

Подробнее: Конструктивные способы определения вещественного числа

Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный. Ветвь общей алгебры, занимающаяся группами, называется теорией групп.

Алгебра Клини — в теоретической информатике, специальная алгебраическая структура, введённая американским математиком Стивеном Клини, являющаяся обобщением алгебры регулярных выражений.

В математике термин матрица Картана имеет три значения. Все они названы по имени французского математика Эли Картана. Фактически, матрицы Картана в контексте алгебр Ли впервые исследовал Вильгельм Киллинг, в то время как форма Киллинга принадлежит Картану.

Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий...

Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.

Комплексный логарифм — аналитическая функция, получаемая распространением вещественного логарифма на всю комплексную плоскость (кроме нуля). Существует несколько эквивалентных способов такого распространения. Данная функция имеет широкое применение в комплексном анализе. В отличие от вещественного случая, функция комплексного логарифма многозначна.

Теория представлений — раздел математики, изучающий абстрактные алгебраические структуры с помощью представления их элементов в виде линейных преобразований векторных пространств. В сущности, представление делает абстрактные алгебраические объекты более конкретными, описывая их элементы матрицами, а операции сложения и умножения этих объектов — сложением и умножением матриц. Среди объектов, поддающихся такому описанию, находятся группы, ассоциативные алгебры и алгебры Ли. Наиболее известной (и, исторически...

Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств.

Универсальная алгебра — раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими алгебраическими конструкциями, как группы, кольца, модули, решётки, вводя присущие им всем понятия и общие для всех них утверждения и результаты. Является разделом, занимающим промежуточное положение между математической логикой и общей алгеброй, как реализующий аппарат математической логики в применении к общеалгебраическим структурам.

Измери́мые функции представляют естественный класс функций, связывающих пространства с выделенными алгебрами множеств, в частности измеримыми пространствами.

Подробнее: Измеримая функция

Многообразие Шимуры (иногда многообразие Симуры) — аналог модулярной кривой в более высоких размерностях, который возникает как фактор эрмитова симметрического пространства по конгруэнтной подгруппе редуктивной алгебраической группе, определённой над Q. Термин «многообразие Шимуры» относится к высоким размерностям, в случае одномерных многообразий говорят о кривых Шимуры. Модулярные поверхности Гильберта и модулярные многообразия Зигеля находятся среди лучших известных классов многообразий Шимуры...

Коммутативное кольцо — кольцо, в котором операция умножения коммутативна (обычно также подразумевается её ассоциативность и существование единицы). Изучением свойств коммутативных колец занимается коммутативная алгебра.

Теория колец — раздел общей алгебры, изучающий свойства колец — алгебраических структур со сложением и умножением, схожими по поведению со сложением и умножением чисел. Выделяются два раздела теории колец: изучение коммутативных и некоммутативных колец.

Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.

Ба́зис Грёбнера — множество, которое порождает идеал заданного кольца многочленов, обладающее специальными свойствами.

Обобщённая фу́нкция или распределе́ние — математическое понятие, обобщающее классическое понятие функции.

Теорема Стоуна о представлении булевых алгебр утверждает, что каждая булева алгебра изоморфна некоторому полю множеств.

Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.

Факторизация многочлена — представление данного многочлена в виде произведения многочленов меньших степеней.

Китайская теорема об остатках — несколько связанных утверждений о решении линейной системы сравнений.

Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.

Теорема (теория) Редфилда — Пойа — классический результат перечислительной комбинаторики.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я