1) Для любого множества A – свойство «нуля».
2) Для любого множества A Þ A ∪U = U, A ∩U = A – свойство «единицы».
3) Для любого множества A – идемпотентность.
4) Для любых множеств А и В и – коммутативность.
5) Для любых множеств А, В и С и – ассоциативность.
6) Для любых множеств А, В и С и – дистрибутивность объединения и пересечения.
7) Для любого множества A – закон двойного отрицания.
8) а) Для любых множеств А и В и – законы де Моргана для абсолютного дополнения.
б) Для любых множеств А, В и С и – законы де Моргана для относительного дополнения.
9) Если .
Если .
Если .
10) Для любых множеств А и В и – законы поглощения.
§ 5. Векторы и прямые произведения
Определение. Вектором (кортежем) в линейной алгебре и дискретной математике называют упорядоченный набор элементов. Это не есть определение вектора, поскольку целесообразнее это понятие считать основным.
Элементы, определяющие вектор, называются координатами или компонентами. Координаты нумеруются слева направо, а их число называется длиной или размерностью вектора. В отличие от элементов множества, координаты вектора могут совпадать. Координаты вектора заключаются в круглые скобки, например . Иногда скобки или запятые опускаются. Часто векторы длины 2 называются упорядоченными парами, длины 3 – тройками и т. д.
Определение. Два вектора равны, если они имеют равную длину и их соответствующие координаты равны. Иначе говоря, векторы и равны, если и .
Определение. Прямым произведением множеств А и В (обозначение ) называется множество всех упорядоченных пар , таких, что . В частности, если А=В, то обе координаты принадлежат множеству А, такое произведение обозначается А2. Аналогично, прямым произведением множеств называется множество всех векторов длины п, таких, что .
Пример 4. Множество - это множество всех упорядоченных пар действительных чисел, геометрической интерпретацией которого служит декартова координатная плоскость.
Координатное представление точек плоскости было впервые предложено Р. Декартом и исторически является первым примером прямого произведения. Поэтому часто прямое произведение множеств называют декартовым произведением.
Пример 5. Даны множества и . Тогда есть множество обозначений клеток шахматной доски.
Вообще конечное множество, элементами которого являются какие-либо символы (буквы, цифры, знаки препинания, знаки операций и т. д.) называется алфавитом. Любые элементы множества в этом случае являются словами длины п в алфавите А. Например, десятичное целое число – это слово в алфавите цифр.
Определение. Проекцией вектора на некоторую ось называется его компонента (координата) с соответствующим порядковым номером (обозначается прi a). Например, проекция точки плоскости на 1-ю ось есть её абсцисса (первая координата).
Теорема 1.1. Мощность произведения конечных множеств равна произведению мощностей этих множеств: .
Следствие. .
Эта простая теорема и её следствие впоследствии широко используются в комбинаторике.
6. Соответствия и функции