Что значит сопоставить множество

Значение слова «сопоставить»

Источник (печатная версия): Словарь русского языка: В 4-х т. / РАН, Ин-т лингвистич. исследований; Под ред. А. П. Евгеньевой. — 4-е изд., стер. — М.: Рус. яз.; Полиграфресурсы, 1999; (электронная версия): Фундаментальная электронная библиотека

СОПОСТА’ВИТЬ, влю, вишь, сов. (к сопоставлять), кого-что и кого-что с кем-чем (книжн.). Сравнивая, рассмотреть, обсудить с какой-н. общей точки зрения. С. какие-н. факты. С. данные. С. одно с другим. Сопоставив мнения различных ученых, пришел к определенному выводу.

Источник: «Толковый словарь русского языка» под редакцией Д. Н. Ушакова (1935-1940); (электронная версия): Фундаментальная электронная библиотека

сопоста́вить

1. рассмотреть, сравнивая друг с другом, выявляя сходство и различие ◆ Сопоставьте двух лирических героев.

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: сатанеть — это что-то нейтральное, положительное или отрицательное?

Синонимы к слову «сопоставить&raquo

Предложения со словом «сопоставить&raquo

Цитаты из русской классики со словом «сопоставить»

Сочетаемость слова «сопоставить&raquo

Понятия, связанные со словом «сопоставить»

Отправить комментарий

Дополнительно

Предложения со словом «сопоставить&raquo

С другой стороны, она позволяет сопоставить факты и особенности различных вариантов аномального психического развития.

Я попыталась сопоставить результаты археологических исследований с данными письменных источников, а также учесть достижения ещё одной науки – истории религии, которая в последнее время достигла значительных успехов.

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

Источник

Операции над множествами

Пересечение множеств

Рассмотрим два множества: множество друзей Джона и множество друзей Майкла.

Видим, что Том и Фред одновременно являются друзьями Джона и Майкла.

Говоря на языке множеств, элементы Том и Фред принадлежат как множеству друзей Джона, так и множеству друзей Майкла.

Зададим новое множество с названием «Общие друзья Джона и Майкла» и в качестве элементов добавим в него Тома и Фреда :

В данном случае множество «Общие друзья Джона и Майкла» является пересечением множеств друзей Джона и Майкла.

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

В нашем случае элементы Том и Фред принадлежат каждому из исходных множеств, а именно: множеству друзей Джона и множеству друзей Майкла.

Тогда пересечением множеств A и B будет множество C и записываться следующим образом:

Символ ∩ означает пересечение.

Говоря о множестве, обычно подразумевают элементы, принадлежащие этому множеству. Символ пересечения ∩ читается, как союз И. Тогда выражение A ∩ B = C можно прочитать следующим образом:

«Элементы, принадлежащие множеству A И множеству B, есть элементы, принадлежащие множеству C».

«Друзья, одновременно принадлежащие Джону И Майклу, есть общие друзья Джона и Майкла».

В этом случае говорят, что исходные множества не имеют общих элементов и пересечением таких множеств является пустое множество. Пустое множество обозначается символом ∅

Зададим новое множество C и добавим в него элементы, которые одновременно принадлежат множеству A и множеству B

Зададим новое множество C и добавим в него элементы, которые одновременно принадлежат множеству A и множеству B

Пример 4. Найти пересечение следующих множеств:

Зададим новое множество D и добавим в него элементы 3 и 9. Затем с помощью символа пересечения ∩ запишем, что пересечением множеств A, B и C является множество D

Чтобы найти пересечение, вовсе необязательно задавать множества с помощью букв. Если элементов мало, то множество можно задать прямым перечислением элементов.

Числовые промежутки, которые мы рассмотрели в предыдущих уроках, тоже являются множествами. Элементами таких множеств являются числа, входящие в числовой промежуток.

Например, отрезок [2; 6] можно понимать, как множество всех чисел от 2 до 6. Для наглядности можно перечислить все целые числа, принадлежащие данному отрезку:

Следует иметь ввиду, что мы перечислили только целые числа. Отрезку [2; 6] также принадлежат и другие числа, не являющиеся целыми, например, десятичные дроби. Десятичные дроби располагаются между целыми числами, но их количество настолько велико, что перечислить их не представляется возможным.

Еще пример. Интервал (2; 6) можно понимать, как множество всех чисел от 2 до 6, кроме чисел 2 и 6. Ранее мы говорили, что интервал это такой числовой промежуток, границы которого не принадлежат ему. Для наглядности можно перечислить все целые числа, принадлежащие интервалу (2; 6) :

Поскольку числовые промежутки являются множествами, то мы можем находить пересечения между различными числовыми промежутками. Рассмотрим несколько примеров.

Оба промежутка обрамлены квадратными скобками, значит их границы принадлежат им.

Для наглядности перечислим все целые числа, принадлежащие промежуткам [2; 6] и [4; 8] :

Тогда пересечением числовых промежутков [2; 6] и [4; 8] будет числовой промежуток [4; 6]

Пример 6. Найти пересечение числовых промежутков [−2; 3] и [4; 7]

Оба промежутка обрамлены квадратными скобками, значит их границы принадлежат им.

Для наглядности перечислим все целые числа, принадлежащие промежуткам [−2; 3] и [4; 7] :

Видно, что числовые промежутки [−2; 3] и [4; 7] не имеют общих чисел. Поэтому их пересечением будет пустое множество:

Если изобразить числовые промежутки [−2; 3] и [4; 7] на координатной прямой, то можно увидеть, что они нигде не пересекаются:

Пример 7. Дано множество из одного элемента < 2 >. Найти его пересечение с промежутком (−3; 4)

Множество, состоящее из одного элемента < 2 >, на координатной прямой изображается в виде закрашенного кружка, а числовой промежуток (−3; 4) это интервал, границы которого не принадлежат ему. Значит границы −3 и 4 будут изображаться в виде пустых кружков:

Пересечением множества < 2 >и числового промежутка (−3; 4) будет множество, состоящее из одного элемента < 2 >, поскольку элемент 2 принадлежит как множеству < 2 >, так и числовому промежутку (−3; 4)

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

По сути, множество решений, удовлетворяющих обоим неравенствам, является пересечением множеств решений первого и второго неравенства. Роль этих множеств берут на себя числовые промежутки.

Например, чтобы решить систему неравенств , мы должны сначала найти множества решений каждого неравенства, затем найти пересечение этих множеств.

В данном примере решением первого неравенства x ≥ 3 является множество всех чисел, которые больше 3 (включая само число 3). Иначе говоря, решением неравенства является числовой промежуток [3; +∞)

Решением второго неравенства x ≤ 6 является множество всех чисел, которые меньше 6 (включая само число 6). Иначе говоря, решением неравенства является числовой промежуток (−∞; 6]

А общим решением системы будет пересечение множеств решений первого и второго неравенства, то есть пересечение числовых промежутков [3; +∞) и (−∞; 6]

Поэтому в качестве ответа мы указывали, что значения переменной x принадлежат числовому промежутку [3; 6], то есть пересечению множеств решений первого и второго неравенства

Пример 2. Решить неравенство

Все неравенства, входящие в систему уже решены. Нужно только указать те решения, которые являются общими для всех неравенств.

Запишем ответ к системе с помощью числового промежутка:

Пример 3. Решить неравенство

В данном случае пересечением числовых промежутков (7; +∞) и (−∞; 4) является пустое множество, поскольку эти числовые промежутки не имеют общих элементов:

Если изобразить числовые промежутки (7; +∞) и (−∞; 4) на координатной прямой, то можно увидеть, что они нигде не пересекаются:

Объединение множеств

Объединением двух (или нескольких) исходных множеств называют множество, которое состоит из элементов, принадлежащих хотя бы одному из исходных множеств.

На практике объединение множеств состоит из всех элементов, принадлежащих исходным множествам. Поэтому и говорят, что элементы такого множества принадлежат хотя бы одному из исходных множеств.

Рассмотрим множество A с элементами 1, 2, 3 и множество B с элементами 4, 5, 6.

Зададим новое множество C и добавим в него все элементы множества A и все элементы множества B

В данном случае объединением множеств A и B является множество C и обозначается следующим образом:

Символ ∪ означает объединение и заменяет собой союз ИЛИ. Тогда выражение A ∪ B = C можно прочитать так:

Элементы, принадлежащие множеству A ИЛИ множеству B, есть элементы, принадлежащие множеству C.

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

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

Например, рассмотрим множество A с элементами 1, 2, 3, 4 и множество B с элементами 2, 4, 5, 6.

Итак, у нас имеются следующие исходные множества:

Зададим новое множество С и добавим в него все элементы множества A

Пример 2. Друзьями Джона являются Том, Фред, Макс и Джордж. А друзьями Майкла являются Лео, Том, Фред и Эван. Найти объединение множеств друзей Джона и Майкла.

Для начала зададим два множества: множество друзей Джона и множество друзей Майкла.

Зададим новое множество с названием «Все друзья Джона и Майкла» и добавим в него всех друзей Джона и Майкла.

Заметим, что Том и Фред одновременно являются друзьями Джона и Майкла, поэтому мы добавим их в новое множество только один раз, поскольку сразу двух Томов и двух Фредов не бывает.

В данном случае множество всех друзей Джона и Майкла является объединением множеств друзей Джона и Майкла.

Друзья Джона ∪ Друзья Майкла = Все друзья Джона и Майкла

Оба промежутка обрамлены квадратными скобками, значит их границы принадлежат им.

Для наглядности перечислим все целые числа, принадлежащие этим промежуткам:

−7, −6, −5, −4, −3,−2, −1, 0, 1, 2, 3, 4, 5 ∈ [−7; 5]

Обратите внимание, что числа −3,−2, −1 принадлежали и первому промежутку и второму. Но поскольку в объединение допускается включать такие элементы только один раз, мы включили их единоразово.

Значит объединением числовых промежутков [−7; 0] и [−3; 5] будет числовой промежуток [−7; 5]

Не каждое объединение числовых промежутков является числовым промежутком. Например, попробуем найти объединение числовых промежутков [−2 ; −1] и [4 ; 7].

Числовой промежуток должен содержать все числа от левой границы до правой. Если одно из чисел отсутствует, то числовой промежуток теряет смысл. Допустим, имеется линейка длиной 15 см

Эта линейка является числовым промежутком [0; 15], поскольку содержит все числа в промежутке от 0 до 15 включительно. Теперь представим, что на линейке после числа 9 сразу следует число 12.

Решение неравенств, содержащих знак ≠

Подставим, например, число 5

5 ≠ 4 — верное неравенство, поскольку 5 не равно 4

7 ≠ 4 — верное неравенство, поскольку 7 не равно 4

Изобразим множество решений неравенства x ≠ 4 на координатной прямой. Для этого выколем точку 4 на координатной прямой, а всю оставшуюся область с обеих сторон выделим штрихами:

Пример 2. Решить неравенство 3x − 5 ≠ 1 − 2x

Перенесем −2x из правой части в левую часть, изменив знак, а −5 из левой части перенесём в правую часть, опять же изменив знак:

Приведем подобные слагаемые в обеих частях:

Разделим обе части получившегося неравенства на 5

Изобразим множество решений неравенства x ≠ 1,2 на координатной прямой и запишем ответ в виде числового промежутка:

В этом выражении говорится, что значения, принимаемые переменной x принадлежат промежутку (−∞; 1,2) или промежутку (1,2; +∞)

Решение совокупностей неравенств

Рассмотрим ещё один вид неравенств, который называется совокупностью неравенств. Такой тип неравенств, возможно, вы будете решать редко, но для общего развития полезно изучить и их.

Совокупность неравенств очень похожа на систему неравенств. Различие в том, что в системе неравенств нужно найти множество решений, удовлетворяющих каждому неравенству, образующему эту систему.

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

Совокупность неравенств обозначается квадратной скобкой. Например, следующая запись из двух неравенств является совокупностью:

Решим данную совокупность. Сначала нужно решить каждое неравенство по отдельности.

Например, число 9 из промежутка [3; +∞) удовлетворяет первому неравенству x ≥ 3. А число −7 из промежутка (−∞; 6] удовлетворяет второму неравенству x ≤ 6.

Стало быть, решением совокупности неравенств является объединение множеств решений первого и второго неравенства.

Иначе говоря, решением совокупности будет объединение числовых промежутков [3; +∞) и (−∞; 6]

Ответ можно оставить таким, каким мы его записали ранее:

либо заменить на более короткий:

Возьмём любое число из полученного объединения, и проверим удовлетворяет ли оно хотя бы одному неравенству.

Возьмем для примера число 8. Оно удовлетворяет первому неравенству x ≥ 3.

Возьмем еще какое-нибудь число, например, число 1. Оно удовлетворяет второму неравенству x ≤ 6

Пример 2. Решить совокупность неравенств

Чтобы решить эту совокупность, нужно найти множество решений, которые удовлетворяют хотя бы одному неравенству, образующему эту совокупность.

Множеством решений второго неравенства x ≥ −7 является числовой промежуток [−7; +∞).

Решением совокупности неравенств будет объединение множеств решений первого и второго неравенства.

Иначе говоря, решением совокупности будет объединение числовых промежутков (−∞; −0,25) и [−7; +∞)

Объединением числовых промежутков (−∞; −0,25) и [−7; +∞) является является вся координатная прямая. А вся координатная прямая это все числа, которые только могут быть

Ответ можно оставить таким, каким мы его записали ранее:

либо заменить на более короткий:

Пример 3. Решить совокупность неравенств

Решим каждое неравенство по отдельности:

Решением совокупности неравенств будет объединение множеств решений первого и второго неравенства.

Иначе говоря, решением совокупности будет объединение числовых промежутков (−∞; −3) и (−∞; 0]

Объединением числовых промежутков (−∞; −3) и (−∞; 0] является числовой промежуток (−∞; 0]

Ответ можно оставить таким, каким мы его записали ранее:

Источник

Введение в теорию множеств

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

Когда-то давным давно во всех академических дисциплинах было заложено фундаментальное убеждение — существует единственная бесконечность.

Но 1874 году довольно малоизвестный математик провёл серию революционных наблюдений, подвергавших сомнению это всеми принятое и глубоко укоренившееся убеждение. Георг Кантор в своей (теперь уже ставшей легендарной) публикации On a Property of the Collection of All Real Algebraic Numbers доказал, что множество вещественных чисел «более многочисленно», чем множество алгебраических чисел. Так он впервые показал, что существуют бесконечные множества разных размеров (не волнуйтесь — для прояснения этого мы вскоре подробно изучим его статью).

«Множество — это большое количество, которое позволяет воспринимать себя как одно» — Георг Кантор

С 1874 по 1897 год Кантор неистово публиковал статью за статьёй, разворачивая свою теорию абстрактных множеств в расцветающую дисциплину. Однако она была встречена упорным сопротивлением и критикой; многие педанты считали, что его теории перешли в область философии и нарушили принцип религии.

Однако когда начали находиться практические применения математического анализа, отношение к теории изменилось, а идеи и результаты Кантора начали получать признание. К первому десятилению 20-го века его наблюдения, теории и публикации достигли своей кульминации — признания современной теории множеств новой, совершенно уникальной областью математики:

Теория множеств — это математическая теория о точно определённых наборах (множествах) отдельных объектов, называемых членами или элементами множества.

Сколько чисел есть между 0 и 1?

Первая публикация Кантора, состоящая из четырёх с половиной страниц, является великолепным примером краткости. Она разделена на два отдельных доказательства, совместно приводящих к выводу о существовании по крайней мере двух уникальных видов множеств.

В первой части теории исследуется множество вещественных алгебраических чисел и доказывается, что это бесконечное счётное множество. Здесь не стоит путать — «счётное» не обязательно значит, что счёт ведётся строго в целых числах; в контексте теории множеств «счётное» означает, что множество, пусть даже состоящее из бесконечного числа элементов, можно описать повторяющимся рядом, например упорядоченной многочленной функцией. Кантор назвал это свойство бесконечного набора чисел соответствия «один к одному» с рядом, наличием взаимно однозначного соответствия.

Если говорить вкратце, то набор, или множество всех вещественных алгебраических чисел можно вывести с помощью какого-то теоретического ряда многочленов с различными степенями и коэффициентами; следовательно, множество всех вещественных алгебраических чисел является бесконечным счётным множеством.

Во второй части труда Кантора анализируется роль вещественных комплексных чисел, также называющихся трансцендентными числами. Транцендентные числа (лучшие примеры которых — это пи и e) имеют любопытное свойство: математически невозможно вывести их с помощью многочленной функции — они не являются алгебраическими. Вне зависимости от величин, количества частей, степеней или коэффициентов, никакой ряд никогда не может посчитать пи в своём наборе бесконечного счётного множества.

Затем Кантор указывает, что в любом замкнутом интервале [a,b] существует хотя бы одно транцендентное число, которое никогда нельзя будет подсчитать в бесконечном счётном множестве. Поскольку одно такое число существует, то предполагается, что в семействе вещественных чисел существует бесконечное количество транцендентных чисел.

Таким образом он доказал очень чёткое различие между множеством непрерывных, идущих потоком несчётных чисел и набора счётных чисел, которые можно представить как ряд, например, всех вещественных алгебраических чисел.

Далее: запись и операции

Первая публикация Кантора завершилась на этом потрясающем подтверждении существования по крайней мере двух разных видов бесконечности. После его первой статьи появился шквал дополнений, медленно, но верно прокладывавших путь к современной теории множеств.

Стоит также поделиться интересным наблюдением: большинство людей, использующих теорию множеств на практике, ценят скорее не эту конкретную теорему, а заданный ею обобщённый язык. Благодаря своей абстрактной природе теория множеств скрытно влияет на множество областей математики. В математическом анализе, который требует дифференциального и интегрального исчисления, необходимо понимание пределов и непрерывности функций, окончательно закреплённых в теории множеств. В алгебре логики логические операции «и», «или» и «не» соответствуют операциям пересечения, объединения и разности в теории множеств. И последнее, но не менее важное — теория множеств закладывает основы топологии — исследования геометрических свойств и пространственных отношений.

Вооружившись базовым пониманием истории множеств и совершив кратковременное погружение в глубины его влияния, мы можем приступать к знакомству с основами системы обозначений теории множеств.

Часть вторая. Краткий обзор операций, обозначений и диаграмм Венна.

Как сказано в предыдущей части, одно из фундаментальных преимуществ теории множеств произрастает не из какой-то конкретной теории, а из созданного ею языка. Именно поэтому основная часть этого раздела будет посвящена обозначениям, операциям и визуальному представлению теории множеств. Давайте начнём с объяснения базовых символов обозначения множества — соответствующих ему элементов. В таблице ниже показан пример одного множества A с тремя элементами:

A — это множество с элементами «1», «2» и «3»

«1» — элемент множества A

В первой строке показано множество A с тремя отдельными элементами (A = ); во второй строке показан правильный способ обозначения отдельного конкретного элемента 1, принадлежащего множеству A. Пока всё довольно просто, но теория множеств становится существенно интереснее, когда мы добавляем второе множество — начинается путешествие по стандартным операциям.

Операции: пересечение (intersection) — множество элементов, принадлежащих множеству A и множеству B;

объединение (union) — множество элементов, принадлежащих множеству A или множеству B;

подмножество (subset) — C является подмножеством A, множество C включено во множество A;

собственное (истинное) подмножество — C является подмножеством A, но C не равно A;

относительное дополнение (relative complement) — множество элементов, принадлежащих к A и не к B.

Вот и они, самые распространённые операции в теории множеств; они довольно популярны и в областях за пределами чистой математики. На самом деле, высока вероятность того, что вы уже видели подобные типы операций в прошлом, хоть и не совсем с такой терминологией, и даже пользовались ими. Хорошая иллюстрация: попросите любого студента описать диаграмму Венна из двух пересекающихся групп, и он интуитивно придёт к правильному результату.

Ещё раз взгляните на последнюю строку, относительное дополнение — какое необычное сочетание слов, правда? Относительное к чему? Если относительное дополнение A — B определяется как A и не B, то как нам обозначить всё, что не является B?

Универсальное множество — пустое множество

Оказывается, если мы хотим получить значимый ответ, то для начала нужно предоставить генеральной совокупности нашей задачи множеств некий контекст. Он часто явным образом задаётся в начале задачи, когда допустимые элементы множества ограничиваются некоторым фиксированным классом объектов, в котором существует универсальное множество, являющееся общим множеством, содержащим все элементы для этой конкретной задачи. Например, если мы хотели бы работать со множествами только из букв английского алфавита, то наше универсальное множество U состояло бы из 26 букв алфавита.

Для любого подмножества A множества U дополнение множества A (обозначаемое A′ или U − A) определяется как множество всех элементов в генеральной совокупности U, которое не находится в A. Если вернуться к поставленному выше вопросу, то дополнением множества B является всё в пределах универсального множества, что не принадлежит B, в том числе и A.

Прежде чем мы двинемся дальше, надо упомянуть ещё одно принципиальное множество, которое достаточно важно для базового понимания: нулевое или пустое множество. Учтите, что существует единственное пустое множество, поэтому никогда не говорят «пустые множества». Хотя мы не будем рассматривать в этой статье эквивалентность, основная теория гласит, что два множества эквивалентны, если они имеют одинаковые элементы; следовательно, может быть только одно множество без элементов. Поэтому существует единственное пустое множество.

Диаграммы Венна и остальное

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

Схематичное изображение всех возможных отношений нескольких множеств

Ниже показано изображение шести самых распространённых диаграмм Венна, и почти во всех показаны недавно изученные нами операнды:

Объединение (union), пересечение (intersection), относительное дополнение (relative complement), симметрическая разность (symmetric difference), собственное множество (proper subset), абсолютное дополнение (universal дополнение).

Начав с очень простых обозначений множества и его элементов, мы узнали затем о базовых операциях, позволивших нарисовать эту визуальную подсказку. Мы рассмотрели все операции, за исключением симметрической разности (внизу слева). Чтобы не оставлять пробелов в знаниях, скажем, что симметрическая разность, также называемая дизъюнктивным объединением — это просто множество элементов, которые находятся в любом из множеств, но не входят в их пересечение.

Закончим мы этот раздел введением понятия мощности (кардинального числа). Мощность множества, обозначаемая символом абсолютного значения — это просто количество уникальных элементов, содержащихся в определённом множестве. Для показанного выше примера мощность трёх множеств равна: |A| = 3, |B| =6, |C| = 2.

Прежде чем двигаться дальше, дам вам пищу для размышлений — какова связь между мощностью и количеством возможных подмножеств?

Часть 3. Мощность и показательные множества

В предыдущих двух частях мы разобрались с основами теории множеств. В третьей части мы укрепим своё понимание, сосредоточившись на самом важном свойстве любого множества: общем количестве содержащихся в нём уникальных элементов.

Количество уникальных элементов во множестве, также известное как мощность, предоставляет нам фундаментальную опорную точку для дальнейшего, более глубокого анализа этого множества. Во-первых, мощность — это первое из рассматриваемых нами уникальных свойств, позволяющее нам объективно сравнивать различные виды множеств, проверяя, существует ли биекция (это, с небольшими оговорками, просто более изысканный термин для function ) одного множества на другое. Ещё один способ применения мощности, а также тема этой части статьи — мощность позволяет оценить все возможные подмножества, существующие в данном множестве. Что достаточно буквально можно применять в повседневных задачах распределения решений, будь то планирование бюджета на поездку в продуктовый магазин или оптимизация портфеля акций.

Примеры мощности множеств

Например, в таблице выше показаны пять отдельных множеств с их указанной справа мощностью. Как мы уже говорили, символ мощности напоминает символ абсолютного значения — значение, заключённое между двумя вертикальными линиями. Все примеры понятны, за исключением, возможно, последней строки, которая подчёркивает тот факт, что на мощность влияют только уникальные элементы множества.

Помните подмножества из предыдущей части статьи? Оказывается, что мощность некоторого множества A и количество возможных подмножеств множества A имеют удивительную связь. Ниже показано, что количество подмножеств, которые можно составить из некоторого подмножества, увеличивается с порядком мощности на предсказуемую величину:

Количество возможных подмножеств в C= 2 |C|

Давайте подробно рассмотрим показанный ниже пример. Однако для начала поразмыслим над формулой. Представим мощность как общее количество «позиций», которое представляет множество. При создании некоторого подмножества для каждой возможной позиции принимается булево решение (да/нет). Это означает, что каждый уникальный элемент, добавляемый к множеству (то есть увеличивающий мощность на единицу) увеличивает количество возможных подмножеств на множитель два. Если вы программист или учёный, то можете уяснить эту логику немного глубже, если поймёте, что все подмножества множества можно вычислить с помощью таблицы двоичных чисел.

Показательное множество (булеан)

Прежде чем мы вычислим все подмножества для примера множества C, я хотел бы ввести последнее понятие — булеан.

Булеан обозначается заглавной буквой S, за которой в скобках указывается исходное множество S(С). Булеан — это множество всех подмножеств C, включая пустое множество и само множество C. В таблице ниже показан булеан S(С) со всеми перестановками возможных подмножеств для множества C, содержащихся в одном большом множестве.

Для удобства форматирования я убрал запятые между множествами***

Чем может быть полезен булеан? На самом деле, вы скорее всего много раз интуитивно использовали булеаны, даже об этом не догадываясь. Каждый раз, когда вы выбираете подмножество элементов из более крупного множества, вы выбираете элемент булеана. Например ребёнок внимательно изучающий кондитерский магазин с купюрой в 5 долларов — какой элемент булеана множества всех доступных сладостей он выберет? Или если взять более технический пример: вам, как разработчику ПО может потребоваться запросить всех возможных пользователей базы данных, также обладающих свойством X и Y — ещё один случай, в котором одно подмножество выбирается из всех возможных подмножеств.

Эквивалентность и биективная функция

Теперь мы понимаем, что такое мощность множества, почему оно важно, и его связь с булеаном. Поэтому вернёмся ненадолго к тому, что упоминали в самом начале: что конкретно определяет эквивалентность в теории множеств?

Очевидно, что два множества с одинаковой мощностью имеют некое общее свойство, но на этом сходства заканчиваются — что если в одном из множеств есть многократно повторяющийся элемент? Что если два множества имеют одинаковую мощность и количество элементов? Нельзя отрицать, что они в какой-то степени «эквивалентны», но даже в этом случае всё равно есть возможность различий, потому что каждое множество может иметь разные элементы, повторяющиеся одинаковое количество раз. Смысл здесь в том, что концепция эквивалентности в теории множеств немного чужда другим областям математики. Установление эквивалентности в этом мире требует знакомства с этой концепцией и нового языка. В последней части этой статьи мы введём понятие эквивалентности, а также таких базисных свойств, как инъективные, биективные и сюръективные функции.

Часть 4. Функции.

В этой части мы подробнее расскажем о функциях в пределах теории множеств. Как и в случае с предыдущими понятиями, терминология стандартных функций в теории множеств слегка отличается от других областей математики, а потому требует объяснения. Терминологии довольно много, так что давайте сразу приступим к делу! В первой таблице внизу отражены понятия области определения, области значений и значения функции:

Функция в мире теории множеств — это просто соответствие некоторых (или всех) элементов из Множества A некоторым (или всем) элементам Множества B. В показанном выше примере набор всех возможных элементов A называется областью определения; элементы A, используемые в качестве входных значений, в частности называются аргументами. Справа набор всех возможных выходных значений (называющихся в других областях математики «областью значений»), называется кообластью; набор настоящих выходных элементов B, соответствующих A, называется образом.

Пока особо ничего сложного, только новый способ задания параметров функций. Далее мы расскажем о том, как описывать поведения этих функций соответствия при помощи обычных типов функций.

Инъекции, сюръекции и биекции

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

Прочитайте заново представленный выше список пунктов. Биекция — это просто функция, удовлетворяющая обоим предыдущим требованиям; то есть, функция инъективна и сюръективна. Инъективная функция не должна быть сюръективной, а сюръективная — инъективной. Ниже показан визуальный пример, в котором эти три классификации привели к созданию функций множеств, определяемых четырьмя возможными комбинациями инъективных и сюръективных свойств:

Биекция (инъекция + сюръекция), инъекция (инъекция + не-сюръекция), сюръекция (не-инъекция + сюръеция), без классификации (не-инъекция + не-сюръекция)

Вот и всё! Теперь мы обладаем элементарным пониманием самых часто встречаемых соотношений, встречающихся в мире множеств. Однако это ни в коем случае не конец нашего пути: напротив, это самое начало.

Фундаментальные основы теории множеств — ключ к пониманию более высокоуровневых областей математики. Чтобы продолжить наше движение вверх, к этим различным областям, далее нужно будет, пользуясь своими знаниями о теории множеств, уяснить одну из самых революционных теорий в истории математики: систему аксиом Цермело-Френкеля.

Источник