мощность множеств Леонгардт

Мощность множества — это обобщение понятия количества (числа элементов множества), которое имеет смысл для всех множеств, включая бесконечные.
Для обозначения мощности символ множества заключают в прямые скобки или используют отдельный символ, например |A| = n.
При небольших величинах мощности она определяется простым подсчетом или по подходящей формуле, но для бесконечных множеств оценка их мощности может быть сделана только путем сравнения с мощностью других, достаточно известных множеств. Иначе говоря, для того, чтобы охарактеризовать мощность бесконечного множества, необходимо отыскать известное равномощное множество.

Счётным множеством называется любое множество, равномощное множеству N натуральных чисел.
Счётное множество – это такое множество, элементы которого могут быть занумерованы натуральными числами так, чтобы каждый элемент получил свой особенный номер. Если подобная нумерация невозможна (номеров меньше, чем это необходимо), то множество называется несчетным.

ДИАГРАММА ЭЙЛЕРА-ВЕННА
Диаграмма Эйлера-Венна — геометрическая схема, которая используется для моделирования множеств и для схематичного изображения и отношений между ними.Диаграмма позволяет наглядно отразить различные утверждения о множествах. При использовании этого метода универсальное множество изображается в виде прямоугольника, подмножества изображают кругами. Диаграммы нашли свое применение в математике, логике, менеджменте и других прикладных направлениях.

ДИАГРАММА ЭЙЛЕРА-ВЕННА

Объединением множеств А и В называется множество, состоящее из всех тех элементов, которые принадлежат хотя бы одному из множеств А, В

Пересечением множеств А и В называется множество, состоящее из всех тех и только тех элементов, которые принадлежат одновременно как множеству А, так и множеству В

Разностью множеств А и В называется множество всех тех и только тех элементов А, которые не содержатся в В

Симметрической разностью множеств А и В называется множество элементов этих множеств, которые принадлежат либо только множеству А, либо только множеству В

Абсолютным дополнением множества А называется множество всех тех элементов, которые не принадлежат множеству А

ДЕКАРТОВО ПРОИЗВЕДЕНИЕ МНОЖЕСТВ
Если каждому элементу из множества A сопоставлен в соответствие определенный элемент из множества B, то возникает множество, составленное из пар элементов множеств A и B, - декартово произведение множеств.
A × B = {(a; b) | a ∈ A, b ∈ B}
Это значит, что если например дано множество A = {1,2,3} и множество B = {15,25}, то их декартово произведение будет состоять из пар:
A × B = {(1;15), (1;25), (2;15), (2;25), (3;15), (3;25)}
Если во множестве A количество элементов равно m, а во множестве B — n, то их декартово произведение будет состоять из m×n элементов.

БИНАРНЫЕ ОТНОШЕНИЯ И ИХ СВОЙСТВА
№1 Бинарным отношением между элементами множеств
X и Y (или же между элементами одного множества A) называется любое подмножество декартова произведения X × Y этих множеств.
Бинарные отношения принято обозначать заглавными буквами латинского алфавита: P, Q, R и т. д
№2 Бинарным отношением между элементами множеств
X и Y называется двуместный предикат P(x, y), в котором x принимает
значения элементов множества X, а y – значения элементов множества Y.

СВОЙСТВА:
1.Рефлексивность. Отношение P называется рефлексивным, если для
любых a из множества A истинно aPa. (∀a ∈ A, aPa)
Примеры рефлексивных отношений: «равно», «одновременно»
2. Антирефлексивность. Отношение P называется антирефлексивным,
если для любых a из множества A всегда ложно aPa. (∀a ∈ A, aPa)
Примеры антирефлексивных отношений: «меньше», «быть ниже
ростом», «нервировать».
3. Симметричность. Отношение P называется симметричным, если
для любых a и b из множества A из истинности aPb следует истинность bPa. (∀a, b ∈ A, aPb → bPa)
Примеры симметричных отношений: «равно», «не равно», «подобие фигур», «одновременно».