- •Элементы теории множеств.
- •Основные алгебраические структуры.
- •Элементы теории групп.
- •Свойства отображений конечных множеств.
- •Свойства подгрупп.
- •Группы подстановок.
- •Понятие транзитивности группы подстановок.
- •Кольцо многочленов над полем
- •Свойства взааимнопростых многочленов
- •Свойства неприводимых многочленов
- •Свойство сравнимости в кольце многочленов над полем
- •Корни многочленов над конечным полем и их свойства
- •Неприводимые многочлены над числовым полем с, полем действительных чисел r и полем рациональных чисел z
- •Отображение “след”.
- •Линейные рекуррентные последовательности.
- •Операции над последовательностями.
- •Свойства умножения последовательности на многочлен.
- •Соотношения между семействами рекуррент.
- •При этом представление каждой рекурренты из семейства l(fg) в виде суммы рекуррент из семействL(f), l(g) –однозначно. Биномиальные последовательности. Биномиальный базис.
- •Представление лрп через функцию “след”.
- •Периодические многочлены.
- •Выборки из линейных рекуррент.
- •Координатные плоскости, рекуррент над полем.
Элементы теории множеств.
Бинарное отношение на множестве Х – любое подмножество декартового квадрата множества Х. .
Декартово произведение множеств: , для n множеств .
Если то ~ .
Свойства бинарного отношения:
Рефлексивность:
Симметричность:
Транзитивность:
Ассимитричность:
Отношение эквивалентности: если оно рефлексивно, симметрично, транзитивно.
Отношение порядка: если оно рефлексивно, транзитивно, ассимитрично.
(Строгого порядка – если 3.)
Пример 1: отношение равенства – отношение эквивалентности.
Пример 2: Множество действительных чисел с оператором - отношение порядка.
Пример 3: R с < - выполняется только 3.
Пример 4: Выполняется 3, 4 и не выполняется 1, 2.
X={1,2,3}; p={(1,2),(2,3),(1,3)}
4 выполняется автоматически, так как нет пар (a,b),(b,a).
Опр: Пусть р – отношение эквивалентности на Х, тогда множество элементов - класс эквивалентных элементов для элемента а по отношению р.
Основные алгебраические структуры.
Опр: Отображение множества Х в множество Y – закон по которому каждому ставится в соответствие некоторый .
Заметим, что бинарное отношение .
Свойства отображений:
Сюръективность.
Инъективность.
Биективность.
Опр: Бинарная операция на множестве Х – отображение декартового квадрата множества Х в себя:
Свойства операций:
Коммутативность (обозначим +): , если .
Ассоциативность (*):
Дистрибутивность (*,0):
Опр: Множество Х с бинарной операцией * - полугруппа (Хб*)
Пример (N,)
Опр: Пусть (Х,*) – полугруппа, элемент е-еденичный, если
Опр: Для элемент - обратный, если
Опр: Полугруппа (Х,*) – группа, если существует е относительно * и для каждого
Пример: (Z,+)
Опр: Пусть на множестве Х введены две операции: (Х,+,0) – множество Х с двумя бинарными операциями – кольцо, если:
(Х,+) – абелева группа.
- дистрибутивно относительно +.
Пример: (Z,+,) – множество квадратных матриц (nxn) над полем Z.
Опр: Поле – коммутативное кольцо с е, в котором каждый ненулевой элемент имеет обратный по умолчанию.
Опр: Гомоморфизм – группы - такое отображение множества G в K, при котором . Если - биективное отображение GK, то - изоморфизм группы и гомоморфизм колец
Опр: Конгруэнция на множестве Х с операцией * - (Х,*) – отношение эквивалентности р на Х со свойствами: . Говорят, что отношение р согласовано с операцией *.
Элементы теории групп.
Опр: Пусть - группа: е – определен однозначно и - однозначен.
Опр: Пусть - группа, тогда Н – подгруппа группы G, если:
- сама группа.
Свойства отображений конечных множеств.
Пусть - множество, .
Опр: Пусть - отображения - композиция если т.е. ; т.е.
Произведение отображений: - полугруппа.
Свойства подгрупп.
Опр: Мощность (порядок) группы – число ее элементов.
Опр: Пусть задана (G, ), подгруппа, порожденная множеством М: т.е. объединения всех подгрупп, содержащих М как подмножество. (т.е. самая маленькая подгруппа, содержащая М).
Опр: Пусть порядок элемента : где . - d элементов => все различны. =>
Опр: Экспонента группы – наименьшее натуральное число: