Основные определения
множество
Совокупность (набор) объектов (элементов) любой природы, обладающих общими для данной совокупности свойствами
мощность множества
кардинальное число
подмножество
Множество X является подмножеством множества Y, если любой элемент, принадлежащий X, также принадлежит Y. Используется запись X ⊂ Y
надмножество
Если X —
подмножество множества Y, то Y есть надмножество множества X
со́бственное подмножество
вектор
кортеж
Упорядоченный набор элементов
проекция вектора
Проекция
вектора на i-ю ось есть i-й элемент вектора
прямое произведение множеств
декартово произведение
Множество, состоящее из всех
кортежей длины n таких, что первый элемент кортежа принадлежит первому множеству-операнду, второй элемент — второму множеству-операнду и т.д., где n — число множеств-операндов. Декартово произведение двух множеств — множество, элементами которого являются всевозможные упорядоченные пары элементов исходных двух множеств
степень множества
отношение
область определения
область значений
соответствие между множествами
отображение
функция
Такой закон (
отображение), согласно которому каждому элементу одного
множества поставлен в соответствие единственный элемент другого множества
транзитивность
Свойство, заключающееся в том, что если X ⊂ Y и Y ⊂ Z, то X ⊂ Z
рефлексивное отношение
Двухместное
отношение R, определённое на некотором множестве и отличающееся тем, что для любого х этого множества элемент х находится в отношении R к самому себе, то есть для любого элемента х этого множества имеет место xRx
антирефлексивность
симметричное отношение
отношение симметричности
Двухместное
отношение R, определённое на некотором множестве и отличающееся тем, что для любых элементов х и у этого множества из того, что х находится к у в отношении R (xRy), следует, что и у находится в том же отношении к х (уRx)
бинарное отношение
бинарная операция
двуместная операция
Отображение, которое каждой упорядоченной паре элементов некоторого множества, называемых операндами, ставит в соответствие некоторый элемент того же множества, называемый результатом
функциональное отношение
Двухместное
отношение xRy, определенное на некотором множестве и отличающееся тем, что каждому значению у соответствует лишь одно значение х
инъекция
отображение в
Отображение X в Y, при котором разные элементы множества X переводятся в разные элементы множества Y
сюръекция
отображение на
Отображение X на Y, при котором каждый элемент множества Y является образом хотя бы одного элемента множества X. Другими словами, каждый элемент множества Y имеет хотя бы один прообраз в множестве X
биекция
объединение
Множество, состоящее из элементов объединяемых множеств
пересечение
Множество, состоящее из таких элементов, которые присутствуют в каждом из пересекаемых множеств
разность множеств
Множество, состоящее из элементов первого множества-операнда (уменьшаемого), не присутствующих во втором множестве-операнде (вычитаемом)
универсум
Множество, содержащее все элементы, рассматриваемые в данной теории
разбиение множества
сортировка
Процесс перегруппировки заданного
множества объектов в некотором определенном порядке
группа
Непустое
множество с заданной на нём
бинарной операцией, удовлетворяющей · свойствам ассоциативности, наличия нейтрального и обратного элементов
кольцо
Множество, на котором заданы две
бинарные операции, называемые сложение и умножение, со следующими свойствами: коммутативность и ассоциативность сложения; существование нейтрального элемента относительно сложения; существование обратного элемента относительно сложения; дистрибутивность
поле
Множество с двумя
бинарными операциями (сложение и умножение), если оно образует коммутативное ассоциативное
кольцо c единицей, все ненулевые элементы которого обратимы. Поле образует коммутативную
группу по сложению, все его ненулевые элементы образуют коммутативную группу по умножению, и выполняется свойство дистрибутивности
гомоморфизм
Гомоморфизм
групп —
отображение групп f : (G,*) → (H,×) такое, что f(a * b) = f(a) × f(b) для произвольных a и b в G
пространство
линейное пространство
векторное пространство
Пространство над
полем P —
множество M, а котором введены операция сложения, такая что каждой паре a, b элементов множества M ставится в соответствие элемент того же множества, обозначаемый a+b, и операция умножения на скаляр r ∈ P, такая что для любого элемента a ∈ M имеем ra ∈ M
норма
Функция d(X) в
векторном пространстве над полем вещественных или комплексных чисел, удовлетворяющая следующим условиям: d(X) ≥ 0 (причем d(X) = 0 только при X = 0); d(X+Y) ≤ d(X) + d(Y); d(aX) = |a|d(X), где X, Y — элементы векторного пространства, a — скаляр
нормированное пространство
банахово пространство
евклидово пространство
Конечномерное вещественное
векторное пространство с введённой на нём
нормой вектора, равной корню квадратному из суммы квадратов элементов вектора
гильбертово пространство
топология
Система T
подмножеств U множества W (включая пустое множество и само множество W), удовлетворяющая условию, что
объединение и
пересечение любого числа подмножеств U ∈ T также принадлежат T
топологическое пространство
собственный вектор
собственное значение
характеристический многочлен
Характеристический многочлен матрицы A — многочлен det(A − λE) от переменной λ, где E — единичная матрица