Вы находитесь на странице: 1из 4

Множество — математический объект, сам являющийся совокупностью каких-либо

объектов, называемых элементами этого множества и обладающих общим для всех их


характеристическим св-вам.
Множество может быть задано:
1. Перечислением (теоретико-множественная форма):
X = {x1, x2, …, xn}
2. Характеристическим предикатом (интенсиональная форма):
X = {x | P(x)}
3. Порождающей процедурой: X = {x | x:=f}

Мощность множества – количество элементов.


Множества бывают конечные и бесконечные.

Операции с множествами:
1. Включение A⊂B
2. Равенство A=B
3. Объединение C=A∪B
4. Пересечение C = A⋂B
5. Разность C = A\B
6. Симметрическая разность C = A△B

Квантор — общее название для логических операций, ограничивающих область


истинности какого-либо предиката и создающих высказывание.

Математические логические кванторы:

1. ∈ – "принадлежит" 7. ∃ – "существует"

2. ⊆ – "подмножество" 8. | – "такой"

3. ⊂ – "включено в" 9. : – "…, что"

4. ∑ – "сумма" 10. ∀ – "любой"

5. ≡ – "тождество" 11. := – "равносильно" – ⇔

6. ↦ – "поэлементно"

Алгебра множеств:
1. Коммутативные законы — переместительность,
переместительный закон, свойство сложения и умножения.

2. Ассоциативные законы — сочетательность, свойство бинарной


операции, при котором результат последовательного применения
операции не зависит от расстановки скобок.

3. Дистрибутивные законы — распределительный закон —


свойство согласованности ассоциативной и коммутативной
операций.
4. Свойства пустого и универсального множества (∅)

5. Законы идемпотентности — свойство объекта или


операции при повторном применении операции к объекту
давать тот же результат, что и при первом.

6. Закон инволюции — преобразование, которое является обратным.

7. Закон противоречия — закон логики, который гласит, что два


несовместимых (противоречащих) суждения не могут быть
одновременно истинными.

8. Закон исключенного третьего — закон классической логики,


состоящий в том, что из двух высказываний — «А» или «не А» — одно
обязательно является истинным, то есть два суждения, одно из которых
формулирует отрицание другого, не могут быть одновременно
ложными.

9. Закон элиминации (поглощения)

10. Законы де Моргана — логические правила, связывающие пары


логических операций при помощи логического отрицания.

Формула включений-исключений (или принцип включений-исключений) —


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

|A∪B| = |A| + |B| – |A⋂B|

Максимальным элементом множества называется такой элемент, принадле-жащий ему,


который не меньше любого элемента из этого же множества:

max A = {a∈A | ∀b∈A, b⩽a}

Минимальным элементом множества называется такой элемент, принадле-жащий ему,


который не больше любого элемента из этого же множества:

min A = {a∈A | ∀b∈A, b ⩾a}

Числовое множество называется ограниченным, если все элементы этого множества не


превосходят некоторого фиксированного числа M(m):

A⊂ℝ – ограничено ⇔ ∃m,M∈ ℝ : ∀a∈A m⩽a⩽M

Супремумом, или точной верхней гранью множества называется наименьшая его верхняя
грань – sup.
Инфимумом, или точной нижней гранью множества называется наибольшая его нижняя
грань – inf.
Если каждому элементу I множества поставлен в соответствие один и только один элемент
II множества, то говорят, что задано отображение из I во II.
Отображение — какое-либо правило или закон соответствия множеств.
Пусть x∈Df =A, y ∈ B, тогда x ↦ y или y = f(x), где x – прообраз, f(x) – образ.

Отображение называется инъекцией, если для


любых элементов, принадле-жащих X, есть
соответствующие элементы, принадлежащие Y, не
исключающие "незанятые" точки.

количество элементов множества Y превосходит


количество элементов множества X

Отображение называется сюръекцией, если для


любых элементов, принадлежащих X, есть меньше
их числа кол-во элементов, принадлежащих Y.

некоторые элементы множества X совпадают в


один элемент множества Y

Отображение называется биекцией, если в обоих


множествах есть равное кол-во соответствующих
элементов.

количество элементов обоих множеств совпадает

Областью (множеством) значений отображения f называется множество всех образов E.


Множество всех таких образов f(x) называют образом множества при отображении.
В работе с отображением предполагается, что все множества – числовые прямые.

Декартовым множеством (A×B) является множество упорядоченных пар чередующихся


элементов множеств A и B.
{(a, b,…), a ∈ A, b ∈ B}

Декартово (прямое) произведение множеств — множество всех возможных


упорядоченных наборов (кортежей) элементов, входящих в эти множества.
1. A×B = {(a,b) | a∈A, b∈B}
2. |A×B| = |A|·|B|
3. A1×A2×…×An = {(a1, a2, …, an) | a1∈A1, …, an∈An}
4. A×A×…×A=An — степень множества
5. |An| = |A|n
Полным прообразом множества C при отображении называют множество всех тех
значений x∈Df, образ которых принадлежит C:

f-1 (С)= Df

Пусть f:= Df ↦ Ef. Сужением отображения f на множество A⊂Df называют отображение f|A,
определенное на множестве A и ставящее в соответствие каждому x∈A значение f(x).

Пусть f: X ↦ Y, g: Y ↦ Z, тогда можно


построить составное отображение

g ○ f: X ↦ Z или
( g ○ f)(x) = g(f(x))

g ○ f: x ↦ g(f(x)), ∀x∈X

которое называется суперпозицией (композицией) отображений f и g.

Суперпозиция в широком смысле:


внешнее отображение g рассматривается на Dd⋂Ef, тогда Dgf = f-1 (Dd⋂Ef) –
сужения отображений f и g.

Пусть f:= Df ↦ В. Отображение называют обратным к отображению f : g = f-1 , если


каждому элементу y ∈ Bf можно единственным образом поставить в соответствие его
прообраз x= f-1 (y). Образ и прообраз меняются местами, а отображение, имеющее
обратное, называют обратимым.

Если каждому элементу числу n∈ℕ поставлено в соответствие некоторое число an ∈ ℝ, то


говорят, что задана числовая последовательность.

{an} = a1, a2, …, an, где числа а — элементы.

Числовая последовательность — функция номера члена последовательности: an = f(n)

Числовая последовательность задает отображение {an}: ℕ ↦ ℝ.

Способы задания:

1. аналитический