Слайд 2N-АРНАЯ АЛГЕБРАИЧЕСКАЯ ОПЕРАЦИЯ
Функция f:An->B называется n-местной функцией из А в В.
Функция f:An->А
![N-АРНАЯ АЛГЕБРАИЧЕСКАЯ ОПЕРАЦИЯ Функция f:An->B называется n-местной функцией из А в В.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-1.jpg)
называется n-местной алгебраической операцией на А.
При n=1 операция называется унарной.
При n=2 операция называется бинарной.
При n=0 операцию принято называть константой.
Очевидно, что n-местная операция на множестве А является (n+1)-местным отношением на том же множестве.
Если область значений операции лежит в А, то будем говорить, что операция f замкнута на А.
Сигнатурой называется совокупность предикатных и функциональных символов с указанием их местности.
Слайд 3АЛГЕБРАИЧЕСКАЯ СИСТЕМА
Алгебраической системой (А;Σ) сигнатуры Σ называется непустое множество А, где каждому
![АЛГЕБРАИЧЕСКАЯ СИСТЕМА Алгебраической системой (А;Σ) сигнатуры Σ называется непустое множество А, где](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-2.jpg)
n-местному предикатному (функциональному) символу из Σ поставлен в соответствие n-местный предикат (операция), определенный на множестве А.
Множество А называется носителем или универсумом алгебраической системы (А;Σ).
Мощностью а.с. называется мощность ее носителя.
А.с. называется алгеброй, если ее сигнатура состоит только из функциональных символов.
А.с. называется моделью, если ее сигнатура состоит только из предикатных символов.
Слайд 4АЛГЕБРЫ С ОДНОЙ ОПЕРАЦИЕЙ
Группоид – алгебра (A,·) с одной бинарной операцией. Помимо
![АЛГЕБРЫ С ОДНОЙ ОПЕРАЦИЕЙ Группоид – алгебра (A,·) с одной бинарной операцией.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-3.jpg)
требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется.
Полугруппа – группоид с ассоциативной операцией (т.е. для всех x,y,z ∈ A верно (x·y)·z=x·(y·z) ).
Пример: (N,+)
Элемент е∈А такой, что е·х=х·е=х для всех х∈А, называется единицей.
Моноид – полугруппа с единицей.
Пример: (N,·)
Слайд 5ГРУППА
Элемент х-1∈А, такой что для х∈А х· х-1= х-1 ·х=е, называется обратным
![ГРУППА Элемент х-1∈А, такой что для х∈А х· х-1= х-1 ·х=е, называется](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-4.jpg)
к х. Элемент х называется обратимым.
Группа – моноид (А, ·), у которого для любого элемента существует обратный.
Пример: (Z,+)
Абелева (коммутативная) группа – группа (А, ·), где операция · коммутативна (т.е. х ·у=у ·х для всех х,у∈А).
Пример: (Z,+)
Слайд 6АЛГЕБРЫ С ДВУМЯ ОПЕРАЦИЯМИ
Кольцо — множество R, на котором заданы две бинарные
![АЛГЕБРЫ С ДВУМЯ ОПЕРАЦИЯМИ Кольцо — множество R, на котором заданы две](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-5.jpg)
операции: + и × (называемые сложение и умножение), со следующими свойствами, выполняющимися для любых a , b , c ∈ R:
Иными словами, кольцо —алгебра ( R , + , × ), являющаяся абелевой группой относительно сложения +, полугруппой относительно умножения × , и обладающая двусторонней дистрибутивностью × относительно +.
Пример: (Z,+,·).
Слайд 7ТЕЛО
Кольцо с 1 – кольцо, содержащее нейтральный элемент e∈R относительно умножения (е·х=х·е=х
![ТЕЛО Кольцо с 1 – кольцо, содержащее нейтральный элемент e∈R относительно умножения](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-6.jpg)
для всех х∈R).
Тело — кольцо с единицей, в котором каждый ненулевой элемент обратим (относительно умножения).
Иными словами, тело - это множество с двумя операциями (сложение и умножение), обладающее следующими свойствами:
образует абелеву группу относительно сложения;
все ненулевые элементы образуют группу относительно умножения;
имеет место дистрибутивность умножения относительно сложения.
Слайд 8ПОЛЕ
Поле - множество F с введёнными на нём алгебраическими операциями сложения +
![ПОЛЕ Поле - множество F с введёнными на нём алгебраическими операциями сложения](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-7.jpg)
и умножения * ( + : F × F → F , ∗ : F × F → F, для которого выполняются следующие аксиомы:
Поле - алгебра ( F , + , × ), являющаяся абелевой группой по сложению, все его ненулевые элементы образуют абелеву группу по умножению, и выполняется свойство дистрибутивности.
Слайд 12МНОГООСНОВНАЯ АЛГЕБРА
Многоосновной алгеброй (многоосновной универсальной алгеброй) называется (A1,A2,…,An, ∑), где A1,A2,…,An– произвольные
![МНОГООСНОВНАЯ АЛГЕБРА Многоосновной алгеброй (многоосновной универсальной алгеброй) называется (A1,A2,…,An, ∑), где A1,A2,…,An–](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-11.jpg)
непустые множества (основы алгебры) и ∑ - множество полиморфных операций на указанных основах (в общем случае различной арности) - сигнатура многоосновной алгебры.
Отличие полиморфных операций от алгебраических состоит в
том, что аргументы такой операции могут выбираться в нескольких
основах, а результат (значение) может принадлежать любой из основ
(может быть не имеющей никакого отношения к тем основам, откуда
выбирались аргументы).
Аналогично определяются многоосновные модели и многоосновные АС.
Слайд 13ВЕКТОРНОЕ ПРОСТРАНСТВО
Линейное, или векторное, пространство V ( F ) над полем F
![ВЕКТОРНОЕ ПРОСТРАНСТВО Линейное, или векторное, пространство V ( F ) над полем](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/957289/slide-12.jpg)
— это упорядоченная четвёрка ( V , F , + , ⋅ ), где
V — непустое множество элементов произвольной природы, которые называются векторами.
F — поле, элементы которого называются скалярами.
Определена операция сложения векторов V × V → V, сопоставляющая каждой паре элементов x , y∈V единственный элемент множества V, называемый их суммой и обозначаемый x + y.
Определена операция умножения векторов на скаляры F × V → V, сопоставляющая каждому элементу λ поля F и каждому элементу x множества V единственный элемент множества V, обозначаемый λ ⋅ x.